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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 409
c lw 894
c lw 1181
c lw 2499
c lw 4029
c lw 5081
c lw 5570
c lw 6643
c lw 7612
c lw 8463
c lw 10096
c lw 11415
c lw 12367
c lw 12435
c lw 13221
c lw 13222
c lw 14651
c lw 16287
c lw 16434
c lw 16805
c lw 16827
c lw 16966
c lw 17135
c lw 17309
c lw 17526
c lw 18135
c lw 18291
c lw 18342
c lw 18489
c lw 19133
c lw 19206
c lw 19340
c lw 19379
c lw 19847
c lw 19897
c lw 20268
c lw 20437
c lw 21124
c lw 21395
c lw 21851
c lw 22004
c lw 22300
c lw 22454
c lw 22641
c lw 23503
c lw 24008
c lw 24063
c lw 24069
c lw 24182
c lw 24338
c lw 24937
c lw 25515
c lw 25596
c lw 25710
c lw 26304
c lw 26598
c lw 26652
c lw 26677
c lw 26867
c lw 27126
c lw 27626
c lw 27821
c lw 27834
c lw 28392
c lw 28613
c lw 28677
c lw 28699
c lw 28828
c lw 29006
c lw 29007
c lw 29290
c lw 29400
c lw 29405
c lw 29503
c lw 29690
c lw 29695
c lw 29836
c lw 29901
c lw 29945
c lw 29975
c lw 30164
c lw 30239
c lw 30252
c lw 30338
c lw 30390
c lw 30426
c lw 30576
c lw 30582
c lw 30953
c lw 31131
c lw 31142
c lw 31190
c lw 31217
c lw 31364
c lw 31432
c lw 31473
c lw 31474
c lw 31590
c lw 31676
c lw 31679
c lw 31888
c lw 31922
c lw 31963
c lw 32239
c lw 32270
c lw 32401
c lw 32473
c lw 32475
c lw 32493
c lw 32513
c lw 32649
c lw 32963
c lw 33049
c lw 33065
c lw 33312
c lw 33400
c lw 33473
c lw 33625
c lw 33985
c lw 34000
c lw 34031
c lw 34032
c lw 34180
c lw 34229
c lw 34317
c lw 34355
c lw 34373
c lw 34459
c lw 34475
c lw 34637
c lw 34777
c lw 34881
c lw 34897
c lw 34914
c lw 34969
c lw 34971
c lw 35547
c lw 35598
c lw 35739
c lw 36020
c lw 36064
c lw 36244
c lw 36276
c lw 36609
c lw 36669
c lw 36726
c lw 36999
c lw 37056
c lw 37063
c lw 37105
c lw 37116
c lw 37128
c lw 37239
c lw 37271
c lw 37445
c lw 37477
c lw 37481
c lw 37493
c lw 37500
c lw 37653
c lw 37771
c lw 37795
c lw 37817
c lw 37883
c lw 38062
c lw 38134
c lw 38439
c lw 38485
c lw 38580
c lw 38860
c lw 38896
c lw 38920
c lw 38939
c lw 39098
c lw 39391
c lw 39526
c lw 39551
c lw 39625
c lw 39643
c lw 39673
c lw 39722
c lw 39803
c lw 39847
c lw 39883
c lw 39907
c lw 39926
c lw 39938
c lw 39950
c lw 40002
c lw 40035
c lw 40038
c lw 40110
c lw 40117
c lw 40360
c lw 40428
c lw 40471
c lw 40560
c lw 40577
c lw 40614
c lw 40658
c lw 40663
c lw 40723
c lw 40731
c lw 40969
c lw 41116
c lw 41236
c lw 41424
c lw 41502
c lw 41683
c lw 41695
c lw 41722
c lw 41828
c lw 41851
c lw 41863
c lw 41864
c lw 41868
c lw 41875
c lw 41878
c lw 42051
c lw 42262
c lw 42309
c lw 42453
c lw 42523
c lw 42792
c lw 42810
c lw 42866
c lw 42949
c lw 43072
c lw 43214
c lw 43377
c lw 43892
c lw 43920
c lw 43976
c lw 43994
c lw 44080
c lw 44233
c lw 44276
c lw 44431
c lw 44436
c lw 44453
c lw 44468
c lw 44496
c lw 44551
c lw 44568
c lw 44578
c lw 44733
c lw 44973
c lw 45009
c lw 45309
c lw 45321
c lw 45380
c lw 45667
c lw 45784
c lw 46188
c lw 46266
c lw 46768
c lw 46862
c lw 47129
c lw 47245
c lw 47253
c lw 47454
c lw 47575
c lw 47645
c lw 47698
c lw 47953
c lw 48161
c lw 48170
c lw 48277
c lw 48291
c lw 48425
c lw 48528
c lw 48662
c lw 48888
c lw 48972
c lw 48988
c lw 49010
c lw 49075
c lw 49265
c lw 49317
c lw 49345
c lw 49387
c lw 49417
c lw 49477
c lw 49505
c lw 49533
c lw 49550
c lw 49554
c lw 49565
c lw 49566
c lw 49853
c lw 50035
c lw 50052
c lw 50057
c lw 50162
c lw 50186
c lw 50227
c lw 50243
c lw 50313
c lw 50388
c lw 50413
c lw 50452
c lw 50546
c lw 50702
c lw 50728
c lw 50789
c lw 50801
c lw 50881
c lw 50907
c lw 50929
c lw 51026
c lw 51054
c lw 51339
c lw 51342
c lw 51414
c lw 51449
c lw 51454
c lw 51479
c lw 51503
c lw 51513
c lw 51535
c lw 51537
c lw 51561
c lw 51583
c lw 51617
c lw 51687
c lw 51712
c lw 51717
c lw 51728
c lw 51734
c lw 51738
c lw 51740
c lw 51768
c lw 51827
c lw 51829
c lw 51838
c lw 51841
c lw 51847
c lw 51854
c lw 51918
c lw 51934
c lw 51935
c lw 51954
c lw 51963
c lw 51965
c lw 52007
c lw 52014
c lw 52015
c lw 52018
c lw 52024
c lw 52027
c lw 52029
c lw 52086
c lw 52097
c lw 52464
c lw 52550
c lw 52575
c lw 52589
c lw 52658
c lw 52723
c lw 52726
c lw 52727
c lw 52729
c lw 52741
c lw 52836
c lw 52866
c lw 52869
c lw 52888
c lw 52901
c lw 52904
c lw 52905
c lw 52907
c lw 52919
c lw 52924
c lw 52927
c lw 52968
c lw 52974
c lw 52976
c lw 53045
c lw 53046
c lw 53073
c lw 53089
c lw 53115
c lw 53231
c lw 53251
c lw 53254
c lw 53265
c lw 53276
c lw 53316
c lw 53377
c lw 53379
c lw 53382
c lw 53383
c lw 53385
c lw 53397
c lw 53436
c lw 53452
c lw 53455
c lw 53456
c lw 53458
c lw 53468
c lw 53470
c lw 53492
c lw 53507
c lw 53522
c lw 53525
c lw 53527
c lw 53650
c lw 53676
c lw 53760
c lw 53880
c lw 53997
c lw 54008
c lw 54110
c lw 54187
c lw 54200
c lw 54260
c lw 54331
c lw 54416
c lw 54844
c lw 55028
c lw 55108
c lw 55226
c lw 55249
c lw 55332
c lw 55361
c lw 55471
c lw 55493
c lw 55532
c lw 55722
c lw 55792
c lw 55844
c lw 55862
c lw 55943
c lw 56024
c lw 56045
c lw 56229
c lw 56255
c lw 56263
c lw 56308
c lw 56312
c lw 56317
c lw 56324
c lw 56331
c lw 56335
c lw 56342
c lw 56348
c lw 56352
c lw 56363
c lw 56372
c lw 56373
c lw 56374
c lw 56403
c lw 56404
c lw 56492
c lw 56672
c lw 56986
c lw 57573
c lw 57652
c lw 57672
c lw 57726
c lw 57779
c lw 57782
c lw 57783
c lw 58051
c lw 58061
c lw 58062
c lw 58702
c lw 58775
c lw 58847
c lw 59005
c lw 59231
c lw 59497
c lw 59538
c lw 59613
c lw 59679
c lw 59685
c lw 59719
c lw 59730
c lw 59736
c lw 59739
c lw 59745
c lw 59759
c lw 59815
c lw 59829
c lw 59831
c lw 59835
c lw 59846
c lw 59863
c lw 59876
c lw 59877
c lw 59879
c lw 59884
c lw 59896
c lw 59898
c lw 59899
c lw 59902
c lw 59915
c lw 59920
c lw 59932
c lw 60310
c lw 60438
c lw 60553
c lw 60565
c lw 60582
c lw 60586
c lw 60610
c lw 60663
c lw 60667
c lw 60906
c lw 60918
c lw 61032
c lw 61202
c lw 61255
c lw 61504
c lw 61533
c lw 61545
c lw 61582
c lw 61634
c lw 61637
c lw 61673
c lw 61728
c lw 61753
c lw 61756
c lw 61770
c lw 61773
c lw 61800
c lw 61807
c lw 61809
c lw 61810
c lw 61811
c lw 61813
c lw 61816
c lw 61820
c lw 61823
c lw 61824
c lw 61825
c lw 61826
c lw 61834
c lw 61837
c lw 61838
c lw 61843
c lw 61854
c lw 61860
c lw 61862
c lw 61867
c lw 61872
c lw 61880
c lw 61920
c lw 61947
c lw 61965
c lw 61981
c lw 61983
c lw 61986
c lw 61987
c lw 61989
c lw 61994
c lw 61998
c lw 61999
c lw 62000
c lw 62019
c lw 62167
c lw 62378
c lw 62421
c lw 62505
c lw 62528
c lw 62557
c lw 62566
c lw 62599
c lw 62700
c lw 62795
c lw 62807
c lw 62831
c lw 62847
c lw 62961
c lw 63006
c lw 63049
c lw 63072
c lw 63094
c lw 63121
c lw 63133
c lw 63182
c lw 63221
c lw 63243
c lw 63280
c lw 63281
c lw 63292
c lw 63321
c lw 63323
c lw 63350
c lw 63355
c lw 63360
c lw 63372
c lw 63384
c lw 63431
c lw 63440
c lw 63445
c lw 63452
c lw 63454
c lw 63510
c lw 63530
c lw 63547
c lw 63555
c lw 63559
c lw 63592
c lw 63593
c lw 63604
c lw 63614
c lw 63633
c lw 63634
c lw 64191
c lw 64346
c lw 64604
c lw 64628
c lw 64644
c lw 64646
c lw 64656
c lw 64661
c lw 64666
c lw 64676
c lw 64693
c lw 64697
c lw 64765
c lw 64768
c lw 64773
c lw 64783
c lw 64794
c lw 64795
c lw 64797
c lw 64802
c lw 64817
c lw 64823
c lw 64829
c lw 64832
c lw 64839
c lw 64840
c lw 64846
c lw 64850
c lw 64916
c lw 64922
c lw 65148
c lw 65149
c lw 65150
c lw 65153
c lw 65154
c lw 65155
c lw 65157
c lw 65158
c lw 65159
c lw 65162
c lw 65171
c lw 65198
c lw 65205
c lw 65237
c lw 65269
c lw 65276
c lw 65303
c lw 65312
c lw 65315
c lw 65316
c lw 65317
c lw 65329
c lw 65330
c lw 65366
c lw 65379
c lw 65383
c lw 65385
c lw 65395
c lw 65782
c lw 65783
c lw 65786
c lw 65789
c lw 65793
c lw 65795
c lw 65806
c lw 66071
c lw 66294
c lw 66673
c lw 66701
c lw 66776
c lw 66777
c lw 66779
c lw 66780
c lw 66781
c lw 66782
c lw 66783
c lw 66784
c lw 66786
c lw 66788
c lw 66789
c lw 66793
c lw 66795
c lw 66796
c lw 66797
c lw 66799
c lw 66800
c lw 66801
c lw 66802
c lw 66803
c lw 66805
c lw 66808
c lw 66810
c lw 66812
c lw 66819
c lw 66841
c lw 67064
c lw 67075
c lw 67077
c lw 67079
c lw 67086
c lw 67087
c lw 67089
c lw 67090
c lw 67091
c lw 67092
c lw 67093
c lw 67094
c lw 67095
c lw 67096
c lw 67097
c lw 67098
c lw 67099
c lw 67100
c lw 67101
c lw 67102
c lw 67103
c lw 67104
c lw 67105
c lw 67106
c lw 67107
c lw 67109
c lw 67110
c lw 67112
c lw 67116
c lw 67119
c lw 67120
c lw 67128
c lw 67132
c lw 67136
c lw 67145
c lw 67146
c lw 67150
c lw 67156
c lw 67157
c lw 67164
c lw 67169
c lw 67224
c lw 67283
c lw 67294
c lw 67295
c lw 67296
c lw 67310
c lw 67312
c lw 67319
c lw 67320
c lw 67322
c lw 67324
c lw 67326
c lw 67330
c lw 67348
c lw 67349
c lw 67350
c lw 67351
c lw 67355
c lw 67356
c lw 67358
c lw 67359
c lw 67360
c lw 67361
c lw 67362
c lw 67363
c lw 67364
c lw 67366
c lw 67367
c lw 67369
c lw 67370
c lw 67371
c lw 67372
c lw 67373
c lw 67375
c lw 67376
c lw 67377
c lw 67378
c lw 67379
c lw 67380
c lw 67381
c lw 67382
c lw 67383
c lw 67384
c lw 67385
c lw 67386
c lw 67387
c lw 67388
c lw 67390
c lw 67392
c lw 67393
c lw 67395
c lw 67396
c lw 67397
c lw 67398
c lw 67399
c lw 67400
c lw 67401
c lw 67402
c lw 67403
c lw 67404
c lw 67406
c lw 67407
c lw 67408
c lw 67409
c lw 67410
c lw 67411
c lw 67412
c lw 67413
c lw 67414
c lw 67415
c lw 67416
c lw 67417
c lw 67418
c lw 67419
c lw 67420
c lw 67421
c lw 67422
c lw 67423
c lw 67424
c lw 67425
c lw 67426
c lw 67427
c lw 67428
c lw 67429
c lw 67430
c lw 67431
c lw 67432
c lw 67433
c lw 67435
c lw 67436
c lw 67437
c lw 67438
c lw 67439
c lw 67440
c lw 67441
c lw 67442
c lw 67443
c lw 67444
c lw 67445
c lw 67447
c lw 67450
c lw 67451
c lw 67452
c lw 67453
c lw 67454
c lw 67455
c lw 67456
c lw 67458
c lw 67459
c lw 67460
c lw 67461
c lw 67462
c lw 67463
c lw 67464
c lw 67465
c lw 67466
c lw 67467
c lw 67468
c lw 67469
c lw 67470
c lw 67471
c lw 67472
c lw 67473
c lw 67474
c lw 67475
c lw 67476
c lw 67477
c lw 67478
c lw 67479
c lw 67480
c lw 67481
c lw 67482
c lw 67483
c lw 67484
c lw 67485
c lw 67486
c lw 67487
c lw 67488
c lw 67489
c lw 67490
c lw 67491
c lw 67492
c lw 67493
c lw 67494
c lw 67495
c lw 67496
c lw 67497
c lw 67502
c lw 67624
c lw 67735
c lw 67746
c lw 67771
c lw 68050
c lw 68100
c lw 68116
c lw 68212
c lw 68256
c lw 68257
c lw 68258
c lw 68259
c lw 68260
c lw 68261
c lw 68262
c lw 68263
c lw 68264
c lw 68265
c lw 68266
c lw 68267
c lw 68268
c lw 68269
c lw 68270
c lw 68271
c lw 68272
c lw 68602
c lw 68603
c lw 68604
c lw 68605
c lw 68606
c lw 68607
c lw 68608
c lw 68610
c lw 68611
c lw 68612
c lw 68613
c lw 68614
c lw 68615
c lw 68616
c lw 68617
c lw 68618
c lw 68619
c lw 68620
c lw 68621
c lw 68622
c lw 68623
c lw 68624
c lw 68625
c lw 68626
c lw 68630
c lw 68632
c lw 68639
c lw 68641
c lw 68643
c lw 68644
c lw 68645
c lw 68646
c lw 68648
c lw 68649
c lw 68650
c lw 68652
c lw 68656
c lw 68657
c lw 68659
c lw 68661
c lw 68662
c lw 68663
c lw 68664
c lw 68665
c lw 68667
c lw 68668
c lw 68669
c lw 68670
c lw 68671
c lw 68672
c lw 68673
c lw 68674
c lw 68675
c lw 68676
c lw 68677
c lw 68678
c lw 68679
c lw 68872
c lw 68912
c lw 69163
c lw 69321
c lw 69489
c lw 69630
c lw 69632
c lw 69855
c lw 70237
c lw 71034
c lw 71118
c lw 71321
c lw 71387
c lw 71464
c lw 71614
c lw 71691
c lw 71757
c lw 71996
c lw 72006
c lw 72112
c lw 72189
c lw 72260
c lw 72261
c lw 72262
c lw 72263
c lw 72264
c lw 72265
c lw 72266
c lw 72267
c lw 72268
c lw 72277
c lw 72278
c lw 72279
c lw 72280
c lw 72281
c lw 72282
c lw 72283
c lw 72284
c lw 72285
c lw 72286
c lw 72287
c lw 72289
c lw 72290
c lw 72291
c lw 72292
c lw 72293
c lw 72297
c lw 72298
c lw 72299
c lw 72300
c lw 72301
c lw 72305
c lw 72307
c lw 72308
c lw 72310
c lw 72312
c lw 72319
c lw 72321
c lw 72325
c lw 72326
c lw 72356
c lw 72366
c lw 72425
c lw 72442
c lw 72444
c lw 72532
c lw 72542
c lw 72590
c lw 72656
c lw 72659
c lw 72696
c lw 72698
Killed
1800.086u 19.652s 30:23.89 99.7%	0+0k 0+0io 0pf+0w