Error running this command: diff -U 5 "/tmp/IloVF0" "/tmp/U90nO2"
diff -U 5 "/tmp/IloVF0" "/tmp/U90nO2"
No output on STDOUT.