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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 792
c lw 1085
c lw 2598
c lw 3589
c lw 4827
c lw 6367
c lw 8033
c lw 9812
c lw 10290
c lw 10642
c lw 10749
c lw 10878
c lw 11069
c lw 11307
c lw 12037
c lw 12756
c lw 13339
c lw 13417
c lw 13571
c lw 14192
c lw 14296
c lw 14570
c lw 14769
c lw 14969
c lw 15011
c lw 15121
c lw 15228
c lw 15888
c lw 15978
c lw 16107
c lw 16152
c lw 16164
c lw 16605
c lw 16691
c lw 16957
c lw 17188
c lw 17194
c lw 17491
c lw 17524
c lw 17547
c lw 17963
c lw 18017
c lw 18063
c lw 18294
c lw 18329
c lw 18379
c lw 19020
c lw 19187
c lw 19212
c lw 19219
c lw 19252
c lw 19376
c lw 19808
c lw 19907
c lw 20334
c lw 20355
c lw 20371
c lw 20427
c lw 20521
c lw 20636
c lw 20639
c lw 20649
c lw 20666
c lw 20718
c lw 20803
c lw 21940
c lw 22076
c lw 22108
c lw 22321
c lw 22342
c lw 22368
c lw 22399
c lw 22414
c lw 22523
c lw 22541
c lw 22550
c lw 22572
c lw 22575
c lw 22585
c lw 22637
c lw 22661
c lw 22722
c lw 22893
c lw 22896
c lw 22906
c lw 22958
c lw 23010
c lw 23012
c lw 23043
c lw 23047
c lw 23074
c lw 23127
c lw 23196
c lw 23402
c lw 23636
c lw 23652
c lw 23657
c lw 23760
c lw 23783
c lw 23848
c lw 23902
c lw 23934
c lw 23965
c lw 24030
c lw 24071
c lw 24133
c lw 24283
c lw 24510
c lw 24691
c lw 24692
c lw 24771
c lw 24784
c lw 24789
c lw 24800
c lw 24805
c lw 24813
c lw 24817
c lw 24821
c lw 24830
c lw 25098
c lw 25102
c lw 25105
c lw 25163
c lw 25195
c lw 25215
c lw 25226
c lw 25243
c lw 25282
c lw 25291
c lw 25294
c lw 25445
c lw 26383
c lw 26535
c lw 26649
c lw 27477
c lw 27482
c lw 27486
c lw 27490
c lw 27493
c lw 27494
c lw 27502
c lw 27525
c lw 27537
c lw 27596
c lw 27673
c lw 27677
c lw 27682
c lw 27686
c lw 27689
c lw 27690
c lw 27691
c lw 27699
c lw 27703
c lw 27704
c lw 27707
c lw 27708
c lw 27712
c lw 27714
c lw 27715
c lw 27716
c lw 27717
c lw 27719
c lw 27723
c lw 27724
c lw 27725
c lw 27726
c lw 27727
c lw 27728
c lw 27729
c lw 27730
c lw 27731
c lw 27732
c lw 27734
c lw 27735
c lw 27736
c lw 27797
c lw 27875
c lw 27877
c lw 27944
c lw 27947
c lw 27957
c lw 27975
c lw 27979
c lw 27997
c lw 28014
c lw 28018
c lw 28022
c lw 28024
c lw 28027
c lw 28030
c lw 28033
c lw 28040
c lw 28058
c lw 28082
c lw 28092
c lw 28109
c lw 28111
c lw 28131
c lw 28133
c lw 28135
c lw 28150
c lw 28153
c lw 28156
c lw 28254
c lw 28604
c lw 28624
c lw 28652
c lw 29178
c lw 29243
c lw 29525
c lw 29906
c lw 30125
c lw 30238
c lw 30344
c lw 30389
c lw 30431
c lw 30574
c lw 30736
c lw 30770
c lw 30881
c lw 30883
c lw 30923
c lw 31054
c lw 31057
c lw 31102
c lw 31164
c lw 31274
c lw 31407
c lw 31488
c lw 31602
c lw 31650
c lw 31766
c lw 32031
c lw 32209
c lw 32438
c lw 32593
c lw 32631
c lw 32668
c lw 32846
c lw 32869
c lw 32946
c lw 33186
c lw 33247
c lw 33280
c lw 34151
c lw 35522
c lw 35703
c lw 35718
c lw 35804
c lw 36302
c lw 36305
c lw 36313
c lw 36314
c lw 36317
c lw 36321
c lw 36325
c lw 36330
c lw 36372
c lw 36383
c lw 36409
c lw 36502
c lw 36604
c lw 36695
c lw 36717
c lw 36838
c lw 36840
c lw 36851
c lw 36856
c lw 36868
c lw 36903
c lw 36945
c lw 37004
c lw 37005
c lw 37012
c lw 37013
c lw 37015
c lw 37016
c lw 37020
c lw 37024
c lw 37029
c lw 37031
c lw 37065
c lw 37068
c lw 37070
c lw 37072
c lw 37074
c lw 37098
c lw 37101
c lw 37124
c lw 37125
c lw 37128
c lw 37147
c lw 37151
c lw 37166
c lw 37168
c lw 37169
c lw 37178
c lw 37185
c lw 37192
c lw 37194
c lw 37195
c lw 37196
c lw 37223
c lw 37245
c lw 37247
c lw 37248
c lw 37249
c lw 37252
c lw 37254
c lw 37255
c lw 37257
c lw 37259
c lw 37260
c lw 37261
c lw 37262
c lw 37263
c lw 37264
c lw 37265
c lw 37266
c lw 37267
c lw 37268
c lw 37269
c lw 37270
c lw 37271
c lw 37272
c lw 37273
c lw 37274
c lw 37275
c lw 37276
c lw 37277
c lw 37278
c lw 37279
c lw 37280
c lw 37281
c lw 37282
c lw 37283
c lw 37284
c lw 37285
c lw 37286
c lw 37287
c lw 37424
c lw 37479
c lw 37571
c lw 37656
c lw 37855
c lw 37870
c lw 38135
c lw 38171
c lw 38221
c lw 38236
c lw 38251
c lw 38257
c lw 38273
c lw 38276
c lw 38295
c lw 38316
c lw 38331
c lw 38647
c lw 38659
c lw 38731
c lw 38850
c lw 38865
c lw 38930
c lw 39066
c lw 39139
c lw 39237
c lw 39323
c lw 39349
c lw 39351
c lw 39380
c lw 39381
c lw 39394
c lw 39410
c lw 39422
c lw 39434
c lw 39439
c lw 39451
c lw 39467
c lw 39569
c lw 39603
c lw 39646
c lw 39744
c lw 39781
c lw 39829
c lw 39966
c lw 40288
c lw 40366
c lw 40632
c lw 40753
c lw 40874
c lw 40966
c lw 41043
c lw 41119
c lw 41165
c lw 41200
c lw 41283
c lw 41416
c lw 41431
c lw 41456
c lw 41466
c lw 41482
c lw 41490
c lw 41492
c lw 41494
c lw 41498
c lw 41508
c lw 41524
c lw 41529
c lw 41549
c lw 41550
c lw 41563
c lw 41570
c lw 41579
c lw 41591
c lw 41601
c lw 41603
c lw 41608
c lw 41616
c lw 41620
c lw 41636
c lw 41641
c lw 41670
c lw 41692
c lw 41698
c lw 41700
c lw 41713
c lw 41724
c lw 41736
c lw 41748
c lw 41753
c lw 41763
c lw 41790
c lw 41840
c lw 42261
c lw 42262
c lw 42557
c lw 42598
c lw 42635
c lw 42702
c lw 42717
c lw 42738
c lw 42753
c lw 42754
c lw 42832
c lw 42846
c lw 42847
c lw 42862
c lw 42868
c lw 42883
c lw 42920
c lw 42940
c lw 42944
c lw 42950
c lw 42954
c lw 42961
c lw 42962
c lw 43170
c lw 43220
c lw 43245
c lw 43296
c lw 43412
c lw 43442
c lw 43574
c lw 43581
c lw 43582
c lw 43607
c lw 43628
c lw 43632
c lw 43638
c lw 43639
c lw 43682
c lw 43690
c lw 43728
c lw 43731
c lw 43742
c lw 43743
c lw 43748
c lw 43752
c lw 43768
c lw 43769
c lw 43770
c lw 43777
c lw 43806
c lw 43868
c lw 43869
c lw 43873
c lw 43880
c lw 43883
c lw 43884
c lw 43885
c lw 43886
c lw 43892
c lw 43893
c lw 43894
c lw 43895
c lw 43899
c lw 43901
c lw 43909
c lw 43953
c lw 43960
c lw 43962
c lw 43966
c lw 43980
c lw 43981
c lw 43987
c lw 43988
c lw 43989
c lw 43991
c lw 44020
c lw 44028
c lw 44165
c lw 44167
c lw 44295
c lw 44437
c lw 44682
c lw 44832
c lw 44937
c lw 45057
c lw 45202
c lw 45204
c lw 45249
c lw 45449
c lw 45470
c lw 45591
c lw 45669
c lw 45676
c lw 45677
c lw 45685
c lw 45689
c lw 45693
c lw 45699
c lw 45706
c lw 45822
c lw 45852
c lw 45876
c lw 45893
c lw 45902
c lw 45903
c lw 46087
c lw 46093
c lw 46121
c lw 46218
c lw 46332
c lw 47356
c lw 47708
c lw 47782
c lw 47838
c lw 47872
c lw 47873
c lw 47883
c lw 47886
c lw 47887
c lw 47891
c lw 47893
c lw 47900
c lw 47981
c lw 48001
c lw 48007
c lw 48008
c lw 48038
c lw 48116
c lw 48152
c lw 48153
c lw 48154
c lw 48155
c lw 48156
c lw 48157
c lw 48160
c lw 48161
c lw 48162
c lw 48335
c lw 48476
c lw 48662
c lw 48756
c lw 48777
c lw 48812
c lw 48912
c lw 49001
c lw 49030
c lw 49031
c lw 49032
c lw 49033
Killed
1814.002u 5.769s 30:20.11 99.9%	0+0k 0+0io 0pf+0w