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_KnotPipatsrisawat_random-net-100-2_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 78
c lw 513
c lw 603
c lw 2022
c lw 2948
c lw 4081
c lw 5752
c lw 6729
c lw 8007
c lw 8745
c lw 10134
c lw 11636
c lw 13359
c lw 14848
c lw 15307
c lw 15576
c lw 15706
c lw 15916
c lw 16045
c lw 16689
c lw 16869
c lw 17569
c lw 18519
c lw 19545
c lw 19638
c lw 19822
c lw 19924
c lw 20562
c lw 20982
c lw 21100
c lw 21781
c lw 21932
c lw 22201
c lw 22259
c lw 22377
c lw 22388
c lw 22430
c lw 22532
c lw 22843
c lw 23022
c lw 23727
c lw 23791
c lw 23873
c lw 23975
c lw 24646
c lw 24851
c lw 24858
c lw 24994
c lw 25015
c lw 25087
c lw 25296
c lw 26095
c lw 26340
c lw 26442
c lw 26588
c lw 26706
c lw 27130
c lw 27183
c lw 27226
c lw 27295
c lw 27367
c lw 27643
c lw 28327
c lw 28333
c lw 28352
c lw 29328
c lw 30342
c lw 30443
c lw 30475
c lw 30788
c lw 30903
c lw 31097
c lw 31171
c lw 31290
c lw 31482
c lw 31629
c lw 31772
c lw 32265
c lw 32288
c lw 33174
c lw 33208
c lw 33337
c lw 33358
c lw 33549
c lw 34076
c lw 34082
c lw 34083
c lw 34127
c lw 34132
c lw 34184
c lw 34201
c lw 34294
c lw 34353
c lw 34545
c lw 34832
c lw 35429
c lw 35456
c lw 35671
c lw 35928
c lw 36103
c lw 36204
c lw 36211
c lw 36245
c lw 36270
c lw 36276
c lw 36551
c lw 36552
c lw 36556
c lw 36599
c lw 36716
c lw 36810
c lw 37254
c lw 37290
c lw 37339
c lw 37372
c lw 37384
c lw 37442
c lw 37491
c lw 37524
c lw 37536
c lw 38199
c lw 38391
c lw 38589
c lw 38615
c lw 38746
c lw 38845
c lw 39323
c lw 39519
c lw 39672
c lw 39782
c lw 39965
c lw 39982
c lw 39993
c lw 40009
c lw 40030
c lw 40034
c lw 40057
c lw 40161
c lw 40173
c lw 40187
c lw 40194
c lw 40199
c lw 40210
c lw 40590
c lw 40883
c lw 40964
c lw 40968
c lw 40988
c lw 41201
c lw 41278
c lw 41977
c lw 42058
c lw 42114
c lw 42189
c lw 42280
c lw 42451
c lw 42568
c lw 42600
c lw 42679
c lw 42681
c lw 42723
c lw 42737
c lw 42798
c lw 42801
c lw 42858
c lw 42948
c lw 43025
c lw 43036
c lw 43158
c lw 43188
c lw 43191
c lw 43195
c lw 43218
c lw 43311
c lw 43320
c lw 43340
c lw 43436
c lw 43440
c lw 43479
c lw 43606
c lw 43911
c lw 43998
c lw 44050
c lw 44122
c lw 44134
c lw 44200
c lw 44326
c lw 44359
c lw 44469
c lw 44503
c lw 44510
c lw 44693
c lw 44725
c lw 44733
c lw 44757
c lw 44771
c lw 44868
c lw 44934
c lw 44955
c lw 44967
c lw 44989
c lw 44996
c lw 45033
c lw 45085
c lw 45118
c lw 45132
c lw 45171
c lw 45179
c lw 45211
c lw 45212
c lw 45219
c lw 45243
c lw 45257
c lw 45264
c lw 45283
c lw 45301
c lw 45322
c lw 45349
c lw 45353
c lw 45354
c lw 45356
c lw 45370
c lw 45386
c lw 45400
c lw 45439
c lw 45447
c lw 45479
c lw 45480
c lw 45522
c lw 45552
c lw 45582
c lw 46118
c lw 46163
c lw 46170
c lw 46194
c lw 46208
c lw 46214
c lw 46215
c lw 46231
c lw 46236
c lw 46249
c lw 46269
c lw 46305
c lw 46308
c lw 46312
c lw 46328
c lw 46350
c lw 46363
c lw 46364
c lw 46368
c lw 46490
c lw 46512
c lw 46523
c lw 46729
c lw 46811
c lw 46950
c lw 46974
c lw 47069
c lw 47182
c lw 47197
c lw 47410
c lw 47521
c lw 47647
c lw 47693
c lw 47998
c lw 48146
c lw 48451
c lw 48502
c lw 48511
c lw 48513
c lw 48580
c lw 48581
c lw 48583
c lw 48584
c lw 48593
c lw 48595
c lw 48596
c lw 48603
c lw 48936
c lw 49028
c lw 49041
c lw 49074
c lw 49113
c lw 49514
c lw 49695
c lw 49699
c lw 49758
c lw 50064
c lw 50112
c lw 50132
c lw 50265
c lw 50337
c lw 50477
c lw 50572
c lw 50768
c lw 50830
c lw 50843
c lw 50864
c lw 50927
c lw 50996
c lw 51070
c lw 51144
c lw 51161
c lw 51174
c lw 51179
c lw 51268
c lw 51270
c lw 51271
c lw 51638
c lw 51830
c lw 51837
c lw 51841
c lw 51842
c lw 51843
c lw 51848
c lw 51849
c lw 51852
c lw 51853
c lw 52067
c lw 52151
c lw 52220
c lw 52820
c lw 52887
c lw 52888
c lw 52889
c lw 52890
c lw 52893
c lw 52896
c lw 52897
c lw 52898
c lw 52899
c lw 52902
c lw 52906
c lw 52917
c lw 52933
c lw 52936
c lw 52937
c lw 52938
c lw 52939
c lw 52940
c lw 52941
c lw 52942
c lw 52943
c lw 52944
c lw 52950
c lw 52951
c lw 52953
c lw 52954
c lw 52956
c lw 52959
c lw 52961
c lw 52963
c lw 52965
c lw 52966
c lw 52967
c lw 52968
c lw 52970
c lw 52971
c lw 52978
c lw 52991
c lw 52996
c lw 53009
c lw 53097
c lw 53098
c lw 53100
c lw 53177
c lw 53257
c lw 53391
c lw 53428
c lw 53429
c lw 53525
c lw 53568
c lw 53602
c lw 53640
c lw 53644
c lw 53646
c lw 53648
c lw 53714
c lw 53730
c lw 53748
c lw 53775
c lw 54085
c lw 54135
c lw 54201
c lw 54217
c lw 54219
c lw 54230
c lw 54235
c lw 54322
c lw 54391
c lw 54478
c lw 54851
c lw 55473
c lw 55629
c lw 55916
c lw 56126
c lw 56352
c lw 56437
c lw 56441
c lw 56679
c lw 56702
c lw 56945
c lw 57083
c lw 57150
c lw 57265
c lw 57355
c lw 57404
c lw 57603
c lw 57632
c lw 57646
c lw 57712
c lw 57763
c lw 57768
c lw 57774
c lw 57778
c lw 57780
c lw 57801
c lw 57828
c lw 57864
c lw 58479
c lw 58501
c lw 58648
c lw 58781
c lw 58814
c lw 58832
c lw 59084
c lw 59219
c lw 59572
c lw 60298
c lw 60477
c lw 60580
c lw 60741
c lw 60862
c lw 61005
c lw 61192
c lw 61194
c lw 61196
c lw 61199
c lw 61200
c lw 61202
c lw 61203
c lw 61210
c lw 61212
c lw 61214
c lw 61215
c lw 61216
c lw 61218
c lw 61219
c lw 61222
c lw 61228
c lw 61229
c lw 61230
c lw 61232
c lw 61233
c lw 61234
c lw 61235
c lw 61236
c lw 61345
c lw 61452
c lw 61459
c lw 61509
c lw 61533
c lw 61568
c lw 61728
c lw 61771
c lw 62096
c lw 62335
c lw 62575
c lw 62625
c lw 62649
c lw 62663
c lw 62669
c lw 62902
c lw 62905
c lw 62968
c lw 63063
c lw 63300
c lw 63455
c lw 63508
c lw 63567
c lw 63693
c lw 63721
c lw 63817
c lw 64162
c lw 64257
c lw 64284
c lw 64321
c lw 64380
c lw 64687
c lw 64690
c lw 64887
c lw 65074
c lw 65383
c lw 65430
c lw 65452
c lw 65618
c lw 65648
c lw 65827
c lw 65874
c lw 65896
c lw 65955
c lw 66010
c lw 66038
c lw 66048
c lw 66071
c lw 66074
c lw 66087
c lw 66102
c lw 66105
c lw 66107
c lw 66152
c lw 66155
c lw 66161
c lw 66198
c lw 66217
c lw 66255
c lw 66258
c lw 66269
c lw 66311
c lw 66313
c lw 66326
c lw 66339
c lw 66342
c lw 67374
c lw 67439
c lw 67461
c lw 67466
c lw 67486
c lw 67532
c lw 67591
c lw 67699
c lw 67742
c lw 67754
c lw 67759
c lw 67763
c lw 67780
c lw 67816
c lw 67837
c lw 67878
c lw 67881
c lw 67888
c lw 67918
c lw 67937
c lw 68236
c lw 68261
c lw 68298
c lw 68302
c lw 68304
c lw 68307
c lw 68348
c lw 68351
c lw 68367
c lw 68368
c lw 68371
c lw 68386
c lw 68389
c lw 68391
c lw 68393
c lw 68404
c lw 68409
c lw 68414
c lw 68418
c lw 68432
c lw 68435
c lw 68442
c lw 68448
c lw 68467
c lw 68469
c lw 68472
c lw 68479
c lw 68483
c lw 68485
c lw 68498
c lw 68505
c lw 68508
c lw 68511
c lw 68512
c lw 68514
c lw 68525
c lw 68530
c lw 68538
c lw 68553
c lw 68556
c lw 68562
c lw 68563
c lw 68564
c lw 68567
c lw 68574
c lw 68587
c lw 68594
c lw 68597
c lw 68599
c lw 68600
c lw 68602
c lw 68603
c lw 68604
c lw 68608
c lw 68616
c lw 68617
c lw 68620
c lw 68621
c lw 68624
c lw 68627
c lw 68631
c lw 68633
c lw 68635
c lw 68644
c lw 68645
c lw 68646
c lw 68647
c lw 68649
c lw 68650
c lw 68652
c lw 68653
c lw 68654
c lw 68656
c lw 68657
c lw 68658
c lw 68659
c lw 68660
c lw 68662
c lw 68669
c lw 68673
c lw 68674
c lw 68675
c lw 68677
c lw 68678
c lw 68680
c lw 68686
c lw 68689
c lw 68690
c lw 68694
c lw 68695
c lw 68696
c lw 68697
c lw 68698
c lw 68699
c lw 68700
c lw 68701
c lw 68702
c lw 68703
c lw 68704
c lw 68705
c lw 68706
c lw 68761
c lw 68782
c lw 68999
c lw 69094
c lw 70111
c lw 70275
c lw 70537
c lw 70600
c lw 70607
c lw 70619
c lw 70654
c lw 70697
c lw 70721
c lw 70728
c lw 70897
c lw 70916
c lw 70932
c lw 71249
c lw 71527
c lw 71878
c lw 72569
c lw 72784
c lw 73056
c lw 73109
c lw 73382
c lw 73549
c lw 73555
c lw 74205
c lw 74248
c lw 74352
c lw 74416
c lw 74433
c lw 75080
c lw 75439
c lw 75495
c lw 75527
c lw 75567
c lw 75667
c lw 76314
c lw 76424
c lw 76479
c lw 76593
c lw 76597
c lw 76664
c lw 76870
c lw 76922
c lw 77230
c lw 77595
c lw 77685
c lw 77753
c lw 77760
c lw 77888
c lw 78093
c lw 78146
c lw 79335
c lw 79351
c lw 79442
c lw 79467
c lw 79474
c lw 79542
c lw 79600
c lw 79632
c lw 79794
c lw 79917
c lw 79924
c lw 79925
c lw 79961
c lw 79985
c lw 79986
c lw 79997
c lw 80215
c lw 80909
c lw 80919
c lw 80949
c lw 81049
c lw 81148
c lw 81149
c lw 81159
c lw 81238
c lw 81259
c lw 81267
c lw 81506
c lw 81511
c lw 81544
c lw 81570
c lw 82164
c lw 82313
c lw 82320
c lw 82354
c lw 82388
c lw 82391
c lw 82404
c lw 82429
c lw 82759
c lw 83204
c lw 83250
c lw 83351
c lw 83837
c lw 83974
c lw 84192
c lw 84206
c lw 84289
c lw 84341
c lw 84369
c lw 84381
c lw 84410
c lw 84484
c lw 84529
c lw 84765
c lw 84790
c lw 84910
c lw 84919
c lw 85003
c lw 85009
c lw 85010
c lw 85016
c lw 85019
c lw 85028
c lw 85034
c lw 85037
c lw 85044
c lw 85050
c lw 85053
c lw 85056
c lw 85062
c lw 85071
c lw 85077
c lw 85078
c lw 85083
c lw 85084
c lw 85087
c lw 85121
c lw 85158
c lw 85159
c lw 85165
c lw 85168
c lw 85177
c lw 85183
c lw 85206
c lw 85225
c lw 85231
c lw 85288
c lw 85307
c lw 85310
c lw 85311
c lw 85316
c lw 85317
c lw 85323
c lw 85332
c lw 85338
c lw 85341
c lw 85343
c lw 85356
c lw 85363
c lw 85364
c lw 85368
c lw 85374
c lw 85380
c lw 85381
c lw 85388
c lw 85389
c lw 85394
c lw 85395
c lw 85398
c lw 85399
c lw 85400
c lw 85401
c lw 85402
c lw 85403
c lw 85406
c lw 85408
c lw 85410
c lw 85418
c lw 85425
c lw 85431
c lw 85434
c lw 85435
c lw 85436
c lw 85441
c lw 85444
c lw 85445
c lw 85453
c lw 85456
c lw 85459
c lw 85462
c lw 85466
c lw 85467
c lw 85468
c lw 85469
c lw 85470
c lw 85471
c lw 85472
c lw 85473
c lw 85474
c lw 85475
c lw 85476
c lw 85477
c lw 85478
c lw 85481
c lw 85482
c lw 85484
c lw 85487
c lw 85496
c lw 85497
c lw 85499
c lw 85501
c lw 85502
c lw 85503
c lw 85508
c lw 85509
c lw 85510
c lw 85511
c lw 85512
c lw 85513
c lw 85514
c lw 85515
c lw 85516
c lw 85517
c lw 85518
c lw 85519
c lw 85855
c lw 86150
c lw 86576
c lw 86629
c lw 86630
c lw 86637
c lw 86639
c lw 86642
c lw 86677
c lw 86718
c lw 86739
c lw 87326
c lw 87656
c lw 88000
c lw 88166
c lw 88222
c lw 88345
c lw 88526
c lw 88715
c lw 88809
c lw 88973
c lw 88991
c lw 89088
c lw 89128
c lw 89446
c lw 89459
c lw 89560
c lw 90065
c lw 90077
c lw 90095
c lw 90114
c lw 90140
c lw 90176
c lw 90190
c lw 90259
c lw 90351
c lw 90565
c lw 90704
c lw 90851
c lw 90951
c lw 91011
c lw 91029
c lw 91067
c lw 91088
c lw 91089
c lw 91111
c lw 91156
c lw 91175
c lw 91176
c lw 91185
c lw 91192
c lw 91197
c lw 91204
c lw 91208
c lw 91209
c lw 91211
c lw 91216
c lw 91218
c lw 91219
c lw 91221
c lw 91222
c lw 91223
c lw 91224
c lw 91227
c lw 91228
c lw 91229
c lw 91230
c lw 91231
c lw 91232
c lw 91233
c lw 91234
c lw 91235
c lw 91236
c lw 91237
c lw 91238
c lw 91239
c lw 91240
c lw 91241
c lw 91242
c lw 91243
c lw 91244
c lw 91245
c lw 91246
c lw 91247
c lw 91248
c lw 91249
c lw 91250
c lw 91251
c lw 91252
c lw 91253
c lw 91254
c lw 91255
c lw 91256
c lw 91257
c lw 91258
c lw 91259
c lw 91260
c lw 91261
c lw 91262
c lw 91263
c lw 91264
c lw 91265
c lw 91266
c lw 91267
Killed
1808.226u 11.531s 57:13.06 53.0%	0+0k 0+0io 0pf+0w