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_random-net_random-net-200-1_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1923
c lw 3764
c lw 5549
c lw 7280
c lw 9008
c lw 10723
c lw 12423
c lw 14042
c lw 15643
c lw 17243
c lw 18834
c lw 20424
c lw 21980
c lw 23485
c lw 24989
c lw 26448
c lw 27899
c lw 29340
c lw 30756
c lw 32152
c lw 33534
c lw 34910
c lw 36273
c lw 37611
c lw 38946
c lw 40268
c lw 41586
c lw 42899
c lw 44209
c lw 45518
c lw 46823
c lw 48124
c lw 49416
c lw 50705
c lw 51994
c lw 53280
c lw 54562
c lw 55843
c lw 57119
c lw 58380
c lw 59626
c lw 60869
c lw 62099
c lw 63326
c lw 64546
c lw 65752
c lw 66948
c lw 68135
c lw 69320
c lw 70504
c lw 71679
c lw 72852
c lw 74014
c lw 75161
c lw 76304
c lw 77440
c lw 78562
c lw 79681
c lw 80789
c lw 81893
c lw 82994
c lw 84082
c lw 85161
c lw 86236
c lw 87298
c lw 88346
c lw 89386
c lw 90414
c lw 91436
c lw 92457
c lw 93477
c lw 94476
c lw 95475
c lw 96471
c lw 97460
c lw 98448
c lw 99435
c lw 100421
c lw 101404
c lw 102387
c lw 103366