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_140_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0001.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 119051 o 106254 o 106234 o 106204 o 106184 o 105640 o 105620 o 105590 o 105570 o 105087 o 105067 o 105037 o 105017 o 105001 o 104981 o 104951 o 104931 o 104507 o 104487 o 104457 o 104437 o 104421 o 104401 o 104371 o 104351 o 104000 o 103980 o 103950 o 103930 o 103737 o 103717 o 103687 o 103667 o 103615 o 103595 o 103565 o 103545 o 103511 o 103491 o 103461 o 103441 o 103440 o 103439 o 103405 o 103385 o 103355 o 103335 o 103334 o 103177 o 103157 o 102958 o 102938 o 102914 o 102894 o 102695 o 102675 o 102573 o 102553 o 102469 o 102449 o 102448 o 102447 o 102363 o 102343 o 102342 o 102341 o 102098 o 102078 o 101976 o 101956 o 101872 o 101852 o 101851 o 101661 o 101641 o 101554 o 101534 o 101468 o 101448 o 101047 o 101027 o 100943 o 100923 o 100922 o 100870 o 100763 o 100677 o 100580 o 100256 o 100152 o 99950 o 99870 o 99857 o 99777 o 99685 o 99620 o 99540 o 99534 o 99454 o 99447 o 99441 o 99361 o 99355 o 99269 o 99247 o 99009 o 98923 o 98854 o 98837 o 98744 o 98716 o 98532 o 98425 o 98339 o 98300 o 98280 o 98274 o 98188 o 97950 o 97864 o 97828 o 97718 s OPTIMUM FOUND c Optimal Solution = 97718 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 c Program terminated in 2.000 seconds. 2.006u 0.000s 0:02.01 99.5% 0+0k 0+0io 0pf+0w