Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 4363 | 1800.02 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
MD5SUM | ed36462db2ffa04ea65b986069441496 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2642 |
Best CPU time to get the best result obtained on this benchmark | 0.062989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2642 |
Optimality of the best value was proved | YES |
Number of variables | 907 |
Total number of constraints | 403 |
Number of constraints which are clauses | 126 |
Number of constraints which are cardinality constraints (but not clauses) | 277 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 134 |
Number of terms in the objective function | 748 |
Biggest coefficient in the objective function | 240 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 33855 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 240 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 33855 |
Number of bits of the biggest sum of numbers | 16 |
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.09 c INFO: OSL Context initialized. 0.11 c Initial problem consists of 907 variables and 663 constraints. 0.11 c No problem reductions applied in OPT. instance. 0.11 c preprocess terminated. Elapsed time: 0.028 0.11 c After prepocess the problem consists of 899 variables and 655 constraints. 0.11 c Initial Lower Bound: -175 0.13 c Restart #1 #Var: 899 LB: -175 @ 0.048 0.17 c Restart #2 #Var: 899 LB: -175 @ 0.085 0.17 c Sol. found (all assignments made)... 0.17 o 10624 0.17 c NEW SOLUTION FOUND: 10624 @ 0.087 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.20 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.22 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.25 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Restart #3 #Var: 899 LB: -175 @ 0.196 0.28 c Sol. found (all assignments made)... 0.28 o 6371 0.28 c NEW SOLUTION FOUND: 6371 @ 0.198 0.29 c Sol. found (all assignments made)... 0.29 o 6270 0.29 c NEW SOLUTION FOUND: 6270 @ 0.199 0.29 c Sol. found (all assignments made)... 0.29 o 6169 0.29 c NEW SOLUTION FOUND: 6169 @ 0.199 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 6069 0.29 c NEW SOLUTION FOUND: 6069 @ 0.2 0.29 c Sol. found (all assignments made)... 0.29 o 5970 0.29 c NEW SOLUTION FOUND: 5970 @ 0.201 0.29 c Sol. found (all assignments made)... 0.29 o 5969 0.29 c NEW SOLUTION FOUND: 5969 @ 0.201 0.29 c Sol. found (all assignments made)... 0.29 o 5869 0.29 c NEW SOLUTION FOUND: 5869 @ 0.202 0.29 c Sol. found (all assignments made)... 0.29 o 5868 0.29 c NEW SOLUTION FOUND: 5868 @ 0.203 0.29 c Sol. found (all assignments made)... 0.29 o 5767 0.29 c NEW SOLUTION FOUND: 5767 @ 0.206 0.30 c Sol. found (all assignments made)... 0.30 o 5668 0.30 c NEW SOLUTION FOUND: 5668 @ 0.21 0.30 c Sol. found (all assignments made)... 0.30 o 5667 0.30 c NEW SOLUTION FOUND: 5667 @ 0.211 0.33 c Sol. found (all assignments made)... 0.33 o 5568 0.33 c NEW SOLUTION FOUND: 5568 @ 0.244 0.33 c Sol. found (all assignments made)... 0.33 o 5567 0.33 c NEW SOLUTION FOUND: 5567 @ 0.245 0.36 c Sol. found (all assignments made)... 0.36 o 5467 0.36 c NEW SOLUTION FOUND: 5467 @ 0.278 0.47 c Sol. found (all assignments made)... 0.47 o 5367 0.47 c NEW SOLUTION FOUND: 5367 @ 0.377 0.47 c Sol. found (all assignments made)... 0.47 o 5366 0.47 c NEW SOLUTION FOUND: 5366 @ 0.378 0.58 c Restart #4 #Var: 899 LB: -175 @ 0.488 0.72 c Restart #5 #Var: 899 LB: -175 @ 0.633 0.91 c Restart #6 #Var: 899 LB: -175 @ 0.819 0.91 c Sol. found (all assignments made)... 0.91 o 4959 0.91 c NEW SOLUTION FOUND: 4959 @ 0.821 1.10 c Restart #7 #Var: 899 LB: -175 @ 1.006 1.32 c Restart #8 #Var: 899 LB: -175 @ 1.226 1.57 c Restart #9 #Var: 899 LB: -175 @ 1.476 1.57 c Sol. found (all assignments made)... 1.57 o 4757 1.57 c NEW SOLUTION FOUND: 4757 @ 1.479 1.83 c Restart #10 #Var: 899 LB: -175 @ 1.735 2.12 c Restart #11 #Var: 899 LB: -175 @ 2.031 2.45 c Restart #12 #Var: 899 LB: -175 @ 2.356 2.79 c Restart #13 #Var: 899 LB: -175 @ 2.699 3.21 c CHANGE to LPR mode... UB: 4757 MIS: 32 LPR: 133 (0.036) Diff: 0.2406 3.21 c Restart #0 #Var: 899 LB: -175 @ 3.116 12.75 c Restart #1 #Var: 899 LB: 133 @ 12.65 19.70 c Restart #2 #Var: 899 LB: 133 @ 19.599 26.45 c Restart #3 #Var: 899 LB: 133 @ 26.352 36.01 c Restart #4 #Var: 899 LB: 133 @ 35.903 46.73 c Restart #5 #Var: 899 LB: 133 @ 46.625 62.05 c Restart #6 #Var: 899 LB: 133 @ 61.942 64.91 o 4363 64.91 c NEW SOLUTION FOUND: 4363 @ 64.798 74.99 c Restart #7 #Var: 899 LB: 133 @ 74.874 89.97 c Restart #8 #Var: 899 LB: 133 @ 89.85 109.46 c Restart #9 #Var: 899 LB: 133 @ 109.34 129.02 c Restart #10 #Var: 899 LB: 133 @ 128.88 146.93 c Restart #11 #Var: 899 LB: 133 @ 146.79 171.38 c Restart #12 #Var: 899 LB: 133 @ 171.23 206.87 c Restart #13 #Var: 899 LB: 133 @ 206.71 232.85 c Restart #14 #Var: 899 LB: 133 @ 232.69 263.06 c Restart #15 #Var: 899 LB: 133 @ 262.88 291.36 c Restart #16 #Var: 899 LB: 133 @ 291.18 324.29 c Restart #17 #Var: 899 LB: 133 @ 324.1 368.23 c Restart #18 #Var: 899 LB: 133 @ 368.03 406.29 c Restart #19 #Var: 899 LB: 133 @ 406.07 451.00 c Restart #20 #Var: 899 LB: 133 @ 450.77 495.04 c Restart #21 #Var: 899 LB: 133 @ 494.79 537.85 c Restart #22 #Var: 899 LB: 133 @ 537.59 578.93 c Restart #23 #Var: 899 LB: 133 @ 578.66 627.51 c Restart #24 #Var: 899 LB: 133 @ 627.22 675.31 c Restart #25 #Var: 899 LB: 133 @ 675.01 738.15 c Restart #26 #Var: 899 LB: 133 @ 737.83 794.17 c Restart #27 #Var: 899 LB: 133 @ 793.83 851.85 c Restart #28 #Var: 899 LB: 133 @ 851.49 909.69 c Restart #29 #Var: 899 LB: 133 @ 909.31 971.40 c Restart #30 #Var: 899 LB: 133 @ 971.01 1022.80 c Restart #31 #Var: 899 LB: 133 @ 1022.4 1101.43 c Restart #32 #Var: 899 LB: 133 @ 1101 1168.03 c Restart #33 #Var: 899 LB: 133 @ 1167.6 1231.80 c Restart #34 #Var: 899 LB: 133 @ 1231.3 1277.02 c Restart #35 #Var: 899 LB: 133 @ 1276.5 1336.95 c Restart #36 #Var: 899 LB: 133 @ 1336.4 1402.11 c Restart #37 #Var: 899 LB: 133 @ 1401.6 1480.54 c Restart #38 #Var: 899 LB: 133 @ 1480 1539.63 c Restart #39 #Var: 899 LB: 133 @ 1539.1 1625.02 c Restart #40 #Var: 899 LB: 133 @ 1624.4 1696.63 c Restart #41 #Var: 899 LB: 133 @ 1696 1758.21 c Restart #42 #Var: 899 LB: 133 @ 1757.6 1800.68 s SATISFIABLE 1800.68 c Cost: 4363 1800.68 v -x2 -x128 -x506 x641 -x775 -x5 x257 -x509 x6 -x132 -x258 -x384 -x510 -x7 x133 -x259 x511 -x8 -x134 -x513 -x9 -x135 -x514 x389 1800.68 v -x517 -x12 -x138 -x518 -x13 -x139 -x519 -x15 x393 -x521 -x16 -x142 x268 -x522 -x17 x395 -x523 -x18 -x144 -x524 -x19 x397 -x525 1800.68 v -x20 -x526 x660 -x21 -x147 -x527 -x22 x274 -x528 -x23 -x529 x663 -x24 -x150 x530 -x25 -x151 x531 -x26 -x152 x404 x532 -x27 x153 1800.68 v x533 -x28 x154 x534 -x29 x407 x535 -x30 x408 x536 -x31 x157 x537 -x32 x158 x538 -x33 x159 -x673 x807 -x34 -x160 x286 x540 -x35 1800.68 v x161 x541 -x288 x414 -x37 x163 x543 -x38 x164 x544 -x39 x165 x545 -x40 -x546 -x680 x814 -x41 x167 x547 -x42 x420 x548 -x43 x169 1800.68 v x549 -x44 x422 x550 -x45 x171 x551 x552 -x46 x172 x553 -x687 -x47 x173 x554 -x48 -x174 x426 x555 -x49 x175 -x427 x556 -x50 x176 1800.68 v x557 -x429 -x52 x178 x559 -x53 x179 x560 -x432 -x695 x829 -x55 x181 -x433 x562 -x56 x434 x563 -x57 x309 -x564 -x698 x832 -x58 1800.68 v x436 x565 -x59 x437 x566 x567 -x60 x186 x568 x569 -x61 -x570 -x704 x838 -x62 x188 -x571 x63 -x315 -x441 -x572 -x706 x840 x64 1800.68 v -x190 -x573 x65 -x317 -x574 x66 -x318 -x575 x67 -x319 -x576 x68 -x194 -x577 x711 x69 -x195 -x321 -x578 -x712 x846 x70 -x196 1800.68 v -x448 -x579 x71 -x197 -x580 x72 -x581 x715 x73 -x199 -x582 x74 -x583 x75 -x201 -x584 x76 -x202 -x585 x77 -x203 -x586 -x79 -x205 1800.68 v -x331 x457 x588 x80 -x458 -x589 x723 -x590 -x82 -x208 -x334 x460 x591 x83 -x335 -x592 -x84 x336 -x462 x593 -x727 -x728 x862 1800.68 v x86 -x212 -x595 x729 -x863 x87 -x213 -x465 -x596 x88 -x214 -x597 -x731 x865 x89 -x215 -x598 x90 -x468 -x599 x733 x91 -x217 -x469 1800.68 v -x600 -x601 x93 -x219 -x603 x94 -x220 -x604 x95 -x221 -x605 -x739 x873 x97 -x223 -x607 -x350 x476 x742 x99 -x225 -x609 -x100 1800.68 v x352 -x478 -x610 -x744 x878 x227 -x745 x879 x228 -x746 x880 -x103 -x229 -x355 x481 x613 -x104 -x230 -x356 x482 x614 x105 -x615 1800.68 v x749 -x106 -x232 -x358 x484 x616 x107 -x617 x108 -x234 -x486 -x618 -x109 x235 x619 -x110 x236 -x620 x754 -x111 x237 -x363 -x489 1800.68 v -x621 -x755 x889 x757 -x891 -x114 x366 x624 x241 -x116 x242 -x494 -x626 x760 -x117 x243 x627 -x628 x762 -x896 -x118 x496 x629 1800.68 v -x119 x371 -x631 x765 -x899 -x120 -x632 x766 -x900 -x121 x247 -x633 x767 -x901 -x122 x374 x634 -x123 -x375 x501 -x635 -x124 1800.68 v -x636 x904 -x125 -x377 x503 -x637 -x771 x905 -x772 x906 -x127 -x639 x773 -x3 -x129 -x507 -x4 -x508 -x642 -x131 x643 -x777 x644 1800.68 v -x778 -x385 -x645 -x779 -x646 -x780 -x260 -x647 x781 x261 -x387 x648 -x782 -x262 -x388 -x137 -x390 x265 -x391 -x653 x787 x655 1800.68 v -x789 x656 -x790 -x143 -x657 x791 -x270 x658 -x792 -x271 x659 -x793 -x146 -x272 x273 -x399 -x661 x795 -x148 -x400 x662 -x796 1800.68 v -x149 -x401 -x276 -x664 -x798 x277 -x403 -x665 -x799 -x278 -x666 -x800 -x279 -x405 -x667 -x801 -x280 -x406 -x668 -x802 -x155 1800.68 v -x281 -x669 -x803 -x156 -x282 -x670 -x804 -x284 -x410 -x672 -x806 -x412 -x287 -x413 -x675 -x809 x676 -x810 -x290 -x416 -x678 1800.68 v -x812 -x291 -x417 -x679 -x813 -x166 x292 -x418 -x293 -x681 -x815 -x295 -x421 -x683 -x817 -x170 -x684 -x818 -x297 -x423 -x685 1800.68 v -x819 -x686 -x820 -x298 -x424 -x821 -x300 -x689 -x823 -x301 -x690 -x824 -x302 -x428 -x691 -x825 x51 -x177 -x303 -x558 x692 1800.68 v -x826 -x304 -x430 -x693 -x827 -x305 -x431 -x694 -x828 x54 -x180 -x306 -x561 -x307 -x696 -x830 -x182 -x697 -x831 -x183 -x435 1800.68 v -x184 -x310 -x699 -x833 -x185 -x311 -x701 -x835 -x312 -x438 -x702 -x836 -x703 -x837 -x187 x313 -x439 -x314 -x440 x705 -x839 1800.68 v -x189 -x316 x707 -x841 -x191 -x443 x708 -x842 -x192 -x444 -x193 -x445 -x710 x844 -x320 -x446 -x845 -x447 -x322 -x847 -x323 1800.68 v -x449 x714 -x848 -x198 -x324 -x450 -x325 -x451 -x716 x850 -x326 -x717 x851 -x327 -x453 -x718 x852 -x328 -x454 -x719 x853 -x329 1800.68 v -x455 -x720 x854 -x722 -x856 -x206 -x332 -x857 -x207 -x725 -x859 -x209 -x461 -x338 -x464 -x339 -x730 x864 -x340 -x466 -x341 1800.68 v -x467 -x732 x866 -x216 -x342 -x867 -x343 -x734 x868 -x218 -x345 x737 -x871 -x346 -x472 -x738 x872 -x347 -x473 -x348 x740 -x874 1800.68 v -x349 -x741 x875 -x351 -x477 -x743 x877 -x226 -x353 -x479 -x354 -x480 -x747 -x881 -x748 -x882 -x750 -x884 -x485 -x751 x885 1800.68 v -x360 -x361 -x487 -x753 -x887 -x362 -x488 -x888 x756 -x890 -x239 -x491 -x492 -x758 -x892 -x115 -x367 -x493 -x625 -x368 -x894 1800.68 v -x369 -x495 -x761 -x895 -x244 -x370 -x763 -x897 -x246 -x498 -x373 -x499 -x248 -x500 -x768 -x902 -x376 -x502 -x126 -x638 x253 1800.68 v -x379 -x505 -x907 x1 -x10 -x11 -x14 -x36 -x78 -x81 -x85 -x92 -x96 -x98 -x101 -x102 -x112 -x113 -x130 x136 -x140 -x141 -x145 1800.68 v -x162 -x168 -x200 -x204 -x210 -x211 -x222 -x224 -x231 -x233 -x238 -x240 -x245 -x249 x250 -x251 -x252 -x254 x255 -x256 -x263 1800.68 v x264 x266 -x267 -x269 x275 -x283 -x285 -x289 -x294 -x296 -x299 -x308 -x330 x333 x337 -x344 -x357 -x359 -x364 x365 x372 -x378 1800.68 v x380 -x381 x382 -x383 x386 -x392 -x394 x396 x398 x402 -x409 -x411 -x415 -x419 -x425 -x442 -x452 x456 -x459 -x463 x470 -x471 1800.68 v x474 -x475 -x483 x490 -x497 x504 x512 -x515 -x516 -x520 -x539 -x542 x587 -x594 -x602 -x606 -x608 -x611 -x612 -x622 -x623 -x630 1800.68 v x640 x649 -x650 -x651 x652 -x654 -x671 -x674 -x677 -x682 -x688 -x700 x709 x713 -x721 -x724 -x726 -x735 x736 x752 x759 -x764 1800.68 v -x769 -x770 -x774 x776 -x783 x784 x785 -x786 x788 -x794 -x797 -x805 -x808 -x811 -x816 -x822 -x834 -x843 -x849 -x855 x858 x860 1800.68 v -x861 x869 -x870 -x876 -x883 -x886 -x893 x898 x903 1800.68 c Exit Code: 10 1800.68 c Total time: 1800 s
OK 4363
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/node10/watcher-40479-1149291063 -o ROOT/results/node10/solver-40479-1149291063 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node10/40479-1149291063/instance-40479-1149291063.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1641440/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=3436 CPUtime=0 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 65 0 0 0 0 0 0 0 18 0 1 0 194768714 3518464 47 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 1 0 0 /proc/22967/statm: 1156 50 37 55 0 42 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637488/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8128 CPUtime=9.89 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 18845 0 0 0 980 9 0 0 25 0 1 0 194768714 8323072 1353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2032 1353 424 55 0 924 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 8128 [startup+20.0086 s] /proc/loadavg: 0.94 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637488/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8188 CPUtime=19.9 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 35435 0 0 0 1972 18 0 0 25 0 1 0 194768714 8384512 1369 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159298993 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2047 1369 425 55 0 939 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 8188 [startup+30.015 s] /proc/loadavg: 0.95 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637488/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8260 CPUtime=29.91 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 55254 0 0 0 2961 30 0 0 25 0 1 0 194768714 8458240 1388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9372636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2065 1388 426 55 0 957 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 8260 [startup+40.0214 s] /proc/loadavg: 0.96 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637552/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8376 CPUtime=39.91 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 67612 0 0 0 3953 38 0 0 25 0 1 0 194768714 8577024 1415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2094 1415 426 55 0 986 0 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 8376 [startup+50.0277 s] /proc/loadavg: 0.96 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637296/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8496 CPUtime=49.91 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 91291 0 0 0 4939 52 0 0 25 0 1 0 194768714 8699904 1447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2124 1447 426 55 0 1016 0 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 8496 [startup+60.0341 s] /proc/loadavg: 0.97 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637296/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8496 CPUtime=59.92 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 100443 0 0 0 5934 58 0 0 25 0 1 0 194768714 8699904 1447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2124 1447 426 55 0 1016 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 8496 [startup+70.0405 s] /proc/loadavg: 0.97 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637296/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8556 CPUtime=69.92 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 119490 0 0 0 6924 68 0 0 25 0 1 0 194768714 8761344 1462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158588083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2139 1462 426 55 0 1031 0 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 8556 [startup+80.0468 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637232/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8552 CPUtime=79.92 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 139103 0 0 0 7913 79 0 0 25 0 1 0 194768714 8757248 1461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2138 1461 426 55 0 1030 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 8552 [startup+90.0532 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1637232/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=8552 CPUtime=89.92 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 148098 0 0 0 8908 84 0 0 25 0 1 0 194768714 8757248 1461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2138 1461 426 55 0 1030 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 8552 [startup+100.06 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636784/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9076 CPUtime=99.93 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 163916 0 0 0 9899 94 0 0 25 0 1 0 194768714 9293824 1592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2269 1592 426 55 0 1161 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 9076 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9280 CPUtime=109.93 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 186974 0 0 0 10884 109 0 0 25 0 1 0 194768714 9502720 1643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2320 1643 426 55 0 1212 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 9280 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9280 CPUtime=119.94 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 197110 0 0 0 11878 116 0 0 25 0 1 0 194768714 9502720 1643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2320 1643 426 55 0 1212 0 Current children cumulated CPU time (s) 119.94 Current children cumulated vsize (Kb) 9280 [startup+130.079 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9592 CPUtime=129.94 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 207370 0 0 0 12870 124 0 0 25 0 1 0 194768714 9822208 1690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159496453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2398 1690 426 55 0 1290 0 Current children cumulated CPU time (s) 129.94 Current children cumulated vsize (Kb) 9592 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9280 CPUtime=139.94 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 218059 0 0 0 13864 130 0 0 25 0 1 0 194768714 9502720 1643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535862 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2320 1643 426 55 0 1212 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 9280 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9436 CPUtime=149.94 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 228424 0 0 0 14857 137 0 0 25 0 1 0 194768714 9662464 1647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9371261 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2359 1647 426 55 0 1251 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 9436 [startup+160.098 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9280 CPUtime=159.94 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 237396 0 0 0 15851 143 0 0 25 0 1 0 194768714 9502720 1643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2320 1643 426 55 0 1212 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 9280 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9280 CPUtime=169.95 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 246452 0 0 0 16846 149 0 0 25 0 1 0 194768714 9502720 1643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2320 1643 426 55 0 1212 0 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 9280 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9436 CPUtime=179.95 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 256439 0 0 0 17839 156 0 0 25 0 1 0 194768714 9662464 1646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2359 1646 426 55 0 1251 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 9436 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9280 CPUtime=189.96 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 265580 0 0 0 18832 164 0 0 25 0 1 0 194768714 9502720 1643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2320 1643 426 55 0 1212 0 Current children cumulated CPU time (s) 189.96 Current children cumulated vsize (Kb) 9280 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9280 CPUtime=199.96 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 274478 0 0 0 19825 171 0 0 25 0 1 0 194768714 9502720 1643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2320 1643 426 55 0 1212 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 9280 [startup+210.129 s] /proc/loadavg: 0.99 0.98 0.94 2/64 22967 /proc/meminfo: memFree=1636528/2055920 swapFree=4181412/4192956 ################ # More data... # ################ /proc/22967/statm: 2394 1682 426 55 0 1286 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 9576 [startup+1771.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1770.45 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2156179 0 0 0 175604 1441 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 9420 [startup+1781.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1780.45 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2164035 0 0 0 176600 1445 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9371261 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 9420 [startup+1782.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9576 CPUtime=1781.46 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2164823 0 0 0 176700 1446 0 0 25 0 1 0 194768714 9805824 1682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159472211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2394 1682 426 55 0 1286 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 9576 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1782.46 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2165611 0 0 0 176800 1446 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158589134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 9420 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9576 CPUtime=1783.47 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2166381 0 0 0 176900 1447 0 0 25 0 1 0 194768714 9805824 1682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9371261 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2394 1682 426 55 0 1286 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 9576 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1784.47 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2167173 0 0 0 177000 1447 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535862 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 9420 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9576 CPUtime=1785.48 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2167969 0 0 0 177100 1448 0 0 25 0 1 0 194768714 9805824 1682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159181938 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2394 1682 426 55 0 1286 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 9576 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1786.48 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2168765 0 0 0 177200 1448 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 9420 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1787.49 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2169565 0 0 0 177300 1449 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 9420 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1788.49 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2170357 0 0 0 177400 1449 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 9420 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1789.49 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2171149 0 0 0 177499 1450 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 9420 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1790.5 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2171945 0 0 0 177599 1451 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2394 1681 426 55 0 1286 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 9420 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1791.51 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2172741 0 0 0 177699 1452 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 9420 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9576 CPUtime=1792.51 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2173545 0 0 0 177799 1452 0 0 25 0 1 0 194768714 9805824 1682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9371261 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2394 1682 426 55 0 1286 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 9576 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1793.51 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2174341 0 0 0 177898 1453 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 9420 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1794.51 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2175141 0 0 0 177998 1453 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 9420 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1795.52 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2175925 0 0 0 178098 1454 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 9420 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 0.95 2/64 22969 /proc/meminfo: memFree=1636080/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9576 CPUtime=1796.53 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2176705 0 0 0 178198 1455 0 0 25 0 1 0 194768714 9805824 1682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159228403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2394 1682 426 55 0 1286 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 9576 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 0.95 2/70 22992 /proc/meminfo: memFree=1635072/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9576 CPUtime=1797.53 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2177497 0 0 0 178297 1456 0 0 25 0 1 0 194768714 9805824 1682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160242624 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22967/statm: 2394 1682 426 55 0 1286 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 9576 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 0.95 2/70 22992 /proc/meminfo: memFree=1635072/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1798.52 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2178277 0 0 0 178396 1456 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 9420 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 0.95 2/70 22992 /proc/meminfo: memFree=1635072/2055920 swapFree=4181412/4192956 [pid=22967] ppid=22965 vsize=9420 CPUtime=1799.54 /proc/22967/stat : 22967 (bsolo) R 22965 22967 22921 0 -1 0 2179069 0 0 0 178497 1457 0 0 25 0 1 0 194768714 9646080 1678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22967/statm: 2355 1678 426 55 0 1247 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 9420 Child status: 10 Real time (s): 1800.69 CPU time (s): 1800.02 CPU user time (s): 1785.44 CPU system time (s): 14.5738 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 9904
Begin job on node10 on Fri Jun 2 23:31:03 UTC 2006 FILE ID= 40479-1149291063 PBS_JOBID= 306843 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node10/40479-1149291063/instance-40479-1149291063.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-40479-1149291063 -o ROOT/results/node10/solver-40479-1149291063 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node10/40479-1149291063/instance-40479-1149291063.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= ed36462db2ffa04ea65b986069441496 RANDOM SEED= 888968112 /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.236 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.236 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: 1641648 kB Buffers: 21444 kB Cached: 330924 kB SwapCached: 3340 kB Active: 50220 kB Inactive: 310964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1641648 kB SwapTotal: 4192956 kB SwapFree: 4181412 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14932 kB Slab: 39144 kB Committed_AS: 296460 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 node10 on Sat Jun 3 00:01:04 UTC 2006