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-80-2_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 42
c lw 672
c lw 920
c lw 2352
c lw 3825
c lw 4664
c lw 6371
c lw 7116
c lw 7753
c lw 8948
c lw 10175
c lw 10521
c lw 11685
c lw 11770
c lw 11815
c lw 12581
c lw 13205
c lw 13289
c lw 13342
c lw 13843
c lw 14077
c lw 14145
c lw 14284
c lw 14329
c lw 14369
c lw 14425
c lw 14496
c lw 14667
c lw 14751
c lw 14843
c lw 15004
c lw 15037
c lw 15457
c lw 15589
c lw 15614
c lw 15622
c lw 16475
c lw 16583
c lw 16686
c lw 16861
c lw 16864
c lw 16867
c lw 16894
c lw 16946
c lw 16969
c lw 17051
c lw 17457
c lw 17916
c lw 17993
c lw 18789
c lw 19448
c lw 19889
c lw 19899
c lw 20009
c lw 20234
c lw 20276
c lw 20286
c lw 20344
c lw 20414
c lw 20589
c lw 20623
c lw 20633
c lw 20647
c lw 20657
c lw 20659
c lw 20699
c lw 20744
c lw 20786
c lw 20796
c lw 20854
c lw 20858
c lw 20875
c lw 21104
c lw 21120
c lw 21408
c lw 21647
c lw 22102
c lw 22170
c lw 22409
c lw 22667
c lw 23144
c lw 23245
c lw 23841
c lw 23999
c lw 25238
c lw 25293
c lw 26343
c lw 26947
c lw 27271
c lw 27288
c lw 27354
c lw 27896
c lw 27935
c lw 28269
c lw 28300
c lw 28308
c lw 28333
c lw 28455
c lw 28562
c lw 28577
c lw 28602
c lw 28882
c lw 28992
c lw 29171
c lw 29370
c lw 29381
c lw 29449
c lw 29754
c lw 30145
c lw 30261
c lw 30273
c lw 30281
c lw 30531
c lw 30533
c lw 30561
c lw 30653
c lw 30744
c lw 30806
c lw 30831
c lw 30883
c lw 30914
c lw 30941
c lw 30951
c lw 30984
c lw 31015
c lw 31021
c lw 31082
c lw 31093
c lw 31175
c lw 31190
c lw 31215
c lw 31230
c lw 31241
c lw 31409
c lw 31433
c lw 31437
c lw 31439
c lw 31552
c lw 31984
c lw 31992
c lw 32027
c lw 32095
c lw 32106
c lw 32198
c lw 32230
c lw 32249
c lw 32734
c lw 32756
c lw 32767
c lw 32863
c lw 33126
c lw 33218
c lw 33237
c lw 33244
c lw 33357
c lw 33375
c lw 33407
c lw 33480
c lw 33526
c lw 33642
c lw 33686
c lw 33735
c lw 33737
c lw 33748
c lw 33763
c lw 33767
c lw 33771
c lw 33791
c lw 33794
c lw 33795
c lw 33803
c lw 33811
c lw 33821
c lw 33857
c lw 33870
c lw 33873
c lw 33876
c lw 33881
c lw 33883
c lw 33891
c lw 33901
c lw 33902
c lw 33904
c lw 33910
c lw 33916
c lw 33918
c lw 33921
c lw 33922
c lw 33935
c lw 33937
c lw 33939
c lw 33943
c lw 33947
c lw 33948
c lw 33950
c lw 33953
c lw 33968
c lw 33972
c lw 33980
c lw 33981
c lw 33982
c lw 33986
c lw 33990
c lw 33992
c lw 33996
c lw 33998
c lw 33999
c lw 34002
c lw 34012
c lw 34014
c lw 34016
c lw 34022
c lw 34026
c lw 34029
c lw 34039
c lw 34050
c lw 34063
c lw 34064
c lw 34071
c lw 34083
c lw 34094
c lw 34186
c lw 34192
c lw 34229
c lw 34250
c lw 34268
c lw 34272
c lw 34325
c lw 34426
c lw 34427
c lw 34431
c lw 34435
c lw 34437
c lw 34441
c lw 34443
c lw 34444
c lw 34447
c lw 34454
c lw 34457
c lw 34459
c lw 34463
c lw 34466
c lw 34476
c lw 34487
c lw 34500
c lw 34501
c lw 34508
c lw 34520
c lw 34527
c lw 34956
c lw 35093
c lw 35455
c lw 36152
c lw 36230
c lw 36257
c lw 36296
c lw 36434
c lw 36619
c lw 36653
c lw 36861
c lw 37072
c lw 37085
c lw 37090
c lw 37137
c lw 37164
c lw 37177
c lw 37183
c lw 37199
c lw 37203
c lw 37261
c lw 37338
c lw 37341
c lw 37365
c lw 37400
c lw 37439
c lw 37440
c lw 37441
c lw 37443
c lw 37445
c lw 37447
c lw 37448
c lw 37451
c lw 37452
c lw 37454
c lw 37456
c lw 37457
c lw 37458
c lw 37459
c lw 37461
c lw 37464
c lw 37465
c lw 37467
c lw 37469
c lw 37471
c lw 37472
c lw 37473
c lw 37474
c lw 37475
c lw 37476
c lw 37477
c lw 37478
c lw 37480
c lw 37482
c lw 37742
c lw 37836
c lw 37865
c lw 37912
c lw 38020
c lw 38599
c lw 38946
c lw 38987
c lw 39026
c lw 39730
c lw 39998
c lw 40450
c lw 40488
c lw 40850
c lw 40887
c lw 41029
c lw 41125
c lw 41262
c lw 41557
c lw 41666
c lw 41898
c lw 41951
c lw 41956
c lw 41993
c lw 42007
c lw 42075
c lw 42103
c lw 42140
c lw 42171
c lw 42217
c lw 42331
c lw 42372
c lw 42794
c lw 43042
c lw 43053
c lw 43127
c lw 43155
c lw 43205
c lw 43221
c lw 43257
c lw 43313
c lw 43375
c lw 43887
c lw 44714
c lw 44754
c lw 44837
c lw 44851
c lw 44874
c lw 44889
c lw 44895
c lw 44905
c lw 44912
c lw 44915
c lw 44923
c lw 44926
c lw 44946
c lw 44954
c lw 44963
c lw 44978
c lw 44981
c lw 45009
c lw 45023
c lw 45026
c lw 45037
c lw 45047
c lw 45050
c lw 45054
c lw 45057
c lw 45062
c lw 45065
c lw 45070
c lw 45073
c lw 45078
c lw 45081
c lw 45084
c lw 45093
c lw 45095
c lw 45096
c lw 45098
c lw 45100
c lw 45108
c lw 45109
c lw 45111
c lw 45112
c lw 45113
c lw 45114
c lw 45115
c lw 45117
c lw 45118
c lw 45119
c lw 45123
c lw 45126
c lw 45127
c lw 45128
c lw 45130
c lw 45132
c lw 45133
c lw 45134
c lw 45135
c lw 45136
c lw 45138
c lw 45139
c lw 45141
c lw 45142
c lw 45143
c lw 45145
c lw 45146
c lw 45147
c lw 45148
c lw 45149
c lw 45150
c lw 45151
c lw 45152
c lw 45153
c lw 45154
c lw 45155
c lw 45157
c lw 45158
c lw 45159
c lw 45160
c lw 45161
c lw 45162
c lw 45163
c lw 45164
c lw 45165
c lw 45166
c lw 45167
c lw 45168
c lw 45169
c lw 45170
c lw 45171
c lw 45172
c lw 45173
c lw 45174
c lw 45175
c lw 45176
c lw 45177
c lw 45178
c lw 45179
c lw 45180
c lw 45181
c lw 45182
c lw 45183
c lw 45184
c lw 45185
c lw 45186
c lw 45187
c lw 45188
c lw 45189
c lw 45190
c lw 45191
c lw 45192
c lw 45255
c lw 45466
c lw 45491
c lw 45617
c lw 45812
c lw 46480
c lw 46799
c lw 47500
c lw 48092
c lw 48190
c lw 48216
c lw 48336
c lw 48429
c lw 48511
c lw 48519
c lw 48595
c lw 48603
c lw 48689
c lw 48873
c lw 48884
c lw 48966
c lw 48974
c lw 49014
c lw 49050
c lw 49242
c lw 49354
c lw 49355
c lw 49838
c lw 49915
c lw 50122
c lw 50193
c lw 50194
c lw 50297
c lw 50505
c lw 50509
c lw 50595
c lw 50621
c lw 50973
c lw 51491
c lw 51599
c lw 51732
c lw 51771
c lw 51817
c lw 51950
c lw 51976
c lw 51977
c lw 52062
c lw 52066
c lw 52113
c lw 52132
c lw 52199
c lw 52218
c lw 52431
c lw 52475
c lw 52531
c lw 52568
c lw 52574
c lw 53608
c lw 53618
c lw 53698
c lw 53702
c lw 53732
c lw 53845
c lw 53853
c lw 53891
c lw 53905
c lw 53906
c lw 53938
c lw 53951
c lw 53952
c lw 53954
c lw 53991
c lw 53999
c lw 54000
c lw 54008
c lw 54055
c lw 54057
c lw 54165
c lw 54170
c lw 54267
c lw 54297
c lw 54301
c lw 54311
c lw 54314
c lw 54326
c lw 54344
c lw 54363
c lw 54377
c lw 54389
c lw 54403
c lw 54408
c lw 54410
c lw 54414
c lw 54416
c lw 54440
c lw 54444
c lw 55428
c lw 55632
c lw 55876
c lw 55940
c lw 55986
c lw 56004
c lw 56080
c lw 56155
c lw 56723
c lw 56725
c lw 56727
c lw 56728
c lw 56729
c lw 56730
c lw 56731
c lw 56733
c lw 56734
c lw 56736
c lw 56737
c lw 56757
c lw 56759
c lw 56761
c lw 56762
c lw 56763
c lw 56769
c lw 56833
c lw 56971
c lw 56982
c lw 56994
c lw 57029
c lw 57090
c lw 57112
c lw 57118
c lw 57372
c lw 57502
c lw 57727
c lw 57825
c lw 57937
c lw 58137
c lw 58148
c lw 58154
c lw 58174
c lw 58185
c lw 58186
c lw 58187
c lw 58189
c lw 58190
c lw 58196
c lw 58201
c lw 58204
c lw 58205
c lw 58218
c lw 58223
c lw 58225
c lw 58237
c lw 59586
c lw 59626
c lw 59771
c lw 59949
c lw 60648
c lw 60874
c lw 60890
c lw 60983
c lw 61065
c lw 61197
c lw 61310
c lw 61466
c lw 61519
c lw 61550
c lw 61633
c lw 61660
c lw 61704
c lw 61749
c lw 61770
c lw 61809
c lw 61834
c lw 61892
c lw 61914
c lw 62010
c lw 62023
c lw 62028
c lw 62029
c lw 62030
c lw 62035
c lw 62037
c lw 62041
c lw 62042
c lw 62046
c lw 62049
c lw 62050
c lw 62055
c lw 62056
c lw 62057
c lw 62058
c lw 62059
c lw 62060
c lw 62064
c lw 62065
c lw 62067
c lw 62069
c lw 62071
c lw 62072
c lw 62073
c lw 62074
c lw 62078
c lw 62080
c lw 62084
c lw 62085
c lw 62086
c lw 62087
c lw 62088
c lw 62089
c lw 62090
c lw 62091
c lw 62092
c lw 62093
c lw 62094
c lw 62095
c lw 62096
c lw 62097
c lw 62098
c lw 62100
c lw 62103
c lw 62105
c lw 62106
c lw 62110
c lw 62111
c lw 62112
c lw 62113
c lw 62114
c lw 62115
c lw 62258
c lw 62274
c lw 62275
c lw 62276
c lw 62277
c lw 62278
c lw 62682
c lw 62712
c lw 62961
c lw 62975
c lw 63036
c lw 63084
c lw 63534
c lw 63631
c lw 64030
c lw 64178
c lw 64387
c lw 64437
c lw 64556
c lw 64571
c lw 64624
c lw 64916
c lw 65125
c lw 65325
c lw 65401
c lw 65534
c lw 65538
c lw 65543
c lw 65562
c lw 65580
c lw 65610
c lw 65621
c lw 65696
c lw 65704
c lw 65705
c lw 65713
c lw 65719
c lw 66038
c lw 66848
c lw 66853
c lw 67151
c lw 67504
c lw 67659
c lw 67721
c lw 68063
c lw 68067
c lw 68068
c lw 68073
c lw 68079
c lw 68084
c lw 68092
c lw 68104
c lw 68110
c lw 68124
c lw 68140
c lw 68151
c lw 68152
c lw 68162
c lw 68400
c lw 68515
c lw 68519
c lw 68520
c lw 68533
c lw 68534
c lw 68538
c lw 68539
c lw 68545
c lw 68547
c lw 68548
c lw 68555
c lw 68556
c lw 68560
c lw 68565
c lw 69385
c lw 69419
c lw 69472
c lw 69560
c lw 69606
c lw 70305
c lw 70347
c lw 70707
c lw 70798
c lw 70803
c lw 70839
c lw 71053
c lw 71087
c lw 71170
c lw 71175
c lw 71228
c lw 71262
c lw 71408
c lw 71610
c lw 71671
c lw 71705
c lw 71759
c lw 71812
c lw 71846
c lw 71871
c lw 71896
c lw 71954
c lw 71988
c lw 72017
c lw 72022
c lw 72039
c lw 72075
c lw 72080
c lw 72130
c lw 72172
c lw 72234
c lw 72311
c lw 72334
c lw 72347
c lw 72352
c lw 72384
c lw 72385
c lw 72386
c lw 72387
c lw 72388
c lw 72389
c lw 72390
c lw 72391
c lw 72392
c lw 72393
c lw 72394
c lw 72395
c lw 72396
c lw 72397
c lw 72398
c lw 72399
c lw 72400
c lw 72401
c lw 72402
c lw 72403
c lw 72404
c lw 72405
c lw 72406
c lw 72407
c lw 72408
c lw 72409
c lw 72410
c lw 72411
c lw 72412
c lw 72413
Killed
1808.221u 11.546s 30:22.47 99.8%	0+0k 0+0io 0pf+0w