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-300-1_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2170
c lw 4164
c lw 5937
c lw 7708
c lw 9466
c lw 11211
c lw 12954
c lw 14693
c lw 16407
c lw 18121
c lw 19803
c lw 21456
c lw 23106
c lw 24752
c lw 26386
c lw 28005
c lw 29622
c lw 31229
c lw 32820
c lw 34406
c lw 35988
c lw 37564
c lw 39121
c lw 40663
c lw 42191
c lw 43711
c lw 45223
c lw 46719
c lw 48209
c lw 49691
c lw 51171
c lw 52646
c lw 54113
c lw 55577
c lw 57037
c lw 58495
c lw 59947
c lw 61398
c lw 62846
c lw 64274
c lw 65701
c lw 67128
c lw 68554
c lw 69974
c lw 71390
c lw 72800
c lw 74208
c lw 75612
c lw 76984
c lw 78351
c lw 79716
c lw 81079
c lw 82438
c lw 83787
c lw 85136
c lw 86484
c lw 87822
c lw 89160
c lw 90491
c lw 91812
c lw 93126
c lw 94440
c lw 95738
c lw 97034
c lw 98322
c lw 99601
c lw 100871
c lw 102140
c lw 103408
c lw 104670
c lw 105931
c lw 107191
c lw 108448
c lw 109702
c lw 110953
c lw 112195
c lw 113429
c lw 114662
c lw 115891
c lw 117110
c lw 118328
c lw 119545