Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_brock200_4.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/brock200_4.clq.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 5758
o 1219
o 1209
o 1203
o 1202
o 1197
o 1193
o 1184
o 1180
o 1177
o 1161
o 1155
o 1152
o 1149
o 1142
o 1140
o 1138
o 1137
o 1136
o 1132
o 1123
o 1119
o 1114
o 1112
o 1105
s OPTIMUM FOUND
c Optimal Solution = 1105
v -1 2 3 -4 5 6 7 -8 -9 10 -11 12 13 14 15 16 -17 -18 -19 20 21 -22 -23 24 -25 -26 27 28 -29 30 31 32 -33 -34 -35 -36 -37 -38 39 -40
c Program terminated in 6.630 seconds.
6.630u 0.001s 0:06.69 99.1%	0+0k 0+0io 0pf+0w