Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_160_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 161 2377 121485
WARNING: Ubcsat not found.
o 121485
o 105841
o 105734
o 105725
o 105718
o 105712
o 105589
o 105482
o 105473
o 105466
o 105460
o 105430
o 105323
o 105314
o 105307
o 105301
o 105249
o 105240
o 105233
o 105227
o 104997
o 104988
o 104981
o 104975
o 104838
o 104829
o 104822
o 104816
o 104806
o 104797
o 104790
o 104784
o 104732
o 104723
o 104716
o 104710
o 104480
o 104471
o 104464
o 104458
o 104321
o 104312
o 104305
o 104299
o 104241
o 104232
o 104225
o 104219
o 104082
o 104073
o 104066
o 104060
o 104050
o 104041
o 104034
o 104028
o 103976
o 103967
o 103960
o 103954
o 103724
o 103715
o 103708
o 103702
o 103565
o 103556
o 103549
o 103543
o 103353
o 103344
o 103337
o 103331
o 103194
o 103185
o 103178
o 103172
o 103089
o 103080
o 103074
o 102877
o 102868
o 102862
o 102718
o 102709
o 102703
o 102595
o 102588
o 102582
o 102490
o 102484
o 102278
o 102272
o 102119
o 102113
o 102048
o 102039
o 102033
o 101889
o 101880
o 101874
o 101766
o 101759
o 101753
o 101661
o 101655
o 101449
o 101443
o 101290
o 101284
o 101243
o 101234
o 101228
o 101031
o 101022
o 101016
o 100872
o 100863
o 100857
o 100749
o 100742
o 100736
o 100644
o 100638
o 100432
o 100426
o 100273
o 100267
o 100181
o 100174
o 100076
o 99864
o 99705
o 99675
o 99342
o 99331
o 99297
c Learned clauses = 0
c NB_MONO= 115166465, NB_BRANCHE= 91705413, NB_BACK= 53665215 
s OPTIMUM FOUND
c Optimal Solution = 99297
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 0
1418.941u 0.017s 23:40.56 99.8%	0+0k 0+0io 0pf+0w