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_140_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 59
c lw 119
c lw 125
c lw 180
c lw 241
c lw 250
c lw 302
c lw 363
c lw 375
c lw 424
c lw 485
c lw 500
c lw 546
c lw 607
c lw 625
c lw 668
c lw 729
c lw 750
c lw 790
c lw 851
c lw 875
c lw 912
c lw 973
c lw 1000
c lw 1034
c lw 1095
c lw 1125
c lw 1156
c lw 1217
c lw 1250
c lw 1278
c lw 1339
c lw 1375
c lw 1400
c lw 1461
c lw 1500
c lw 1522
c lw 1583
c lw 1625
c lw 1644
c lw 1705
c lw 1750
c lw 1766
c lw 1827
c lw 1875
c lw 1888
c lw 2000
c lw 2013
c lw 2125
c lw 2138
c lw 2250
c lw 2263
c lw 2375
c lw 2388
c lw 2500
c lw 2513
c lw 2625
c lw 2638
c lw 2750
c lw 2763
c lw 3050
c lw 3214
c lw 3337
c lw 3624
c lw 3665
c lw 3911
c lw 4116
c lw 4198
c lw 4485
c lw 4567
c lw 4772
c lw 5018
c lw 5059
c lw 5346
c lw 5469
c lw 5689
c lw 5920
c lw 6032
c lw 6371
c lw 6375
c lw 6718
c lw 6822
c lw 7061
c lw 7273
c lw 7404
c lw 7724
c lw 7747
c lw 8090
c lw 8175
c lw 8433
c lw 8626
c lw 8776
c lw 9077
c lw 9119
c lw 9528
c lw 9570
c lw 9979
c lw 10021
c lw 10430
c lw 10472
c lw 10881
c lw 10923
c lw 11332
c lw 11374
c lw 11783
c lw 11825
c lw 12234
c lw 12276
c lw 12685
c lw 12727
c lw 13136
c lw 13587
c lw 14038
c lw 14080
c lw 16052
c lw 18024
c lw 19996
c lw 21968
c lw 23940
c lw 25912
c lw 27884
c lw 29856
c lw 31828
c lw 33800
c lw 35772
c lw 37744
c lw 39716
c lw 41688
c lw 43660
c lw 45632
c lw 47604
c lw 49576
c lw 51548
c lw 53520
c lw 55492
c lw 57464
c lw 59423
c lw 59436
c lw 61395
c lw 61408
c lw 63338
c lw 63367
c lw 64859
c lw 64888
c lw 64901
c lw 66380
c lw 66818
c lw 67269
c lw 67298
c lw 67311
c lw 68339
c lw 68381
c lw 69257
c lw 69270
c lw 69300
c lw 69331
c lw 69334
c lw 69382
c lw 69415
c lw 69443
c lw 69446
c lw 69459
c lw 69495
c lw 69520
c lw 69523
c lw 69558
c lw 69597
c lw 69619
c lw 69622
c lw 69635
c lw 69677
c lw 69696
c lw 69699
c lw 69712
c lw 69734
c lw 69747
c lw 69811
c lw 69824
c lw 69846
c lw 69859
c lw 69875
c lw 69891
c lw 69907
c lw 69926
c lw 69934
c lw 69952
c lw 69976
c lw 69989
c lw 69995
c lw 70016
c lw 70035
c lw 70037
c lw 70055
c lw 70077
c lw 70080
c lw 70095
c lw 70116
c lw 70126
c lw 70138
c lw 70156
c lw 70175
c lw 70184
c lw 70199
c lw 70227
c lw 70233
c lw 70245
c lw 70282
c lw 70293
c lw 70341
c lw 70383
c lw 70425
c lw 71418
c lw 71460
c lw 71502
c lw 71785
c lw 71889
c lw 71893
c lw 71911
c lw 71953
c lw 72128
c lw 72213
c lw 72236
c lw 72362
c lw 72471
c lw 73450
c lw 74443
c lw 75422
c lw 76415
c lw 77394
c lw 78387
c lw 79366
c lw 80359
c lw 80617
c lw 81596
c lw 81705
c lw 82698
c lw 82956
c lw 82998
c lw 83977
c lw 84044
c lw 84086
c lw 85079
c lw 85337
c lw 85379
c lw 86358
c lw 86425
c lw 86575
c lw 87568
c lw 87610
c lw 87611
c lw 88590
c lw 89583
c lw 89840
c lw 89902
c lw 90881
c lw 90950
c lw 91031
c lw 92024
c lw 93003
c lw 93092
c lw 93204
c lw 94197
c lw 94254
c lw 94316
c lw 94377
c lw 94417
c lw 94418
c lw 94603
c lw 94663
c lw 94726
c lw 94808
c lw 94890
c lw 94950
c lw 94972
c lw 94995
c lw 95013
c lw 95054
c lw 95067
c lw 95177
c lw 95564
c lw 95583
c lw 96459
c lw 96501
c lw 96512
c lw 96518
c lw 96524
c lw 96525
c lw 96531
c lw 96539
c lw 96542
c lw 96550
c lw 96555
c lw 96558
c lw 96561
c lw 96562
c lw 96568
c lw 96571
c lw 96575
c lw 96576
c lw 96580
c lw 96584
c lw 96585
c lw 96586
c lw 96587
c lw 96588
c lw 96591
c lw 96596
c lw 96598
c lw 96606
c lw 96607
c lw 96608
c lw 96609
c lw 96610
c lw 96613
c lw 96614
c lw 96615
c lw 96616
c lw 96618
c lw 96619
c lw 96620
c lw 96621
c lw 96622
c lw 96623
c lw 96624
c lw 96625
c lw 96626
c lw 96627
c lw 96628
c lw 96630
c lw 96636
c lw 96646
c lw 96647
c lw 96648
c lw 96649
c lw 96650
c lw 96651
c lw 96653
c lw 96654
c lw 96655
c lw 96664
c lw 96669
c lw 96670
c lw 96671
c lw 96672
c lw 96678
c lw 96679
c lw 96680
c lw 96682
c lw 96690
c lw 96691
c lw 96692
c lw 96693
c lw 96694
c lw 96696
c lw 96697
c lw 96703
c lw 96706
c lw 96714
c lw 96744
c lw 96762
c lw 96765
c lw 96767
c lw 96770
c lw 96795
c lw 96825
c lw 96826
c lw 96831
c lw 96834
c lw 96856
c lw 96866
c lw 96879
c lw 96882
c lw 96895
c lw 96917
c lw 96923
c lw 96930
c lw 96933
c lw 96943
c lw 96950
c lw 96956
c lw 96965
c lw 96971
c lw 96972
c lw 96976
c lw 96978
c lw 96979
c lw 96981
c lw 96987
c lw 96988
c lw 96989
c lw 96990
c lw 96991
c lw 96993
c lw 96999
c lw 97000
c lw 97006
c lw 97007
c lw 97020
c lw 97025
c lw 97030
c lw 97033
c lw 97037
c lw 97040
c lw 97041
c lw 97043
c lw 97059
c lw 97060
c lw 97064
c lw 97090
c lw 97092
c lw 97095
c lw 97097
c lw 97098
c lw 97100
c lw 97103
c lw 97104
c lw 97122
c lw 97145
c lw 97167
c lw 97226
c lw 97227
c lw 97268
c lw 97331
c lw 97391
c lw 97414
c lw 97420
c lw 97425
c lw 97467
c lw 97468
c lw 97475
c lw 97486
c lw 97490
c lw 97491
c lw 97492
c lw 97525
c lw 97526
c lw 97528
c lw 97535
c lw 97540
c lw 97546
c lw 97551
c lw 97553
c lw 97554
c lw 97555
c lw 97556
c lw 97557
c lw 97558
c lw 97560
c lw 97562
c lw 97563
c lw 97583
c lw 97584
c lw 97585
c lw 97586
c lw 97587
c lw 97588
c lw 97589
c lw 97597
c lw 97598
c lw 97599
c lw 97600
c lw 97617
c lw 97618
c lw 97619
c lw 97620
c lw 97621
c lw 97622
c lw 97623
c lw 97624
c lw 97626
c lw 97631
c lw 97632
c lw 97633
c lw 97634
c lw 97635
c lw 97636
c lw 97637
c lw 97638
c lw 97639
c lw 97640
c lw 97641
c lw 97642
c lw 97643
c lw 97644
c lw 97645
c lw 97702
c lw 97741
c lw 97745
c lw 97763
c lw 97764
c lw 97782
c lw 97786
c lw 97813
c lw 97825
c lw 97826
c lw 97875
c lw 97915
c lw 97947
c lw 97972
c lw 98001
c lw 98021
c lw 98022
c lw 98034
c lw 98040
c lw 98044
c lw 98048
c lw 98049
c lw 98050
c lw 98053
c lw 98059
c lw 98061
c lw 98065
c lw 98107
c lw 98125
c lw 98148
c lw 98187
c lw 98296
c lw 98297
c lw 98298
c lw 98327
c lw 98329
c lw 98338
c lw 98384
c lw 98397
c lw 98419
c lw 98436
c lw 98478
c lw 98553
c lw 98554
c lw 98596
c lw 98621
c lw 98628
c lw 98653
c lw 98660
c lw 98695
c lw 98696
c lw 98697
c lw 98702
c lw 98725
c lw 98898
c lw 98940
c lw 98959
c lw 98978
c lw 98982
c lw 98987
c lw 98989
c lw 99007
c lw 99016
c lw 99026
c lw 99027
c lw 99035
c lw 99036
c lw 99043
c lw 99050
c lw 99051
c lw 99052
c lw 99055
c lw 99056
c lw 99062
c lw 99063
c lw 99064
c lw 99066
c lw 99067
c lw 99072
c lw 99090
c lw 99134
c lw 99176
c lw 99181
c lw 99201
c lw 99348
c lw 99366
c lw 99367
c lw 99372
c lw 99386
c lw 99404
c lw 99422
c lw 99426
c lw 99427
c lw 99431
c lw 99440
c lw 99442
c lw 99446
c lw 99461
c lw 100406
c lw 100407
c lw 100408
c lw 100409
c lw 100410
c lw 100411
c lw 100412
c lw 100413
c lw 100440
c lw 100460
c lw 100462
c lw 100463
c lw 100464
c lw 100465
c lw 100466
c lw 100467
c lw 100468
c lw 100469
c lw 100470
c lw 100471
c lw 100472
c lw 100473
c lw 100535
c lw 100536
c lw 100537
c lw 100557
c lw 100558
c lw 100559
c lw 100560
c lw 100561
c lw 100562
c lw 100563
c lw 100564
c lw 100565
c lw 100566
c lw 100567
c lw 100568
c lw 100569
c lw 100570
c lw 100571
c lw 100572
c lw 100573
c lw 100574
c lw 100575
c lw 100577
c lw 100578
c lw 100579
c lw 100580
c lw 100581
c lw 100582
c lw 100583
c lw 100584
c lw 100591
c lw 100592
c lw 100593
c lw 100595
c lw 100615
c lw 100675
c lw 100676
c lw 100677
c lw 100678
c lw 100679
c lw 100680
c lw 100681
c lw 100682
c lw 100683
c lw 100684
c lw 100685
c lw 100693
c lw 100694
c lw 100695
c lw 100696
c lw 100697
c lw 100698
c lw 100699
c lw 100700
c lw 100701
c lw 100702
c lw 100717
c lw 100723
c lw 100729
c lw 100736
c lw 100738
c lw 100892
c lw 100911
c lw 101736
c lw 101784
c lw 101938
c lw 102883
c lw 103708
c lw 103756
c lw 103910
c lw 104855
c lw 105680
c lw 105728
c lw 105882
c lw 106827
c lw 107652
c lw 107700
c lw 107854
c lw 108799
c lw 108896
c lw 108944
c lw 108954
c lw 108959
c lw 108960
c lw 108961
c lw 108962
c lw 108964
c lw 108965
c lw 108990
c lw 108991
c lw 109624
c lw 109625
c lw 109626
c lw 109627
c lw 109628
c lw 109629
c lw 109630
c lw 109631
c lw 109632
c lw 109647
c lw 109862
c lw 109863
c lw 109864
c lw 109865
c lw 109866
c lw 109867
c lw 109868
c lw 109869
c lw 109870
c lw 109871
c lw 109875
c lw 109876
c lw 110665
c lw 110672
c lw 110678
c lw 110680
c lw 110681
c lw 110682
c lw 110683
c lw 110684
c lw 110685
c lw 110686
c lw 110687
c lw 110688
c lw 110689
c lw 110690
c lw 110691
c lw 110694
c lw 110695
c lw 110696
c lw 110697
c lw 110698
c lw 110699
c lw 110706
c lw 110712
c lw 110714
c lw 110715
c lw 110716
c lw 110717
c lw 110718
c lw 110719
c lw 110720
c lw 110721
c lw 110722
c lw 110723
c lw 110724
c lw 110728
c lw 110729
c lw 110730
c lw 110731
c lw 110732
c lw 110733
c lw 110734
c lw 110735
c lw 110736
c lw 110737
c lw 110738
c lw 110739
c lw 110740
c lw 110741
c lw 110742
c lw 110743
c lw 110744
c lw 110745
c lw 110746
c lw 110747
c lw 110748
c lw 110749
c lw 110750
c lw 110751
c lw 110752
c lw 110753
c lw 110754
c lw 110755
c lw 110756
c lw 110757
c lw 110758
c lw 110759
c lw 110760
c lw 110761
c lw 110762
c lw 110763
c lw 110764
c lw 110765
c lw 110766
c lw 110767
c lw 110768
c lw 110769
c lw 110770
c lw 110771
c lw 110772
c lw 110773
c lw 110774
c lw 110775
c lw 110777
c lw 110778
c lw 110779
c lw 110780
c lw 110781
c lw 110782
c lw 110783
c lw 110824
c lw 110825
c lw 110826
c lw 110827
c lw 110828
c lw 110829
c lw 110830
c lw 110832
c lw 110833
c lw 110834
c lw 110835
c lw 110836
c lw 110837
c lw 110840
c lw 110841
c lw 110842
c lw 110843
c lw 110844
c lw 110845
c lw 110846
c lw 110929
c lw 110930
c lw 110931
c lw 110932
c lw 110933
c lw 110934
c lw 110935
c lw 110936
c lw 110937
c lw 110938
c lw 110939
c lw 110940
c lw 110941
c lw 110942
c lw 110943
c lw 110944
c lw 110945
c lw 110946
c lw 110947
c lw 110948
c lw 110949
c lw 110950
c lw 110951
c lw 110952
c lw 110953
c lw 110965
c lw 111007
c lw 111008
c lw 111009
c lw 111010
c lw 111014
c lw 111015
c lw 111016
c lw 111017
c lw 111018
c lw 111019
c lw 111020
c lw 111021
c lw 111022
c lw 111023
c lw 111024
c lw 111025
c lw 111026
c lw 111027
c lw 111028
c lw 111029
c lw 111030
c lw 111031
c lw 111032
c lw 111033
c lw 111034
c lw 111035
c lw 111036
c lw 111037
c lw 111038
c lw 111039
c lw 111040
c lw 111041
c lw 111042
c lw 111043
c lw 111044
c lw 111045
c lw 111046
c lw 111047
c lw 111048
c lw 111081
c lw 111082
c lw 111083
c lw 111084
c lw 111085
c lw 111086
c lw 111087