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_100_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 562
c lw 905
c lw 1124
c lw 1706
c lw 1810
c lw 2288
c lw 2715
c lw 2870
c lw 3452
c lw 3620
c lw 4034
c lw 4525
c lw 4616
c lw 5198
c lw 5430
c lw 5780
c lw 6335
c lw 6362
c lw 6944
c lw 7240
c lw 7526
c lw 8108
c lw 8145
c lw 8690
c lw 9050
c lw 9272
c lw 9854
c lw 9955
c lw 10436
c lw 10860
c lw 11018
c lw 11600
c lw 11765
c lw 12182
c lw 12670
c lw 12764
c lw 13575
c lw 13669
c lw 14480
c lw 14574
c lw 15385
c lw 15479
c lw 16290
c lw 16384
c lw 17195
c lw 17289
c lw 18100
c lw 18194
c lw 19005
c lw 19099
c lw 19753
c lw 19910
c lw 20564
c lw 20815
c lw 21469
c lw 21720
c lw 22374
c lw 22625
c lw 23279
c lw 23530
c lw 24503
c lw 25476
c lw 26449
c lw 27422
c lw 28395
c lw 29368
c lw 30341
c lw 31314
c lw 32287
c lw 33260
c lw 34233
c lw 34955
c lw 35206
c lw 35677
c lw 36179
c lw 36399
c lw 37121
c lw 37152
c lw 37937
c lw 38125
c lw 38910
c lw 39098
c lw 39752
c lw 40071
c lw 40218
c lw 41044
c lw 41191
c lw 41845
c lw 42017
c lw 42818
c lw 42990
c lw 43472
c lw 43963
c lw 44445
c lw 45099
c lw 45753
c lw 46407
c lw 47061
c lw 47715
c lw 48369
c lw 49023
c lw 49677
c lw 50331
c lw 50985
c lw 51639
c lw 52293
c lw 52947
c lw 53601
c lw 54255
c lw 54909
c lw 55563
c lw 56217
c lw 56871
c lw 57525
c lw 57697
c lw 58179
c lw 58351
c lw 58833
c lw 58870
c lw 58927
c lw 59156
c lw 59415
c lw 59572
c lw 59744
c lw 59897
c lw 59916
c lw 60069
c lw 60388
c lw 60392
c lw 60486
c lw 60658
c lw 60870
c lw 60971
c lw 61193
c lw 61452
c lw 61681
c lw 61775
c lw 61947
c lw 62041
c lw 62188
c lw 62305
c lw 62429
c lw 62576
c lw 62748
c lw 62764
c lw 63039
c lw 63204
c lw 63362
c lw 63519
c lw 63621
c lw 63850
c lw 63944
c lw 64173
c lw 64195
c lw 64661
c lw 64755
c lw 64849
c lw 65078
c lw 65100
c lw 65172
c lw 65660
c lw 65754
c lw 65983
c lw 66005
c lw 66077
c lw 66242
c lw 66422
c lw 66501
c lw 66782
c lw 66903
c lw 67199
c lw 67327
c lw 67354
c lw 67781
c lw 67800
c lw 68085
c lw 68305
c lw 68585
c lw 68587
c lw 68618
c lw 68773
c lw 69340
c lw 69372
c lw 69623
c lw 69811
c lw 70094
c lw 70195
c lw 70444
c lw 70545
c lw 70748
c lw 70777
c lw 70868
c lw 71239
c lw 71330
c lw 71498
c lw 71653
c lw 71808
c lw 71912
c lw 72262
c lw 72394
c lw 72498
c lw 72562
c lw 72872
c lw 73080
c lw 73091
c lw 73215
c lw 73642
c lw 74164
c lw 74854
c lw 74986
c lw 75508
c lw 75640
c lw 76162
c lw 76445
c lw 76577
c lw 77267
c lw 77789
c lw 78072
c lw 78204
c lw 78894
c lw 79416
c lw 79699
c lw 79831
c lw 80521
c lw 80624
c lw 80727
c lw 81043
c lw 81326
c lw 82016
c lw 82299
c lw 82526
c lw 82637
c lw 82753
c lw 82790
c lw 82910
c lw 82929
c lw 83063
c lw 83101
c lw 83179
c lw 83313
c lw 83327
c lw 83754
c lw 83765
c lw 83857
c lw 83878
c lw 83889
c lw 83953
c lw 83973
c lw 84057
c lw 84077
c lw 84097
c lw 84141
c lw 84232
c lw 84252
c lw 84272
c lw 84292
c lw 84303
c lw 84312
c lw 84356
c lw 84377
c lw 84448
c lw 84459
c lw 84543
c lw 84572
c lw 84574
c lw 84658
c lw 84663
c lw 84665
c lw 84683
c lw 84693
c lw 84702
c lw 84704
c lw 84725
c lw 84773
c lw 84793
c lw 84813
c lw 84815
c lw 84822
c lw 84837
c lw 84839
c lw 84842
c lw 84861
c lw 84962
c lw 85040
c lw 85091
c lw 85136
c lw 85257
c lw 85284
c lw 85341
c lw 85385
c lw 85543
c lw 85580
c lw 85590
c lw 85617
c lw 85644
c lw 85664
c lw 85688
c lw 85698
c lw 85802
c lw 85829
c lw 85839
c lw 85918
c lw 86061
c lw 86162
c lw 86172
c lw 86251
c lw 86261
c lw 86278
c lw 86436
c lw 86458
c lw 86465
c lw 86630
c lw 86694
c lw 86710
c lw 86760
c lw 86780
c lw 86874
c lw 86876
c lw 86948
c lw 86970
c lw 87011
c lw 87018
c lw 87027
c lw 87033
c lw 87061
c lw 87155
c lw 87525
c lw 87547
c lw 87597
c lw 87619
c lw 87641
c lw 87713
c lw 87735
c lw 87737
c lw 87843
c lw 87922
c lw 87923
c lw 87959
c lw 87963
c lw 87964
c lw 87977
c lw 88003
c lw 88028
c lw 88030
c lw 88038
c lw 88048
c lw 88050
c lw 88055
c lw 88068
c lw 88070
c lw 88072
c lw 88152
c lw 88162
c lw 88164
c lw 88186
c lw 88205
c lw 88236
c lw 88238
c lw 88240
c lw 88258
c lw 88260
c lw 88262
c lw 88268
c lw 88270
c lw 88277
c lw 88279
c lw 88373
c lw 88375
c lw 88395
c lw 88397
c lw 88405
c lw 88466
c lw 88468
c lw 88479
c lw 88484
c lw 88610
c lw 88612
c lw 88614
c lw 88616
c lw 88617
c lw 88618
c lw 88619
c lw 88620
c lw 88621
c lw 88623
c lw 88625
c lw 88626
c lw 88627
c lw 88628
c lw 88629
c lw 88638
c lw 88639
c lw 88640
c lw 88641
c lw 88642
c lw 88649
c lw 88651
c lw 88652
c lw 88654
c lw 88655
c lw 88656
c lw 88657
c lw 88658
c lw 88660
c lw 88661
c lw 88662
c lw 88663
c lw 88664
c lw 88665
c lw 88666
c lw 88667
c lw 88668
c lw 88669
c lw 88670
c lw 88671
c lw 88672
c lw 88673
c lw 88674
c lw 88675
c lw 88676
c lw 88677
c lw 88717
c lw 88731
c lw 88738
c lw 88739
c lw 88884
c lw 88891
c lw 88904
c lw 89187
c lw 89206
c lw 89246
c lw 89247
c lw 89250
c lw 89260
c lw 89278
c lw 89303
c lw 89304
c lw 89323
c lw 89324
c lw 89327
c lw 89380
c lw 89441
c lw 89451
c lw 89468
c lw 89487
c lw 89493
c lw 89511
c lw 89521
c lw 90187
c lw 90211
c lw 90494
c lw 91160
c lw 91184
c lw 91190
c lw 91199
c lw 91200
c lw 91249
c lw 91476
c lw 91577
c lw 91765
c lw 91859
c lw 91861
c lw 92016
c lw 92048
c lw 92050
c lw 92054
c lw 92055
c lw 92104
c lw 92110
c lw 92330
c lw 92346
c lw 92455
c lw 92486
c lw 92521
c lw 92578
c lw 92609
c lw 92702
c lw 92724
c lw 92762
c lw 92803
c lw 92864
c lw 92866
c lw 92871
c lw 92880
c lw 92885
c lw 92887
c lw 92927
c lw 92931
c lw 92948
c lw 92989
c lw 93020
c lw 93027
c lw 93029
c lw 93034
c lw 93050
c lw 93080
c lw 93098
c lw 93108
c lw 93109
c lw 93111
c lw 93116
c lw 93118
c lw 93119
c lw 93120
c lw 93132
c lw 93133
c lw 93135
c lw 93136
c lw 93138
c lw 93140
c lw 93144
c lw 93146
c lw 93148
c lw 93151
c lw 93155
c lw 93156
c lw 93157
c lw 93158
c lw 93159
c lw 93175
c lw 93176
c lw 93177
c lw 93179
c lw 93183
c lw 93193
c lw 93194
c lw 93195
c lw 93196
c lw 93197
c lw 93198
c lw 93199
c lw 93200
c lw 93201
c lw 93202
c lw 93203
c lw 93204
c lw 93207
c lw 93208
c lw 93210
c lw 93211
c lw 93212
c lw 93213
c lw 93214
c lw 93215
c lw 93216
c lw 93217
c lw 93219
c lw 93220
c lw 93221
c lw 93226
c lw 93230
c lw 93231
c lw 93233
c lw 93433
c lw 93455
c lw 93660
c lw 94182
c lw 94314
c lw 94836
c lw 94968
c lw 95043
c lw 95055
c lw 95068
c lw 95075
c lw 95090
c lw 95092
c lw 95096
c lw 95140
c lw 95154
c lw 95165
c lw 95203
c lw 95205
c lw 95206
c lw 95219
c lw 95225
c lw 95228
c lw 95239
c lw 95243
c lw 95244
c lw 95245
c lw 95246
c lw 95248
c lw 95256
c lw 95268
c lw 95278
c lw 95310
c lw 95312
c lw 95313
c lw 95319
c lw 95320
c lw 95321
c lw 95328
c lw 95336
c lw 95339
c lw 95343
c lw 95350
c lw 95351
c lw 95352
c lw 95354
c lw 95355
c lw 95356
c lw 95357
c lw 95358
c lw 95360
c lw 95361
c lw 95362
c lw 95363
c lw 95365
c lw 95367
c lw 95373
c lw 95374
c lw 95375
c lw 95377
c lw 95378
c lw 95379
c lw 95380
c lw 95381
c lw 95382
c lw 95383
c lw 95401
c lw 95411
c lw 95421
c lw 95423
c lw 95425
c lw 95429
c lw 95435
c lw 95437
c lw 95442
c lw 95450
c lw 95452
c lw 95455
c lw 95458
c lw 95460
c lw 95462
c lw 95463
c lw 95468
c lw 95469
c lw 95470
c lw 95474
c lw 95475
c lw 95476
c lw 95477
c lw 95478
c lw 95479
c lw 95480
c lw 95481
c lw 95483
c lw 95485
c lw 95490
c lw 95491
c lw 95492
c lw 95494
c lw 95498
c lw 95502
c lw 95504
c lw 95506
c lw 95514
c lw 95516
c lw 95519
c lw 95520
c lw 95521
c lw 95522
c lw 95524
c lw 95526
c lw 95530
c lw 95531
c lw 95532
c lw 95533
c lw 95534
c lw 95535
c lw 95536
c lw 95537
c lw 95538
c lw 95539
c lw 95540
c lw 95541
c lw 95542
c lw 95543
c lw 95544
c lw 95545
c lw 95546
c lw 95547
c lw 95548
c lw 95549
c lw 95550
c lw 95551
c lw 95552
c lw 95554
c lw 95555
c lw 95556
c lw 95557
c lw 95558
c lw 95559
c lw 95560
c lw 95567
c lw 95568
c lw 95569
c lw 95570
c lw 95571
c lw 95572
c lw 95574
c lw 95577
c lw 95578
c lw 95580
c lw 95581
c lw 95582
c lw 95583
c lw 95584
c lw 95585
c lw 95586
c lw 95587
c lw 95588
c lw 95589
c lw 95590
c lw 95591
c lw 95592
c lw 95593
c lw 95594
c lw 95595