Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 0 | 1255.53 | 1255.85 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
MD5SUM | b258fc1dc8cb1827e842a0b9558712c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.01384 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 435 |
Total number of constraints | 501 |
Number of constraints which are clauses | 403 |
Number of constraints which are cardinality constraints (but not clauses) | 98 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 435 |
Biggest coefficient in the objective function | 282 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1168 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 282 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1168 |
Number of bits of the biggest sum of numbers | 11 |
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.03 c Initial problem consists of 435 variables and 501 constraints. 0.03 c Switching on LPR. 0.03 c preprocess terminated. Elapsed time: 0.018 0.03 c After prepocess the problem consists of 433 variables and 499 constraints. 0.11 c Initial Lower Bound: 0 1.08 o 175 1.08 c NEW SOLUTION FOUND: 175 @ 1.074 1.09 o 173 1.09 c NEW SOLUTION FOUND: 173 @ 1.076 1.09 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 o 172 1.09 c NEW SOLUTION FOUND: 172 @ 1.078 1.09 o 171 1.09 c NEW SOLUTION FOUND: 171 @ 1.082 1.09 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.10 o 169 1.10 c NEW SOLUTION FOUND: 169 @ 1.086 1.10 o 168 1.10 c NEW SOLUTION FOUND: 168 @ 1.094 1.10 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 o 167 1.11 c NEW SOLUTION FOUND: 167 @ 1.105 1.13 o 166 1.13 c NEW SOLUTION FOUND: 166 @ 1.118 1.14 o 165 1.14 c NEW SOLUTION FOUND: 165 @ 1.13 1.15 o 164 1.15 c NEW SOLUTION FOUND: 164 @ 1.139 1.15 o 163 1.15 c NEW SOLUTION FOUND: 163 @ 1.145 1.17 o 162 1.17 c NEW SOLUTION FOUND: 162 @ 1.157 1.19 o 161 1.19 c NEW SOLUTION FOUND: 161 @ 1.176 1.19 o 160 1.19 c NEW SOLUTION FOUND: 160 @ 1.177 1.19 o 159 1.19 c NEW SOLUTION FOUND: 159 @ 1.186 1.22 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.37 o 158 1.37 c NEW SOLUTION FOUND: 158 @ 1.36 1.52 o 157 1.52 c NEW SOLUTION FOUND: 157 @ 1.507 1.69 o 156 1.69 c NEW SOLUTION FOUND: 156 @ 1.681 1.75 o 155 1.75 c NEW SOLUTION FOUND: 155 @ 1.745 1.87 o 154 1.87 c NEW SOLUTION FOUND: 154 @ 1.856 1.88 o 153 1.88 c NEW SOLUTION FOUND: 153 @ 1.871 1.93 o 152 1.93 c NEW SOLUTION FOUND: 152 @ 1.924 2.06 o 151 2.06 c NEW SOLUTION FOUND: 151 @ 2.054 2.08 o 149 2.08 c NEW SOLUTION FOUND: 149 @ 2.072 2.08 o 148 2.08 c NEW SOLUTION FOUND: 148 @ 2.073 2.12 o 147 2.12 c NEW SOLUTION FOUND: 147 @ 2.109 2.34 o 146 2.34 c NEW SOLUTION FOUND: 146 @ 2.334 2.49 o 145 2.49 c NEW SOLUTION FOUND: 145 @ 2.482 2.54 o 144 2.54 c NEW SOLUTION FOUND: 144 @ 2.533 2.64 o 143 2.64 c NEW SOLUTION FOUND: 143 @ 2.628 3.09 c Restart #1 #Var: 433 LB: 0 @ 3.078 4.31 o 12 4.31 c NEW SOLUTION FOUND: 12 @ 4.294 5.34 c Restart #2 #Var: 433 LB: 0 @ 5.324 8.15 c Restart #3 #Var: 433 LB: 0 @ 8.138 9.76 o 11 9.76 c NEW SOLUTION FOUND: 11 @ 9.743 10.63 o 10 10.63 c NEW SOLUTION FOUND: 10 @ 10.614 13.17 c Restart #4 #Var: 433 LB: 0 @ 13.154 14.11 o 9 14.11 c NEW SOLUTION FOUND: 9 @ 14.098 15.52 o 8 15.52 c NEW SOLUTION FOUND: 8 @ 15.503 15.72 o 7 15.72 c NEW SOLUTION FOUND: 7 @ 15.702 15.86 o 6 15.86 c NEW SOLUTION FOUND: 6 @ 15.844 15.95 o 5 15.95 c NEW SOLUTION FOUND: 5 @ 15.938 16.22 o 4 16.22 c NEW SOLUTION FOUND: 4 @ 16.2 16.25 o 3 16.25 c NEW SOLUTION FOUND: 3 @ 16.232 18.44 c Restart #5 #Var: 433 LB: 0 @ 18.421 24.24 c Restart #6 #Var: 433 LB: 0 @ 24.226 25.44 o 2 25.44 c NEW SOLUTION FOUND: 2 @ 25.417 32.46 c Restart #7 #Var: 433 LB: 0 @ 32.441 43.38 c Restart #8 #Var: 433 LB: 0 @ 43.356 53.48 c Restart #9 #Var: 433 LB: 0 @ 53.456 64.93 c Restart #10 #Var: 433 LB: 0 @ 64.902 74.44 c Restart #11 #Var: 433 LB: 0 @ 74.408 86.10 c Restart #12 #Var: 433 LB: 0 @ 86.069 96.30 c Restart #13 #Var: 433 LB: 0 @ 96.268 117.38 c Restart #14 #Var: 433 LB: 0 @ 117.33 136.73 c Restart #15 #Var: 433 LB: 0 @ 136.69 161.15 c Restart #16 #Var: 433 LB: 0 @ 161.1 173.05 c Restart #17 #Var: 433 LB: 0 @ 172.99 189.88 c Restart #18 #Var: 433 LB: 0 @ 189.82 212.10 c Restart #19 #Var: 433 LB: 0 @ 212.04 236.28 c Restart #20 #Var: 433 LB: 0 @ 236.21 258.43 c Restart #21 #Var: 433 LB: 0 @ 258.35 264.86 c Sol. found (all assignments made)... 264.86 c Sol. found (all assignments made)... 264.93 c Sol. found (all assignments made)... 264.95 c Sol. found (all assignments made)... 264.95 c Sol. found (all assignments made)... 264.99 c Sol. found (all assignments made)... 264.99 c Sol. found (all assignments made)... 265.03 c Sol. found (all assignments made)... 265.03 c Sol. found (all assignments made)... 265.06 c Sol. found (all assignments made)... 265.06 c Sol. found (all assignments made)... 265.13 c Sol. found (all assignments made)... 265.13 c Sol. found (all assignments made)... 265.15 c Sol. found (all assignments made)... 265.15 c Sol. found (all assignments made)... 265.18 c Sol. found (all assignments made)... 265.18 c Sol. found (all assignments made)... 265.20 c Sol. found (all assignments made)... 265.21 c Sol. found (all assignments made)... 265.27 c Sol. found (all assignments made)... 265.27 c Sol. found (all assignments made)... 265.29 c Sol. found (all assignments made)... 265.29 c Sol. found (all assignments made)... 265.40 c Sol. found (all assignments made)... 265.40 c Sol. found (all assignments made)... 265.47 c Sol. found (all assignments made)... 265.47 c Sol. found (all assignments made)... 265.57 c Sol. found (all assignments made)... 265.58 c Sol. found (all assignments made)... 265.59 c Sol. found (all assignments made)... 265.60 c Sol. found (all assignments made)... 265.61 c Sol. found (all assignments made)... 265.62 c Sol. found (all assignments made)... 265.64 c Sol. found (all assignments made)... 265.64 c Sol. found (all assignments made)... 265.68 c Sol. found (all assignments made)... 265.68 c Sol. found (all assignments made)... 265.71 c Sol. found (all assignments made)... 265.71 c Sol. found (all assignments made)... 265.72 c Sol. found (all assignments made)... 265.72 c Sol. found (all assignments made)... 265.73 c Sol. found (all assignments made)... 265.73 c Sol. found (all assignments made)... 265.78 c Sol. found (all assignments made)... 265.79 c Sol. found (all assignments made)... 265.81 c Sol. found (all assignments made)... 265.81 c Sol. found (all assignments made)... 266.30 c Sol. found (all assignments made)... 266.30 c Sol. found (all assignments made)... 266.37 c Sol. found (all assignments made)... 266.37 c Sol. found (all assignments made)... 266.61 c Sol. found (all assignments made)... 266.61 c Sol. found (all assignments made)... 266.63 c Sol. found (all assignments made)... 266.63 c Sol. found (all assignments made)... 266.65 c Sol. found (all assignments made)... 266.65 c Sol. found (all assignments made)... 266.66 c Sol. found (all assignments made)... 266.67 c Sol. found (all assignments made)... 266.71 c Sol. found (all assignments made)... 266.72 c Sol. found (all assignments made)... 266.73 c Sol. found (all assignments made)... 266.73 c Sol. found (all assignments made)... 266.74 c Sol. found (all assignments made)... 266.74 c Sol. found (all assignments made)... 266.76 c Sol. found (all assignments made)... 266.76 c Sol. found (all assignments made)... 266.80 c Sol. found (all assignments made)... 266.80 c Sol. found (all assignments made)... 266.82 c Sol. found (all assignments made)... 266.82 c Sol. found (all assignments made)... 267.01 c Sol. found (all assignments made)... 267.02 c Sol. found (all assignments made)... 267.12 c Sol. found (all assignments made)... 267.12 c Sol. found (all assignments made)... 267.23 c Sol. found (all assignments made)... 267.23 c Sol. found (all assignments made)... 267.25 c Sol. found (all assignments made)... 267.25 c Sol. found (all assignments made)... 267.26 c Sol. found (all assignments made)... 267.27 c Sol. found (all assignments made)... 267.30 c Sol. found (all assignments made)... 267.30 c Sol. found (all assignments made)... 267.31 c Sol. found (all assignments made)... 267.31 c Sol. found (all assignments made)... 267.32 c Sol. found (all assignments made)... 267.32 c Sol. found (all assignments made)... 267.33 c Sol. found (all assignments made)... 267.34 c Sol. found (all assignments made)... 267.36 c Sol. found (all assignments made)... 267.36 c Sol. found (all assignments made)... 267.38 c Sol. found (all assignments made)... 267.38 c Sol. found (all assignments made)... 269.19 c Sol. found (all assignments made)... 269.21 c Sol. found (all assignments made)... 269.22 c Sol. found (all assignments made)... 269.25 c Sol. found (all assignments made)... 269.27 c Sol. found (all assignments made)... 269.29 c Sol. found (all assignments made)... 269.37 c Sol. found (all assignments made)... 269.39 c Sol. found (all assignments made)... 269.41 c Sol. found (all assignments made)... 269.44 c Sol. found (all assignments made)... 269.46 c Sol. found (all assignments made)... 269.48 c Sol. found (all assignments made)... 269.51 c Sol. found (all assignments made)... 269.54 c Sol. found (all assignments made)... 269.55 c Sol. found (all assignments made)... 269.58 c Sol. found (all assignments made)... 269.60 c Sol. found (all assignments made)... 269.61 c Sol. found (all assignments made)... 269.63 c Sol. found (all assignments made)... 269.65 c Sol. found (all assignments made)... 269.67 c Sol. found (all assignments made)... 269.93 c Sol. found (all assignments made)... 269.98 c Sol. found (all assignments made)... 270.05 c Sol. found (all assignments made)... 270.09 c Sol. found (all assignments made)... 270.10 c Sol. found (all assignments made)... 270.11 c Sol. found (all assignments made)... 270.13 c Sol. found (all assignments made)... 270.17 c Sol. found (all assignments made)... 270.18 c Sol. found (all assignments made)... 270.19 c Sol. found (all assignments made)... 270.22 c Sol. found (all assignments made)... 270.25 c Sol. found (all assignments made)... 270.40 c Sol. found (all assignments made)... 270.42 c Sol. found (all assignments made)... 270.57 c Restart #22 #Var: 433 LB: 0 @ 270.49 299.46 c Restart #23 #Var: 433 LB: 0 @ 299.38 330.06 c Restart #24 #Var: 433 LB: 0 @ 329.97 348.04 c Restart #25 #Var: 433 LB: 0 @ 347.95 375.40 c Restart #26 #Var: 433 LB: 0 @ 375.29 396.09 c Restart #27 #Var: 433 LB: 0 @ 395.98 420.96 c Restart #28 #Var: 433 LB: 0 @ 420.85 452.00 c Restart #29 #Var: 433 LB: 0 @ 451.87 475.07 c Restart #30 #Var: 433 LB: 0 @ 474.94 489.99 o 1 489.99 c NEW SOLUTION FOUND: 1 @ 489.86 535.30 c Restart #31 #Var: 433 LB: 0 @ 535.16 572.93 c Restart #32 #Var: 433 LB: 0 @ 572.78 605.07 c Restart #33 #Var: 433 LB: 0 @ 604.91 637.30 c Restart #34 #Var: 433 LB: 0 @ 637.13 677.74 c Restart #35 #Var: 433 LB: 0 @ 677.56 711.85 c Restart #36 #Var: 433 LB: 0 @ 711.67 740.56 c Restart #37 #Var: 433 LB: 0 @ 740.36 784.44 c Restart #38 #Var: 433 LB: 0 @ 784.24 816.38 c Restart #39 #Var: 433 LB: 0 @ 816.17 849.31 c Restart #40 #Var: 433 LB: 0 @ 849.09 922.64 c Restart #41 #Var: 433 LB: 0 @ 922.41 958.17 c Restart #42 #Var: 433 LB: 0 @ 957.93 1033.64 c Restart #43 #Var: 433 LB: 0 @ 1033.4 1084.59 c Restart #44 #Var: 433 LB: 0 @ 1084.3 1183.83 c Restart #45 #Var: 433 LB: 0 @ 1183.5 1233.65 c Restart #46 #Var: 433 LB: 0 @ 1233.3 1254.17 o 0 1254.17 c NEW SOLUTION FOUND: 0 @ 1253.8 1255.85 s OPTIMUM FOUND 1255.85 c Cost: 0 1255.85 v x359 -x235 x63 x6 x341 -x236 -x400 x363 x340 -x240 x7 -x399 x361 -x239 x8 -x401 x342 -x237 x144 -x11 x434 -x362 x344 -x238 x143 1255.85 v -x9 -x417 -x366 x145 -x10 -x421 x345 x435 x358 -x234 x183 x62 -x3 -x337 -x233 -x187 x5 x364 -x336 -x321 -x244 x4 x12 x367 x343 1255.85 v -x402 x365 x346 -x416 x410 -x420 x406 x146 x405 x387 -x154 -x27 x150 -x31 x356 -x317 -x252 -x247 x182 x64 x360 x256 -x248 -x186 1255.85 v -x2 x357 -x320 -x243 -x20 x368 x338 -x16 -x407 x339 -x241 -x161 -x68 -x15 -x409 -x165 x418 x383 x350 -x151 -x129 -x422 -x153 1255.85 v x403 x386 -x302 -x26 -x149 -x30 -x316 -x274 -x251 -x245 x184 x65 -x17 x355 -x278 x255 -x188 -x19 x376 -x322 -x84 x69 -x412 -x408 1255.85 v -x372 -x88 x67 -x411 -x371 -x353 -x242 -x190 -x160 -x125 x48 -x13 -x354 -x191 -x164 -x152 x419 x382 x349 -x325 -x298 -x128 1255.85 v -x14 -x423 -x424 x404 x388 -x347 x301 -x28 -x425 -x147 -x32 x373 -x318 -x273 -x253 -x246 x185 x66 -x18 x375 -x277 x257 -x189 1255.85 v x70 -x352 -x323 -x193 -x83 -x44 -x351 -x192 x87 -x378 -x369 -x326 x259 -x162 -x124 x47 -x413 -x324 -x260 x166 -x22 -x414 x384 1255.85 v -x370 -x297 -x130 -x21 x415 -x429 x389 -x348 x303 x168 -x29 x169 -x148 -x33 x374 -x314 -x275 x254 -x181 x78 -x319 -x279 x258 1255.85 v x180 -x156 -x74 -x315 x262 x197 -x155 -x120 -x85 -x73 -x43 -x327 x261 x89 -x293 -x281 -x221 -x163 -x126 -x112 x49 -x377 -x282 1255.85 v -x225 x167 -x432 x379 -x299 x171 -x131 -x91 -x433 x385 x170 -x92 -x23 -x428 x381 x304 -x211 -x132 -x52 -x24 x390 -x133 -x25 1255.85 v -x276 x250 -x200 -x80 x77 x39 -x313 -x280 x249 x201 -x335 -x284 x266 -x196 -x108 -x86 -x71 x45 -x331 -x283 -x157 -x119 x90 -x431 1255.85 v -x330 x220 -x194 -x158 -x121 -x111 -x94 -x72 x50 -x430 x292 -x224 x159 -x127 -x93 x294 -x207 -x175 -x123 x53 x380 -x300 -x134 1255.85 v x51 -x426 x398 x296 -x210 -x36 x394 x305 -x37 -x332 -x272 x269 -x198 x75 -x334 -x271 x270 x79 x38 -x288 -x265 -x107 x81 x40 x82 1255.85 v x46 -x328 -x263 x222 -x195 x178 -x113 -x98 x42 -x226 x179 -x122 x54 x395 -x329 -x206 -x174 -x142 -x35 x397 x295 -x138 -x34 -x427 1255.85 v x312 -x228 x212 -x172 -x137 -x116 x393 x308 -x229 -x333 -x289 x267 -x199 -x105 x76 -x291 -x216 -x287 x215 -x177 -x109 x101 1255.85 v -x176 x102 x41 -x285 -x264 x223 x204 -x139 -x114 -x97 x61 x396 -x227 -x141 -x58 x309 -x231 -x208 x117 -x95 -x57 x311 -x230 -x115 1255.85 v x213 -x173 -x135 x391 x306 -x290 x268 x100 -x104 x99 x103 -x60 x217 -x140 x110 -x59 -x286 x218 x106 -x310 x219 x203 x118 x232 1255.85 v x202 -x96 -x55 x209 x205 -x136 -x56 x392 x307 x214 x1 1255.85 c Exit Code: 30 1255.85 c Total time: 1255.5 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/node39/watcher-40473-1149289284 -o ROOT/results/node39/solver-40473-1149289284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40473-1149289284/instance-40473-1149289284.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 11960 /proc/meminfo: memFree=1697984/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=4748 CPUtime=0 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 244 0 0 0 0 0 0 0 19 0 1 0 194594726 4861952 214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134559205 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 1231 222 153 55 0 123 0 [startup+10.0027 s] /proc/loadavg: 1.01 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1695256/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=7484 CPUtime=9.98 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 31419 0 0 0 975 23 0 0 25 0 1 0 194594726 7663616 1134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159475572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 1871 1134 433 55 0 763 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 7484 [startup+20.0086 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1694104/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8416 CPUtime=19.98 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 67007 0 0 0 1951 47 0 0 25 0 1 0 194594726 8617984 1368 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2104 1368 435 55 0 996 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 8416 [startup+30.0146 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693848/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8764 CPUtime=29.99 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 93895 0 0 0 2934 65 0 0 25 0 1 0 194594726 8974336 1456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159496513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2191 1456 435 55 0 1083 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 8764 [startup+40.0205 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8464 CPUtime=39.99 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 114832 0 0 0 3921 78 0 0 25 0 1 0 194594726 8667136 1447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2116 1447 435 55 0 1008 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 8464 [startup+50.0264 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8436 CPUtime=49.99 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 134019 0 0 0 4908 91 0 0 25 0 1 0 194594726 8638464 1440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2109 1440 435 55 0 1001 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 8436 [startup+60.0323 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8736 CPUtime=60 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 155720 0 0 0 5896 104 0 0 25 0 1 0 194594726 8945664 1447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2184 1447 435 55 0 1076 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 8736 [startup+70.0393 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8436 CPUtime=70 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 180243 0 0 0 6881 119 0 0 25 0 1 0 194594726 8638464 1440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2109 1440 435 55 0 1001 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 8436 [startup+80.0452 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8436 CPUtime=80 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 203606 0 0 0 7864 136 0 0 25 0 1 0 194594726 8638464 1440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2109 1440 435 55 0 1001 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 8436 [startup+90.0511 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8436 CPUtime=90.01 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 231890 0 0 0 8846 155 0 0 25 0 1 0 194594726 8638464 1440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2109 1440 435 55 0 1001 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 8436 [startup+100.057 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693848/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8692 CPUtime=100.01 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 250715 0 0 0 9831 170 0 0 25 0 1 0 194594726 8900608 1471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2173 1471 435 55 0 1065 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 8692 [startup+110.063 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8540 CPUtime=110.02 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 260794 0 0 0 10823 179 0 0 25 0 1 0 194594726 8744960 1466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2135 1466 435 55 0 1027 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 8540 [startup+120.069 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8840 CPUtime=120.02 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 275241 0 0 0 11814 188 0 0 25 0 1 0 194594726 9052160 1474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2210 1474 435 55 0 1102 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 8840 [startup+130.075 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8536 CPUtime=130.02 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 296869 0 0 0 12801 201 0 0 25 0 1 0 194594726 8740864 1465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2134 1465 435 55 0 1026 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 8536 [startup+140.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693848/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8572 CPUtime=140.02 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 319563 0 0 0 13784 218 0 0 25 0 1 0 194594726 8777728 1474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11554780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2143 1474 435 55 0 1035 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 8572 [startup+150.086 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8572 CPUtime=150.03 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 339707 0 0 0 14771 232 0 0 25 0 1 0 194594726 8777728 1474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2143 1474 435 55 0 1035 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 8572 [startup+160.092 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8572 CPUtime=160.03 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 360228 0 0 0 15757 246 0 0 25 0 1 0 194594726 8777728 1474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2143 1474 435 55 0 1035 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 8572 [startup+170.098 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8572 CPUtime=170.04 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 391995 0 0 0 16736 268 0 0 25 0 1 0 194594726 8777728 1474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2143 1474 435 55 0 1035 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 8572 [startup+180.104 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693912/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8876 CPUtime=180.03 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 416679 0 0 0 17719 284 0 0 25 0 1 0 194594726 9089024 1483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2219 1483 435 55 0 1111 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 8876 [startup+190.109 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693592/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=8880 CPUtime=190.05 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 440490 0 0 0 18703 302 0 0 25 0 1 0 194594726 9093120 1551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2220 1551 435 55 0 1112 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 8880 [startup+200.114 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693464/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=9296 CPUtime=200.05 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 460230 0 0 0 19692 313 0 0 25 0 1 0 194594726 9519104 1621 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2324 1621 435 55 0 1216 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 9296 [startup+210.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1693272/2055920 swapFree=4180884/4192956 ################ # More data... # ################ /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1040.34 Current children cumulated vsize (Kb) 10656 [startup+1050.61 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1050.33 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2382878 0 0 0 103461 1572 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160181736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1050.33 Current children cumulated vsize (Kb) 10656 [startup+1060.62 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1060.34 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2398090 0 0 0 104451 1583 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1060.34 Current children cumulated vsize (Kb) 10656 [startup+1070.63 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10824 CPUtime=1070.34 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2413013 0 0 0 105443 1591 0 0 25 0 1 0 194594726 11083776 1998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11558525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2706 1998 435 55 0 1598 0 Current children cumulated CPU time (s) 1070.34 Current children cumulated vsize (Kb) 10824 [startup+1080.63 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1080.34 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2428499 0 0 0 106430 1604 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1080.34 Current children cumulated vsize (Kb) 10656 [startup+1090.64 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10824 CPUtime=1090.35 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2439430 0 0 0 107424 1611 0 0 25 0 1 0 194594726 11083776 2004 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159494729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2706 2004 435 55 0 1598 0 Current children cumulated CPU time (s) 1090.35 Current children cumulated vsize (Kb) 10824 [startup+1100.64 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1100.35 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2448894 0 0 0 108418 1617 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1100.35 Current children cumulated vsize (Kb) 10656 [startup+1110.65 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1110.36 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2457992 0 0 0 109413 1623 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1110.36 Current children cumulated vsize (Kb) 10656 [startup+1120.65 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1120.36 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2467212 0 0 0 110407 1629 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158438218 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1120.36 Current children cumulated vsize (Kb) 10656 [startup+1130.66 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1130.36 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2476559 0 0 0 111401 1635 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1130.36 Current children cumulated vsize (Kb) 10656 [startup+1140.67 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1140.37 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2486115 0 0 0 112395 1642 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160343856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1140.37 Current children cumulated vsize (Kb) 10656 [startup+1150.67 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1150.37 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2497279 0 0 0 113388 1649 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160210722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1150.37 Current children cumulated vsize (Kb) 10656 [startup+1160.68 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691672/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1160.37 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2508384 0 0 0 114381 1656 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1160.37 Current children cumulated vsize (Kb) 10656 [startup+1170.68 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691672/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10824 CPUtime=1170.37 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2518510 0 0 0 115375 1662 0 0 25 0 1 0 194594726 11083776 2000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2706 2000 435 55 0 1598 0 Current children cumulated CPU time (s) 1170.37 Current children cumulated vsize (Kb) 10824 [startup+1180.69 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691672/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1180.38 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2528917 0 0 0 116369 1669 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1180.38 Current children cumulated vsize (Kb) 10656 [startup+1190.7 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10824 CPUtime=1190.38 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2539129 0 0 0 117362 1676 0 0 25 0 1 0 194594726 11083776 1999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347458 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2706 1999 436 55 0 1598 0 Current children cumulated CPU time (s) 1190.38 Current children cumulated vsize (Kb) 10824 [startup+1200.7 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1200.38 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2551441 0 0 0 118354 1684 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1200.38 Current children cumulated vsize (Kb) 10656 [startup+1210.71 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1210.38 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2564420 0 0 0 119344 1694 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159300802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1210.38 Current children cumulated vsize (Kb) 10656 [startup+1220.71 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1220.39 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2576391 0 0 0 120337 1702 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1220.39 Current children cumulated vsize (Kb) 10656 [startup+1230.72 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1230.4 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2591151 0 0 0 121326 1714 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1230.4 Current children cumulated vsize (Kb) 10656 [startup+1240.72 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1240.4 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2603689 0 0 0 122315 1725 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158438410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1240.4 Current children cumulated vsize (Kb) 10656 [startup+1250.73 s] /proc/loadavg: 1.00 0.99 0.91 2/64 11960 /proc/meminfo: memFree=1691608/2055920 swapFree=4180884/4192956 [pid=11960] ppid=11958 vsize=10656 CPUtime=1250.4 /proc/11960/stat : 11960 (bsolo) R 11958 11960 11914 0 -1 0 2617542 0 0 0 123303 1737 0 0 25 0 1 0 194594726 10911744 1995 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11960/statm: 2664 1995 435 55 0 1556 0 Current children cumulated CPU time (s) 1250.4 Current children cumulated vsize (Kb) 10656 Child status: 30 Real time (s): 1255.85 CPU time (s): 1255.53 CPU user time (s): 1238.1 CPU system time (s): 17.4293 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (Kb): 11132
Begin job on node39 on Fri Jun 2 23:01:24 UTC 2006 FILE ID= 40473-1149289284 PBS_JOBID= 306762 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40473-1149289284/instance-40473-1149289284.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-40473-1149289284 -o ROOT/results/node39/solver-40473-1149289284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40473-1149289284/instance-40473-1149289284.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7 RANDOM SEED= 73187311 /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 : 5931.00 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: 1698192 kB Buffers: 24352 kB Cached: 263524 kB SwapCached: 3912 kB Active: 50692 kB Inactive: 246016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1698192 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 236 kB Writeback: 0 kB Mapped: 14836 kB Slab: 47088 kB Committed_AS: 310080 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Fri Jun 2 23:22:20 UTC 2006