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-40-2_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 406
c lw 1288
c lw 3002
c lw 3120
c lw 3696
c lw 4771
c lw 5908
c lw 6697
c lw 7368
c lw 7371
c lw 8284
c lw 9400
c lw 10055
c lw 10111
c lw 10224
c lw 10933
c lw 10963
c lw 11019
c lw 11179
c lw 11532
c lw 11801
c lw 11933
c lw 12152
c lw 12212
c lw 12405
c lw 12432
c lw 12441
c lw 12497
c lw 12527
c lw 13228
c lw 13947
c lw 14148
c lw 15591
c lw 15627
c lw 15745
c lw 15861
c lw 16085
c lw 16141
c lw 16254
c lw 16449
c lw 16452
c lw 16584
c lw 16803
c lw 16863
c lw 16947
c lw 16986
c lw 16995
c lw 17079
c lw 17102
c lw 17105
c lw 17114
c lw 17220
c lw 17458
c lw 17519
c lw 17854
c lw 17951
c lw 17953
c lw 18007
c lw 18234
c lw 18360
c lw 18440
c lw 18513
c lw 18515
c lw 18579
c lw 18586
c lw 18631
c lw 18641
c lw 18721
c lw 18772
c lw 18908
c lw 18943
c lw 19062
c lw 19080
c lw 19612
c lw 19655
c lw 19890
c lw 20139
c lw 20573
c lw 20616
c lw 20702
c lw 20709
c lw 20754
c lw 20764
c lw 20796
c lw 21079
c lw 21087
c lw 21096
c lw 21143
c lw 21150
c lw 21180
c lw 21195
c lw 21198
c lw 21205
c lw 21241
c lw 21271
c lw 21454
c lw 21490
c lw 21547
c lw 21548
c lw 21554
c lw 21567
c lw 21573
c lw 21581
c lw 21673
c lw 21685
c lw 21777
c lw 21789
c lw 21987
c lw 22121
c lw 22277
c lw 22299
c lw 22373
c lw 22383
c lw 22439
c lw 22443
c lw 22447
c lw 22464
c lw 22558
c lw 22567
c lw 22574
c lw 22581
c lw 22588
c lw 22614
c lw 22619
c lw 22621
c lw 22624
c lw 22626
c lw 22631
c lw 22634
c lw 22636
c lw 22645
c lw 22647
c lw 22651
c lw 22727
c lw 23006
c lw 23676
c lw 23678
c lw 23684
c lw 23690
c lw 23691
c lw 23693
c lw 23698
c lw 23700
c lw 23715
c lw 23770
c lw 23774
c lw 23779
c lw 23782
c lw 23791
c lw 23855
c lw 23859
c lw 23868
c lw 23875
c lw 23882
c lw 23889
c lw 23895
c lw 23897
c lw 23906
c lw 23908
c lw 23911
c lw 23916
c lw 23918
c lw 23921
c lw 23923
c lw 23928
c lw 23948
c lw 23952
c lw 23956
c lw 23958
c lw 23968
c lw 23977
c lw 23979
c lw 23982
c lw 23987
c lw 23989
c lw 23992
c lw 24144
c lw 24231
c lw 24233
c lw 24238
c lw 24264
c lw 24271
c lw 24278
c lw 24285
c lw 24294
c lw 24298
c lw 24340
c lw 24343
c lw 24372
c lw 24377
c lw 24381
c lw 24387
c lw 24391
c lw 24427
c lw 24431
c lw 24436
c lw 24451
c lw 24453
c lw 24454
c lw 24459
c lw 24463
c lw 24465
c lw 24474
c lw 24476
c lw 24479
c lw 24484
c lw 24486
c lw 24489
c lw 24491
c lw 24495
c lw 24496
c lw 25792
c lw 25857
c lw 25964
c lw 26026
c lw 26276
c lw 26386
c lw 26455
c lw 26459
c lw 26498
c lw 26602
c lw 26655
c lw 26681
c lw 26702
c lw 26727
c lw 26744
c lw 26748
c lw 26774
c lw 26780
c lw 26808
c lw 26828
c lw 26832
c lw 26844
c lw 26853
c lw 26907
c lw 26917
c lw 26922
c lw 26926
c lw 26932
c lw 26936
c lw 26953
c lw 26958
c lw 26962
c lw 26964
c lw 26972
c lw 26973
c lw 26975
c lw 26976
c lw 26978
c lw 26981
c lw 26983
c lw 26992
c lw 27011
c lw 27030
c lw 27077
c lw 27102
c lw 27123
c lw 27171
c lw 27175
c lw 27180
c lw 27205
c lw 27214
c lw 27226
c lw 27252
c lw 27282
c lw 27300
c lw 27302
c lw 27318
c lw 27677
c lw 27703
c lw 27807
c lw 27845
c lw 28111
c lw 28202
c lw 28482
c lw 28520
c lw 28522
c lw 28546
c lw 28575
c lw 28609
c lw 28635
c lw 28691
c lw 28800
c lw 28877
c lw 28931
c lw 28955
c lw 28993
c lw 28995
c lw 29034
c lw 29102
c lw 29117
c lw 29161
c lw 29232
c lw 29525
c lw 29572
c lw 29589
c lw 29722
c lw 29777
c lw 29778
c lw 29781
c lw 29785
c lw 29786
c lw 29789
c lw 29792
c lw 29793
c lw 29795
c lw 29806
c lw 29811
c lw 29813
c lw 29815
c lw 29820
c lw 29824
c lw 29825
c lw 29828
c lw 29832
c lw 29960
c lw 29961
c lw 30029
c lw 30031
c lw 30040
c lw 30042
c lw 30044
c lw 30047
c lw 30049
c lw 30054
c lw 30055
c lw 30057
c lw 30060
c lw 30260
c lw 30310
c lw 30312
c lw 30313
c lw 30314
c lw 30316
c lw 30317
c lw 30358
c lw 30422
c lw 30444
c lw 30445
c lw 30531
c lw 30537
c lw 30547
c lw 30559
c lw 30587
c lw 30727
c lw 30773
c lw 30851
c lw 30853
c lw 30862
c lw 30914
c lw 30940
c lw 30948
c lw 30949
c lw 30950
c lw 30952
c lw 30953
c lw 30954
c lw 30956
c lw 30959
c lw 30961
c lw 30962
c lw 30967
c lw 30969
c lw 30972
c lw 30974
c lw 30976
c lw 30986
c lw 31011
c lw 31023
c lw 31044
c lw 31084
c lw 31085
c lw 31097
c lw 31099
c lw 31108
c lw 31126
c lw 31149
c lw 31154
c lw 31165
c lw 31580
c lw 31587
c lw 31597
c lw 31604
c lw 31606
c lw 31610
c lw 31611
c lw 31613
c lw 31614
c lw 31615
c lw 31621
c lw 31627
c lw 31629
c lw 31633
c lw 31636
c lw 31638
c lw 31639
c lw 31641
c lw 31643
c lw 31646
c lw 31647
c lw 31648
c lw 31649
c lw 31653
c lw 31654
c lw 31656
c lw 31659
c lw 31661
c lw 31662
c lw 31663
c lw 31665
c lw 31666
c lw 31667
c lw 31675
c lw 31681
c lw 31689
c lw 31690
c lw 31699
c lw 31701
c lw 31707
c lw 31716
c lw 31717
c lw 31718
c lw 31719
c lw 31721
c lw 31722
c lw 31723
c lw 31724
c lw 31725
c lw 31726
c lw 31727
c lw 31742
c lw 31745
c lw 31755
c lw 31762
c lw 31764
c lw 31766
c lw 31768
c lw 31844
c lw 31849
c lw 31854
c lw 32000
c lw 32009
c lw 32010
c lw 32011
c lw 32018
c lw 32035
c lw 32036
c lw 32045
c lw 32047
c lw 32048
c lw 32049
c lw 32052
c lw 32054
c lw 32056
c lw 32057
c lw 32059
c lw 32060
c lw 32061
c lw 32102
c lw 32112
c lw 32115
c lw 32119
c lw 32120
c lw 32121
c lw 32122
c lw 32123
c lw 32124
c lw 32125
c lw 32128
c lw 32134
c lw 32136
c lw 32137
c lw 32138
c lw 32139
c lw 32140
c lw 32141
c lw 32142
c lw 32143
c lw 32144
c lw 32145
c lw 32146
c lw 32147
c lw 32148
c lw 32151
c lw 32152
c lw 32154
c lw 32157
c lw 32159
c lw 32160
c lw 32161
c lw 32163
c lw 32166
c lw 32237
c lw 32238
c lw 32244
c lw 32247
c lw 32250
c lw 32252
c lw 32254
c lw 32256
c lw 32258
c lw 32577
c lw 32638
c lw 32723
c lw 32777
c lw 32887
c lw 33228
c lw 33325
c lw 33338
c lw 33341
c lw 33370
c lw 33383
c lw 33385
c lw 33386
c lw 33387
c lw 33388
c lw 33416
c lw 33473
c lw 33480
c lw 33520
c lw 33521
c lw 33522
c lw 33523
c lw 33524
c lw 33525
c lw 33526
c lw 33527
c lw 33528
c lw 33529
c lw 33530
c lw 33531
c lw 33532
c lw 33535
c lw 33536
c lw 33537
c lw 33538
c lw 33541
c lw 33542
c lw 33544
c lw 33545
c lw 33546
c lw 33548
c lw 33550
c lw 33551
c lw 33553
c lw 33554
c lw 33555
c lw 33557
c lw 33558
c lw 33559
c lw 33560
c lw 33561
c lw 33562
c lw 33563
c lw 33564
c lw 33565
c lw 33567
c lw 33568
c lw 33570
c lw 33571
c lw 33572
c lw 33573
c lw 33574
c lw 33575
c lw 33576
c lw 33577
c lw 33578
c lw 33579
c lw 33580
c lw 33581
c lw 33583
c lw 33584
c lw 33585
c lw 33586
c lw 33588
c lw 33867
c lw 33869
c lw 33874
c lw 33893
v -1 2 3 -4 -5 6 -7 -8 9 -10 11 -12 -13 14 -15 -16 17 -18 -19 20 -21 -22 23 -24 -25 -26 -27 28 -29 30 -31 -32 -33 -34 35 36 -37 -38 -39 -40 41 -42 -43 44 -45 46 -47 -48 -49 50 -51 -52 -53 54 -55 56 -57 -58 -59 60 -61 -62 -63 64 -65 66 -67 -68 -69 70 71 -72 -73 74 -75 76 -77 -78 79 -80 81 -82 -83 84 -85 86 -87 -88 89 -90 91 -92 -93 -94 95 96 -97 -98 99 -100 
o 33893
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-10.net.wcnf 33893
544.108u 4.542s 9:09.15 99.9%	0+0k 0+0io 0pf+0w