Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 5 | 1800.01 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb |
MD5SUM | 7acfcd4d612717a490c27c9a55b3f455 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.535917 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 411 |
Total number of constraints | 477 |
Number of constraints which are clauses | 387 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
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 | 411 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1129 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1129 |
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 411 variables and 477 constraints. 0.03 c Switching on LPR. 0.03 c preprocess terminated. Elapsed time: 0.016 0.03 c After prepocess the problem consists of 409 variables and 475 constraints. 0.09 c Initial Lower Bound: 0 1.08 o 134 1.08 c NEW SOLUTION FOUND: 134 @ 1.065 1.08 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 o 133 1.09 c NEW SOLUTION FOUND: 133 @ 1.069 1.09 o 132 1.09 c NEW SOLUTION FOUND: 132 @ 1.074 1.09 c Sol. found (all assignments made)... 1.09 o 130 1.09 c NEW SOLUTION FOUND: 130 @ 1.076 1.10 o 129 1.10 c NEW SOLUTION FOUND: 129 @ 1.08 1.11 o 127 1.11 c NEW SOLUTION FOUND: 127 @ 1.089 1.11 o 126 1.11 c NEW SOLUTION FOUND: 126 @ 1.09 1.12 o 125 1.12 c NEW SOLUTION FOUND: 125 @ 1.099 1.12 o 124 1.12 c NEW SOLUTION FOUND: 124 @ 1.1 1.12 o 123 1.12 c NEW SOLUTION FOUND: 123 @ 1.105 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.18 o 121 1.18 c NEW SOLUTION FOUND: 121 @ 1.161 1.19 o 120 1.19 c NEW SOLUTION FOUND: 120 @ 1.169 1.25 o 119 1.25 c NEW SOLUTION FOUND: 119 @ 1.233 1.26 o 118 1.26 c NEW SOLUTION FOUND: 118 @ 1.24 1.29 o 116 1.29 c NEW SOLUTION FOUND: 116 @ 1.271 1.31 o 115 1.31 c NEW SOLUTION FOUND: 115 @ 1.293 1.34 o 113 1.34 c NEW SOLUTION FOUND: 113 @ 1.318 1.36 o 112 1.36 c NEW SOLUTION FOUND: 112 @ 1.344 1.42 o 111 1.42 c NEW SOLUTION FOUND: 111 @ 1.405 1.46 o 110 1.46 c NEW SOLUTION FOUND: 110 @ 1.439 1.53 o 109 1.53 c NEW SOLUTION FOUND: 109 @ 1.51 1.77 c Sol. found (all assignments made)... 1.77 o 108 1.77 c NEW SOLUTION FOUND: 108 @ 1.751 1.81 c Sol. found (all assignments made)... 1.81 o 107 1.81 c NEW SOLUTION FOUND: 107 @ 1.798 1.90 c Sol. found (all assignments made)... 1.90 o 106 1.90 c NEW SOLUTION FOUND: 106 @ 1.887 2.03 c Sol. found (all assignments made)... 2.03 o 105 2.03 c NEW SOLUTION FOUND: 105 @ 2.013 2.10 c Sol. found (all assignments made)... 2.10 c Sol. found (all assignments made)... 2.10 o 104 2.10 c NEW SOLUTION FOUND: 104 @ 2.082 2.13 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.16 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.22 o 103 2.22 c NEW SOLUTION FOUND: 103 @ 2.203 2.22 c Sol. found (all assignments made)... 2.24 c Sol. found (all assignments made)... 2.29 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.37 c Sol. found (all assignments made)... 2.50 c Restart #1 #Var: 409 LB: 0 @ 2.486 4.00 o 53 4.00 c NEW SOLUTION FOUND: 53 @ 3.979 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 o 52 4.00 c NEW SOLUTION FOUND: 52 @ 3.98 4.00 o 46 4.00 c NEW SOLUTION FOUND: 46 @ 3.983 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 o 43 4.00 c NEW SOLUTION FOUND: 43 @ 3.988 4.01 o 42 4.01 c NEW SOLUTION FOUND: 42 @ 3.996 4.01 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.03 c Sol. found (all assignments made)... 4.04 c Sol. found (all assignments made)... 4.04 o 39 4.04 c NEW SOLUTION FOUND: 39 @ 4.019 4.04 o 38 4.04 c NEW SOLUTION FOUND: 38 @ 4.023 4.05 c Sol. found (all assignments made)... 4.05 o 37 4.05 c NEW SOLUTION FOUND: 37 @ 4.036 4.07 o 35 4.07 c NEW SOLUTION FOUND: 35 @ 4.048 4.08 c Sol. found (all assignments made)... 4.08 o 32 4.08 c NEW SOLUTION FOUND: 32 @ 4.059 4.08 o 29 4.08 c NEW SOLUTION FOUND: 29 @ 4.066 4.10 c Sol. found (all assignments made)... 4.18 c Sol. found (all assignments made)... 4.18 o 27 4.18 c NEW SOLUTION FOUND: 27 @ 4.163 4.20 o 26 4.20 c NEW SOLUTION FOUND: 26 @ 4.18 4.20 c Sol. found (all assignments made)... 4.27 o 25 4.27 c NEW SOLUTION FOUND: 25 @ 4.251 4.83 c Restart #2 #Var: 409 LB: 0 @ 4.813 6.96 c Restart #3 #Var: 409 LB: 0 @ 6.942 10.20 c Restart #4 #Var: 409 LB: 0 @ 10.179 11.93 o 24 11.93 c NEW SOLUTION FOUND: 24 @ 11.906 12.17 o 23 12.17 c NEW SOLUTION FOUND: 23 @ 12.148 12.49 o 22 12.49 c NEW SOLUTION FOUND: 22 @ 12.463 12.81 o 21 12.81 c NEW SOLUTION FOUND: 21 @ 12.786 13.17 o 20 13.17 c NEW SOLUTION FOUND: 20 @ 13.141 13.30 o 19 13.30 c NEW SOLUTION FOUND: 19 @ 13.28 13.68 o 18 13.68 c NEW SOLUTION FOUND: 18 @ 13.658 14.04 o 17 14.04 c NEW SOLUTION FOUND: 17 @ 14.014 14.40 o 16 14.40 c NEW SOLUTION FOUND: 16 @ 14.377 14.86 o 15 14.86 c NEW SOLUTION FOUND: 15 @ 14.837 17.35 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.38 o 14 17.38 c NEW SOLUTION FOUND: 14 @ 17.351 18.27 o 13 18.27 c NEW SOLUTION FOUND: 13 @ 18.244 22.37 c Restart #5 #Var: 409 LB: 0 @ 22.344 23.50 o 12 23.50 c NEW SOLUTION FOUND: 12 @ 23.473 23.54 o 11 23.54 c NEW SOLUTION FOUND: 11 @ 23.509 23.99 o 10 23.99 c NEW SOLUTION FOUND: 10 @ 23.96 24.08 o 9 24.08 c NEW SOLUTION FOUND: 9 @ 24.05 29.55 c Restart #6 #Var: 409 LB: 0 @ 29.52 39.67 c Restart #7 #Var: 409 LB: 0 @ 39.637 46.24 c Restart #8 #Var: 409 LB: 0 @ 46.199 53.14 c Restart #9 #Var: 409 LB: 0 @ 53.099 64.83 c Restart #10 #Var: 409 LB: 0 @ 64.784 72.80 c Restart #11 #Var: 409 LB: 0 @ 72.754 85.85 c Restart #12 #Var: 409 LB: 0 @ 85.801 96.19 c Restart #13 #Var: 409 LB: 0 @ 96.131 105.98 c Restart #14 #Var: 409 LB: 0 @ 105.92 116.23 c Restart #15 #Var: 409 LB: 0 @ 116.17 134.48 c Restart #16 #Var: 409 LB: 0 @ 134.4 149.76 c Restart #17 #Var: 409 LB: 0 @ 149.68 166.77 c Restart #18 #Var: 409 LB: 0 @ 166.69 184.45 c Restart #19 #Var: 409 LB: 0 @ 184.36 220.06 c Restart #20 #Var: 409 LB: 0 @ 219.96 234.59 c Restart #21 #Var: 409 LB: 0 @ 234.48 261.73 c Restart #22 #Var: 409 LB: 0 @ 261.61 271.72 o 8 271.72 c NEW SOLUTION FOUND: 8 @ 271.59 290.67 c Restart #23 #Var: 409 LB: 0 @ 290.54 317.18 c Restart #24 #Var: 409 LB: 0 @ 317.05 352.66 c Restart #25 #Var: 409 LB: 0 @ 352.51 355.13 o 7 355.13 c NEW SOLUTION FOUND: 7 @ 354.98 371.12 c Restart #26 #Var: 409 LB: 0 @ 370.97 397.73 c Restart #27 #Var: 409 LB: 0 @ 397.56 428.97 c Restart #28 #Var: 409 LB: 0 @ 428.79 459.47 c Restart #29 #Var: 409 LB: 0 @ 459.28 481.47 c Restart #30 #Var: 409 LB: 0 @ 481.27 527.18 c Restart #31 #Var: 409 LB: 0 @ 526.96 554.34 c Restart #32 #Var: 409 LB: 0 @ 554.11 593.11 c Restart #33 #Var: 409 LB: 0 @ 592.87 613.28 c Restart #34 #Var: 409 LB: 0 @ 613.03 648.69 c Restart #35 #Var: 409 LB: 0 @ 648.43 661.78 c Sol. found (all assignments made)... 661.79 c Sol. found (all assignments made)... 661.79 c Sol. found (all assignments made)... 662.05 c Sol. found (all assignments made)... 662.22 c Sol. found (all assignments made)... 662.22 c Sol. found (all assignments made)... 662.22 c Sol. found (all assignments made)... 662.26 c Sol. found (all assignments made)... 662.27 c Sol. found (all assignments made)... 662.28 c Sol. found (all assignments made)... 662.29 c Sol. found (all assignments made)... 662.29 c Sol. found (all assignments made)... 662.29 c Sol. found (all assignments made)... 662.30 c Sol. found (all assignments made)... 662.30 c Sol. found (all assignments made)... 662.33 c Sol. found (all assignments made)... 662.35 c Sol. found (all assignments made)... 662.35 c Sol. found (all assignments made)... 662.36 c Sol. found (all assignments made)... 662.36 c Sol. found (all assignments made)... 662.37 c Sol. found (all assignments made)... 662.37 c Sol. found (all assignments made)... 662.38 c Sol. found (all assignments made)... 664.13 c Sol. found (all assignments made)... 664.13 c Sol. found (all assignments made)... 664.18 c Sol. found (all assignments made)... 664.31 c Sol. found (all assignments made)... 664.31 c Sol. found (all assignments made)... 664.32 c Sol. found (all assignments made)... 664.60 c Sol. found (all assignments made)... 664.61 c Sol. found (all assignments made)... 664.61 c Sol. found (all assignments made)... 664.69 c Sol. found (all assignments made)... 664.69 c Sol. found (all assignments made)... 664.70 c Sol. found (all assignments made)... 664.92 c Sol. found (all assignments made)... 664.93 c Sol. found (all assignments made)... 664.93 c Sol. found (all assignments made)... 664.99 c Sol. found (all assignments made)... 665.00 c Sol. found (all assignments made)... 665.00 c Sol. found (all assignments made)... 665.35 c Sol. found (all assignments made)... 665.36 c Sol. found (all assignments made)... 665.36 c Sol. found (all assignments made)... 665.42 c Sol. found (all assignments made)... 665.43 c Sol. found (all assignments made)... 665.44 c Sol. found (all assignments made)... 665.57 c Sol. found (all assignments made)... 665.72 c Sol. found (all assignments made)... 665.72 c Sol. found (all assignments made)... 665.73 c Sol. found (all assignments made)... 665.79 c Sol. found (all assignments made)... 665.80 c Sol. found (all assignments made)... 665.80 c Sol. found (all assignments made)... 666.03 c Sol. found (all assignments made)... 666.03 c Sol. found (all assignments made)... 666.04 c Sol. found (all assignments made)... 666.04 c Sol. found (all assignments made)... 666.05 c Sol. found (all assignments made)... 666.05 c Sol. found (all assignments made)... 666.06 c Sol. found (all assignments made)... 666.08 c Sol. found (all assignments made)... 666.40 c Sol. found (all assignments made)... 666.41 c Sol. found (all assignments made)... 666.42 c Sol. found (all assignments made)... 666.61 c Sol. found (all assignments made)... 666.62 c Sol. found (all assignments made)... 666.63 c Sol. found (all assignments made)... 666.77 c Sol. found (all assignments made)... 666.77 c Sol. found (all assignments made)... 666.79 c Sol. found (all assignments made)... 666.92 c Sol. found (all assignments made)... 666.92 c Sol. found (all assignments made)... 666.93 c Sol. found (all assignments made)... 667.95 c Restart #36 #Var: 409 LB: 0 @ 667.68 705.80 c Restart #37 #Var: 409 LB: 0 @ 705.52 750.83 c Restart #38 #Var: 409 LB: 0 @ 750.53 764.17 c Sol. found (all assignments made)... 764.17 o 6 764.17 c NEW SOLUTION FOUND: 6 @ 763.87 789.42 c Restart #39 #Var: 409 LB: 0 @ 789.11 832.55 c Restart #40 #Var: 409 LB: 0 @ 832.22 895.33 c Restart #41 #Var: 409 LB: 0 @ 894.97 953.61 c Restart #42 #Var: 409 LB: 0 @ 953.23 999.54 c Restart #43 #Var: 409 LB: 0 @ 999.15 1038.09 c Restart #44 #Var: 409 LB: 0 @ 1037.7 1082.33 c Restart #45 #Var: 409 LB: 0 @ 1081.9 1118.50 c Restart #46 #Var: 409 LB: 0 @ 1118.1 1184.69 c Restart #47 #Var: 409 LB: 0 @ 1184.2 1231.74 c Restart #48 #Var: 409 LB: 0 @ 1231.3 1272.66 c Restart #49 #Var: 409 LB: 0 @ 1272.2 1317.12 c Restart #50 #Var: 409 LB: 0 @ 1316.6 1324.80 c Sol. found (all assignments made)... 1324.95 c Sol. found (all assignments made)... 1325.99 c Sol. found (all assignments made)... 1326.53 c Sol. found (all assignments made)... 1326.59 c Sol. found (all assignments made)... 1326.84 c Sol. found (all assignments made)... 1354.01 c Restart #51 #Var: 409 LB: 0 @ 1353.5 1400.61 c Restart #52 #Var: 409 LB: 0 @ 1400.1 1443.12 c Restart #53 #Var: 409 LB: 0 @ 1442.6 1505.62 c Restart #54 #Var: 409 LB: 0 @ 1505 1566.80 c Restart #55 #Var: 409 LB: 0 @ 1566.2 1638.69 c Restart #56 #Var: 409 LB: 0 @ 1638.1 1740.21 c Restart #57 #Var: 409 LB: 0 @ 1739.5 1785.34 o 5 1785.34 c NEW SOLUTION FOUND: 5 @ 1784.7 1785.34 c Sol. found (all assignments made)... 1800.70 s SATISFIABLE 1800.70 c Cost: 5 1800.70 v x295 x231 -x206 -x191 x139 x294 x211 -x192 -x143 x359 -x302 -x279 x235 x210 -x196 -x296 x233 -x195 x358 -x297 x213 -x193 -x119 1800.70 v x362 -x298 x234 x214 -x194 -x180 -x83 x238 -x217 -x179 x164 -x118 -x82 x363 -x215 -x122 x84 -x216 -x181 x163 x85 x184 x168 -x123 1800.70 v x86 -x305 x275 x230 -x190 x138 -x306 -x205 -x189 -x142 -x385 -x301 x278 x236 -x207 -x200 x212 x360 -x313 -x299 x239 x209 -x37 1800.70 v x364 -x317 x237 -x218 -x175 -x174 -x120 -x124 -x366 -x182 x165 x89 -x367 x183 x167 x90 -x381 -x303 x274 x228 -x203 x140 -x354 1800.70 v x232 -x204 x144 -x384 -x353 x280 x229 -x199 -x33 x240 -x208 -x114 x361 -x312 -x300 -x226 -x197 -x146 -x113 -x36 x365 -x316 1800.70 v x222 -x159 -x147 -x369 -x283 x221 -x158 -x121 x88 -x368 x176 -x125 x87 -x342 x177 x166 -x126 -x71 x178 x169 -x127 -x75 -x380 1800.70 v -x304 x276 -x201 x141 x227 x145 x397 -x386 x281 -x248 -x223 x149 -x32 -x401 -x355 x244 -x225 x148 x356 -x314 x284 x243 -x198 1800.70 v -x38 -x8 x357 -x318 -x282 -x115 -x12 -x389 x373 -x338 x219 -x116 -x101 -x160 -x117 -x341 -x320 -x220 x187 -x161 -x131 x70 -x41 1800.70 v -x321 x188 x162 -x74 -x382 -x272 -x245 -x202 x137 x28 -x308 x277 -x247 -x224 x136 x396 -x387 -x307 x273 x153 -x34 -x400 x285 1800.70 v -x390 x376 x315 -x241 -x97 -x39 -x7 -x388 x377 x319 -x11 x372 -x337 x323 -x242 -x186 -x134 -x100 -x42 -x322 x185 -x135 -x40 1800.70 v x370 -x343 -x255 -x172 -x130 x72 -x259 -x173 x76 x379 -x265 -x246 -x156 -x383 -x271 x157 x27 x398 -x375 -x293 -x152 x29 -x402 1800.70 v x391 x374 -x309 x289 -x35 -x333 -x310 -x288 -x150 -x133 x96 x31 -x9 x311 -x132 -x66 -x43 -x13 -x404 x339 x327 -x171 -x102 -x65 1800.70 v -x405 -x170 x371 x344 -x254 -x128 x73 -x61 -x15 -x258 x77 -x16 -x290 -x264 -x154 x378 -x292 -x3 x399 -x92 -x2 -x403 x395 x30 1800.70 v -x407 -x394 -x330 -x286 -x151 x98 x51 x10 -x406 -x332 -x331 -x47 x14 -x334 -x326 -x287 -x103 -x57 -x46 -x18 x340 x67 -x17 x336 1800.70 v -x324 -x256 -x129 x104 x68 -x60 x345 -x260 x105 x69 -x291 -x266 -x155 -x329 x48 -x328 x91 x50 -x4 x411 -x392 -x268 x93 -x5 x250 1800.70 v x99 x6 -x393 x249 x95 -x56 -x44 x22 x335 x106 x352 -x325 x257 -x80 -x62 -x45 x348 x261 -x81 x49 x269 -x267 x410 -x54 -x25 x94 -x26 1800.70 v x408 -x349 x112 -x79 -x58 x21 -x351 x251 x109 -x78 x252 x107 -x63 x19 x346 x253 x270 -x24 -x23 x111 -x350 x110 -x53 -x409 -x52 1800.70 v -x59 x263 x108 -x55 x20 -x347 x262 -x64 x1 1800.70 c Exit Code: 10 1800.70 c Total time: 1800 s
OK 5
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/node91/watcher-40474-1149289310 -o ROOT/results/node91/solver-40474-1149289310 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40474-1149289310/instance-40474-1149289310.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/68 31669 /proc/meminfo: memFree=1418544/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=4672 CPUtime=0 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 163 0 0 0 0 0 0 0 18 0 1 0 194569967 4784128 145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1252673 0 0 4096 0 0 0 0 17 1 0 0 /proc/31669/statm: 1168 147 109 55 0 46 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.90 2/68 31669 /proc/meminfo: memFree=1415160/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=7508 CPUtime=9.97 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 28546 0 2 0 976 21 0 0 25 0 1 0 194569967 7688192 1169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 1834 1158 430 55 0 725 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 7508 [startup+20.008 s] /proc/loadavg: 0.94 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1415032/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=7340 CPUtime=19.97 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 45326 0 2 0 1964 33 0 0 25 0 1 0 194569967 7516160 1161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 1835 1161 432 55 0 726 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 7340 [startup+30.0139 s] /proc/loadavg: 0.95 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1415032/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=7636 CPUtime=29.97 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 57961 0 2 0 2955 42 0 0 25 0 1 0 194569967 7819264 1174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 1909 1174 432 55 0 800 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 7636 [startup+40.0199 s] /proc/loadavg: 0.95 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1415032/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=7340 CPUtime=39.97 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 68256 0 2 0 3948 49 0 0 25 0 1 0 194569967 7516160 1161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 1835 1161 432 55 0 726 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 7340 [startup+50.0269 s] /proc/loadavg: 0.96 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1414712/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=7980 CPUtime=49.97 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 87585 0 2 0 4935 62 0 0 25 0 1 0 194569967 8171520 1254 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 1995 1254 432 55 0 886 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 7980 [startup+60.0328 s] /proc/loadavg: 0.97 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1414392/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8264 CPUtime=59.98 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 112845 0 2 0 5921 77 0 0 25 0 1 0 194569967 8462336 1325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497335 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2066 1326 432 55 0 957 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 8264 [startup+70.0388 s] /proc/loadavg: 0.97 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1414328/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8040 CPUtime=69.98 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 142556 0 2 0 6903 95 0 0 25 0 1 0 194569967 8232960 1336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2010 1336 432 55 0 901 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 8040 [startup+80.0457 s] /proc/loadavg: 0.98 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1414264/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8368 CPUtime=79.98 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 164246 0 2 0 7889 109 0 0 25 0 1 0 194569967 8568832 1352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343053 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2092 1352 432 55 0 983 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 8368 [startup+90.0517 s] /proc/loadavg: 0.98 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1414328/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8368 CPUtime=89.99 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 188891 0 2 0 8872 127 0 0 25 0 1 0 194569967 8568832 1351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159477374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2092 1351 432 55 0 983 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 8368 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1414328/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8076 CPUtime=99.99 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 215868 0 2 0 9854 145 0 0 25 0 1 0 194569967 8269824 1345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2019 1345 432 55 0 910 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 8076 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/68 31669 /proc/meminfo: memFree=1414264/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8368 CPUtime=109.99 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 244005 0 2 0 10837 162 0 0 25 0 1 0 194569967 8568832 1349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1749341 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2092 1352 432 55 0 983 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 8368 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414008/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8304 CPUtime=120 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 274120 0 2 0 11821 179 0 0 25 0 1 0 194569967 8503296 1402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2076 1402 432 55 0 967 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 8304 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414008/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8596 CPUtime=129.99 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 294248 0 2 0 12807 192 0 0 25 0 1 0 194569967 8802304 1409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160430604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2149 1409 432 55 0 1040 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 8596 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414008/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8304 CPUtime=140 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 314528 0 2 0 13796 204 0 0 25 0 1 0 194569967 8503296 1402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1745589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2076 1402 432 55 0 967 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 8304 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414008/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8596 CPUtime=150 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 342227 0 2 0 14775 225 0 0 25 0 1 0 194569967 8802304 1415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159351890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2149 1415 432 55 0 1040 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 8596 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414008/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8304 CPUtime=160 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 362725 0 2 0 15761 239 0 0 25 0 1 0 194569967 8503296 1402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1712798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2076 1402 432 55 0 967 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 8304 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414008/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8304 CPUtime=170.01 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 387110 0 2 0 16748 253 0 0 25 0 1 0 194569967 8503296 1402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2076 1402 432 55 0 967 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 8304 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414008/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8304 CPUtime=180.01 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 413504 0 2 0 17732 269 0 0 25 0 1 0 194569967 8503296 1402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2076 1402 432 55 0 967 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 8304 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414072/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8304 CPUtime=190.01 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 434370 0 2 0 18720 281 0 0 25 0 1 0 194569967 8503296 1402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2076 1402 432 55 0 967 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 8304 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414072/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=8596 CPUtime=200.02 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 450853 0 2 0 19711 291 0 0 25 0 1 0 194569967 8802304 1410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159168804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2149 1410 432 55 0 1040 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 8596 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1414072/2055892 swapFree=4085380/4096564 ################ # More data... # ################ /proc/31669/statm: 2816 2077 440 55 0 1707 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 11264 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1770.36 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5346020 0 2 0 174134 2902 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1721725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1770.36 Current children cumulated vsize (Kb) 10904 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=11264 CPUtime=1780.36 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5393491 0 2 0 175114 2922 0 0 25 0 1 0 194569967 11534336 2075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2816 2075 440 55 0 1707 0 Current children cumulated CPU time (s) 1780.36 Current children cumulated vsize (Kb) 11264 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1781.38 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5397252 0 2 0 175214 2924 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1724565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 10904 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1782.38 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5401005 0 2 0 175312 2926 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1721725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 10904 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1783.38 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5404619 0 2 0 175410 2928 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 10904 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1784.38 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5408659 0 2 0 175508 2930 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 10904 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1785.39 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5412601 0 2 0 175607 2932 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 10904 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1786.4 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5416042 0 2 0 175706 2934 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1718348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 10904 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1787.4 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5420022 0 2 0 175803 2937 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 10904 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1788.4 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5422845 0 2 0 175903 2937 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 10904 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1789.41 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5427219 0 2 0 176002 2939 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 10904 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=11264 CPUtime=1790.42 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5431413 0 2 0 176101 2941 0 0 25 0 1 0 194569967 11534336 2082 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160232957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2816 2082 440 55 0 1707 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 11264 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=11264 CPUtime=1791.41 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5433644 0 2 0 176200 2941 0 0 25 0 1 0 194569967 11534336 2083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159552399 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2816 2083 440 55 0 1707 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 11264 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=11264 CPUtime=1792.42 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5435972 0 2 0 176300 2942 0 0 25 0 1 0 194569967 11534336 2081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160045726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2816 2081 440 55 0 1707 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 11264 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=11264 CPUtime=1793.42 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5438187 0 2 0 176399 2943 0 0 25 0 1 0 194569967 11534336 2080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159243033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2816 2080 440 55 0 1707 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 11264 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1794.43 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5440777 0 2 0 176499 2944 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 10904 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1795.43 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5443460 0 2 0 176597 2946 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 10904 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1796.44 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5445976 0 2 0 176697 2947 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535862 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 10904 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1797.44 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5449313 0 2 0 176795 2949 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 10904 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1798.44 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5452361 0 2 0 176893 2951 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 10904 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 31669 /proc/meminfo: memFree=1411384/2055892 swapFree=4085380/4096564 [pid=31669] ppid=31667 vsize=10904 CPUtime=1799.45 /proc/31669/stat : 31669 (bsolo) R 31667 31669 31623 0 -1 0 5456016 0 2 0 176992 2953 0 0 25 0 1 0 194569967 11165696 2060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159249528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31669/statm: 2726 2060 440 55 0 1617 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 10904 Child status: 10 Real time (s): 1800.7 CPU time (s): 1800.01 CPU user time (s): 1770.45 CPU system time (s): 29.5505 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (Kb): 11264
Begin job on node91 on Fri Jun 2 23:01:50 UTC 2006 FILE ID= 40474-1149289310 PBS_JOBID= 306768 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:98.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40474-1149289310/instance-40474-1149289310.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-40474-1149289310 -o ROOT/results/node91/solver-40474-1149289310 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/40474-1149289310/instance-40474-1149289310.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7acfcd4d612717a490c27c9a55b3f455 RANDOM SEED= 465095969 /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.279 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 : 6006.18 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.279 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 : 5999.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1418752 kB Buffers: 39332 kB Cached: 522304 kB SwapCached: 2968 kB Active: 100500 kB Inactive: 470368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1418752 kB SwapTotal: 4096564 kB SwapFree: 4085380 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16608 kB Slab: 52808 kB Committed_AS: 378112 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node91 on Fri Jun 2 23:31:51 UTC 2006