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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 133707
o 121268
o 120721
o 120322
o 119775
o 119582
o 119344
o 119322
o 119297
o 119059
o 119037
o 118884
o 118862
o 118860
o 118707
o 118685
o 118684
o 118662
o 118661
o 118468
o 118230
o 118208
o 118183
o 117945
o 117923
o 117922
o 117900
o 117768
o 117746
o 117745
o 117723
o 117584
o 117562
o 117560
o 117407
o 117385
o 117384
o 117362
o 117361
o 117168
o 116930
o 116908
o 116883
o 116645
o 116623
o 116622
o 116600
o 116468
o 116446
o 116445
o 116423
o 116414
o 116248
o 116221
o 116199
o 116198
o 116176
o 116071
o 116044
o 116022
o 116021
o 115999
o 115897
o 115870
o 115837
o 115810
o 115788
o 115787
o 115765
o 115660
o 115633
o 115611
o 115610
o 115588
o 115526
o 115503
o 115481
o 115464
o 115349
o 115327
o 115326
o 115304
o 115291
o 115268
o 115246
o 115225
o 115203
o 115190
o 115167
o 115145
o 115129
o 115112
o 114997
o 114975
o 114974
o 114952
o 114763
o 114740
o 114718
o 114586
o 114563
o 114541
o 114528
o 114505
o 114483
o 114374
o 114352
o 114341
o 114319
o 114198
o 114171
o 114083
o 114056
o 114034
o 113977
o 113950
o 113928
o 113807
o 113780
o 113692
o 113665
o 113643
o 113593
o 113571
o 113559
o 113537
o 113521
o 113427
o 113400
o 113312
o 113285
o 113263
o 113252
o 113225
o 113203
o 113179
o 113157
o 113153
o 112978
o 112924
o 112871
o 112635
o 112460
o 112211
o 112209
o 112183
o 112044
o 112036
s OPTIMUM FOUND
c Optimal Solution = 112036
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 13.480 seconds.
13.479u 0.005s 0:13.51 99.7%	0+0k 0+0io 0pf+0w