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_130_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 824
c lw 1438
c lw 1648
c lw 2135
c lw 2472
c lw 3015
c lw 3296
c lw 3374
c lw 4124
c lw 4874
c lw 4915
c lw 5308
c lw 5437
c lw 5993
c lw 6371
c lw 6607
c lw 6793
c lw 7711
c lw 8629
c lw 8779
c lw 9926
c lw 10957
c lw 11073
c lw 12220
c lw 12564
c lw 13292
c lw 13815
c lw 14434
c lw 14578
c lw 15287
c lw 15341
c lw 15683
c lw 16156
c lw 16215
c lw 17039
c lw 17089
c lw 17318
c lw 17656
c lw 18155
c lw 18371
c lw 19099
c lw 19424
c lw 19693
c lw 20383
c lw 20434
c lw 20477
c lw 21530
c lw 21708
c lw 22004
c lw 22583
c lw 22733
c lw 23322
c lw 23485
c lw 24387
c lw 24530
c lw 24989
c lw 25754
c lw 26155
c lw 26519
c lw 27138
c lw 27284
c lw 28066
c lw 28848
c lw 29137
c lw 29426
c lw 29902
c lw 30378
c lw 30574
c lw 30854
c lw 31919
c lw 32085
c lw 32264
c lw 32751
c lw 32954
c lw 33316
c lw 33621
c lw 33926
c lw 34268
c lw 34696
c lw 34697
c lw 35195
c lw 35665
c lw 35904
c lw 36105
c lw 36542
c lw 36674
c lw 37739
c lw 38326
c lw 38663
c lw 38804
c lw 39706
c lw 39892
c lw 40621
c lw 40980
c lw 42011
c lw 42489
c lw 42881
c lw 42921
c lw 43094
c lw 43446
c lw 44060
c lw 44062
c lw 44471
c lw 44519
c lw 44932
c lw 45268
c lw 45421
c lw 46323
c lw 46473
c lw 46654
c lw 46953
c lw 47010
c lw 47290
c lw 47566
c lw 47944
c lw 48039
c lw 48098
c lw 48176
c lw 48423
c lw 48549
c lw 48931
c lw 48985
c lw 49033
c lw 49117
c lw 49157
c lw 49214
c lw 49261
c lw 49343
c lw 49384
c lw 49560
c lw 49562
c lw 49578
c lw 49736
c lw 49781
c lw 49855
c lw 49982
c lw 50226
c lw 50424
c lw 50696
c lw 50955
c lw 51016
c lw 51260
c lw 51310
c lw 51347
c lw 51490
c lw 51525
c lw 51651
c lw 51729
c lw 51898
c lw 51951
c lw 52069
c lw 52112
c lw 52163
c lw 52394
c lw 52432
c lw 52802
c lw 53018
c lw 53338
c lw 53630
c lw 53743
c lw 53777
c lw 53778
c lw 53918
c lw 53996
c lw 54017
c lw 54161
c lw 54194
c lw 54319
c lw 54475
c lw 54476
c lw 54535
c lw 54571
c lw 54854
c lw 54898
c lw 55028
c lw 55079
c lw 55120
c lw 55133
c lw 55258
c lw 55286
c lw 55628
c lw 55868
c lw 55966
c lw 56338
c lw 56348
c lw 56450
c lw 56545
c lw 56651
c lw 56798
c lw 57032
c lw 57078
c lw 57207
c lw 57241
c lw 57689
c lw 57875
c lw 58111
c lw 58159
c lw 58253
c lw 58369
c lw 58441
c lw 58572
c lw 59327
c lw 59471
c lw 59650
c lw 59707
c lw 59755
c lw 59837
c lw 59855
c lw 60136
c lw 60282
c lw 60329
c lw 60414
c lw 60435
c lw 60551
c lw 60570
c lw 60578
c lw 60612
c lw 60628
c lw 60635
c lw 60653
c lw 60668
c lw 60669
c lw 60676
c lw 60686
c lw 60734
c lw 60745
c lw 60752
c lw 60754
c lw 60770
c lw 60775
c lw 60777
c lw 60779
c lw 60823
c lw 60842
c lw 60882
c lw 60930
c lw 60933
c lw 60940
c lw 60947
c lw 60949
c lw 60976
c lw 60988
c lw 61002
c lw 61039
c lw 61171
c lw 61249
c lw 61300
c lw 61392
c lw 61430
c lw 61443
c lw 61465
c lw 61545
c lw 61564
c lw 61565
c lw 61622
c lw 61637
c lw 61705
c lw 61796
c lw 61912
c lw 61965
c lw 62043
c lw 62667
c lw 62714
c lw 62715
c lw 62725
c lw 62735
c lw 62761
c lw 62771
c lw 62795
c lw 62797
c lw 62800
c lw 62829
c lw 62844
c lw 62856
c lw 62857
c lw 62890
c lw 62893
c lw 62937
c lw 62972
c lw 62990
c lw 62997
c lw 63004
c lw 63006
c lw 63036
c lw 63145
c lw 63170
c lw 63171
c lw 63172
c lw 63173
c lw 63174
c lw 63189
c lw 63199
c lw 63200
c lw 63202
c lw 63204
c lw 63205
c lw 63206
c lw 63207
c lw 63208
c lw 63218
c lw 63219
c lw 63222
c lw 63223
c lw 63224
c lw 63225
c lw 63226
c lw 63227
c lw 63229
c lw 63230
c lw 63231
c lw 63232
c lw 63237
c lw 63241
c lw 63244
c lw 63246
c lw 63247
c lw 63248
c lw 63249
c lw 63250
c lw 63251
c lw 63252
c lw 63253
c lw 63254
c lw 63255
c lw 63256
c lw 63257
c lw 63258
c lw 63272
c lw 63273
c lw 63307
c lw 63319
c lw 63320
c lw 63321
c lw 63322
c lw 63323
c lw 63332
c lw 63333
c lw 63334
c lw 63335
c lw 63336
c lw 63337
c lw 63346
c lw 63352
c lw 63354
c lw 63359
c lw 63360
c lw 63374
c lw 63376
c lw 63377
c lw 63381
c lw 63388
c lw 63406
c lw 63422
c lw 63423
c lw 63426
c lw 63427
c lw 63430
c lw 63450
c lw 63451
c lw 63452
c lw 63489
c lw 63490
c lw 63626
c lw 63627
c lw 63628
c lw 63629
c lw 63630
c lw 63631
c lw 63638
c lw 63650
c lw 63651
c lw 63652
c lw 63653
c lw 63655
c lw 63656
c lw 63658
c lw 63659
c lw 63665
c lw 63666
c lw 63667
c lw 63676
c lw 63677
c lw 63683
c lw 63685
c lw 63713
c lw 63779
c lw 63780
c lw 63793
c lw 63826
c lw 63830
c lw 63831
c lw 63834
c lw 63847
c lw 63848
c lw 63867
c lw 63868
c lw 63869
c lw 63870
c lw 63871
c lw 63872
c lw 63873
c lw 63874
c lw 63875
c lw 63876
c lw 63877
c lw 63878
c lw 63879
c lw 63880
c lw 63881
c lw 63882
c lw 63883
c lw 63884
c lw 63885
c lw 63886
c lw 63887
c lw 63888
c lw 63889
c lw 63890
c lw 63891
c lw 63892
c lw 63893
c lw 63894
c lw 63895
c lw 63896
c lw 63897
c lw 63899
c lw 63900
c lw 63901
c lw 63902
c lw 63903
c lw 63904
c lw 63905
c lw 63906
c lw 63907
c lw 63913
c lw 63914
c lw 63915
c lw 63916
c lw 63917
c lw 63928
c lw 63935
c lw 63943
c lw 63957
c lw 63958
c lw 63959
c lw 63971
c lw 63972
c lw 63973
c lw 63975
c lw 63976
c lw 63995
c lw 63996
c lw 63997
c lw 64001
c lw 64002
c lw 64003
c lw 64004
c lw 64005
c lw 64006
c lw 64007
c lw 64008
c lw 64010
c lw 64011
c lw 64012
c lw 64060
c lw 64061
c lw 64062
c lw 64063
c lw 64064
c lw 64065
c lw 64066
c lw 64067
c lw 64068
c lw 64069
c lw 64070
c lw 64071
c lw 64072
c lw 64073
c lw 64074
c lw 64082
c lw 64083
c lw 64084
c lw 64085
c lw 64086
c lw 64088
c lw 64089
c lw 64090
c lw 64091
c lw 64092
c lw 64093
c lw 64094
c lw 64095
c lw 64096
c lw 64097
c lw 64098
c lw 64099
c lw 64100
c lw 64291
c lw 64294
c lw 64296
c lw 64331
c lw 64332
c lw 64333
c lw 64334
c lw 64335
c lw 64336
c lw 64337
c lw 64338
c lw 64339
c lw 64340
c lw 64341
c lw 64343
c lw 64344
c lw 64346
c lw 64347
c lw 64348
c lw 64349
c lw 64351
c lw 64352
c lw 64354
c lw 64355
c lw 64356
c lw 64419
c lw 64541
c lw 64542
c lw 64543
c lw 64545
c lw 64558
c lw 64559
c lw 64560
c lw 64561
c lw 64562
c lw 64566
c lw 64567
c lw 64568
c lw 64569
c lw 64608
c lw 64619
c lw 64620
c lw 64623
c lw 64625
c lw 64626
c lw 64627
c lw 64628
c lw 64629
c lw 64630
c lw 64631
c lw 64632
c lw 64633
c lw 64634
c lw 64635
c lw 64641
c lw 64647
c lw 64648
c lw 64649
c lw 64652
c lw 64653
c lw 64657
c lw 64658
c lw 64659
c lw 64660
c lw 64661
c lw 64662
c lw 64663
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 64680
c lw 64682
c lw 64683
c lw 64684
c lw 64685
c lw 64686
c lw 64687
c lw 64688
c lw 64689
c lw 64690
c lw 64691
c lw 64692
c lw 64693
c lw 64694
c lw 64695
c lw 64696
c lw 64698
c lw 64699
c lw 64700
c lw 64701
c lw 64702
c lw 64703
c lw 64704
c lw 64705
c lw 64706
c lw 64707
c lw 64708
c lw 64709
c lw 64710
c lw 64711
c lw 64712
c lw 64730
c lw 64731
c lw 64732
c lw 64733
c lw 64734
c lw 64735
c lw 64736
c lw 64737
c lw 64743
c lw 64744
c lw 64745
c lw 64746
c lw 64747
c lw 64748
c lw 64749
c lw 64750
c lw 64751
c lw 64752
c lw 64753
c lw 64754
c lw 64755
c lw 64756
c lw 64757
c lw 64758
c lw 64759
c lw 64760
c lw 64761
c lw 64762
c lw 64763
c lw 64777
c lw 64778
c lw 64782
c lw 64783
c lw 64784
c lw 64785
c lw 64786
c lw 64787
c lw 64788
c lw 64789
c lw 64790
c lw 64791
c lw 64792
c lw 64793
c lw 64794
c lw 64795
c lw 64796
c lw 64797
c lw 64806
c lw 64807
c lw 64808
c lw 64809
c lw 64814
c lw 64827
c lw 64830
c lw 64842
c lw 64899
c lw 64900
c lw 64901
c lw 64902
c lw 65041
c lw 65042
c lw 65043
c lw 65044
c lw 65045
c lw 65046
c lw 65047
c lw 65054
c lw 65056
c lw 65057
c lw 65058
c lw 65059
c lw 65064
c lw 65065
c lw 65066
c lw 65067
c lw 65068
c lw 65069
c lw 65070
c lw 65071
c lw 65072
c lw 65073
c lw 65074
c lw 65075
c lw 65076
c lw 65077
c lw 65078
c lw 65079
c lw 65080
c lw 65081
c lw 65082
c lw 65083
c lw 65084
c lw 65085
c lw 65086
c lw 65087
c lw 65088
c lw 65089
c lw 65090
c lw 65091
c lw 65092
c lw 65093
c lw 65094
c lw 65095
c lw 65096
c lw 65097
c lw 65104
c lw 65105
c lw 65106
c lw 65119
c lw 65120
c lw 65139
c lw 65145
c lw 65146
c lw 65147
c lw 65148
c lw 65149
c lw 65155
c lw 65156
c lw 65157
c lw 65160
c lw 65165
c lw 65166
c lw 65167
c lw 65169
c lw 65170
c lw 65171
c lw 65172
c lw 65173
c lw 65174
c lw 65175
c lw 65176
c lw 65177
c lw 65179
c lw 65180
c lw 65181
c lw 65183
c lw 65184
c lw 65185
c lw 65186
c lw 65187
c lw 65188
c lw 65189
c lw 65190
c lw 65192
c lw 65199
c lw 65200
c lw 65201
c lw 65202
c lw 65204
c lw 65207
c lw 65208
c lw 65211
c lw 65213
c lw 65220
c lw 65221
c lw 65222
c lw 65223
c lw 65224
c lw 65225
c lw 65226
c lw 65227
c lw 65228
c lw 65229
c lw 65230
c lw 65231
c lw 65232
c lw 65233
c lw 65234
c lw 65243
c lw 65244
c lw 65246
c lw 65247
c lw 65248
c lw 65249
c lw 65250
c lw 65252
c lw 65253
c lw 65254
c lw 65270
c lw 65274
c lw 65275
c lw 65276
c lw 65277
c lw 65278
c lw 65279
c lw 65280
c lw 65281
c lw 65282
c lw 65283
c lw 65284
c lw 65285
c lw 65286
c lw 65287
c lw 65288
c lw 65289
c lw 65290
c lw 65291
c lw 65292
c lw 65293
c lw 65295
c lw 65296
c lw 65297
c lw 65298
c lw 65299
c lw 65301
c lw 65302
c lw 65303
c lw 65304
c lw 65306
c lw 65310
c lw 65311
c lw 65312
c lw 65314
c lw 65315
c lw 65317
c lw 65318
c lw 65319
c lw 65320
c lw 65321
c lw 65322
c lw 65324
c lw 65325
c lw 65326
c lw 65327
c lw 65328
c lw 65329
c lw 65330
c lw 65331
c lw 65332
c lw 65333
c lw 65334
c lw 65335
c lw 65336
c lw 65337
c lw 65338
c lw 65339
c lw 65341
c lw 65342
c lw 65343
c lw 65347
c lw 65348
c lw 65350
c lw 65351
c lw 65352
c lw 65353
c lw 65354
c lw 65355
c lw 65356
c lw 65357
c lw 65358
c lw 65359
c lw 65360
c lw 65361
c lw 65362
c lw 65363
c lw 65364
c lw 65365
c lw 65366
c lw 65367
c lw 65368
c lw 65369
c lw 65370
c lw 65371
c lw 65372
c lw 65373
c lw 65374
c lw 65375
c lw 65376
c lw 65377
c lw 65378
c lw 65379
c lw 65380
c lw 65381
c lw 65382
c lw 65383
c lw 65384
c lw 65385
c lw 65386
c lw 65387
c lw 65388
c lw 65389
c lw 65390
c lw 65391
c lw 65392
c lw 65393
c lw 65394
c lw 65395
c lw 65396
c lw 65397
c lw 65398
c lw 65399
c lw 65400
c lw 65401
c lw 65404
c lw 65419
c lw 65432
c lw 65433
c lw 65434
c lw 65435
c lw 65436
c lw 65437
c lw 65438
c lw 65439
c lw 65440
Killed
1812.784u 6.958s 30:20.09 99.9%	0+0k 0+0io 0pf+0w