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_80_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 857
c lw 1714
c lw 2265
c lw 2854
c lw 3994
c lw 5048
c lw 5134
c lw 6168
c lw 6274
c lw 6731
c lw 7414
c lw 8364
c lw 9314
c lw 9436
c lw 10264
c lw 11117
c lw 11917
c lw 11970
c lw 12823
c lw 13623
c lw 13639
c lw 13676
c lw 14160
c lw 14250
c lw 15085
c lw 15377
c lw 15834
c lw 16026
c lw 16770
c lw 17514
c lw 18065
c lw 18258
c lw 18413
c lw 18853
c lw 19254
c lw 19794
c lw 20094
c lw 20428
c lw 20777
c lw 20813
c lw 21256
c lw 21312
c lw 21334
c lw 21885
c lw 22018
c lw 23072
c lw 24126
c lw 24334
c lw 24768
c lw 25047
c lw 25161
c lw 26030
c lw 26899
c lw 27867
c lw 28835
c lw 29171
c lw 29395
c lw 29520
c lw 29803
c lw 30771
c lw 30999
c lw 31684
c lw 31967
c lw 32777
c lw 32935
c lw 33043
c lw 33903
c lw 34111
c lw 34128
c lw 34622
c lw 35056
c lw 35264
c lw 35283
c lw 35723
c lw 35828
c lw 35903
c lw 36131
c lw 36245
c lw 36264
c lw 36410
c lw 36543
c lw 36565
c lw 36603
c lw 36621
c lw 37064
c lw 37094
c lw 37200
c lw 37386
c lw 37541
c lw 37907
c lw 37993
c lw 38201
c lw 38450
c lw 38530
c lw 38582
c lw 39024
c lw 39378
c lw 39464
c lw 39480
c lw 39842
c lw 39879
c lw 40317
c lw 40353
c lw 40406
c lw 40651
c lw 40666
c lw 41010
c lw 41032
c lw 41169
c lw 41274
c lw 41354
c lw 41546
c lw 41588
c lw 41715
c lw 41768
c lw 41823
c lw 42093
c lw 42116
c lw 42472
c lw 42735
c lw 42784
c lw 43008
c lw 43607
c lw 43779
c lw 43892
c lw 43929
c lw 44087
c lw 44125
c lw 44212
c lw 44370
c lw 44440
c lw 44627
c lw 44706
c lw 45391
c lw 45408
c lw 45437
c lw 45531
c lw 45627
c lw 45646
c lw 45741
c lw 45760
c lw 45782
c lw 45820
c lw 45838
c lw 45860
c lw 45876
c lw 45906
c lw 45913
c lw 45943
c lw 46155
c lw 46207
c lw 46221
c lw 46237
c lw 46258
c lw 46311
c lw 46330
c lw 46397
c lw 46411
c lw 46416
c lw 46455
c lw 46491
c lw 46715
c lw 46844
c lw 46881
c lw 47039
c lw 47077
c lw 47114
c lw 47197
c lw 47251
c lw 47283
c lw 47323
c lw 47331
c lw 47393
c lw 47403
c lw 47406
c lw 47490
c lw 47491
c lw 47526
c lw 47536
c lw 47565
c lw 47569
c lw 47576
c lw 47600
c lw 47601
c lw 47603
c lw 47610
c lw 47612
c lw 47613
c lw 47620
c lw 47623
c lw 47629
c lw 47630
c lw 47642
c lw 47644
c lw 47645
c lw 47710
c lw 47711
c lw 47712
c lw 47713
c lw 47714
c lw 47730
c lw 47753
c lw 47754
c lw 47755
c lw 47756
c lw 47758
c lw 47760
c lw 47764
c lw 47765
c lw 47766
c lw 47767
c lw 47768
c lw 47779
c lw 47798
c lw 47804
c lw 47807
c lw 47809
c lw 47810
c lw 47811
c lw 47812
c lw 47813
c lw 47814
c lw 47815
c lw 47842
c lw 47845
c lw 47853
c lw 47921
c lw 47943
c lw 47999
c lw 48000
c lw 48003
c lw 48007
c lw 48008
c lw 48009
c lw 48015
c lw 48016
c lw 48017
c lw 48018
c lw 48019
c lw 48020
c lw 48026
c lw 48029
c lw 48037
c lw 48040
c lw 48048
c lw 48056
c lw 48130
c lw 48131
c lw 48136
c lw 48211
c lw 48215
c lw 48239
c lw 48240
c lw 48241
c lw 48244
c lw 48245
c lw 48246
c lw 48252
c lw 48253
c lw 48258
c lw 48259
c lw 48273
c lw 48278
c lw 48285
c lw 48294
c lw 48299
c lw 48300
c lw 48303
c lw 48307
c lw 48308
c lw 48312
c lw 48313
c lw 48314
c lw 48315
c lw 48316
c lw 48317
c lw 48318
c lw 48319
c lw 48320
c lw 48321
c lw 48330
c lw 48331
c lw 48332
c lw 48333
c lw 48334
c lw 48335
c lw 48336
c lw 48337
c lw 48338
c lw 48339
c lw 48340
c lw 48341
c lw 48342
c lw 48374
c lw 48382
c lw 48383
c lw 48388
c lw 48393
c lw 48402
c lw 48407
c lw 48421
c lw 48424
c lw 48437
c lw 48438
c lw 48439
c lw 48443
c lw 48445
c lw 48446
c lw 48447
c lw 48448
c lw 48449
c lw 48450
c lw 48451
c lw 48452
c lw 48453
c lw 48454
c lw 48455
c lw 48456
c lw 48457
c lw 48458
c lw 48459
c lw 48460
c lw 48461
c lw 48462
c lw 48463
c lw 48464
c lw 48465
c lw 48466
c lw 48467
c lw 48468
c lw 48469
c lw 48470
c lw 48471
c lw 48472
c lw 48473
c lw 48474
c lw 48475
c lw 48476
c lw 48477
c lw 48478
c lw 48479
c lw 48480
c lw 48481
c lw 48482
c lw 48483
c lw 48484
c lw 48485
c lw 48486
c lw 48487
c lw 48488
c lw 48489
c lw 48491
c lw 48492
c lw 48493
c lw 48494
c lw 48498
c lw 48499
c lw 48500
c lw 48501
c lw 48503
c lw 48504
c lw 48505
c lw 48506
c lw 48507
c lw 48508
c lw 48509
c lw 48510
c lw 48511
c lw 48512
c lw 48513
c lw 48514
c lw 48515
c lw 48516
c lw 48517
c lw 48518
c lw 48524
c lw 48525
c lw 48526
c lw 48527
c lw 48528
c lw 48529
c lw 48530
c lw 48531
c lw 48547
c lw 48548
c lw 48551
c lw 48552
c lw 48569
c lw 48571
c lw 48578
c lw 48590
c lw 48591
c lw 48594
c lw 48595
c lw 48613
c lw 48619
c lw 48621
c lw 48623
c lw 48686
c lw 48688
c lw 48700
c lw 48702
c lw 48708
c lw 48715
c lw 48724
c lw 48727
c lw 48741
c lw 48744
c lw 48752
c lw 48756
c lw 48758
c lw 48763
c lw 48764
c lw 48766
c lw 48768
c lw 48769
c lw 48770
c lw 48771
c lw 48777
c lw 48778
c lw 48792
c lw 48794
c lw 48795
c lw 48796
c lw 48797
c lw 48802
c lw 48805
c lw 48806
c lw 48807
c lw 48808
c lw 48809
c lw 48810
c lw 48811
c lw 48812
c lw 48813
c lw 48814
c lw 48815
c lw 48816
c lw 48818
c lw 48823
c lw 48839
c lw 48842
c lw 48847
c lw 48852
c lw 48853
c lw 48854
c lw 48855
c lw 48856
c lw 48857
c lw 48858
c lw 48859
c lw 48860
c lw 48861
c lw 48862
c lw 48863
c lw 48864
c lw 48865
c lw 48866
c lw 48867
c lw 48868
c lw 48869
c lw 48870
c lw 48871
c lw 48872
c lw 48874
c lw 48875
c lw 48876
c lw 48877
c lw 48878
c lw 48879
c lw 48880
c lw 48881
c lw 48889
c lw 48890
c lw 48891
c lw 48892
c lw 48893
c lw 48894
c lw 48895
c lw 48896
c lw 48897
c lw 48899
c lw 48900
c lw 48901
c lw 48902
c lw 48903
c lw 48904
c lw 48905
c lw 48906
c lw 48907
c lw 48908
c lw 48909
c lw 48910
c lw 48911
c lw 48912
c lw 48913
c lw 48914
c lw 48915
c lw 48916
c lw 48917
c lw 48918
c lw 48919
c lw 48920
c lw 48921
c lw 48922
c lw 48923
c lw 48924
c lw 48925
c lw 48926
c lw 48927
c lw 48928
c lw 48929
c lw 48930
c lw 48931
c lw 48932
c lw 48933
c lw 48937
c lw 48938
c lw 48945
c lw 48946
c lw 48947
c lw 48948
c lw 48949
c lw 48950
c lw 48951
c lw 48952
c lw 48953
c lw 48954
c lw 48955
c lw 48956
c lw 48957
c lw 48958
c lw 48959
c lw 48960
c lw 48961
c lw 48962
c lw 48963
c lw 48964
c lw 48965
c lw 48967
c lw 48968
c lw 48969
c lw 48970
c lw 48971
c lw 48972
c lw 48973
c lw 48974
c lw 48977
c lw 48979
c lw 48984
c lw 48985
c lw 48986
c lw 48990
c lw 48992
c lw 48996
c lw 48997
c lw 48998
c lw 48999
c lw 49000
c lw 49001
c lw 49002
c lw 49003
c lw 49004
c lw 49005
c lw 49006
c lw 49007
c lw 49012
c lw 49029
c lw 49030
c lw 49032
c lw 49033
c lw 49034
c lw 49035
c lw 49036
c lw 49037
c lw 49038
c lw 49039
c lw 49040
c lw 49041
c lw 49042
c lw 49043
c lw 49044
c lw 49045
c lw 49046
c lw 49047
c lw 49048
c lw 49050
c lw 49052
c lw 49053
c lw 49054
c lw 49080
c lw 49153
c lw 49180
c lw 49181
c lw 49182
c lw 49186
c lw 49187
c lw 49188
c lw 49190
c lw 49191
c lw 49193
c lw 49194
c lw 49196
c lw 49198
c lw 49200
c lw 49202
c lw 49203
c lw 49204
c lw 49207
c lw 49208
c lw 49209
c lw 49210
c lw 49213
c lw 49214
c lw 49215
c lw 49216
c lw 49217
c lw 49218
c lw 49219
c lw 49220
c lw 49221
c lw 49222
c lw 49223
c lw 49224
c lw 49225
c lw 49226
c lw 49227
c lw 49228
c lw 49229
c lw 49230
c lw 49231
c lw 49232
c lw 49233
c lw 49234
c lw 49235
c lw 49236
c lw 49237
c lw 49238
c lw 49239
c lw 49241
c lw 49242
c lw 49243
c lw 49244
c lw 49245
c lw 49246
c lw 49247
c lw 49248
c lw 49249
c lw 49250
c lw 49251
c lw 49252
c lw 49253
c lw 49254
c lw 49255
c lw 49256
c lw 49257
c lw 49258
c lw 49259
c lw 49260
c lw 49261
c lw 49262
c lw 49263
c lw 49264
c lw 49265
c lw 49266
c lw 49267
c lw 49268
c lw 49269
c lw 49270
c lw 49271
c lw 49272
c lw 49273
c lw 49274
c lw 49275
c lw 49276
c lw 49277
c lw 49278
c lw 49279
c lw 49280
c lw 49281
c lw 49285
c lw 49286
c lw 49287
c lw 49288
c lw 49289
c lw 49290
c lw 49291
c lw 49292
c lw 49293
c lw 49294
c lw 49295
c lw 49296
c lw 49297
c lw 49298
c lw 49300
c lw 49301
c lw 49302
c lw 49304
c lw 49307
c lw 49308
c lw 49309
c lw 49310
c lw 49311
c lw 49312
c lw 49313
c lw 49314
c lw 49315
c lw 49316
c lw 49317
c lw 49318
c lw 49319
c lw 49320
c lw 49321
c lw 49322
c lw 49323
c lw 49324
c lw 49325
c lw 49326
c lw 49327
c lw 49328
c lw 49329
c lw 49330
c lw 49331
c lw 49332
c lw 49333
c lw 49334
c lw 49335
c lw 49336
c lw 49337
c lw 49338
c lw 49339
c lw 49340
c lw 49341
c lw 49342
c lw 49343
c lw 49344
c lw 49345
c lw 49346
c lw 49347
c lw 49348
c lw 49349
c lw 49350
c lw 49351
c lw 49353
c lw 49354
c lw 49355
c lw 49356
c lw 49357
c lw 49358
c lw 49359
c lw 49360
c lw 49361
c lw 49362
c lw 49363
c lw 49364
c lw 49365
c lw 49366
c lw 49367
c lw 49368
c lw 49369
c lw 49371
c lw 49372
c lw 49373
c lw 49374
c lw 49375
c lw 49376
c lw 49377
c lw 49378
c lw 49379
c lw 49380
c lw 49381
c lw 49382
c lw 49383
c lw 49384
c lw 49385
c lw 49470
c lw 49471
c lw 49472
c lw 49473
c lw 49474
c lw 49475
c lw 49476
c lw 49477
c lw 49478
c lw 49479
c lw 49480
c lw 49484
c lw 49485
c lw 49486
c lw 49487
c lw 49488
c lw 49489
c lw 49490
c lw 49491
c lw 49492
c lw 49493
c lw 49494
c lw 49495
c lw 49496
c lw 49497
c lw 49498
c lw 49499
c lw 49500
c lw 49501
c lw 49548
c lw 49549
c lw 49550
c lw 49551
c lw 49555
c lw 49556
c lw 49557
c lw 49558
c lw 49559
c lw 49560
c lw 49561
c lw 49562
c lw 49563
c lw 49564
c lw 49565
c lw 49570
c lw 49572
c lw 49573
c lw 49574
c lw 49575
c lw 49576
c lw 49577
c lw 49578
c lw 49579
c lw 49580
c lw 49581
c lw 49582
Killed
1811.580u 8.187s 55:32.51 54.6%	0+0k 0+0io 0pf+0w