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_auctions_auc-scheduling_cat_sched_60_200_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_200_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1542
c lw 3084
c lw 4626
c lw 6168
c lw 7710
c lw 9252
c lw 10794
c lw 12336
c lw 13878
c lw 15420
c lw 16962
c lw 18504
c lw 20046
c lw 21588
c lw 23130
c lw 24672
c lw 26214
c lw 27756
c lw 29298
c lw 30840
c lw 32382
c lw 33924
c lw 35466
c lw 37008
c lw 38550
c lw 40092
c lw 41634
c lw 43176
c lw 44718
c lw 46260
c lw 47802
c lw 49344
c lw 50886
c lw 52428
c lw 53970
c lw 55512
c lw 57054
c lw 58596
c lw 60138
c lw 61680
c lw 63222
c lw 64764
c lw 66306
c lw 67848
c lw 69390
c lw 70932
c lw 72474
c lw 74016
c lw 75558
c lw 77073
c lw 78562
c lw 80026
c lw 81205
c lw 82384
c lw 83563
c lw 84742
c lw 85921
c lw 87100
c lw 88279
c lw 89458
c lw 90637
c lw 91816
c lw 92995
c lw 94174
c lw 95353
c lw 96532
c lw 97711
c lw 98890
c lw 100069
c lw 101248
c lw 102427
c lw 103606
c lw 104785
c lw 105964
c lw 107143
c lw 108322
c lw 109501
c lw 110680
c lw 111859
c lw 113038
c lw 114217
c lw 115396
c lw 116575
c lw 117754
c lw 118933
c lw 120112
c lw 121291
c lw 122317
c lw 122879
c lw 123441
c lw 124003
c lw 124565
c lw 125127
c lw 125689
c lw 126251
c lw 126813
c lw 127375
c lw 127937
c lw 128499
c lw 129061
c lw 129623
c lw 130185
c lw 130614
c lw 130855
c lw 131096
c lw 131337
c lw 131578
c lw 131819
c lw 132060
c lw 132301
c lw 132542
c lw 132783
c lw 133024
c lw 133265
c lw 133506
c lw 133747
c lw 133988
c lw 134229
c lw 134470
c lw 134711
c lw 134952
c lw 135193
c lw 135434
c lw 135675
c lw 135916
c lw 136157
c lw 136398
c lw 136639
c lw 136880
c lw 137071
c lw 137262
c lw 137453
c lw 137644
c lw 137835
c lw 138026
c lw 138217
c lw 138408
c lw 138599
c lw 138767
c lw 138935
c lw 139103
c lw 139271
c lw 139439
c lw 139607
c lw 139775
c lw 139943
c lw 140111
c lw 140279
c lw 140447
c lw 140615
c lw 140783
c lw 140951
c lw 141119
c lw 141287
c lw 141455
c lw 141623
c lw 141791
c lw 141959
c lw 142127
c lw 142295
c lw 142463
c lw 142631
c lw 142799
c lw 142967
c lw 143135
c lw 143303
c lw 143471
c lw 143639
c lw 143807
c lw 143975
c lw 144143
c lw 144311
c lw 144479
c lw 144647
c lw 144815
c lw 144983
c lw 145151
c lw 145319
c lw 145449
c lw 145579
c lw 145693
c lw 145807
c lw 145921
c lw 146035
c lw 146149
c lw 146263
c lw 146377
c lw 146491
c lw 146605