Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-share2b.opb |
MD5SUM | 95fbceaf029492cffa0d3c545b3f551d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -36858196 |
Best CPU time to get the best result obtained on this benchmark | 1800.84 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36858196 |
Optimality of the best value was proved | NO |
Number of variables | 2370 |
Total number of constraints | 96 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 96 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 870 |
Biggest coefficient in the objective function | 204010946560 |
Number of bits for the biggest coefficient in the objective function | 38 |
Sum of the numbers in the objective function | 4534411718529 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 552977039360 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 10976862656529 |
Number of bits of the biggest sum of numbers | 44 |
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.01 c BIG Int formula... 0.12 c Initial problem consists of 2370 variables and 109 constraints. 0.12 c No problem reductions applied in OPT. instance. 0.12 c preprocess terminated. Elapsed time: 0.118 0.12 c After prepocess the problem consists of 1095 variables and 109 constraints. 0.12 c Initial Lower Bound: -258371560 0.21 c Restart #1 #Var: 1095 LB: -258371560 @ 0.201 0.36 c Restart #2 #Var: 1095 LB: -258371560 @ 0.357 0.61 c Restart #3 #Var: 1095 LB: -258371560 @ 0.604 0.91 c Restart #4 #Var: 1095 LB: -258371560 @ 0.901 1.29 c Restart #5 #Var: 1095 LB: -258371560 @ 1.281 1.77 c Restart #6 #Var: 1095 LB: -258371560 @ 1.762 2.33 c Restart #7 #Var: 1095 LB: -258371560 @ 2.325 2.97 c Restart #8 #Var: 1095 LB: -258371560 @ 2.958 3.58 c Restart #9 #Var: 1095 LB: -258371560 @ 3.575 4.15 c Restart #10 #Var: 1095 LB: -258371560 @ 4.14 4.66 c Restart #11 #Var: 1095 LB: -258371560 @ 4.649 5.20 c Restart #12 #Var: 1095 LB: -258371560 @ 5.192 5.59 c Restart #13 #Var: 1090 LB: -245018600 @ 5.587 5.99 c Restart #14 #Var: 1090 LB: -245018600 @ 5.977 6.46 c Restart #15 #Var: 1090 LB: -245018600 @ 6.447 6.92 c Restart #16 #Var: 1090 LB: -245018600 @ 6.906 7.55 c Restart #17 #Var: 1090 LB: -245018600 @ 7.539 7.98 c Restart #18 #Var: 1090 LB: -245018600 @ 7.969 8.55 c Restart #19 #Var: 1090 LB: -245018600 @ 8.539 9.07 c Restart #20 #Var: 1090 LB: -245018600 @ 9.057 9.74 c Restart #21 #Var: 1086 LB: -209629160 @ 9.728 10.59 c Restart #22 #Var: 1086 LB: -209629160 @ 10.576 11.44 c Restart #23 #Var: 1086 LB: -209629160 @ 11.428 12.16 c Restart #24 #Var: 1086 LB: -209629160 @ 12.15 13.07 c Restart #25 #Var: 1086 LB: -209629160 @ 13.06 13.91 c Restart #26 #Var: 1086 LB: -209629160 @ 13.897 14.55 c Restart #27 #Var: 1086 LB: -209629160 @ 14.532 15.32 c Restart #28 #Var: 1086 LB: -209629160 @ 15.307 16.23 c Restart #29 #Var: 1086 LB: -209629160 @ 16.216 17.21 c Restart #30 #Var: 1086 LB: -209629160 @ 17.194 18.22 c Restart #31 #Var: 1086 LB: -209629160 @ 18.207 19.20 c Restart #32 #Var: 1086 LB: -209629160 @ 19.181 19.89 c Restart #33 #Var: 1086 LB: -209629160 @ 19.872 20.59 c Restart #34 #Var: 1086 LB: -209629160 @ 20.567 21.62 c Restart #35 #Var: 1086 LB: -209629160 @ 21.598 22.75 c Restart #36 #Var: 1086 LB: -209629160 @ 22.731 23.84 c Restart #37 #Var: 1086 LB: -209629160 @ 23.823 24.87 c Restart #38 #Var: 1085 LB: -209629160 @ 24.854 25.85 c Restart #39 #Var: 1085 LB: -209629160 @ 25.828 27.33 c Restart #40 #Var: 1085 LB: -209629160 @ 27.311 28.35 c Restart #41 #Var: 1085 LB: -209629160 @ 28.332 29.49 c Restart #42 #Var: 1085 LB: -209629160 @ 29.474 30.73 c Restart #43 #Var: 1085 LB: -209629160 @ 30.705 32.21 c Restart #44 #Var: 1084 LB: -209629160 @ 32.185 33.51 c Restart #45 #Var: 1084 LB: -209629160 @ 33.484 34.98 c Restart #46 #Var: 1084 LB: -209629160 @ 34.956 36.15 c Restart #47 #Var: 1084 LB: -209629160 @ 36.128 37.79 c Restart #48 #Var: 1084 LB: -209629160 @ 37.762 39.17 c Restart #49 #Var: 1084 LB: -209629160 @ 39.145 40.58 c Restart #50 #Var: 1084 LB: -209629160 @ 40.553 42.42 c Restart #51 #Var: 1084 LB: -209629160 @ 42.399 43.53 c Restart #52 #Var: 1084 LB: -209629160 @ 43.507 44.95 c Restart #53 #Var: 1084 LB: -209629160 @ 44.928 46.19 c Restart #54 #Var: 1084 LB: -209629160 @ 46.165 48.15 c Restart #55 #Var: 1084 LB: -209629160 @ 48.12 49.87 c Restart #56 #Var: 1084 LB: -209629160 @ 49.843 51.16 c Restart #57 #Var: 1084 LB: -209629160 @ 51.132 52.27 c Restart #58 #Var: 1084 LB: -209629160 @ 52.247 54.25 c Restart #59 #Var: 1084 LB: -209629160 @ 54.225 55.91 c Restart #60 #Var: 1084 LB: -209629160 @ 55.881 57.21 c Restart #61 #Var: 1084 LB: -209629160 @ 57.182 59.33 c Restart #62 #Var: 1084 LB: -209629160 @ 59.301 60.81 c Restart #63 #Var: 1084 LB: -209629160 @ 60.777 63.00 c Restart #64 #Var: 1084 LB: -209629160 @ 62.967 64.73 c Restart #65 #Var: 1084 LB: -209629160 @ 64.704 66.89 c Restart #66 #Var: 1084 LB: -209629160 @ 66.862 68.30 c Restart #67 #Var: 1084 LB: -209629160 @ 68.274 70.23 c Restart #68 #Var: 1084 LB: -209629160 @ 70.197 72.04 c Restart #69 #Var: 1084 LB: -209629160 @ 72.005 73.63 c Restart #70 #Var: 1084 LB: -209629160 @ 73.602 75.82 c Restart #71 #Var: 1084 LB: -209629160 @ 75.783 77.81 c Restart #72 #Var: 1084 LB: -209629160 @ 77.776 79.39 c Restart #73 #Var: 1084 LB: -209629160 @ 79.352 81.40 c Restart #74 #Var: 1084 LB: -209629160 @ 81.368 83.84 c Restart #75 #Var: 1084 LB: -209629160 @ 83.806 86.25 c Restart #76 #Var: 1084 LB: -209629160 @ 86.216 88.32 c Restart #77 #Var: 1084 LB: -209629160 @ 88.289 90.49 c Restart #78 #Var: 1084 LB: -209629160 @ 90.45 92.57 c Restart #79 #Var: 1084 LB: -209629160 @ 92.537 94.83 c Restart #80 #Var: 1084 LB: -209629160 @ 94.789 97.06 c Restart #81 #Var: 1084 LB: -209629160 @ 97.019 99.84 c Restart #82 #Var: 1084 LB: -209629160 @ 99.799 101.71 c Restart #83 #Var: 1084 LB: -209629160 @ 101.67 103.92 c Restart #84 #Var: 1084 LB: -209629160 @ 103.88 106.02 c Restart #85 #Var: 1084 LB: -209629160 @ 105.97 108.68 c Restart #86 #Var: 1084 LB: -209629160 @ 108.64 111.08 c Restart #87 #Var: 1084 LB: -209629160 @ 111.03 113.44 c Restart #88 #Var: 1084 LB: -209629160 @ 113.39 115.39 c Restart #89 #Var: 1084 LB: -209629160 @ 115.34 118.10 c Restart #90 #Var: 1084 LB: -209629160 @ 118.06 120.22 c Restart #91 #Var: 1084 LB: -209629160 @ 120.17 122.64 c Restart #92 #Var: 1084 LB: -209629160 @ 122.6 125.38 c Restart #93 #Var: 1084 LB: -209629160 @ 125.33 127.90 c Restart #94 #Var: 1084 LB: -209629160 @ 127.85 129.74 c Restart #95 #Var: 1084 LB: -209629160 @ 129.69 132.53 c Restart #96 #Var: 1084 LB: -209629160 @ 132.49 135.37 c Restart #97 #Var: 1084 LB: -209629160 @ 135.33 138.04 c Restart #98 #Var: 1084 LB: -209629160 @ 138 140.70 c Restart #99 #Var: 1084 LB: -209629160 @ 140.65 143.05 c Restart #100 #Var: 1084 LB: -209629160 @ 143 145.58 c Restart #101 #Var: 1084 LB: -209629160 @ 145.53 148.25 c Restart #102 #Var: 1084 LB: -209629160 @ 148.2 151.61 c Restart #103 #Var: 1084 LB: -209629160 @ 151.56 154.50 c Restart #104 #Var: 1084 LB: -209629160 @ 154.44 157.31 c Restart #105 #Var: 1084 LB: -209629160 @ 157.25 160.15 c Restart #106 #Var: 1084 LB: -209629160 @ 160.1 163.65 c Restart #107 #Var: 1084 LB: -209629160 @ 163.6 165.94 c Restart #108 #Var: 1084 LB: -209629160 @ 165.88 169.49 c Restart #109 #Var: 1084 LB: -209629160 @ 169.43 171.92 c Restart #110 #Var: 1084 LB: -209629160 @ 171.87 175.43 c Restart #111 #Var: 1084 LB: -209629160 @ 175.37 179.32 c Restart #112 #Var: 1084 LB: -209629160 @ 179.26 182.11 c Restart #113 #Var: 1084 LB: -209629160 @ 182.05 185.19 c Restart #114 #Var: 1084 LB: -209629160 @ 185.13 188.24 c Restart #115 #Var: 1084 LB: -209629160 @ 188.18 192.23 c Restart #116 #Var: 1084 LB: -209629160 @ 192.17 195.57 c Restart #117 #Var: 1084 LB: -209629160 @ 195.51 198.53 c Restart #118 #Var: 1084 LB: -209629160 @ 198.46 202.04 c Restart #119 #Var: 1084 LB: -209629160 @ 201.98 204.65 c Restart #120 #Var: 1084 LB: -209629160 @ 204.59 207.97 c Restart #121 #Var: 1084 LB: -209629160 @ 207.91 211.62 c Restart #122 #Var: 1084 LB: -209629160 @ 211.56 214.89 c Restart #123 #Var: 1084 LB: -209629160 @ 214.82 218.16 c Restart #124 #Var: 1084 LB: -209629160 @ 218.09 221.51 c Restart #125 #Var: 1084 LB: -209629160 @ 221.44 224.08 c Restart #126 #Var: 1084 LB: -209629160 @ 224.01 228.05 c Restart #127 #Var: 1084 LB: -209629160 @ 227.98 231.83 c Restart #128 #Var: 1084 LB: -209629160 @ 231.75 235.36 c Restart #129 #Var: 1084 LB: -209629160 @ 235.28 239.00 c Restart #130 #Var: 1084 LB: -209629160 @ 238.92 242.66 c Restart #131 #Var: 1084 LB: -209629160 @ 242.58 246.73 c Restart #132 #Var: 1084 LB: -209629160 @ 246.65 250.24 c Restart #133 #Var: 1084 LB: -209629160 @ 250.17 254.64 c Restart #134 #Var: 1084 LB: -209629160 @ 254.56 258.48 c Restart #135 #Var: 1084 LB: -209629160 @ 258.4 261.15 c Restart #136 #Var: 1084 LB: -209629160 @ 261.07 264.86 c Restart #137 #Var: 1084 LB: -209629160 @ 264.78 267.69 c Restart #138 #Var: 1084 LB: -209629160 @ 267.61 271.60 c Restart #139 #Var: 1084 LB: -209629160 @ 271.52 274.70 c Restart #140 #Var: 1084 LB: -209629160 @ 274.62 278.60 c Restart #141 #Var: 1084 LB: -209629160 @ 278.51 281.64 c Restart #142 #Var: 1084 LB: -209629160 @ 281.56 285.43 c Restart #143 #Var: 1084 LB: -209629160 @ 285.34 289.78 c Restart #144 #Var: 1084 LB: -209629160 @ 289.69 294.02 c Restart #145 #Var: 1084 LB: -209629160 @ 293.94 297.92 c Restart #146 #Var: 1084 LB: -209629160 @ 297.83 301.65 c Restart #147 #Var: 1084 LB: -209629160 @ 301.56 306.26 c Restart #148 #Var: 1084 LB: -209629160 @ 306.17 309.94 c Restart #149 #Var: 1084 LB: -209629160 @ 309.84 314.75 c Restart #150 #Var: 1084 LB: -209629160 @ 314.66 318.46 c Restart #151 #Var: 1084 LB: -209629160 @ 318.37 323.00 c Restart #152 #Var: 1084 LB: -209629160 @ 322.9 327.16 c Restart #153 #Var: 1084 LB: -209629160 @ 327.07 331.52 c Restart #154 #Var: 1084 LB: -209629160 @ 331.42 335.43 c Restart #155 #Var: 1084 LB: -209629160 @ 335.33 340.31 c Restart #156 #Var: 1084 LB: -209629160 @ 340.21 344.83 c Restart #157 #Var: 1084 LB: -209629160 @ 344.73 349.12 c Restart #158 #Var: 1084 LB: -209629160 @ 349.02 353.47 c Restart #159 #Var: 1084 LB: -209629160 @ 353.37 358.21 c Restart #160 #Var: 1084 LB: -209629160 @ 358.11 362.76 c Restart #161 #Var: 1084 LB: -209629160 @ 362.66 365.95 c Restart #162 #Var: 1084 LB: -209629160 @ 365.84 370.58 c Restart #163 #Var: 1084 LB: -209629160 @ 370.47 374.54 c Restart #164 #Var: 1084 LB: -209629160 @ 374.43 379.18 c Restart #165 #Var: 1084 LB: -209629160 @ 379.07 382.93 c Restart #166 #Var: 1084 LB: -209629160 @ 382.82 387.60 c Restart #167 #Var: 1084 LB: -209629160 @ 387.49 392.71 c Restart #168 #Var: 1084 LB: -209629160 @ 392.6 397.37 c Restart #169 #Var: 1084 LB: -209629160 @ 397.26 401.69 c Restart #170 #Var: 1084 LB: -209629160 @ 401.57 406.61 c Restart #171 #Var: 1084 LB: -209629160 @ 406.49 411.26 c Restart #172 #Var: 1084 LB: -209629160 @ 411.15 415.97 c Restart #173 #Var: 1084 LB: -209629160 @ 415.85 420.80 c Restart #174 #Var: 1084 LB: -209629160 @ 420.68 424.49 c Restart #175 #Var: 1084 LB: -209629160 @ 424.37 429.42 c Restart #176 #Var: 1084 LB: -209629160 @ 429.3 435.61 c Restart #177 #Var: 1084 LB: -209629160 @ 435.48 440.61 c Restart #178 #Var: 1084 LB: -209629160 @ 440.49 445.15 c Restart #179 #Var: 1084 LB: -209629160 @ 445.03 450.78 c Restart #180 #Var: 1084 LB: -209629160 @ 450.65 455.01 c Restart #181 #Var: 1084 LB: -209629160 @ 454.88 460.16 c Restart #182 #Var: 1084 LB: -209629160 @ 460.03 465.72 c Restart #183 #Var: 1084 LB: -209629160 @ 465.59 470.49 c Restart #184 #Var: 1084 LB: -209629160 @ 470.36 474.90 c Restart #185 #Var: 1084 LB: -209629160 @ 474.77 479.97 c Restart #186 #Var: 1084 LB: -209629160 @ 479.83 484.60 c Restart #187 #Var: 1084 LB: -209629160 @ 484.47 489.59 c Restart #188 #Var: 1084 LB: -209629160 @ 489.45 493.85 c Restart #189 #Var: 1084 LB: -209629160 @ 493.71 498.77 c Restart #190 #Var: 1084 LB: -209629160 @ 498.63 503.36 c Restart #191 #Var: 1084 LB: -209629160 @ 503.22 508.66 c Restart #192 #Var: 1084 LB: -209629160 @ 508.51 513.45 c Restart #193 #Var: 1084 LB: -209629160 @ 513.31 519.76 c Restart #194 #Var: 1084 LB: -209629160 @ 519.61 524.61 c Restart #195 #Var: 1084 LB: -209629160 @ 524.47 530.65 c Restart #196 #Var: 1084 LB: -209629160 @ 530.5 535.25 c Restart #197 #Var: 1084 LB: -209629160 @ 535.1 540.99 c Restart #198 #Var: 1084 LB: -209629160 @ 540.84 546.80 c Restart #199 #Var: 1084 LB: -209629160 @ 546.65 555.35 c Restart #200 #Var: 1084 LB: -209629160 @ 555.19 559.98 c Restart #201 #Var: 1084 LB: -209629160 @ 559.83 565.43 c Restart #202 #Var: 1084 LB: -209629160 @ 565.27 571.67 c Restart #203 #Var: 1084 LB: -209629160 @ 571.51 576.14 c Restart #204 #Var: 1084 LB: -209629160 @ 575.98 582.96 c Restart #205 #Var: 1084 LB: -209629160 @ 582.8 587.89 c Restart #206 #Var: 1084 LB: -209629160 @ 587.73 593.73 c Restart #207 #Var: 1084 LB: -209629160 @ 593.56 598.21 c Restart #208 #Var: 1084 LB: -209629160 @ 598.04 604.57 c Restart #209 #Var: 1084 LB: -209629160 @ 604.41 609.28 c Restart #210 #Var: 1084 LB: -209629160 @ 609.12 615.28 c Restart #211 #Var: 1084 LB: -209629160 @ 615.11 621.56 c Restart #212 #Var: 1084 LB: -209629160 @ 621.39 627.62 c Restart #213 #Var: 1084 LB: -209629160 @ 627.45 634.16 c Restart #214 #Var: 1084 LB: -209629160 @ 633.99 640.15 c Restart #215 #Var: 1084 LB: -209629160 @ 639.97 648.30 c Restart #216 #Var: 1084 LB: -209629160 @ 648.12 654.70 c Restart #217 #Var: 1084 LB: -209629160 @ 654.52 661.09 c Restart #218 #Var: 1084 LB: -209629160 @ 660.91 666.34 c Restart #219 #Var: 1084 LB: -209629160 @ 666.16 672.53 c Restart #220 #Var: 1084 LB: -209629160 @ 672.35 678.35 c Restart #221 #Var: 1084 LB: -209629160 @ 678.17 684.58 c Restart #222 #Var: 1084 LB: -209629160 @ 684.4 692.16 c Restart #223 #Var: 1084 LB: -209629160 @ 691.97 697.94 c Restart #224 #Var: 1084 LB: -209629160 @ 697.75 703.90 c Restart #225 #Var: 1084 LB: -209629160 @ 703.71 711.29 c Restart #226 #Var: 1084 LB: -209629160 @ 711.1 716.53 c Restart #227 #Var: 1084 LB: -209629160 @ 716.34 723.01 c Restart #228 #Var: 1084 LB: -209629160 @ 722.82 729.58 c Restart #229 #Var: 1084 LB: -209629160 @ 729.38 735.16 c Restart #230 #Var: 1084 LB: -209629160 @ 734.96 742.03 c Restart #231 #Var: 1084 LB: -209629160 @ 741.83 748.62 c Restart #232 #Var: 1084 LB: -209629160 @ 748.42 755.03 c Restart #233 #Var: 1084 LB: -209629160 @ 754.83 761.48 c Restart #234 #Var: 1084 LB: -209629160 @ 761.27 769.83 c Restart #235 #Var: 1084 LB: -209629160 @ 769.62 776.14 c Restart #236 #Var: 1084 LB: -209629160 @ 775.94 782.29 c Restart #237 #Var: 1084 LB: -209629160 @ 782.08 789.29 c Restart #238 #Var: 1084 LB: -209629160 @ 789.08 794.91 c Restart #239 #Var: 1084 LB: -209629160 @ 794.7 801.21 c Restart #240 #Var: 1084 LB: -209629160 @ 801 809.80 c Restart #241 #Var: 1084 LB: -209629160 @ 809.59 816.34 c Restart #242 #Var: 1084 LB: -209629160 @ 816.12 823.26 c Restart #243 #Var: 1084 LB: -209629160 @ 823.04 830.31 c Restart #244 #Var: 1084 LB: -209629160 @ 830.09 836.48 c Restart #245 #Var: 1084 LB: -209629160 @ 836.26 843.90 c Restart #246 #Var: 1084 LB: -209629160 @ 843.67 849.48 c Restart #247 #Var: 1084 LB: -209629160 @ 849.26 856.00 c Restart #248 #Var: 1084 LB: -209629160 @ 855.77 862.92 c Restart #249 #Var: 1084 LB: -209629160 @ 862.69 871.26 c Restart #250 #Var: 1084 LB: -209629160 @ 871.02 876.68 c Restart #251 #Var: 1084 LB: -209629160 @ 876.44 883.72 c Restart #252 #Var: 1084 LB: -209629160 @ 883.48 890.48 c Restart #253 #Var: 1084 LB: -209629160 @ 890.24 898.81 c Restart #254 #Var: 1084 LB: -209629160 @ 898.58 904.02 c CHANGE Heuristic... 904.02 c Restart #0 #Var: 1084 LB: -209629160 @ 903.78 904.05 c Restart #1 #Var: 1084 LB: -209629160 @ 903.81 904.14 c Restart #2 #Var: 1084 LB: -209629160 @ 903.9 904.23 c Restart #3 #Var: 1083 LB: -209629160 @ 903.99 904.32 c Restart #4 #Var: 1083 LB: -209629160 @ 904.08 904.47 c Restart #5 #Var: 1083 LB: -209629160 @ 904.23 904.60 c Restart #6 #Var: 1083 LB: -209629160 @ 904.36 904.78 c Restart #7 #Var: 1083 LB: -209629160 @ 904.54 904.97 c Restart #8 #Var: 1083 LB: -209629160 @ 904.73 905.25 c Restart #9 #Var: 1083 LB: -209629160 @ 905.01 905.53 c Restart #10 #Var: 1083 LB: -209629160 @ 905.29 905.92 c Restart #11 #Var: 1082 LB: -209629160 @ 905.68 906.31 c Restart #12 #Var: 1082 LB: -209629160 @ 906.07 906.68 c Restart #13 #Var: 1082 LB: -209629160 @ 906.43 907.14 c Restart #14 #Var: 1082 LB: -209629160 @ 906.9 907.57 c Restart #15 #Var: 1082 LB: -209629160 @ 907.33 908.14 c Restart #16 #Var: 1082 LB: -209629160 @ 907.9 908.72 c Restart #17 #Var: 1081 LB: -209629160 @ 908.48 909.25 c Restart #18 #Var: 1079 LB: -191934440 @ 909.01 910.04 c Restart #19 #Var: 1079 LB: -191934440 @ 909.8 910.56 c Restart #20 #Var: 1079 LB: -191934440 @ 910.32 911.28 c Restart #21 #Var: 1079 LB: -191934440 @ 911.04 911.88 c Restart #22 #Var: 1079 LB: -191934440 @ 911.64 912.73 c Restart #23 #Var: 1079 LB: -191934440 @ 912.49 913.41 c Restart #24 #Var: 1079 LB: -191934440 @ 913.17 914.11 c Restart #25 #Var: 1079 LB: -191934440 @ 913.87 918.15 c Restart #26 #Var: 1079 LB: -191934440 @ 917.9 919.04 c Restart #27 #Var: 1079 LB: -191934440 @ 918.79 920.68 c Restart #28 #Var: 1079 LB: -191934440 @ 920.44 921.49 c Restart #29 #Var: 1079 LB: -191934440 @ 921.25 922.56 c Restart #30 #Var: 1079 LB: -191934440 @ 922.31 923.46 c Restart #31 #Var: 1079 LB: -191934440 @ 923.21 924.53 c Restart #32 #Var: 1079 LB: -191934440 @ 924.28 925.69 c Restart #33 #Var: 1079 LB: -191934440 @ 925.45 926.74 c Restart #34 #Var: 1079 LB: -191934440 @ 926.49 927.91 c Restart #35 #Var: 1079 LB: -191934440 @ 927.66 929.17 c Restart #36 #Var: 1079 LB: -191934440 @ 928.93 930.30 c Restart #37 #Var: 1079 LB: -191934440 @ 930.06 931.53 c Restart #38 #Var: 1079 LB: -191934440 @ 931.28 934.10 c Restart #39 #Var: 1079 LB: -191934440 @ 933.85 936.06 c Restart #40 #Var: 1079 LB: -191934440 @ 935.81 939.76 c Restart #41 #Var: 1079 LB: -191934440 @ 939.51 941.10 c Restart #42 #Var: 1079 LB: -191934440 @ 940.85 942.62 c Restart #43 #Var: 1079 LB: -191934440 @ 942.38 944.00 c Restart #44 #Var: 1079 LB: -191934440 @ 943.75 945.51 c Restart #45 #Var: 1079 LB: -191934440 @ 945.26 948.32 c Restart #46 #Var: 1079 LB: -191934440 @ 948.07 950.31 c Restart #47 #Var: 1079 LB: -191934440 @ 950.06 952.55 c Restart #48 #Var: 1079 LB: -191934440 @ 952.29 954.09 c Restart #49 #Var: 1079 LB: -191934440 @ 953.83 955.92 c Restart #50 #Var: 1079 LB: -191934440 @ 955.67 957.61 c Restart #51 #Var: 1079 LB: -191934440 @ 957.35 959.11 c Restart #52 #Var: 1079 LB: -191934440 @ 958.86 960.83 c Restart #53 #Var: 1079 LB: -191934440 @ 960.57 962.93 c Restart #54 #Var: 1079 LB: -191934440 @ 962.67 965.37 c Restart #55 #Var: 1079 LB: -191934440 @ 965.11 967.56 c Restart #56 #Var: 1079 LB: -191934440 @ 967.3 969.52 c Restart #57 #Var: 1079 LB: -191934440 @ 969.26 972.37 c Restart #58 #Var: 1079 LB: -191934440 @ 972.11 974.65 c Restart #59 #Var: 1079 LB: -191934440 @ 974.39 976.58 c Restart #60 #Var: 1079 LB: -191934440 @ 976.32 979.37 c Restart #61 #Var: 1079 LB: -191934440 @ 979.11 986.77 c Restart #62 #Var: 1079 LB: -191934440 @ 986.51 989.83 c Restart #63 #Var: 1079 LB: -191934440 @ 989.56 993.13 c Restart #64 #Var: 1079 LB: -191934440 @ 992.87 995.96 c Restart #65 #Var: 1079 LB: -191934440 @ 995.69 998.67 c Restart #66 #Var: 1079 LB: -191934440 @ 998.4 1001.82 c Restart #67 #Var: 1079 LB: -191934440 @ 1001.6 1008.59 c Restart #68 #Var: 1079 LB: -191934440 @ 1008.3 1011.53 c Restart #69 #Var: 1079 LB: -191934440 @ 1011.3 1013.97 c Restart #70 #Var: 1079 LB: -191934440 @ 1013.7 1016.13 c Restart #71 #Var: 1079 LB: -191934440 @ 1015.9 1022.83 c Restart #72 #Var: 1079 LB: -191934440 @ 1022.6 1025.34 c Restart #73 #Var: 1079 LB: -191934440 @ 1025.1 1027.68 c Restart #74 #Var: 1079 LB: -191934440 @ 1027.4 1032.12 c Restart #75 #Var: 1079 LB: -191934440 @ 1031.8 1035.09 c Restart #76 #Var: 1079 LB: -191934440 @ 1034.8 1041.77 c Restart #77 #Var: 1079 LB: -191934440 @ 1041.5 1044.36 c Restart #78 #Var: 1079 LB: -191934440 @ 1044.1 1047.02 c Restart #79 #Var: 1079 LB: -191934440 @ 1046.7 1049.99 c Restart #80 #Var: 1079 LB: -191934440 @ 1049.7 1053.06 c Restart #81 #Var: 1079 LB: -191934440 @ 1052.8 1055.38 c Restart #82 #Var: 1079 LB: -191934440 @ 1055.1 1058.26 c Restart #83 #Var: 1079 LB: -191934440 @ 1058 1060.92 c Restart #84 #Var: 1079 LB: -191934440 @ 1060.6 1064.21 c Restart #85 #Var: 1079 LB: -191934440 @ 1063.9 1067.36 c Restart #86 #Var: 1079 LB: -191934440 @ 1067.1 1070.62 c Restart #87 #Var: 1079 LB: -191934440 @ 1070.3 1073.92 c Restart #88 #Var: 1079 LB: -191934440 @ 1073.6 1076.81 c Restart #89 #Var: 1079 LB: -191934440 @ 1076.5 1079.89 c Restart #90 #Var: 1079 LB: -191934440 @ 1079.6 1082.80 c Restart #91 #Var: 1079 LB: -191934440 @ 1082.5 1085.98 c Restart #92 #Var: 1079 LB: -191934440 @ 1085.7 1089.27 c Restart #93 #Var: 1079 LB: -191934440 @ 1089 1092.14 c Restart #94 #Var: 1079 LB: -191934440 @ 1091.8 1095.24 c Restart #95 #Var: 1079 LB: -191934440 @ 1094.9 1098.51 c Restart #96 #Var: 1079 LB: -191934440 @ 1098.2 1100.96 c Restart #97 #Var: 1079 LB: -191934440 @ 1100.7 1103.80 c Restart #98 #Var: 1079 LB: -191934440 @ 1103.5 1107.69 c Restart #99 #Var: 1079 LB: -191934440 @ 1107.4 1110.49 c Restart #100 #Var: 1079 LB: -191934440 @ 1110.2 1114.29 c Restart #101 #Var: 1079 LB: -191934440 @ 1114 1118.09 c Restart #102 #Var: 1079 LB: -191934440 @ 1117.8 1121.87 c Restart #103 #Var: 1079 LB: -191934440 @ 1121.6 1125.81 c Restart #104 #Var: 1079 LB: -191934440 @ 1125.5 1129.87 c Restart #105 #Var: 1079 LB: -191934440 @ 1129.6 1133.38 c Restart #106 #Var: 1079 LB: -191934440 @ 1133.1 1137.69 c Restart #107 #Var: 1079 LB: -191934440 @ 1137.4 1141.30 c Restart #108 #Var: 1079 LB: -191934440 @ 1141 1144.65 c Restart #109 #Var: 1079 LB: -191934440 @ 1144.3 1148.77 c Restart #110 #Var: 1079 LB: -191934440 @ 1148.5 1152.27 c Restart #111 #Var: 1079 LB: -191934440 @ 1152 1155.40 c Restart #112 #Var: 1079 LB: -191934440 @ 1155.1 1158.48 c Restart #113 #Var: 1079 LB: -191934440 @ 1158.2 1162.36 c Restart #114 #Var: 1079 LB: -191934440 @ 1162.1 1165.72 c Restart #115 #Var: 1079 LB: -191934440 @ 1165.4 1169.12 c Restart #116 #Var: 1079 LB: -191934440 @ 1168.8 1173.08 c Restart #117 #Var: 1079 LB: -191934440 @ 1172.8 1177.43 c Restart #118 #Var: 1079 LB: -191934440 @ 1177.1 1181.47 c Restart #119 #Var: 1079 LB: -191934440 @ 1181.2 1201.09 c Restart #120 #Var: 1079 LB: -191934440 @ 1200.8 1205.91 c Restart #121 #Var: 1079 LB: -191934440 @ 1205.6 1217.26 c Restart #122 #Var: 1079 LB: -191934440 @ 1216.9 1221.94 c Restart #123 #Var: 1079 LB: -191934440 @ 1221.6 1226.96 c Restart #124 #Var: 1079 LB: -191934440 @ 1226.6 1231.77 c Restart #125 #Var: 1079 LB: -191934440 @ 1231.4 1240.55 c Restart #126 #Var: 1079 LB: -191934440 @ 1240.2 1245.48 c Restart #127 #Var: 1079 LB: -191934440 @ 1245.2 1250.09 c Restart #128 #Var: 1079 LB: -191934440 @ 1249.8 1254.73 c Restart #129 #Var: 1079 LB: -191934440 @ 1254.4 1274.39 c Restart #130 #Var: 1079 LB: -191934440 @ 1274.1 1279.33 c Restart #131 #Var: 1079 LB: -191934440 @ 1279 1284.17 c Restart #132 #Var: 1079 LB: -191934440 @ 1283.8 1289.10 c Restart #133 #Var: 1079 LB: -191934440 @ 1288.8 1292.95 c Restart #134 #Var: 1079 LB: -191934440 @ 1292.6 1298.15 c Restart #135 #Var: 1079 LB: -191934440 @ 1297.8 1303.63 c Restart #136 #Var: 1079 LB: -191934440 @ 1303.3 1308.84 c Restart #137 #Var: 1079 LB: -191934440 @ 1308.5 1314.06 c Restart #138 #Var: 1079 LB: -191934440 @ 1313.7 1318.27 c Restart #139 #Var: 1079 LB: -191934440 @ 1317.9 1322.86 c Restart #140 #Var: 1079 LB: -191934440 @ 1322.5 1327.46 c Restart #141 #Var: 1079 LB: -191934440 @ 1327.1 1332.36 c Restart #142 #Var: 1079 LB: -191934440 @ 1332 1337.36 c Restart #143 #Var: 1079 LB: -191934440 @ 1337 1342.24 c Restart #144 #Var: 1079 LB: -191934440 @ 1341.9 1346.05 c Restart #145 #Var: 1079 LB: -191934440 @ 1345.7 1351.18 c Restart #146 #Var: 1079 LB: -191934440 @ 1350.8 1356.01 c Restart #147 #Var: 1079 LB: -191934440 @ 1355.7 1361.34 c Restart #148 #Var: 1079 LB: -191934440 @ 1361 1366.56 c Restart #149 #Var: 1079 LB: -191934440 @ 1366.2 1370.85 c Restart #150 #Var: 1079 LB: -191934440 @ 1370.5 1375.84 c Restart #151 #Var: 1079 LB: -191934440 @ 1375.5 1380.07 c Restart #152 #Var: 1079 LB: -191934440 @ 1379.7 1384.63 c Restart #153 #Var: 1079 LB: -191934440 @ 1384.3 1389.73 c Restart #154 #Var: 1079 LB: -191934440 @ 1389.4 1394.83 c Restart #155 #Var: 1079 LB: -191934440 @ 1394.5 1400.25 c Restart #156 #Var: 1079 LB: -191934440 @ 1399.9 1406.13 c Restart #157 #Var: 1079 LB: -191934440 @ 1405.8 1411.12 c Restart #158 #Var: 1079 LB: -191934440 @ 1410.8 1417.06 c Restart #159 #Var: 1079 LB: -191934440 @ 1416.7 1422.86 c Restart #160 #Var: 1079 LB: -191934440 @ 1422.5 1427.50 c Restart #161 #Var: 1079 LB: -191934440 @ 1427.1 1442.15 c Restart #162 #Var: 1079 LB: -191934440 @ 1441.8 1447.65 c Restart #163 #Var: 1079 LB: -191934440 @ 1447.3 1455.71 c Restart #164 #Var: 1079 LB: -191934440 @ 1455.3 1460.54 c Restart #165 #Var: 1079 LB: -191934440 @ 1460.2 1465.55 c Restart #166 #Var: 1079 LB: -191934440 @ 1465.2 1470.72 c Restart #167 #Var: 1079 LB: -191934440 @ 1470.3 1477.99 c Restart #168 #Var: 1079 LB: -191934440 @ 1477.6 1483.36 c Restart #169 #Var: 1079 LB: -191934440 @ 1483 1487.50 c Restart #170 #Var: 1079 LB: -191934440 @ 1487.1 1492.47 c Restart #171 #Var: 1079 LB: -191934440 @ 1492.1 1497.52 c Restart #172 #Var: 1079 LB: -191934440 @ 1497.1 1502.41 c Restart #173 #Var: 1079 LB: -191934440 @ 1502 1507.48 c Restart #174 #Var: 1079 LB: -191934440 @ 1507.1 1511.86 c Restart #175 #Var: 1079 LB: -191934440 @ 1511.5 1517.70 c Restart #176 #Var: 1079 LB: -191934440 @ 1517.3 1522.66 c Restart #177 #Var: 1079 LB: -191934440 @ 1522.3 1528.55 c Restart #178 #Var: 1079 LB: -191934440 @ 1528.2 1534.06 c Restart #179 #Var: 1079 LB: -191934440 @ 1533.7 1538.72 c Restart #180 #Var: 1079 LB: -191934440 @ 1538.3 1543.59 c Restart #181 #Var: 1079 LB: -191934440 @ 1543.2 1549.04 c Restart #182 #Var: 1079 LB: -191934440 @ 1548.6 1553.92 c Restart #183 #Var: 1079 LB: -191934440 @ 1553.5 1558.58 c Restart #184 #Var: 1079 LB: -191934440 @ 1558.2 1564.44 c Restart #185 #Var: 1079 LB: -191934440 @ 1564 1568.90 c Restart #186 #Var: 1079 LB: -191934440 @ 1568.5 1574.86 c Restart #187 #Var: 1079 LB: -191934440 @ 1574.4 1579.09 c Restart #188 #Var: 1079 LB: -191934440 @ 1578.7 1584.88 c Restart #189 #Var: 1079 LB: -191934440 @ 1584.5 1589.14 c Restart #190 #Var: 1079 LB: -191934440 @ 1588.7 1594.52 c Restart #191 #Var: 1079 LB: -191934440 @ 1594.1 1599.81 c Restart #192 #Var: 1079 LB: -191934440 @ 1599.4 1604.79 c Restart #193 #Var: 1079 LB: -191934440 @ 1604.4 1610.00 c Restart #194 #Var: 1079 LB: -191934440 @ 1609.6 1615.34 c Restart #195 #Var: 1079 LB: -191934440 @ 1614.9 1621.40 c Restart #196 #Var: 1079 LB: -191934440 @ 1620.9 1627.24 c Restart #197 #Var: 1079 LB: -191934440 @ 1626.7 1632.89 c Restart #198 #Var: 1079 LB: -191934440 @ 1632.4 1638.22 c Restart #199 #Var: 1079 LB: -191934440 @ 1637.7 1643.58 c Restart #200 #Var: 1079 LB: -191934440 @ 1643.1 1650.71 c Restart #201 #Var: 1079 LB: -191934440 @ 1650.2 1666.21 c Restart #202 #Var: 1079 LB: -191934440 @ 1665.7 1672.53 c Restart #203 #Var: 1079 LB: -191934440 @ 1672 1676.98 c Restart #204 #Var: 1079 LB: -191934440 @ 1676.5 1682.66 c Restart #205 #Var: 1079 LB: -191934440 @ 1682.1 1689.11 c Restart #206 #Var: 1079 LB: -191934440 @ 1688.6 1696.43 c Restart #207 #Var: 1079 LB: -191934440 @ 1695.9 1703.05 c Restart #208 #Var: 1079 LB: -191934440 @ 1702.5 1708.18 c Restart #209 #Var: 1079 LB: -191934440 @ 1707.7 1715.26 c Restart #210 #Var: 1079 LB: -191934440 @ 1714.7 1721.33 c Restart #211 #Var: 1079 LB: -191934440 @ 1720.8 1727.40 c Restart #212 #Var: 1079 LB: -191934440 @ 1726.9 1733.59 c Restart #213 #Var: 1079 LB: -191934440 @ 1733.1 1739.33 c Restart #214 #Var: 1079 LB: -191934440 @ 1738.8 1745.36 c Restart #215 #Var: 1079 LB: -191934440 @ 1744.8 1751.55 c Restart #216 #Var: 1079 LB: -191934440 @ 1751 1758.98 c Restart #217 #Var: 1079 LB: -191934440 @ 1758.4 1766.53 c Restart #218 #Var: 1079 LB: -191934440 @ 1766 1773.48 c Restart #219 #Var: 1079 LB: -191934440 @ 1772.9 1781.48 c Restart #220 #Var: 1079 LB: -191934440 @ 1780.9 1789.36 c Restart #221 #Var: 1079 LB: -191934440 @ 1788.8 1795.86 c Restart #222 #Var: 1079 LB: -191934440 @ 1795.3 1800.55 s UNKNOWN 1800.55 c Exit Code: 0 1800.55 c Total time: 1800 s
ERROR: no interpretation found !
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/node26/watcher-40707-1149312858 -o ROOT/results/node26/solver-40707-1149312858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/40707-1149312858/instance-40707-1149312858.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1618152/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=4932 CPUtime=0 /proc/23604/stat : 23604 (bsolo) D 23602 23604 23558 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 14456689 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/23604/statm: 1233 330 226 55 0 125 0 [startup+10.0022 s] /proc/loadavg: 0.98 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1613416/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=9220 CPUtime=9.98 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 1564 0 0 0 993 5 0 0 25 0 1 0 14456689 9441280 1479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2305 1479 297 55 0 1197 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9220 [startup+20.0082 s] /proc/loadavg: 0.98 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1613352/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=9352 CPUtime=19.99 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 1586 0 0 0 1990 9 0 0 25 0 1 0 14456689 9576448 1501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2338 1501 297 55 0 1230 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9352 [startup+30.0142 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1612072/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=10624 CPUtime=29.98 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 1917 0 0 0 2987 11 0 0 25 0 1 0 14456689 10878976 1832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2656 1832 297 55 0 1548 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 10624 [startup+40.0202 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611816/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=10848 CPUtime=39.99 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 1968 0 0 0 3985 14 0 0 25 0 1 0 14456689 11108352 1883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13025637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2712 1883 297 55 0 1604 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 10848 [startup+50.0272 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611880/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=10848 CPUtime=49.99 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 1972 0 0 0 4982 17 0 0 25 0 1 0 14456689 11108352 1887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2712 1887 297 55 0 1604 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 10848 [startup+60.0322 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611816/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=10980 CPUtime=60 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 1984 0 0 0 5980 20 0 0 25 0 1 0 14456689 11243520 1899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2745 1899 297 55 0 1637 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 10980 [startup+70.0382 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611816/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=10980 CPUtime=70 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 1984 0 0 0 6977 23 0 0 25 0 1 0 14456689 11243520 1899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2745 1899 297 55 0 1637 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 10980 [startup+80.0442 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611304/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11464 CPUtime=80 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2113 0 0 0 7975 25 0 0 25 0 1 0 14456689 11739136 2028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2866 2028 297 55 0 1758 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 11464 [startup+90.0502 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611240/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11452 CPUtime=90.01 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2138 0 0 0 8973 28 0 0 25 0 1 0 14456689 11726848 2039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2863 2039 297 55 0 1755 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 11452 [startup+100.056 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611240/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11584 CPUtime=100.01 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2142 0 0 0 9971 30 0 0 25 0 1 0 14456689 11862016 2043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2896 2043 297 55 0 1788 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 11584 [startup+110.063 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611240/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11500 CPUtime=110.01 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2146 0 0 0 10969 32 0 0 25 0 1 0 14456689 11776000 2047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2875 2047 297 55 0 1767 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 11500 [startup+120.068 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611240/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11596 CPUtime=120.01 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2149 0 0 0 11966 35 0 0 25 0 1 0 14456689 11874304 2050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2899 2050 297 55 0 1791 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 11596 [startup+130.074 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611176/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11580 CPUtime=130.02 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2163 0 0 0 12964 38 0 0 25 0 1 0 14456689 11857920 2064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2895 2064 297 55 0 1787 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 11580 [startup+140.08 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611112/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11580 CPUtime=140.02 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2163 0 0 0 13962 40 0 0 25 0 1 0 14456689 11857920 2064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2895 2064 297 55 0 1787 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 11580 [startup+150.086 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611112/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11580 CPUtime=150.02 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2166 0 0 0 14960 42 0 0 25 0 1 0 14456689 11857920 2067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2895 2067 297 55 0 1787 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 11580 [startup+160.092 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611112/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11580 CPUtime=160.03 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2170 0 0 0 15958 45 0 0 25 0 1 0 14456689 11857920 2071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2895 2071 297 55 0 1787 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 11580 [startup+170.099 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611112/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11712 CPUtime=170.03 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2177 0 0 0 16955 48 0 0 25 0 1 0 14456689 11993088 2078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2928 2078 297 55 0 1820 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 11712 [startup+180.104 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611112/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11660 CPUtime=180.04 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2177 0 0 0 17953 51 0 0 25 0 1 0 14456689 11939840 2078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2915 2078 297 55 0 1807 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 11660 [startup+190.11 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611112/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11636 CPUtime=190.04 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2177 0 0 0 18951 53 0 0 25 0 1 0 14456689 11915264 2078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2909 2078 297 55 0 1801 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 11636 [startup+200.116 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611112/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=11636 CPUtime=200.05 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 2178 0 0 0 19950 55 0 0 25 0 1 0 14456689 11915264 2079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 2909 2079 297 55 0 1801 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 11636 [startup+210.122 s] /proc/loadavg: 0.99 1.00 1.00 2/64 23604 /proc/meminfo: memFree=1611048/2055920 swapFree=4192956/4192956 ################ # More data... # ################ /proc/23604/statm: 7467 6636 297 55 0 6359 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 29868 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1592296/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=29868 CPUtime=1770.51 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7173 0 0 0 176614 437 0 0 25 0 1 0 14456689 30584832 6636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7467 6636 297 55 0 6359 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 29868 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1780.51 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7472 0 0 0 177612 439 0 0 25 0 1 0 14456689 31834112 6935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6935 297 55 0 6664 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 31088 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591208/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1781.51 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7472 0 0 0 177712 439 0 0 25 0 1 0 14456689 31834112 6935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6935 297 55 0 6664 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 31088 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591208/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1782.52 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7472 0 0 0 177813 439 0 0 25 0 1 0 14456689 31834112 6935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6935 297 55 0 6664 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 31088 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591208/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1783.53 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7472 0 0 0 177913 440 0 0 25 0 1 0 14456689 31834112 6935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6935 297 55 0 6664 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 31088 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1784.53 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7479 0 0 0 178013 440 0 0 25 0 1 0 14456689 31834112 6942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6942 297 55 0 6664 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 31088 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1785.53 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7482 0 0 0 178113 440 0 0 25 0 1 0 14456689 31834112 6945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6945 297 55 0 6664 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 31088 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1786.54 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7482 0 0 0 178213 441 0 0 25 0 1 0 14456689 31834112 6945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6945 297 55 0 6664 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 31088 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1787.55 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7484 0 0 0 178314 441 0 0 25 0 1 0 14456689 31834112 6947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6947 297 55 0 6664 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 31088 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1788.55 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7484 0 0 0 178414 441 0 0 25 0 1 0 14456689 31834112 6947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6947 297 55 0 6664 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 31088 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1789.55 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7484 0 0 0 178514 441 0 0 25 0 1 0 14456689 31834112 6947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6947 297 55 0 6664 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 31088 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591144/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31088 CPUtime=1790.55 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7484 0 0 0 178614 441 0 0 25 0 1 0 14456689 31834112 6947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7772 6947 297 55 0 6664 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 31088 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31172 CPUtime=1791.57 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7489 0 0 0 178715 442 0 0 25 0 1 0 14456689 31920128 6952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7793 6952 297 55 0 6685 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 31172 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31172 CPUtime=1792.57 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7492 0 0 0 178815 442 0 0 25 0 1 0 14456689 31920128 6955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7793 6955 297 55 0 6685 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 31172 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31172 CPUtime=1793.57 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7494 0 0 0 178915 442 0 0 25 0 1 0 14456689 31920128 6957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7793 6957 297 55 0 6685 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 31172 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31172 CPUtime=1794.57 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7494 0 0 0 179015 442 0 0 25 0 1 0 14456689 31920128 6957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13033124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7793 6957 297 55 0 6685 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 31172 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31104 CPUtime=1795.59 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7494 0 0 0 179116 443 0 0 25 0 1 0 14456689 31850496 6952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7776 6952 297 55 0 6668 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 31104 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31104 CPUtime=1796.59 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7494 0 0 0 179216 443 0 0 25 0 1 0 14456689 31850496 6952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7776 6952 297 55 0 6668 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 31104 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31104 CPUtime=1797.6 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7494 0 0 0 179316 444 0 0 25 0 1 0 14456689 31850496 6952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7776 6952 297 55 0 6668 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 31104 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31104 CPUtime=1798.6 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7494 0 0 0 179416 444 0 0 25 0 1 0 14456689 31850496 6952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7776 6952 297 55 0 6668 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 31104 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 23799 /proc/meminfo: memFree=1591080/2055920 swapFree=4192956/4192956 [pid=23604] ppid=23602 vsize=31104 CPUtime=1799.6 /proc/23604/stat : 23604 (bsolo) R 23602 23604 23558 0 -1 0 7494 0 0 0 179516 444 0 0 25 0 1 0 14456689 31850496 6952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23604/statm: 7776 6952 297 55 0 6668 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 31104 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.01 CPU user time (s): 1795.56 CPU system time (s): 4.45132 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (Kb): 31172
Begin job on node26 on Sat Jun 3 05:34:18 UTC 2006 FILE ID= 40707-1149312858 PBS_JOBID= 308143 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/40707-1149312858/instance-40707-1149312858.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-40707-1149312858 -o ROOT/results/node26/solver-40707-1149312858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/40707-1149312858/instance-40707-1149312858.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 95fbceaf029492cffa0d3c545b3f551d RANDOM SEED= 484072010 /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.247 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.247 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: 1618360 kB Buffers: 23868 kB Cached: 357612 kB SwapCached: 0 kB Active: 68068 kB Inactive: 327972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1618360 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 176 kB Writeback: 0 kB Mapped: 24912 kB Slab: 27580 kB Committed_AS: 234108 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Sat Jun 3 06:04:19 UTC 2006