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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2355
c lw 4408
c lw 6105
c lw 7801
c lw 9473
c lw 11064
c lw 12652
c lw 14237
c lw 15805
c lw 17362
c lw 18919
c lw 20462
c lw 21965
c lw 23465
c lw 24962
c lw 26441
c lw 27902
c lw 29359
c lw 30785
c lw 32210
c lw 33633
c lw 35052
c lw 36465
c lw 37866
c lw 39254
c lw 40635
c lw 42016
c lw 43394
c lw 44746
c lw 46074
c lw 47396
c lw 48715
c lw 50029
c lw 51342
c lw 52654
c lw 53962
c lw 55269
c lw 56561
c lw 57851
c lw 59111
c lw 60359
c lw 61607
c lw 62852
c lw 64087
c lw 65318
c lw 66545
c lw 67768
c lw 68987
c lw 70185