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_170_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_170_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1756
c lw 3512
c lw 5268
c lw 7024
c lw 8780
c lw 10536
c lw 12292
c lw 14048
c lw 15804
c lw 17560
c lw 18341
c lw 19122
c lw 19903
c lw 20342
c lw 20781
c lw 21220
c lw 21659
c lw 22098
c lw 22537
c lw 22976
c lw 23415
c lw 23854
c lw 24293
c lw 24732
c lw 25171
c lw 25610
c lw 26049
c lw 26488
c lw 26927
c lw 27366
c lw 27805
c lw 28244
c lw 28683
c lw 29122
c lw 29561
c lw 30000
c lw 30439
c lw 30878
c lw 31317
c lw 31756
c lw 32195
c lw 32634
c lw 33073
c lw 33512
c lw 33951
c lw 34390
c lw 34829
c lw 35268
c lw 35679
c lw 36090
c lw 36501
c lw 36912
c lw 37323
c lw 37734
c lw 38145
c lw 38556
c lw 38967
c lw 39378
c lw 39789
c lw 40200
c lw 40611
c lw 41022
c lw 41371
c lw 41720
c lw 42069
c lw 42284
c lw 42499
c lw 42714
c lw 42929
c lw 43144
c lw 43359
c lw 43574
c lw 43789
c lw 44004
c lw 44219
c lw 44434
c lw 44649
c lw 44864
c lw 45079
c lw 45294
c lw 45509
c lw 45724
c lw 45939
c lw 46154
c lw 46369
c lw 46584
c lw 46768
c lw 46952
c lw 47136
c lw 47320
c lw 47504
c lw 47668
c lw 47832
c lw 47996
c lw 48160
c lw 48306
c lw 48452
c lw 48598
c lw 48744
c lw 48890
c lw 49036
c lw 49182
c lw 49328
c lw 49474
c lw 49620
c lw 49766
c lw 49912
c lw 50058
c lw 50204
c lw 50350
c lw 50496
c lw 50642
c lw 50788
c lw 50934
c lw 51080
c lw 51226
c lw 51372
c lw 51518
c lw 51664
c lw 51810
c lw 51956
c lw 52102
c lw 52248
c lw 52394
c lw 52540
c lw 52686
c lw 52832
c lw 52978
c lw 53124
c lw 53270
c lw 53416
c lw 53562
c lw 53708
c lw 53854
c lw 54000
c lw 54146
c lw 54292
c lw 54438
c lw 54584
c lw 54730
c lw 54876
c lw 55022
c lw 55168
c lw 55288
c lw 55408
c lw 55528
c lw 55648
c lw 55768
c lw 55888
c lw 56008
c lw 56128
c lw 56248
c lw 56368
c lw 56488
c lw 56608
c lw 56728
c lw 56848
c lw 56968
c lw 57088
c lw 57208
c lw 57328
c lw 57448
c lw 57568
c lw 57688
c lw 57808
c lw 57928
c lw 58048
c lw 58168
c lw 58288
c lw 58408
c lw 58528
c lw 58648
c lw 58768
c lw 58888
c lw 59008
c lw 59128
c lw 59248
c lw 59368
c lw 59488
c lw 59608
c lw 59728
c lw 59846
c lw 59960
c lw 60074
c lw 60188
c lw 60302
c lw 60416
c lw 60530
c lw 60644
c lw 60758
c lw 60872
c lw 60986
c lw 61100
c lw 61214
c lw 61328
c lw 61442
c lw 61556
c lw 61670