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_110_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 756
c lw 850
c lw 1512
c lw 1700
c lw 2268
c lw 2550
c lw 3024
c lw 3400
c lw 3874
c lw 4250
c lw 4724
c lw 5100
c lw 5574
c lw 5950
c lw 6424
c lw 6800
c lw 7274
c lw 7650
c lw 8124
c lw 8500
c lw 8974
c lw 9350
c lw 9547
c lw 10200
c lw 10397
c lw 11050
c lw 11247
c lw 11900
c lw 12097
c lw 12750
c lw 12947
c lw 13600
c lw 13797
c lw 14450
c lw 14647
c lw 15300
c lw 15497
c lw 15774
c lw 16533
c lw 16603
c lw 17292
c lw 17432
c lw 18051
c lw 18261
c lw 18810
c lw 19090
c lw 19569
c lw 19919
c lw 20398
c lw 20748
c lw 21227
c lw 21577
c lw 22056
c lw 22406
c lw 22885
c lw 23235
c lw 23714
c lw 24064
c lw 24543
c lw 24893
c lw 25372
c lw 25722
c lw 26201
c lw 26551
c lw 27030
c lw 27380
c lw 27859
c lw 28209
c lw 28688
c lw 29038
c lw 29517
c lw 29867
c lw 30346
c lw 30696
c lw 30872
c lw 31048
c lw 31175
c lw 31224
c lw 31400
c lw 31576
c lw 31752
c lw 31928
c lw 32004
c lw 32480
c lw 32833
c lw 33309
c lw 33662
c lw 34138
c lw 34491
c lw 34688
c lw 34967
c lw 35164
c lw 35714
c lw 35796
c lw 35993
c lw 36108
c lw 36625
c lw 36800
c lw 36937
c lw 37095
c lw 37253
c lw 37411
c lw 37569
c lw 37594
c lw 37727
c lw 37902
c lw 38077
c lw 38251
c lw 38252
c lw 38427
c lw 38487
c lw 38684
c lw 38881
c lw 38908
c lw 39078
c lw 39275
c lw 39472
c lw 39565
c lw 39669
c lw 39866
c lw 40063
c lw 40222
c lw 40260
c lw 40457
c lw 40654
c lw 40851
c lw 40879
c lw 41048
c lw 41245
c lw 41442
c lw 41470
c lw 41536
c lw 41612
c lw 41673
c lw 41712
c lw 41788
c lw 41848
c lw 41888
c lw 41937
c lw 41964
c lw 42046
c lw 42079
c lw 42276
c lw 42365
c lw 42496
c lw 42562
c lw 42600
c lw 42693
c lw 42759
c lw 42825
c lw 42852
c lw 42862
c lw 42890
c lw 42983
c lw 43049
c lw 43087
c lw 43153
c lw 43350
c lw 43384
c lw 43432
c lw 43547
c lw 43785
c lw 43812
c lw 43982
c lw 44009
c lw 44069
c lw 44156
c lw 44179
c lw 44180
c lw 44244
c lw 44269
c lw 44331
c lw 44419
c lw 44427
c lw 44464
c lw 44585
c lw 44622
c lw 44661
c lw 44743
c lw 44818
c lw 44933
c lw 45396
c lw 45409
c lw 45523
c lw 45699
c lw 45762
c lw 46049
c lw 46238
c lw 46515
c lw 46528
c lw 46865
c lw 46904
c lw 47181
c lw 47331
c lw 47528
c lw 47531
c lw 47707
c lw 47860
c lw 48057
c lw 48186
c lw 48210
c lw 48536
c lw 48689
c lw 48886
c lw 49015
c lw 49039
c lw 49365
c lw 49518
c lw 49715
c lw 49844
c lw 49868
c lw 50194
c lw 50347
c lw 50462
c lw 50577
c lw 50595
c lw 50723
c lw 50920
c lw 51246
c lw 51248
c lw 51376
c lw 51596
c lw 51656
c lw 51855
c lw 52065
c lw 52145
c lw 52285
c lw 52474
c lw 52544
c lw 52834
c lw 53180
c lw 53210
c lw 53407
c lw 53586
c lw 53604
c lw 53654
c lw 53980
c lw 54110
c lw 54208
c lw 54356
c lw 54454
c lw 54552
c lw 54584
c lw 54830
c lw 54928
c lw 55112
c lw 55304
c lw 55492
c lw 55496
c lw 55590
c lw 55966
c lw 56042
c lw 56103
c lw 56142
c lw 56218
c lw 56278
c lw 56318
c lw 56365
c lw 56404
c lw 56441
c lw 56486
c lw 56568
c lw 56643
c lw 56651
c lw 56843
c lw 56937
c lw 56941
c lw 57035
c lw 57121
c lw 57129
c lw 57137
c lw 57169
c lw 57219
c lw 57223
c lw 57301
c lw 57305
c lw 57309
c lw 57313
c lw 57411
c lw 57441
c lw 57459
c lw 57473
c lw 57491
c lw 57505
c lw 57509
c lw 57637
c lw 57641
c lw 57649
c lw 57651
c lw 57655
c lw 57659
c lw 57677
c lw 57707
c lw 57709
c lw 57713
c lw 57717
c lw 57719
c lw 57721
c lw 57723
c lw 57727
c lw 57729
c lw 57771
c lw 57773
c lw 57775
c lw 57777
c lw 57803
c lw 57847
c lw 57913
c lw 57931
c lw 57949
c lw 57951
c lw 57955
c lw 57957
c lw 57959
c lw 57961
c lw 57963
c lw 57965
c lw 57967
c lw 57969
c lw 57971
c lw 57973
c lw 57977
c lw 57979
c lw 58021
c lw 58071
c lw 58079
c lw 58085
c lw 58089
c lw 58103
c lw 58107
c lw 58109
c lw 58153
c lw 58155
c lw 58157
c lw 58185
c lw 58191
c lw 58193
c lw 58199
c lw 58201
c lw 58247
c lw 58249
c lw 58379
c lw 58381
c lw 58383
c lw 58385
c lw 58387
c lw 58389
c lw 58391
c lw 58393
c lw 58395
c lw 58397
c lw 58403
c lw 58405
c lw 58407
c lw 58409
c lw 58411
c lw 58413
c lw 58415
c lw 58421
c lw 58488
c lw 58506
c lw 58546
c lw 58548
c lw 58550
c lw 58596
c lw 58598
c lw 58600
c lw 58602
c lw 58604
c lw 58605
c lw 58680
c lw 58695
c lw 58697
c lw 58699
c lw 58701
c lw 58703
c lw 58705
c lw 58707
c lw 58718
c lw 58722
c lw 58898
c lw 58901
c lw 59008
c lw 59083
c lw 59115
c lw 59123
c lw 59230
c lw 59231
c lw 59232
c lw 59233
c lw 59234
c lw 59235
c lw 59236
c lw 59237
c lw 59238
c lw 59240
c lw 59242
c lw 59244
c lw 59246
c lw 59247
c lw 59249
c lw 59250
c lw 59263
c lw 59264
c lw 59265
c lw 59266
c lw 59267
c lw 59268
c lw 59269
c lw 59270
c lw 59271
c lw 59272
c lw 59273
c lw 59281
c lw 59285
c lw 59287
c lw 59288
c lw 59290
c lw 59291
c lw 59294
c lw 59295
c lw 59296
c lw 59297
c lw 59298
c lw 59299
c lw 59300
c lw 59315
c lw 59316
c lw 59317
c lw 59318
c lw 59319
c lw 59320
c lw 59321
c lw 59322
c lw 59323
c lw 59324
c lw 59325
c lw 59331
c lw 59341
c lw 59342
c lw 59344
c lw 59345
c lw 59346
c lw 59350
c lw 59351
c lw 59352
c lw 59353
c lw 59354
c lw 59355
c lw 59356
c lw 59357
c lw 59358
c lw 59359
c lw 59360
c lw 59361
c lw 59362
c lw 59363
c lw 59364
c lw 59365
c lw 59447
c lw 59606
c lw 59644
c lw 59648
c lw 59651
c lw 59652
c lw 59676
c lw 59689
c lw 59745
c lw 59807
c lw 59846
c lw 59848
c lw 59884
c lw 59887
c lw 59888
c lw 59924
c lw 59928
c lw 60218
c lw 60263
c lw 60288
c lw 60477
c lw 60539
c lw 60544
c lw 60564
c lw 60609
c lw 60617
c lw 60677
c lw 60685
c lw 60730
c lw 60739
c lw 60782
c lw 60834
c lw 60842
c lw 60879
c lw 60928
c lw 60938
c lw 60945
c lw 60971
c lw 60972
c lw 60973
c lw 60979
c lw 60980
c lw 60990
c lw 60991
c lw 60997
c lw 61000
c lw 61009
c lw 61010
c lw 61011
c lw 61012
c lw 61014
c lw 61016
c lw 61017
c lw 61018
c lw 61019
c lw 61020
c lw 61021
c lw 61022
c lw 61023
c lw 61024
c lw 61025
c lw 61026
c lw 61027
c lw 61029
c lw 61034
c lw 61035
c lw 61036
c lw 61037
c lw 61038
c lw 61039
c lw 61040
c lw 61041
c lw 61042
c lw 61043
c lw 61044
c lw 61048
c lw 61049
c lw 61050
c lw 61051
c lw 61052
c lw 61053
c lw 61054
c lw 61055
c lw 61056
c lw 61057
c lw 61058
c lw 61059
c lw 61060
c lw 61061
c lw 61062
c lw 61063
c lw 61064
c lw 61089
c lw 61090
c lw 61091
c lw 61092
c lw 61093
c lw 61094
c lw 61095
c lw 61096
c lw 61097