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-50-2_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 493
c lw 1210
c lw 1899
c lw 3018
c lw 4345
c lw 5410
c lw 7028
c lw 8348
c lw 8944
c lw 9579
c lw 9754
c lw 9871
c lw 10309
c lw 10827
c lw 11009
c lw 11402
c lw 11603
c lw 11678
c lw 11932
c lw 12185
c lw 12596
c lw 13927
c lw 14028
c lw 14051
c lw 14240
c lw 14761
c lw 15346
c lw 15356
c lw 15584
c lw 15604
c lw 15671
c lw 15791
c lw 15959
c lw 16586
c lw 16872
c lw 16936
c lw 17032
c lw 17473
c lw 17581
c lw 17675
c lw 17677
c lw 17714
c lw 17739
c lw 17831
c lw 17833
c lw 17892
c lw 17912
c lw 18218
c lw 18283
c lw 18432
c lw 18474
c lw 18665
c lw 18748
c lw 18785
c lw 19107
c lw 19194
c lw 19309
c lw 19403
c lw 19517
c lw 19715
c lw 19829
c lw 19955
c lw 20132
c lw 20277
c lw 20292
c lw 20516
c lw 20860
c lw 20954
c lw 20974
c lw 20977
c lw 20981
c lw 20994
c lw 21357
c lw 21379
c lw 21393
c lw 21400
c lw 21428
c lw 21454
c lw 21697
c lw 21706
c lw 22006
c lw 22100
c lw 22196
c lw 22272
c lw 22573
c lw 22657
c lw 22687
c lw 22697
c lw 22713
c lw 22796
c lw 22800
c lw 22811
c lw 22899
c lw 22986
c lw 23152
c lw 23371
c lw 23510
c lw 23520
c lw 23534
c lw 23543
c lw 23643
c lw 23767
c lw 24169
c lw 24196
c lw 24207
c lw 24283
c lw 24757
c lw 24818
c lw 25013
c lw 25127
c lw 25237
c lw 25276
c lw 25278
c lw 25298
c lw 25310
c lw 25878
c lw 25881
c lw 25889
c lw 25890
c lw 25893
c lw 25896
c lw 25898
c lw 25902
c lw 25906
c lw 25910
c lw 25911
c lw 25927
c lw 25942
c lw 26047
c lw 26104
c lw 26140
c lw 26191
c lw 26279
c lw 26323
c lw 26489
c lw 26704
c lw 26725
c lw 26733
c lw 26736
c lw 26739
c lw 26829
c lw 26849
c lw 26859
c lw 26864
c lw 26895
c lw 26913
c lw 26931
c lw 26937
c lw 26944
c lw 26952
c lw 26957
c lw 26962
c lw 26978
c lw 26994
c lw 27003
c lw 27010
c lw 27011
c lw 27015
c lw 27019
c lw 27020
c lw 27023
c lw 27024
c lw 27025
c lw 27028
c lw 27031
c lw 27032
c lw 27040
c lw 27043
c lw 27055
c lw 27061
c lw 27063
c lw 27066
c lw 27069
c lw 27070
c lw 27079
c lw 27080
c lw 27084
c lw 27086
c lw 27091
c lw 27101
c lw 27104
c lw 27105
c lw 27106
c lw 27107
c lw 27109
c lw 27110
c lw 27113
c lw 27114
c lw 27118
c lw 27122
c lw 27123
c lw 27124
c lw 27126
c lw 27127
c lw 27281
c lw 27306
c lw 27369
c lw 27432
c lw 27435
c lw 27436
c lw 27438
c lw 27439
c lw 27440
c lw 27444
c lw 27448
c lw 27449
c lw 27452
c lw 27453
c lw 27455
c lw 27456
c lw 27457
c lw 27458
c lw 27461
c lw 27471
c lw 27476
c lw 27478
c lw 27482
c lw 27483
c lw 27492
c lw 27493
c lw 27496
c lw 27499
c lw 27501
c lw 27507
c lw 27519
c lw 27522
c lw 27524
c lw 27530
c lw 27531
c lw 27534
c lw 27537
c lw 27538
c lw 27539
c lw 27542
c lw 27543
c lw 27547
c lw 27551
c lw 27552
c lw 27559
c lw 27568
c lw 27584
c lw 27600
c lw 27605
c lw 27610
c lw 27618
c lw 27625
c lw 27631
c lw 27649
c lw 27667
c lw 27698
c lw 27976
c lw 28193
c lw 28407
c lw 28929
c lw 29007
c lw 29139
c lw 29166
c lw 29177
c lw 29199
c lw 29215
c lw 29244
c lw 29429
c lw 29492
c lw 29670
c lw 29737
c lw 29754
c lw 29765
c lw 29776
c lw 29802
c lw 29855
c lw 29933
c lw 30113
c lw 30194
c lw 30201
c lw 30252
c lw 30538
c lw 30626
c lw 30650
c lw 30682
c lw 30771
c lw 30788
c lw 30897
c lw 30906
c lw 30908
c lw 30915
c lw 30919
c lw 30924
c lw 30979
c lw 30984
c lw 30987
c lw 30988
c lw 30990
c lw 31059
c lw 31285
c lw 31302
c lw 31314
c lw 31356
c lw 31368
c lw 31373
c lw 31379
c lw 31406
c lw 31411
c lw 31417
c lw 31420
c lw 31422
c lw 31428
c lw 31429
c lw 31432
c lw 31433
c lw 31438
c lw 31462
c lw 31470
c lw 31471
c lw 31486
c lw 31489
c lw 31493
c lw 32052
c lw 32109
c lw 32115
c lw 32319
c lw 32383
c lw 32440
c lw 32476
c lw 32477
c lw 32518
c lw 32752
c lw 33078
c lw 33128
c lw 33217
c lw 33566
c lw 33608
c lw 33674
c lw 33746
c lw 33763
c lw 33843
c lw 33852
c lw 34149
c lw 34199
c lw 34287
c lw 34299
c lw 34446
c lw 34940
c lw 34957
c lw 35306
c lw 35329
c lw 35330
c lw 35352
c lw 35380
c lw 35468
c lw 35491
c lw 35548
c lw 35601
c lw 35635
c lw 35692
c lw 35715
c lw 35797
c lw 35803
c lw 35831
c lw 35852
c lw 36526
c lw 36772
c lw 36824
c lw 37099
c lw 37121
c lw 38248
c lw 38320
c lw 38438
c lw 38549
c lw 38719
c lw 38725
c lw 38769
c lw 38775
c lw 38856
c lw 38895
c lw 39003
c lw 39101
c lw 39104
c lw 39107
c lw 39113
c lw 39195
c lw 39438
c lw 39466
c lw 39846
c lw 40102
c lw 40127
c lw 40175
c lw 40195
c lw 40199
c lw 40235
c lw 40271
c lw 40333
c lw 40352
c lw 40442
c lw 40470
c lw 40479
c lw 40496
c lw 40585
c lw 40598
c lw 40825
c lw 40852
c lw 40862
c lw 40890
c lw 40928
c lw 41022
c lw 41051
c lw 41079
c lw 41091
c lw 41104
c lw 41133
c lw 41151
c lw 41161
c lw 41180
c lw 41215
c lw 41246
c lw 41290
c lw 41305
c lw 41367
c lw 41386
c lw 41388
c lw 41408
c lw 41424
c lw 41456
c lw 41460
c lw 41467
c lw 41492
c lw 41503
c lw 41583
c lw 41733
c lw 41736
c lw 41745
c lw 41746
c lw 41749
c lw 41750
c lw 41760
c lw 41786
c lw 41821
c lw 41840
c lw 41842
c lw 41850
c lw 41866
c lw 41868
c lw 41897
c lw 41991
c lw 42029
c lw 42057
c lw 42073
c lw 42096
c lw 42106
c lw 42134
c lw 42146
c lw 42159
c lw 42172
c lw 42203
c lw 42216
c lw 42320
c lw 42358
c lw 42386
c lw 42410
c lw 42413
c lw 42442
c lw 42452
c lw 42459
c lw 42463
c lw 42465
c lw 42466
c lw 42473
c lw 42480
c lw 42486
c lw 42490
c lw 42493
c lw 42495
c lw 42500
c lw 42504
c lw 42511
c lw 42514
c lw 42515
c lw 42516
c lw 42520
c lw 42524
c lw 42531
c lw 42533
c lw 42536
c lw 42537
c lw 42542
c lw 42547
c lw 42548
c lw 42598
c lw 42625
c lw 42635
c lw 42639
c lw 42640
c lw 42645
c lw 42650
c lw 42651
c lw 42654
c lw 42656
c lw 42663
c lw 42667
c lw 42671
c lw 42672
c lw 42673
c lw 42675
c lw 42676
c lw 42683
c lw 42687
c lw 42744
c lw 42746
c lw 42747
c lw 42749
c lw 42750
c lw 42751
c lw 42756
c lw 42760
c lw 42767
c lw 42770
c lw 42771
c lw 42772
c lw 42776
c lw 42780
c lw 42781
c lw 42784
c lw 42785
c lw 42787
c lw 42789
c lw 42792
c lw 42793
c lw 42798
c lw 42800
c lw 42838
c lw 42840
c lw 42843
c lw 42857
c lw 42861
c lw 42867
c lw 42868
c lw 42869
c lw 42871
c lw 42872
c lw 42873
c lw 42877
c lw 42878
c lw 42881
c lw 42885
c lw 42888
c lw 42890
c lw 42891
c lw 42892
c lw 42893
c lw 42894
c lw 42896
c lw 42897
c lw 42898
c lw 42899
c lw 42904
c lw 42905
c lw 42906
c lw 42908
c lw 42909
c lw 42912
c lw 42919
c lw 42922
c lw 42923
c lw 42932
c lw 42935
c lw 42946
c lw 42965
c lw 42974
c lw 42996
c lw 43000
c lw 43006
c lw 43013
c lw 43020
c lw 43021
c lw 43023
c lw 43027
c lw 43034
c lw 43040
c lw 43052
c lw 43054
c lw 43056
c lw 43062
c lw 43069
c lw 43072
c lw 43075
c lw 43094
c lw 43097
c lw 43098
c lw 43100
c lw 43101
c lw 43103
c lw 43104
c lw 43105
c lw 43107
c lw 43108
c lw 43110
c lw 43111
c lw 43112
c lw 43113
c lw 43114
c lw 43115
c lw 43116
c lw 43117
c lw 43118
c lw 43119
c lw 43120
c lw 43121
c lw 43124
c lw 43125
c lw 43126
c lw 43127
c lw 43128
c lw 43129
c lw 43130
c lw 43131
c lw 43135
c lw 43136
c lw 43138
c lw 43139
c lw 43140
c lw 43141
c lw 43143
c lw 43144
c lw 43146
c lw 43148
c lw 43149
c lw 43150
c lw 43152
c lw 43153
c lw 43159
c lw 43169
c lw 43179
c lw 43180
c lw 43182
c lw 43184
c lw 43185
c lw 43190
c lw 43191
c lw 43194
c lw 43195
c lw 43196
c lw 43197
c lw 43198
c lw 43199
c lw 43204
c lw 43206
c lw 43207
c lw 43208
c lw 43213
c lw 43220
c lw 43232
c lw 43234
c lw 43237
c lw 43239
c lw 43243
c lw 43245
c lw 43250
c lw 43253
c lw 43254
c lw 43255
c lw 43259
c lw 43261
c lw 43263
c lw 43266
c lw 43267
c lw 43270
c lw 43271
c lw 43272
c lw 43275
c lw 43276
c lw 43278
c lw 43281
c lw 43282
c lw 43283
c lw 43285
c lw 43286
c lw 43287
c lw 43288
c lw 43289
c lw 43291
c lw 43298
c lw 43300
c lw 43301
c lw 43303
c lw 43304
c lw 43307
c lw 43309
c lw 43314
c lw 43315
c lw 43319
c lw 43320
c lw 43325
c lw 43329
c lw 43336
c lw 43338
c lw 43339
c lw 43340
c lw 43341
c lw 43344
c lw 43345
c lw 43347
c lw 43349
c lw 43350
c lw 43354
c lw 43357
c lw 43358
c lw 43361
c lw 43363
c lw 43364
c lw 43365
c lw 43366
c lw 43368
c lw 43369
c lw 43370
c lw 43371
c lw 43373
c lw 43374
c lw 43376
c lw 43378
c lw 43381
c lw 43384
c lw 43385
c lw 43387
c lw 43389
c lw 43390
c lw 43391
c lw 43395
c lw 43396
c lw 43398
c lw 43401
c lw 43402
c lw 43403
c lw 43404
c lw 43405
c lw 43406
c lw 43408
c lw 43662
c lw 43700
c lw 43797
c lw 43828
c lw 43833
c lw 43838
c lw 43839
c lw 43886
c lw 43889
c lw 43891
c lw 43894
c lw 43895
c lw 43900
c lw 43902
c lw 43912
c lw 43924
c lw 43940
c lw 43943
c lw 43957
c lw 43961
c lw 43967
c lw 43968
c lw 43969
c lw 43971
c lw 43972
c lw 43973
c lw 43977
c lw 43978
c lw 43981
c lw 43985
c lw 43988
c lw 43989
c lw 43990
c lw 43991
c lw 43992
c lw 43993
c lw 43994
c lw 43995
c lw 43996
c lw 43997
c lw 43998
c lw 43999
c lw 44004
c lw 44005
c lw 44006
c lw 44008
c lw 44009
c lw 44012
c lw 44019
c lw 44021
c lw 44022
c lw 44023
c lw 44032
c lw 44035
c lw 44046
c lw 44065
c lw 44067
c lw 44080
c lw 44088
c lw 44089
c lw 44090
c lw 44091
c lw 44092
c lw 44093
c lw 44094
c lw 44114
c lw 44121
c lw 44123
c lw 44124
c lw 44126
c lw 44127
c lw 44130
c lw 44132
c lw 44137
c lw 44138
c lw 44142
c lw 44143
c lw 44148
c lw 44152
c lw 44153
c lw 44154
c lw 44155
c lw 44156
c lw 44157
c lw 44158
c lw 44159
c lw 44160
c lw 44161
c lw 44162
c lw 44163
c lw 44164
c lw 44165
c lw 44166
c lw 44167
c lw 44168
c lw 44169
c lw 44170
c lw 44171
c lw 44172
c lw 44173
c lw 44174
c lw 44175
c lw 44176
c lw 44178
c lw 44180
c lw 44183
c lw 44184
c lw 44187
c lw 44188
c lw 44189
c lw 44190
c lw 44191
c lw 44192
c lw 44194
c lw 44195
c lw 44196
c lw 44197
c lw 44198
c lw 44199
c lw 44200
c lw 44201
c lw 44202
c lw 44203
c lw 44204
c lw 44205
c lw 44206
c lw 44207
c lw 44208
c lw 44209
c lw 44210
c lw 44211
c lw 44212
c lw 44213
c lw 44214
c lw 44215
c lw 44216
c lw 44217
c lw 44218
c lw 44219
c lw 44220
c lw 44221
c lw 44223
c lw 44224
c lw 44225
c lw 44226
c lw 44228
c lw 44229
c lw 44231
c lw 44232
c lw 44233
c lw 44234
c lw 44235
c lw 44236
c lw 44238
c lw 44239
c lw 44240
c lw 44241
c lw 44242
c lw 44243
c lw 44245
c lw 44246
c lw 44247
c lw 44249
c lw 44250
c lw 44251
c lw 44252
c lw 44253
c lw 44255
c lw 44256
c lw 44257
c lw 44259
c lw 44261
c lw 44263
c lw 44264
c lw 44265
c lw 44266
c lw 44267
c lw 44268
c lw 44269
c lw 44270
c lw 44274
c lw 44275
c lw 44276
c lw 44278
c lw 44279
c lw 44280
c lw 44281
c lw 44284
c lw 44285
c lw 44286
c lw 44287
c lw 44288
c lw 44289
c lw 44292
c lw 44293
c lw 44294
c lw 44298
c lw 44301
c lw 44302
c lw 44304
c lw 44308
c lw 44309
c lw 44310
c lw 44311
c lw 44312
c lw 44313
c lw 44314
c lw 44315
c lw 44316
c lw 44317
c lw 44318
c lw 44319
c lw 44320
c lw 44324
c lw 44325
c lw 44326
c lw 44327
c lw 44328
c lw 44329
c lw 44330
c lw 44331
c lw 44332
c lw 44333
c lw 44334
c lw 44335
c lw 44336
c lw 44337
c lw 44338
c lw 44339
c lw 44340
c lw 44341
c lw 44342
c lw 44343
c lw 44344
c lw 44345
c lw 44346
c lw 44347
c lw 44348
c lw 44349
c lw 44350
c lw 44351
c lw 44352
c lw 44353
c lw 44354
c lw 44355
c lw 44356
c lw 44357
c lw 44358
c lw 44359
c lw 44360
c lw 44362
c lw 44363
c lw 44364
c lw 44365
c lw 44366
c lw 44367
c lw 44368
c lw 44369
c lw 44370
c lw 44371
c lw 44372
c lw 44373
c lw 44374
c lw 44375
c lw 44377
c lw 44378
c lw 44379
c lw 44380
c lw 44381
c lw 44382
c lw 44383
c lw 44384
c lw 44385
c lw 44386
c lw 44387
c lw 44388
c lw 44389
c lw 44390
c lw 44391
c lw 44392
c lw 44393
c lw 44394
c lw 44395
c lw 44397
c lw 44398
c lw 44426
c lw 44429
c lw 44431
c lw 44432
c lw 44434
c lw 44435
c lw 44440
c lw 44442
c lw 44452
c lw 44463
c lw 44464
c lw 44468
c lw 44473
c lw 44474
c lw 44480
c lw 44483
c lw 44497
c lw 44501
c lw 44507
c lw 44508
c lw 44509
c lw 44511
c lw 44512
c lw 44513
c lw 44517
c lw 44518
c lw 44521
c lw 44524
c lw 44525
c lw 44526
c lw 44528
c lw 44529
c lw 44530
c lw 44535
c lw 44537
c lw 44547
c lw 44548
c lw 44549
c lw 44550
c lw 44551
c lw 44552
c lw 44553
c lw 44554
c lw 44555
c lw 44556
c lw 44564
c lw 44577
c lw 44579
c lw 44598
c lw 44601
c lw 44701
c lw 45816
c lw 45817
c lw 45818
c lw 45819
c lw 45820
c lw 45821
c lw 45822
c lw 45823
c lw 45824
c lw 45825
c lw 45826
c lw 45827
c lw 45828
c lw 45829
c lw 45830
c lw 45831
c lw 45832
c lw 45833
c lw 45834
c lw 45835
c lw 45836
c lw 45837
c lw 45838
c lw 45846
c lw 45859
c lw 45861
c lw 45880
c lw 45891
c lw 45894
c lw 45898
Killed
1801.020u 18.712s 30:20.92 99.9%	0+0k 0+0io 0pf+0w