Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb |
MD5SUM | fba76bbece6bbaf52b3b51d8d6e74147 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 310 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 660 |
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 | 660 |
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 | 660 |
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 | 109.888 |
Number of variables | 660 |
Total number of constraints | 5350 |
Number of constraints which are clauses | 5350 |
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 wulflinc14 THE 2005-09-23 14:40:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8356 boxname=wulflinc14 idbench=152 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: fba76bbece6bbaf52b3b51d8d6e74147 /oldhome/oroussel/tmp/wulflinc14/normalized-ii32e3.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-ii32e3.opb IDLAUNCH: 8356 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.058 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.058 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: 997336 kB Buffers: 1372 kB Cached: 18960 kB SwapCached: 0 kB Active: 16792 kB Inactive: 6436 kB HighTotal: 131008 kB HighFree: 107800 kB LowTotal: 903652 kB LowFree: 889536 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8532 kB Committed_AS: 63620 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 14:56:34 (client local time) WITH STATUS 30 IN 967.467 SECONDS stats: 8356 0 967.467 30
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 330 c small objective detected c CONFLICT during preprocess c [startup+9.80272 s] setting bit 9 to 0 c [startup+19.2506 s] setting bit 8 to 0 c Decision: 53601/164520 Time: 98.2991/86400 c Decision: 63355/164520 Time: 177.077/86400 c [startup+285.707 s] setting bit 7 to 0 c Decision: 26214/164520 Time: 42.6355/86400 c [startup+404.037 s] setting bit 6 to 0 c Decision: 13951/164520 Time: 30.0474/86400 c Decision: 17309/164520 Time: 75.9625/86400 c [startup+526.784 s] setting bit 5 to 0 c got solution with objective value: 313 c [startup+528.884 s] setting bit 4 to 1 c Decision: 11084/164520 Time: 44.5032/86400 c Decision: 11084/164520 Time: 61.7656/86400 c Decision: 13923/164520 Time: 101.248/86400 c Decision: 13923/164520 Time: 121.258/86400 c [startup+711.737 s] setting bit 3 to 0 c Decision: 8352/164520 Time: 14.6908/86400 c Decision: 8852/164520 Time: 37.6433/86400 c Decision: 10174/164520 Time: 53.8958/86400 c Decision: 11827/164520 Time: 69.7104/86400 c Decision: 16399/164520 Time: 91.914/86400 c Decision: 20289/164520 Time: 127.949/86400 c Decision: 25348/164520 Time: 156.094/86400 c Decision: 30312/164520 Time: 181.924/86400 c Decision: 32322/164520 Time: 201.497/86400 c [startup+965.767 s] setting bit 2 to 0 c got solution with objective value: 311 c [startup+967.329 s] setting bit 1 to 1 c got solution with objective value: 310 c [startup+969.037 s] setting bit 0 to 1 s OPTIMUM FOUND v x1 -x10 -x100 x101 -x102 -x103 -x104 x105 -x106 x107 -x108 x109 x11 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 -x119 -x12 x120 -x121 x122 x123 -x124 x125 -x126 -x127 -x128 x129 x13 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x14 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x15 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x2 -x20 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x21 -x210 x211 -x212 x213 -x214 x215 -x216 -x217 x218 x219 -x22 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 x23 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 x25 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x26 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x27 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x3 -x30 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 x33 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x34 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x35 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x36 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 -x369 x37 x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 -x379 -x38 x380 x381 -x382 x383 -x384 -x385 x386 -x387 x388 x389 -x39 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 x399 -x4 -x40 -x400 -x401 x402 -x403 x404 -x405 x406 x407 -x408 -x409 x41 x410 x411 -x412 -x413 -x414 -x415 x416 -x417 x418 x419 -x42 -x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x43 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 -x44 x440 -x441 x442 x443 -x444 -x445 x446 x447 -x448 -x449 -x45 x450 -x451 x452 -x453 x454 x455 -x456 -x457 x458 x459 -x46 -x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x47 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 -x48 x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 x489 x49 -x490 -x491 x492 -x493 x494 -x495 x496 x497 -x498 -x499 -x5 -x50 x500 x501 -x502 -x503 x504 -x505 x506 x507 -x508 -x509 -x51 -x510 -x511 x512 -x513 x514 x515 -x516 -x517 x518 -x519 -x52 x520 x521 -x522 -x523 x524 -x525 x526 x527 -x528 -x529 x53 x530 x531 -x532 -x533 x534 -x535 x536 x537 -x538 -x539 -x54 x540 -x541 x542 -x543 x544 x545 -x546 -x547 x548 -x549 -x55 x550 x551 -x552 -x553 x554 x555 -x556 -x557 x558 x559 -x56 -x560 -x561 x562 -x563 x564 -x565 x566 x567 -x568 -x569 -x57 x570 -x571 x572 x573 -x574 -x575 x576 x577 -x578 -x579 -x58 x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x59 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x6 -x60 x600 -x601 x602 -x603 x604 x605 -x606 -x607 x608 -x609 -x61 x610 x611 -x612 -x613 x614 x615 -x616 -x617 -x618 -x619 -x62 x620 -x621 x622 x623 -x624 -x625 x626 -x627 x628 x629 x63 -x630 -x631 x632 -x633 -x634 x635 -x636 -x637 x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 x647 -x648 -x649 -x65 x650 -x651 x652 x653 -x654 -x655 x656 -x657 x658 x659 -x66 -x660 x67 -x68 x69 x7 -x70 x71 -x72 -x73 -x74 x75 -x76 x77 -x78 x79 -x8 -x80 x81 -x82 -x83 x84 x85 -x86 x87 -x88 x89 x9 -x90 x91 -x92 -x93 x94 x95 -x96 x97 -x98 x99
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/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20980007 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 373 2 364 364 0 9 0 [pid=6871] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-ii32e3.opb [startup+10.0017 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 28687 0 0 0 933 63 0 0 25 0 1 0 20980007 95461376 17272 4294967295 134512640 135987407 3221224576 3221222992 134828861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 23306 17272 364 364 0 22942 0 [pid=6871] vsize: 93224 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 93224 [startup+20.0024 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 30404 0 0 0 1926 68 0 0 25 0 1 0 20980007 99401728 18019 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24268 18019 364 364 0 23904 0 [pid=6871] vsize: 97072 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 97072 [startup+30.0031 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 30724 0 0 0 2923 69 0 0 25 0 1 0 20980007 100601856 18241 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24561 18241 364 364 0 24197 0 [pid=6871] vsize: 98244 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 98244 [startup+40.0037 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 30879 0 0 0 3922 70 0 0 25 0 1 0 20980007 100995072 18298 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24657 18298 364 364 0 24293 0 [pid=6871] vsize: 98628 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 98628 [startup+50.0044 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 30937 0 0 0 4920 70 0 0 25 0 1 0 20980007 101126144 18323 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24689 18323 364 364 0 24325 0 [pid=6871] vsize: 98756 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 98756 [startup+60.0041 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31060 0 0 0 5918 72 0 0 25 0 1 0 20980007 101388288 18381 4294967295 134512640 135987407 3221224576 3221223248 134824431 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18381 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 99012 [startup+70.0047 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31065 0 0 0 6916 72 0 0 25 0 1 0 20980007 101388288 18386 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18386 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 69.88 Current children cumulated vsize (Kb) 99012 [startup+80.0044 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31072 0 0 0 7915 73 0 0 25 0 1 0 20980007 101388288 18393 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18393 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 79.88 Current children cumulated vsize (Kb) 99012 [startup+90.0051 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31103 0 0 0 8913 73 0 0 25 0 1 0 20980007 101388288 18424 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18424 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 89.86 Current children cumulated vsize (Kb) 99012 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31114 0 0 0 9912 74 0 0 25 0 1 0 20980007 101388288 18435 4294967295 134512640 135987407 3221224576 3221223232 134824317 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18435 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 99.86 Current children cumulated vsize (Kb) 99012 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31125 0 0 0 10909 75 0 0 25 0 1 0 20980007 101388288 18446 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18446 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 109.84 Current children cumulated vsize (Kb) 99012 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31460 0 0 0 11905 77 0 0 25 0 1 0 20980007 101388288 18459 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24753 18459 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 119.82 Current children cumulated vsize (Kb) 99012 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31461 0 0 0 12903 78 0 0 25 0 1 0 20980007 101388288 18460 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24753 18460 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 129.81 Current children cumulated vsize (Kb) 99012 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31463 0 0 0 13901 79 0 0 25 0 1 0 20980007 101388288 18462 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24753 18462 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 139.8 Current children cumulated vsize (Kb) 99012 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31468 0 0 0 14898 79 0 0 25 0 1 0 20980007 101388288 18467 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18467 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 149.77 Current children cumulated vsize (Kb) 99012 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31473 0 0 0 15897 80 0 0 25 0 1 0 20980007 101388288 18472 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18472 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 159.77 Current children cumulated vsize (Kb) 99012 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31480 0 0 0 16895 81 0 0 25 0 1 0 20980007 101388288 18479 4294967295 134512640 135987407 3221224576 3221223216 134812310 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18479 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 169.76 Current children cumulated vsize (Kb) 99012 [startup+180.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31491 0 0 0 17893 82 0 0 25 0 1 0 20980007 101388288 18490 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24753 18490 364 364 0 24389 0 [pid=6871] vsize: 99012 Current children cumulated CPU time (s) 179.75 Current children cumulated vsize (Kb) 99012 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31510 0 0 0 18891 83 0 0 25 0 1 0 20980007 101523456 18509 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24786 18509 364 364 0 24422 0 [pid=6871] vsize: 99144 Current children cumulated CPU time (s) 189.74 Current children cumulated vsize (Kb) 99144 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31850 0 0 0 19888 85 0 0 25 0 1 0 20980007 101523456 18527 4294967295 134512640 135987407 3221224576 3221222992 134788502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24786 18527 364 364 0 24422 0 [pid=6871] vsize: 99144 Current children cumulated CPU time (s) 199.73 Current children cumulated vsize (Kb) 99144 [startup+210.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31857 0 0 0 20886 86 0 0 25 0 1 0 20980007 101523456 18534 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24786 18534 364 364 0 24422 0 [pid=6871] vsize: 99144 Current children cumulated CPU time (s) 209.72 Current children cumulated vsize (Kb) 99144 [startup+220.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31869 0 0 0 21884 87 0 0 25 0 1 0 20980007 101523456 18546 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24786 18546 364 364 0 24422 0 [pid=6871] vsize: 99144 Current children cumulated CPU time (s) 219.71 Current children cumulated vsize (Kb) 99144 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31882 0 0 0 22882 87 0 0 25 0 1 0 20980007 101523456 18559 4294967295 134512640 135987407 3221224576 3221223296 134812752 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24786 18559 364 364 0 24422 0 [pid=6871] vsize: 99144 Current children cumulated CPU time (s) 229.69 Current children cumulated vsize (Kb) 99144 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31899 0 0 0 23881 88 0 0 25 0 1 0 20980007 101658624 18576 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24819 18576 364 364 0 24455 0 [pid=6871] vsize: 99276 Current children cumulated CPU time (s) 239.69 Current children cumulated vsize (Kb) 99276 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31908 0 0 0 24880 89 0 0 25 0 1 0 20980007 101658624 18585 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24819 18585 364 364 0 24455 0 [pid=6871] vsize: 99276 Current children cumulated CPU time (s) 249.69 Current children cumulated vsize (Kb) 99276 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31924 0 0 0 25878 89 0 0 25 0 1 0 20980007 101658624 18601 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24819 18601 364 364 0 24455 0 [pid=6871] vsize: 99276 Current children cumulated CPU time (s) 259.67 Current children cumulated vsize (Kb) 99276 [startup+270.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31934 0 0 0 26877 90 0 0 25 0 1 0 20980007 101658624 18611 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24819 18611 364 364 0 24455 0 [pid=6871] vsize: 99276 Current children cumulated CPU time (s) 269.67 Current children cumulated vsize (Kb) 99276 [startup+280.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 31943 0 0 0 27875 91 0 0 25 0 1 0 20980007 101658624 18620 4294967295 134512640 135987407 3221224576 3221223280 134790071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 24819 18620 364 364 0 24455 0 [pid=6871] vsize: 99276 Current children cumulated CPU time (s) 279.66 Current children cumulated vsize (Kb) 99276 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 32318 0 0 0 28873 92 0 0 25 0 1 0 20980007 101658624 18673 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 24819 18673 364 364 0 24455 0 [pid=6871] vsize: 99276 Current children cumulated CPU time (s) 289.65 Current children cumulated vsize (Kb) 99276 [startup+300.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 32609 0 0 0 29871 93 0 0 25 0 1 0 20980007 102580224 18770 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25044 18770 364 364 0 24680 0 [pid=6871] vsize: 100176 Current children cumulated CPU time (s) 299.64 Current children cumulated vsize (Kb) 100176 [startup+310.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 32728 0 0 0 30869 94 0 0 25 0 1 0 20980007 102842368 18824 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25108 18824 364 364 0 24744 0 [pid=6871] vsize: 100432 Current children cumulated CPU time (s) 309.63 Current children cumulated vsize (Kb) 100432 [startup+320.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 32743 0 0 0 31867 95 0 0 25 0 1 0 20980007 102842368 18839 4294967295 134512640 135987407 3221224576 3221223248 134824242 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25108 18839 364 364 0 24744 0 [pid=6871] vsize: 100432 Current children cumulated CPU time (s) 319.62 Current children cumulated vsize (Kb) 100432 [startup+330.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33075 0 0 0 32865 96 0 0 25 0 1 0 20980007 102842368 18849 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25108 18849 364 364 0 24744 0 [pid=6871] vsize: 100432 Current children cumulated CPU time (s) 329.61 Current children cumulated vsize (Kb) 100432 [startup+340.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33083 0 0 0 33863 96 0 0 25 0 1 0 20980007 102842368 18857 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25108 18857 364 364 0 24744 0 [pid=6871] vsize: 100432 Current children cumulated CPU time (s) 339.59 Current children cumulated vsize (Kb) 100432 [startup+350.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33087 0 0 0 34862 97 0 0 25 0 1 0 20980007 102842368 18861 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25108 18861 364 364 0 24744 0 [pid=6871] vsize: 100432 Current children cumulated CPU time (s) 349.59 Current children cumulated vsize (Kb) 100432 [startup+360.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33103 0 0 0 35859 98 0 0 25 0 1 0 20980007 102842368 18877 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25108 18877 364 364 0 24744 0 [pid=6871] vsize: 100432 Current children cumulated CPU time (s) 359.57 Current children cumulated vsize (Kb) 100432 [startup+370.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33283 0 0 0 36857 98 0 0 25 0 1 0 20980007 103522304 19024 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25274 19024 364 364 0 24910 0 [pid=6871] vsize: 101096 Current children cumulated CPU time (s) 369.55 Current children cumulated vsize (Kb) 101096 [startup+380.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33291 0 0 0 37856 99 0 0 25 0 1 0 20980007 103522304 19032 4294967295 134512640 135987407 3221224576 3221223120 134812041 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25274 19032 364 364 0 24910 0 [pid=6871] vsize: 101096 Current children cumulated CPU time (s) 379.55 Current children cumulated vsize (Kb) 101096 [startup+390.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33301 0 0 0 38854 100 0 0 25 0 1 0 20980007 103522304 19042 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25274 19042 364 364 0 24910 0 [pid=6871] vsize: 101096 Current children cumulated CPU time (s) 389.54 Current children cumulated vsize (Kb) 101096 [startup+400.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33312 0 0 0 39853 101 0 0 25 0 1 0 20980007 103522304 19053 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25274 19053 364 364 0 24910 0 [pid=6871] vsize: 101096 Current children cumulated CPU time (s) 399.54 Current children cumulated vsize (Kb) 101096 [startup+410.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33665 0 0 0 40849 103 0 0 25 0 1 0 20980007 103522304 19084 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 25274 19084 364 364 0 24910 0 [pid=6871] vsize: 101096 Current children cumulated CPU time (s) 409.52 Current children cumulated vsize (Kb) 101096 [startup+420.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33712 0 0 0 41845 105 0 0 25 0 1 0 20980007 103522304 19131 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 25274 19131 364 364 0 24910 0 [pid=6871] vsize: 101096 Current children cumulated CPU time (s) 419.5 Current children cumulated vsize (Kb) 101096 [startup+430.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 33859 0 0 0 42839 108 0 0 25 0 1 0 20980007 103841792 19245 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 25352 19245 364 364 0 24988 0 [pid=6871] vsize: 101408 Current children cumulated CPU time (s) 429.47 Current children cumulated vsize (Kb) 101408 [startup+440.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34190 0 0 0 43835 110 0 0 25 0 1 0 20980007 103841792 19254 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 25352 19254 364 364 0 24988 0 [pid=6871] vsize: 101408 Current children cumulated CPU time (s) 439.45 Current children cumulated vsize (Kb) 101408 [startup+450.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34226 0 0 0 44832 111 0 0 25 0 1 0 20980007 103841792 19290 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 25352 19290 364 364 0 24988 0 [pid=6871] vsize: 101408 Current children cumulated CPU time (s) 449.43 Current children cumulated vsize (Kb) 101408 [startup+460.013 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) T 6870 6871 4060 0 -1 0 34273 0 0 0 45828 112 0 0 25 0 1 0 20980007 103981056 19337 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25386 19337 364 364 0 25022 0 [pid=6871] vsize: 101544 Current children cumulated CPU time (s) 459.4 Current children cumulated vsize (Kb) 101544 [startup+470.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34305 0 0 0 46824 113 0 0 25 0 1 0 20980007 103981056 19369 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25386 19369 364 364 0 25022 0 [pid=6871] vsize: 101544 Current children cumulated CPU time (s) 469.37 Current children cumulated vsize (Kb) 101544 [startup+480.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34640 0 0 0 47822 115 0 0 25 0 1 0 20980007 105299968 19704 4294967295 134512640 135987407 3221224576 3221222816 134829261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25708 19704 364 364 0 25344 0 [pid=6871] vsize: 102832 Current children cumulated CPU time (s) 479.37 Current children cumulated vsize (Kb) 102832 [startup+490.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34667 0 0 0 48819 116 0 0 25 0 1 0 20980007 104116224 19409 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25419 19409 364 364 0 25055 0 [pid=6871] vsize: 101676 Current children cumulated CPU time (s) 489.35 Current children cumulated vsize (Kb) 101676 [startup+500.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34698 0 0 0 49818 116 0 0 25 0 1 0 20980007 104116224 19440 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25419 19440 364 364 0 25055 0 [pid=6871] vsize: 101676 Current children cumulated CPU time (s) 499.34 Current children cumulated vsize (Kb) 101676 [startup+510.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34714 0 0 0 50816 117 0 0 25 0 1 0 20980007 104116224 19456 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25419 19456 364 364 0 25055 0 [pid=6871] vsize: 101676 Current children cumulated CPU time (s) 509.33 Current children cumulated vsize (Kb) 101676 [startup+520.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 34740 0 0 0 51814 118 0 0 25 0 1 0 20980007 104116224 19482 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25419 19482 364 364 0 25055 0 [pid=6871] vsize: 101676 Current children cumulated CPU time (s) 519.32 Current children cumulated vsize (Kb) 101676 [startup+530.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 35408 0 0 0 52809 120 0 0 25 0 1 0 20980007 104116224 19506 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25419 19506 364 364 0 25055 0 [pid=6871] vsize: 101676 Current children cumulated CPU time (s) 529.29 Current children cumulated vsize (Kb) 101676 [startup+540.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 35602 0 0 0 53804 123 0 0 25 0 1 0 20980007 104640512 19571 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25547 19571 364 364 0 25183 0 [pid=6871] vsize: 102188 Current children cumulated CPU time (s) 539.27 Current children cumulated vsize (Kb) 102188 [startup+550.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 35738 0 0 0 54799 125 0 0 25 0 1 0 20980007 104902656 19642 4294967295 134512640 135987407 3221224576 3221223248 134824740 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 25611 19643 364 364 0 25247 0 [pid=6871] vsize: 102444 Current children cumulated CPU time (s) 549.24 Current children cumulated vsize (Kb) 102444 [startup+560.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 36610 0 0 0 55792 128 0 0 25 0 1 0 20980007 108822528 20424 4294967295 134512640 135987407 3221224576 3221223216 134812394 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 26568 20424 364 364 0 26204 0 [pid=6871] vsize: 106272 Current children cumulated CPU time (s) 559.2 Current children cumulated vsize (Kb) 106272 [startup+570.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 37962 0 0 0 56776 136 0 0 25 0 1 0 20980007 115122176 21579 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28106 21579 364 364 0 27742 0 [pid=6871] vsize: 112424 Current children cumulated CPU time (s) 569.12 Current children cumulated vsize (Kb) 112424 [startup+580.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 38371 0 0 0 57771 139 0 0 25 0 1 0 20980007 115453952 21666 4294967295 134512640 135987407 3221224576 3221223296 134812787 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28187 21666 364 364 0 27823 0 [pid=6871] vsize: 112748 Current children cumulated CPU time (s) 579.1 Current children cumulated vsize (Kb) 112748 [startup+590.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 38392 0 0 0 58765 141 0 0 25 0 1 0 20980007 115650560 21687 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28235 21687 364 364 0 27871 0 [pid=6871] vsize: 112940 Current children cumulated CPU time (s) 589.06 Current children cumulated vsize (Kb) 112940 [startup+600.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 38754 0 0 0 59760 143 0 0 25 0 1 0 20980007 115650560 21727 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28235 21727 364 364 0 27871 0 [pid=6871] vsize: 112940 Current children cumulated CPU time (s) 599.03 Current children cumulated vsize (Kb) 112940 [startup+610.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 39457 0 0 0 60752 147 0 0 25 0 1 0 20980007 118587392 22331 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22331 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 608.99 Current children cumulated vsize (Kb) 115808 [startup+620.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 39493 0 0 0 61749 148 0 0 25 0 1 0 20980007 118587392 22367 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22367 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 618.97 Current children cumulated vsize (Kb) 115808 [startup+630.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 39546 0 0 0 62746 149 0 0 25 0 1 0 20980007 118587392 22420 4294967295 134512640 135987407 3221224576 3221223152 134814271 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22420 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 628.95 Current children cumulated vsize (Kb) 115808 [startup+640.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 39909 0 0 0 63742 151 0 0 25 0 1 0 20980007 118587392 22461 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22461 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 638.93 Current children cumulated vsize (Kb) 115808 [startup+650.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 39953 0 0 0 64739 152 0 0 25 0 1 0 20980007 118587392 22505 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22505 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 648.91 Current children cumulated vsize (Kb) 115808 [startup+660.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 40328 0 0 0 65735 154 0 0 25 0 1 0 20980007 118587392 22558 4294967295 134512640 135987407 3221224576 3221222992 134788469 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22558 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 658.89 Current children cumulated vsize (Kb) 115808 [startup+670.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 40338 0 0 0 66732 156 0 0 25 0 1 0 20980007 118587392 22568 4294967295 134512640 135987407 3221224576 3221223200 134812414 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22568 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 668.88 Current children cumulated vsize (Kb) 115808 [startup+680.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 40377 0 0 0 67729 156 0 0 25 0 1 0 20980007 118587392 22607 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22607 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 678.85 Current children cumulated vsize (Kb) 115808 [startup+690.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 40410 0 0 0 68726 158 0 0 25 0 1 0 20980007 118587392 22640 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 28952 22640 364 364 0 28588 0 [pid=6871] vsize: 115808 Current children cumulated CPU time (s) 688.84 Current children cumulated vsize (Kb) 115808 [startup+700.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 40600 0 0 0 69724 159 0 0 25 0 1 0 20980007 119255040 22830 4294967295 134512640 135987407 3221224576 3221223296 134812672 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29115 22830 364 364 0 28751 0 [pid=6871] vsize: 116460 Current children cumulated CPU time (s) 698.83 Current children cumulated vsize (Kb) 116460 [startup+710.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 40634 0 0 0 70722 159 0 0 25 0 1 0 20980007 119255040 22864 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29115 22864 364 364 0 28751 0 [pid=6871] vsize: 116460 Current children cumulated CPU time (s) 708.81 Current children cumulated vsize (Kb) 116460 [startup+720.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 41015 0 0 0 71718 162 0 0 25 0 1 0 20980007 119255040 22923 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29115 22923 364 364 0 28751 0 [pid=6871] vsize: 116460 Current children cumulated CPU time (s) 718.8 Current children cumulated vsize (Kb) 116460 [startup+730.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 41079 0 0 0 72714 163 0 0 25 0 1 0 20980007 119255040 22987 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29115 22987 364 364 0 28751 0 [pid=6871] vsize: 116460 Current children cumulated CPU time (s) 728.77 Current children cumulated vsize (Kb) 116460 [startup+740.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 41082 0 0 0 73708 166 0 0 25 0 1 0 20980007 119255040 22990 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29115 22990 364 364 0 28751 0 [pid=6871] vsize: 116460 Current children cumulated CPU time (s) 738.74 Current children cumulated vsize (Kb) 116460 [startup+750.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 41796 0 0 0 74698 170 0 0 25 0 1 0 20980007 120717312 23284 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 29472 23284 364 364 0 29108 0 [pid=6871] vsize: 117888 Current children cumulated CPU time (s) 748.68 Current children cumulated vsize (Kb) 117888 [startup+760.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 41870 0 0 0 75691 172 0 0 25 0 1 0 20980007 120717312 23358 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 29472 23358 364 364 0 29108 0 [pid=6871] vsize: 117888 Current children cumulated CPU time (s) 758.63 Current children cumulated vsize (Kb) 117888 [startup+770.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 42265 0 0 0 76685 175 0 0 25 0 1 0 20980007 120852480 23431 4294967295 134512640 135987407 3221224576 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6871/statm): 29505 23431 364 364 0 29141 0 [pid=6871] vsize: 118020 Current children cumulated CPU time (s) 768.6 Current children cumulated vsize (Kb) 118020 [startup+780.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 42345 0 0 0 77680 177 0 0 25 0 1 0 20980007 120852480 23511 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29505 23511 364 364 0 29141 0 [pid=6871] vsize: 118020 Current children cumulated CPU time (s) 778.57 Current children cumulated vsize (Kb) 118020 [startup+790.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 42688 0 0 0 78674 179 0 0 25 0 1 0 20980007 120852480 23532 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29505 23532 364 364 0 29141 0 [pid=6871] vsize: 118020 Current children cumulated CPU time (s) 788.53 Current children cumulated vsize (Kb) 118020 [startup+800.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) T 6870 6871 4060 0 -1 0 42873 0 0 0 79669 181 0 0 25 0 1 0 20980007 121393152 23717 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29637 23717 364 364 0 29273 0 [pid=6871] vsize: 118548 Current children cumulated CPU time (s) 798.5 Current children cumulated vsize (Kb) 118548 [startup+810.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 43250 0 0 0 80665 183 0 0 25 0 1 0 20980007 121393152 23772 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29637 23772 364 364 0 29273 0 [pid=6871] vsize: 118548 Current children cumulated CPU time (s) 808.48 Current children cumulated vsize (Kb) 118548 [startup+820.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 43318 0 0 0 81661 184 0 0 25 0 1 0 20980007 121393152 23840 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29637 23840 364 364 0 29273 0 [pid=6871] vsize: 118548 Current children cumulated CPU time (s) 818.45 Current children cumulated vsize (Kb) 118548 [startup+830.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 43345 0 0 0 82658 185 0 0 25 0 1 0 20980007 121393152 23867 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29637 23867 364 364 0 29273 0 [pid=6871] vsize: 118548 Current children cumulated CPU time (s) 828.43 Current children cumulated vsize (Kb) 118548 [startup+840.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 43845 0 0 0 83651 188 0 0 25 0 1 0 20980007 122068992 24045 4294967295 134512640 135987407 3221224576 3221223248 134876845 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29802 24045 364 364 0 29438 0 [pid=6871] vsize: 119208 Current children cumulated CPU time (s) 838.39 Current children cumulated vsize (Kb) 119208 [startup+850.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 43847 0 0 0 84648 190 0 0 25 0 1 0 20980007 122068992 24047 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29802 24047 364 364 0 29438 0 [pid=6871] vsize: 119208 Current children cumulated CPU time (s) 848.38 Current children cumulated vsize (Kb) 119208 [startup+860.021 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) T 6870 6871 4060 0 -1 0 43849 0 0 0 85644 191 0 0 25 0 1 0 20980007 122068992 24049 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29802 24049 364 364 0 29438 0 [pid=6871] vsize: 119208 Current children cumulated CPU time (s) 858.35 Current children cumulated vsize (Kb) 119208 [startup+870.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 44175 0 0 0 86641 192 0 0 25 0 1 0 20980007 122068992 24053 4294967295 134512640 135987407 3221224576 3221223120 134811907 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29802 24053 364 364 0 29438 0 [pid=6871] vsize: 119208 Current children cumulated CPU time (s) 868.33 Current children cumulated vsize (Kb) 119208 [startup+880.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 44202 0 0 0 87638 194 0 0 25 0 1 0 20980007 122068992 24080 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29802 24080 364 364 0 29438 0 [pid=6871] vsize: 119208 Current children cumulated CPU time (s) 878.32 Current children cumulated vsize (Kb) 119208 [startup+890.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 44285 0 0 0 88634 195 0 0 25 0 1 0 20980007 122068992 24163 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 29802 24163 364 364 0 29438 0 [pid=6871] vsize: 119208 Current children cumulated CPU time (s) 888.29 Current children cumulated vsize (Kb) 119208 [startup+900.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 44660 0 0 0 89630 198 0 0 25 0 1 0 20980007 138846208 24216 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 33898 24216 364 364 0 33534 0 [pid=6871] vsize: 135592 Current children cumulated CPU time (s) 898.28 Current children cumulated vsize (Kb) 135592 [startup+910.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 44749 0 0 0 90626 200 0 0 25 0 1 0 20980007 138846208 24305 4294967295 134512640 135987407 3221224576 3221223120 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 33898 24305 364 364 0 33534 0 [pid=6871] vsize: 135592 Current children cumulated CPU time (s) 908.26 Current children cumulated vsize (Kb) 135592 [startup+920.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 45133 0 0 0 91621 202 0 0 25 0 1 0 20980007 138846208 24367 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 33898 24367 364 364 0 33534 0 [pid=6871] vsize: 135592 Current children cumulated CPU time (s) 918.23 Current children cumulated vsize (Kb) 135592 [startup+930.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 45154 0 0 0 92618 203 0 0 25 0 1 0 20980007 138846208 24388 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 33898 24388 364 364 0 33534 0 [pid=6871] vsize: 135592 Current children cumulated CPU time (s) 928.21 Current children cumulated vsize (Kb) 135592 [startup+940.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 45224 0 0 0 93613 205 0 0 25 0 1 0 20980007 138846208 24458 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 33898 24458 364 364 0 33534 0 [pid=6871] vsize: 135592 Current children cumulated CPU time (s) 938.18 Current children cumulated vsize (Kb) 135592 [startup+950.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 45271 0 0 0 94610 206 0 0 25 0 1 0 20980007 138846208 24505 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 33898 24505 364 364 0 33534 0 [pid=6871] vsize: 135592 Current children cumulated CPU time (s) 948.16 Current children cumulated vsize (Kb) 135592 [startup+960.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 6871 Raw data (/proc/6871/stat): 6871 (pb2sat) R 6870 6871 4060 0 -1 0 45328 0 0 0 95606 208 0 0 25 0 1 0 20980007 138846208 24562 4294967295 134512640 135987407 3221224576 3221223008 134788833 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6871/statm): 33898 24562 364 364 0 33534 0 [pid=6871] vsize: 135592 Current children cumulated CPU time (s) 958.14 Current children cumulated vsize (Kb) 135592 One traced child (pid=6871) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 969.357 CPU time (s): 967.467 CPU user time (s): 965.299 CPU system time (s): 2.16767 CPU usage (%): 99.8051 Max. virtual memory (cumulated for all children) (Kb): 135592
Verifier: OK 310