Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_150_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0007.txt.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 131887
o 115164
o 115002
o 114932
o 114616
o 114454
o 114384
o 114366
o 114259
o 114189
o 114146
o 114076
o 113873
o 113711
o 113641
o 113522
o 113360
o 113290
o 113245
o 113134
o 113064
o 113019
o 112982
o 112892
o 112822
o 112666
o 112596
o 112551
o 112514
o 112417
o 112347
o 112310
o 112269
o 112232
o 112217
o 112172
o 112135
o 112123
o 112045
o 111897
o 111819
o 111749
o 111704
o 111667
o 111648
o 111578
o 111570
o 111500
o 111463
o 111400
o 111338
o 111244
o 111174
o 111129
o 111092
o 111089
o 110995
o 110925
o 110888
o 110822
o 110752
o 110707
o 110670
s OPTIMUM FOUND
c Optimal Solution = 110670
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
c Program terminated in 9.680 seconds.
9.680u 0.001s 0:09.69 99.8%	0+0k 0+0io 0pf+0w