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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 553
c lw 891
c lw 1581
c lw 2217
c lw 2632
c lw 4084
c lw 5367
c lw 6331
c lw 8004
c lw 9530
c lw 10865
c lw 11653
c lw 12327
c lw 12358
c lw 13049
c lw 13333
c lw 13730
c lw 14349
c lw 14938
c lw 15146
c lw 15363
c lw 15990
c lw 16013
c lw 16039
c lw 16292
c lw 16736
c lw 17110
c lw 17227
c lw 17291
c lw 17511
c lw 17637
c lw 17653
c lw 17868
c lw 17913
c lw 17936
c lw 17939
c lw 18438
c lw 18550
c lw 18589
c lw 18611
c lw 18664
c lw 18769
c lw 18786
c lw 18796
c lw 18938
c lw 19090
c lw 19096
c lw 19161
c lw 19207
c lw 19272
c lw 19278
c lw 19294
c lw 19523
c lw 19580
c lw 19619
c lw 19785
c lw 19787
c lw 19920
c lw 20071
c lw 20103
c lw 20110
c lw 20126
c lw 20278
c lw 20284
c lw 20349
c lw 20395
c lw 20460
c lw 20466
c lw 20523
c lw 20684
c lw 20866
c lw 20868
c lw 20901
c lw 20933
c lw 21053
c lw 21059
c lw 21085
c lw 21141
c lw 21142
c lw 21254
c lw 21295
c lw 22039
c lw 22048
c lw 22148
c lw 22221
c lw 22225
c lw 22241
c lw 22247
c lw 22257
c lw 22264
c lw 22302
c lw 22722
c lw 23046
c lw 23125
c lw 23404
c lw 23588
c lw 23639
c lw 23699
c lw 23702
c lw 23838
c lw 23981
c lw 23999
c lw 24001
c lw 24120
c lw 24154
c lw 24478
c lw 24510
c lw 24536
c lw 25655
c lw 25832
c lw 25900
c lw 25903
c lw 25940
c lw 25961
c lw 25997
c lw 26003
c lw 26009
c lw 26019
c lw 26026
c lw 26044
c lw 26075
c lw 26561
c lw 26565
c lw 26577
c lw 26583
c lw 26591
c lw 26592
c lw 26593
c lw 26718
c lw 26721
c lw 26726
c lw 26727
c lw 26733
c lw 26735
c lw 26739
c lw 26758
c lw 26762
c lw 27153
c lw 27175
c lw 27202
c lw 27999
c lw 28013
c lw 28478
c lw 28582
c lw 28630
c lw 28665
c lw 28713
c lw 28740
c lw 28744
c lw 28759
c lw 28762
c lw 28777
c lw 28793
c lw 28808
c lw 28849
c lw 28862
c lw 28864
c lw 28868
c lw 28870
c lw 28882
c lw 28885
c lw 28888
c lw 28890
c lw 28895
c lw 28898
c lw 28900
c lw 28902
c lw 28905
c lw 28906
c lw 28908
c lw 28910
c lw 28911
c lw 28918
c lw 28946
c lw 28957
c lw 28991
c lw 29118
c lw 29369
c lw 29432
c lw 29560
c lw 29660
c lw 29671
c lw 29692
c lw 29705
c lw 29780
c lw 29789
c lw 29792
c lw 29793
c lw 29795
c lw 29797
c lw 29799
c lw 29801
c lw 29802
c lw 29803
c lw 29804
c lw 29806
c lw 29815
c lw 29816
c lw 29819
c lw 29823
c lw 29828
c lw 29832
c lw 29835
c lw 29837
c lw 29842
c lw 29843
c lw 29850
c lw 29851
c lw 29859
c lw 29874
c lw 29877
c lw 29882
c lw 29888
c lw 29898
c lw 29901
c lw 29924
c lw 29953
c lw 29958
c lw 30082
c lw 30101
c lw 30111
c lw 30206
c lw 30211
c lw 30230
c lw 30240
c lw 30254
c lw 30259
c lw 30308
c lw 30546
c lw 30955
c lw 30957
c lw 31242
c lw 31291
c lw 31296
c lw 31409
c lw 31480
c lw 31523
c lw 31613
c lw 31617
c lw 31623
c lw 31627
c lw 31642
c lw 31647
c lw 31651
c lw 31662
c lw 31667
c lw 31722
c lw 31742
c lw 31752
c lw 31761
c lw 31762
c lw 31787
c lw 31853
c lw 31854
c lw 31855
c lw 31857
c lw 31859
c lw 31860
c lw 31863
c lw 31864
c lw 31865
c lw 31866
c lw 31868
c lw 31869
c lw 31870
c lw 31872
c lw 31875
c lw 31876
c lw 31878
c lw 31879
c lw 31880
c lw 31881
c lw 31882
c lw 31883
c lw 31884
c lw 31885
c lw 31886
c lw 31887
c lw 31888
c lw 31937
c lw 31938
c lw 31939
c lw 31940
c lw 31941
c lw 31942
c lw 31943
c lw 31944
c lw 31945
c lw 31946
c lw 31947
c lw 31948
c lw 31949
c lw 31950
c lw 31951
c lw 31953
c lw 31956
c lw 31958
c lw 31959
c lw 31960
c lw 31961
c lw 31962
c lw 31963
c lw 31964
c lw 31965
c lw 31966
c lw 32352
c lw 32897
c lw 32964
c lw 32988
c lw 33069
c lw 33396
c lw 33640
c lw 34033
c lw 34036
c lw 34062
c lw 34205
c lw 34222
c lw 34381
c lw 34413
c lw 34734
c lw 34796
c lw 34831
c lw 34920
c lw 34980
c lw 35107
c lw 35942
c lw 35958
c lw 35998
c lw 36080
c lw 36138
c lw 36205
c lw 36396
c lw 36777
c lw 36844
c lw 36902
c lw 36928
c lw 36984
c lw 37645
c lw 37668
c lw 37781
c lw 37963
c lw 38166
c lw 38191
c lw 38229
c lw 38230
c lw 38231
c lw 38232
c lw 38233
c lw 38234
c lw 38235
c lw 38236
c lw 38237
c lw 38238
c lw 38398
c lw 38441
c lw 38469
c lw 38615
c lw 38617
c lw 38673
c lw 38920
c lw 39027
c lw 39061
c lw 39141
c lw 39187
c lw 39322
c lw 39443
c lw 39517
c lw 39534
c lw 39799
c lw 40045
c lw 40188
c lw 40323
c lw 40353
c lw 40708
c lw 40741
c lw 40953
c lw 41179
c lw 41398
c lw 41426
c lw 41449
c lw 41451
c lw 41468
c lw 41479
c lw 41556
c lw 41572
c lw 41798
c lw 41968
c lw 42017
c lw 42033
c lw 42450
c lw 42837
c lw 42922
c lw 43116
c lw 43985
c lw 44059
c lw 44656
c lw 44696
c lw 44770
c lw 44868
c lw 44939
c lw 45012
c lw 45100
c lw 45108
c lw 45141
c lw 45156
c lw 45215
c lw 45245
c lw 45313
c lw 45348
c lw 45361
c lw 45380
c lw 45424
c lw 45479
c lw 45710
c lw 45862
c lw 45952
c lw 45963
c lw 45995
c lw 46006
c lw 46050
c lw 46061
c lw 46074
c lw 46077
c lw 46084
c lw 46093
c lw 46104
c lw 46115
c lw 46164
c lw 46177
c lw 46179
c lw 46183
c lw 46196
c lw 46199
c lw 46212
c lw 46220
c lw 46227
c lw 46271
c lw 46317
c lw 46325
c lw 46336
c lw 46345
c lw 46355
c lw 46393
c lw 46399
c lw 46454
c lw 46637
c lw 46685
c lw 46837
c lw 46910
c lw 46917
c lw 46921
c lw 46926
c lw 46927
c lw 46932
c lw 46938
c lw 46941
c lw 46945
c lw 46951
c lw 46969
c lw 46970
c lw 46973
c lw 46974
c lw 46981
c lw 46988
c lw 46989
c lw 46995
c lw 46997
c lw 47004
c lw 47009
c lw 47010
c lw 47018
c lw 47024
c lw 47025
c lw 47035
c lw 47062
c lw 47069
c lw 47078
c lw 47091
c lw 47093
c lw 47097
c lw 47110
c lw 47113
c lw 47126
c lw 47134
c lw 47141
c lw 47185
c lw 47193
c lw 47195
c lw 47196
c lw 47197
c lw 47201
c lw 47203
c lw 47204
c lw 47206
c lw 47207
c lw 47208
c lw 47209
c lw 47213
c lw 47214
c lw 47215
c lw 47219
c lw 47220
c lw 47221
c lw 47223
c lw 47226
c lw 47227
c lw 47228
c lw 47229
c lw 47234
c lw 47239
c lw 47248
c lw 47258
c lw 47296
c lw 47303
c lw 47307
c lw 47312
c lw 47313
c lw 47318
c lw 47324
c lw 47327
c lw 47331
c lw 47332
c lw 47337
c lw 47341
c lw 47355
c lw 47356
c lw 47363
c lw 47364
c lw 47370
c lw 47372
c lw 47379
c lw 47502
c lw 47607
c lw 47620
c lw 47721
c lw 47843
c lw 47962
c lw 47966
c lw 47967
c lw 47968
c lw 47969
c lw 47970
c lw 47971
c lw 47972
c lw 47973
c lw 47976
c lw 47978
c lw 47979
c lw 47981
c lw 47984
c lw 47992
c lw 48007
c lw 48011
c lw 48017
c lw 48018
c lw 48019
c lw 48020
c lw 48021
c lw 48022
c lw 48023
c lw 48024
c lw 48025
c lw 48026
c lw 48027
c lw 48028
c lw 48029
c lw 48030
c lw 48032
c lw 48034
c lw 48036
c lw 48038
c lw 48044
c lw 48071
c lw 48144
c lw 48154
c lw 48175
c lw 48181
c lw 48188
c lw 48197
c lw 48210
c lw 48212
c lw 48216
c lw 48229
c lw 48231
c lw 48232
c lw 48234
c lw 48241
c lw 48242
c lw 48245
c lw 48246
c lw 48253
c lw 48258
c lw 48259
c lw 48260
c lw 48273
c lw 48281
c lw 48288
c lw 48332
c lw 48340
c lw 48341
c lw 48345
c lw 48347
c lw 48348
c lw 48350
c lw 48351
c lw 48352
c lw 48353
c lw 48357
c lw 48358
c lw 48359
c lw 48364
c lw 48373
c lw 48383
c lw 48421
c lw 48428
c lw 48432
c lw 48437
c lw 48438
c lw 48441
c lw 48443
c lw 48449
c lw 48452
c lw 48456
c lw 48457
c lw 48462
c lw 48466
c lw 48480
c lw 48481
c lw 48488
c lw 48489
c lw 48495
c lw 48497
c lw 48504
c lw 48613
c lw 48735
c lw 48759
c lw 49026
c lw 49033
c lw 49035
c lw 49036
c lw 49038
c lw 49040
c lw 49051
c lw 49055
c lw 49057
c lw 49070
c lw 49079
c lw 49081
c lw 49082
c lw 49083
c lw 49084
c lw 49085
c lw 49086
c lw 49087
c lw 49088
c lw 49089
c lw 49090
c lw 49091
c lw 49092
c lw 49093
c lw 49094
c lw 49095
c lw 49096
c lw 49097
c lw 49098
c lw 49099
c lw 49100
c lw 49101
c lw 49102
c lw 49103
c lw 49104
c lw 49105
c lw 49106
c lw 49107
c lw 49108
c lw 49109
c lw 49110
c lw 49111
c lw 49112
c lw 49113
c lw 49114
c lw 49115
c lw 49116
c lw 49117
c lw 49118
c lw 49119
c lw 49120
c lw 49121
c lw 49122
c lw 49123
c lw 49124
c lw 49125
c lw 49126
c lw 49129
c lw 49131
c lw 49140
c lw 49141
c lw 49142
c lw 49143
c lw 49146
c lw 49147
c lw 49148
c lw 49149
c lw 49150
c lw 49151
c lw 49152
c lw 49153
c lw 49155
c lw 49156
c lw 49157
c lw 49158
c lw 49159
c lw 49160
c lw 49162
c lw 49163
c lw 49164
c lw 49165
c lw 49166
c lw 49167
c lw 49168
c lw 49172
c lw 49173
c lw 49174
c lw 49175
c lw 49176
c lw 49177
c lw 49178
c lw 49179
c lw 49180
c lw 49181
c lw 49182
c lw 49183
c lw 49184
c lw 49185
c lw 49186
c lw 49187
c lw 49188
c lw 49189
c lw 49190
c lw 49191
c lw 49192
c lw 49193
c lw 49194
c lw 49195
c lw 49196
c lw 49197
c lw 49198
c lw 49199
c lw 49200
c lw 49201
c lw 49202
c lw 49203
c lw 49204
c lw 49205
c lw 49206
c lw 49207
c lw 49208
c lw 49209
c lw 49210
c lw 49211
c lw 49212
c lw 49213
c lw 49214
c lw 49215
c lw 49216
c lw 49217
c lw 49218
c lw 49219
c lw 49220
c lw 49221
c lw 49222
c lw 49223
c lw 49224
c lw 49225
c lw 49226
c lw 49227
c lw 49228
c lw 49684
c lw 50022
c lw 50092
c lw 50247
c lw 50367
c lw 50372
c lw 50373
c lw 50374
c lw 50375
c lw 50376
c lw 50377
c lw 50378
c lw 50379
c lw 50380
c lw 50381
c lw 50382
c lw 50383
c lw 50384
c lw 50385
c lw 50386
c lw 50387
c lw 50388
c lw 50389
c lw 50390
c lw 50607
c lw 50622
c lw 50683
c lw 50689
c lw 50789
c lw 50844
c lw 50914
c lw 51108
c lw 51127
c lw 51139
c lw 51141
c lw 51217
c lw 51228
c lw 51236
c lw 51248
c lw 51250
c lw 51252
c lw 51307
c lw 51352
c lw 51358
c lw 51407
c lw 51412
c lw 51477
c lw 51553
c lw 51564
c lw 51644
c lw 51650
c lw 51684
c lw 51689
c lw 51698
c lw 51997
c lw 52067
c lw 52458
c lw 52520
c lw 52597
c lw 52609
c lw 52612
c lw 52713
c lw 53083
c lw 53133
c lw 53135
c lw 53139
c lw 53147
c lw 53155
c lw 53166
c lw 53176
c lw 53433
c lw 53468
c lw 53569
c lw 53757
c lw 53842
c lw 53903
c lw 53943
c lw 53976
c lw 54127
c lw 54150
c lw 54156
c lw 54158
c lw 54159
c lw 54160
c lw 54162
c lw 54168
c lw 54169
c lw 54170
c lw 54172
c lw 54174
c lw 54177
c lw 54178
c lw 54236
c lw 54327
c lw 54334
c lw 54336
c lw 54338
c lw 54340
c lw 54342
c lw 54344
c lw 54364
c lw 54365
c lw 54370
c lw 54371
c lw 54376
c lw 54386
c lw 54406
c lw 54414
c lw 54421
c lw 54480
c lw 54482
c lw 54637
c lw 54640
c lw 54840
c lw 54842
c lw 54844
c lw 54845
c lw 54846
c lw 54847
c lw 54850
c lw 54851
c lw 54852
c lw 54853
c lw 54854
c lw 54856
c lw 54857
c lw 54858
c lw 54859
c lw 54860
c lw 54887
c lw 55118
c lw 55481
c lw 55538
c lw 55656
c lw 56076
c lw 56086
c lw 56263
c lw 56306
c lw 56388
c lw 56565
c lw 56573
c lw 56592
c lw 56877
c lw 56878
c lw 56881
c lw 56882
c lw 56884
c lw 56886
c lw 56888
c lw 56889
c lw 56890
c lw 56892
c lw 56893
c lw 56894
c lw 56895
c lw 56896
c lw 56897
c lw 56898
c lw 56899
c lw 56900
c lw 56901
c lw 56902
c lw 56907
c lw 56908
c lw 56909
c lw 56910
c lw 56911
c lw 56912
c lw 56913
c lw 56914
c lw 56916
c lw 56917
c lw 56920
c lw 56921
c lw 56924
c lw 56926
c lw 56927
c lw 56928
c lw 56929
c lw 56933
c lw 56968
c lw 57214
c lw 57266
c lw 57546
c lw 57598
c lw 57627
c lw 57652
c lw 57709
c lw 57718
c lw 57719
c lw 57720
c lw 57721
c lw 57722
c lw 57723
c lw 57725
c lw 57727
c lw 57728
c lw 57730
c lw 57731
c lw 57732
c lw 57734
c lw 57735
c lw 57746
c lw 57752
c lw 57753
c lw 57754
c lw 57758
c lw 57760
c lw 57761
c lw 57763
c lw 57800
c lw 57836
c lw 57931
c lw 57939
c lw 58073
c lw 58121
c lw 58255
c lw 58274
c lw 58814
c lw 58905
c lw 58941
c lw 58962
c lw 59005
c lw 59049
c lw 59205
c lw 59228
c lw 59302
c lw 59339
c lw 59375
c lw 59428
c lw 59454
c lw 59459
c lw 59783
c lw 59946
c lw 60031
c lw 60042
c lw 60142
c lw 60176
c lw 60182
c lw 60187
c lw 60199
c lw 60203
c lw 60206
c lw 60223
c lw 60227
c lw 60229
c lw 60230
c lw 60237
c lw 60264
c lw 60273
c lw 60274
c lw 60276
c lw 60282
c lw 60288
c lw 60304
c lw 60340
c lw 60366
c lw 60404
c lw 60415
c lw 60429
c lw 60438
c lw 60439
c lw 60497
c lw 60749
c lw 60760
c lw 60969
c lw 61132
c lw 61233
c lw 61263
c lw 61275
c lw 61369
c lw 61587
c lw 61627
c lw 61644
c lw 61648
c lw 61650
c lw 61651
c lw 61658
c lw 61685
c lw 61688
c lw 61693
c lw 61699
c lw 61705
c lw 61709
c lw 61715
c lw 61763
c lw 61764
c lw 61772
c lw 61773
c lw 61775
c lw 61781
c lw 61784
c lw 61789
c lw 61795
c lw 61797
c lw 61813
c lw 61822
c lw 61940
c lw 61952
c lw 61956
c lw 61966
c lw 61967
c lw 61977
c lw 61980
c lw 61981
c lw 61984
c lw 61987
c lw 61998
c lw 62014
c lw 62103
c lw 62209
c lw 62363
c lw 62432
c lw 62805
c lw 62906
c lw 63023
c lw 63026
c lw 63450
c lw 63453
c lw 63457
c lw 63463
c lw 63479
c lw 63480
c lw 63484
c lw 63488
c lw 63496
c lw 63498
c lw 63507
c lw 63513
Killed
1799.731u 20.000s 30:21.22 99.9%	0+0k 0+0io 0pf+0w