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_180_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 229
c lw 250
c lw 458
c lw 500
c lw 687
c lw 750
c lw 916
c lw 1000
c lw 1145
c lw 1250
c lw 1395
c lw 1500
c lw 1645
c lw 1750
c lw 1895
c lw 2000
c lw 2145
c lw 2250
c lw 2395
c lw 2500
c lw 2645
c lw 2750
c lw 2895
c lw 3000
c lw 3145
c lw 3250
c lw 3395
c lw 3500
c lw 3645
c lw 3750
c lw 3895
c lw 4000
c lw 4145
c lw 4250
c lw 4395
c lw 4500
c lw 4645
c lw 4750
c lw 4895
c lw 5000
c lw 5145
c lw 5250
c lw 5395
c lw 5500
c lw 5645
c lw 5750
c lw 5895
c lw 6000
c lw 6145
c lw 6250
c lw 6395
c lw 6500
c lw 6645
c lw 6750
c lw 6895
c lw 7000
c lw 7145
c lw 7250
c lw 7500
c lw 8078
c lw 8169
c lw 8666
c lw 8838
c lw 9254
c lw 9507
c lw 9842
c lw 10176
c lw 10430
c lw 10845
c lw 11061
c lw 11514
c lw 11692
c lw 12183
c lw 12323
c lw 12852
c lw 12992
c lw 13521
c lw 13661
c lw 14190
c lw 14330
c lw 14859
c lw 14999
c lw 15528
c lw 15668
c lw 16197
c lw 16337
c lw 16866
c lw 17006
c lw 17535
c lw 17675
c lw 18204
c lw 18344
c lw 18873
c lw 19013
c lw 19542
c lw 19682
c lw 20211
c lw 20351
c lw 20880
c lw 21020
c lw 21549
c lw 21689
c lw 22218
c lw 22358
c lw 22887
c lw 23027
c lw 23556
c lw 23696
c lw 24225
c lw 24365
c lw 24894
c lw 25461
c lw 25543
c lw 25563
c lw 26232
c lw 26901
c lw 27570
c lw 27625
c lw 27652
c lw 27680
c lw 27734
c lw 27735
c lw 27790
c lw 27816
c lw 27845
c lw 27898
c lw 27900
c lw 27955
c lw 27980
c lw 28010
c lw 28062
c lw 28065
c lw 28132
c lw 28144
c lw 28199
c lw 28226
c lw 28266
c lw 28308
c lw 28333
c lw 28390
c lw 28406
c lw 28472
c lw 28479
c lw 28552
c lw 28554
c lw 28625
c lw 28636
c lw 28707
c lw 28718
c lw 28789
c lw 28800
c lw 28871
c lw 28882
c lw 28953
c lw 28964
c lw 29035
c lw 29046
c lw 29117
c lw 29128
c lw 29199
c lw 29210
c lw 29281
c lw 29292
c lw 29363
c lw 29374
c lw 29445
c lw 29456
c lw 29527
c lw 29538
c lw 30313
c lw 30355
c lw 31102
c lw 31172
c lw 31891
c lw 31989
c lw 32708
c lw 32806
c lw 33525
c lw 33623
c lw 34342
c lw 34440
c lw 35159
c lw 35257
c lw 35976
c lw 36074
c lw 36793
c lw 36891
c lw 37610
c lw 37708
c lw 38427
c lw 38525
c lw 39244
c lw 39342
c lw 40061
c lw 40159
c lw 40878
c lw 40976
c lw 41695
c lw 41793
c lw 42512
c lw 42610
c lw 43329
c lw 43427
c lw 43477
c lw 43625
c lw 43773
c lw 43936
c lw 44244
c lw 44753
c lw 45061
c lw 45570
c lw 45878
c lw 46387
c lw 46695
c lw 47204
c lw 47512
c lw 48021
c lw 48329
c lw 48827
c lw 48838
c lw 48990
c lw 49135
c lw 49138
c lw 49146
c lw 49188
c lw 49283
c lw 49294
c lw 49314
c lw 49419
c lw 49454
c lw 49781
c lw 49823
c lw 49963
c lw 49974
c lw 50131
c lw 50282
c lw 50343
c lw 50483
c lw 50640
c lw 50738
c lw 50791
c lw 50992
c lw 51457
c lw 51521
c lw 51555
c lw 51661
c lw 51743
c lw 52190
c lw 52274
c lw 52288
c lw 52408
c lw 52492
c lw 52909
c lw 53007
c lw 53127
c lw 53225
c lw 53628
c lw 53726
c lw 53846
c lw 53944
c lw 54347
c lw 54445
c lw 54565
c lw 54663
c lw 55066
c lw 55164
c lw 55284
c lw 55382
c lw 55785
c lw 55883
c lw 56003
c lw 56101
c lw 56504
c lw 56602
c lw 56722
c lw 56792
c lw 57223
c lw 57265
c lw 57469
c lw 57494
c lw 57522
c lw 57523
c lw 57526
c lw 57536
c lw 57559
c lw 57566
c lw 57591
c lw 57593
c lw 57603
c lw 57604
c lw 57606
c lw 57624
c lw 57625
c lw 57658
c lw 57660
c lw 57688
c lw 57713
c lw 57715
c lw 57744
c lw 57768
c lw 57770
c lw 57823
c lw 57963
c lw 58269
c lw 58280
c lw 58291
c lw 58302
c lw 58313
c lw 58324
c lw 58335
c lw 58513
c lw 58604
c lw 58729
c lw 58744
c lw 58983
c lw 59236
c lw 59247
c lw 59284
c lw 59419
c lw 59424
c lw 59470
c lw 59472
c lw 59475
c lw 59482
c lw 59573
c lw 59704
c lw 59720
c lw 59860
c lw 59981
c lw 60000
c lw 60140
c lw 60261
c lw 60389
c lw 60434
c lw 60453
c lw 60593
c lw 60733
c lw 60763
c lw 60903
c lw 61043
c lw 61122
c lw 61321
c lw 61432
c lw 61461
c lw 61572
c lw 61850
c lw 61990
c lw 62073
c lw 62213
c lw 62379
c lw 62519
c lw 62602
c lw 62742
c lw 62908
c lw 63048
c lw 63131
c lw 63297
c lw 63520
c lw 63600
c lw 63682
c lw 63826
c lw 64033
c lw 64101
c lw 64122
c lw 64227
c lw 64267
c lw 64372
c lw 64391
c lw 64477
c lw 64508
c lw 64527
c lw 64613
c lw 64672
c lw 64712
c lw 64718
c lw 64764
c lw 64817
c lw 64857
c lw 64869
c lw 64880
c lw 64910
c lw 65003
c lw 65014
c lw 65033
c lw 65085
c lw 65138
c lw 65178
c lw 65190
c lw 65283
c lw 65323
c lw 65373
c lw 65383
c lw 65400
c lw 65428
c lw 65533
c lw 65573
c lw 65610
c lw 65651
c lw 65670
c lw 65711
c lw 65816
c lw 65819
c lw 65856
c lw 65924
c lw 65964
c lw 66001
c lw 66066
c lw 66106
c lw 66108
c lw 66111
c lw 66136
c lw 66241
c lw 66253
c lw 66281
c lw 66321
c lw 66358
c lw 66426
c lw 66435
c lw 66466
c lw 66475
c lw 66540
c lw 66559
c lw 66580
c lw 66591
c lw 66633
c lw 66643
c lw 66644
c lw 66675
c lw 66686
c lw 66706
c lw 66707
c lw 66717
c lw 66748
c lw 66788
c lw 66893
c lw 66904
c lw 66935
c lw 66945
c lw 66955
c lw 66956
c lw 66957
c lw 66967
c lw 66968
c lw 66969
c lw 66999
c lw 67038
c lw 67133
c lw 67152
c lw 67164
c lw 67173
c lw 67174
c lw 67175
c lw 67185
c lw 67192
c lw 67194
c lw 67206
c lw 67225
c lw 67234
c lw 67253
c lw 67262
c lw 67263
c lw 67264
c lw 67265
c lw 67289
c lw 67294
c lw 67303
c lw 67304
c lw 67314
c lw 67389
c lw 67398
c lw 67399
c lw 67400
c lw 67438
c lw 67448
c lw 67458
c lw 67460
c lw 67469
c lw 67497
c lw 67528
c lw 67537
c lw 67565
c lw 67567
c lw 67577
c lw 67584
c lw 67585
c lw 67613
c lw 67616
c lw 67628
c lw 67653
c lw 67662
c lw 67684
c lw 67690
c lw 67709
c lw 67712
c lw 67715
c lw 67780
c lw 67798
c lw 67820
c lw 67845
c lw 67863
c lw 67875
c lw 67893
c lw 67897
c lw 67916
c lw 67919
c lw 67937
c lw 67962
c lw 67965
c lw 67975
c lw 67978
c lw 68003
c lw 68012
c lw 68030
c lw 68034
c lw 68040
c lw 68043
c lw 68046
c lw 68047
c lw 68052
c lw 68055
c lw 68056
c lw 68059
c lw 68061
c lw 68106
c lw 68114
c lw 68115
c lw 68117
c lw 68118
c lw 68119
c lw 68120
c lw 68129
c lw 68130
c lw 68131
c lw 68148
c lw 68158
c lw 68173
c lw 68191
c lw 68193
c lw 68194
c lw 68195
c lw 68198
c lw 68203
c lw 68204
c lw 68205
c lw 68206
c lw 68207
c lw 68218
c lw 68228
c lw 68233
c lw 68234
c lw 68235
c lw 68236
c lw 68237
c lw 68238
c lw 68241
c lw 68242
c lw 68243
c lw 68244
c lw 68245
c lw 68246
c lw 68247
c lw 68248
c lw 68249
c lw 68250
c lw 68251
c lw 68252
c lw 68253
c lw 68255
c lw 68264
c lw 68275
c lw 68277
c lw 68288
c lw 68294
c lw 68300
c lw 68305
c lw 68306
c lw 68308
c lw 68310
c lw 68315
c lw 68319
c lw 68320
c lw 68321
c lw 68326
c lw 68327
c lw 68328
c lw 68329
c lw 68331
c lw 68333
c lw 68376
c lw 68385
c lw 68395
c lw 68405
c lw 68406
c lw 68407
c lw 68408
c lw 68409
c lw 68410
c lw 68411
c lw 68412
c lw 68413
c lw 68414
c lw 68415
c lw 68416
c lw 68423
c lw 68424
c lw 68425
c lw 68428
c lw 68430
c lw 68432
c lw 68433
c lw 68434
c lw 68435
c lw 68436
c lw 68437
c lw 68438
c lw 68442
c lw 68454
c lw 68461
c lw 68462
c lw 68463
c lw 68465
c lw 68466
c lw 68469
c lw 68474
c lw 68514
c lw 68539
c lw 68551
c lw 68555
c lw 68571
c lw 68573
c lw 68591
c lw 68603
c lw 68607
c lw 68631
c lw 68647
c lw 68651
c lw 68654
c lw 68655
c lw 68659
c lw 68664
c lw 68668
c lw 68669
c lw 68670
c lw 68672
c lw 68703
c lw 68731
c lw 68734
c lw 68745
c lw 68746
c lw 68747
c lw 68748
c lw 68749
c lw 68753
c lw 68757
c lw 68758
c lw 68759
c lw 68761
c lw 68764
c lw 68765
c lw 68766
c lw 68767
c lw 68769
c lw 68772
c lw 68773
c lw 68777
c lw 68778
c lw 68779
c lw 68780
c lw 68781
c lw 68782
c lw 68783
c lw 68793
c lw 68801
c lw 68843
c lw 68888
c lw 68890
c lw 68896
c lw 68897
c lw 68898
c lw 68899
c lw 68900
c lw 68901
c lw 68902
c lw 68903
c lw 68904
c lw 68905
c lw 68906
c lw 68907
c lw 68908
c lw 68909
c lw 68910
c lw 68911
c lw 68912
c lw 68913
c lw 68914
c lw 68915
c lw 68916
c lw 68918
c lw 68919
c lw 68920
c lw 68921
c lw 68922
c lw 68928
c lw 68974
c lw 68979
c lw 69012
c lw 69013
c lw 69020
c lw 69287
c lw 69306
c lw 69328
c lw 69329
c lw 69334
c lw 69335
c lw 69409
c lw 69426
c lw 69463
c lw 69524
c lw 69592
c lw 69593
c lw 69594
c lw 69595
c lw 69596
c lw 69597
c lw 69598
c lw 69605
c lw 69606
c lw 69608
c lw 69613
c lw 69614
c lw 69628
c lw 69629
c lw 69630
c lw 69638
c lw 69639
c lw 69647
c lw 69648
c lw 69649
c lw 69650
c lw 69686
c lw 69687
c lw 69688
c lw 69689
c lw 69690
c lw 69691
c lw 69692
c lw 69694
c lw 69695
c lw 69696
c lw 69697
c lw 69698
c lw 69699
c lw 69700
c lw 69701
c lw 69711
c lw 69712
c lw 69713
c lw 69714
c lw 69769
c lw 69770
c lw 69777
c lw 69778
c lw 69779
c lw 69780
c lw 69781
c lw 69782
c lw 69783
c lw 69785
c lw 69786
c lw 69787
c lw 69788
c lw 69792
c lw 69794
c lw 69795
c lw 69803
c lw 69814
c lw 69826
c lw 69838
c lw 69849
c lw 69860
c lw 70142
c lw 70143
c lw 70144
c lw 70145
c lw 70146