Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_80_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_80_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 356
c lw 712
c lw 1068
c lw 1424
c lw 1780
c lw 2136
c lw 2492
c lw 2848
c lw 3204
c lw 3560
c lw 3916
c lw 3960
c lw 4004
c lw 4048
c lw 4092
c lw 4136
c lw 4180
c lw 4224
c lw 4268
c lw 4312
c lw 4368
c lw 4374
c lw 4424
c lw 4480
c lw 4536
c lw 4592
c lw 4648
c lw 4704
c lw 4760
c lw 4816
c lw 4832
c lw 4872
c lw 4888
c lw 4928
c lw 4944
c lw 4984
c lw 5000
c lw 5040
c lw 5056
c lw 5096
c lw 5112
c lw 5152
c lw 5168
c lw 5208
c lw 5224
c lw 5264
c lw 5280
c lw 5336
c lw 5392
c lw 5448
c lw 5488
c lw 6046
c lw 6076
c lw 6614
c lw 6664
c lw 7182
c lw 7252
c lw 7770
c lw 7840
c lw 8358
c lw 8428
c lw 8946
c lw 9016
c lw 9534
c lw 9604
c lw 10122
c lw 10192
c lw 10710
c lw 10780
c lw 11298
c lw 11368
c lw 11886
c lw 11956
c lw 12188
c lw 12420
c lw 12474
c lw 12596
c lw 12772
c lw 13062
c lw 13304
c lw 13650
c lw 13852
c lw 14238
c lw 14440
c lw 14826
c lw 15028
c lw 15414
c lw 15616
c lw 16002
c lw 16204
c lw 16590
c lw 16792
c lw 17178
c lw 17380
c lw 17766
c lw 17968
c lw 18354
c lw 18556
c lw 18942
c lw 19144
c lw 19530
c lw 19732
c lw 20118
c lw 20320
c lw 20706
c lw 20908
c lw 20914
c lw 20924
c lw 20958
c lw 20964
c lw 20980
c lw 21002
c lw 21008
c lw 21020
c lw 21036
c lw 21046
c lw 21052
c lw 21076
c lw 21090
c lw 21092
c lw 21096
c lw 21132
c lw 21134
c lw 21140
c lw 21148
c lw 21156
c lw 21188
c lw 21196
c lw 21204
c lw 21212
c lw 21244
c lw 21252
c lw 21260
c lw 21268
c lw 21300
c lw 21308
c lw 21316
c lw 21324
c lw 21356
c lw 21364
c lw 21374
c lw 21428
c lw 21484
c lw 21552
c lw 21750
c lw 21852
c lw 22094
c lw 22136
c lw 22142
c lw 22180
c lw 22338
c lw 22382
c lw 22526
c lw 22544
c lw 22548
c lw 22618
c lw 22688
c lw 22724
c lw 22890
c lw 23066
c lw 23074
c lw 23110
c lw 23122
c lw 23418
c lw 23496
c lw 23650
c lw 23698
c lw 23852
c lw 23922
c lw 24084
c lw 24144
c lw 24286
c lw 24530
c lw 24590
c lw 24734
c lw 24804
c lw 24976
c lw 25006
c lw 25178
c lw 25190
c lw 25392
c lw 25576
c lw 25778
c lw 25840
c lw 25910
c lw 26164
c lw 26428
c lw 26498
c lw 26612
c lw 26682
c lw 27016
c lw 27086
c lw 27200
c lw 27534
c lw 27604
c lw 27648
c lw 27698
c lw 28052
c lw 28082
c lw 28186
c lw 28482
c lw 28542
c lw 28838
c lw 29194
c lw 29254
c lw 29262
c lw 29272
c lw 29326
c lw 29382
c lw 29450
c lw 29648
c lw 29678
c lw 29690
c lw 29750
c lw 29810
c lw 29870
c lw 29986
c lw 30106
c lw 30136
c lw 30334
c lw 30342
c lw 30354
c lw 30390
c lw 30394
c lw 30398
c lw 30400
c lw 30432
c lw 30436
c lw 30440
c lw 30442
c lw 30456
c lw 30460
c lw 30464
c lw 30488
c lw 30490
c lw 30492
c lw 30498
c lw 30508
c lw 30516
c lw 30524
c lw 30530
c lw 30532
c lw 30536
c lw 30542
c lw 30546
c lw 30562
c lw 30568
c lw 30572
c lw 30580
c lw 30586
c lw 30588
c lw 30596
c lw 30602
c lw 30628
c lw 30630
c lw 30636
c lw 30638
c lw 30670
c lw 30676
c lw 30678
c lw 30686
c lw 30692
c lw 30694
c lw 30696
c lw 30702
c lw 30724
c lw 30726
c lw 30762
c lw 30770
c lw 30774
c lw 30778
c lw 30786
c lw 30952
c lw 30954
c lw 30956
c lw 30958
c lw 30960
c lw 30962
c lw 30964
c lw 30968
c lw 30970
c lw 30974
c lw 30990
c lw 30992
c lw 30996
c lw 30998
c lw 31000
c lw 31002
c lw 31006
c lw 31024
c lw 31026
c lw 31028
c lw 31032
c lw 31036
c lw 31040
c lw 31046
c lw 31058
c lw 31060
c lw 31062
c lw 31102
c lw 31134
c lw 31200
c lw 31214
c lw 31216
c lw 31218
c lw 31288
c lw 31360
c lw 31394
c lw 31396
c lw 31400
c lw 31402
c lw 31404
c lw 31406
c lw 31426
c lw 31428
c lw 31430
c lw 31432
c lw 31448
c lw 31624
c lw 31640
c lw 31644
c lw 31654
c lw 31678
c lw 31690
c lw 31750
c lw 31822
c lw 31826
c lw 31832
c lw 31912
c lw 31934
c lw 31940
c lw 31994
c lw 32026
c lw 32096
c lw 32118
c lw 32134
c lw 32156
c lw 32184
c lw 32246
c lw 32272
c lw 32288
c lw 32382
c lw 32452
c lw 32560
c lw 32566
c lw 32608
c lw 32636
c lw 32656
c lw 32700
c lw 32752
c lw 32756
c lw 32782
c lw 32786
c lw 32818
c lw 32980
c lw 32982
c lw 32984
c lw 32986
c lw 32990
c lw 32992
c lw 32994
c lw 32996
c lw 32998
c lw 33006
c lw 33008
c lw 33010
c lw 33012
c lw 33020
c lw 33022
c lw 33028
c lw 33030
c lw 33034
c lw 33052
c lw 33160
c lw 33166
c lw 33178
c lw 33218
c lw 33242
c lw 33248
c lw 33254
c lw 33260
c lw 33294
c lw 33326
c lw 33350
c lw 33356
c lw 33362
c lw 33374
c lw 33402
c lw 33408
c lw 33442
c lw 33468
c lw 33470
c lw 33478
c lw 33482
c lw 33484
c lw 33488
c lw 33494
c lw 33500
c lw 33502
c lw 33504
c lw 33506
c lw 33508
c lw 33656
c lw 33660
c lw 33662
c lw 33664
c lw 33666
c lw 33668
c lw 33696
c lw 33770
c lw 33772
c lw 33774
c lw 33776
c lw 33778
c lw 33780
c lw 33782
c lw 33784
c lw 33786
c lw 33788
c lw 33790
c lw 33792
c lw 33794
c lw 33798
c lw 33800
c lw 33802
c lw 33804
c lw 33806
c lw 33808
c lw 33810
c lw 33812
c lw 33814
c lw 33820
c lw 33822
c lw 33824
c lw 33826
c lw 33828
c lw 33830
c lw 33832
c lw 33834
c lw 33838
c lw 33840
c lw 33842
c lw 33844
c lw 33846
c lw 33848
c lw 33850
c lw 33852
c lw 33854
c lw 33862
c lw 33870
c lw 33872
c lw 33874
c lw 33876
c lw 33878
c lw 33888
c lw 33890
c lw 33892
c lw 33896
c lw 33898
c lw 33900
c lw 33902
c lw 33904
c lw 33906
c lw 33908
c lw 33910
c lw 33912
c lw 33914
c lw 33916
c lw 33918
c lw 33920
c lw 33922
c lw 33924
c lw 33926
c lw 33928
c lw 33930
c lw 33932
c lw 33934
c lw 33936
c lw 33938
c lw 33940
c lw 33942
c lw 33944
c lw 33948
c lw 33950
c lw 33952
c lw 33954
c lw 33956
c lw 33958
c lw 33960
c lw 33962
c lw 33964
c lw 33966
c lw 33968
c lw 33970
c lw 33972
c lw 33976
c lw 33978
c lw 33980
c lw 33986
c lw 33988
c lw 33990
c lw 34006
c lw 34008
c lw 34022
c lw 34082
c lw 34084
c lw 34086
c lw 34088
c lw 34090
c lw 34108
c lw 34138
c lw 34140
c lw 34142
c lw 34144
c lw 34146
c lw 34148
c lw 34150
c lw 34152
c lw 34218
c lw 34220
c lw 34222
c lw 34224
c lw 34226
c lw 34228
c lw 34230
c lw 34232
c lw 34248
c lw 34250
c lw 34252
c lw 34258
c lw 34260
c lw 34274
c lw 34276
c lw 34278
c lw 34280
c lw 34300
c lw 34308
c lw 34310
c lw 34320
c lw 34322
c lw 34324
c lw 34326
c lw 34328
c lw 34330
c lw 34332
c lw 34334
c lw 34344
c lw 34346
c lw 34348
c lw 34350
c lw 34352
c lw 34356
c lw 34358
c lw 34360
c lw 34362
c lw 34364
c lw 34366
c lw 34368
c lw 34372
c lw 34374
c lw 34376
c lw 34378
c lw 34380
c lw 34382
c lw 34384
c lw 34386
c lw 34390
c lw 34392
c lw 34394
c lw 34396
c lw 34398
c lw 34400
c lw 34402
c lw 34410
c lw 34412
c lw 34414
c lw 34416
c lw 34418
c lw 34420
c lw 34422
c lw 34424
c lw 34426
c lw 34428
c lw 34430
c lw 34432
c lw 34434
c lw 34436
c lw 34438
c lw 34504
c lw 34506
c lw 34508
c lw 34534
c lw 34540
c lw 34542
c lw 34544
c lw 34546
c lw 34558
c lw 34560
c lw 34562
c lw 34564
c lw 34566
c lw 34568
c lw 34570
c lw 34572
c lw 34576
c lw 34578
c lw 34580
c lw 34584
c lw 34590
c lw 34592
c lw 34594
c lw 34602
c lw 34612