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_140_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 832
c lw 1664
c lw 2209
c lw 2496
c lw 2728
c lw 3738
c lw 4302
c lw 4748
c lw 5459
c lw 5758
c lw 6590
c lw 6768
c lw 6916
c lw 7204
c lw 7492
c lw 7780
c lw 8491
c lw 9202
c lw 10034
c lw 10236
c lw 11068
c lw 11270
c lw 11723
c lw 12304
c lw 12958
c lw 13216
c lw 13338
c lw 14027
c lw 14372
c lw 15204
c lw 15401
c lw 16372
c lw 17343
c lw 18314
c lw 19146
c lw 19817
c lw 20488
c lw 21391
c lw 22294
c lw 23126
c lw 23197
c lw 23708
c lw 23989
c lw 24954
c lw 25722
c lw 25919
c lw 26687
c lw 27505
c lw 28323
c lw 29060
c lw 29076
c lw 29528
c lw 29829
c lw 30801
c lw 31673
c lw 31773
c lw 32745
c lw 33290
c lw 33564
c lw 34044
c lw 35269
c lw 36127
c lw 36494
c lw 37352
c lw 37719
c lw 38737
c lw 38963
c lw 39636
c lw 39755
c lw 40608
c lw 40727
c lw 41599
c lw 41699
c lw 42552
c lw 43408
c lw 44058
c lw 44082
c lw 44264
c lw 44383
c lw 45120
c lw 45146
c lw 45447
c lw 45947
c lw 46244
c lw 46403
c lw 47525
c lw 47647
c lw 47823
c lw 48555
c lw 48717
c lw 49190
c lw 49329
c lw 49663
c lw 49830
c lw 49960
c lw 50281
c lw 51298
c lw 51710
c lw 51840
c lw 52315
c lw 52317
c lw 52862
c lw 53029
c lw 53332
c lw 53491
c lw 54049
c lw 54216
c lw 54952
c lw 55189
c lw 55441
c lw 55934
c lw 56269
c lw 56860
c lw 56895
c lw 57123
c lw 57374
c lw 57645
c lw 57647
c lw 57704
c lw 57848
c lw 57858
c lw 57889
c lw 58182
c lw 58349
c lw 58406
c lw 58536
c lw 58566
c lw 58652
c lw 58948
c lw 59030
c lw 59197
c lw 59254
c lw 59531
c lw 59557
c lw 59713
c lw 59798
c lw 59917
c lw 59995
c lw 60099
c lw 60123
c lw 60325
c lw 60773
c lw 60783
c lw 60864
c lw 60902
c lw 60927
c lw 60958
c lw 61049
c lw 61122
c lw 61350
c lw 61776
c lw 61843
c lw 62002
c lw 62095
c lw 62104
c lw 62449
c lw 62608
c lw 62662
c lw 62739
c lw 62747
c lw 63048
c lw 63178
c lw 63215
c lw 63227
c lw 63553
c lw 63874
c lw 63876
c lw 64692
c lw 64792
c lw 64954
c lw 65005
c lw 65059
c lw 65141
c lw 65177
c lw 65336
c lw 65544
c lw 65699
c lw 65770
c lw 65931
c lw 66133
c lw 66276
c lw 66295
c lw 66812
c lw 66828
c lw 67109
c lw 67323
c lw 67565
c lw 67599
c lw 67604
c lw 67675
c lw 67823
c lw 68004
c lw 68226
c lw 68801
c lw 68979
c lw 69034
c lw 69276
c lw 69478
c lw 69615
c lw 69931
c lw 70884
c lw 70902
c lw 71002
c lw 71557
c lw 71735
c lw 71883
c lw 72010
c lw 72134
c lw 72381
c lw 72422
c lw 72580
c lw 72585
c lw 72860
c lw 72967
c lw 72976
c lw 73300
c lw 73346
c lw 73592
c lw 73681
c lw 73810
c lw 74254
c lw 74451
c lw 74853
c lw 75102
c lw 75173
c lw 75390
c lw 75415
c lw 75453
c lw 75534
c lw 75544
c lw 75575
c lw 75714
c lw 75769
c lw 75837
c lw 75872
c lw 75919
c lw 76039
c lw 76137
c lw 76163
c lw 76194
c lw 76241
c lw 76280
c lw 76293
c lw 76414
c lw 76438
c lw 76468
c lw 76582
c lw 76607
c lw 76617
c lw 76632
c lw 76681
c lw 76693
c lw 76709
c lw 76990
c lw 77152
c lw 77204
c lw 77265
c lw 77270
c lw 77299
c lw 77336
c lw 77341
c lw 77380
c lw 77436
c lw 77495
c lw 77536
c lw 77573
c lw 77584
c lw 77594
c lw 77691
c lw 77732
c lw 77820
c lw 77821
c lw 77825
c lw 77862
c lw 77871
c lw 77906
c lw 77907
c lw 77910
c lw 77916
c lw 77917
c lw 77927
c lw 77948
c lw 77955
c lw 77959
c lw 77992
c lw 77996
c lw 78039
c lw 78041
c lw 78043
c lw 78066
c lw 78112
c lw 78137
c lw 78149
c lw 78150
c lw 78152
c lw 78153
c lw 78154
c lw 78156
c lw 78166
c lw 78204
c lw 78205
c lw 78206
c lw 78207
c lw 78208
c lw 78209
c lw 78211
c lw 78212
c lw 78213
c lw 78214
c lw 78215
c lw 78216
c lw 78217
c lw 78218
c lw 78219
c lw 78220
c lw 78222
c lw 78225
c lw 78226
c lw 78227
c lw 78228
c lw 78229
c lw 78230
c lw 78232
c lw 78233
c lw 78269
c lw 78270
c lw 78289
c lw 78320
c lw 78322
c lw 78338
c lw 78355
c lw 78420
c lw 78440
c lw 78464
c lw 78479
c lw 78492
c lw 78505
c lw 78507
c lw 78508
c lw 78509
c lw 78510
c lw 78511
c lw 78512
c lw 78536
c lw 78537
c lw 78538
c lw 78539
c lw 78540
c lw 78541
c lw 78542
c lw 78543
c lw 78544
c lw 78545
c lw 78546
c lw 78547
c lw 78548
c lw 78549
c lw 78550
c lw 78551
c lw 78552
c lw 78553
c lw 78559
c lw 78560
c lw 78562
c lw 78565
c lw 78572
c lw 78575
c lw 78576
c lw 78577
c lw 78578
c lw 78579
c lw 78580
c lw 78585
c lw 78586
c lw 78587
c lw 78588
c lw 78590
c lw 78804
c lw 78805
c lw 78806
c lw 78807
c lw 78808
c lw 78809
c lw 78810
c lw 78819
c lw 78822
c lw 78828
c lw 78834
c lw 78878
c lw 78937
c lw 78950
c lw 78963
c lw 78964
c lw 78979
c lw 78980
c lw 78981
c lw 78982
c lw 78983
c lw 78984
c lw 78985
c lw 79000
c lw 79075
c lw 79076
c lw 79218
c lw 79219
c lw 79220
c lw 79221
c lw 79222
c lw 79223
c lw 79224
c lw 79225
c lw 79237
c lw 79242
c lw 79243
c lw 79244
c lw 79245
c lw 79283
c lw 79286
c lw 79288
c lw 79290
c lw 79291
c lw 79292
c lw 79293
c lw 79294
c lw 79298
c lw 79304
c lw 79305
c lw 79307
c lw 79308
c lw 79311
c lw 79312
c lw 79313
c lw 79319
c lw 79320
c lw 79322
c lw 79326
c lw 79327
c lw 79328
c lw 79329
c lw 79330
c lw 79331
c lw 79332
c lw 79333
c lw 79334
c lw 79335
c lw 79436
c lw 79440
c lw 79477
c lw 79483
c lw 79484
c lw 79486
c lw 79487
c lw 79488
c lw 79489
c lw 79490
c lw 79491
c lw 79492
c lw 79493
c lw 79494
c lw 79495
c lw 79496
c lw 79499
c lw 79500
c lw 79501
c lw 79502
c lw 79504
c lw 79507
c lw 79508
c lw 79509
c lw 79512
c lw 79513
c lw 79514
c lw 79515
c lw 79520
c lw 79528
c lw 79529
c lw 79533
c lw 79535
c lw 79536
c lw 79537
c lw 79538
c lw 79539
c lw 79540
c lw 79541
c lw 79542
c lw 79543
c lw 79544
c lw 79545
c lw 79546
c lw 79547
c lw 79548
c lw 79549
c lw 79550
c lw 79551
c lw 79552
c lw 79553
c lw 79554
c lw 79555
c lw 79565
c lw 79566
c lw 79568
c lw 79569
c lw 79570
c lw 79571
c lw 79572
c lw 79573
c lw 79574
c lw 79575
c lw 79576
c lw 79577
c lw 79578
c lw 79579
c lw 79640
c lw 79658
c lw 79664
c lw 79690
c lw 79691
c lw 79692
c lw 79693
c lw 79694
c lw 79695
c lw 79696
c lw 79698
c lw 79699
c lw 79720
c lw 79786
c lw 79791
c lw 79792
c lw 79793
c lw 79795
c lw 79796
c lw 79799
c lw 79800
c lw 79801
c lw 79802
c lw 79803
c lw 79811
c lw 79812
c lw 79813
c lw 79814
c lw 79829
c lw 79830
c lw 79831
c lw 79832
c lw 79833
c lw 79834
c lw 79835
c lw 79836
c lw 79842
c lw 79843
c lw 79848
c lw 79849
c lw 79854
c lw 79857
c lw 79858
c lw 79859
c lw 79860
c lw 79861
c lw 79862
c lw 79863
c lw 79882
c lw 79883
c lw 79912
c lw 79914
c lw 79915
c lw 79916
c lw 79917
c lw 79918
c lw 79919
c lw 79920
c lw 79922
c lw 79923
c lw 79924
c lw 79925
c lw 79926
c lw 79927
c lw 79974
c lw 79977
c lw 79978
c lw 79979
c lw 79981
c lw 79982
c lw 79987
c lw 79993
c lw 79994
c lw 79995
c lw 80004
c lw 80005
c lw 80007
c lw 80008
c lw 80009
c lw 80010
c lw 80011
c lw 80012
c lw 80013
c lw 80014
c lw 80015
c lw 80035
c lw 80036
c lw 80037
c lw 80038
c lw 80039
c lw 80040
c lw 80041
c lw 80042
c lw 80050
c lw 80051
c lw 80052
c lw 80057
c lw 80058
c lw 80067
c lw 80068
c lw 80114
c lw 80119
c lw 80120
c lw 80121
c lw 80122
c lw 80123
c lw 80129
c lw 80132
c lw 80133
c lw 80134
c lw 80135
c lw 80136
c lw 80137
c lw 80138
c lw 80139
c lw 80140
c lw 80141
c lw 80155
c lw 80156
c lw 80157
c lw 80158
c lw 80186
c lw 80187
c lw 80188
c lw 80191
c lw 80192
c lw 80193
c lw 80194
c lw 80209
c lw 80210
c lw 80211
c lw 80212
c lw 80213
c lw 80214
c lw 80215
c lw 80216
c lw 80221
c lw 80228
c lw 80232
c lw 80234
c lw 80236
c lw 80237
c lw 80245
c lw 80249
c lw 80250
c lw 80251
c lw 80252
c lw 80253
c lw 80254
c lw 80255
c lw 80256
c lw 80259
c lw 80260
c lw 80273
c lw 80274
c lw 80277
c lw 80278
c lw 80279
c lw 80281
c lw 80293
c lw 80295
c lw 80296
c lw 80297
c lw 80298
c lw 80299
c lw 80300
c lw 80301
c lw 80302
c lw 80303
c lw 80304
c lw 80305
c lw 80306
c lw 80307
c lw 80308
c lw 80309
c lw 80310
c lw 80311
c lw 80312
c lw 80313
c lw 80314
c lw 80315
c lw 80316
c lw 80317
c lw 80327
c lw 80328
c lw 80329
c lw 80330
c lw 80332
c lw 80333
c lw 80334
c lw 80335
c lw 80336
c lw 80337
c lw 80338
c lw 80339
c lw 80340
c lw 80341
c lw 80342
c lw 80343
c lw 80344
c lw 80345
c lw 80346
c lw 80347
c lw 80348
c lw 80349
c lw 80350
c lw 80351
c lw 80352
c lw 80353
c lw 80354
c lw 80355
c lw 80356
c lw 80357
c lw 80358
c lw 80359
c lw 80360
c lw 80361
c lw 80362
c lw 80363
c lw 80364
c lw 80365
c lw 80366
c lw 80367
c lw 80368
c lw 80369
c lw 80370
c lw 80371
c lw 80372
c lw 80373
c lw 80374
c lw 80375
c lw 80376
c lw 80377
c lw 80378
c lw 80379
c lw 80380
c lw 80381
c lw 80382
c lw 80383
c lw 80384
c lw 80385
c lw 80386
c lw 80387
c lw 80388
c lw 80389
c lw 80390
c lw 80391
c lw 80392
c lw 80393
c lw 80394
c lw 80395
c lw 80399
c lw 80400
c lw 80401
c lw 80402
c lw 80403
c lw 80404
c lw 80405
c lw 80406
c lw 80407
c lw 80408
c lw 80409
c lw 80410
c lw 80411
c lw 80412
c lw 80413
c lw 80414
c lw 80415
c lw 80416
c lw 80417
c lw 80418
c lw 80419
c lw 80420
c lw 80421
c lw 80422
c lw 80423
c lw 80424
c lw 80425
c lw 80426
c lw 80427
c lw 80428
c lw 80429
c lw 80430
c lw 80431
c lw 80432
c lw 80433
c lw 80434
c lw 80435
c lw 80436
c lw 80437
c lw 80438
c lw 80439
c lw 80440
c lw 80441
c lw 80451
c lw 80452
c lw 80453
c lw 80454
c lw 80460
c lw 80461
c lw 80462
c lw 80463
c lw 80464
c lw 80465
c lw 80466
c lw 80467
c lw 80468
c lw 80469
c lw 80470
c lw 80471
c lw 80472
c lw 80473
c lw 80474
c lw 80475
c lw 80476
c lw 80477
c lw 80478
c lw 80479
c lw 80480
c lw 80481
c lw 80483
c lw 80512
c lw 80513
c lw 80516
c lw 80547
c lw 80548
c lw 80549
c lw 80550
c lw 80551
c lw 80552
c lw 80553
c lw 80554
c lw 80555
c lw 80556
c lw 80561
c lw 80566
c lw 80567
c lw 80568
c lw 80569
c lw 80570
c lw 80571
c lw 80572
c lw 80573
c lw 80574
c lw 80575
c lw 80576
c lw 80577
c lw 80578
c lw 80579
c lw 80580
c lw 80581
c lw 80582
c lw 80583
c lw 80584
c lw 80585
c lw 80614
c lw 80615
c lw 80616
c lw 80617
c lw 80618
c lw 80619
c lw 80620
c lw 80621
c lw 80622
c lw 80623
c lw 80624
c lw 80625
c lw 80629
c lw 80630
c lw 80697
c lw 80698
c lw 80742
c lw 80750
c lw 80754
c lw 80819
c lw 80820
c lw 80824
c lw 80887
c lw 80888
c lw 80889
c lw 80890
c lw 80891
c lw 80892
c lw 80893
c lw 80896
c lw 80898
c lw 80899
c lw 80901
c lw 80902
c lw 80903
c lw 80904
c lw 80905
c lw 80906
c lw 80907
c lw 80908
c lw 80909
c lw 80910
c lw 80911
c lw 80912
c lw 80913
c lw 80914
c lw 80915
c lw 80916
c lw 80917
c lw 80918
c lw 80919
c lw 80920
c lw 80921
c lw 80922
c lw 80923
c lw 80924
c lw 80925
c lw 80926
c lw 80948
c lw 80949
c lw 80950
c lw 80951
c lw 80952
c lw 80953
c lw 80954
c lw 80955
c lw 80956
c lw 80965
c lw 80966
c lw 80967
c lw 80968
c lw 80972
c lw 80973
c lw 80974
c lw 80975
c lw 80979
c lw 80980
Killed
1811.328u 8.422s 30:20.27 99.9%	0+0k 0+0io 0pf+0w