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_100_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 354
c lw 708
c lw 1062
c lw 1416
c lw 1770
c lw 2124
c lw 2478
c lw 2832
c lw 3186
c lw 3540
c lw 3894
c lw 4248
c lw 4602
c lw 4956
c lw 5310
c lw 5664
c lw 6018
c lw 6372
c lw 6692
c lw 7012
c lw 7332
c lw 7652
c lw 7972
c lw 8292
c lw 8612
c lw 8932
c lw 9252
c lw 9572
c lw 9892
c lw 10212
c lw 10532
c lw 10852
c lw 11172
c lw 11492
c lw 11812
c lw 12132
c lw 12452
c lw 12772
c lw 13092
c lw 13412
c lw 14262
c lw 14456
c lw 15112
c lw 15500
c lw 15962
c lw 16544
c lw 16812
c lw 17588
c lw 17724
c lw 18632
c lw 18652
c lw 19580
c lw 19676
c lw 20508
c lw 20720
c lw 21436
c lw 21764
c lw 22364
c lw 22808
c lw 23292
c lw 23852
c lw 24336
c lw 24896
c lw 25380
c lw 25940
c lw 26424
c lw 26984
c lw 27468
c lw 28028
c lw 28512
c lw 29072
c lw 29556
c lw 30116
c lw 30600
c lw 31160
c lw 31644
c lw 31850
c lw 32540
c lw 32688
c lw 33230
c lw 33732
c lw 34274
c lw 34776
c lw 34998
c lw 35722
c lw 35820
c lw 36446
c lw 36864
c lw 37170
c lw 37908
c lw 38214
c lw 38952
c lw 39258
c lw 39996
c lw 40092
c lw 40112
c lw 40302
c lw 40608
c lw 40924
c lw 41346
c lw 41652
c lw 41662
c lw 41760
c lw 42070
c lw 42288
c lw 42390
c lw 42492
c lw 42702
c lw 42714
c lw 42994
c lw 43244
c lw 43314
c lw 43430
c lw 43466
c lw 43578
c lw 43972
c lw 44156
c lw 44326
c lw 44362
c lw 44810
c lw 44886
c lw 44922
c lw 45164
c lw 45482
c lw 45648
c lw 45724
c lw 45966
c lw 46208
c lw 46526
c lw 46692
c lw 46768
c lw 47010
c lw 47252
c lw 47570
c lw 47696
c lw 47736
c lw 48064
c lw 48170
c lw 48382
c lw 48452
c lw 49002
c lw 49138
c lw 49360
c lw 49628
c lw 49778
c lw 49942
c lw 50166
c lw 50240
c lw 50434
c lw 50598
c lw 50802
c lw 50918
c lw 51122
c lw 51238
c lw 51442
c lw 51558
c lw 51762
c lw 51878
c lw 52082
c lw 52198
c lw 52402
c lw 52518
c lw 52722
c lw 52838
c lw 53042
c lw 53158
c lw 53512
c lw 53866
c lw 54220
c lw 54574
c lw 54928
c lw 55282
c lw 55636
c lw 55732
c lw 55752
c lw 55942
c lw 56128
c lw 56230
c lw 56332
c lw 56686
c lw 57040
c lw 57394
c lw 57636
c lw 57672
c lw 57748
c lw 57864
c lw 58068
c lw 58184
c lw 58388
c lw 58504
c lw 58708
c lw 58824
c lw 58878
c lw 58912
c lw 59008
c lw 59044
c lw 59062
c lw 59064
c lw 59076
c lw 59078
c lw 59082
c lw 59152
c lw 59234
c lw 59254
c lw 59266
c lw 59268
c lw 59332
c lw 59344
c lw 59368
c lw 59370
c lw 59374
c lw 59396
c lw 59492
c lw 59494
c lw 59496
c lw 59498
c lw 59572
c lw 59766
c lw 59796
c lw 59856
c lw 59886
c lw 59916
c lw 59946
c lw 59960
c lw 60050
c lw 60272
c lw 60274
c lw 60344
c lw 60408
c lw 60556
c lw 60558
c lw 60602
c lw 60604
c lw 60666
c lw 60672
c lw 60702
c lw 60716
c lw 60732
c lw 60746
c lw 60748
c lw 60768
c lw 60778
c lw 60898
c lw 61084
c lw 61180
c lw 61184
c lw 61270
c lw 61304
c lw 61370
c lw 61410
c lw 61428
c lw 61482
c lw 61514
c lw 61544
c lw 61558
c lw 61566
c lw 61598
c lw 61638
c lw 61652
c lw 61654
c lw 61670
c lw 61672
c lw 61676
c lw 61688
c lw 61690
c lw 61700
c lw 61702
c lw 61704
c lw 61712
c lw 61714
c lw 61724
c lw 61736
c lw 61794
c lw 61796
c lw 61798
c lw 61800
c lw 61802
c lw 61804
c lw 61806
c lw 61808
c lw 61810
c lw 62002
c lw 62036
c lw 62042
c lw 62052
c lw 62056
c lw 62114
c lw 62132
c lw 62194
c lw 62288
c lw 62298
c lw 62304
c lw 62312
c lw 62332
c lw 62338
c lw 62400
c lw 62414
c lw 62418
c lw 62458
c lw 62472
c lw 62642
c lw 62646
c lw 62668
c lw 62678
c lw 62682
c lw 62690
c lw 62718
c lw 62722
c lw 62726
c lw 62768
c lw 62782
c lw 62786
c lw 62822
c lw 62826
c lw 62830
c lw 62832
c lw 62834
c lw 62864
c lw 62866
c lw 62906
c lw 62910
c lw 62978
c lw 62980
c lw 62982
c lw 62984
c lw 62986
c lw 62988
c lw 62990
c lw 62992
c lw 62996
c lw 62998
c lw 63000
c lw 63002
c lw 63008
c lw 63010
c lw 63012
c lw 63014
c lw 63016
c lw 63018
c lw 63020
c lw 63022
c lw 63024
c lw 63026
c lw 63028
c lw 63032
c lw 63034
c lw 63040
c lw 63044
c lw 63048
c lw 63052
c lw 63054
c lw 63056
c lw 63058
c lw 63060
c lw 63062
c lw 63064
c lw 63066
c lw 63068
c lw 63070
c lw 63072
c lw 63074
c lw 63076
c lw 63078
c lw 63080
c lw 63082
c lw 63084
c lw 63086
c lw 63232
c lw 63234
c lw 63236
c lw 63238
c lw 63240
c lw 63242
c lw 63270
c lw 63272
c lw 63274
c lw 63276
c lw 63278
c lw 63280
c lw 63282
c lw 63284
c lw 63286
c lw 63288
c lw 63290
c lw 63292
c lw 63294
c lw 63296
c lw 63298
c lw 63300
c lw 63302
c lw 63304
c lw 63306
c lw 63308
c lw 63310
c lw 63312
c lw 63314
c lw 63316
c lw 63318
c lw 63320
c lw 63322
c lw 63324
c lw 63326
c lw 63328
c lw 63330
c lw 63332
c lw 63334
c lw 63336
c lw 63338
c lw 63340
c lw 63342
c lw 63344
c lw 63346
c lw 63348
c lw 63350
c lw 63356
c lw 63358
c lw 63360
c lw 63362
c lw 63364
c lw 63366
c lw 63368
c lw 63372
c lw 63374
c lw 63376
c lw 63378
c lw 63380
c lw 63382
c lw 63384
c lw 63386
c lw 63388
c lw 63390
c lw 63510
c lw 63512
c lw 63514
c lw 63516
c lw 63518
c lw 63612
c lw 63630
c lw 63648
c lw 63650
c lw 63652
c lw 63654
c lw 63656
c lw 63678
c lw 63742
c lw 63744
c lw 63772
c lw 63774
c lw 63776
c lw 63778
c lw 63780
c lw 63824
c lw 63836
c lw 64008
c lw 64038
c lw 64050
c lw 64062
c lw 64064
c lw 64066
c lw 64076
c lw 64078
c lw 64080
c lw 64082
c lw 64084
c lw 64086
c lw 64088
c lw 64090
c lw 64092
c lw 64094
c lw 64102
c lw 64104
c lw 64106
c lw 64108
c lw 64110
c lw 64112
c lw 64122
c lw 64124
c lw 64126
c lw 64128
c lw 64130
c lw 64132
c lw 64134
c lw 64136
c lw 64138
c lw 64150
c lw 64152
c lw 64154
c lw 64166
c lw 64168
c lw 64170
c lw 64172
c lw 64174
c lw 64176
c lw 64178
c lw 64190
c lw 64202
c lw 64360
c lw 64420
c lw 64422
c lw 64424
c lw 64428
c lw 64430
c lw 64436
c lw 64438
c lw 64440
c lw 64442
c lw 64446
c lw 64448
c lw 64454
c lw 64456
c lw 64460
c lw 64462
c lw 64464
c lw 64466
c lw 64468
c lw 64470
c lw 64474
c lw 64476
c lw 64478
c lw 64480
c lw 64482
c lw 64486
c lw 64488
c lw 64510
c lw 64516
c lw 64518
c lw 64520
c lw 64522
c lw 64524
c lw 64526
c lw 64528
c lw 64540
c lw 64542
c lw 64544
c lw 64546
c lw 64548
c lw 64550
c lw 64552
c lw 64554
c lw 64556
c lw 64558
c lw 64564
c lw 64592
c lw 64594
c lw 64614
c lw 64616
c lw 64626
c lw 64628
c lw 64632
c lw 64636
c lw 64638
c lw 64640
c lw 64642
c lw 64654
c lw 64658
c lw 64660
c lw 64662
c lw 64666
c lw 64668
c lw 64670
c lw 64676
c lw 64678
c lw 64680
c lw 64682
c lw 64688
c lw 64694
c lw 64696
c lw 64698
c lw 64700
c lw 64702
c lw 64704
c lw 64706
c lw 64708
c lw 64710
c lw 64712
c lw 64714
c lw 64716
c lw 64718
c lw 64720
c lw 64722
c lw 64724
c lw 64726
c lw 64728
c lw 64730
c lw 64732
c lw 64734
c lw 64736
c lw 64738
c lw 64740
c lw 64742
c lw 64744
c lw 64746
c lw 64748
c lw 64750
c lw 64752
c lw 64754
c lw 64756
c lw 64758
c lw 64760
c lw 64762
c lw 64764
c lw 64766
c lw 64768
c lw 64770
c lw 64772
c lw 64774
c lw 64776
c lw 64778
c lw 64780
c lw 64782
c lw 64784
c lw 64796
c lw 64802
c lw 64804
c lw 64806
c lw 64808
c lw 64810
c lw 64812
c lw 64814
c lw 64816
c lw 64818
c lw 64820
c lw 64822
c lw 64824
c lw 64826
c lw 64828
c lw 64830
c lw 64832
c lw 64834
c lw 64836
c lw 64852
c lw 64854
c lw 64856
c lw 64858