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_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 504
c lw 725
c lw 1008
c lw 1450
c lw 1512
c lw 2016
c lw 2175
c lw 2520
c lw 2900
c lw 3024
c lw 3528
c lw 3625
c lw 4032
c lw 4350
c lw 4615
c lw 5075
c lw 5198
c lw 5781
c lw 5800
c lw 6364
c lw 6525
c lw 6947
c lw 7250
c lw 7530
c lw 7975
c lw 8113
c lw 8696
c lw 8700
c lw 9279
c lw 9425
c lw 9862
c lw 10150
c lw 10587
c lw 10875
c lw 11312
c lw 11600
c lw 12037
c lw 12325
c lw 12762
c lw 13050
c lw 13487
c lw 13775
c lw 14212
c lw 14500
c lw 14937
c lw 15225
c lw 15662
c lw 15950
c lw 16387
c lw 16675
c lw 17112
c lw 17308
c lw 17400
c lw 17596
c lw 18125
c lw 18321
c lw 18850
c lw 19046
c lw 19575
c lw 19771
c lw 20300
c lw 20777
c lw 21164
c lw 21254
c lw 21731
c lw 22028
c lw 22208
c lw 22685
c lw 22892
c lw 23162
c lw 23693
c lw 23756
c lw 24224
c lw 24620
c lw 24755
c lw 25286
c lw 25484
c lw 25817
c lw 26348
c lw 26879
c lw 27212
c lw 27410
c lw 27941
c lw 28076
c lw 28472
c lw 28940
c lw 29003
c lw 29534
c lw 29536
c lw 29538
c lw 29540
c lw 29542
c lw 29804
c lw 29981
c lw 30512
c lw 30668
c lw 31043
c lw 31532
c lw 31574
c lw 32396
c lw 32592
c lw 32634
c lw 32830
c lw 33260
c lw 33456
c lw 33890
c lw 34086
c lw 34124
c lw 34320
c lw 34988
c lw 35184
c lw 35342
c lw 35538
c lw 35852
c lw 36402
c lw 36598
c lw 36716
c lw 36912
c lw 37108
c lw 37304
c lw 37462
c lw 37606
c lw 37750
c lw 37894
c lw 38038
c lw 38182
c lw 38326
c lw 38357
c lw 38470
c lw 38614
c lw 38758
c lw 38902
c lw 39046
c lw 39190
c lw 39252
c lw 39334
c lw 39478
c lw 39622
c lw 39818
c lw 40014
c lw 40147
c lw 40210
c lw 40406
c lw 40602
c lw 40798
c lw 40836
c lw 41032
c lw 41042
c lw 41228
c lw 41424
c lw 41620
c lw 41816
c lw 41937
c lw 42012
c lw 42208
c lw 42404
c lw 42600
c lw 42721
c lw 42832
c lw 42834
c lw 42836
c lw 42838
c lw 42840
c lw 43028
c lw 43094
c lw 43146
c lw 43157
c lw 43342
c lw 43371
c lw 43529
c lw 43567
c lw 43707
c lw 43725
c lw 43763
c lw 43810
c lw 43921
c lw 43959
c lw 43996
c lw 44006
c lw 44070
c lw 44117
c lw 44202
c lw 44240
c lw 44303
c lw 44436
c lw 44499
c lw 44562
c lw 44632
c lw 44694
c lw 44776
c lw 44828
c lw 44838
c lw 44910
c lw 44920
c lw 44951
c lw 44982
c lw 45064
c lw 45095
c lw 45126
c lw 45208
c lw 45239
c lw 45383
c lw 45435
c lw 45527
c lw 45704
c lw 45796
c lw 45823
c lw 45981
c lw 45992
c lw 46177
c lw 46215
c lw 46373
c lw 46411
c lw 46464
c lw 46660
c lw 46845
c lw 46856
c lw 46894
c lw 46898
c lw 47002
c lw 47090
c lw 47132
c lw 47579
c lw 47667
c lw 47863
c lw 48061
c lw 48150
c lw 48196
c lw 48306
c lw 48592
c lw 48727
c lw 48837
c lw 48909
c lw 48925
c lw 49123
c lw 49242
c lw 49456
c lw 49575
c lw 49654
c lw 49733
c lw 49796
c lw 49971
c lw 50043
c lw 50250
c lw 50313
c lw 50327
c lw 50507
c lw 50624
c lw 50727
c lw 50817
c lw 51101
c lw 51114
c lw 51206
c lw 51355
c lw 51630
c lw 51686
c lw 51819
c lw 51835
c lw 52123
c lw 52153
c lw 52411
c lw 52456
c lw 52617
c lw 52636
c lw 52759
c lw 52848
c lw 53024
c lw 53121
c lw 53136
c lw 53245
c lw 53528
c lw 53573
c lw 53861
c lw 53873
c lw 54298
c lw 54314
c lw 54586
c lw 54638
c lw 54694
c lw 54982
c lw 55023
c lw 55172
c lw 55311
c lw 55460
c lw 55558
c lw 55609
c lw 55749
c lw 55897
c lw 55981
c lw 56043
c lw 56318
c lw 56322
c lw 56560
c lw 56698
c lw 56901
c lw 57005
c lw 57020
c lw 57181
c lw 57376
c lw 57423
c lw 57458
c lw 57465
c lw 57617
c lw 57679
c lw 57907
c lw 57962
c lw 58183
c lw 58190
c lw 58242
c lw 58334
c lw 58426
c lw 58466
c lw 58473
c lw 58694
c lw 58701
c lw 58713
c lw 58756
c lw 58801
c lw 58808
c lw 58825
c lw 58846
c lw 58853
c lw 58858
c lw 58867
c lw 58875
c lw 58882
c lw 58889
c lw 58898
c lw 58907
c lw 58908
c lw 58909
c lw 58912
c lw 58913
c lw 58914
c lw 58915
c lw 58916
c lw 58917
c lw 58922
c lw 58923
c lw 58924
c lw 58954
c lw 58959
c lw 59046
c lw 59068
c lw 59083
c lw 59180
c lw 59181
c lw 59182
c lw 59183
c lw 59184
c lw 59185
c lw 59187
c lw 59188
c lw 59189
c lw 59224
c lw 59229
c lw 59254
c lw 59276
c lw 59316
c lw 59441
c lw 59590
c lw 59599
c lw 59641
c lw 59721
c lw 59825
c lw 59836
c lw 59878
c lw 59933
c lw 59948
c lw 59970
c lw 60093
c lw 60109
c lw 60128
c lw 60129
c lw 60139
c lw 60247
c lw 60318
c lw 60537
c lw 60541
c lw 60571
c lw 60593
c lw 60602
c lw 60621
c lw 60759
c lw 60763
c lw 60900
c lw 60953
c lw 60958
c lw 61000
c lw 61037
c lw 61053
c lw 61057
c lw 61058
c lw 61110
c lw 61138
c lw 61139
c lw 61143
c lw 61147
c lw 61198
c lw 61263
c lw 61296
c lw 61337
c lw 61345
c lw 61388
c lw 61411
c lw 61421
c lw 61463
c lw 61486
c lw 61494
c lw 61506
c lw 61536
c lw 61546
c lw 61558
c lw 61599
c lw 61600
c lw 61601
c lw 61611
c lw 61619
c lw 61623
c lw 61632
c lw 61633
c lw 61640
c lw 61642
c lw 61644
c lw 61645
c lw 61778
c lw 61779
c lw 61784
c lw 61785
c lw 61786
c lw 61787
c lw 61788
c lw 61789
c lw 61791
c lw 61792
c lw 61793
c lw 61820
c lw 61821
c lw 61827
c lw 61835
c lw 61844
c lw 61861
c lw 61866
c lw 61869
c lw 61874
c lw 61880
c lw 61884
c lw 61888
c lw 61889
c lw 61890
c lw 61891
c lw 61892
c lw 61893
c lw 61894
c lw 61895
c lw 61896
c lw 61897
c lw 61899
c lw 61900
c lw 61901
c lw 61902
c lw 61903
c lw 61904
c lw 61905
c lw 61906
c lw 61907
c lw 61912
c lw 61924
c lw 61927
c lw 61929
c lw 61932
c lw 61981
c lw 61985
c lw 61986
c lw 61990
c lw 61991
c lw 61996
c lw 62083
c lw 62084
c lw 62088
c lw 62092
c lw 62176
c lw 62227
c lw 62234
c lw 62239
c lw 62277
c lw 62288
c lw 62289
c lw 62290
c lw 62300
c lw 62324
c lw 62328
c lw 62331
c lw 62340
c lw 62356
c lw 62369
c lw 62382
c lw 62383
c lw 62385
c lw 62387
c lw 62391
c lw 62401
c lw 62402
c lw 62403
c lw 62415
c lw 62416
c lw 62417
c lw 62418
c lw 62419
c lw 62420
c lw 62421
c lw 62422
c lw 62423
c lw 62424
c lw 62425
c lw 62434
c lw 62453
c lw 62458
c lw 62469
c lw 62480
c lw 62507
c lw 62511
c lw 62513
c lw 62516
c lw 62521
c lw 62667
c lw 62678
c lw 62755
c lw 62759
c lw 62772
c lw 62862
c lw 62863
c lw 62864
c lw 62867
c lw 62868
c lw 62870
c lw 62871
c lw 62875
c lw 62876
c lw 62884
c lw 62888
c lw 62889
c lw 62890
c lw 62891
c lw 62892
c lw 62898
c lw 62899
c lw 62901
c lw 62903
c lw 62904
c lw 62906
c lw 62907
c lw 62908
c lw 62916
c lw 62917
c lw 62931
c lw 62932
c lw 62933
c lw 62934
c lw 62935
c lw 62936
c lw 62937
c lw 62938
c lw 62939
c lw 62940
c lw 62944
c lw 62948
c lw 62949
c lw 62950
c lw 62953
c lw 62962
c lw 62963
c lw 62964
c lw 62965
c lw 62966
c lw 62967
c lw 62970
c lw 62971
c lw 62972
c lw 62973
c lw 62974
c lw 62975
c lw 62976
c lw 62977
c lw 62978
c lw 62980
c lw 63057
c lw 63071
c lw 63134
c lw 63147
c lw 63148
c lw 63149
c lw 63150
c lw 63152
c lw 63153
c lw 63154
c lw 63155
c lw 63156
c lw 63157
c lw 63158
c lw 63159
c lw 63160
c lw 63161
c lw 63163
c lw 63171
c lw 63172
c lw 63173
c lw 63174
c lw 63175
c lw 63176
c lw 63177
c lw 63178
c lw 63179
c lw 63180
c lw 63181
c lw 63182
c lw 63183
c lw 63184
c lw 63186
c lw 63188
c lw 63253
c lw 63266
c lw 63269
c lw 63270
c lw 63271
c lw 63272
c lw 63273
c lw 63277
c lw 63278
c lw 63285
c lw 63286
c lw 63287
c lw 63288
c lw 63291
c lw 63292
c lw 63318
c lw 63330
c lw 63381
c lw 63382
c lw 63383
c lw 63384
c lw 63385
c lw 63386
c lw 63387
c lw 63393
c lw 63394
c lw 63395
c lw 63396
c lw 63397
c lw 63398
c lw 63399
c lw 63400
c lw 63401
c lw 63402
c lw 63403
c lw 63404
c lw 63405
c lw 63406
c lw 63407
c lw 63408
c lw 63409
c lw 63410
c lw 63411
c lw 63412
c lw 63413
c lw 63414
c lw 63415
c lw 63416
c lw 63417
c lw 63418
c lw 63419
c lw 63420
c lw 63421
c lw 63422
c lw 63423
c lw 63424
c lw 63425
c lw 63426
c lw 63427
c lw 63428
c lw 63429
c lw 63430
c lw 63432
c lw 63433
c lw 63446
c lw 63497
c lw 63509
c lw 63510
c lw 63573
c lw 63603
c lw 63611
c lw 63660
c lw 63666
c lw 63731
c lw 63761
c lw 63807
c lw 63808
c lw 63814
c lw 63820
c lw 63844
c lw 63850
c lw 63852
c lw 63858
c lw 63859
c lw 63865
c lw 63871
c lw 63921
c lw 63990
c lw 64027
c lw 64028
c lw 64062
c lw 64100
c lw 64107
c lw 64119
c lw 64122
c lw 64128
c lw 64129
c lw 64233
c lw 64305
c lw 64313
c lw 64329
c lw 64336
c lw 64446
c lw 64454
c lw 64480
c lw 64487
c lw 64503
c lw 64504
c lw 64509
c lw 64542
c lw 64549
c lw 64564
c lw 64673
c lw 64729
c lw 64824
c lw 64870
c lw 64896
c lw 64904
c lw 64956
c lw 64959
c lw 64960
c lw 64961
c lw 64964
c lw 64986
c lw 65016
c lw 65043
c lw 65059
c lw 65069
c lw 65107
c lw 65173
c lw 65175
c lw 65295
c lw 65297
c lw 65313
c lw 65315
c lw 65317
c lw 65326
c lw 65346
c lw 65350
c lw 65352
c lw 65390
c lw 65402
c lw 65497
c lw 65552
c lw 65553
c lw 65554
c lw 65555
c lw 65556
c lw 65581
c lw 65617
c lw 65618
c lw 65628
c lw 65629
c lw 65631
c lw 65688
c lw 65689
c lw 65690
c lw 65691
c lw 65692
c lw 65693
c lw 65694
c lw 65695
c lw 65696
c lw 65697
c lw 65698
c lw 65699
c lw 65700
c lw 65701
c lw 65702
c lw 65703
c lw 65723
c lw 65735
c lw 65736
c lw 65765
c lw 65766
c lw 65774
c lw 65775
c lw 65776
c lw 65778
c lw 65779
c lw 65780
c lw 65812
c lw 65813
c lw 65814
c lw 65819
c lw 65820
c lw 65821
c lw 65823
c lw 65825
c lw 65826
c lw 65828
c lw 65829
c lw 65831
c lw 65833
c lw 65835
c lw 65837
c lw 65839
c lw 65841
c lw 65850
c lw 65851
c lw 65852
c lw 65853
c lw 65867
c lw 65990
c lw 66001
c lw 66009
c lw 66010
c lw 66011
c lw 66019
c lw 66020
c lw 66021
c lw 66024
c lw 66035
c lw 66038
c lw 66039
c lw 66040
c lw 66041
c lw 66043
c lw 66053
c lw 66054
c lw 66057
c lw 66062
c lw 66152
c lw 66159
c lw 66160
c lw 66161
c lw 66165
c lw 66166
c lw 66167
c lw 66168
c lw 66169
c lw 66170
c lw 66171
c lw 66172
c lw 66173
c lw 66174
c lw 66175
c lw 66176
c lw 66177
c lw 66178
c lw 66179
c lw 66180
c lw 66181
c lw 66182
c lw 66187
c lw 66188
c lw 66189
c lw 66190
c lw 66191
c lw 66192
c lw 66193
c lw 66194
c lw 66195
c lw 66196
c lw 66197
c lw 66198
c lw 66199
c lw 66200
c lw 66201
c lw 66202
c lw 66203
c lw 66204
c lw 66205
c lw 66206
c lw 66207
c lw 66208
c lw 66209
c lw 66210
c lw 66211
c lw 66212
c lw 66213
c lw 66215
c lw 66216
c lw 66217
c lw 66218
c lw 66220
c lw 66227
c lw 66228
c lw 66229
c lw 66233
c lw 66234
c lw 66235
c lw 66236
c lw 66237
c lw 66238
c lw 66241
c lw 66246
c lw 66248
c lw 66264
c lw 66271
c lw 66282
c lw 66289
c lw 66290
c lw 66293
c lw 66304
c lw 66308
c lw 66311
c lw 66314
c lw 66315
c lw 66319
c lw 66331
c lw 66332
c lw 66334
c lw 66336
c lw 66338
c lw 66340
c lw 66342
c lw 66345
c lw 66346
c lw 66349
c lw 66350
c lw 66352
c lw 66354
c lw 66356
c lw 66359
c lw 66361
c lw 66362
c lw 66364
c lw 66366
c lw 66369
c lw 66370
c lw 66376
c lw 66377
c lw 66378
c lw 66379
c lw 66404
c lw 66414
c lw 66431
c lw 66461
c lw 66484
c lw 66513
c lw 66544
c lw 66550
c lw 66601
c lw 66603
c lw 66634
c lw 66640
c lw 66657
c lw 66659
c lw 66669
c lw 66679
c lw 66696
c lw 66709
c lw 66710
c lw 66711
c lw 66726
c lw 66739
c lw 66745
c lw 66751
c lw 66753
c lw 66757
c lw 66759
c lw 66760
c lw 66761
c lw 66762
c lw 66763
c lw 66765
c lw 66769
c lw 66774
c lw 66775
c lw 66776
c lw 66807
c lw 66808
c lw 66826
c lw 66832
c lw 66834
c lw 66837
c lw 66843
c lw 66845
c lw 66849
c lw 66864
c lw 66865
c lw 66866
c lw 66867
c lw 66873
c lw 66875
c lw 66960
c lw 67007
c lw 67008
c lw 67009
c lw 67011
c lw 67012
c lw 67013
c lw 67015
c lw 67016
c lw 67017
c lw 67018
c lw 67023
c lw 67024
c lw 67025
c lw 67026
c lw 67027
c lw 67028
c lw 67029
c lw 67030
c lw 67035
c lw 67036
c lw 67037
c lw 67053
c lw 67069
c lw 67074
c lw 67075
c lw 67076
c lw 67084
c lw 67099
c lw 67126
c lw 67127
c lw 67128
c lw 67136
c lw 67137
c lw 67141
c lw 67157
c lw 67169
c lw 67170
c lw 67196
c lw 67197
c lw 67205
c lw 67212
c lw 67228
c lw 67233
c lw 67243
c lw 67248
c lw 67255
c lw 67256
c lw 67257
c lw 67258
c lw 67259
c lw 67260
c lw 67261
c lw 67262
c lw 67264
c lw 67270
c lw 67271
c lw 67272
c lw 67273
c lw 67274
c lw 67276
c lw 67277
c lw 67278
c lw 67279
c lw 67280
c lw 67281
c lw 67282
c lw 67287
c lw 67289
c lw 67290
c lw 67291
c lw 67292
c lw 67293
c lw 67294
c lw 67295
c lw 67297
c lw 67298
c lw 67301
c lw 67302
c lw 67303
c lw 67304
c lw 67305
c lw 67306
c lw 67307
c lw 67308
c lw 67314
c lw 67315
c lw 67316
c lw 67317
c lw 67319
c lw 67320
c lw 67321
c lw 67322
c lw 67323
c lw 67324
c lw 67325
c lw 67326
c lw 67330
c lw 67332
c lw 67336
c lw 67337
c lw 67338
c lw 67339
c lw 67340
c lw 67341
c lw 67342
c lw 67343
c lw 67347
c lw 67348
c lw 67351
c lw 67352
c lw 67353
c lw 67354
c lw 67355
c lw 67358
c lw 67359
c lw 67360
c lw 67361
c lw 67362
c lw 67363
c lw 67364
c lw 67365
c lw 67366
c lw 67369
c lw 67370
c lw 67371
c lw 67372
c lw 67373
c lw 67374
c lw 67375
c lw 67376
c lw 67377
c lw 67378
c lw 67379
c lw 67380
c lw 67381
c lw 67382
c lw 67383
c lw 67384
c lw 67385
c lw 67386
c lw 67387
c lw 67388
c lw 67389
c lw 67390
c lw 67391
c lw 67392
c lw 67393
c lw 67394
c lw 67395
c lw 67396
c lw 67397
c lw 67398
c lw 67399
c lw 67400
c lw 67401
c lw 67402
c lw 67403
c lw 67404
c lw 67405
c lw 67406
c lw 67407
c lw 67410
c lw 67411
c lw 67412
c lw 67413
c lw 67414
c lw 67415
c lw 67416
c lw 67417
c lw 67418