Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WPM1-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_c-fat500-5.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/c-fat500-5.clq.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 10
c lw 19
c lw 28
c lw 37
c lw 46
c lw 54
c lw 62
c lw 70
c lw 78
c lw 86
c lw 94
c lw 102
c lw 110
c lw 118
c lw 125
c lw 132
c lw 139
c lw 146
c lw 153
c lw 160
c lw 167
c lw 173
c lw 179
c lw 185
c lw 191
c lw 197
c lw 203
c lw 209
c lw 214
c lw 219
c lw 224
c lw 229
c lw 234
c lw 239
c lw 244
c lw 249
c lw 254
c lw 258
c lw 262
c lw 266
c lw 270
c lw 274
c lw 278