Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_WMAXCUT_DIMACS_MOD_c-fat200-2.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/c-fat200-2.clq.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2
c lw 6
c lw 10
c lw 14
c lw 18
c lw 22
c lw 25
c lw 30
c lw 36
c lw 38
c lw 39
c lw 41
c lw 43
c lw 46
c lw 48
c lw 49
c lw 57
c lw 60
c lw 61
c lw 65
c lw 67
c lw 68
c lw 69
c lw 71
c lw 73
c lw 74
c lw 77
c lw 78
c lw 82
c lw 85
c lw 86
c lw 87
c lw 92
c lw 94
c lw 96
c lw 99
c lw 100
c lw 102
c lw 105
c lw 107
c lw 108
c lw 109
c lw 110
c lw 115
c lw 118
c lw 120
c lw 127
c lw 128
c lw 129
c lw 134
c lw 139
c lw 141
c lw 142
c lw 144
c lw 146
c lw 149
c lw 150
c lw 151
c lw 154
c lw 159
c lw 160
c lw 162
c lw 163
c lw 164
c lw 165
c lw 166
c lw 167
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 
o 167
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/c-fat200-2.clq.wcnf 167
0.384u 0.002s 0:00.39 97.4%	0+0k 0+0io 0pf+0w