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_200_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 19
c lw 38
c lw 57
c lw 76
c lw 95
c lw 114
c lw 125
c lw 136
c lw 158
c lw 180
c lw 202
c lw 224
c lw 246
c lw 250
c lw 268
c lw 290
c lw 312
c lw 334
c lw 356
c lw 375
c lw 378
c lw 400
c lw 422
c lw 444
c lw 476
c lw 500
c lw 508
c lw 540
c lw 572
c lw 604
c lw 625
c lw 636
c lw 668
c lw 700
c lw 732
c lw 750
c lw 764
c lw 796
c lw 828
c lw 860
c lw 875
c lw 892
c lw 924
c lw 956
c lw 988
c lw 1000
c lw 1020
c lw 1052
c lw 1084
c lw 1116
c lw 1125
c lw 1148
c lw 1157
c lw 1396
c lw 1513
c lw 1635
c lw 1869
c lw 1874
c lw 2113
c lw 2225
c lw 2352
c lw 2581
c lw 2591
c lw 2830
c lw 2937
c lw 3069
c lw 3293
c lw 3308
c lw 3547
c lw 3649
c lw 3786
c lw 4005
c lw 4025
c lw 4264
c lw 4361
c lw 4503
c lw 4717
c lw 4742
c lw 4981
c lw 5073
c lw 5220
c lw 5429
c lw 5459
c lw 5785
c lw 5815
c lw 6141
c lw 6171
c lw 6497
c lw 6527
c lw 6853
c lw 6883
c lw 7209
c lw 7239
c lw 7565
c lw 7595
c lw 7921
c lw 7951
c lw 8277
c lw 8307
c lw 8633
c lw 8663
c lw 8989
c lw 9019
c lw 9345
c lw 9514
c lw 9701
c lw 9870
c lw 10057
c lw 10087
c lw 10396
c lw 10542
c lw 10705
c lw 10997
c lw 11014
c lw 11323
c lw 11452
c lw 11632
c lw 11907
c lw 11941
c lw 12250
c lw 12362
c lw 12559
c lw 12817
c lw 12868
c lw 13177
c lw 13272
c lw 13486
c lw 13727
c lw 13795
c lw 14104
c lw 14182
c lw 14413
c lw 14637
c lw 14722
c lw 15031
c lw 15092
c lw 15340
c lw 15547
c lw 15649
c lw 15958
c lw 16002
c lw 16413
c lw 16457
c lw 16868
c lw 16912
c lw 17323
c lw 17367
c lw 17778
c lw 17822
c lw 18233
c lw 18277
c lw 18688
c lw 18732
c lw 19143
c lw 19187
c lw 19598
c lw 19642
c lw 20053
c lw 20097
c lw 20236
c lw 20460
c lw 20552
c lw 20721
c lw 20897
c lw 21007
c lw 21130
c lw 21189
c lw 21358
c lw 21481
c lw 21527
c lw 21604
c lw 21696
c lw 21727
c lw 21850
c lw 21865
c lw 21973
c lw 22034
c lw 22096
c lw 22203
c lw 22219
c lw 22342
c lw 22372
c lw 22465
c lw 22541
c lw 22588
c lw 22710
c lw 22757
c lw 22879
c lw 22926
c lw 23039
c lw 23095
c lw 23208
c lw 23264
c lw 23377
c lw 23433
c lw 23546
c lw 23602
c lw 23715
c lw 23771
c lw 23884
c lw 23988
c lw 24044
c lw 24048
c lw 24066
c lw 24067
c lw 24070
c lw 24076
c lw 24088
c lw 24092
c lw 24103
c lw 24108
c lw 24110
c lw 24122
c lw 24140
c lw 24142
c lw 24154
c lw 24160
c lw 24175
c lw 24186
c lw 24192
c lw 24203
c lw 24207
c lw 24221
c lw 24235
c lw 24239
c lw 24249
c lw 24253
c lw 24270
c lw 24281
c lw 24285
c lw 24292
c lw 24302
c lw 24316
c lw 24324
c lw 24332
c lw 24334
c lw 24348
c lw 24353
c lw 24356
c lw 24370
c lw 24373
c lw 24375
c lw 24378
c lw 24389
c lw 24397
c lw 24400
c lw 24408
c lw 24418
c lw 24419
c lw 24427
c lw 24428
c lw 24465
c lw 24611
c lw 24621
c lw 24629
c lw 24640
c lw 24648
c lw 24724
c lw 24725
c lw 24740
c lw 24771
c lw 24832
c lw 24837
c lw 24879
c lw 24893
c lw 24909
c lw 24925
c lw 24987
c lw 25006
c lw 25062
c lw 25063
c lw 25110
c lw 25133
c lw 25225
c lw 25236
c lw 25316
c lw 25381
c lw 25402
c lw 25565
c lw 25724
c lw 25730
c lw 25765
c lw 25783
c lw 25878
c lw 25893
c lw 25943
c lw 25952
c lw 25993
c lw 26014
c lw 26082
c lw 26106
c lw 26118
c lw 26126
c lw 26305
c lw 26313
c lw 26357
c lw 26529
c lw 26564
c lw 26606
c lw 26801
c lw 26803
c lw 26845
c lw 26898
c lw 26949
c lw 27112
c lw 27156
c lw 27256
c lw 27317
c lw 27429
c lw 27463
c lw 27523
c lw 27567
c lw 27626
c lw 27806
c lw 27935
c lw 27944
c lw 27978
c lw 28022
c lw 28115
c lw 28339
c lw 28383
c lw 28433
c lw 28477
c lw 28750
c lw 28794
c lw 28844
c lw 28888
c lw 28990
c lw 29153
c lw 29161
c lw 29222
c lw 29307
c lw 29360
c lw 29470
c lw 29477
c lw 29555
c lw 29608
c lw 29676
c lw 29849
c lw 29864
c lw 29959
c lw 30038
c lw 30068
c lw 30091
c lw 30193
c lw 30208
c lw 30300
c lw 30394
c lw 30407
c lw 30417
c lw 30424
c lw 30539
c lw 30666
c lw 30699
c lw 30783
c lw 30796
c lw 30808
c lw 30912
c lw 30929
c lw 30932
c lw 31034
c lw 31039
c lw 31051
c lw 31156
c lw 31171
c lw 31287
c lw 31300
c lw 31317
c lw 31412
c lw 31460
c lw 31489
c lw 31604
c lw 31605
c lw 31721
c lw 31727
c lw 31751
c lw 31864
c lw 31946
c lw 32068
c lw 32077
c lw 32107
c lw 32210
c lw 32235
c lw 32282
c lw 32429
c lw 32433
c lw 32459
c lw 32463
c lw 32489
c lw 32518
c lw 32658
c lw 32686
c lw 32785
c lw 32815
c lw 32845
c lw 32937
c lw 32986
c lw 33203
c lw 33235
c lw 33312
c lw 33320
c lw 33321
c lw 33340
c lw 33410
c lw 33418
c lw 33426
c lw 33428
c lw 33429
c lw 33430
c lw 33437
c lw 33440
c lw 33448
c lw 33450
c lw 33452
c lw 33455
c lw 33458
c lw 33459
c lw 33466
c lw 33469
c lw 33472
c lw 33473
c lw 33476
c lw 33479
c lw 33481
c lw 33482
c lw 33486
c lw 33487
c lw 33494
c lw 33499
c lw 33503
c lw 33511
c lw 33513
c lw 33516
c lw 33519
c lw 33520
c lw 33521
c lw 33523
c lw 33526
c lw 33528
c lw 33530
c lw 33532
c lw 33533
c lw 33536
c lw 33537
c lw 33538
c lw 33546
c lw 33554
c lw 33556
c lw 33557
c lw 33558
c lw 33560
c lw 33561
c lw 33562
c lw 33564
c lw 33566
c lw 33567
c lw 33569
c lw 33571
c lw 33578
c lw 33579
c lw 33580
c lw 33582
c lw 33584
c lw 33590
c lw 33592
c lw 33594
c lw 33595
c lw 33596
c lw 33597
c lw 33601
c lw 33603
c lw 33604
c lw 33605
c lw 33606
c lw 33607
c lw 33608
c lw 33609
c lw 33610
c lw 33613
c lw 33614
c lw 33615
c lw 33616
c lw 33617
c lw 33619
c lw 33620
c lw 33621
c lw 33622
c lw 33624
c lw 33630
c lw 33633
c lw 33635
c lw 33639
c lw 33640
c lw 33641
c lw 33642
c lw 33643
c lw 33644
c lw 33645
c lw 33655
c lw 33678
c lw 33708
c lw 33724
c lw 33732
c lw 33804
c lw 33814
c lw 33822
c lw 33914
c lw 33919
c lw 33920
c lw 33979
c lw 33980
c lw 33981
c lw 33983
c lw 33985
c lw 33986
c lw 33987
c lw 33989
c lw 33990
c lw 33991
c lw 33992
c lw 33993
c lw 33994
c lw 33995
c lw 33996
c lw 33997
c lw 33998
c lw 33999
c lw 34000
c lw 34001
c lw 34002
c lw 34003
c lw 34004
c lw 34005
c lw 34006
c lw 34013
c lw 34018
c lw 34031
c lw 34126
c lw 34131
c lw 34164
c lw 34167
c lw 34236
c lw 34247
c lw 34251
c lw 34260
c lw 34303
c lw 34313
c lw 34354
c lw 34358
c lw 34367
c lw 34374
c lw 34468
c lw 34474
c lw 34487
c lw 34542
c lw 34548
c lw 34556
c lw 34566
c lw 34576
c lw 34582
c lw 34584
c lw 34589
c lw 34590
c lw 34593
c lw 34599
c lw 34603
c lw 34617
c lw 34625
c lw 34633
c lw 34697
c lw 34706
c lw 34723
c lw 34796
c lw 34803
c lw 34834
c lw 34844
c lw 34845
c lw 34851
c lw 34855
c lw 34858
c lw 34864
c lw 34868
c lw 34892
c lw 34935
c lw 34936
c lw 34990
c lw 34999
c lw 35048
c lw 35078
c lw 35108
c lw 35110
c lw 35111
c lw 35112
c lw 35154
c lw 35155
c lw 35158
c lw 35159
c lw 35160
c lw 35161
c lw 35165
c lw 35166
c lw 35168
c lw 35169
c lw 35170
c lw 35171
c lw 35174
c lw 35175
c lw 35176
c lw 35203
c lw 35204
c lw 35205
c lw 35206
c lw 35207
c lw 35208
c lw 35209
c lw 35210
c lw 35211
c lw 35237
c lw 35244
c lw 35248
c lw 35265
c lw 35267
c lw 35316
c lw 35331
c lw 35342
c lw 35343
c lw 35347
c lw 35353
c lw 35359
c lw 35381
c lw 35384
c lw 35398
c lw 35415
c lw 35442
c lw 35444
c lw 35446
c lw 35459
c lw 35461
c lw 35463
c lw 35468
c lw 35474
c lw 35478
c lw 35479
c lw 35482
c lw 35502
c lw 35504
c lw 35510
c lw 35511
c lw 35514
c lw 35515
c lw 35518
c lw 35519
c lw 35526
c lw 35527
c lw 35528
c lw 35529
c lw 35530
c lw 35531
c lw 35532
c lw 35533
c lw 35536
c lw 35540
c lw 35551
c lw 35574
c lw 35655
c lw 35689
c lw 35690
c lw 35691
c lw 35793
c lw 35808
c lw 35854
c lw 35903
c lw 35912
c lw 35971
c lw 36041
c lw 36085
c lw 36102
c lw 36119
c lw 36169
c lw 36178
c lw 36201
c lw 36218
c lw 36239
c lw 36273
c lw 36317
c lw 36383
c lw 36385
c lw 36387
c lw 36403
c lw 36411
c lw 36452
c lw 36573
c lw 36574
c lw 36582
c lw 36584
c lw 36625
c lw 36633
c lw 36675
c lw 36720
c lw 36728
c lw 36729
c lw 36730
c lw 36736
c lw 36745
c lw 36746
c lw 36771
c lw 36785
c lw 36830
c lw 36837
c lw 36883
c lw 36894
c lw 36923
c lw 36944
c lw 36955
c lw 36962
c lw 36964
c lw 36965
c lw 36966
c lw 36967
c lw 36968
c lw 36970
c lw 36972
c lw 36975
c lw 37010
c lw 37039
c lw 37103
c lw 37156
c lw 37199
c lw 37207
c lw 37217
c lw 37218
c lw 37219
c lw 37220
c lw 37221
c lw 37222
c lw 37223
c lw 37224
c lw 37225
c lw 37231
c lw 37252
c lw 37295
c lw 37303
c lw 37305
c lw 37338
c lw 37382
c lw 37424
c lw 37426
c lw 37430
c lw 37432
c lw 37438
c lw 37440
c lw 37442
c lw 37444
c lw 37474
c lw 37480
c lw 37522
c lw 37545
c lw 37549
c lw 37551
c lw 37553
c lw 37555
c lw 37557
c lw 37559
c lw 37561
c lw 37563
c lw 37565
c lw 37567
c lw 37569
c lw 37571
c lw 37585
c lw 37587
c lw 37589
c lw 37591
c lw 37593
c lw 37595
c lw 37625
c lw 37628
c lw 37635
c lw 37637
c lw 37664
c lw 37666
c lw 37670
c lw 37675
c lw 37676
c lw 37710
c lw 37715
c lw 37732
c lw 37746
c lw 37748
c lw 37749
c lw 37750
c lw 37751
c lw 37774
c lw 37783
c lw 37789
c lw 37795
c lw 37796
c lw 37802
c lw 37818
c lw 37823
c lw 37848
c lw 37849
c lw 37854
c lw 37871
c lw 37887
c lw 37888
c lw 37894
c lw 37902
c lw 37905
c lw 37913
c lw 37915
c lw 37920
c lw 37926
c lw 37928
c lw 37933
c lw 37938
c lw 37939
c lw 37940
c lw 37975
c lw 37976
c lw 37980
c lw 37981
c lw 37982
c lw 37989
c lw 37990
c lw 37991
c lw 37993
c lw 37995
c lw 38000
c lw 38001
c lw 38002
c lw 38003
c lw 38004
c lw 38005
c lw 38006
c lw 38007
c lw 38008
c lw 38009
c lw 38010
c lw 38012
c lw 38013
c lw 38014
c lw 38016
c lw 38018
c lw 38019
c lw 38026
c lw 38027
c lw 38044
c lw 38045
c lw 38046
c lw 38047
c lw 38078
c lw 38081
c lw 38083
c lw 38095
c lw 38098
c lw 38099
c lw 38100
c lw 38101
c lw 38105
c lw 38131
c lw 38136
c lw 38143
c lw 38160
c lw 38170
c lw 38171
c lw 38178
c lw 38197
c lw 38213
c lw 38228
c lw 38242
c lw 38256
c lw 38261
c lw 38274
c lw 38275
c lw 38284
c lw 38286
c lw 38311
c lw 38312
c lw 38317
c lw 38322
c lw 38323
c lw 38324
c lw 38327
c lw 38329
c lw 38332
c lw 38342
c lw 38351
c lw 38352
c lw 38353
c lw 38362
c lw 38369
c lw 38372
c lw 38373
c lw 38374
c lw 38375
c lw 38377
c lw 38379
c lw 38380
c lw 38381
c lw 38384
c lw 38403
c lw 38404
c lw 38405
c lw 38407
c lw 38408
c lw 38410
c lw 38411
c lw 38412
c lw 38413
c lw 38414
c lw 38415
c lw 38416
c lw 38417
c lw 38418
c lw 38419
c lw 38420
c lw 38421
c lw 38422
c lw 38423
c lw 38424
c lw 38425
c lw 38426
c lw 38427
c lw 38428
c lw 38429
c lw 38430
c lw 38431
c lw 38432
c lw 38434
c lw 38435
c lw 38436
c lw 38437
c lw 38438
c lw 38439
c lw 38440
c lw 38441
c lw 38442
c lw 38443
c lw 38444
c lw 38445
c lw 38446
c lw 38447
c lw 38448
c lw 38449
c lw 38450
c lw 38451
c lw 38452
c lw 38453
c lw 38454
c lw 38455
c lw 38456
c lw 38457
c lw 38458
c lw 38459
c lw 38460
c lw 38461
c lw 38473
c lw 38482
c lw 38483
c lw 38488
c lw 38490
c lw 38494
c lw 38495
c lw 38496
c lw 38497
c lw 38498
c lw 38499
c lw 38500
c lw 38501
c lw 38518
c lw 38519
c lw 38527
c lw 38528
c lw 38529
c lw 38530
c lw 38531
c lw 38532
c lw 38534
c lw 38535
c lw 38536
c lw 38537
c lw 38538
c lw 38539
c lw 38540
c lw 38541
c lw 38542
c lw 38543
c lw 38544
c lw 38545
c lw 38550
c lw 38551
c lw 38552
c lw 38553
c lw 38554
c lw 38555
c lw 38556
c lw 38558
c lw 38559
c lw 38560
c lw 38561
c lw 38562
c lw 38563
c lw 38564
c lw 38565
c lw 38566
c lw 38567
c lw 38568
c lw 38569
c lw 38570
c lw 38571
c lw 38572
c lw 38573
c lw 38574