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_160_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 548
c lw 1096
c lw 1643
c lw 1991
c lw 2271
c lw 2339
c lw 2635
c lw 3229
c lw 3597
c lw 3769
c lw 4137
c lw 4309
c lw 4980
c lw 5641
c lw 5651
c lw 6352
c lw 7053
c lw 7531
c lw 7754
c lw 8391
c lw 9059
c lw 9727
c lw 10224
c lw 10395
c lw 11321
c lw 12153
c lw 12247
c lw 13051
c lw 13173
c lw 13949
c lw 14099
c lw 14593
c lw 15087
c lw 16166
c lw 16940
c lw 17245
c lw 17922
c lw 18196
c lw 18522
c lw 18599
c lw 19276
c lw 19963
c lw 20579
c lw 20650
c lw 21479
c lw 22308
c lw 23137
c lw 23298
c lw 23780
c lw 24629
c lw 25401
c lw 25478
c lw 26250
c lw 26327
c lw 26461
c lw 26527
c lw 27155
c lw 27176
c lw 27552
c lw 28178
c lw 28767
c lw 29093
c lw 29837
c lw 30066
c lw 30895
c lw 31039
c lw 31354
c lw 32012
c lw 32640
c lw 32985
c lw 33211
c lw 33325
c lw 33949
c lw 33958
c lw 34574
c lw 34856
c lw 35685
c lw 35754
c lw 36388
c lw 36652
c lw 37390
c lw 37859
c lw 38128
c lw 38927
c lw 39726
c lw 40360
c lw 40525
c lw 40750
c lw 41370
c lw 42142
c lw 42837
c lw 42914
c lw 43532
c lw 44237
c lw 44909
c lw 45241
c lw 45913
c lw 46567
c lw 46994
c lw 47602
c lw 48210
c lw 48251
c lw 48830
c lw 48928
c lw 48931
c lw 49562
c lw 49592
c lw 50186
c lw 50196
c lw 50282
c lw 50969
c lw 51222
c lw 51476
c lw 51595
c lw 52163
c lw 52172
c lw 52549
c lw 52570
c lw 52634
c lw 52740
c lw 53080
c lw 53883
c lw 54185
c lw 54487
c lw 54622
c lw 54686
c lw 55415
c lw 55489
c lw 55814
c lw 56212
c lw 56466
c lw 56598
c lw 56700
c lw 56867
c lw 57074
c lw 57349
c lw 57685
c lw 57829
c lw 58030
c lw 58094
c lw 58115
c lw 58124
c lw 58166
c lw 58355
c lw 58373
c lw 58513
c lw 58615
c lw 58940
c lw 58997
c lw 59035
c lw 59149
c lw 59285
c lw 59294
c lw 59371
c lw 59375
c lw 59385
c lw 59704
c lw 59857
c lw 59990
c lw 60029
c lw 60258
c lw 60515
c lw 60536
c lw 60769
c lw 60891
c lw 61035
c lw 61065
c lw 61166
c lw 61200
c lw 61322
c lw 61916
c lw 61919
c lw 61956
c lw 61993
c lw 62076
c lw 62200
c lw 62266
c lw 62400
c lw 62436
c lw 62694
c lw 62762
c lw 62962
c lw 63064
c lw 63128
c lw 63330
c lw 63471
c lw 63612
c lw 63731
c lw 63773
c lw 64159
c lw 64163
c lw 64223
c lw 64395
c lw 64450
c lw 64545
c lw 64730
c lw 64798
c lw 64900
c lw 64941
c lw 64943
c lw 64984
c lw 65020
c lw 65269
c lw 65363
c lw 65461
c lw 65888
c lw 65965
c lw 66162
c lw 66237
c lw 66359
c lw 66385
c lw 66667
c lw 66829
c lw 66898
c lw 67023
c lw 67078
c lw 67097
c lw 67320
c lw 67442
c lw 67514
c lw 67682
c lw 67750
c lw 67824
c lw 67899
c lw 68113
c lw 68281
c lw 68291
c lw 68368
c lw 69063
c lw 69187
c lw 69242
c lw 69409
c lw 69453
c lw 69532
c lw 69680
c lw 69921
c lw 70750
c lw 70760
c lw 71094
c lw 71238
c lw 71295
c lw 71315
c lw 71393
c lw 71742
c lw 71813
c lw 72014
c lw 72140
c lw 72204
c lw 72239
c lw 72482
c lw 72575
c lw 72746
c lw 72978
c lw 73158
c lw 73203
c lw 73257
c lw 73335
c lw 73723
c lw 73893
c lw 74424
c lw 74502
c lw 74505
c lw 74577
c lw 74696
c lw 74861
c lw 74906
c lw 74936
c lw 74969
c lw 74981
c lw 74991
c lw 75085
c lw 75113
c lw 75128
c lw 75192
c lw 75238
c lw 75275
c lw 75312
c lw 75354
c lw 75358
c lw 75418
c lw 75425
c lw 75427
c lw 75439
c lw 75459
c lw 75471
c lw 75493
c lw 75549
c lw 75550
c lw 75552
c lw 75561
c lw 75562
c lw 75593
c lw 75629
c lw 75670
c lw 75702
c lw 75740
c lw 75741
c lw 75743
c lw 75753
c lw 75824
c lw 75829
c lw 75857
c lw 75862
c lw 75992
c lw 76115
c lw 76256
c lw 76263
c lw 76317
c lw 76358
c lw 76392
c lw 76411
c lw 76440
c lw 76443
c lw 76445
c lw 76450
c lw 76505
c lw 76512
c lw 76536
c lw 76676
c lw 76681
c lw 76709
c lw 76710
c lw 77038
c lw 77051
c lw 77077
c lw 77085
c lw 77087
c lw 77092
c lw 77093
c lw 77100
c lw 77106
c lw 77107
c lw 77126
c lw 77130
c lw 77180
c lw 77205
c lw 77208
c lw 77217
c lw 77224
c lw 77225
c lw 77258
c lw 77263
c lw 77270
c lw 77275
c lw 77287
c lw 77311
c lw 77314
c lw 77353
c lw 77413
c lw 77479
c lw 77540
c lw 77585
c lw 77614
c lw 77622
c lw 77670
c lw 77671
c lw 77837
c lw 77839
c lw 77879
c lw 77882
c lw 77896
c lw 77899
c lw 77900
c lw 77901
c lw 77907
c lw 77945
c lw 77948
c lw 77950
c lw 77951
c lw 77953
c lw 77957
c lw 77962
c lw 77974
c lw 77979
c lw 77985
c lw 78029
c lw 78035
c lw 78038
c lw 78049
c lw 78050
c lw 78056
c lw 78057
c lw 78059
c lw 78072
c lw 78075
c lw 78076
c lw 78077
c lw 78078
c lw 78084
c lw 78093
c lw 78094
c lw 78191
c lw 78196
c lw 78201
c lw 78204
c lw 78214
c lw 78215
c lw 78227
c lw 78228
c lw 78240
c lw 78241
c lw 78253
c lw 78256
c lw 78257
c lw 78258
c lw 78260
c lw 78262
c lw 78263
c lw 78264
c lw 78267
c lw 78275
c lw 78282
c lw 78283
c lw 78284
c lw 78285
c lw 78286
c lw 78287
c lw 78288
c lw 78289
c lw 78291
c lw 78292
c lw 78293
c lw 78294
c lw 78295
c lw 78296
c lw 78297
c lw 78298
c lw 78299
c lw 78301
c lw 78302
c lw 78303
c lw 78305
c lw 78306
c lw 78308
c lw 78309
c lw 78311
c lw 78317
c lw 78328
c lw 78329
c lw 78330
c lw 78334
c lw 78335
c lw 78336
c lw 78337
c lw 78338
c lw 78339
c lw 78340
c lw 78341
c lw 78342
c lw 78343
c lw 78346
c lw 78347
c lw 78348
c lw 78349
c lw 78351
c lw 78352
c lw 78353
c lw 78354
c lw 78355
c lw 78356
c lw 78357
c lw 78358
c lw 78359
c lw 78360
c lw 78361
c lw 78362
c lw 78363
c lw 78364
c lw 78365
c lw 78367
c lw 78368
c lw 78369
c lw 78381
c lw 78403
c lw 78407
c lw 78416
c lw 78417
c lw 78418
c lw 78419
c lw 78420
c lw 78421
c lw 78422
c lw 78423
c lw 78424
c lw 78425
c lw 78426
c lw 78427
c lw 78428
c lw 78436
c lw 78437
c lw 78480
c lw 78482
c lw 78483
c lw 78484
c lw 78485
c lw 78486
c lw 78487
c lw 78492
c lw 78493
c lw 78495
c lw 78512
c lw 78513
c lw 78517
c lw 78518
c lw 78519
c lw 78520
c lw 78521
c lw 78522
c lw 78523
c lw 78524
c lw 78525
c lw 78526
c lw 78527
c lw 78528
c lw 78529
c lw 78530
c lw 78531
c lw 78532
c lw 78533
c lw 78534
c lw 78535
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 78554
c lw 78555
c lw 78556
c lw 78559
c lw 78560
c lw 78561
c lw 78562
c lw 78563
c lw 78564
c lw 78567
c lw 78568
c lw 78569
c lw 78570
c lw 78571
c lw 78572
c lw 78573
c lw 78574
c lw 78575
c lw 78576
c lw 78577
c lw 78578
c lw 78579
c lw 78580
c lw 78581
c lw 78605
c lw 78606
c lw 78607
c lw 78626
c lw 78627
c lw 78628
c lw 78629
c lw 78630
c lw 78631
c lw 78632
c lw 78633
c lw 78635
c lw 78636
c lw 78637
c lw 78638
c lw 78639
c lw 78640
c lw 78641
c lw 78642
c lw 78643
c lw 78644
c lw 78645
c lw 78646
c lw 78647
c lw 78648
c lw 78649
c lw 78650
c lw 78651
c lw 78653
c lw 78654
c lw 78655
c lw 78656
c lw 78657
c lw 78665
c lw 78666
c lw 78667
c lw 78668
c lw 78670
c lw 78671
c lw 78672
c lw 78695
c lw 78696
c lw 78697
c lw 78698
c lw 78725
c lw 78728
c lw 78762
c lw 78763
c lw 78764
c lw 78765
c lw 78766
c lw 78767
c lw 78769
c lw 78770
c lw 78788
c lw 78845
c lw 78849
c lw 78858
c lw 78862
c lw 78863
c lw 78868
c lw 78869
c lw 78886
c lw 78887
c lw 78888
c lw 78889
c lw 78890
c lw 78891
c lw 78892
c lw 78893
c lw 78894
c lw 78895
c lw 78896
c lw 78897
c lw 78898
c lw 78899
c lw 78900
c lw 78901
c lw 78902
c lw 78903
c lw 78904
c lw 78905
c lw 78906
c lw 78907
c lw 78908
c lw 78909
c lw 78910
c lw 78911
c lw 78913
c lw 78916
c lw 78917
c lw 78918
c lw 78919
c lw 78920
c lw 78921
c lw 78937
c lw 78941
c lw 78949
c lw 78950
c lw 79030
c lw 79031
c lw 79032
c lw 79034
c lw 79035
c lw 79036
c lw 79037
c lw 79038
c lw 79039
c lw 79041
c lw 79042
c lw 79043
c lw 79044
c lw 79045
c lw 79046
c lw 79047
c lw 79055
c lw 79056
c lw 79057
c lw 79058
c lw 79059
c lw 79060
c lw 79061
c lw 79062
c lw 79063
c lw 79064
c lw 79065
c lw 79066
c lw 79067
c lw 79068
c lw 79069
c lw 79071
c lw 79072
c lw 79073
c lw 79074
c lw 79075
c lw 79076
c lw 79077
c lw 79078
c lw 79079
c lw 79080
c lw 79081
c lw 79082
c lw 79083
c lw 79084
c lw 79085
c lw 79086
c lw 79087
c lw 79088
c lw 79089
c lw 79090
c lw 79091
c lw 79092
c lw 79093
c lw 79111
c lw 79112
c lw 79113
c lw 79114
c lw 79115
c lw 79116
c lw 79117
c lw 79122
c lw 79123
c lw 79124
c lw 79125
c lw 79126
c lw 79127
c lw 79137
c lw 79138
c lw 79139
c lw 79140
c lw 79141
c lw 79142
c lw 79143
c lw 79144
c lw 79179
c lw 79180
c lw 79181
c lw 79182
c lw 79183
c lw 79184
c lw 79185
c lw 79186
c lw 79187
c lw 79188
c lw 79189
c lw 79190
c lw 79191
c lw 79192
c lw 79193
c lw 79194
c lw 79195
c lw 79196
c lw 79197
c lw 79198
Killed
1815.349u 4.416s 30:20.13 99.9%	0+0k 0+0io 0pf+0w