Standard output
15:31:05.159 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523393.9.
15:31:05.201 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523267.42000000004.
15:31:06.008 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 1
15:31:06.009 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 1
15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 10148
15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 3456
15:31:06.012 INFO d.t.i.s.m.s.SimpleSolverTest - the best solution is valid and has an objective of 523267.42000000004.