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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 144989
o 129328
o 129224
o 128706
o 128602
o 128592
o 128135
o 128031
o 128021
o 127997
o 127893
o 127883
o 127763
o 127659
o 127649
o 127625
o 127521
o 127511
o 127463
o 127453
o 127405
o 127301
o 127291
o 127267
o 127163
o 127153
o 127141
o 127131
o 127083
o 127073
o 127025
o 126921
o 126911
o 126887
o 126783
o 126773
o 126740
o 126730
o 126630
o 126526
o 126516
o 126483
o 126473
o 126471
o 126459
o 126449
o 126401
o 126391
o 126343
o 126239
o 126229
o 126205
o 126101
o 126091
o 126058
o 126048
o 125948
o 125844
o 125834
o 125801
o 125791
o 125775
o 125765
o 125695
o 125591
o 125581
o 125565
o 125555
o 125509
o 125499
o 125405
o 125395
o 125371
o 125267
o 125257
o 125224
o 125214
o 125140
o 125114
o 125010
o 125000
o 124967
o 124957
o 124883
o 124857
o 124844
o 124834
o 124812
o 124802
o 124786
o 124776
o 124760
o 124750
o 124717
o 124707
o 124633
o 124607
o 124579
o 124569
o 124495
o 124469
o 124456
o 124446
o 124406
o 124380
o 124367
o 124357
o 124335
o 124325
o 124309
o 124299
o 124283
o 124273
o 124240
o 124230
o 124156
o 124130
o 124102
o 124092
o 124018
o 123992
o 123979
o 123969
o 123940
o 123930
o 123897
o 123887
o 123813
o 123787
o 123774
o 123764
o 123760
o 123750
o 123726
o 123716
o 123683
o 123673
o 123599
o 123573
o 123560
o 123550
o 123528
o 123518
o 123502
o 123492
o 123476
o 123466
o 123433
o 123423
o 123349
o 123323
o 123295
o 123285
o 123211
o 123185
o 123172
o 123162
o 123158
o 123148
o 123135
o 123109
o 123072
o 123046
o 123032
o 123031
o 123000
o 122982
o 122976
o 122920
o 122902
o 122894
o 122876
o 122862
o 122844
o 122836
o 122818
o 122804
o 122781
o 122763
o 122755
o 122737
o 122723
o 122705
o 122697
o 122679
o 122665
o 122642
o 122616
o 122602
o 122601
o 122592
o 122582
o 122574
o 122564
o 122556
o 122548
o 122538
o 122480
o 122470
o 122462
o 122452
o 122444
o 122436
o 122426
o 122205
o 122195
o 122179
o 122169
o 122163
o 122155
o 122145
o 122115
o 122105
o 122097
o 122087
o 122079
o 122071
o 122061
o 122035
o 122025
o 122017
o 122007
o 121999
o 121991
o 121981
o 121977
o 121967
s OPTIMUM FOUND
c Optimal Solution = 121967
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
c Program terminated in 34.170 seconds.
34.166u 0.002s 0:34.18 99.9%	0+0k 0+0io 0pf+0w