Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb |
MD5SUM | c3974db7e8a7a7dcf1a342d47c14e34f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 376 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 762 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 762 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 762 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 11.8702 |
Number of variables | 762 |
Total number of constraints | 7299 |
Number of constraints which are clauses | 7299 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
LAUNCH ON wulflinc13 THE 2005-09-18 08:28:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=143 boxname=wulflinc13 idbench=143 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: c3974db7e8a7a7dcf1a342d47c14e34f /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b4.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b4.opb IDLAUNCH: 143 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 951468 kB Buffers: 33268 kB Cached: 23688 kB SwapCached: 708 kB Active: 53472 kB Inactive: 6112 kB HighTotal: 131008 kB HighFree: 103712 kB LowTotal: 903652 kB LowFree: 847756 kB SwapTotal: 2097136 kB SwapFree: 2095936 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5740 kB Slab: 18092 kB Committed_AS: 64164 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 08:34:50 (client local time) WITH STATUS 30 IN 401.167 SECONDS stats: 143 0 401.167 30
c INFO: OSL Context initialized. c Initial problem consists of 762 variables and 7299 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 3.036 c After prepocess the problem consists of 762 variables and 7299 constraints. c Initial Lower Bound: 0 c NEW SOLUTION FOUND: 381 @ 8.186 @ #Dec. 809 c NEW SOLUTION FOUND: 380 @ 8.19 @ #Dec. 811 c NEW SOLUTION FOUND: 379 @ 8.208 @ #Dec. 821 c NEW SOLUTION FOUND: 378 @ 8.267 @ #Dec. 853 c NEW SOLUTION FOUND: 377 @ 8.381 @ #Dec. 917 c NEW SOLUTION FOUND: 376 @ 8.567 @ #Dec. 950 c Restart #1 #Var: 762 #Dec: 1250 LB: 0 @ 11.266 c Restart #2 #Var: 760 #Dec: 1784 LB: 1 @ 23.137 c Restart #3 #Var: 759 #Dec: 3075 LB: 1 @ 37.971 c Restart #4 #Var: 756 #Dec: 4205 LB: 2 @ 60.839 c CHANGE to MIS mode... UB: 376 MIS: 227 LPR: 262 (12.921) Diff: 0.86641 c Restart #0 #Var: 749 #Dec: 5616 LB: 5 @ 116.34 c Restart #1 #Var: 747 #Dec: 5829 LB: 224 @ 125.69 c Restart #2 #Var: 747 #Dec: 6471 LB: 238 @ 143.45 c Restart #3 #Var: 743 #Dec: 7135 LB: 233 @ 170.5 c Restart #4 #Var: 740 #Dec: 8018 LB: 237 @ 204.89 c Restart #5 #Var: 737 #Dec: 9142 LB: 241 @ 249.11 c Restart #6 #Var: 723 #Dec: 10464 LB: 232 @ 304.13 c Restart #7 #Var: 677 #Dec: 11991 LB: 226 @ 369.89 s OPTIMUM FOUND v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 -x249 x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 x391 -x392 -x393 x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 x451 -x452 -x453 x454 -x455 x456 x457 -x458 -x459 x460 -x461 -x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 -x493 x494 -x495 x496 x497 -x498 -x499 x500 -x501 x502 x503 -x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 x515 -x516 -x517 x518 x519 -x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x530 -x531 x532 x533 -x534 -x535 x536 -x537 x538 x539 -x540 x541 -x542 -x543 x544 -x545 x546 -x547 x548 -x549 x550 x551 -x552 x553 -x554 -x555 x556 -x557 x558 x559 -x560 -x561 x562 -x563 x564 -x565 x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 -x582 x583 -x584 -x585 x586 -x587 x588 x589 -x590 -x591 x592 -x593 x594 x595 -x596 -x597 x598 -x599 x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 x610 x611 -x612 -x613 x614 -x615 x616 x617 -x618 x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 x628 -x629 x630 -x631 -x632 -x633 x634 x635 -x636 x637 -x638 -x639 x640 -x641 x642 -x643 x644 -x645 x646 x647 -x648 -x649 x650 -x651 x652 x653 -x654 -x655 x656 x657 -x658 -x659 -x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 -x669 x670 x671 -x672 x673 -x674 -x675 x676 -x677 x678 x679 -x680 -x681 x682 -x683 x684 -x685 x686 -x687 x688 x689 -x690 x691 -x692 -x693 x694 -x695 x696 x697 -x698 -x699 x700 -x701 -x702 -x703 x704 x705 -x706 -x707 x708 -x709 x710 x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 x730 x731 -x732 x733 -x734 -x735 x736 -x737 x738 -x739 x740 x741 -x742 -x743 x744 x745 -x746 -x747 x748 -x749 x750 x751 -x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 x761 -x762 c Cost: 376 c Exit Code: 30 c Total time: 401.14 s
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/2066/stat): 2066 (bsolo) T 2065 2066 1333 0 -1 0 25 0 0 0 0 0 0 0 23 0 1 0 1781605949 438272 9 4294967295 134512640 134736556 3221224576 3221223936 1073813229 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/2066/statm): 107 9 90 68 0 39 0 [pid=2066] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b4.opb [startup+10.0037 s] Raw data (loadavg): 0.93 0.95 0.90 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2070 0 0 0 982 7 0 0 25 0 1 0 1781605949 11513856 1981 4294967295 134512640 134736556 3221224576 3221222948 134717407 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 2811 1981 1116 68 0 2743 0 [pid=2066] vsize: 11244 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 11244 [startup+20.0043 s] Raw data (loadavg): 0.94 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2177 0 0 0 1978 8 0 0 25 0 1 0 1781605949 12054528 2088 4294967295 134512640 134736556 3221224576 3221223312 134597464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 2943 2088 1116 68 0 2875 0 [pid=2066] vsize: 11772 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 11772 [startup+30.005 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2296 0 0 0 2972 11 0 0 25 0 1 0 1781605949 12460032 2207 4294967295 134512640 134736556 3221224576 3221223152 134543195 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 3042 2207 1116 68 0 2974 0 [pid=2066] vsize: 12168 Current children cumulated CPU time (s) 29.83 Current children cumulated vsize (Kb) 12168 [startup+40.0056 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2403 0 0 0 3966 14 0 0 25 0 1 0 1781605949 12865536 2314 4294967295 134512640 134736556 3221224576 3221223168 134540186 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 3141 2314 1116 68 0 3073 0 [pid=2066] vsize: 12564 Current children cumulated CPU time (s) 39.8 Current children cumulated vsize (Kb) 12564 [startup+50.0053 s] Raw data (loadavg): 0.96 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2503 0 0 0 4962 16 0 0 25 0 1 0 1781605949 13271040 2414 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 3240 2414 1116 68 0 3172 0 [pid=2066] vsize: 12960 Current children cumulated CPU time (s) 49.78 Current children cumulated vsize (Kb) 12960 [startup+60.0059 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2604 0 0 0 5958 18 0 0 25 0 1 0 1781605949 13811712 2515 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 3372 2515 1116 68 0 3304 0 [pid=2066] vsize: 13488 Current children cumulated CPU time (s) 59.76 Current children cumulated vsize (Kb) 13488 [startup+70.0056 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2754 0 0 0 6953 20 0 0 25 0 1 0 1781605949 14352384 2665 4294967295 134512640 134736556 3221224576 3221223200 134544634 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 3504 2665 1116 68 0 3436 0 [pid=2066] vsize: 14016 Current children cumulated CPU time (s) 69.73 Current children cumulated vsize (Kb) 14016 [startup+80.0073 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 2897 0 0 0 7948 22 0 0 25 0 1 0 1781605949 14893056 2808 4294967295 134512640 134736556 3221224576 3221223248 134536480 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 3636 2808 1116 68 0 3568 0 [pid=2066] vsize: 14544 Current children cumulated CPU time (s) 79.7 Current children cumulated vsize (Kb) 14544 [startup+90.0079 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 3045 0 0 0 8944 24 0 0 25 0 1 0 1781605949 15568896 2956 4294967295 134512640 134736556 3221224576 3221223312 134529511 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 3801 2956 1116 68 0 3733 0 [pid=2066] vsize: 15204 Current children cumulated CPU time (s) 89.68 Current children cumulated vsize (Kb) 15204 [startup+100.009 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 4780 0 0 0 9910 37 0 0 25 0 1 0 1781605949 22573056 4302 4294967295 134512640 134736556 3221224576 3221220444 1075116564 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 5511 4302 1116 68 0 5443 0 [pid=2066] vsize: 22044 Current children cumulated CPU time (s) 99.47 Current children cumulated vsize (Kb) 22044 [startup+110.009 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 8904 0 0 0 10882 53 0 0 25 0 1 0 1781605949 21442560 4008 4294967295 134512640 134736556 3221224576 3221221424 1075968404 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 5235 4008 1116 68 0 5167 0 [pid=2066] vsize: 20940 Current children cumulated CPU time (s) 109.35 Current children cumulated vsize (Kb) 20940 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9242 0 0 0 11864 61 0 0 25 0 1 0 1781605949 19431424 3996 4294967295 134512640 134736556 3221224576 3221223168 134540209 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 4744 3996 1116 68 0 4676 0 [pid=2066] vsize: 18976 Current children cumulated CPU time (s) 119.25 Current children cumulated vsize (Kb) 18976 [startup+130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9256 0 0 0 12862 62 0 0 25 0 1 0 1781605949 19431424 4010 4294967295 134512640 134736556 3221224576 3221223264 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 4744 4010 1116 68 0 4676 0 [pid=2066] vsize: 18976 Current children cumulated CPU time (s) 129.24 Current children cumulated vsize (Kb) 18976 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9324 0 0 0 13859 63 0 0 25 0 1 0 1781605949 19701760 4078 4294967295 134512640 134736556 3221224576 3221223360 134602814 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 4810 4078 1116 68 0 4742 0 [pid=2066] vsize: 19240 Current children cumulated CPU time (s) 139.22 Current children cumulated vsize (Kb) 19240 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9424 0 0 0 14856 65 0 0 25 0 1 0 1781605949 20107264 4178 4294967295 134512640 134736556 3221224576 3221223248 134630390 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 4909 4178 1116 68 0 4841 0 [pid=2066] vsize: 19636 Current children cumulated CPU time (s) 149.21 Current children cumulated vsize (Kb) 19636 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9497 0 0 0 15854 66 0 0 25 0 1 0 1781605949 20377600 4251 4294967295 134512640 134736556 3221224576 3221223204 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 4975 4251 1116 68 0 4907 0 [pid=2066] vsize: 19900 Current children cumulated CPU time (s) 159.2 Current children cumulated vsize (Kb) 19900 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9626 0 0 0 16851 68 0 0 25 0 1 0 1781605949 20918272 4380 4294967295 134512640 134736556 3221224576 3221223172 134540399 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 5107 4380 1116 68 0 5039 0 [pid=2066] vsize: 20428 Current children cumulated CPU time (s) 169.19 Current children cumulated vsize (Kb) 20428 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9770 0 0 0 17847 70 0 0 25 0 1 0 1781605949 21458944 4524 4294967295 134512640 134736556 3221224576 3221223248 134630014 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 5239 4524 1116 68 0 5171 0 [pid=2066] vsize: 20956 Current children cumulated CPU time (s) 179.17 Current children cumulated vsize (Kb) 20956 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9860 0 0 0 18844 72 0 0 25 0 1 0 1781605949 21864448 4614 4294967295 134512640 134736556 3221224576 3221223248 134630222 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 5338 4614 1116 68 0 5270 0 [pid=2066] vsize: 21352 Current children cumulated CPU time (s) 189.16 Current children cumulated vsize (Kb) 21352 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 9987 0 0 0 19840 73 0 0 25 0 1 0 1781605949 22405120 4741 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 5470 4741 1116 68 0 5402 0 [pid=2066] vsize: 21880 Current children cumulated CPU time (s) 199.13 Current children cumulated vsize (Kb) 21880 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10099 0 0 0 20837 75 0 0 25 0 1 0 1781605949 22810624 4853 4294967295 134512640 134736556 3221224576 3221223136 134543200 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 5569 4853 1116 68 0 5501 0 [pid=2066] vsize: 22276 Current children cumulated CPU time (s) 209.12 Current children cumulated vsize (Kb) 22276 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10205 0 0 0 21834 76 0 0 25 0 1 0 1781605949 23216128 4959 4294967295 134512640 134736556 3221224576 3221223300 134529176 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 5668 4959 1116 68 0 5600 0 [pid=2066] vsize: 22672 Current children cumulated CPU time (s) 219.1 Current children cumulated vsize (Kb) 22672 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10308 0 0 0 22832 77 0 0 25 0 1 0 1781605949 23756800 5062 4294967295 134512640 134736556 3221224576 3221223236 134630178 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 5800 5062 1116 68 0 5732 0 [pid=2066] vsize: 23200 Current children cumulated CPU time (s) 229.09 Current children cumulated vsize (Kb) 23200 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10420 0 0 0 23829 79 0 0 25 0 1 0 1781605949 24162304 5174 4294967295 134512640 134736556 3221224576 3221223248 134630498 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 5899 5174 1116 68 0 5831 0 [pid=2066] vsize: 23596 Current children cumulated CPU time (s) 239.08 Current children cumulated vsize (Kb) 23596 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10545 0 0 0 24824 81 0 0 25 0 1 0 1781605949 24702976 5299 4294967295 134512640 134736556 3221224576 3221223116 134537537 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6031 5299 1116 68 0 5963 0 [pid=2066] vsize: 24124 Current children cumulated CPU time (s) 249.05 Current children cumulated vsize (Kb) 24124 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10635 0 0 0 25822 82 0 0 25 0 1 0 1781605949 24973312 5389 4294967295 134512640 134736556 3221224576 3221223248 134629952 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6097 5389 1116 68 0 6029 0 [pid=2066] vsize: 24388 Current children cumulated CPU time (s) 259.04 Current children cumulated vsize (Kb) 24388 [startup+270.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10758 0 0 0 26820 83 0 0 25 0 1 0 1781605949 25513984 5512 4294967295 134512640 134736556 3221224576 3221223180 134537534 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6229 5512 1116 68 0 6161 0 [pid=2066] vsize: 24916 Current children cumulated CPU time (s) 269.03 Current children cumulated vsize (Kb) 24916 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10887 0 0 0 27818 84 0 0 25 0 1 0 1781605949 26050560 5641 4294967295 134512640 134736556 3221224576 3221223152 134543977 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6360 5641 1116 68 0 6292 0 [pid=2066] vsize: 25440 Current children cumulated CPU time (s) 279.02 Current children cumulated vsize (Kb) 25440 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 10978 0 0 0 28816 85 0 0 25 0 1 0 1781605949 26456064 5732 4294967295 134512640 134736556 3221224576 3221223120 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6459 5732 1116 68 0 6391 0 [pid=2066] vsize: 25836 Current children cumulated CPU time (s) 289.01 Current children cumulated vsize (Kb) 25836 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11084 0 0 0 29814 86 0 0 25 0 1 0 1781605949 26861568 5838 4294967295 134512640 134736556 3221224576 3221223136 134551097 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6558 5838 1116 68 0 6490 0 [pid=2066] vsize: 26232 Current children cumulated CPU time (s) 299 Current children cumulated vsize (Kb) 26232 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11172 0 0 0 30813 87 0 0 25 0 1 0 1781605949 27267072 5926 4294967295 134512640 134736556 3221224576 3221223168 134540200 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6657 5926 1116 68 0 6589 0 [pid=2066] vsize: 26628 Current children cumulated CPU time (s) 309 Current children cumulated vsize (Kb) 26628 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11273 0 0 0 31811 88 0 0 25 0 1 0 1781605949 27672576 6027 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6756 6027 1116 68 0 6688 0 [pid=2066] vsize: 27024 Current children cumulated CPU time (s) 318.99 Current children cumulated vsize (Kb) 27024 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11370 0 0 0 32808 89 0 0 25 0 1 0 1781605949 28078080 6124 4294967295 134512640 134736556 3221224576 3221223300 134529471 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6855 6124 1116 68 0 6787 0 [pid=2066] vsize: 27420 Current children cumulated CPU time (s) 328.97 Current children cumulated vsize (Kb) 27420 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11475 0 0 0 33806 91 0 0 25 0 1 0 1781605949 28483584 6229 4294967295 134512640 134736556 3221224576 3221223176 134554109 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/2066/statm): 6954 6229 1116 68 0 6886 0 [pid=2066] vsize: 27816 Current children cumulated CPU time (s) 338.97 Current children cumulated vsize (Kb) 27816 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11592 0 0 0 34803 93 0 0 25 0 1 0 1781605949 29024256 6346 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 7086 6346 1116 68 0 7018 0 [pid=2066] vsize: 28344 Current children cumulated CPU time (s) 348.96 Current children cumulated vsize (Kb) 28344 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11710 0 0 0 35799 95 0 0 25 0 1 0 1781605949 29429760 6464 4294967295 134512640 134736556 3221224576 3221223152 134544644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 7185 6464 1116 68 0 7117 0 [pid=2066] vsize: 28740 Current children cumulated CPU time (s) 358.94 Current children cumulated vsize (Kb) 28740 [startup+370.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11821 0 0 0 36796 96 0 0 25 0 1 0 1781605949 29835264 6575 4294967295 134512640 134736556 3221224576 3221223252 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 7284 6575 1116 68 0 7216 0 [pid=2066] vsize: 29136 Current children cumulated CPU time (s) 368.92 Current children cumulated vsize (Kb) 29136 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 11934 0 0 0 37793 98 0 0 25 0 1 0 1781605949 30375936 6688 4294967295 134512640 134736556 3221224576 3221223160 134543970 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 7416 6688 1116 68 0 7348 0 [pid=2066] vsize: 29664 Current children cumulated CPU time (s) 378.91 Current children cumulated vsize (Kb) 29664 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 12055 0 0 0 38790 99 0 0 25 0 1 0 1781605949 30916608 6809 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 7548 6809 1116 68 0 7480 0 [pid=2066] vsize: 30192 Current children cumulated CPU time (s) 388.89 Current children cumulated vsize (Kb) 30192 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 2066 Raw data (/proc/2066/stat): 2066 (bsolo) R 2065 2066 1333 0 -1 0 12181 0 0 0 39787 101 0 0 25 0 1 0 1781605949 31322112 6935 4294967295 134512640 134736556 3221224576 3221223216 134543725 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/2066/statm): 7647 6935 1116 68 0 7579 0 [pid=2066] vsize: 30588 Current children cumulated CPU time (s) 398.88 Current children cumulated vsize (Kb) 30588 One traced child (pid=2066) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 402.304 CPU time (s): 401.167 CPU user time (s): 400.135 CPU system time (s): 1.03184 CPU usage (%): 99.7174 Max. virtual memory (cumulated for all children) (Kb): 30588
Verifier: OK 376