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_150_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 123759
o 106433
o 106264
o 106263
o 106241
o 105939
o 105770
o 105769
o 105747
o 105640
o 105639
o 105617
o 105527
o 105526
o 105504
o 105493
o 105485
o 105484
o 105462
o 105355
o 105354
o 105332
o 105242
o 105241
o 105219
o 105208
o 105144
o 105143
o 105121
o 105110
o 105026
o 104857
o 104856
o 104834
o 104727
o 104726
o 104704
o 104614
o 104613
o 104591
o 104580
o 104572
o 104571
o 104549
o 104442
o 104441
o 104419
o 104329
o 104328
o 104306
o 104295
o 104231
o 104230
o 104208
o 104197
o 104193
o 104185
o 104184
o 104162
o 104055
o 104054
o 104032
o 103942
o 103941
o 103919
o 103908
o 103839
o 103838
o 103816
o 103805
o 103797
o 103796
o 103774
o 103667
o 103666
o 103644
o 103554
o 103553
o 103531
o 103520
o 103387
o 103386
o 103364
o 103257
o 103256
o 103234
o 103144
o 103143
o 103121
o 103110
o 103059
o 103058
o 103036
o 103035
o 103013
o 102996
o 102889
o 102888
o 102866
o 102776
o 102775
o 102753
o 102732
o 102619
o 102597
o 102534
o 102511
o 102424
o 102423
o 102401
o 102400
o 102378
o 102370
o 102369
o 102347
o 102346
o 102324
o 102316
o 102315
o 102293
o 102292
o 102270
o 102146
o 102145
o 102123
o 102052
o 102033
o 101962
o 101939
o 101899
o 101876
o 101857
o 101845
o 101822
o 101803
o 101791
o 101768
o 101749
o 101688
o 101665
o 101634
o 101611
o 101580
o 101557
o 101547
s OPTIMUM FOUND
c Optimal Solution = 101547
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
c Program terminated in 5.590 seconds.
5.597u 0.002s 0:06.74 82.9%	0+0k 0+0io 0pf+0w