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_190_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 467
c lw 934
c lw 1401
c lw 1868
c lw 2335
c lw 2802
c lw 3269
c lw 3736
c lw 3850
c lw 4153
c lw 4203
c lw 4317
c lw 4620
c lw 4670
c lw 5805
c lw 6940
c lw 7054
c lw 7357
c lw 7661
c lw 8075
c lw 8329
c lw 8805
c lw 8867
c lw 9210
c lw 9464
c lw 9940
c lw 10145
c lw 10345
c lw 10459
c lw 10762
c lw 11066
c lw 11480
c lw 11594
c lw 11897
c lw 12201
c lw 12615
c lw 12729
c lw 13032
c lw 13336
c lw 13750
c lw 13864
c lw 14167
c lw 14471
c lw 14885
c lw 15361
c lw 15423
c lw 15485
c lw 15547
c lw 15609
c lw 15616
c lw 15719
c lw 16023
c lw 16347
c lw 16747
c lw 17078
c lw 17295
c lw 17598
c lw 17809
c lw 17902
c lw 18540
c lw 18633
c lw 19181
c lw 19271
c lw 19819
c lw 20002
c lw 20281
c lw 20306
c lw 20560
c lw 20610
c lw 20839
c lw 20914
c lw 21118
c lw 21218
c lw 21417
c lw 21522
c lw 21721
c lw 21826
c lw 22025
c lw 22130
c lw 22329
c lw 22434
c lw 22633
c lw 22738
c lw 22937
c lw 23042
c lw 23241
c lw 23346
c lw 23545
c lw 23650
c lw 23849
c lw 23954
c lw 24153
c lw 24258
c lw 24457
c lw 24562
c lw 24761
c lw 24866
c lw 25065
c lw 25170
c lw 25369
c lw 25474
c lw 25673
c lw 25778
c lw 25977
c lw 26082
c lw 26281
c lw 26386
c lw 26585
c lw 26690
c lw 26889
c lw 26994
c lw 27193
c lw 27298
c lw 27412
c lw 27602
c lw 27716
c lw 27801
c lw 28011
c lw 28104
c lw 28225
c lw 28407
c lw 28439
c lw 28661
c lw 28710
c lw 28883
c lw 29013
c lw 29105
c lw 29316
c lw 29327
c lw 29549
c lw 29619
c lw 29771
c lw 29832
c lw 29993
c lw 30135
c lw 30215
c lw 30437
c lw 30438
c lw 30659
c lw 30741
c lw 30881
c lw 31044
c lw 31103
c lw 31325
c lw 31347
c lw 31547
c lw 31650
c lw 31769
c lw 31953
c lw 32072
c lw 32256
c lw 32375
c lw 32559
c lw 32678
c lw 32862
c lw 32896
c lw 33009
c lw 33165
c lw 33312
c lw 33468
c lw 33615
c lw 33729
c lw 33771
c lw 33885
c lw 34074
c lw 34188
c lw 34260
c lw 34374
c lw 34377
c lw 34477
c lw 34577
c lw 34677
c lw 34777
c lw 34877
c lw 34925
c lw 34987
c lw 35097
c lw 35211
c lw 35325
c lw 35439
c lw 35473
c lw 35553
c lw 35667
c lw 35781
c lw 35895
c lw 36009
c lw 36021
c lw 36123
c lw 36237
c lw 36351
c lw 36462
c lw 36569
c lw 36576
c lw 36690
c lw 36804
c lw 36918
c lw 36934
c lw 37032
c lw 37048
c lw 37146
c lw 37162
c lw 37260
c lw 37276
c lw 37374
c lw 37390
c lw 37488
c lw 37504
c lw 37520
c lw 37602
c lw 37618
c lw 37625
c lw 37634
c lw 37716
c lw 37732
c lw 37748
c lw 37806
c lw 37846
c lw 37899
c lw 37911
c lw 37953
c lw 38013
c lw 38025
c lw 38064
c lw 38127
c lw 38139
c lw 38178
c lw 38207
c lw 38241
c lw 38292
c lw 38309
c lw 38355
c lw 38357
c lw 38423
c lw 38457
c lw 38469
c lw 38531
c lw 38533
c lw 38557
c lw 38633
c lw 38657
c lw 38733
c lw 38794
c lw 38805
c lw 38885
c lw 39016
c lw 39102
c lw 39195
c lw 39433
c lw 39557
c lw 39560
c lw 39666
c lw 39671
c lw 39674
c lw 39716
c lw 39754
c lw 39780
c lw 39850
c lw 39861
c lw 39927
c lw 40002
c lw 40040
c lw 40041
c lw 40052
c lw 40059
c lw 40114
c lw 40121
c lw 40176
c lw 40183
c lw 40566
c lw 40652
c lw 40659
c lw 40757
c lw 40863
c lw 40973
c lw 41109
c lw 41166
c lw 41297
c lw 41379
c lw 41482
c lw 41552
c lw 41662
c lw 41856
c lw 41965
c lw 41966
c lw 41970
c lw 42270
c lw 42273
c lw 42354
c lw 42384
c lw 42687
c lw 42688
c lw 42771
c lw 42798
c lw 42971
c lw 43075
c lw 43076
c lw 43093
c lw 43101
c lw 43355
c lw 43417
c lw 43430
c lw 43444
c lw 43494
c lw 43666
c lw 43893
c lw 43916
c lw 43920
c lw 43970
c lw 44066
c lw 44117
c lw 44171
c lw 44379
c lw 44474
c lw 44493
c lw 44587
c lw 44638
c lw 44692
c lw 44743
c lw 44786
c lw 44878
c lw 44891
c lw 44912
c lw 45010
c lw 45062
c lw 45096
c lw 45181
c lw 45286
c lw 45320
c lw 45337
c lw 45368
c lw 45442
c lw 45491
c lw 45523
c lw 45578
c lw 45664
c lw 45697
c lw 45837
c lw 45942
c lw 45962
c lw 45993
c lw 46036
c lw 46047
c lw 46133
c lw 46166
c lw 46209
c lw 46309
c lw 46331
c lw 46336
c lw 46395
c lw 46531
c lw 46587
c lw 46636
c lw 46692
c lw 46730
c lw 46834
c lw 46891
c lw 46909
c lw 46996
c lw 47063
c lw 47086
c lw 47168
c lw 47184
c lw 47245
c lw 47295
c lw 47388
c lw 47389
c lw 47439
c lw 47519
c lw 47581
c lw 47610
c lw 47727
c lw 47742
c lw 47773
c lw 47855
c lw 47878
c lw 47944
c lw 47992
c lw 48135
c lw 48217
c lw 48240
c lw 48334
c lw 48416
c lw 48439
c lw 48533
c lw 48544
c lw 48604
c lw 48638
c lw 48698
c lw 48743
c lw 48803
c lw 48837
c lw 48942
c lw 49409
c lw 49876
c lw 50336
c lw 50540
c lw 50565
c lw 50828
c lw 50878
c lw 50943
c lw 51082
c lw 51101
c lw 51568
c lw 51831
c lw 52035
c lw 52174
c lw 52239
c lw 52298
c lw 52317
c lw 52383
c lw 52412
c lw 52443
c lw 52458
c lw 52526
c lw 52527
c lw 52541
c lw 52571
c lw 52576
c lw 52592
c lw 52628
c lw 52702
c lw 52738
c lw 52767
c lw 52797
c lw 52801
c lw 52824
c lw 52857
c lw 52907
c lw 52908
c lw 52909
c lw 52937
c lw 52965
c lw 52978
c lw 52980
c lw 52981
c lw 52988
c lw 52989
c lw 53004
c lw 53005
c lw 53015
c lw 53032
c lw 53041
c lw 53042
c lw 53043
c lw 53045
c lw 53051
c lw 53052
c lw 53056
c lw 53057
c lw 53058
c lw 53059
c lw 53062
c lw 53063
c lw 53066
c lw 53067
c lw 53068
c lw 53069
c lw 53070
c lw 53071
c lw 53075
c lw 53105
c lw 53110
c lw 53121
c lw 53122
c lw 53134
c lw 53161
c lw 53227
c lw 53230
c lw 53231
c lw 53232
c lw 53233
c lw 53234
c lw 53235
c lw 53236
c lw 53237
c lw 53238
c lw 53239
c lw 53240
c lw 53241
c lw 53242
c lw 53243
c lw 53244
c lw 53245
c lw 53246
c lw 53247
c lw 53248
c lw 53249
c lw 53250
c lw 53251
c lw 53252
c lw 53253
c lw 53254
c lw 53255
c lw 53256
c lw 53257
c lw 53258
c lw 53259
c lw 53260
c lw 53261
c lw 53262
c lw 53263
c lw 53264
c lw 53265
c lw 53266
c lw 53268
c lw 53269
c lw 53270
c lw 53271
c lw 53272
c lw 53273
c lw 53274
c lw 53275
c lw 53276
c lw 53277
c lw 53278
c lw 53279
c lw 53280
c lw 53286
c lw 53294
c lw 53309
c lw 53318
c lw 53319
c lw 53320
c lw 53321
c lw 53322
c lw 53323
c lw 53325
c lw 53328
c lw 53329
c lw 53330
c lw 53331
c lw 53332
c lw 53333
c lw 53334
c lw 53335
c lw 53336
c lw 53337
c lw 53338
c lw 53339
c lw 53340
c lw 53341
c lw 53342
c lw 53358
c lw 53359
c lw 53416
c lw 53430
c lw 53431
c lw 53433
c lw 53434
c lw 53435
c lw 53436
c lw 53437
c lw 53438
c lw 53439
c lw 53440
c lw 53441
c lw 53442
c lw 53443
c lw 53444
c lw 53445
c lw 53446
c lw 53447
c lw 53448
c lw 53449
c lw 53450
c lw 53451
c lw 53452
c lw 53453
c lw 53454
c lw 53455
c lw 53456
c lw 53457
c lw 53458
c lw 53459
c lw 53460
c lw 53461
c lw 53462
c lw 53463
c lw 53464
c lw 53465
c lw 53466
c lw 53467
c lw 53468
c lw 53469
c lw 53471
c lw 53474
c lw 53475
c lw 53476
c lw 53477
c lw 53485
c lw 53486
c lw 53487
c lw 53488
c lw 53489
c lw 53490
c lw 53491
c lw 53492
c lw 53493
c lw 53494
c lw 53495
c lw 53496
c lw 53497
c lw 53498
c lw 53499
c lw 53500
c lw 53501
c lw 53502
c lw 53503
c lw 53504
c lw 53505
c lw 53506
c lw 53507
c lw 53508
c lw 53509
c lw 53510
c lw 53511
c lw 53512
c lw 53513
c lw 53514
c lw 53515
c lw 53516
c lw 53517
c lw 53518
c lw 53519
c lw 53523
c lw 53524
c lw 53525
c lw 53526
c lw 53527
c lw 53528
c lw 53529
c lw 53530
c lw 53531
c lw 53532
c lw 53533
c lw 53534
c lw 53535
c lw 53536
c lw 53537
c lw 53538
c lw 53539
c lw 53540
c lw 53541
c lw 53542
c lw 53543
c lw 53544
c lw 53545
c lw 53546
c lw 53547
c lw 53548
c lw 53549
c lw 53550
c lw 53551
c lw 53552
c lw 53555
c lw 53556
c lw 53557
c lw 53558
c lw 53559
c lw 53560
c lw 53570
c lw 53572
c lw 53573
c lw 53574
c lw 53575
c lw 53576
c lw 53578
c lw 53593
c lw 53594
c lw 53595
c lw 53596
c lw 53597
c lw 53598
c lw 53599
c lw 53600
c lw 53601
c lw 53604
c lw 53605
c lw 53606
c lw 53607
c lw 53608
c lw 53609
c lw 53614
c lw 53619
c lw 53620
c lw 53621
c lw 53622
c lw 53623
c lw 53624
c lw 53625
c lw 53626
c lw 53627
c lw 53628
c lw 53629
c lw 53631
c lw 53632
c lw 53634
c lw 53635
c lw 53636
c lw 53637
c lw 53640
c lw 53656
c lw 53671
c lw 53672
c lw 53673
c lw 53674
c lw 53675
c lw 53678
c lw 53683
c lw 53684
c lw 53687
c lw 53688
c lw 53689
c lw 53690
c lw 53692
c lw 53693
c lw 53694
c lw 53695
c lw 53696
c lw 53697
c lw 53698
c lw 53702
c lw 53713
c lw 53714
c lw 53715
c lw 53763
c lw 53764
c lw 53793
c lw 53813
c lw 53814
c lw 53815
c lw 53816
c lw 53817
c lw 53818
c lw 53819
c lw 53820
c lw 53821
c lw 53822
c lw 53823
c lw 53824
c lw 53825
c lw 53826
c lw 53827
c lw 53828
c lw 53829
c lw 53830
c lw 53831
c lw 53832
c lw 53834
c lw 53857
c lw 53880
c lw 53930
c lw 53962
c lw 53973
c lw 54055
c lw 54056
c lw 54057
c lw 54058
c lw 54059
c lw 54060
c lw 54061
c lw 54062
c lw 54117
c lw 54184
c lw 54282
c lw 54311
c lw 54312
c lw 54313
c lw 54314
c lw 54315
c lw 54316
c lw 54317
c lw 54318
c lw 54319
c lw 54320
c lw 54322
c lw 54324
c lw 54329
c lw 54332
c lw 54333
c lw 54334
c lw 54335
c lw 54336
c lw 54337
c lw 54338
c lw 54339
c lw 54340
c lw 54341
c lw 54342
c lw 54344
c lw 54345
c lw 54346
c lw 54347
c lw 54348
c lw 54349
c lw 54350
c lw 54351
c lw 54352
c lw 54353
c lw 54354
c lw 54369
c lw 54376
c lw 54377
c lw 54381
c lw 54382