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_PATHS_cat_paths_60_120_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 120
c lw 488
c lw 497
c lw 1327
c lw 2107
c lw 2887
c lw 3616
c lw 3667
c lw 4162
c lw 4945
c lw 5012
c lw 5728
c lw 5745
c lw 6900
c lw 8055
c lw 9077
c lw 9210
c lw 9638
c lw 10820
c lw 12002
c lw 12957
c lw 13912
c lw 14620
c lw 14867
c lw 15558
c lw 15728
c lw 16073
c lw 16475
c lw 16589
c lw 16780
c lw 17450
c lw 18044
c lw 18294
c lw 18311
c lw 18502
c lw 18854
c lw 19172
c lw 19785
c lw 20289
c lw 20802
c lw 21035
c lw 21315
c lw 21324
c lw 21994
c lw 22820
c lw 23121
c lw 23588
c lw 23646
c lw 24472
c lw 25406
c lw 25477
c lw 26166
c lw 26340
c lw 26535
c lw 27050
c lw 27274
c lw 28074
c lw 28208
c lw 28403
c lw 28755
c lw 29164
c lw 29834
c lw 30379
c lw 31118
c lw 31313
c lw 31896
c lw 32247
c lw 32808
c lw 33172
c lw 33537
c lw 33814
c lw 34106
c lw 34318
c lw 34848
c lw 35369
c lw 35378
c lw 36257
c lw 36667
c lw 37433
c lw 37691
c lw 37919
c lw 38420
c lw 38685
c lw 38907
c lw 39451
c lw 40230
c lw 40374
c lw 40983
c lw 41162
c lw 41840
c lw 42082
c lw 42752
c lw 43707
c lw 44537
c lw 44611
c lw 44620
c lw 45141
c lw 45150
c lw 45385
c lw 45436
c lw 45678
c lw 45747
c lw 46156
c lw 46334
c lw 46351
c lw 46818
c lw 47042
c lw 47531
c lw 47541
c lw 47570
c lw 47761
c lw 47798
c lw 47830
c lw 47855
c lw 48016
c lw 48056
c lw 48336
c lw 48506
c lw 48531
c lw 48728
c lw 48766
c lw 48771
c lw 49020
c lw 49297
c lw 49385
c lw 49419
c lw 49537
c lw 49886
c lw 49901
c lw 50060
c lw 50131
c lw 50462
c lw 50575
c lw 50584
c lw 50666
c lw 50813
c lw 51249
c lw 51383
c lw 51473
c lw 51898
c lw 52084
c lw 52183
c lw 52339
c lw 52397
c lw 52698
c lw 52910
c lw 53024
c lw 53047
c lw 53064
c lw 53297
c lw 53449
c lw 53754
c lw 53945
c lw 53985
c lw 54176
c lw 54454
c lw 54487
c lw 54521
c lw 54576
c lw 55237
c lw 55381
c lw 55546
c lw 55679
c lw 55967
c lw 56162
c lw 56281
c lw 56514
c lw 56785
c lw 56801
c lw 57177
c lw 57354
c lw 57722
c lw 57759
c lw 57879
c lw 58004
c lw 58086
c lw 58438
c lw 58558
c lw 58574
c lw 58866
c lw 58884
c lw 58954
c lw 59523
c lw 59716
c lw 59864
c lw 59869
c lw 59902
c lw 60099
c lw 60135
c lw 60152
c lw 60181
c lw 60191
c lw 60261
c lw 60278
c lw 60446
c lw 60455
c lw 60469
c lw 60506
c lw 60538
c lw 60563
c lw 60592
c lw 60724
c lw 60735
c lw 60750
c lw 60823
c lw 60872
c lw 60881
c lw 60936
c lw 60987
c lw 61024
c lw 61100
c lw 61197
c lw 61220
c lw 61259
c lw 61268
c lw 61284
c lw 61300
c lw 61384
c lw 61400
c lw 61504
c lw 61522
c lw 61540
c lw 61576
c lw 61592
c lw 61601
c lw 61602
c lw 61605
c lw 61614
c lw 61620
c lw 61627
c lw 61633
c lw 61639
c lw 61654
c lw 61657
c lw 61667
c lw 61670
c lw 61680
c lw 61798
c lw 61802
c lw 61807
c lw 61847
c lw 61848
c lw 61852
c lw 61946
c lw 61963
c lw 61964
c lw 61966
c lw 61976
c lw 61977
c lw 61979
c lw 62037
c lw 62039
c lw 62041
c lw 62042
c lw 62044
c lw 62045
c lw 62047
c lw 62048
c lw 62049
c lw 62050
c lw 62051
c lw 62053
c lw 62058
c lw 62064
c lw 62075
c lw 62082
c lw 62087
c lw 62088
c lw 62089
c lw 62091
c lw 62092
c lw 62094
c lw 62099
c lw 62100
c lw 62101
c lw 62105
c lw 62108
c lw 62111
c lw 62114
c lw 62117
c lw 62120
c lw 62134
c lw 62136
c lw 62204
c lw 62205
c lw 62207
c lw 62210
c lw 62212
c lw 62213
c lw 62214
c lw 62216
c lw 62218
c lw 62219
c lw 62222
c lw 62223
c lw 62224
c lw 62225
c lw 62228
c lw 62229
c lw 62231
c lw 62233
c lw 62234
c lw 62235
c lw 62237
c lw 62238
c lw 62239
c lw 62241
c lw 62242
c lw 62243
c lw 62249
c lw 62250
c lw 62257
c lw 62259
c lw 62260
c lw 62262
c lw 62265
c lw 62310
c lw 62312
c lw 62313
c lw 62319
c lw 62320
c lw 62321
c lw 62324
c lw 62325
c lw 62326
c lw 62330
c lw 62336
c lw 62337
c lw 62338
c lw 62341
c lw 62344
c lw 62345
c lw 62346
c lw 62347
c lw 62348
c lw 62349
c lw 62350
c lw 62351
c lw 62352
c lw 62353
c lw 62354
c lw 62356
c lw 62357
c lw 62358
c lw 62359
c lw 62360
c lw 62361
c lw 62362
c lw 62363
c lw 62364
c lw 62365
c lw 62366
c lw 62367
c lw 62368
c lw 62369
c lw 62370
c lw 62372
c lw 62373
c lw 62376
c lw 62377
c lw 62378
c lw 62379
c lw 62380
c lw 62384
c lw 62385
c lw 62386
c lw 62387
c lw 62388
c lw 62389
c lw 62390
c lw 62391
c lw 62393
c lw 62403
c lw 62419
c lw 62425
c lw 62426
c lw 62427
c lw 62428
c lw 62429
c lw 62438
c lw 62439
c lw 62440
c lw 62463
c lw 62570
c lw 62716
c lw 62717
c lw 62718
c lw 62719
c lw 62720
c lw 62721
c lw 62722
c lw 62723
c lw 62724
c lw 62725
c lw 62726
c lw 62727
c lw 62729
c lw 62730
c lw 62738
c lw 62739
c lw 62740
c lw 62741
c lw 62742
c lw 62748
c lw 62749
c lw 62750
c lw 62751
c lw 62752
c lw 62753
c lw 62754
c lw 62755
c lw 62756
c lw 62757
c lw 62758
c lw 62759
c lw 62760
c lw 62761
c lw 62762
c lw 62763
c lw 62764
c lw 62765
c lw 62766
c lw 62767
c lw 62768
c lw 62769
c lw 62770
c lw 62771
c lw 62773
c lw 62774
c lw 62775
c lw 62776
c lw 62777
c lw 62778
c lw 62781
c lw 62782
c lw 62783
c lw 62847
c lw 62848
c lw 62866
c lw 62867
c lw 62868
c lw 62870
c lw 62874
c lw 62875
c lw 62876
c lw 62877
c lw 62880
c lw 62881
c lw 62882
c lw 62883
c lw 62884
c lw 62885
c lw 62886
c lw 62887
c lw 62888
c lw 62889
c lw 62890
c lw 63381
c lw 63382
c lw 63383
c lw 63384
c lw 63386
c lw 63387
c lw 63388
c lw 63400
c lw 63401
c lw 63402
c lw 63403
c lw 63404
c lw 63405
c lw 63406
c lw 63407
c lw 63408
c lw 63409
c lw 63410
c lw 63411
c lw 63412
c lw 63413
c lw 63430
c lw 63431
c lw 63432
c lw 63433
c lw 63434
c lw 63435
c lw 63438
c lw 63439
c lw 63443
c lw 63444
c lw 63451
c lw 63452
c lw 63453
c lw 63454
c lw 63456
c lw 63457
c lw 63458
c lw 63459
c lw 63460
c lw 63461
c lw 63462
c lw 63463
c lw 63464
c lw 63465
c lw 63466
c lw 63490
c lw 63493
c lw 63595
c lw 63596
c lw 63597
c lw 63598
c lw 63599
c lw 63600
c lw 63601
c lw 63602
c lw 63603
c lw 63604
c lw 63605
c lw 63606
c lw 63607
c lw 63608
c lw 63609
c lw 63610
c lw 63611
c lw 63613
c lw 63614
c lw 63615
c lw 63628
c lw 63629
c lw 63630
c lw 63631
c lw 63632
c lw 63634
c lw 63635
c lw 63636
c lw 63637
c lw 63638
c lw 63639
c lw 63640
c lw 63641
c lw 63642
c lw 63643
c lw 63644
c lw 63700
c lw 63708
c lw 63709
c lw 63710
c lw 63711
c lw 63712
c lw 63713
c lw 63714
c lw 63715
c lw 63716
c lw 63717
c lw 63718
c lw 63719
c lw 63727
c lw 63728
c lw 63729
c lw 63730
c lw 63744
c lw 63745
c lw 63746
c lw 63747
c lw 63749
c lw 63798
c lw 63801
c lw 63814
c lw 63815
c lw 63816
c lw 63817
c lw 63822
c lw 63900
c lw 63936
c lw 63937
c lw 63938
c lw 63939
c lw 63967
c lw 63973
c lw 63993
c lw 63994
c lw 63995
c lw 63996
c lw 63997
c lw 63998
c lw 63999
c lw 64000
c lw 64001
c lw 64002
c lw 64003
c lw 64004
c lw 64005
c lw 64006
c lw 64007
c lw 64009
c lw 64010
c lw 64011
c lw 64012
c lw 64035
c lw 64036
c lw 64038
c lw 64057
c lw 64058
c lw 64063
c lw 64064
c lw 64068
c lw 64069
c lw 64070
c lw 64071
c lw 64072
c lw 64073
c lw 64074
c lw 64075
c lw 64076
c lw 64077
c lw 64078
c lw 64079
c lw 64080
c lw 64081
c lw 64082
c lw 64083
c lw 64084
c lw 64085
c lw 64086
c lw 64148
c lw 64149
c lw 64150
c lw 64151
c lw 64152
c lw 64153
c lw 64154
c lw 64155
c lw 64156
c lw 64157
c lw 64158
c lw 64159
c lw 64160
c lw 64161
c lw 64162
c lw 64163
c lw 64164
c lw 64165
c lw 64166
c lw 64167
c lw 64168
c lw 64169
c lw 64170
c lw 64171
c lw 64172
c lw 64173
c lw 64176
c lw 64177
c lw 64178
c lw 64179
c lw 64202
c lw 64203
c lw 64204
c lw 64205
c lw 64206
c lw 64207
c lw 64208
c lw 64209
c lw 64210
c lw 64211
c lw 64212
c lw 64213
c lw 64214
c lw 64215
c lw 64216
c lw 64217
c lw 64218
c lw 64221
c lw 64222
c lw 64229
c lw 64231
c lw 64232
c lw 64240
c lw 64241
c lw 64242
c lw 64243
c lw 64245
c lw 64246
c lw 64247
c lw 64252
c lw 64253
c lw 64254
c lw 64255
c lw 64256
c lw 64257
c lw 64258
c lw 64259
c lw 64260
c lw 64261
c lw 64262
c lw 64263
c lw 64264
c lw 64265
c lw 64266
c lw 64267
c lw 64268
c lw 64269
c lw 64270
c lw 64271
c lw 64272
c lw 64273
c lw 64274
c lw 64275
c lw 64276
c lw 64277
c lw 64278
c lw 64279
c lw 64280
c lw 64285
c lw 64286
c lw 64287
c lw 64288
c lw 64292
c lw 64293
c lw 64294
c lw 64295
c lw 64296
c lw 64297
c lw 64298
c lw 64299
c lw 64300
c lw 64302
c lw 64303
c lw 64304
c lw 64305
c lw 64306
c lw 64307
c lw 64308
c lw 64309
c lw 64313
c lw 64321
c lw 64322
c lw 64323
c lw 64324
c lw 64325
c lw 64340
c lw 64341
c lw 64342
c lw 64343
c lw 64344
c lw 64345
c lw 64346
c lw 64347
c lw 64366
c lw 64369
c lw 64370
c lw 64371
c lw 64372
c lw 64373
c lw 64374
c lw 64375
c lw 64376
c lw 64377
c lw 64378
c lw 64379
c lw 64380
c lw 64381
c lw 64382
c lw 64383
c lw 64384
c lw 64391
c lw 64392
c lw 64393
c lw 64394
c lw 64447
c lw 64448
c lw 64449
c lw 64450
c lw 64451
c lw 64452
c lw 64453
c lw 64454
c lw 64455
c lw 64456
c lw 64457
c lw 64458
c lw 64613
c lw 64617
c lw 64618
c lw 64660
c lw 64661
c lw 64662
c lw 64663
c lw 64664
c lw 64665
c lw 64666
c lw 64667
c lw 64668
c lw 64669
c lw 64670
c lw 64671
c lw 64672
c lw 64673
c lw 64674
c lw 64675
c lw 64676
c lw 64677
c lw 64678
c lw 64679
c lw 64680
c lw 64693
c lw 64694
c lw 64695
c lw 64696
c lw 64697
c lw 64698
c lw 64699
c lw 64700
c lw 64705
c lw 64707
c lw 64708
c lw 64709
c lw 64710
c lw 64711
c lw 64712
c lw 64713
c lw 64714
c lw 64715
c lw 64732
c lw 64733
c lw 64734
c lw 64735
c lw 64736
c lw 64737
c lw 64738
c lw 64739
c lw 64740
c lw 64741
c lw 64742
c lw 64744
c lw 64748
c lw 64749
c lw 64768
c lw 64769
c lw 64826
c lw 64827
c lw 64828
c lw 64829
c lw 64830
c lw 64831
c lw 64832
c lw 64833
c lw 64834
c lw 64835
c lw 64836
c lw 64837
c lw 64871
c lw 64872
c lw 64873
c lw 64874
c lw 64875
c lw 64876
c lw 64877
c lw 64878
c lw 64879
c lw 64880
c lw 64881
c lw 64882
c lw 64883
c lw 64884
c lw 64885
c lw 64886
c lw 64887
c lw 64888
c lw 64889
c lw 64890
c lw 64891
c lw 64892
c lw 64893
c lw 64894
c lw 64895
c lw 64896
c lw 64897
c lw 64898
c lw 64899
c lw 64900
c lw 64903
c lw 64904
c lw 64905
c lw 64906
c lw 64907
c lw 64908
c lw 64909
c lw 64910
c lw 64911
c lw 64912
c lw 64913
c lw 64934
c lw 64935
c lw 64936
c lw 64937
c lw 64938
c lw 64939
Killed
1809.150u 10.621s 30:20.58 99.9%	0+0k 0+0io 0pf+0w