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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 869
c lw 931
c lw 1349
c lw 1633
c lw 2631
c lw 4070
c lw 4794
c lw 5995
c lw 7342
c lw 8732
c lw 10155
c lw 10460
c lw 10960
c lw 11981
c lw 13034
c lw 14152
c lw 15450
c lw 16251
c lw 17135
c lw 17389
c lw 17702
c lw 17772
c lw 18202
c lw 19224
c lw 19405
c lw 20697
c lw 20726
c lw 20911
c lw 20948
c lw 21199
c lw 21910
c lw 22820
c lw 23095
c lw 23917
c lw 24621
c lw 25051
c lw 25362
c lw 25750
c lw 26014
c lw 26069
c lw 26314
c lw 26343
c lw 26350
c lw 26357
c lw 26827
c lw 27182
c lw 27295
c lw 27457
c lw 27657
c lw 27921
c lw 27976
c lw 28013
c lw 28221
c lw 28468
c lw 28514
c lw 29730
c lw 30137
c lw 30208
c lw 30527
c lw 30849
c lw 30976
c lw 31008
c lw 31159
c lw 31227
c lw 31333
c lw 31359
c lw 31524
c lw 31767
c lw 31848
c lw 31862
c lw 32001
c lw 32038
c lw 32116
c lw 32616
c lw 32661
c lw 32686
c lw 32730
c lw 32787
c lw 32815
c lw 32985
c lw 33005
c lw 33026
c lw 33027
c lw 33040
c lw 33049
c lw 33126
c lw 33136
c lw 33203
c lw 33404
c lw 34064
c lw 35013
c lw 35017
c lw 35020
c lw 35024
c lw 35036
c lw 35077
c lw 35361
c lw 35419
c lw 35475
c lw 35484
c lw 35509
c lw 35623
c lw 35637
c lw 35660
c lw 35662
c lw 35668
c lw 35682
c lw 35706
c lw 35707
c lw 35737
c lw 35741
c lw 35754
c lw 36586
c lw 36816
c lw 36988
c lw 37140
c lw 38345
c lw 38497
c lw 38544
c lw 38730
c lw 38858
c lw 38893
c lw 39062
c lw 39070
c lw 39078
c lw 39093
c lw 39162
c lw 39173
c lw 39180
c lw 39649
c lw 39727
c lw 39772
c lw 39817
c lw 39895
c lw 39915
c lw 39970
c lw 40022
c lw 40067
c lw 40108
c lw 40145
c lw 40186
c lw 40218
c lw 40238
c lw 40274
c lw 40283
c lw 40316
c lw 40361
c lw 40374
c lw 40379
c lw 40424
c lw 40469
c lw 40478
c lw 40514
c lw 40547
c lw 40567
c lw 40598
c lw 40622
c lw 40636
c lw 40675
c lw 40842
c lw 40862
c lw 40917
c lw 40969
c lw 40977
c lw 41066
c lw 41115
c lw 41569
c lw 41592
c lw 41675
c lw 41798
c lw 42222
c lw 43245
c lw 44008
c lw 44028
c lw 44029
c lw 44035
c lw 44194
c lw 44268
c lw 44269
c lw 44274
c lw 44332
c lw 45250
c lw 45783
c lw 45784
c lw 45785
c lw 45786
c lw 45790
c lw 45902
c lw 45928
c lw 46002
c lw 46038
c lw 46048
c lw 46053
c lw 46062
c lw 46066
c lw 46069
c lw 46075
c lw 46082
c lw 46083
c lw 46087
c lw 46090
c lw 46099
c lw 46101
c lw 46107
c lw 46113
c lw 46114
c lw 46115
c lw 46120
c lw 46121
c lw 46129
c lw 46136
c lw 46142
c lw 46144
c lw 46145
c lw 46149
c lw 47597
c lw 47779
c lw 47866
c lw 47978
c lw 47983
c lw 47984
c lw 47986
c lw 47987
c lw 47988
c lw 47989
c lw 47995
c lw 47996
c lw 48002
c lw 48008
c lw 48009
c lw 48010
c lw 48012
c lw 48013
c lw 48014
c lw 48015
c lw 48016
c lw 48018
c lw 48019
c lw 48032
c lw 48033
c lw 48034
c lw 48035
c lw 48036
c lw 48038
c lw 48039
c lw 48040
c lw 48041
c lw 48042
c lw 48043
c lw 48160
c lw 48170
c lw 48355
c lw 48419
c lw 48503
c lw 48557
c lw 48990
c lw 48999
c lw 49002
c lw 49009
c lw 49016
c lw 49017
c lw 49018
c lw 49019
c lw 49020
c lw 49021
c lw 49022
c lw 49023
c lw 49024
c lw 49028
c lw 49029
c lw 49040
c lw 49047
c lw 49055
c lw 49056
c lw 49060
c lw 49065
c lw 49072
c lw 49073
c lw 49076
c lw 49109
c lw 49110
c lw 49113
c lw 49118
c lw 49120
c lw 49121
c lw 49158
c lw 49279
c lw 49436
c lw 49454
c lw 49673
c lw 49708
c lw 49814
c lw 49832
c lw 49989
c lw 50028
c lw 50029
c lw 50030
c lw 50031
c lw 50032
c lw 50033
c lw 50034
c lw 50049
c lw 50081
c lw 50132
c lw 50133
c lw 50134
c lw 50318
c lw 51011
c lw 51097
c lw 51218
c lw 51224
c lw 51506
c lw 52233
c lw 52518
c lw 52599
c lw 52884
c lw 52896
c lw 52945
c lw 53207
c lw 53208
c lw 53209
c lw 53210
c lw 53212
c lw 53213
c lw 53214
c lw 53215
c lw 53216
c lw 53217
c lw 53218
c lw 53219
c lw 53226
c lw 53227
c lw 53228
c lw 53229
c lw 53230
c lw 53231
c lw 53233
c lw 53236
c lw 53237
c lw 53238
c lw 53239
c lw 53240
c lw 53241
c lw 53242
c lw 53243
c lw 53244
c lw 53245
c lw 53250
c lw 53253
c lw 53263
c lw 53266
c lw 53268
c lw 53366
c lw 53376
c lw 53396
c lw 53397
c lw 53411
c lw 53412
c lw 53413
c lw 53414
c lw 53415
c lw 53416
c lw 53418
c lw 53419
c lw 53420
c lw 53421
c lw 53422
c lw 53423
c lw 53424
c lw 53425
c lw 53426
c lw 53427
c lw 53428
c lw 53429
c lw 53430
c lw 53553
c lw 53614
c lw 53643
c lw 54102
c lw 54122
c lw 54134
c lw 54245
c lw 54297
c lw 54382
c lw 54383
c lw 54992
c lw 55300
c lw 55471
c lw 55484
c lw 56458
c lw 56485
c lw 56873
c lw 57107
c lw 57321
c lw 58032
c lw 58542
c lw 58583
c lw 58584
c lw 58585
c lw 58586
c lw 58587
c lw 58588
c lw 58589
c lw 58590
c lw 58591
c lw 58592
c lw 58606
c lw 58607
c lw 58658
c lw 59418
c lw 59899
c lw 60012
c lw 60195
c lw 60269
c lw 60354
c lw 60475
c lw 60544
c lw 60637
c lw 61275
c lw 61658
c lw 61712
c lw 61771
c lw 61789
c lw 61848
c lw 61849
c lw 61867
c lw 61921
c lw 61922
c lw 61942
c lw 61962
c lw 61980
c lw 61993
c lw 62017
c lw 62062
c lw 62086
c lw 62087
c lw 62088
c lw 62089
c lw 62094
c lw 62119
c lw 62122
c lw 62141
c lw 62148
c lw 62160
c lw 62162
c lw 62179
c lw 62180
c lw 62181
c lw 62254
c lw 62255
c lw 62256
c lw 62257
c lw 62273
c lw 62275
c lw 62282
c lw 62287
c lw 62290
c lw 62291
c lw 62292
c lw 62294
c lw 62295
c lw 62296
c lw 62299
c lw 62305
c lw 62306
c lw 62307
c lw 62308
c lw 62310
c lw 62311
c lw 62312
c lw 62313
c lw 62314
c lw 62315
c lw 62316
c lw 62634
c lw 62653
c lw 62810
c lw 62811
c lw 62814
c lw 62815
c lw 62818
c lw 63086
c lw 63210
c lw 63215
c lw 63300
c lw 63502
c lw 63861
c lw 63998
c lw 64082
c lw 64188
c lw 64191
c lw 64192
c lw 64316
c lw 64321
c lw 64370
c lw 64371
c lw 64374
c lw 64541
c lw 64642
c lw 64657
c lw 64658
c lw 64668
c lw 64686
c lw 64731
c lw 64732
c lw 64810
c lw 64814
c lw 64849
c lw 64942
c lw 65017
c lw 65018
c lw 65026
c lw 65079
c lw 65095
c lw 65106
c lw 65110
c lw 65118
c lw 65119
c lw 65291
c lw 65973
c lw 66163
c lw 66226
c lw 66235
c lw 66241
c lw 66273
c lw 66276
c lw 67542
c lw 67565
c lw 67598
c lw 67692
c lw 67721
c lw 67766
c lw 67854
c lw 67887
c lw 67902
c lw 67904
c lw 67910
c lw 67951
c lw 68063
c lw 68088
c lw 68092
c lw 68116
c lw 68120
c lw 68126
c lw 68127
c lw 68130
c lw 68132
c lw 68134
c lw 68136
c lw 68143
c lw 68145
c lw 68146
c lw 68151
c lw 68159
c lw 68165
c lw 68168
c lw 68169
c lw 68170
c lw 68173
c lw 68174
c lw 68176
c lw 68181
c lw 68182
c lw 68183
c lw 68186
c lw 68189
c lw 68190
c lw 68194
c lw 68195
c lw 68196
c lw 68202
c lw 68204
c lw 68205
c lw 68207
c lw 68208
c lw 68210
c lw 68212
c lw 68214
c lw 68218
c lw 68658
c lw 68686
c lw 68707
c lw 68912
c lw 69046
c lw 69099
c lw 69114
c lw 69118
c lw 69123
c lw 69127
c lw 69227
c lw 69669
c lw 69750
c lw 69860
c lw 69982
c lw 70078
c lw 70183
c lw 70393
c lw 70467
c lw 70547
c lw 70899
c lw 70959
c lw 71003
c lw 71038
c lw 71370
c lw 71377
c lw 71406
c lw 71498
c lw 71557
c lw 71563
c lw 71635
c lw 71677
c lw 71753
c lw 71770
c lw 71782
c lw 71833
c lw 71853
c lw 71864
c lw 71947
c lw 71952
c lw 71958
c lw 72061
c lw 72193
c lw 72296
c lw 72300
c lw 72317
c lw 72329
c lw 72330
c lw 72344
c lw 72380
c lw 72388
c lw 72400
c lw 72411
c lw 72414
c lw 72415
c lw 72416
c lw 72417
c lw 72499
c lw 72505
c lw 72532
c lw 72561
c lw 72567
c lw 72603
c lw 72742
c lw 72812
c lw 72888
c lw 73010
c lw 73123
c lw 73126
c lw 73133
c lw 73167
c lw 73203
c lw 73205
c lw 73209
c lw 73312
c lw 73313
c lw 73326
c lw 73332
c lw 73350
c lw 73395
c lw 73399
c lw 73401
c lw 73403
c lw 73428
c lw 73444
c lw 73445
c lw 73464
c lw 73472
c lw 73475
c lw 73480
c lw 73488
c lw 73494
c lw 73497
c lw 73502
c lw 73506
c lw 73520
c lw 73523
c lw 73531
c lw 73535
c lw 73536
c lw 73537
c lw 73548
c lw 73559
c lw 73579
c lw 73607
c lw 73613
c lw 73634
c lw 73635
c lw 73639
c lw 73641
c lw 73644
c lw 73659
c lw 73662
c lw 73665
c lw 73675
c lw 73676
c lw 73678
c lw 73679
c lw 73683
c lw 73685
c lw 73688
c lw 73689
c lw 73699
c lw 73702
c lw 73704
c lw 73705
c lw 73715
c lw 73731
c lw 73732
c lw 73734
c lw 73738
c lw 73754
c lw 73792
c lw 73793
c lw 73806
c lw 73810
c lw 73812
c lw 73830
c lw 73837
c lw 73839
c lw 73840
c lw 73841
c lw 73842
c lw 73849
c lw 73850
c lw 73856
c lw 73857
c lw 73859
c lw 73864
c lw 73871
c lw 73876
c lw 73879
c lw 73881
c lw 73882
c lw 73885
c lw 73904
c lw 73905
c lw 73906
c lw 73909
c lw 73915
c lw 73921
c lw 73922
c lw 73923
c lw 73925
c lw 73927
c lw 73930
c lw 73936
c lw 73940
c lw 73943
c lw 73946
c lw 73947
c lw 73954
c lw 73957
c lw 73964
c lw 73966
c lw 73968
c lw 73969
c lw 73971
c lw 73972
c lw 73976
c lw 73983
c lw 73989
c lw 73991
c lw 73995
c lw 74002
c lw 74016
c lw 74020
c lw 74022
c lw 74274
c lw 74275
c lw 74277
c lw 74279
c lw 74280
c lw 74282
c lw 74285
c lw 74286
c lw 74287
c lw 74288
c lw 74289
c lw 74290
c lw 74293
c lw 74294
c lw 74297
c lw 74299
c lw 74300
c lw 74303
c lw 74304
c lw 74308
c lw 74310
c lw 74313
c lw 74321
c lw 74398
c lw 74590
c lw 75031
c lw 75046
c lw 75127
c lw 75376
c lw 75378
c lw 75380
c lw 75381
c lw 75382
c lw 75388
c lw 75394
c lw 75397
c lw 75398
c lw 75399
c lw 75411
c lw 75412
c lw 75413
c lw 75416
c lw 75417
c lw 75420
c lw 75421
c lw 75423
c lw 75426
c lw 75430
c lw 75431
c lw 75434
c lw 75435
c lw 75437
c lw 75439
c lw 75440
c lw 75442
c lw 75443
c lw 75445
c lw 75446
c lw 75447
c lw 75448
c lw 75449
c lw 75450
c lw 75452
c lw 75455
c lw 75456
c lw 75459
c lw 75549
c lw 75749
c lw 76053
c lw 76190
c lw 76202
c lw 76205
c lw 76225
c lw 76309
c lw 76369
c lw 76381
c lw 76384
c lw 76404
c lw 76405
c lw 76416
c lw 76423
c lw 76459
c lw 76465
c lw 76474
c lw 76535
c lw 76546
c lw 76693
c lw 76758
c lw 76763
c lw 76764
c lw 76769
c lw 76770
c lw 76773
c lw 76783
c lw 76830
c lw 76839
c lw 76854
c lw 76861
c lw 76864
c lw 76865
c lw 76869
c lw 76874
c lw 76875
c lw 76876
c lw 77016
c lw 77017
c lw 77018
c lw 77021
c lw 77023
c lw 77024
c lw 77027
c lw 77028
c lw 77031
c lw 77034
c lw 77038
c lw 77053
c lw 77062
c lw 77063
c lw 77361
c lw 77364
c lw 77444
c lw 77449
c lw 77468
c lw 77480
c lw 77495
c lw 77498
c lw 77500
c lw 77510
c lw 77514
c lw 77519
c lw 77522
c lw 77560
c lw 77577
c lw 77589
c lw 77591
c lw 77596
c lw 77649
c lw 77658
c lw 78297
c lw 78455
c lw 78498
c lw 78546
c lw 78994
c lw 79278
c lw 79285
c lw 79344
c lw 80386
c lw 80609
c lw 80701
c lw 81773
c lw 81828
c lw 81940
c lw 82163
c lw 82204
c lw 82281
c lw 82336
c lw 82361
c lw 82452
c lw 82456
c lw 82529
c lw 82559
c lw 82568
c lw 82569
c lw 82570
c lw 82571
c lw 82572
c lw 82580
c lw 82581
c lw 82603
c lw 82611
c lw 82684
c lw 82688
c lw 82719
c lw 82779
c lw 82792
c lw 82796
c lw 82804
c lw 82837
c lw 82851
c lw 82854
c lw 82859
c lw 82894
c lw 83503
c lw 83916
c lw 83921
c lw 83930
c lw 83971
c lw 84012
c lw 84043
c lw 84236
c lw 84384
c lw 84393
c lw 84398
c lw 84407
c lw 84412
c lw 84431
c lw 84435
c lw 84438
c lw 84441
c lw 84448
c lw 84455
c lw 84461
c lw 84465
c lw 84857
c lw 84990
c lw 85003
c lw 85013
c lw 85021
c lw 85025
c lw 85034
c lw 85038
c lw 85060
c lw 85209
c lw 85226
c lw 85418
c lw 85513
c lw 85777
c lw 85909
c lw 86057
c lw 86264
c lw 86345
c lw 86407
c lw 86467
c lw 86523
c lw 87473
c lw 87565
c lw 87670
c lw 87697
c lw 87717
c lw 87726
c lw 87730
c lw 87736
c lw 87752
c lw 87762
c lw 87770
c lw 87774
c lw 87799
c lw 87816
c lw 87872
c lw 87923
c lw 87940
c lw 87994
c lw 88004
c lw 88083
c lw 88290
c lw 88414
c lw 88430
c lw 88433
c lw 88624
c lw 88729
c lw 88756
c lw 88949
c lw 89098
c lw 89785
c lw 89841
c lw 89845
c lw 89913
c lw 89937
c lw 89942
c lw 89950
c lw 89987
c lw 89993
c lw 89997
c lw 90005
c lw 90009
c lw 90014
c lw 90018
c lw 90032
c lw 90039
c lw 90043
c lw 90044
c lw 90049
c lw 90051
c lw 90061
c lw 90064
c lw 90077
c lw 90080
c lw 90089
c lw 90091
c lw 90093
c lw 90096
c lw 90102
c lw 90106
c lw 90107
c lw 90114
c lw 90115
c lw 90136
c lw 90208
c lw 90463
c lw 90659
c lw 91313
c lw 91314
c lw 91316
c lw 91319
c lw 91320
c lw 91321
c lw 91322
c lw 91325
c lw 91326
c lw 91327
c lw 91329
c lw 91330
c lw 91331
c lw 91332
c lw 91336
c lw 91338
c lw 91379
c lw 91427
c lw 91482
c lw 91542
c lw 91799
c lw 91847
c lw 92027
c lw 92054
c lw 92055
c lw 92577
c lw 92603
c lw 93091
c lw 93167
c lw 93215
c lw 93258
c lw 93395
c lw 93401
c lw 93411
c lw 93422
c lw 93424
c lw 93426
c lw 93427
c lw 93431
c lw 93432
c lw 93433
c lw 93434
c lw 93435
c lw 93436
c lw 93437
c lw 93438
c lw 93439
c lw 93443
c lw 93445
c lw 93448
c lw 93450
c lw 93451
c lw 93452
c lw 93453
c lw 93454
c lw 93455
c lw 93456
c lw 93457
c lw 93458
c lw 93459
Killed
1801.899u 17.832s 1:00:41.76 49.9%	0+0k 0+0io 0pf+0w