Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 0 | 1800 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16384 |
Best CPU time to get the best result obtained on this benchmark | 1800.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of variables | 787 |
Total number of constraints | 65 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 787 variables and 113 constraints. 0.03 c No problem reductions applied in OPT. instance. 0.03 c preprocess terminated. Elapsed time: 0.014 0.03 c After prepocess the problem consists of 785 variables and 112 constraints. 0.03 c Initial Lower Bound: -131071 0.03 c Sol. found (all assignments made)... 0.03 o 0 0.03 c NEW SOLUTION FOUND: 0 @ 0.015 0.05 c Restart #1 #Var: 785 LB: -131071 @ 0.041 0.12 c Restart #2 #Var: 785 LB: -131071 @ 0.106 0.20 c Restart #3 #Var: 785 LB: -131071 @ 0.191 0.32 c Restart #4 #Var: 785 LB: -131071 @ 0.314 0.48 c CHANGE to MIS mode... UB: 0 MIS: -131071 LPR: -20501 (0.022) Diff: 6.3934 0.48 c Restart #0 #Var: 785 LB: -131071 @ 0.473 0.51 c Restart #1 #Var: 785 LB: -131071 @ 0.496 0.55 c Restart #2 #Var: 785 LB: -131071 @ 0.54 0.62 c Restart #3 #Var: 785 LB: -131071 @ 0.61 0.71 c Restart #4 #Var: 785 LB: -131071 @ 0.701 0.84 c Restart #5 #Var: 785 LB: -131071 @ 0.83 1.05 c Restart #6 #Var: 785 LB: -131071 @ 1.04 1.31 c Restart #7 #Var: 785 LB: -131071 @ 1.295 1.61 c Restart #8 #Var: 785 LB: -131071 @ 1.595 1.96 c Restart #9 #Var: 785 LB: -131071 @ 1.945 2.34 c Restart #10 #Var: 785 LB: -131071 @ 2.329 2.79 c Restart #11 #Var: 785 LB: -131071 @ 2.775 3.26 c Restart #12 #Var: 785 LB: -131071 @ 3.252 3.80 c Restart #13 #Var: 785 LB: -131071 @ 3.788 4.36 c Restart #14 #Var: 785 LB: -131071 @ 4.349 4.98 c Restart #15 #Var: 785 LB: -131071 @ 4.973 5.62 c Restart #16 #Var: 785 LB: -131071 @ 5.61 6.32 c Restart #17 #Var: 785 LB: -131071 @ 6.312 7.04 c Restart #18 #Var: 785 LB: -131071 @ 7.028 7.83 c Restart #19 #Var: 785 LB: -131071 @ 7.821 8.64 c Restart #20 #Var: 785 LB: -131071 @ 8.626 9.52 c Restart #21 #Var: 785 LB: -131071 @ 9.502 10.44 c Restart #22 #Var: 785 LB: -131071 @ 10.426 11.46 c Restart #23 #Var: 785 LB: -131071 @ 11.445 12.45 c Restart #24 #Var: 785 LB: -131071 @ 12.428 13.52 c Restart #25 #Var: 785 LB: -131071 @ 13.507 14.84 c Restart #26 #Var: 785 LB: -131071 @ 14.818 16.24 c Restart #27 #Var: 785 LB: -131071 @ 16.226 17.57 c Restart #28 #Var: 785 LB: -131071 @ 17.554 18.88 c Restart #29 #Var: 785 LB: -131071 @ 18.861 20.23 c Restart #30 #Var: 785 LB: -131071 @ 20.21 21.55 c Restart #31 #Var: 785 LB: -131071 @ 21.53 22.97 c Restart #32 #Var: 785 LB: -131071 @ 22.945 24.39 c Restart #33 #Var: 785 LB: -131071 @ 24.374 25.80 c Restart #34 #Var: 785 LB: -131071 @ 25.774 27.33 c Restart #35 #Var: 785 LB: -131071 @ 27.311 28.88 c Restart #36 #Var: 785 LB: -131071 @ 28.854 30.45 c Restart #37 #Var: 785 LB: -131071 @ 30.432 32.02 c Restart #38 #Var: 785 LB: -131071 @ 31.994 33.65 c Restart #39 #Var: 785 LB: -131071 @ 33.626 35.29 c Restart #40 #Var: 785 LB: -131071 @ 35.262 37.00 c Restart #41 #Var: 785 LB: -131071 @ 36.98 38.79 c Restart #42 #Var: 785 LB: -131071 @ 38.765 40.61 c Restart #43 #Var: 785 LB: -131071 @ 40.588 42.49 c Restart #44 #Var: 785 LB: -131071 @ 42.467 44.40 c Restart #45 #Var: 785 LB: -131071 @ 44.379 46.31 c Restart #46 #Var: 785 LB: -131071 @ 46.28 48.29 c Restart #47 #Var: 785 LB: -131071 @ 48.265 50.26 c Restart #48 #Var: 785 LB: -131071 @ 50.233 52.34 c Restart #49 #Var: 785 LB: -131071 @ 52.312 54.52 c Restart #50 #Var: 785 LB: -131071 @ 54.488 56.66 c Restart #51 #Var: 785 LB: -131071 @ 56.625 58.84 c Restart #52 #Var: 785 LB: -131071 @ 58.812 61.07 c Restart #53 #Var: 785 LB: -131071 @ 61.036 63.33 c Restart #54 #Var: 785 LB: -131071 @ 63.294 65.65 c Restart #55 #Var: 785 LB: -131071 @ 65.619 67.94 c Restart #56 #Var: 785 LB: -131071 @ 67.911 70.30 c Restart #57 #Var: 785 LB: -131071 @ 70.27 72.87 c Restart #58 #Var: 785 LB: -131071 @ 72.833 75.33 c Restart #59 #Var: 785 LB: -131071 @ 75.296 77.80 c Restart #60 #Var: 785 LB: -131071 @ 77.761 80.47 c Restart #61 #Var: 785 LB: -131071 @ 80.43 83.11 c Restart #62 #Var: 785 LB: -131071 @ 83.075 85.75 c Restart #63 #Var: 785 LB: -131071 @ 85.708 88.41 c Restart #64 #Var: 785 LB: -131071 @ 88.374 91.25 c Restart #65 #Var: 785 LB: -131071 @ 91.215 94.07 c Restart #66 #Var: 785 LB: -131071 @ 94.03 96.97 c Restart #67 #Var: 785 LB: -131071 @ 96.924 100.05 c Restart #68 #Var: 785 LB: -131071 @ 100.01 103.01 c Restart #69 #Var: 785 LB: -131071 @ 102.96 105.94 c Restart #70 #Var: 785 LB: -131071 @ 105.9 109.05 c Restart #71 #Var: 785 LB: -131071 @ 109 112.03 c Restart #72 #Var: 785 LB: -131071 @ 111.98 115.19 c Restart #73 #Var: 785 LB: -131071 @ 115.14 118.38 c Restart #74 #Var: 785 LB: -131071 @ 118.33 121.66 c Restart #75 #Var: 785 LB: -131071 @ 121.61 124.95 c Restart #76 #Var: 785 LB: -131071 @ 124.9 128.43 c Restart #77 #Var: 785 LB: -131071 @ 128.38 132.03 c Restart #78 #Var: 785 LB: -131071 @ 131.98 135.48 c Restart #79 #Var: 785 LB: -131071 @ 135.43 139.11 c Restart #80 #Var: 785 LB: -131071 @ 139.06 142.85 c Restart #81 #Var: 785 LB: -131071 @ 142.79 146.71 c Restart #82 #Var: 785 LB: -131071 @ 146.66 150.40 c Restart #83 #Var: 785 LB: -131071 @ 150.34 154.18 c Restart #84 #Var: 785 LB: -131071 @ 154.12 157.96 c Restart #85 #Var: 785 LB: -131071 @ 157.91 161.86 c Restart #86 #Var: 785 LB: -131071 @ 161.8 165.77 c Restart #87 #Var: 785 LB: -131071 @ 165.71 169.65 c Restart #88 #Var: 785 LB: -131071 @ 169.59 173.57 c Restart #89 #Var: 785 LB: -131071 @ 173.51 177.74 c Restart #90 #Var: 785 LB: -131071 @ 177.68 181.91 c Restart #91 #Var: 785 LB: -131071 @ 181.85 185.98 c Restart #92 #Var: 785 LB: -131071 @ 185.91 190.37 c Restart #93 #Var: 785 LB: -131071 @ 190.3 194.58 c Restart #94 #Var: 785 LB: -131071 @ 194.52 199.04 c Restart #95 #Var: 785 LB: -131071 @ 198.97 203.24 c Restart #96 #Var: 785 LB: -131071 @ 203.17 207.35 c Restart #97 #Var: 785 LB: -131071 @ 207.27 211.69 c Restart #98 #Var: 785 LB: -131071 @ 211.61 216.08 c Restart #99 #Var: 785 LB: -131071 @ 215.99 220.49 c Restart #100 #Var: 785 LB: -131071 @ 220.39 224.81 c Restart #101 #Var: 785 LB: -131071 @ 224.7 229.12 c Restart #102 #Var: 785 LB: -131071 @ 229.01 233.69 c Restart #103 #Var: 785 LB: -131071 @ 233.58 238.24 c Restart #104 #Var: 785 LB: -131071 @ 238.13 242.96 c Restart #105 #Var: 785 LB: -131071 @ 242.84 247.82 c Restart #106 #Var: 785 LB: -131071 @ 247.71 252.45 c Restart #107 #Var: 785 LB: -131071 @ 252.33 257.23 c Restart #108 #Var: 785 LB: -131071 @ 257.11 262.13 c Restart #109 #Var: 785 LB: -131071 @ 262.01 266.92 c Restart #110 #Var: 785 LB: -131071 @ 266.8 271.88 c Restart #111 #Var: 785 LB: -131071 @ 271.76 276.98 c Restart #112 #Var: 785 LB: -131071 @ 276.86 282.12 c Restart #113 #Var: 785 LB: -131071 @ 281.99 287.19 c Restart #114 #Var: 785 LB: -131071 @ 287.06 292.51 c Restart #115 #Var: 785 LB: -131071 @ 292.38 297.61 c Restart #116 #Var: 785 LB: -131071 @ 297.48 303.10 c Restart #117 #Var: 785 LB: -131071 @ 302.97 308.47 c Restart #118 #Var: 785 LB: -131071 @ 308.34 313.76 c Restart #119 #Var: 785 LB: -131071 @ 313.63 319.10 c Restart #120 #Var: 785 LB: -131071 @ 318.96 324.44 c Restart #121 #Var: 785 LB: -131071 @ 324.31 329.91 c Restart #122 #Var: 785 LB: -131071 @ 329.77 335.42 c Restart #123 #Var: 785 LB: -131071 @ 335.28 341.33 c Restart #124 #Var: 785 LB: -131071 @ 341.19 346.96 c Restart #125 #Var: 785 LB: -131071 @ 346.82 352.82 c Restart #126 #Var: 785 LB: -131071 @ 352.67 358.50 c Restart #127 #Var: 785 LB: -131071 @ 358.36 364.38 c Restart #128 #Var: 785 LB: -131071 @ 364.24 370.24 c Restart #129 #Var: 785 LB: -131071 @ 370.1 376.12 c Restart #130 #Var: 785 LB: -131071 @ 375.97 382.17 c Restart #131 #Var: 785 LB: -131071 @ 382.02 388.53 c Restart #132 #Var: 785 LB: -131071 @ 388.37 394.56 c Restart #133 #Var: 785 LB: -131071 @ 394.41 400.72 c Restart #134 #Var: 785 LB: -131071 @ 400.56 406.74 c Restart #135 #Var: 785 LB: -131071 @ 406.58 412.91 c Restart #136 #Var: 785 LB: -131071 @ 412.75 419.25 c Restart #137 #Var: 785 LB: -131071 @ 419.08 425.42 c Restart #138 #Var: 785 LB: -131071 @ 425.25 431.80 c Restart #139 #Var: 785 LB: -131071 @ 431.63 438.29 c Restart #140 #Var: 785 LB: -131071 @ 438.12 444.88 c Restart #141 #Var: 785 LB: -131071 @ 444.7 451.58 c Restart #142 #Var: 785 LB: -131071 @ 451.41 457.93 c Restart #143 #Var: 785 LB: -131071 @ 457.76 464.57 c Restart #144 #Var: 785 LB: -131071 @ 464.39 471.07 c Restart #145 #Var: 785 LB: -131071 @ 470.9 477.96 c Restart #146 #Var: 785 LB: -131071 @ 477.77 484.60 c Restart #147 #Var: 785 LB: -131071 @ 484.42 491.19 c Restart #148 #Var: 785 LB: -131071 @ 491 498.10 c Restart #149 #Var: 785 LB: -131071 @ 497.91 504.71 c Restart #150 #Var: 785 LB: -131071 @ 504.52 511.86 c Restart #151 #Var: 785 LB: -131071 @ 511.67 518.66 c Restart #152 #Var: 785 LB: -131071 @ 518.47 525.58 c Restart #153 #Var: 785 LB: -131071 @ 525.38 532.44 c Restart #154 #Var: 785 LB: -131071 @ 532.25 539.41 c Restart #155 #Var: 785 LB: -131071 @ 539.22 546.32 c Restart #156 #Var: 785 LB: -131071 @ 546.12 553.56 c Restart #157 #Var: 785 LB: -131071 @ 553.36 560.99 c Restart #158 #Var: 785 LB: -131071 @ 560.78 567.97 c Restart #159 #Var: 785 LB: -131071 @ 567.77 575.01 c Restart #160 #Var: 785 LB: -131071 @ 574.8 582.32 c Restart #161 #Var: 785 LB: -131071 @ 582.12 589.60 c Restart #162 #Var: 785 LB: -131071 @ 589.39 597.05 c Restart #163 #Var: 785 LB: -131071 @ 596.83 604.32 c Restart #164 #Var: 785 LB: -131071 @ 604.11 611.67 c Restart #165 #Var: 785 LB: -131071 @ 611.46 619.36 c Restart #166 #Var: 785 LB: -131071 @ 619.14 626.86 c Restart #167 #Var: 785 LB: -131071 @ 626.63 634.32 c Restart #168 #Var: 785 LB: -131071 @ 634.09 641.96 c Restart #169 #Var: 785 LB: -131071 @ 641.73 649.71 c Restart #170 #Var: 785 LB: -131071 @ 649.48 657.36 c Restart #171 #Var: 785 LB: -131071 @ 657.13 665.27 c Restart #172 #Var: 785 LB: -131071 @ 665.04 673.22 c Restart #173 #Var: 785 LB: -131071 @ 672.99 680.87 c Restart #174 #Var: 785 LB: -131071 @ 680.63 688.62 c Restart #175 #Var: 785 LB: -131071 @ 688.38 696.66 c Restart #176 #Var: 785 LB: -131071 @ 696.41 704.68 c Restart #177 #Var: 785 LB: -131071 @ 704.44 712.62 c Restart #178 #Var: 785 LB: -131071 @ 712.37 720.84 c Restart #179 #Var: 785 LB: -131071 @ 720.59 729.10 c Restart #180 #Var: 785 LB: -131071 @ 728.85 737.51 c Restart #181 #Var: 785 LB: -131071 @ 737.26 746.09 c Restart #182 #Var: 785 LB: -131071 @ 745.83 754.64 c Restart #183 #Var: 785 LB: -131071 @ 754.38 763.10 c Restart #184 #Var: 785 LB: -131071 @ 762.84 771.37 c Restart #185 #Var: 785 LB: -131071 @ 771.11 779.86 c Restart #186 #Var: 785 LB: -131071 @ 779.59 788.50 c Restart #187 #Var: 785 LB: -131071 @ 788.23 796.91 c Restart #188 #Var: 785 LB: -131071 @ 796.64 805.44 c Restart #189 #Var: 785 LB: -131071 @ 805.17 814.34 c Restart #190 #Var: 785 LB: -131071 @ 814.07 823.38 c Restart #191 #Var: 785 LB: -131071 @ 823.1 832.17 c Restart #192 #Var: 785 LB: -131071 @ 831.89 841.29 c Restart #193 #Var: 785 LB: -131071 @ 841.01 850.35 c Restart #194 #Var: 785 LB: -131071 @ 850.06 859.20 c Restart #195 #Var: 785 LB: -131071 @ 858.91 868.45 c Restart #196 #Var: 785 LB: -131071 @ 868.16 877.29 c Restart #197 #Var: 785 LB: -131071 @ 876.99 886.49 c Restart #198 #Var: 785 LB: -131071 @ 886.2 895.50 c Restart #199 #Var: 785 LB: -131071 @ 895.2 905.07 c Restart #200 #Var: 785 LB: -131071 @ 904.77 914.29 c Restart #201 #Var: 785 LB: -131071 @ 913.99 923.48 c Restart #202 #Var: 785 LB: -131071 @ 923.17 932.94 c Restart #203 #Var: 785 LB: -131071 @ 932.63 942.15 c Restart #204 #Var: 785 LB: -131071 @ 941.84 951.58 c Restart #205 #Var: 785 LB: -131071 @ 951.26 960.83 c Restart #206 #Var: 785 LB: -131071 @ 960.51 970.72 c Restart #207 #Var: 785 LB: -131071 @ 970.4 980.41 c Restart #208 #Var: 785 LB: -131071 @ 980.09 990.11 c Restart #209 #Var: 785 LB: -131071 @ 989.78 999.93 c Restart #210 #Var: 785 LB: -131071 @ 999.61 1009.62 c Restart #211 #Var: 785 LB: -131071 @ 1009.3 1019.44 c Restart #212 #Var: 785 LB: -131071 @ 1019.1 1029.02 c Restart #213 #Var: 785 LB: -131071 @ 1028.7 1038.78 c Restart #214 #Var: 785 LB: -131071 @ 1038.4 1048.77 c Restart #215 #Var: 785 LB: -131071 @ 1048.4 1058.78 c Restart #216 #Var: 785 LB: -131071 @ 1058.4 1069.06 c Restart #217 #Var: 785 LB: -131071 @ 1068.7 1079.01 c Restart #218 #Var: 785 LB: -131071 @ 1078.7 1089.35 c Restart #219 #Var: 785 LB: -131071 @ 1089 1099.44 c Restart #220 #Var: 785 LB: -131071 @ 1099.1 1109.55 c Restart #221 #Var: 785 LB: -131071 @ 1109.2 1119.92 c Restart #222 #Var: 785 LB: -131071 @ 1119.6 1129.81 c Restart #223 #Var: 785 LB: -131071 @ 1129.5 1140.14 c Restart #224 #Var: 785 LB: -131071 @ 1139.8 1150.54 c Restart #225 #Var: 785 LB: -131071 @ 1150.2 1160.79 c Restart #226 #Var: 785 LB: -131071 @ 1160.4 1171.10 c Restart #227 #Var: 785 LB: -131071 @ 1170.7 1181.63 c Restart #228 #Var: 785 LB: -131071 @ 1181.3 1192.29 c Restart #229 #Var: 785 LB: -131071 @ 1191.9 1202.59 c Restart #230 #Var: 785 LB: -131071 @ 1202.2 1213.22 c Restart #231 #Var: 785 LB: -131071 @ 1212.8 1223.29 c Restart #232 #Var: 785 LB: -131071 @ 1222.9 1234.18 c Restart #233 #Var: 785 LB: -131071 @ 1233.8 1244.98 c Restart #234 #Var: 785 LB: -131071 @ 1244.6 1255.88 c Restart #235 #Var: 785 LB: -131071 @ 1255.5 1266.73 c Restart #236 #Var: 785 LB: -131071 @ 1266.3 1277.60 c Restart #237 #Var: 785 LB: -131071 @ 1277.2 1288.81 c Restart #238 #Var: 785 LB: -131071 @ 1288.4 1299.78 c Restart #239 #Var: 785 LB: -131071 @ 1299.4 1310.59 c Restart #240 #Var: 785 LB: -131071 @ 1310.2 1321.65 c Restart #241 #Var: 785 LB: -131071 @ 1321.2 1333.00 c Restart #242 #Var: 785 LB: -131071 @ 1332.6 1344.37 c Restart #243 #Var: 785 LB: -131071 @ 1343.9 1355.98 c Restart #244 #Var: 785 LB: -131071 @ 1355.5 1367.39 c Restart #245 #Var: 785 LB: -131071 @ 1367 1378.33 c Restart #246 #Var: 785 LB: -131071 @ 1377.9 1389.80 c Restart #247 #Var: 785 LB: -131071 @ 1389.4 1401.32 c Restart #248 #Var: 785 LB: -131071 @ 1400.9 1412.50 c Restart #249 #Var: 785 LB: -131071 @ 1412.1 1424.11 c Restart #250 #Var: 785 LB: -131071 @ 1423.7 1435.41 c Restart #251 #Var: 785 LB: -131071 @ 1435 1447.57 c Restart #252 #Var: 785 LB: -131071 @ 1447.1 1459.27 c Restart #253 #Var: 785 LB: -131071 @ 1458.8 1470.64 c Restart #254 #Var: 785 LB: -131071 @ 1470.2 1482.28 c Restart #255 #Var: 785 LB: -131071 @ 1481.8 1494.21 c Restart #256 #Var: 785 LB: -131071 @ 1493.7 1505.99 c Restart #257 #Var: 785 LB: -131071 @ 1505.5 1517.51 c Restart #258 #Var: 785 LB: -131071 @ 1517 1529.85 c Restart #259 #Var: 785 LB: -131071 @ 1529.4 1541.72 c Restart #260 #Var: 785 LB: -131071 @ 1541.2 1553.83 c Restart #261 #Var: 785 LB: -131071 @ 1553.3 1566.18 c Restart #262 #Var: 785 LB: -131071 @ 1565.7 1577.81 c Restart #263 #Var: 785 LB: -131071 @ 1577.3 1589.92 c Restart #264 #Var: 785 LB: -131071 @ 1589.4 1601.94 c Restart #265 #Var: 785 LB: -131071 @ 1601.4 1614.42 c Restart #266 #Var: 785 LB: -131071 @ 1613.9 1626.91 c Restart #267 #Var: 785 LB: -131071 @ 1626.4 1639.21 c Restart #268 #Var: 785 LB: -131071 @ 1638.7 1651.92 c Restart #269 #Var: 785 LB: -131071 @ 1651.4 1664.43 c Restart #270 #Var: 785 LB: -131071 @ 1663.9 1677.13 c Restart #271 #Var: 785 LB: -131071 @ 1676.6 1689.38 c Restart #272 #Var: 785 LB: -131071 @ 1688.9 1702.20 c Restart #273 #Var: 785 LB: -131071 @ 1701.7 1714.56 c Restart #274 #Var: 785 LB: -131071 @ 1714 1727.62 c Restart #275 #Var: 785 LB: -131071 @ 1727.1 1740.41 c Restart #276 #Var: 785 LB: -131071 @ 1739.9 1753.64 c Restart #277 #Var: 785 LB: -131071 @ 1753.1 1766.31 c Restart #278 #Var: 785 LB: -131071 @ 1765.8 1778.92 c Restart #279 #Var: 785 LB: -131071 @ 1778.4 1791.50 c Restart #280 #Var: 785 LB: -131071 @ 1791 1800.55 s SATISFIABLE 1800.55 c Cost: 0 1800.55 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x130 -x241 -x352 -x463 -x574 -x685 -x766 1800.55 v -x777 -x20 -x31 -x42 -x53 -x64 -x75 -x86 x97 x108 x119 -x131 -x142 -x153 x164 -x175 -x186 -x197 -x208 -x219 -x230 -x242 -x253 1800.55 v -x264 -x275 -x286 -x297 -x308 -x319 -x330 -x341 -x353 -x364 -x375 -x386 -x397 -x408 -x419 -x430 -x441 x384 x385 x387 -x388 1800.55 v -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x409 -x410 -x411 1800.55 v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x431 -x432 -x433 -x434 1800.55 v -x435 -x436 -x437 -x438 -x439 -x440 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x453 -x454 -x455 -x456 x457 1800.55 v -x458 -x459 -x460 -x461 -x462 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 -x473 -x474 -x476 -x477 -x478 -x479 -x480 -x481 1800.55 v -x482 -x483 -x484 -x485 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.55 v -x505 -x506 -x507 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.55 v -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.55 v -x551 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.55 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x598 1800.55 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x620 -x621 1800.55 v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x631 -x632 x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x642 -x643 -x644 1800.55 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x664 -x665 -x666 -x667 1800.55 v -x668 -x669 -x670 -x671 -x672 -x673 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x687 -x688 -x689 -x690 -x691 1800.55 v x692 x693 -x694 -x695 -x696 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x709 -x710 -x711 -x712 -x713 -x714 1800.55 v -x715 -x716 -x717 -x718 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.55 v -x738 -x739 -x740 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x452 -x785 -x69 -x122 -x176 -x224 -x278 -x331 1800.55 v -x753 -x464 -x786 -x70 -x123 -x177 -x225 -x279 -x332 -x475 -x787 -x71 -x124 -x178 -x226 -x280 -x333 -x486 -x497 -x508 -x519 1800.55 v -x530 -x541 -x552 -x563 -x575 -x586 -x597 -x608 -x619 -x630 -x641 -x652 -x663 -x674 -x686 -x697 -x708 -x719 -x730 -x741 -x752 1800.55 v -x763 -x764 -x765 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x21 1800.55 v -x72 -x125 x179 -x227 -x281 -x334 -x22 -x73 -x126 x180 -x228 -x282 -x335 -x23 -x74 -x127 x181 -x229 -x283 -x336 -x24 x76 -x128 1800.55 v -x182 -x231 -x284 -x337 -x25 -x77 -x129 x183 -x232 -x285 -x338 -x26 -x78 -x132 x184 -x233 -x287 -x339 -x27 -x79 -x133 -x234 1800.55 v -x288 x340 -x754 -x28 -x80 -x134 -x235 -x289 x342 -x755 -x29 -x81 -x135 -x236 -x290 x343 -x756 -x30 -x82 -x136 -x237 -x291 1800.55 v x344 -x757 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 x41 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x54 -x55 -x56 x57 x58 1800.55 v -x59 -x60 -x61 -x62 x63 x65 -x66 -x67 -x68 -x83 -x137 x185 -x238 -x292 -x345 -x84 -x138 x187 -x239 -x293 -x346 -x85 -x139 -x188 1800.55 v -x240 -x294 -x347 -x87 -x140 x189 -x243 -x295 -x348 -x758 -x88 -x141 -x190 -x244 -x296 -x349 -x89 -x143 -x191 -x245 -x298 1800.55 v -x350 -x90 -x144 -x192 -x246 -x299 -x351 -x91 -x145 -x193 -x247 -x300 -x354 -x92 -x146 -x194 -x248 -x301 -x355 -x93 -x147 1800.55 v -x195 -x249 -x302 -x356 -x759 -x760 -x94 -x95 -x96 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x109 -x110 -x111 1800.55 v -x112 -x113 -x114 -x115 -x116 -x117 x118 -x120 -x121 -x148 -x196 -x250 -x303 -x357 -x149 x198 -x251 -x304 -x358 x150 -x199 1800.55 v -x252 -x305 -x359 x151 -x200 -x254 -x306 -x360 -x152 -x201 -x255 -x307 -x361 -x761 -x154 -x202 -x256 -x309 x362 x155 -x203 1800.55 v -x257 -x310 -x363 -x156 -x204 -x258 -x311 -x365 -x157 -x205 -x259 -x312 -x366 -x158 -x206 -x260 -x313 -x367 -x159 -x160 -x161 1800.55 v x162 -x163 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x207 -x261 -x314 -x368 -x209 -x262 -x315 -x369 -x210 1800.55 v -x263 -x316 -x370 -x211 -x265 -x317 -x371 -x212 -x266 -x318 -x372 -x213 -x267 -x320 -x373 -x214 -x268 -x321 -x374 -x215 -x269 1800.55 v -x322 -x376 -x762 -x216 -x270 -x323 -x377 -x217 -x271 -x324 -x378 -x218 -x220 -x221 -x222 -x223 -x272 -x325 -x379 -x273 -x326 1800.55 v -x380 -x274 -x327 -x381 -x276 x328 -x382 -x277 x329 -x383 1800.55 c Exit Code: 10 1800.55 c Total time: 1800 s
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-40125-1149371858 -o ROOT/results/node33/solver-40125-1149371858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40125-1149371858/instance-40125-1149371858.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1750072/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=4932 CPUtime=0 /proc/24942/stat : 24942 (bsolo) D 24940 24942 24896 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 202849579 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/24942/statm: 1233 330 226 55 0 125 0 [startup+10.0021 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745784/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=8852 CPUtime=9.97 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1600 0 0 0 989 8 0 0 25 0 1 0 202849579 9064448 1499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2213 1499 423 55 0 1105 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 8852 [startup+20.0083 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=8912 CPUtime=19.98 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1625 0 0 0 1981 17 0 0 25 0 1 0 202849579 9125888 1524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2228 1524 423 55 0 1120 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 8912 [startup+30.0146 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=8912 CPUtime=29.98 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1625 0 0 0 2974 24 0 0 25 0 1 0 202849579 9125888 1524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2228 1524 423 55 0 1120 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 8912 [startup+40.0209 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=8896 CPUtime=39.98 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1625 0 0 0 3966 32 0 0 25 0 1 0 202849579 9109504 1524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134558033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2224 1524 423 55 0 1116 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 8896 [startup+50.0282 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745664/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=8896 CPUtime=49.99 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1630 0 0 0 4960 39 0 0 25 0 1 0 202849579 9109504 1529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2224 1529 423 55 0 1116 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 8896 [startup+60.0335 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9028 CPUtime=59.99 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1641 0 0 0 5951 48 0 0 25 0 1 0 202849579 9244672 1540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2257 1540 423 55 0 1149 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 9028 [startup+70.0397 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9008 CPUtime=70 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1642 0 0 0 6944 56 0 0 25 0 1 0 202849579 9224192 1541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2252 1541 423 55 0 1144 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 9008 [startup+80.046 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=8964 CPUtime=80 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1643 0 0 0 7937 63 0 0 25 0 1 0 202849579 9179136 1542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2241 1542 423 55 0 1133 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 8964 [startup+90.0524 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745600/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=8964 CPUtime=90.01 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1654 0 0 0 8930 71 0 0 25 0 1 0 202849579 9179136 1553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2241 1553 423 55 0 1133 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 8964 [startup+100.059 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745536/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9096 CPUtime=100.01 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1663 0 0 0 9922 79 0 0 25 0 1 0 202849579 9314304 1562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2274 1562 423 55 0 1166 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 9096 [startup+110.066 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745472/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9060 CPUtime=110.01 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1675 0 0 0 10914 87 0 0 25 0 1 0 202849579 9277440 1574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2265 1574 423 55 0 1157 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 9060 [startup+120.071 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745408/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9188 CPUtime=120.01 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1699 0 0 0 11907 94 0 0 25 0 1 0 202849579 9408512 1598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2297 1598 423 55 0 1189 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 9188 [startup+130.077 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745216/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9320 CPUtime=130.02 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1741 0 0 0 12899 103 0 0 25 0 1 0 202849579 9543680 1640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2330 1640 423 55 0 1222 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 9320 [startup+140.084 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745024/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9452 CPUtime=140.02 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1777 0 0 0 13892 110 0 0 25 0 1 0 202849579 9678848 1676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2363 1676 423 55 0 1255 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 9452 [startup+150.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1745024/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9540 CPUtime=150.03 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1786 0 0 0 14884 119 0 0 25 0 1 0 202849579 9768960 1685 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2385 1685 423 55 0 1277 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 9540 [startup+160.096 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1744960/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9540 CPUtime=160.02 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1793 0 0 0 15875 127 0 0 25 0 1 0 202849579 9768960 1692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2385 1692 423 55 0 1277 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 9540 [startup+170.103 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1744960/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9528 CPUtime=170.03 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1797 0 0 0 16868 135 0 0 25 0 1 0 202849579 9756672 1696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2382 1696 423 55 0 1274 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 9528 [startup+180.109 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1744896/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9660 CPUtime=180.04 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1802 0 0 0 17860 144 0 0 25 0 1 0 202849579 9891840 1701 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2415 1701 423 55 0 1307 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 9660 [startup+190.115 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1744832/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9648 CPUtime=190.04 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1825 0 0 0 18852 152 0 0 25 0 1 0 202849579 9879552 1724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2412 1724 423 55 0 1304 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 9648 [startup+200.121 s] /proc/loadavg: 1.00 0.99 0.98 2/64 24942 /proc/meminfo: memFree=1744832/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=9772 CPUtime=200.04 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 1838 0 0 0 19847 157 0 0 25 0 1 0 202849579 10006528 1737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2443 1737 423 55 0 1335 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 9772 [startup+210.128 s] /proc/loadavg: 1.00 0.99 0.98 2/70 25005 /proc/meminfo: memFree=1743632/2055920 swapFree=4181356/4192956 ################ # More data... # ################ /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1760.54 Current children cumulated vsize (Kb) 10384 [startup+1771.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1770.54 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 175782 1272 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1770.54 Current children cumulated vsize (Kb) 10384 [startup+1781.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1780.55 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 176775 1280 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1780.55 Current children cumulated vsize (Kb) 10384 [startup+1782.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1781.55 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 176875 1280 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 10384 [startup+1783.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1782.56 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 176975 1281 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 10384 [startup+1784.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1783.57 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177075 1282 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 10384 [startup+1785.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1784.56 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177174 1282 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 10384 [startup+1786.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1785.57 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177274 1283 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 10384 [startup+1787.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1786.58 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177375 1283 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 10384 [startup+1788.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1787.58 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177474 1284 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 10384 [startup+1789.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1788.59 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177574 1285 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 10384 [startup+1790.15 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1789.6 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177674 1286 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 10384 [startup+1791.15 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1790.59 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177773 1286 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 10384 [startup+1792.16 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1791.6 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177873 1287 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 10384 [startup+1793.16 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1792.61 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 177973 1288 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 10384 [startup+1794.17 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1793.62 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178073 1289 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 10384 [startup+1795.17 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1794.62 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178173 1289 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 10384 [startup+1796.18 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1795.62 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178272 1290 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 10384 [startup+1797.18 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1796.63 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178372 1291 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 10384 [startup+1798.19 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1797.63 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178471 1292 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 10384 [startup+1799.19 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1798.63 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178571 1292 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11374693 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 10384 [startup+1800.2 s] /proc/loadavg: 1.00 0.99 0.98 2/64 25137 /proc/meminfo: memFree=1743752/2055920 swapFree=4181356/4192956 [pid=24942] ppid=24940 vsize=10384 CPUtime=1799.64 /proc/24942/stat : 24942 (bsolo) R 24940 24942 24896 0 -1 0 2061 0 0 0 178671 1293 0 0 25 0 1 0 202849579 10633216 1911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24942/statm: 2596 1911 423 55 0 1488 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 10384 Child status: 10 Real time (s): 1800.56 CPU time (s): 1800 CPU user time (s): 1787.06 CPU system time (s): 12.94 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 10516
Begin job on node33 on Sat Jun 3 21:57:38 UTC 2006 FILE ID= 40125-1149371858 PBS_JOBID= 312235 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40125-1149371858/instance-40125-1149371858.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-40125-1149371858 -o ROOT/results/node33/solver-40125-1149371858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40125-1149371858/instance-40125-1149371858.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED= 371762299 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1750280 kB Buffers: 23716 kB Cached: 217116 kB SwapCached: 3288 kB Active: 67660 kB Inactive: 181896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1750280 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14912 kB Slab: 42080 kB Committed_AS: 368252 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Sat Jun 3 22:27:38 UTC 2006