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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 862
c lw 1795
c lw 2361
c lw 2973
c lw 4057
c lw 5424
c lw 6921
c lw 7958
c lw 9259
c lw 10267
c lw 11582
c lw 12339
c lw 12763
c lw 13396
c lw 13458
c lw 14008
c lw 14654
c lw 14873
c lw 15156
c lw 15793
c lw 16093
c lw 16726
c lw 17438
c lw 17656
c lw 17671
c lw 17870
c lw 17947
c lw 18058
c lw 18260
c lw 18367
c lw 19162
c lw 19689
c lw 20093
c lw 20421
c lw 20905
c lw 21280
c lw 21362
c lw 21459
c lw 21580
c lw 21825
c lw 21890
c lw 22352
c lw 23197
c lw 23399
c lw 23520
c lw 23765
c lw 23934
c lw 24016
c lw 24180
c lw 24235
c lw 24338
c lw 24535
c lw 24538
c lw 24569
c lw 24620
c lw 24688
c lw 24744
c lw 24825
c lw 25025
c lw 25253
c lw 25335
c lw 25456
c lw 25501
c lw 25731
c lw 25748
c lw 26629
c lw 26702
c lw 26827
c lw 27243
c lw 27257
c lw 27271
c lw 27274
c lw 27281
c lw 27330
c lw 27382
c lw 27497
c lw 27592
c lw 27640
c lw 27684
c lw 27757
c lw 27765
c lw 27771
c lw 27929
c lw 28270
c lw 28281
c lw 28286
c lw 28310
c lw 28331
c lw 28353
c lw 28441
c lw 28501
c lw 28516
c lw 28584
c lw 28624
c lw 28632
c lw 28669
c lw 28674
c lw 28736
c lw 28763
c lw 28884
c lw 28891
c lw 28904
c lw 28912
c lw 28925
c lw 28941
c lw 28946
c lw 28949
c lw 29008
c lw 29035
c lw 29065
c lw 29070
c lw 29081
c lw 29084
c lw 29101
c lw 29103
c lw 29127
c lw 29143
c lw 29156
c lw 29163
c lw 29281
c lw 29562
c lw 29917
c lw 30012
c lw 30051
c lw 30278
c lw 30423
c lw 30487
c lw 30632
c lw 31781
c lw 31787
c lw 31821
c lw 31836
c lw 32300
c lw 32306
c lw 32340
c lw 32388
c lw 32403
c lw 32422
c lw 32435
c lw 32438
c lw 32442
c lw 32446
c lw 32449
c lw 32455
c lw 32463
c lw 32466
c lw 32468
c lw 32471
c lw 32495
c lw 32498
c lw 32500
c lw 32525
c lw 32549
c lw 32551
c lw 32564
c lw 32572
c lw 33089
c lw 33800
c lw 33847
c lw 33856
c lw 34016
c lw 35478
c lw 35537
c lw 35550
c lw 35969
c lw 36262
c lw 37261
c lw 37490
c lw 37558
c lw 37566
c lw 37734
c lw 37773
c lw 37910
c lw 38085
c lw 38304
c lw 38311
c lw 38383
c lw 38411
c lw 38980
c lw 38984
c lw 38987
c lw 39009
c lw 39021
c lw 39031
c lw 39387
c lw 39483
c lw 39511
c lw 39810
c lw 39934
c lw 40308
c lw 40372
c lw 40663
c lw 41249
c lw 41318
c lw 41421
c lw 42002
c lw 42054
c lw 42136
c lw 42189
c lw 42243
c lw 42371
c lw 42407
c lw 42565
c lw 42582
c lw 42635
c lw 42726
c lw 42761
c lw 42768
c lw 42845
c lw 43113
c lw 43130
c lw 43182
c lw 43183
c lw 43218
c lw 43219
c lw 43273
c lw 43279
c lw 43312
c lw 43411
c lw 43687
c lw 44010
c lw 44258
c lw 44337
c lw 44433
c lw 44655
c lw 44946
c lw 44964
c lw 44992
c lw 45027
c lw 45078
c lw 45106
c lw 45123
c lw 45187
c lw 45195
c lw 45279
c lw 45572
c lw 45584
c lw 45600
c lw 45608
c lw 45625
c lw 45931
c lw 46098
c lw 46102
c lw 46334
c lw 46402
c lw 46434
c lw 46435
c lw 46445
c lw 46453
c lw 46463
c lw 46469
c lw 46555
c lw 46864
c lw 46919
c lw 47140
c lw 47252
c lw 47308
c lw 47656
c lw 47847
c lw 47927
c lw 47946
c lw 47963
c lw 47975
c lw 48007
c lw 48198
c lw 48212
c lw 48258
c lw 48275
c lw 48292
c lw 48331
c lw 48332
c lw 48505
c lw 48924
c lw 49134
c lw 49267
c lw 49530
c lw 49734
c lw 49859
c lw 49862
c lw 49867
c lw 49870
c lw 49874
c lw 49877
c lw 49882
c lw 49893
c lw 50073
c lw 50095
c lw 50098
c lw 50099
c lw 50100
c lw 50101
c lw 50102
c lw 50103
c lw 50106
c lw 50107
c lw 50110
c lw 50111
c lw 50115
c lw 50128
c lw 50131
c lw 50132
c lw 50138
c lw 50139
c lw 50146
c lw 50151
c lw 50155
c lw 50157
c lw 50170
c lw 50324
c lw 50327
c lw 50328
c lw 50331
c lw 50332
c lw 50335
c lw 50337
c lw 50340
c lw 50342
c lw 50346
c lw 50347
c lw 50361
c lw 50369
c lw 50377
c lw 50392
c lw 50394
c lw 50398
c lw 50404
c lw 50410
c lw 50412
c lw 50425
c lw 50428
c lw 50436
c lw 50439
c lw 50441
c lw 50444
c lw 50448
c lw 50449
c lw 50451
c lw 50452
c lw 50457
c lw 50465
c lw 50467
c lw 50468
c lw 50470
c lw 50473
c lw 50476
c lw 50478
c lw 50490
c lw 50493
c lw 50495
c lw 50498
c lw 50504
c lw 50512
c lw 50516
c lw 50519
c lw 50522
c lw 50525
c lw 50526
c lw 50529
c lw 50532
c lw 50534
c lw 50535
c lw 50541
c lw 50549
c lw 50552
c lw 50558
c lw 50561
c lw 50563
c lw 50567
c lw 50575
c lw 50870
c lw 50991
c lw 51902
c lw 52102
c lw 52162
c lw 52174
c lw 52191
c lw 52338
c lw 52456
c lw 52814
c lw 52965
c lw 53110
c lw 53401
c lw 53468
c lw 53614
c lw 53635
c lw 53671
c lw 53694
c lw 53702
c lw 53715
c lw 53772
c lw 53784
c lw 53961
c lw 53973
c lw 54027
c lw 54079
c lw 54178
c lw 54270
c lw 54327
c lw 54399
c lw 54467
c lw 54505
c lw 54785
c lw 55110
c lw 55603
c lw 55667
c lw 55684
c lw 55705
c lw 55745
c lw 55789
c lw 55813
c lw 55836
c lw 55857
c lw 55921
c lw 55985
c lw 55986
c lw 55987
c lw 56008
c lw 56029
c lw 56031
c lw 56039
c lw 56052
c lw 56074
c lw 56103
c lw 56109
c lw 56137
c lw 56197
c lw 56201
c lw 56213
c lw 56294
c lw 56325
c lw 56327
c lw 56335
c lw 56348
c lw 56358
c lw 56370
c lw 56371
c lw 56399
c lw 56405
c lw 56433
c lw 56457
c lw 56471
c lw 56493
c lw 57071
c lw 57273
c lw 58088
c lw 58093
c lw 58115
c lw 58129
c lw 58149
c lw 58153
c lw 58170
c lw 58172
c lw 58181
c lw 58187
c lw 58191
c lw 58192
c lw 58193
c lw 58202
c lw 58212
c lw 58213
c lw 58214
c lw 58215
c lw 58225
c lw 58238
c lw 58241
c lw 58246
c lw 58247
c lw 58248
c lw 58249
c lw 58257
c lw 58261
c lw 58278
c lw 58489
c lw 58573
c lw 58706
c lw 58728
c lw 58770
c lw 59079
c lw 59169
c lw 59193
c lw 59404
c lw 59472
c lw 59537
c lw 59559
c lw 59620
c lw 59872
c lw 59895
c lw 60001
c lw 60105
c lw 60186
c lw 60212
c lw 60216
c lw 60220
c lw 60650
c lw 60905
c lw 61010
c lw 61265
c lw 61274
c lw 61358
c lw 61363
c lw 61368
c lw 61427
c lw 61510
c lw 61933
c lw 62356
c lw 62380
c lw 62384
c lw 62388
c lw 62392
c lw 62395
c lw 62396
c lw 62397
c lw 62400
c lw 62404
c lw 62405
c lw 62409
c lw 62411
c lw 62414
c lw 62417
c lw 62418
c lw 62420
c lw 62421
c lw 62422
c lw 62423
c lw 62424
c lw 62426
c lw 62428
c lw 62429
c lw 62430
c lw 62431
c lw 62432
c lw 62433
c lw 62434
c lw 62435
c lw 62436
c lw 62437
c lw 62438
c lw 62439
c lw 62443
c lw 62445
c lw 62446
c lw 62447
c lw 62448
c lw 62449
c lw 62451
c lw 62452
c lw 62453
c lw 62454
c lw 62455
c lw 62456
c lw 62459
c lw 62460
c lw 62462
c lw 62463
c lw 62464
c lw 62465
c lw 62467
c lw 62468
c lw 62469
c lw 62470
c lw 62471
c lw 62472
c lw 62476
c lw 62477
c lw 62479
c lw 62480
c lw 62481
c lw 62482
c lw 62483
c lw 62484
c lw 62485
c lw 62486
c lw 62488
c lw 62489
c lw 62490
c lw 62491
c lw 62492
c lw 62493
c lw 62494
c lw 62495
c lw 62496
c lw 62497
c lw 62498
c lw 62499
c lw 62500
c lw 62501
c lw 62502
c lw 62503
c lw 62504
c lw 62505
c lw 62506
c lw 62537
c lw 62789
c lw 62825
c lw 63030
c lw 63040
c lw 63196
c lw 63220
c lw 63222
c lw 63455
c lw 63466
c lw 63503
c lw 63575
c lw 63611
c lw 63722
c lw 63757
c lw 63816
c lw 63826
c lw 63877
c lw 63878
c lw 63926
c lw 63931
c lw 63983
c lw 64011
c lw 64157
c lw 64188
c lw 64190
c lw 64214
c lw 64215
c lw 64219
c lw 64230
c lw 64252
c lw 64260
c lw 64288
c lw 64296
c lw 64318
c lw 64345
c lw 64355
c lw 64360
c lw 64366
c lw 64396
c lw 64407
c lw 64442
c lw 64443
c lw 64448
c lw 64468
c lw 65325
c lw 65644
c lw 66225
c lw 66365
c lw 66437
c lw 66547
c lw 66580
c lw 66645
c lw 66730
c lw 66735
c lw 66828
c lw 66854
c lw 66902
c lw 66904
c lw 66906
c lw 66916
c lw 66926
c lw 66928
c lw 66944
c lw 66977
c lw 67064
c lw 67066
c lw 67088
c lw 67232
c lw 67575
c lw 67622
c lw 67624
c lw 68007
c lw 68078
c lw 68122
c lw 68270
c lw 68284
c lw 68425
c lw 68434
c lw 68441
c lw 68671
c lw 68901
c lw 68912
c lw 69180
c lw 69576
c lw 69763
c lw 69811
c lw 69829
c lw 69865
c lw 70191
c lw 70227
c lw 70298
c lw 70317
c lw 70342
c lw 70344
c lw 70351
c lw 70427
c lw 70677
c lw 70815
c lw 70842
c lw 71084
c lw 71135
c lw 71224
c lw 71237
c lw 71324
c lw 71426
c lw 71482
c lw 71546
c lw 71574
c lw 71614
c lw 71693
c lw 71697
c lw 71725
c lw 71732
c lw 71752
c lw 71779
c lw 71822
c lw 71870
c lw 71921
c lw 71948
c lw 72021
c lw 72038
c lw 72072
c lw 72096
c lw 72097
c lw 72100
c lw 72135
c lw 72147
c lw 72152
c lw 72162
c lw 72174
c lw 72196
c lw 72209
c lw 72214
c lw 72225
c lw 73462
c lw 73507
c lw 73534
c lw 73959
c lw 73973
c lw 73983
c lw 74197
c lw 74225
c lw 74235
c lw 74396
c lw 74568
c lw 74625
c lw 74673
c lw 74735
c lw 74752
c lw 74759
c lw 74773
c lw 74783
c lw 74810
c lw 74833
c lw 74847
c lw 74885
c lw 74971
c lw 74976
c lw 75021
c lw 75037
c lw 75043
c lw 75058
c lw 75070
c lw 75071
c lw 75076
c lw 75114
c lw 75120
c lw 75121
c lw 75126
c lw 75131
c lw 75132
c lw 75136
c lw 75137
c lw 75139
c lw 75141
c lw 75147
c lw 75149
c lw 75150
c lw 75158
c lw 75159
c lw 75171
c lw 75341
c lw 76043
c lw 76174
c lw 76579
c lw 76871
c lw 77066
c lw 77083
c lw 77131
c lw 77132
c lw 77228
c lw 77255
c lw 77505
c lw 77531
c lw 78063
c lw 78772
c lw 79082
c lw 79238
c lw 79422
c lw 79513
c lw 79550
c lw 79594
c lw 79661
c lw 79758
c lw 79867
c lw 79894
c lw 79978
c lw 79987
c lw 79991
c lw 80082
c lw 80148
c lw 80208
c lw 80220
c lw 80280
c lw 80346
c lw 80437
c lw 80441
c lw 80450
c lw 80458
c lw 80462
c lw 80491
c lw 80644
c lw 80980
c lw 81041
c lw 81140
c lw 81253
c lw 81307
c lw 81383
c lw 81398
c lw 81410
c lw 81425
c lw 81460
c lw 81481
c lw 81679
c lw 81816
c lw 81942
c lw 81952
c lw 81956
c lw 82009
c lw 82486
c lw 83064
c lw 83076
c lw 83237
c lw 83362
c lw 83372
c lw 83410
c lw 83485
c lw 83547
c lw 83646
c lw 83758
c lw 83806
c lw 83903
c lw 84081
c lw 84087
c lw 84143
c lw 84163
c lw 84269
c lw 84282
c lw 84393
c lw 84513
c lw 84520
c lw 84561
c lw 84619
c lw 84653
c lw 84665
c lw 84671
c lw 84677
c lw 84690
c lw 84694
c lw 84698
c lw 84769
c lw 84806
c lw 84864
c lw 84865
c lw 84873
c lw 84875
c lw 84923
c lw 85213
c lw 85219
c lw 85225
c lw 85226
c lw 85237
c lw 85271
c lw 85273
c lw 85316
c lw 85329
c lw 85331
c lw 85549
c lw 85749
c lw 86879
c lw 86894
c lw 86982
c lw 87025
c lw 87036
c lw 87136
c lw 87195
c lw 87201
c lw 87211
c lw 87239
c lw 87254
c lw 87268
c lw 87334
c lw 87336
c lw 87347
c lw 87370
c lw 87381
c lw 87453
c lw 87455
c lw 87466
c lw 87468
c lw 87475
c lw 87514
c lw 87518
c lw 87522
c lw 87524
c lw 87532
c lw 87580
c lw 87702
c lw 87850
c lw 87869
c lw 88005
c lw 88105
c lw 88113
c lw 88114
c lw 88120
c lw 88121
c lw 88122
c lw 88123
c lw 88124
c lw 88125
c lw 88128
c lw 88129
c lw 88130
c lw 88131
c lw 88135
c lw 88136
c lw 88142
c lw 88147
c lw 88149
c lw 88151
c lw 88164
c lw 88165
c lw 88166
c lw 88168
c lw 88174
c lw 88175
c lw 88178
c lw 88179
c lw 88181
c lw 88183
c lw 88206
c lw 88208
c lw 88210
c lw 88211
c lw 88212
c lw 88213
c lw 88218
c lw 88219
c lw 88221
c lw 88222
c lw 88223
c lw 88226
c lw 88227
c lw 88228
c lw 88229
c lw 88230
c lw 88231
c lw 88232
c lw 88234
c lw 88235
c lw 88237
c lw 88241
c lw 88242
c lw 88248
c lw 88249
c lw 88251
c lw 88258
c lw 88261
c lw 88263
c lw 88266
c lw 88281
c lw 88288
c lw 88289
c lw 88294
c lw 88296
c lw 88298
c lw 88302
c lw 88309
c lw 88310
c lw 88311
c lw 88316
c lw 88318
c lw 88322
c lw 88323
c lw 88324
c lw 88326
c lw 88329
c lw 88330
c lw 88331
c lw 88334
c lw 88338
c lw 88343
c lw 88346
c lw 88351
c lw 88352
c lw 88353
c lw 88354
c lw 88355
c lw 88356
c lw 88357
c lw 88358
c lw 88359
c lw 88360
c lw 88361
c lw 88362
c lw 88363
c lw 88364
c lw 88365
c lw 88367
c lw 88368
c lw 88369
c lw 88371
c lw 88372
c lw 88373
c lw 88374
c lw 88375
c lw 88376
c lw 88377
c lw 88378
c lw 88379
c lw 88380
c lw 88384
c lw 88385
c lw 88386
c lw 88387
c lw 88389
c lw 88395
c lw 88403
c lw 88404
c lw 88406
c lw 88408
c lw 88410
c lw 88412
c lw 88417
c lw 88418
c lw 88419
c lw 88420
c lw 88421
c lw 88422
c lw 88423
c lw 88424
c lw 88425
c lw 88426
c lw 88427
c lw 88428
c lw 88434
c lw 88436
c lw 88438
c lw 88439
c lw 88442
c lw 88443
c lw 88444
c lw 88446
c lw 88448
c lw 88449
c lw 88452
c lw 88453
c lw 88455
c lw 88456
c lw 88458
c lw 88459
c lw 88460
c lw 88461
c lw 88462
c lw 88463
c lw 88464
c lw 88465
c lw 88466
c lw 88467
c lw 88468
c lw 88470
c lw 88472
c lw 88473
c lw 88474
c lw 88475
c lw 88476
c lw 88477
c lw 88478
c lw 88479
c lw 88480
c lw 88481
c lw 88482
c lw 88483
c lw 88484
c lw 88485
c lw 88500
c lw 88503
c lw 88504
c lw 88522
c lw 88529
c lw 88530
c lw 88531
c lw 88532
c lw 88534
c lw 88535
c lw 88536
c lw 88537
c lw 88538
c lw 88539
c lw 88540
c lw 88541
c lw 88542
c lw 88543
c lw 88544
c lw 88545
c lw 88546
c lw 88547
c lw 88548
c lw 88550
c lw 88551
c lw 88552
c lw 88553
c lw 88559
c lw 88560
c lw 88561
c lw 88562
c lw 88563
c lw 88564
c lw 88565
c lw 88566
c lw 88567
c lw 88568
c lw 88570
c lw 88571
c lw 88572
c lw 88573
c lw 88575
c lw 88576
c lw 88577
c lw 88578
Killed
1802.695u 17.058s 30:23.37 99.8%	0+0k 0+0io 0pf+0w