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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 803
c lw 1606
c lw 2409
c lw 3212
c lw 4015
c lw 4818
c lw 5621
c lw 6424
c lw 7227
c lw 8030
c lw 8833
c lw 9636
c lw 10439
c lw 11242
c lw 12045
c lw 12574
c lw 12848
c lw 13377
c lw 13651
c lw 14180
c lw 14454
c lw 14983
c lw 15257
c lw 15786
c lw 16060
c lw 16589
c lw 16863
c lw 17392
c lw 17666
c lw 18342
c lw 19018
c lw 19694
c lw 20370
c lw 21046
c lw 21722
c lw 22251
c lw 22398
c lw 22927
c lw 23074
c lw 23603
c lw 23750
c lw 24279
c lw 24426
c lw 24955
c lw 25102
c lw 25631
c lw 25778
c lw 26307
c lw 26454
c lw 26983
c lw 27130
c lw 27781
c lw 28004
c lw 28432
c lw 28878
c lw 29083
c lw 29734
c lw 29752
c lw 30385
c lw 30626
c lw 31036
c lw 31500
c lw 31687
c lw 32338
c lw 32374
c lw 32989
c lw 33248
c lw 33640
c lw 34122
c lw 34291
c lw 34942
c lw 34996
c lw 35593
c lw 35870
c lw 36467
c lw 36744
c lw 37341
c lw 37618
c lw 38215
c lw 38492
c lw 39089
c lw 39366
c lw 39963
c lw 40240
c lw 40837
c lw 41114
c lw 41711
c lw 41988
c lw 42585
c lw 42862
c lw 43110
c lw 43707
c lw 43736
c lw 43984
c lw 44203
c lw 44610
c lw 44858
c lw 45325
c lw 45484
c lw 45732
c lw 45821
c lw 46358
c lw 46695
c lw 47217
c lw 47739
c lw 48261
c lw 48783
c lw 49305
c lw 49827
c lw 50349
c lw 50871
c lw 51393
c lw 51915
c lw 52437
c lw 52959
c lw 53481
c lw 53856
c lw 54003
c lw 54231
c lw 54525
c lw 54606
c lw 54981
c lw 55047
c lw 55356
c lw 55569
c lw 55731
c lw 56091
c lw 56106
c lw 56481
c lw 56613
c lw 56729
c lw 57135
c lw 57251
c lw 57657
c lw 57773
c lw 58179
c lw 58295
c lw 58817
c lw 59339
c lw 59861
c lw 60267
c lw 60796
c lw 61325
c lw 61854
c lw 62383
c lw 62912
c lw 63441
c lw 63970
c lw 64499
c lw 65028
c lw 65557
c lw 66086
c lw 66615
c lw 67144
c lw 67336
c lw 67673
c lw 67796
c lw 67803
c lw 67810
c lw 67817
c lw 67865
c lw 68346
c lw 68394
c lw 68875
c lw 68923
c lw 68930
c lw 68937
c lw 68944
c lw 68971
c lw 69067
c lw 69308
c lw 69404
c lw 69452
c lw 69596
c lw 69789
c lw 69905
c lw 69936
c lw 70017
c lw 70164
c lw 70280
c lw 70311
c lw 70392
c lw 70605
c lw 70686
c lw 70752
c lw 70802
c lw 71011
c lw 71077
c lw 71143
c lw 71290
c lw 71417
c lw 71432
c lw 71664
c lw 71792
c lw 71939
c lw 71954
c lw 72020
c lw 72152
c lw 72248
c lw 72395
c lw 72449
c lw 72618
c lw 72932
c lw 73012
c lw 73046
c lw 73135
c lw 73205
c lw 73294
c lw 73542
c lw 73558
c lw 73587
c lw 73701
c lw 73920
c lw 73949
c lw 74184
c lw 74197
c lw 74371
c lw 74400
c lw 74498
c lw 74549
c lw 74826
c lw 74997
c lw 75271
c lw 75345
c lw 75399
c lw 75545
c lw 75694
c lw 75822
c lw 75971
c lw 76142
c lw 76419
c lw 76693
c lw 76729
c lw 76916
c lw 77290
c lw 77344
c lw 77555
c lw 77567
c lw 77621
c lw 78152
c lw 78164
c lw 78429
c lw 78441
c lw 78749
c lw 79026
c lw 79409
c lw 79504
c lw 79555
c lw 79603
c lw 79829
c lw 79938
c lw 80212
c lw 80467
c lw 80672
c lw 80726
c lw 80859
c lw 81287
c lw 81401
c lw 81707
c lw 81816
c lw 81834
c lw 81852
c lw 82039
c lw 82262
c lw 82467
c lw 82581
c lw 82741
c lw 82887
c lw 82923
c lw 83333
c lw 83520
c lw 83743
c lw 83761
c lw 84171
c lw 84394
c lw 84553
c lw 84700
c lw 84923
c lw 85042
c lw 85083
c lw 85105
c lw 85183
c lw 85634
c lw 85780
c lw 85858
c lw 86054
c lw 86309
c lw 86387
c lw 86838
c lw 86857
c lw 87357
c lw 87379
c lw 87457
c lw 87957
c lw 87998
c lw 88020
c lw 88804
c lw 88823
c lw 89607
c lw 89626
c lw 90410
c lw 90429
c lw 91213
c lw 91232
c lw 92016
c lw 92035
c lw 92819
c lw 92838
c lw 93338
c lw 93360
c lw 93860
c lw 93882
c lw 94382
c lw 94912
c lw 95058
c lw 95588
c lw 95734
c lw 95741
c lw 95748
c lw 95755
c lw 95782
c lw 95790
c lw 95812
c lw 95959
c lw 96040
c lw 96090
c lw 96106
c lw 96253
c lw 96307
c lw 96342
c lw 96616
c lw 96871
c lw 96890
c lw 96909
c lw 96928
c lw 96947
c lw 97674
c lw 97693
c lw 97712
c lw 97731
c lw 98477
c lw 98496
c lw 98515
c lw 98534
c lw 99280
c lw 99318
c lw 99353
c lw 99393
c lw 99471
c lw 99485
c lw 99554
c lw 99618
c lw 99863
c lw 99946
c lw 99965
c lw 100074
c lw 100169
c lw 100278
c lw 100297
c lw 100348
c lw 100380
c lw 100386
c lw 100399
c lw 100527
c lw 100560
c lw 100654
c lw 100667
c lw 100762
c lw 100782
c lw 100833
c lw 100855
c lw 100979
c lw 100985
c lw 101027
c lw 101034
c lw 101053
c lw 101074
c lw 101114
c lw 101145
c lw 101260
c lw 101790
c lw 101821
c lw 101845
c lw 101862
c lw 101936
c lw 102066
c lw 102094
c lw 102187
c lw 102198
c lw 102215
c lw 102244
c lw 102275
c lw 102362
c lw 102418
c lw 102425
c lw 102429
c lw 102435
c lw 102441
c lw 102457
c lw 102498
c lw 102503
c lw 102508
c lw 102509
c lw 102515
c lw 102516
c lw 102520
c lw 102521
c lw 102522
c lw 102541
c lw 102548
c lw 102568
c lw 102570
c lw 102571
c lw 102575
c lw 102591
c lw 102597
c lw 102610
c lw 102643
c lw 102650
c lw 102687
c lw 102775
c lw 102790
c lw 102804
c lw 102817
c lw 102819
c lw 102855
c lw 102857
c lw 102871
c lw 102909
c lw 102921
c lw 103106
c lw 103147
c lw 103209
c lw 103247
c lw 103293
c lw 103317
c lw 103335
c lw 103434
c lw 103498
c lw 103721
c lw 103727
c lw 103739
c lw 103763
c lw 103781
c lw 103862
c lw 103868
c lw 103926
c lw 104059
c lw 104113
c lw 104167
c lw 104193
c lw 104229
c lw 104278
c lw 104296
c lw 104300
c lw 104312
c lw 104336
c lw 104457
c lw 104487
c lw 104493
c lw 104499
c lw 104541
c lw 104551
c lw 104565
c lw 104567
c lw 104577
c lw 104593
c lw 104605
c lw 104623
c lw 104647
c lw 104762
c lw 104897
c lw 104931
c lw 104985
c lw 105066
c lw 105115
c lw 105131
c lw 105136
c lw 105146
c lw 105271
c lw 105283
c lw 105288
c lw 105300
c lw 105353
c lw 105365
c lw 105369
c lw 105387
c lw 105404
c lw 105407
c lw 105576
c lw 105588
c lw 105630
c lw 105693
c lw 105864
c lw 106013
c lw 106054
c lw 106141
c lw 106203
c lw 106244
c lw 106245
c lw 106290
c lw 106337
c lw 106352
c lw 106377
c lw 106406
c lw 106419
c lw 106552
c lw 106567
c lw 106577
c lw 106589
c lw 106599
c lw 106614
c lw 106643
c lw 106672
c lw 106716
c lw 106748
c lw 106777
c lw 106786
c lw 106799
c lw 106806
c lw 106821
c lw 106828
c lw 106843
c lw 106850
c lw 106910
c lw 106932
c lw 106961
c lw 106968
c lw 106976
c lw 107021
c lw 107028
c lw 107031
c lw 107050
c lw 107056
c lw 107060
c lw 107061
c lw 107063
c lw 107065
c lw 107079
c lw 107081
c lw 107082
c lw 107083
c lw 107086
c lw 107087
c lw 107089
c lw 107091
c lw 107092
c lw 107095
c lw 107096
c lw 107097
c lw 107098
c lw 107099
c lw 107100
c lw 107102
c lw 107103
c lw 107104
c lw 107105
c lw 107106
c lw 107107
c lw 107108
c lw 107109
c lw 107110
c lw 107111
c lw 107112
c lw 107113
c lw 107114
c lw 107115
c lw 107117
c lw 107118
c lw 107119
c lw 107120
c lw 107121
c lw 107122
c lw 107123
c lw 107124
c lw 107125
c lw 107126
c lw 107127
c lw 107128
c lw 107129
c lw 107130
c lw 107131
c lw 107132
c lw 107133
c lw 107135
c lw 107136
c lw 107137
c lw 107138
c lw 107139
c lw 107140
c lw 107141
c lw 107143
c lw 107144
c lw 107145
c lw 107147
c lw 107149
c lw 107150
c lw 107151
c lw 107152
c lw 107154
c lw 107155
c lw 107157
c lw 107158
c lw 107168
c lw 107170
c lw 107173
c lw 107191
c lw 107200
c lw 107204
c lw 107214
c lw 107217
c lw 107219
c lw 107220
c lw 107224
c lw 107225
c lw 107226
c lw 107228
c lw 107229
c lw 107234
c lw 107238
c lw 107241
c lw 107246
c lw 107268
c lw 107293
c lw 107793
c lw 107815
c lw 108315
c lw 108337
c lw 108365
c lw 108385
c lw 108386
c lw 108387
c lw 108401
c lw 108404
c lw 108426
c lw 108427
c lw 108428
c lw 108429
c lw 108430
c lw 108431
c lw 108432
c lw 108433
c lw 108434
c lw 108435
c lw 108436
c lw 108439
c lw 108470
c lw 108564
c lw 108586
c lw 108667
c lw 108824
c lw 108837
c lw 108849
c lw 108861
c lw 108874
c lw 108878
c lw 108905
c lw 109033
c lw 109099
c lw 109103
c lw 109114
c lw 109118
c lw 109119
c lw 109122
c lw 109125
c lw 109129
c lw 109188
c lw 109203
c lw 109254
c lw 109266
c lw 109281
c lw 109299
c lw 109300
c lw 109305
c lw 109317
c lw 109318
c lw 109329
c lw 109334
c lw 109346
c lw 109349
c lw 109350
c lw 109351
c lw 109355
c lw 109360
c lw 109362
c lw 109366
c lw 109369
c lw 109373
c lw 109378
c lw 109384
c lw 109387
c lw 109389
c lw 109391
c lw 109393
c lw 109396
c lw 109397
c lw 109401
c lw 109402
c lw 109403
c lw 109404
c lw 109405
c lw 109406
c lw 109407
c lw 109408
c lw 109449
c lw 109450
c lw 109451
c lw 109511
c lw 109512
c lw 109513
c lw 109514
c lw 109515
c lw 109516
c lw 109531
c lw 109538
c lw 109545
c lw 109557
c lw 109558
c lw 109559
c lw 109560
c lw 109561
c lw 109562
c lw 109563
c lw 109564
c lw 109565
c lw 109566
c lw 109570
c lw 109572
c lw 109577
c lw 109578
c lw 109581
c lw 109584
c lw 109585
c lw 109598
c lw 109604
c lw 109610
c lw 109614
c lw 109615
c lw 109616
c lw 109617
c lw 109618
c lw 109619
c lw 109620
c lw 109621
c lw 109622
c lw 109623
c lw 109624
c lw 109625
c lw 109626
c lw 109627
c lw 109628
c lw 109629
c lw 109631
c lw 109632
c lw 109633
c lw 109640
c lw 109641
c lw 109644
c lw 109645
c lw 109646
c lw 109647
c lw 109648
c lw 109649
c lw 109650
c lw 109651
c lw 109652
c lw 109653
c lw 109654
c lw 109655
c lw 109656
c lw 109657
c lw 109658
c lw 109659
c lw 109663
c lw 109670
c lw 109677
c lw 109679
c lw 109681
c lw 109684
c lw 109686
c lw 109687
c lw 109691
c lw 109695
c lw 109722
c lw 109724
c lw 109748
c lw 109770
c lw 109771
c lw 109775
c lw 109779
c lw 109785
c lw 109801
c lw 109842
c lw 109847
c lw 109853
c lw 109854
c lw 109933
c lw 109955
c lw 109956
c lw 109957
c lw 109958
c lw 109960
c lw 109961
c lw 109962
c lw 109983
c lw 109984
c lw 109985
c lw 109986
c lw 109987
c lw 109988
c lw 109992
c lw 109993
c lw 109994
c lw 110008
c lw 110009
c lw 110019
c lw 110021
c lw 110023
c lw 110035
c lw 110040
c lw 110047
c lw 110055
c lw 110059
c lw 110064
c lw 110066
c lw 110068
c lw 110069
c lw 110070
c lw 110071
c lw 110072
c lw 110073
c lw 110074
c lw 110075
c lw 110076
c lw 110077
c lw 110078
c lw 110079
c lw 110080
c lw 110081
c lw 110082
c lw 110084
c lw 110085
c lw 110086
c lw 110088
c lw 110089
c lw 110090
c lw 110091
c lw 110092
c lw 110093
c lw 110094
c lw 110095
c lw 110096
c lw 110097
c lw 110098
c lw 110099
c lw 110100
c lw 110101
c lw 110116
c lw 110149
c lw 110153
c lw 110168
c lw 110174
c lw 110175
c lw 110195
c lw 110200
c lw 110202
c lw 110206
c lw 110207
c lw 110214
c lw 110216
c lw 110220
c lw 110221
c lw 110222
c lw 110223
c lw 110225
c lw 110227
c lw 110228
c lw 110229
c lw 110230
c lw 110231
c lw 110232
c lw 110233
c lw 110234
c lw 110235
c lw 110236
c lw 110332
c lw 110335
c lw 110342
c lw 110345
c lw 110350
c lw 110351
c lw 110352
c lw 110357
c lw 110358
c lw 110361
c lw 110364
c lw 110365
c lw 110366
c lw 110367
c lw 110368
c lw 110369
c lw 110370
c lw 110371
c lw 110373
c lw 110374
c lw 110375
c lw 110376
c lw 110377
c lw 110378
c lw 110379
c lw 110380
c lw 110381
c lw 110383
c lw 110384
c lw 110385
c lw 110386
c lw 110391
c lw 110405
c lw 110406
c lw 110407
c lw 110408
c lw 110409
c lw 110410
c lw 110411
c lw 110412
c lw 110455
c lw 110456
c lw 110457
c lw 110458
c lw 110459
c lw 110460
c lw 110461
c lw 110462
c lw 110463
c lw 110464
c lw 110465
c lw 110466
c lw 110467
c lw 110468
c lw 110469
c lw 110470
c lw 110471
c lw 110472
c lw 110473
c lw 110474
c lw 110475
c lw 110476
c lw 110477
c lw 110526
c lw 110527
Killed
1814.796u 4.974s 30:20.35 99.9%	0+0k 0+0io 0pf+0w