Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 44712 | 1800.05 | 1800.7 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | fbf213ed65afe4e66abc3948eb02a29f |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21166 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 556 variables and 180 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.012 0.02 c After prepocess the problem consists of 556 variables and 180 constraints. 0.02 c Initial Lower Bound: 0 0.05 c Restart #1 #Var: 556 LB: 0 @ 0.035 0.09 c Restart #2 #Var: 556 LB: 0 @ 0.074 0.14 c Restart #3 #Var: 556 LB: 0 @ 0.131 0.23 c Restart #4 #Var: 556 LB: 0 @ 0.221 0.33 c Restart #5 #Var: 556 LB: 0 @ 0.32 0.48 c Restart #6 #Var: 556 LB: 0 @ 0.463 0.63 c Restart #7 #Var: 556 LB: 0 @ 0.618 0.90 c Restart #8 #Var: 556 LB: 0 @ 0.887 1.10 c Restart #9 #Var: 556 LB: 0 @ 1.091 1.51 c Restart #10 #Var: 556 LB: 0 @ 1.501 1.79 c Restart #11 #Var: 556 LB: 0 @ 1.774 2.20 c Restart #12 #Var: 556 LB: 0 @ 2.189 2.48 c Restart #13 #Var: 556 LB: 0 @ 2.464 2.96 c Restart #14 #Var: 556 LB: 0 @ 2.944 3.77 c Restart #15 #Var: 556 LB: 0 @ 3.755 4.72 c Restart #16 #Var: 556 LB: 0 @ 4.706 5.41 c Restart #17 #Var: 556 LB: 0 @ 5.394 5.94 c Restart #18 #Var: 556 LB: 0 @ 5.922 6.53 c Restart #19 #Var: 556 LB: 0 @ 6.509 7.41 c Restart #20 #Var: 556 LB: 0 @ 7.395 7.66 c Sol. found (all assignments made)... 7.66 o 369550 7.66 c NEW SOLUTION FOUND: 369550 @ 7.645 7.66 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.66 o 367624 7.66 c NEW SOLUTION FOUND: 367624 @ 7.645 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 o 365698 7.67 c NEW SOLUTION FOUND: 365698 @ 7.65 8.42 c Restart #21 #Var: 556 LB: 0 @ 8.397 9.29 c Restart #22 #Var: 556 LB: 0 @ 9.268 10.18 c Restart #23 #Var: 556 LB: 0 @ 10.163 10.90 c Restart #24 #Var: 556 LB: 0 @ 10.882 12.69 c CHANGE to LPR mode... UB: 365698 MIS: 0 LPR: 13790 (0.0099) Diff: 0 12.69 c Restart #0 #Var: 556 LB: 0 @ 12.662 14.42 o 207891 14.42 c NEW SOLUTION FOUND: 207891 @ 14.399 14.43 o 200701 14.43 c NEW SOLUTION FOUND: 200701 @ 14.402 14.43 o 200046 14.43 c NEW SOLUTION FOUND: 200046 @ 14.405 14.44 o 197601 14.44 c NEW SOLUTION FOUND: 197601 @ 14.419 14.45 o 196451 14.45 c NEW SOLUTION FOUND: 196451 @ 14.422 14.52 o 193351 14.52 c NEW SOLUTION FOUND: 193351 @ 14.499 14.54 o 190746 14.54 c NEW SOLUTION FOUND: 190746 @ 14.513 14.55 o 190251 14.55 c NEW SOLUTION FOUND: 190251 @ 14.521 14.60 o 187646 14.60 c NEW SOLUTION FOUND: 187646 @ 14.579 14.62 o 187151 14.62 c NEW SOLUTION FOUND: 187151 @ 14.59 14.68 o 185880 14.68 c NEW SOLUTION FOUND: 185880 @ 14.657 14.70 o 185720 14.70 c NEW SOLUTION FOUND: 185720 @ 14.673 14.70 o 185225 14.70 c NEW SOLUTION FOUND: 185225 @ 14.674 14.79 o 182028 14.79 c NEW SOLUTION FOUND: 182028 @ 14.762 14.79 o 181533 14.79 c NEW SOLUTION FOUND: 181533 @ 14.764 14.81 o 181373 14.81 c NEW SOLUTION FOUND: 181373 @ 14.784 14.90 o 180102 14.90 c NEW SOLUTION FOUND: 180102 @ 14.873 14.90 o 179607 14.90 c NEW SOLUTION FOUND: 179607 @ 14.874 14.92 o 179447 14.92 c NEW SOLUTION FOUND: 179447 @ 14.897 14.95 o 177521 14.95 c NEW SOLUTION FOUND: 177521 @ 14.925 15.20 o 173829 15.20 c NEW SOLUTION FOUND: 173829 @ 15.178 15.24 o 173669 15.24 c NEW SOLUTION FOUND: 173669 @ 15.213 15.46 o 171903 15.46 c NEW SOLUTION FOUND: 171903 @ 15.433 15.49 o 171743 15.49 c NEW SOLUTION FOUND: 171743 @ 15.465 16.37 c Restart #1 #Var: 556 LB: 13790 @ 16.343 16.53 o 80139 16.53 c NEW SOLUTION FOUND: 80139 @ 16.509 16.54 o 77869 16.54 c NEW SOLUTION FOUND: 77869 @ 16.516 16.63 o 77709 16.63 c NEW SOLUTION FOUND: 77709 @ 16.603 16.71 o 77454 16.71 c NEW SOLUTION FOUND: 77454 @ 16.685 18.04 o 77277 18.04 c NEW SOLUTION FOUND: 77277 @ 18.009 18.04 o 71907 18.04 c NEW SOLUTION FOUND: 71907 @ 18.015 18.05 o 69222 18.05 c NEW SOLUTION FOUND: 69222 @ 18.02 21.04 c Restart #2 #Var: 556 LB: 13790 @ 21.014 25.91 c Restart #3 #Var: 556 LB: 13790 @ 25.885 28.70 o 68818 28.70 c NEW SOLUTION FOUND: 68818 @ 28.667 32.38 c Restart #4 #Var: 556 LB: 13790 @ 32.354 34.38 o 68366 34.38 c NEW SOLUTION FOUND: 68366 @ 34.344 38.53 o 67738 38.53 c NEW SOLUTION FOUND: 67738 @ 38.495 40.87 o 67559 40.87 c NEW SOLUTION FOUND: 67559 @ 40.833 43.78 o 66585 43.78 c NEW SOLUTION FOUND: 66585 @ 43.743 44.86 o 65755 44.86 c NEW SOLUTION FOUND: 65755 @ 44.827 47.99 o 65576 47.99 c NEW SOLUTION FOUND: 65576 @ 47.953 49.62 o 65542 49.62 c NEW SOLUTION FOUND: 65542 @ 49.587 49.87 o 65127 49.87 c NEW SOLUTION FOUND: 65127 @ 49.835 52.64 o 64948 52.64 c NEW SOLUTION FOUND: 64948 @ 52.603 54.16 o 64772 54.16 c NEW SOLUTION FOUND: 64772 @ 54.121 58.28 o 64357 58.28 c NEW SOLUTION FOUND: 64357 @ 58.237 62.89 c Restart #5 #Var: 556 LB: 13790 @ 62.848 68.73 c Restart #6 #Var: 556 LB: 13790 @ 68.688 79.22 c Restart #7 #Var: 556 LB: 13790 @ 79.17 88.06 c Restart #8 #Var: 556 LB: 13790 @ 88.013 103.74 c Restart #9 #Var: 556 LB: 13790 @ 103.69 120.41 c Restart #10 #Var: 556 LB: 13790 @ 120.35 121.99 o 64210 121.99 c NEW SOLUTION FOUND: 64210 @ 121.92 124.14 o 64031 124.14 c NEW SOLUTION FOUND: 64031 @ 124.08 139.77 o 63635 139.77 c NEW SOLUTION FOUND: 63635 @ 139.7 143.63 o 62775 143.63 c NEW SOLUTION FOUND: 62775 @ 143.56 143.64 o 62280 143.64 c NEW SOLUTION FOUND: 62280 @ 143.57 143.70 o 60919 143.70 c NEW SOLUTION FOUND: 60919 @ 143.63 143.72 o 60089 143.72 c NEW SOLUTION FOUND: 60089 @ 143.65 147.41 o 59929 147.41 c NEW SOLUTION FOUND: 59929 @ 147.34 149.37 o 58809 149.37 c NEW SOLUTION FOUND: 58809 @ 149.3 149.38 o 58314 149.38 c NEW SOLUTION FOUND: 58314 @ 149.31 154.81 o 57957 154.81 c NEW SOLUTION FOUND: 57957 @ 154.74 154.81 o 57462 154.81 c NEW SOLUTION FOUND: 57462 @ 154.74 154.92 o 57365 154.92 c NEW SOLUTION FOUND: 57365 @ 154.85 156.87 o 56950 156.87 c NEW SOLUTION FOUND: 56950 @ 156.79 158.44 o 56085 158.44 c NEW SOLUTION FOUND: 56085 @ 158.37 158.45 o 55590 158.45 c NEW SOLUTION FOUND: 55590 @ 158.38 162.00 o 55460 162.00 c NEW SOLUTION FOUND: 55460 @ 161.92 162.01 o 54965 162.01 c NEW SOLUTION FOUND: 54965 @ 161.94 171.30 o 54232 171.30 c NEW SOLUTION FOUND: 54232 @ 171.22 171.33 o 53242 171.33 c NEW SOLUTION FOUND: 53242 @ 171.25 171.34 o 52412 171.34 c NEW SOLUTION FOUND: 52412 @ 171.26 172.72 o 51997 172.72 c NEW SOLUTION FOUND: 51997 @ 172.65 173.11 o 51132 173.11 c NEW SOLUTION FOUND: 51132 @ 173.04 173.13 o 50637 173.13 c NEW SOLUTION FOUND: 50637 @ 173.05 176.17 o 50222 176.17 c NEW SOLUTION FOUND: 50222 @ 176.09 183.26 o 49312 183.26 c NEW SOLUTION FOUND: 49312 @ 183.18 184.27 o 48897 184.27 c NEW SOLUTION FOUND: 48897 @ 184.19 184.63 o 48032 184.63 c NEW SOLUTION FOUND: 48032 @ 184.55 184.70 o 47537 184.70 c NEW SOLUTION FOUND: 47537 @ 184.62 186.51 o 47407 186.51 c NEW SOLUTION FOUND: 47407 @ 186.43 186.61 o 46912 186.61 c NEW SOLUTION FOUND: 46912 @ 186.53 207.12 o 46733 207.12 c NEW SOLUTION FOUND: 46733 @ 207.03 268.95 c Restart #11 #Var: 556 LB: 13790 @ 268.82 297.61 c Restart #12 #Var: 556 LB: 13790 @ 297.48 361.26 c Restart #13 #Var: 556 LB: 13790 @ 361.11 381.95 o 46627 381.95 c NEW SOLUTION FOUND: 46627 @ 381.78 405.75 c Restart #14 #Var: 556 LB: 13791 @ 405.58 477.47 o 46609 477.47 c NEW SOLUTION FOUND: 46609 @ 477.27 505.53 o 46251 505.53 c NEW SOLUTION FOUND: 46251 @ 505.32 513.03 o 46194 513.03 c NEW SOLUTION FOUND: 46194 @ 512.82 560.20 o 46072 560.20 c NEW SOLUTION FOUND: 46072 @ 559.97 560.24 o 46069 560.24 c NEW SOLUTION FOUND: 46069 @ 560.02 560.28 o 45444 560.28 c NEW SOLUTION FOUND: 45444 @ 560.05 570.42 o 45265 570.42 c NEW SOLUTION FOUND: 45265 @ 570.19 610.90 c Restart #15 #Var: 556 LB: 13791 @ 610.66 673.92 c Restart #16 #Var: 556 LB: 13791 @ 673.65 698.65 c Sol. found (all assignments made)... 700.96 c Sol. found (all assignments made)... 701.50 c Restart #17 #Var: 556 LB: 13791 @ 701.23 745.83 c Restart #18 #Var: 556 LB: 13791 @ 745.54 838.09 c Restart #19 #Var: 556 LB: 13791 @ 837.77 910.55 c Restart #20 #Var: 556 LB: 13791 @ 910.21 988.41 c Restart #21 #Var: 556 LB: 13791 @ 988.04 1059.96 c Restart #22 #Var: 556 LB: 13791 @ 1059.6 1195.75 c Restart #23 #Var: 556 LB: 13797 @ 1195.3 1317.35 c Restart #24 #Var: 556 LB: 13797 @ 1316.9 1419.45 c Restart #25 #Var: 556 LB: 13797 @ 1418.9 1437.11 o 44712 1437.11 c NEW SOLUTION FOUND: 44712 @ 1436.6 1545.47 c Restart #26 #Var: 556 LB: 13797 @ 1544.9 1800.66 s SATISFIABLE 1800.66 c Cost: 44712 1800.66 v -x1 -x2 -x3 -x4 -x49 -x50 -x51 -x52 -x97 -x98 -x99 -x100 -x145 -x146 -x147 -x148 -x279 -x280 -x281 -x282 -x327 -x328 -x329 -x330 1800.66 v -x375 -x376 -x377 -x378 -x423 -x424 -x425 -x426 -x5 -x6 -x7 -x8 -x53 -x54 -x55 -x56 -x101 -x102 -x103 -x104 -x149 -x150 -x151 1800.66 v -x152 -x193 -x194 -x195 -x196 -x236 -x237 -x238 -x239 -x283 -x284 -x285 -x286 -x331 -x332 -x333 -x334 -x379 -x380 -x381 -x382 1800.66 v -x427 -x428 -x429 -x430 -x471 -x472 -x473 -x474 -x514 -x515 -x516 -x517 -x9 -x10 -x11 -x12 -x57 -x58 -x59 -x60 -x105 -x106 1800.66 v -x107 -x108 -x153 -x154 -x155 -x156 -x197 -x198 -x199 -x200 -x240 -x241 -x242 -x243 -x287 -x288 -x289 -x290 -x335 -x336 -x337 1800.66 v -x338 -x383 -x384 -x385 -x386 -x431 -x432 -x433 -x434 -x475 -x476 -x477 -x478 -x518 -x519 -x520 -x521 -x13 -x61 -x109 -x157 1800.66 v -x201 -x244 -x291 -x339 -x387 -x435 -x479 -x522 -x14 -x15 -x16 -x62 -x63 -x64 -x110 -x111 -x112 -x158 -x159 -x160 -x202 -x203 1800.66 v -x204 -x245 -x246 -x247 -x292 -x293 -x294 -x340 -x341 -x342 -x388 -x389 -x390 -x436 -x437 -x438 -x480 -x481 -x482 -x523 -x524 1800.66 v -x525 -x17 -x18 -x19 -x20 -x65 -x66 -x67 -x68 x113 -x114 -x115 -x116 -x161 -x162 x163 -x164 -x205 -x206 -x207 -x208 -x248 -x249 1800.66 v -x250 -x251 -x295 -x296 -x297 -x298 -x343 -x344 -x345 -x346 -x391 -x392 -x393 -x394 -x439 -x440 -x441 -x442 -x483 -x484 -x485 1800.66 v -x486 -x526 -x527 -x528 -x529 -x209 -x210 -x211 -x252 -x253 -x254 -x487 -x488 -x489 -x530 -x531 -x532 -x21 -x22 -x23 -x24 1800.66 v -x69 -x70 -x71 -x72 -x117 -x118 x119 -x120 -x165 -x166 -x167 -x168 -x299 -x300 -x301 -x302 -x347 -x348 -x349 -x350 -x395 -x396 1800.66 v -x397 -x398 -x443 -x444 -x445 -x446 -x25 -x26 -x27 -x73 -x74 -x75 -x121 -x122 -x123 -x169 -x170 -x171 -x212 -x213 -x214 -x255 1800.66 v -x256 x257 -x303 -x304 -x305 -x351 -x352 -x353 x399 -x400 -x401 -x447 -x448 -x449 -x490 -x491 -x492 -x533 -x534 -x535 -x28 1800.66 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.66 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 1800.66 v -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 1800.66 v -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 1800.66 v x228 -x229 -x230 -x231 -x232 -x233 -x234 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 1800.66 v -x272 -x273 -x274 -x275 -x276 -x277 -x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.66 v -x321 -x322 -x323 -x324 -x325 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 1800.66 v -x370 -x371 -x372 -x373 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1800.66 v -x419 -x420 -x421 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 1800.66 v -x468 -x469 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510 -x511 1800.66 v -x512 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1800.66 v -x48 -x96 -x144 -x192 -x235 -x278 -x326 x374 -x422 -x470 -x513 -x556 1800.66 c Exit Code: 10 1800.66 c Total time: 1800 s
OK 44712
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/node44/watcher-39776-1149245805 -o ROOT/results/node44/solver-39776-1149245805 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39776-1149245805/instance-39776-1149245805.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 12422 /proc/meminfo: memFree=1348176/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=4664 CPUtime=0 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 139 0 0 0 0 0 0 0 18 0 1 0 190247316 4775936 120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11244736 0 0 4096 0 0 0 0 17 1 0 0 /proc/12422/statm: 1166 123 103 55 0 46 0 [startup+10.003 s] /proc/loadavg: 0.93 0.95 0.90 2/64 12422 /proc/meminfo: memFree=1319128/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=33456 CPUtime=9.98 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 7633 0 0 0 991 7 0 0 25 0 1 0 190247316 34258944 7548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 8364 7548 297 55 0 7256 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 33456 [startup+20.0098 s] /proc/loadavg: 0.94 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1311192/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=40884 CPUtime=19.98 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 18752 0 2 0 1977 21 0 0 25 0 1 0 190247316 41865216 9524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 10221 9524 428 55 0 9113 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 40884 [startup+30.0167 s] /proc/loadavg: 0.95 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1309080/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=42992 CPUtime=29.98 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 44077 0 2 0 2950 48 0 0 25 0 1 0 190247316 44023808 10050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 10748 10050 428 55 0 9640 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 42992 [startup+40.0225 s] /proc/loadavg: 0.95 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1306392/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=45668 CPUtime=39.98 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 66327 0 2 0 3925 73 0 0 25 0 1 0 190247316 46764032 10712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 11417 10712 428 55 0 10309 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 45668 [startup+50.0294 s] /proc/loadavg: 0.96 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1303704/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=48372 CPUtime=49.98 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 84550 0 2 0 4904 94 0 0 25 0 1 0 190247316 49532928 11396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 12093 11396 428 55 0 10985 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 48372 [startup+60.0352 s] /proc/loadavg: 0.97 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1301592/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=50612 CPUtime=59.98 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 102091 0 2 0 5881 117 0 0 25 0 1 0 190247316 51826688 11922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159473525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 12625 11921 428 55 0 11517 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 50612 [startup+70.041 s] /proc/loadavg: 0.97 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1298904/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=53164 CPUtime=69.99 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 119896 0 2 0 6858 141 0 0 25 0 1 0 190247316 54439936 12587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 13291 12587 428 55 0 12183 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 53164 [startup+80.0469 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1296408/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=55652 CPUtime=80 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 136538 0 2 0 7843 157 0 0 25 0 1 0 190247316 56987648 13216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134683336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 13913 13216 428 55 0 12805 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 55652 [startup+90.0527 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1294296/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=57652 CPUtime=90 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 148195 0 2 0 8829 171 0 0 25 0 1 0 190247316 59035648 13714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 14413 13714 428 55 0 13305 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 57652 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1292056/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=60012 CPUtime=100 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 157968 0 2 0 9814 186 0 0 25 0 1 0 190247316 61452288 14304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 15003 14304 428 55 0 13895 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 60012 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 12422 /proc/meminfo: memFree=1290200/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=61908 CPUtime=110 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 173935 0 2 0 10798 202 0 0 25 0 1 0 190247316 63393792 14775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 15477 14775 428 55 0 14369 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 61908 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1288792/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=63276 CPUtime=120 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 185177 0 2 0 11783 217 0 0 25 0 1 0 190247316 64794624 15119 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 15819 15119 428 55 0 14711 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 63276 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1287384/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=64628 CPUtime=130.01 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 193373 0 2 0 12770 231 0 0 25 0 1 0 190247316 66179072 15458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 16157 15458 428 55 0 15049 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 64628 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1286488/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=65580 CPUtime=140.01 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 206354 0 2 0 13749 252 0 0 25 0 1 0 190247316 67153920 15684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 16395 15684 428 55 0 15287 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 65580 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1285272/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=66744 CPUtime=150.01 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 221269 0 2 0 14730 271 0 0 25 0 1 0 190247316 68345856 15987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 16686 15987 428 55 0 15578 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 66744 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1284440/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=67728 CPUtime=160.01 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 234435 0 2 0 15714 287 0 0 25 0 1 0 190247316 69353472 16195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 16932 16196 428 55 0 15824 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 67728 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1283800/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=68264 CPUtime=170.02 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 244381 0 2 0 16700 302 0 0 25 0 1 0 190247316 69902336 16362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 17066 16362 428 55 0 15958 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 68264 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1282968/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=69092 CPUtime=180.02 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 256915 0 2 0 17684 318 0 0 25 0 1 0 190247316 70750208 16573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 17273 16573 428 55 0 16165 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 69092 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1282264/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=69780 CPUtime=190.02 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 267852 0 2 0 18669 333 0 0 25 0 1 0 190247316 71454720 16745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 17445 16745 428 55 0 16337 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 69780 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1281688/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=70332 CPUtime=200.02 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 278122 0 2 0 19657 345 0 0 25 0 1 0 190247316 72019968 16880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 17583 16880 428 55 0 16475 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 70332 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12422 /proc/meminfo: memFree=1281112/2055920 swapFree=4181400/4192956 ################ # More data... # ################ /proc/12422/statm: 49256 48538 431 55 0 48148 0 Current children cumulated CPU time (s) 1760.41 Current children cumulated vsize (Kb) 197024 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197440 CPUtime=1770.41 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1240132 0 2 0 175477 1564 0 0 25 0 1 0 190247316 202178560 48642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49360 48642 431 55 0 48252 0 Current children cumulated CPU time (s) 1770.41 Current children cumulated vsize (Kb) 197440 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1780.42 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1241781 0 2 0 176474 1568 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1780.42 Current children cumulated vsize (Kb) 197428 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1781.42 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1241904 0 2 0 176574 1568 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 197428 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1782.43 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242024 0 2 0 176674 1569 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 197428 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1783.43 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242144 0 2 0 176774 1569 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 197428 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1784.43 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242291 0 2 0 176874 1569 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 197428 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1785.44 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242392 0 2 0 176974 1570 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 197428 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1786.44 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242520 0 2 0 177074 1570 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 197428 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1787.45 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1242658 0 2 0 177174 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 197428 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1788.45 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243000 0 2 0 177274 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 197428 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1789.46 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243128 0 2 0 177375 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 197428 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1790.46 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243308 0 2 0 177475 1571 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 197428 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1791.47 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243657 0 2 0 177575 1572 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 197428 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1792.47 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243791 0 2 0 177675 1572 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 197428 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1793.48 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1243930 0 2 0 177775 1573 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 197428 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1794.48 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244306 0 2 0 177875 1573 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 197428 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1795.49 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244441 0 2 0 177975 1574 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 197428 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1796.49 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244695 0 2 0 178075 1574 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 197428 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1797.5 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1244835 0 2 0 178175 1575 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158589737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 197428 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153944/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197484 CPUtime=1798.5 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1245181 0 2 0 178275 1575 0 0 25 0 1 0 190247316 202223616 48640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49371 48640 431 55 0 48263 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 197484 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12617 /proc/meminfo: memFree=1153880/2055920 swapFree=4181400/4192956 [pid=12422] ppid=12420 vsize=197428 CPUtime=1799.5 /proc/12422/stat : 12422 (bsolo) R 12420 12422 12376 0 -1 0 1245455 0 2 0 178375 1575 0 0 25 0 1 0 190247316 202166272 48639 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 49357 48639 431 55 0 48249 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 197428 Child status: 10 Real time (s): 1800.7 CPU time (s): 1800.05 CPU user time (s): 1784.26 CPU system time (s): 15.7916 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (Kb): 197484
Begin job on node44 on Fri Jun 2 10:56:45 UTC 2006 FILE ID= 39776-1149245805 PBS_JOBID= 297731 BENCH NAME= ROOT/tmp/node44/39776-1149245805/instance-39776-1149245805.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39776-1149245805/instance-39776-1149245805.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-39776-1149245805 -o ROOT/results/node44/solver-39776-1149245805 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39776-1149245805/instance-39776-1149245805.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED= 909928425 /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.261 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.261 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: 1348384 kB Buffers: 25024 kB Cached: 610688 kB SwapCached: 3488 kB Active: 67440 kB Inactive: 577264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1348384 kB SwapTotal: 4192956 kB SwapFree: 4181400 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14948 kB Slab: 48828 kB Committed_AS: 230920 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Fri Jun 2 11:26:46 UTC 2006