Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_170_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 117484
o 105002
o 104989
o 104987
o 104873
o 104860
o 104854
o 104841
o 104839
o 104725
o 104712
o 104693
o 104680
o 104674
o 104661
o 104659
o 104545
o 104532
o 104466
o 104453
o 104382
o 104369
o 104303
o 104290
o 104287
o 104216
o 104203
o 104137
o 104124
o 104081
o 104068
o 104002
o 103989
o 103956
o 103943
o 103877
o 103864
o 103835
o 103822
o 103803
o 103790
o 103784
o 103771
o 103769
o 103655
o 103642
o 103576
o 103563
o 103492
o 103479
o 103413
o 103400
o 103397
o 103326
o 103313
o 103247
o 103234
o 103191
o 103178
o 103112
o 103099
o 103066
o 103053
o 102987
o 102974
o 102934
o 102921
o 102903
o 102890
o 102847
o 102834
o 102768
o 102755
o 102722
o 102709
o 102643
o 102630
o 102590
o 102577
o 102572
o 102559
o 102519
o 102506
o 102490
o 102477
o 102434
o 102421
o 102355
o 102342
o 102309
o 102296
o 102230
o 102217
o 102159
o 102146
o 102087
o 102074
o 102016
o 102003
o 101991
o 101925
o 101912
o 101872
o 101859
o 101854
o 101841
o 101801
o 101788
o 101772
o 101759
o 101716
o 101703
o 101637
o 101624
o 101591
o 101578
o 101512
o 101499
o 101441
o 101428
o 101374
o 101361
o 101337
o 101258
o 101212
o 101133
o 101062
o 100990
o 100919
o 100907
o 100828
o 100775
o 100757
o 100704
o 100675
o 100619
o 100540
o 100494
o 100415
o 100344
o 100277
o 100248
o 100234
o 100181
o 100178
o 100154
o 100053
o 100029
o 99984
o 99900
o 99894
o 99892
o 99765
o 99640
o 99573
o 99535
o 99511
o 99489
o 99451
o 99346
o 99279
o 99241
o 99227
o 99175
o 99143
o 99105
s OPTIMUM FOUND
c Optimal Solution = 99105
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 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171
c Program terminated in 53.770 seconds.
53.766u 0.014s 0:53.89 99.7%	0+0k 0+0io 0pf+0w