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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_110_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 454
c lw 507
c lw 908
c lw 1014
c lw 1362
c lw 1521
c lw 1816
c lw 2028
c lw 2270
c lw 2535
c lw 2724
c lw 3042
c lw 3231
c lw 3549
c lw 3738
c lw 4056
c lw 4245
c lw 4563
c lw 4752
c lw 5070
c lw 5259
c lw 5577
c lw 5766
c lw 6084
c lw 6273
c lw 6591
c lw 6780
c lw 7098
c lw 7287
c lw 7605
c lw 7794
c lw 8112
c lw 8301
c lw 8619
c lw 8808
c lw 9126
c lw 9315
c lw 9633
c lw 9822
c lw 10140
c lw 10329
c lw 10647
c lw 10836
c lw 11154
c lw 11343
c lw 11661
c lw 11850
c lw 12168
c lw 12675
c lw 13182
c lw 13689
c lw 14196
c lw 14703
c lw 15338
c lw 15915
c lw 15973
c lw 16608
c lw 17127
c lw 17243
c lw 17878
c lw 18339
c lw 18513
c lw 19311
c lw 19551
c lw 20349
c lw 20744
c lw 20763
c lw 21561
c lw 21975
c lw 22610
c lw 23245
c lw 23880
c lw 24353
c lw 24678
c lw 24826
c lw 25299
c lw 25476
c lw 25772
c lw 26245
c lw 26274
c lw 26718
c lw 27072
c lw 27191
c lw 27664
c lw 27870
c lw 28137
c lw 28610
c lw 28668
c lw 29083
c lw 29466
c lw 29556
c lw 30029
c lw 30264
c lw 30502
c lw 30629
c lw 30792
c lw 30955
c lw 31118
c lw 31123
c lw 31744
c lw 31916
c lw 32365
c lw 32714
c lw 32986
c lw 33512
c lw 33607
c lw 34228
c lw 34310
c lw 34849
c lw 34963
c lw 35077
c lw 35108
c lw 35191
c lw 35482
c lw 35773
c lw 35906
c lw 36253
c lw 36704
c lw 37051
c lw 37502
c lw 37849
c lw 38300
c lw 38647
c lw 39098
c lw 39225
c lw 39244
c lw 39355
c lw 39445
c lw 39750
c lw 39755
c lw 39792
c lw 39913
c lw 39918
c lw 40076
c lw 40243
c lw 40423
c lw 40454
c lw 40527
c lw 40537
c lw 40568
c lw 40694
c lw 40827
c lw 41076
c lw 41118
c lw 41394
c lw 41409
c lw 41476
c lw 41477
c lw 41984
c lw 42079
c lw 42097
c lw 42510
c lw 42732
c lw 42782
c lw 43081
c lw 43417
c lw 43480
c lw 43589
c lw 43715
c lw 44038
c lw 44128
c lw 44188
c lw 44421
c lw 44479
c lw 44836
c lw 44894
c lw 45042
c lw 45103
c lw 45222
c lw 45367
c lw 45457
c lw 45585
c lw 45614
c lw 45901
c lw 46058
c lw 46078
c lw 46197
c lw 46345
c lw 46522
c lw 46531
c lw 46694
c lw 46995
c lw 47038
c lw 47227
c lw 47416
c lw 47502
c lw 47535
c lw 47724
c lw 47767
c lw 47913
c lw 48102
c lw 48309
c lw 48403
c lw 48489
c lw 48592
c lw 48618
c lw 48721
c lw 48764
c lw 48807
c lw 48953
c lw 48979
c lw 49059
c lw 49219
c lw 49335
c lw 49694
c lw 49840
c lw 49883
c lw 50021
c lw 50126
c lw 50184
c lw 50270
c lw 50373
c lw 50459
c lw 50502
c lw 50545
c lw 50631
c lw 50734
c lw 50820
c lw 51009
c lw 51025
c lw 51052
c lw 51198
c lw 51300
c lw 51387
c lw 51516
c lw 51576
c lw 51618
c lw 51629
c lw 51841
c lw 51867
c lw 51871
c lw 52030
c lw 52136
c lw 52219
c lw 52242
c lw 52272
c lw 52537
c lw 52579
c lw 52696
c lw 52719
c lw 52726
c lw 52779
c lw 52802
c lw 52809
c lw 52825
c lw 52871
c lw 52984
c lw 52991
c lw 52995
c lw 52998
c lw 53009
c lw 53017
c lw 53024
c lw 53033
c lw 53040
c lw 53061
c lw 53068
c lw 53077
c lw 53084
c lw 53130
c lw 53137
c lw 53139
c lw 53147
c lw 53155
c lw 53166
c lw 53279
c lw 53282
c lw 53283
c lw 53298
c lw 53306
c lw 53307
c lw 53309
c lw 53317
c lw 53350
c lw 53358
c lw 53364
c lw 53366
c lw 53367
c lw 53368
c lw 53369
c lw 53371
c lw 53373
c lw 53376
c lw 53378
c lw 53380
c lw 53381
c lw 53382
c lw 53383
c lw 53386
c lw 53410
c lw 53457
c lw 53465
c lw 53488
c lw 53489
c lw 53490
c lw 53491
c lw 53492
c lw 53493
c lw 53495
c lw 53500
c lw 53501
c lw 53502
c lw 53503
c lw 53505
c lw 53506
c lw 53507
c lw 53508
c lw 53509
c lw 53511
c lw 53512
c lw 53513
c lw 53514
c lw 53515
c lw 53518
c lw 53519
c lw 53520
c lw 53605
c lw 53707
c lw 53724
c lw 53725
c lw 53726
c lw 53727
c lw 53728
c lw 53729
c lw 53730
c lw 53731
c lw 53732
c lw 53775
c lw 53795
c lw 53860
c lw 53868
c lw 53875
c lw 53901
c lw 53902
c lw 53903
c lw 53911
c lw 53962
c lw 53984
c lw 54005
c lw 54006
c lw 54007
c lw 54008
c lw 54010
c lw 54011
c lw 54012
c lw 54013
c lw 54014
c lw 54015
c lw 54016
c lw 54081
c lw 54097
c lw 54119
c lw 54124
c lw 54152
c lw 54153
c lw 54154
c lw 54155
c lw 54221
c lw 54222
c lw 54223
c lw 54224
c lw 54243
c lw 54265
c lw 54269
c lw 54270
c lw 54271
c lw 54284
c lw 54285
c lw 54289
c lw 54292
c lw 54305
c lw 54306
c lw 54308
c lw 54309
c lw 54313
c lw 54316
c lw 54317
c lw 54324
c lw 54371
c lw 54414
c lw 54440
c lw 54483
c lw 54560
c lw 54588
c lw 54596
c lw 54597
c lw 54601
c lw 54603
c lw 54608
c lw 54609
c lw 54610
c lw 54611
c lw 54612
c lw 54613
c lw 54614
c lw 54615
c lw 54616
c lw 54656
c lw 54676
c lw 54681
c lw 54696
c lw 54697
c lw 54698
c lw 54701
c lw 54713
c lw 54714
c lw 54715
c lw 54721
c lw 54727
c lw 54738
c lw 54758
c lw 54759
c lw 54760
c lw 54764
c lw 54772
c lw 54773
c lw 54775
c lw 54776
c lw 54779
c lw 54780
c lw 54803
c lw 54823
c lw 54825
c lw 54841
c lw 54842
c lw 54843
c lw 54844
c lw 54845
c lw 54846
c lw 54847
c lw 54848
c lw 54849
c lw 54850
c lw 54851
c lw 54856
c lw 54857
c lw 54859
c lw 54860
c lw 54864
c lw 54865
c lw 54866
c lw 54867
c lw 54868
c lw 54869
c lw 54895
c lw 54970
c lw 54973
c lw 54974
c lw 54975
c lw 54976
c lw 54977
c lw 54978
c lw 54979
c lw 54980
c lw 54988
c lw 54989
c lw 54990
c lw 54991
c lw 55000
c lw 55001
c lw 55002
c lw 55003
c lw 55006
c lw 55017
c lw 55019
c lw 55074
c lw 55075
c lw 55076
c lw 55077
c lw 55080
c lw 55082
c lw 55108
c lw 55136
c lw 55138
c lw 55155
c lw 55157
c lw 55158
c lw 55159
c lw 55160
c lw 55161
c lw 55162
c lw 55163
c lw 55164
c lw 55165
c lw 55166
c lw 55167
c lw 55168
c lw 55169
c lw 55170
c lw 55171
c lw 55172
c lw 55173
c lw 55174
c lw 55183
c lw 55208
c lw 55216
c lw 55226
c lw 55230
c lw 55233
c lw 55234
c lw 55238
c lw 55239
c lw 55242
c lw 55259
c lw 55260
c lw 55261
c lw 55264
c lw 55282
c lw 55288
c lw 55295
c lw 55296
c lw 55302
c lw 55303
c lw 55304
c lw 55305
c lw 55306
c lw 55307
c lw 55308
c lw 55309
c lw 55310
c lw 55316
c lw 55317
c lw 55320
c lw 55322
c lw 55323
c lw 55324
c lw 55325
c lw 55326
c lw 55327
c lw 55328
c lw 55329
c lw 55330
c lw 55336
c lw 55337
c lw 55338
c lw 55339
c lw 55346
c lw 55347
c lw 55348
c lw 55353
c lw 55355
c lw 55370
c lw 55372
c lw 55373
c lw 55374
c lw 55375
c lw 55376
c lw 55377
c lw 55378
c lw 55379
c lw 55380
c lw 55381
c lw 55382
c lw 55383
c lw 55384
c lw 55385
c lw 55386
c lw 55387
c lw 55388
c lw 55389
c lw 55390
c lw 55450
c lw 55508
c lw 55509
c lw 55510
c lw 55511