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-60-2_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 810
c lw 892
c lw 1441
c lw 3181
c lw 3657
c lw 4507
c lw 5782
c lw 6900
c lw 8296
c lw 9158
c lw 10613
c lw 11658
c lw 12454
c lw 12732
c lw 14234
c lw 15269
c lw 16572
c lw 16615
c lw 17100
c lw 17342
c lw 17638
c lw 17665
c lw 17742
c lw 17930
c lw 17997
c lw 18128
c lw 18273
c lw 18335
c lw 18775
c lw 19330
c lw 19927
c lw 20004
c lw 20264
c lw 20786
c lw 20803
c lw 21733
c lw 21927
c lw 21939
c lw 22072
c lw 22730
c lw 22747
c lw 22857
c lw 22884
c lw 23058
c lw 23135
c lw 23374
c lw 23656
c lw 23670
c lw 23712
c lw 24313
c lw 24555
c lw 24721
c lw 24736
c lw 25158
c lw 26048
c lw 26155
c lw 26173
c lw 27119
c lw 27374
c lw 27441
c lw 27635
c lw 27799
c lw 27855
c lw 27893
c lw 28264
c lw 29152
c lw 29239
c lw 29379
c lw 29788
c lw 29800
c lw 30127
c lw 30211
c lw 30324
c lw 30336
c lw 30392
c lw 30457
c lw 30510
c lw 30522
c lw 30537
c lw 30633
c lw 30745
c lw 30755
c lw 30777
c lw 30946
c lw 32011
c lw 32286
c lw 32388
c lw 32490
c lw 32519
c lw 32546
c lw 32654
c lw 32671
c lw 32683
c lw 32720
c lw 33196
c lw 33208
c lw 33232
c lw 33237
c lw 33262
c lw 33272
c lw 33296
c lw 33373
c lw 33397
c lw 33414
c lw 33482
c lw 33499
c lw 33513
c lw 33523
c lw 33531
c lw 33543
c lw 33546
c lw 33583
c lw 33584
c lw 33619
c lw 33692
c lw 33709
c lw 33738
c lw 34884
c lw 35175
c lw 35205
c lw 35232
c lw 35427
c lw 35540
c lw 35545
c lw 35628
c lw 35677
c lw 36483
c lw 36713
c lw 36769
c lw 36859
c lw 37220
c lw 37318
c lw 37423
c lw 37462
c lw 37653
c lw 37723
c lw 37803
c lw 37819
c lw 37890
c lw 37938
c lw 38133
c lw 38184
c lw 38432
c lw 38603
c lw 38606
c lw 38613
c lw 38747
c lw 38757
c lw 38992
c lw 39041
c lw 39343
c lw 39409
c lw 39506
c lw 39572
c lw 39629
c lw 39712
c lw 39740
c lw 39745
c lw 40285
c lw 40346
c lw 40821
c lw 40855
c lw 40929
c lw 41011
c lw 41164
c lw 41539
c lw 41662
c lw 41970
c lw 42091
c lw 42310
c lw 42317
c lw 42360
c lw 42401
c lw 42452
c lw 42524
c lw 42539
c lw 42582
c lw 42655
c lw 42660
c lw 42667
c lw 42692
c lw 42710
c lw 42755
c lw 42771
c lw 42879
c lw 42922
c lw 43013
c lw 43061
c lw 43161
c lw 43211
c lw 43259
c lw 43566
c lw 43588
c lw 43666
c lw 43691
c lw 44707
c lw 44718
c lw 45159
c lw 45623
c lw 45713
c lw 45929
c lw 46013
c lw 46039
c lw 46099
c lw 46125
c lw 46160
c lw 46199
c lw 46208
c lw 46273
c lw 46307
c lw 46357
c lw 46820
c lw 46923
c lw 46931
c lw 46948
c lw 46965
c lw 46997
c lw 47060
c lw 47124
c lw 47200
c lw 47250
c lw 47275
c lw 47294
c lw 47297
c lw 47379
c lw 47403
c lw 47459
c lw 47464
c lw 47528
c lw 47567
c lw 47680
c lw 47702
c lw 47797
c lw 47857
c lw 47867
c lw 47894
c lw 47957
c lw 47959
c lw 47989
c lw 48006
c lw 48023
c lw 48030
c lw 48031
c lw 48092
c lw 48532
c lw 48546
c lw 48573
c lw 48595
c lw 48735
c lw 48757
c lw 48761
c lw 48764
c lw 48775
c lw 48778
c lw 48779
c lw 48795
c lw 49049
c lw 49978
c lw 50047
c lw 50063
c lw 50066
c lw 50083
c lw 50097
c lw 50109
c lw 50148
c lw 50157
c lw 50159
c lw 50186
c lw 50194
c lw 50198
c lw 50201
c lw 50203
c lw 50204
c lw 50207
c lw 50218
c lw 50220
c lw 50221
c lw 50222
c lw 50223
c lw 50235
c lw 50237
c lw 50238
c lw 50241
c lw 50242
c lw 50245
c lw 50252
c lw 50256
c lw 50258
c lw 50272
c lw 50298
c lw 50302
c lw 50306
c lw 50309
c lw 50337
c lw 50348
c lw 50349
c lw 50365
c lw 50369
c lw 50390
c lw 50405
c lw 50408
c lw 50447
c lw 50448
c lw 50451
c lw 50456
c lw 50468
c lw 50487
c lw 50488
c lw 50496
c lw 50499
c lw 50506
c lw 50540
c lw 50541
c lw 50543
c lw 50552
c lw 50558
c lw 50628
c lw 50629
c lw 50631
c lw 50632
c lw 50637
c lw 50640
c lw 50648
c lw 50649
c lw 50652
c lw 50655
c lw 50798
c lw 50843
c lw 51130
c lw 51136
c lw 51137
c lw 51139
c lw 51140
c lw 51142
c lw 51143
c lw 52402
c lw 52670
c lw 52894
c lw 52943
c lw 53119
c lw 53167
c lw 53311
c lw 53401
c lw 53426
c lw 53452
c lw 53593
c lw 53617
c lw 53631
c lw 53697
c lw 53698
c lw 53701
c lw 53702
c lw 53703
c lw 53706
c lw 53709
c lw 53710
c lw 53711
c lw 53712
c lw 53713
c lw 53714
c lw 53715
c lw 53717
c lw 53718
c lw 53719
c lw 53720
c lw 53721
c lw 53791
c lw 53851
c lw 53877
c lw 53986
c lw 54356
c lw 54359
c lw 54362
c lw 54427
c lw 54524
c lw 54566
c lw 54567
c lw 54569
c lw 54570
c lw 54571
c lw 54572
c lw 54575
c lw 54578
c lw 54579
c lw 54580
c lw 54581
c lw 54582
c lw 54583
c lw 54584
c lw 54585
c lw 54586
c lw 54587
c lw 54588
c lw 54589
c lw 54590
c lw 54591
c lw 54592
c lw 54599
c lw 54600
c lw 54601
c lw 54606
c lw 54671
c lw 54929
c lw 55141
c lw 55189
c lw 55313
c lw 55370
c lw 55389
c lw 55405
c lw 55442
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 -101 102 -103 -104 105 -106 -107 108 -109 -110 -111 112 -113 114 -115 116 -117 -118 -119 120 121 -122 -123 124 -125 -126 -127 128 -129 -130 131 -132 133 -134 -135 -136 137 -138 -139 140 -141 -142 143 144 -145 -146 147 -148 -149 150 -151 -152 -153 154 -155 -156 157 -158 159 -160 -161 
o 55442
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-7.net.wcnf 55442
245.135u 1.298s 7:55.10 51.8%	0+0k 0+0io 0pf+0w