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_160_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 124541
o 108770
o 108749
o 108704
o 108683
o 108677
o 108632
o 108611
o 108602
o 108579
o 108558
o 108513
o 108492
o 108473
o 108428
o 108407
o 108401
o 108356
o 108335
o 108326
o 108303
o 108282
o 108237
o 108216
o 108197
o 108191
o 108146
o 108125
o 108116
o 108093
o 108072
o 108027
o 108006
o 107987
o 107942
o 107921
o 107915
o 107870
o 107849
o 107840
o 107817
o 107796
o 107751
o 107730
o 107716
o 107695
o 107688
o 107665
o 107644
o 107599
o 107578
o 107559
o 107514
o 107493
o 107487
o 107442
o 107421
o 107412
o 107389
o 107368
o 107323
o 107302
o 107288
o 107267
o 107167
o 107146
o 107101
o 107080
o 107074
o 107029
o 107008
o 106999
o 106976
o 106955
o 106910
o 106889
o 106875
o 106854
o 106739
o 106718
o 106673
o 106652
o 106646
o 106601
o 106580
o 106571
o 106548
o 106527
o 106482
o 106461
o 106447
o 106426
o 106424
o 106403
o 106358
o 106337
o 106323
o 106302
o 106288
o 106243
o 106222
o 106208
o 106187
o 106185
o 106164
o 106119
o 106098
o 106084
o 106063
o 106060
o 106039
o 106034
o 106025
o 106002
o 105981
o 105936
o 105915
o 105901
o 105880
o 105852
o 105810
o 105789
o 105775
o 105754
o 105726
o 105684
o 105663
o 105649
o 105628
o 105600
o 105591
o 105563
o 105552
o 105531
o 105486
o 105465
o 105437
o 105394
o 105373
o 105345
o 105339
o 105318
o 105290
o 105289
o 105212
o 105191
o 105163
o 105157
o 105136
o 105108
o 105087
o 105066
o 105038
o 105032
o 105011
o 104983
o 104963
o 104942
o 104914
o 104888
o 104873
o 104796
o 104775
o 104747
o 104720
o 104699
o 104671
o 104648
o 104608
o 104567
o 104565
o 104560
o 104551
o 104441
o 104374
o 104342
o 104331
o 104280
o 104256
o 104210
o 104159
o 104134
o 104093
o 104091
o 104086
o 104077
o 103967
o 103891
o 103868
o 103785
o 103719
o 103643
o 103620
o 103611
o 103608
o 103579
o 103578
o 103572
o 103563
o 103453
o 103452
o 103443
o 103333
o 103331
o 103326
o 103297
o 103200
o 103171
o 103094
o 103035
o 102962
o 102900
o 102840
o 102714
o 102628
o 102622
o 102618
o 102478
o 102352
s OPTIMUM FOUND
c Optimal Solution = 102352
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
c Program terminated in 11.920 seconds.
11.926u 0.001s 0:11.96 99.6%	0+0k 0+0io 0pf+0w