Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WPM1-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_wcsp_spot5_log_1405.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/1405.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2000
c lw 4000
c lw 6000
c lw 8000
c lw 10000
c lw 12000
c lw 14000
c lw 16000
c lw 18000
c lw 20000
c lw 22000
c lw 24000
c lw 26000
c lw 28000
c lw 30000
c lw 32000
c lw 34000
c lw 36000
c lw 38000
c lw 40000
c lw 42000
c lw 44000
c lw 46000
c lw 48000
c lw 50000
c lw 52000
c lw 54000
c lw 56000
c lw 58000
c lw 60000
c lw 62000
c lw 64000
c lw 66000
c lw 68000
c lw 70000
c lw 72000
c lw 74000
c lw 76000
c lw 78000
c lw 80000
c lw 82000
c lw 84000
c lw 86000
c lw 88000
c lw 90000
c lw 92000
c lw 94000
c lw 96000
c lw 98000
c lw 100000
c lw 102000
c lw 104000
c lw 106000
c lw 108000
c lw 110000
c lw 112000
c lw 114000
c lw 116000
c lw 118000
c lw 120000
c lw 122000
c lw 124000
c lw 126000
c lw 128000
c lw 130000
c lw 132000
c lw 134000
c lw 136000
c lw 138000
c lw 140000
c lw 142000
c lw 144000
c lw 146000
c lw 148000
c lw 150000
c lw 152000
c lw 154000
c lw 156000
c lw 158000
c lw 160000
c lw 162000
c lw 164000
c lw 166000
c lw 168000
c lw 170000
c lw 172000
c lw 174000
c lw 176000
c lw 178000
c lw 180000
c lw 182000
c lw 184000
c lw 186000
c lw 188000
c lw 190000
c lw 192000
c lw 194000
c lw 196000
c lw 198000
c lw 200000
c lw 202000
c lw 204000
c lw 206000
c lw 208000
c lw 210000
c lw 212000
c lw 214000
c lw 216000
c lw 218000
c lw 220000
c lw 222000
c lw 224000
c lw 226000
c lw 228000
c lw 230000
c lw 232000
c lw 234000
c lw 236000
c lw 238000
c lw 240000
c lw 242000
c lw 244000
c lw 246000
c lw 248000
c lw 250000
c lw 252000
c lw 254000
c lw 256000
c lw 258000
c lw 260000
c lw 262000
c lw 264000
c lw 266000
c lw 268000
c lw 270000
c lw 272000
c lw 274000
c lw 276000
c lw 278000
c lw 280000
c lw 282000
c lw 284000
c lw 286000
c lw 288000
c lw 290000
c lw 292000
c lw 294000
c lw 296000
c lw 298000
c lw 300000
c lw 302000
c lw 304000
c lw 306000
c lw 308000
c lw 310000
c lw 312000