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_70_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_70_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 99
c lw 198
c lw 297
c lw 396
c lw 480
c lw 495
c lw 594
c lw 693
c lw 792
c lw 891
c lw 960
c lw 990
c lw 1089
c lw 1188
c lw 1287
c lw 1386
c lw 1440
c lw 1485
c lw 1584
c lw 1683
c lw 1782
c lw 1881
c lw 1920
c lw 2029
c lw 2177
c lw 2325
c lw 2400
c lw 2473
c lw 2621
c lw 2769
c lw 2880
c lw 2917
c lw 3065
c lw 3213
c lw 3360
c lw 3361
c lw 3509
c lw 3657
c lw 3805
c lw 3840
c lw 3953
c lw 3988
c lw 4101
c lw 4136
c lw 4249
c lw 4284
c lw 4397
c lw 4432
c lw 4580
c lw 4728
c lw 4876
c lw 5024
c lw 5172
c lw 5285
c lw 5794
c lw 6012
c lw 6303
c lw 6739
c lw 6812
c lw 7321
c lw 7466
c lw 7830
c lw 8193
c lw 8339
c lw 8848
c lw 8920
c lw 9357
c lw 9647
c lw 9866
c lw 10374
c lw 10375
c lw 10884
c lw 11101
c lw 11393
c lw 11828
c lw 11902
c lw 12411
c lw 12555
c lw 12920
c lw 13282
c lw 13647
c lw 14009
c lw 14374
c lw 14736
c lw 15101
c lw 15463
c lw 15828
c lw 16190
c lw 16555
c lw 16917
c lw 17282
c lw 17644
c lw 18009
c lw 18223
c lw 18736
c lw 18802
c lw 19381
c lw 19463
c lw 19960
c lw 20190
c lw 20539
c lw 20769
c lw 20804
c lw 20839
c lw 20843
c lw 20903
c lw 20942
c lw 20952
c lw 20987
c lw 21002
c lw 21041
c lw 21047
c lw 21100
c lw 21101
c lw 21135
c lw 21146
c lw 21200
c lw 21245
c lw 21248
c lw 21275
c lw 21283
c lw 21299
c lw 21368
c lw 21396
c lw 21398
c lw 21431
c lw 21467
c lw 21497
c lw 21512
c lw 21566
c lw 21579
c lw 21713
c lw 21714
c lw 21715
c lw 21727
c lw 21838
c lw 21861
c lw 21875
c lw 21898
c lw 21973
c lw 21986
c lw 22046
c lw 22059
c lw 22121
c lw 22143
c lw 22207
c lw 22230
c lw 22242
c lw 22329
c lw 22341
c lw 22343
c lw 22378
c lw 22428
c lw 22463
c lw 22765
c lw 22847
c lw 22890
c lw 22995
c lw 23058
c lw 23420
c lw 23426
c lw 23486
c lw 23521
c lw 23675
c lw 23886
c lw 23933
c lw 24046
c lw 24248
c lw 24408
c lw 24443
c lw 24613
c lw 24660
c lw 24661
c lw 24953
c lw 24975
c lw 25172
c lw 25305
c lw 25308
c lw 25462
c lw 25670
c lw 25824
c lw 25968
c lw 26035
c lw 26038
c lw 26041
c lw 26333
c lw 26334
c lw 26403
c lw 26406
c lw 26480
c lw 26694
c lw 26769
c lw 26841
c lw 26987
c lw 27204
c lw 27278
c lw 27423
c lw 27568
c lw 27641
c lw 27787
c lw 28004
c lw 28005
c lw 28078
c lw 28080
c lw 28090
c lw 28092
c lw 28102
c lw 28137
c lw 28172
c lw 28474
c lw 28513
c lw 28555
c lw 28563
c lw 28575
c lw 28577
c lw 28578
c lw 28650
c lw 28685
c lw 28695
c lw 28697
c lw 28702
c lw 28720
c lw 28729
c lw 28765
c lw 28776
c lw 28779
c lw 28786
c lw 28790
c lw 28823
c lw 28841
c lw 28843
c lw 28859
c lw 28870
c lw 28871
c lw 28873
c lw 28899
c lw 28900
c lw 28908
c lw 28930
c lw 28936
c lw 28959
c lw 28970
c lw 28975
c lw 28990
c lw 28991
c lw 28996
c lw 29007
c lw 29019
c lw 29023
c lw 29034
c lw 29048
c lw 29050
c lw 29051
c lw 29057
c lw 29090
c lw 29094
c lw 29101
c lw 29128
c lw 29137
c lw 29138
c lw 29152
c lw 29166
c lw 29189
c lw 29212
c lw 29239
c lw 29245
c lw 29260
c lw 29268
c lw 29269
c lw 29272
c lw 29273
c lw 29274
c lw 29337
c lw 29338
c lw 29339
c lw 29345
c lw 29351
c lw 29352
c lw 29368
c lw 29369
c lw 29370
c lw 29374
c lw 29375
c lw 29376
c lw 29382
c lw 29383
c lw 29384
c lw 29391
c lw 29402
c lw 29403
c lw 29404
c lw 29429
c lw 29430
c lw 29434
c lw 29436
c lw 29437
c lw 29438
c lw 29440
c lw 29444
c lw 29449
c lw 29454
c lw 29455
c lw 29456
c lw 29458
c lw 29459
c lw 29464
c lw 29465
c lw 29466
c lw 29469
c lw 29471
c lw 29472
c lw 29473
c lw 29474
c lw 29475
c lw 29476
c lw 29477
c lw 29478
c lw 29479
c lw 29485
c lw 29486
c lw 29490
c lw 29491
c lw 29492
c lw 29493
c lw 29494
c lw 29495
c lw 29496
c lw 29497
c lw 29498
c lw 29499
c lw 29500
c lw 29501
c lw 29502
c lw 29503
c lw 29504
c lw 29505
c lw 29506
c lw 29508
c lw 29509
c lw 29511
c lw 29513
c lw 29518
c lw 29522
c lw 29523
c lw 29525
c lw 29527
c lw 29532
c lw 29533
c lw 29535
c lw 29536
c lw 29537
c lw 29538
c lw 29550
c lw 29551
c lw 29552
c lw 29557
c lw 29558
c lw 29559
c lw 29560
c lw 29561
c lw 29562
c lw 29563
c lw 29564
c lw 29567
c lw 29568
c lw 29569
c lw 29570
c lw 29571
c lw 29575
c lw 29576
c lw 29577
c lw 29578
c lw 29579
c lw 29580
c lw 29583
c lw 29584
c lw 29585
c lw 29586
c lw 29588
c lw 29589
c lw 29590
c lw 29591
c lw 29592
c lw 29593
c lw 29594
c lw 29595
c lw 29596
c lw 29597
c lw 29598
c lw 29599
c lw 29600
c lw 29601
c lw 29602
c lw 29603
c lw 29604
c lw 29605
c lw 29606
c lw 29607
c lw 29608
c lw 29609
c lw 29610
c lw 29611
c lw 29612
c lw 29613
c lw 29614
c lw 29615
c lw 29616
c lw 29617
c lw 29618
c lw 29653
c lw 29681
c lw 29707
c lw 29709
c lw 29765
c lw 29766
c lw 29772
c lw 29780
c lw 29797
c lw 29885
c lw 29886
c lw 29943
c lw 29958
c lw 30030
c lw 30072
c lw 30088
c lw 30118
c lw 30120
c lw 30121
c lw 30134
c lw 30135
c lw 30136
c lw 30177
c lw 30178
c lw 30179
c lw 30192
c lw 30193
c lw 30194
c lw 30205
c lw 30206
c lw 30360
c lw 30363
c lw 30408
c lw 30506
c lw 30508
c lw 30541
c lw 30551
c lw 30553
c lw 30556
c lw 30561
c lw 30594
c lw 30610
c lw 30612
c lw 30614
c lw 30637
c lw 30645
c lw 30672
c lw 30678
c lw 30680
c lw 30682
c lw 30683
c lw 30684
c lw 30685
c lw 30713
c lw 30715
c lw 30723
c lw 30724
c lw 30725
c lw 30758
c lw 30759
c lw 30761
c lw 30763
c lw 30765
c lw 30767
c lw 30768
c lw 30773
c lw 30776
c lw 30777
c lw 30824
c lw 30861
c lw 30876
c lw 30945
c lw 30977
c lw 31097
c lw 31112
c lw 31132
c lw 31136
c lw 31137
c lw 31138
c lw 31141
c lw 31152
c lw 31157
c lw 31158
c lw 31205
c lw 31206
c lw 31209
c lw 31276
c lw 31278
c lw 31279
c lw 31412
c lw 31556
c lw 31715
c lw 31716
c lw 31717
c lw 31743
c lw 31744
c lw 31745
c lw 31746
c lw 31747
c lw 31748
c lw 31751
c lw 31766
c lw 31833
c lw 31854
c lw 31857
c lw 31868
c lw 31873
c lw 31874
c lw 31918
c lw 31928
c lw 31977
c lw 31987
c lw 32121
c lw 32151
c lw 32200
c lw 32220
c lw 32221
c lw 32222
c lw 32238
c lw 32264
c lw 32268
c lw 32299
c lw 32303
c lw 32304
c lw 32307
c lw 32310
c lw 32353
c lw 32354
c lw 32355
c lw 32356
c lw 32357
c lw 32358
c lw 32361
c lw 32362
c lw 32366
c lw 32368
c lw 32369
c lw 32370
c lw 32396
c lw 32397
c lw 32398
c lw 32399
c lw 32400
c lw 32410
c lw 32415
c lw 32418
c lw 32422
c lw 32425
c lw 32427
c lw 32428
c lw 32432
c lw 32433
c lw 32434
c lw 32477
c lw 32582
c lw 32610
c lw 32625
c lw 32794
c lw 32796
c lw 32823
c lw 32839
c lw 32878
c lw 32963
c lw 32969
c lw 32970
c lw 32974
c lw 32977
c lw 32985
c lw 32990
c lw 32991
c lw 32996
c lw 33004
c lw 33006
c lw 33009
c lw 33010
c lw 33048
c lw 33050
c lw 33053
c lw 33054
c lw 33060
c lw 33074
c lw 33075
c lw 33076
c lw 33077
c lw 33078
c lw 33079
c lw 33080
c lw 33081
c lw 33082
c lw 33083
c lw 33084
c lw 33085
c lw 33086
c lw 33087
c lw 33088
c lw 33089
c lw 33095
c lw 33096
c lw 33097
c lw 33098
c lw 33099
c lw 33100
c lw 33107
c lw 33128
c lw 33129
c lw 33130
c lw 33131
c lw 33132
c lw 33133
c lw 33139
c lw 33142
c lw 33145
c lw 33146
c lw 33147
c lw 33148
c lw 33156
c lw 33157
c lw 33158
c lw 33159
c lw 33160
c lw 33161
c lw 33163
c lw 33178
c lw 33239
c lw 33240
c lw 33241
c lw 33242
c lw 33243
c lw 33245
c lw 33246
c lw 33247
c lw 33279
c lw 33280
c lw 33284
c lw 33285
c lw 33286
c lw 33287
c lw 33288
c lw 33289
c lw 33290
c lw 33291
c lw 33292
c lw 33293
c lw 33294
c lw 33295
c lw 33296
c lw 33298
c lw 33299
c lw 33300
c lw 33301
c lw 33302
c lw 33303
c lw 33304
c lw 33305
c lw 33306
c lw 33307
c lw 33308
c lw 33310
c lw 33311
c lw 33312
c lw 33313
c lw 33314
c lw 33315
c lw 33316
c lw 33317
c lw 33318
c lw 33319
c lw 33320
c lw 33321
c lw 33322
c lw 33323
c lw 33324
c lw 33325
c lw 33326
c lw 33327
c lw 33328
c lw 33329
c lw 33330
c lw 33331
c lw 33332