Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
MD5SUM151e246868267296e134c3c76a3cb289
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 286
Optimality of the best value was proved NO
Number of terms in the objective function 664
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 664
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 664
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.06
Number of variables664
Total number of constraints3035
Number of constraints which are clauses3035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 9764

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 15:00:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8426 boxname=wulflinc19 idbench=222 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  151e246868267296e134c3c76a3cb289  /oldhome/oroussel/tmp/wulflinc19/normalized-ii32d1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-ii32d1.opb
IDLAUNCH: 8426
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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	: 3
cpu MHz		: 451.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        929648 kB
Buffers:         14896 kB
Cached:          70444 kB
SwapCached:          0 kB
Active:          45640 kB
Inactive:        42620 kB
HighTotal:      131008 kB
HighFree:        57036 kB
LowTotal:       903652 kB
LowFree:        872612 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11136 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:20:33 (client local time) WITH STATUS 10 IN 1209.08 SECONDS
stats: 8426 0 1209.08 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 332
c small objective detected
c CONFLICT during preprocess 
c [startup+9.61253 s]  setting bit 9 to 0
c [startup+20.6494 s]  setting bit 8 to 0

c Decision: 51361/166512	Time: 418.379/86400
c Decision: 51361/166512	Time: 455.276/86400
c Decision: 51361/166512	Time: 496.727/86400
c Decision: 51361/166512	Time: 534.927/86400
c Decision: 51361/166512	Time: 585.792/86400
c Decision: 51361/166512	Time: 624.434/86400
c Decision: 51361/166512	Time: 662.243/86400
c Decision: 51361/166512	Time: 706.556/86400
c Decision: 51361/166512	Time: 762.025/86400
c Decision: 51361/166512	Time: 794.852/86400
c Decision: 51361/166512	Time: 846.685/86400
c Decision: 51361/166512	Time: 894.422/86400
c Decision: 51361/166512	Time: 943.036/86400
c Decision: 51361/166512	Time: 993.482/86400
c Decision: 51361/166512	Time: 1040.51/86400
c Decision: 51361/166512	Time: 1085.69/86400
c Decision: 51361/166512	Time: 1134.19/86400
c Decision: 51361/166512	Time: 1176.85/86400s SATISFIABLE
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 -x661 x662 -x663 x664 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

Watcher Data

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/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21100040 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 373 2 364 364 0 9 0
[pid=7056] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-ii32d1.opb

[startup+10.0016 s]
Raw data (loadavg): 0.79 0.91 0.97 2/55 7056
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 28822 0 0 0 931 64 0 0 25 0 1 0 21100040 94425088 17078 4294967295 134512640 135987407 3221224576 3221223248 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 23053 17078 364 364 0 22689 0
[pid=7056] vsize: 92212
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 92212

[startup+20.0024 s]
Raw data (loadavg): 0.82 0.91 0.97 2/55 7056
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 29891 0 0 0 1926 67 0 0 25 0 1 0 21100040 98385920 17983 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 24020 17983 364 364 0 23656 0
[pid=7056] vsize: 96080
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 96080

[startup+30.0032 s]
Raw data (loadavg): 0.85 0.92 0.97 2/55 7056
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 31417 0 0 0 2917 73 0 0 25 0 1 0 21100040 103596032 18948 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 25292 18948 364 364 0 24928 0
[pid=7056] vsize: 101168
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 101168

[startup+40.003 s]
Raw data (loadavg): 0.87 0.92 0.97 2/55 7058
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 32594 0 0 0 3908 77 0 0 25 0 1 0 21100040 108589056 19854 4294967295 134512640 135987407 3221224576 3221222892 135481941 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 26511 19854 364 364 0 26147 0
[pid=7056] vsize: 106044
Current children cumulated CPU time (s) 39.85
Current children cumulated vsize (Kb) 106044

[startup+50.0038 s]
Raw data (loadavg): 0.89 0.92 0.97 2/55 7058
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 33774 0 0 0 4900 80 0 0 25 0 1 0 21100040 113369088 20705 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 27678 20705 364 364 0 27314 0
[pid=7056] vsize: 110712
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (Kb) 110712

[startup+60.0036 s]
Raw data (loadavg): 0.91 0.92 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 34872 0 0 0 5890 85 0 0 25 0 1 0 21100040 117153792 21377 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 28602 21377 364 364 0 28238 0
[pid=7056] vsize: 114408
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 114408

[startup+70.0044 s]
Raw data (loadavg): 0.92 0.92 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35257 0 0 0 6886 87 0 0 25 0 1 0 21100040 118878208 21664 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 29023 21664 364 364 0 28659 0
[pid=7056] vsize: 116092
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 116092

[startup+80.0053 s]
Raw data (loadavg): 0.93 0.93 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35279 0 0 0 7885 87 0 0 25 0 1 0 21100040 118878208 21686 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 29023 21686 364 364 0 28659 0
[pid=7056] vsize: 116092
Current children cumulated CPU time (s) 79.72
Current children cumulated vsize (Kb) 116092

[startup+90.0051 s]
Raw data (loadavg): 0.94 0.93 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35300 0 0 0 8883 88 0 0 25 0 1 0 21100040 118743040 21674 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 28990 21674 364 364 0 28626 0
[pid=7056] vsize: 115960
Current children cumulated CPU time (s) 89.71
Current children cumulated vsize (Kb) 115960

[startup+100.006 s]
Raw data (loadavg): 0.95 0.93 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35391 0 0 0 9881 89 0 0 25 0 1 0 21100040 118874112 21732 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 29022 21732 364 364 0 28658 0
[pid=7056] vsize: 116088
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (Kb) 116088

[startup+110.007 s]
Raw data (loadavg): 0.96 0.93 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35415 0 0 0 10879 90 0 0 25 0 1 0 21100040 118874112 21756 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29022 21756 364 364 0 28658 0
[pid=7056] vsize: 116088
Current children cumulated CPU time (s) 109.69
Current children cumulated vsize (Kb) 116088

[startup+120.007 s]
Raw data (loadavg): 0.96 0.93 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35431 0 0 0 11877 91 0 0 25 0 1 0 21100040 118874112 21772 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29022 21772 364 364 0 28658 0
[pid=7056] vsize: 116088
Current children cumulated CPU time (s) 119.68
Current children cumulated vsize (Kb) 116088

[startup+130.008 s]
Raw data (loadavg): 0.97 0.94 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35446 0 0 0 12876 91 0 0 25 0 1 0 21100040 118874112 21787 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29022 21787 364 364 0 28658 0
[pid=7056] vsize: 116088
Current children cumulated CPU time (s) 129.67
Current children cumulated vsize (Kb) 116088

[startup+140.008 s]
Raw data (loadavg): 0.97 0.94 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35463 0 0 0 13875 92 0 0 25 0 1 0 21100040 118874112 21804 4294967295 134512640 135987407 3221224576 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29022 21804 364 364 0 28658 0
[pid=7056] vsize: 116088
Current children cumulated CPU time (s) 139.67
Current children cumulated vsize (Kb) 116088

[startup+150.009 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35569 0 0 0 14873 93 0 0 25 0 1 0 21100040 119136256 21845 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21845 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 116344

[startup+160.009 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35580 0 0 0 15872 93 0 0 25 0 1 0 21100040 119136256 21856 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21856 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (Kb) 116344

[startup+170.01 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35594 0 0 0 16870 94 0 0 25 0 1 0 21100040 119136256 21870 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21870 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 116344

[startup+180.01 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35611 0 0 0 17869 95 0 0 25 0 1 0 21100040 119136256 21887 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21887 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 179.64
Current children cumulated vsize (Kb) 116344

[startup+190.01 s]
Raw data (loadavg): 0.99 0.94 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35630 0 0 0 18868 95 0 0 25 0 1 0 21100040 119136256 21906 4294967295 134512640 135987407 3221224576 3221223296 134812787 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21906 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 189.63
Current children cumulated vsize (Kb) 116344

[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35650 0 0 0 19866 96 0 0 25 0 1 0 21100040 119136256 21926 4294967295 134512640 135987407 3221224576 3221223120 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21926 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 199.62
Current children cumulated vsize (Kb) 116344

[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35670 0 0 0 20865 97 0 0 25 0 1 0 21100040 119136256 21946 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21946 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 209.62
Current children cumulated vsize (Kb) 116344

[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35690 0 0 0 21863 98 0 0 25 0 1 0 21100040 119136256 21966 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21966 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 219.61
Current children cumulated vsize (Kb) 116344

[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35704 0 0 0 22861 99 0 0 25 0 1 0 21100040 119136256 21980 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21980 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 229.6
Current children cumulated vsize (Kb) 116344

[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35720 0 0 0 23860 99 0 0 25 0 1 0 21100040 119136256 21996 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 21996 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 239.59
Current children cumulated vsize (Kb) 116344

[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35736 0 0 0 24859 100 0 0 25 0 1 0 21100040 119136256 22012 4294967295 134512640 135987407 3221224576 3221223216 134812346 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 22012 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 249.59
Current children cumulated vsize (Kb) 116344

[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.97 3/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35750 0 0 0 25858 100 0 0 25 0 1 0 21100040 119136256 22026 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 22026 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 259.58
Current children cumulated vsize (Kb) 116344

[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35769 0 0 0 26857 100 0 0 25 0 1 0 21100040 119136256 22045 4294967295 134512640 135987407 3221224576 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 22045 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 269.57
Current children cumulated vsize (Kb) 116344

[startup+280.013 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7062
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35790 0 0 0 27856 101 0 0 25 0 1 0 21100040 119136256 22066 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 22066 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 279.57
Current children cumulated vsize (Kb) 116344

[startup+290.012 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35806 0 0 0 28855 101 0 0 25 0 1 0 21100040 119136256 22082 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 22082 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 289.56
Current children cumulated vsize (Kb) 116344

[startup+300.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 35829 0 0 0 29854 102 0 0 25 0 1 0 21100040 119136256 22105 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29086 22105 364 364 0 28722 0
[pid=7056] vsize: 116344
Current children cumulated CPU time (s) 299.56
Current children cumulated vsize (Kb) 116344

[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 36700 0 0 0 30849 105 0 0 25 0 1 0 21100040 122060800 22615 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29800 22615 364 364 0 29436 0
[pid=7056] vsize: 119200
Current children cumulated CPU time (s) 309.54
Current children cumulated vsize (Kb) 119200

[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 36787 0 0 0 31848 105 0 0 25 0 1 0 21100040 122589184 22702 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29929 22702 364 364 0 29565 0
[pid=7056] vsize: 119716
Current children cumulated CPU time (s) 319.53
Current children cumulated vsize (Kb) 119716

[startup+330.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 36805 0 0 0 32846 106 0 0 25 0 1 0 21100040 122589184 22720 4294967295 134512640 135987407 3221224576 3221223256 134812453 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29929 22720 364 364 0 29565 0
[pid=7056] vsize: 119716
Current children cumulated CPU time (s) 329.52
Current children cumulated vsize (Kb) 119716

[startup+340.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 36933 0 0 0 33843 107 0 0 25 0 1 0 21100040 122851328 22783 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29993 22783 364 364 0 29629 0
[pid=7056] vsize: 119972
Current children cumulated CPU time (s) 339.5
Current children cumulated vsize (Kb) 119972

[startup+350.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 36943 0 0 0 34842 107 0 0 25 0 1 0 21100040 122851328 22793 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29993 22793 364 364 0 29629 0
[pid=7056] vsize: 119972
Current children cumulated CPU time (s) 349.49
Current children cumulated vsize (Kb) 119972

[startup+360.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 36957 0 0 0 35841 108 0 0 25 0 1 0 21100040 122851328 22807 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29993 22807 364 364 0 29629 0
[pid=7056] vsize: 119972
Current children cumulated CPU time (s) 359.49
Current children cumulated vsize (Kb) 119972

[startup+370.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 36968 0 0 0 36840 108 0 0 25 0 1 0 21100040 122851328 22818 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 29993 22818 364 364 0 29629 0
[pid=7056] vsize: 119972
Current children cumulated CPU time (s) 369.48
Current children cumulated vsize (Kb) 119972

[startup+380.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37054 0 0 0 37839 109 0 0 25 0 1 0 21100040 123113472 22839 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 30057 22839 364 364 0 29693 0
[pid=7056] vsize: 120228
Current children cumulated CPU time (s) 379.48
Current children cumulated vsize (Kb) 120228

[startup+390.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37069 0 0 0 38838 109 0 0 25 0 1 0 21100040 123113472 22854 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 30057 22854 364 364 0 29693 0
[pid=7056] vsize: 120228
Current children cumulated CPU time (s) 389.47
Current children cumulated vsize (Kb) 120228

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37083 0 0 0 39837 110 0 0 25 0 1 0 21100040 123113472 22868 4294967295 134512640 135987407 3221224576 3221223248 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 30057 22868 364 364 0 29693 0
[pid=7056] vsize: 120228
Current children cumulated CPU time (s) 399.47
Current children cumulated vsize (Kb) 120228

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37095 0 0 0 40836 111 0 0 25 0 1 0 21100040 123113472 22880 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 30057 22880 364 364 0 29693 0
[pid=7056] vsize: 120228
Current children cumulated CPU time (s) 409.47
Current children cumulated vsize (Kb) 120228

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37110 0 0 0 41834 111 0 0 25 0 1 0 21100040 123113472 22895 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 30057 22895 364 364 0 29693 0
[pid=7056] vsize: 120228
Current children cumulated CPU time (s) 419.45
Current children cumulated vsize (Kb) 120228

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37296 0 0 0 42832 113 0 0 25 0 1 0 21100040 124051456 23081 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 30286 23081 364 364 0 29922 0
[pid=7056] vsize: 121144
Current children cumulated CPU time (s) 429.45
Current children cumulated vsize (Kb) 121144

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37887 0 0 0 43827 115 0 0 25 0 1 0 21100040 124846080 23280 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30480 23280 364 364 0 30116 0
[pid=7056] vsize: 121920
Current children cumulated CPU time (s) 439.42
Current children cumulated vsize (Kb) 121920

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37890 0 0 0 44824 116 0 0 25 0 1 0 21100040 124846080 23283 4294967295 134512640 135987407 3221224576 3221223008 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30480 23283 364 364 0 30116 0
[pid=7056] vsize: 121920
Current children cumulated CPU time (s) 449.4
Current children cumulated vsize (Kb) 121920

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37968 0 0 0 45822 117 0 0 25 0 1 0 21100040 125177856 23361 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23361 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 459.39
Current children cumulated vsize (Kb) 122244

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 37969 0 0 0 46819 118 0 0 25 0 1 0 21100040 125177856 23362 4294967295 134512640 135987407 3221224576 3221223248 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23362 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 469.37
Current children cumulated vsize (Kb) 122244

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38298 0 0 0 47816 120 0 0 25 0 1 0 21100040 125177856 23365 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23365 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 479.36
Current children cumulated vsize (Kb) 122244

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38302 0 0 0 48814 121 0 0 25 0 1 0 21100040 125177856 23369 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23369 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 489.35
Current children cumulated vsize (Kb) 122244

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38310 0 0 0 49813 122 0 0 25 0 1 0 21100040 125177856 23377 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23377 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 499.35
Current children cumulated vsize (Kb) 122244

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38314 0 0 0 50811 122 0 0 25 0 1 0 21100040 125177856 23381 4294967295 134512640 135987407 3221224576 3221223248 134824224 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23381 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 509.33
Current children cumulated vsize (Kb) 122244

[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38640 0 0 0 51809 123 0 0 25 0 1 0 21100040 125177856 23381 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23381 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 519.32
Current children cumulated vsize (Kb) 122244

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38642 0 0 0 52807 124 0 0 25 0 1 0 21100040 125177856 23383 4294967295 134512640 135987407 3221224576 3221223120 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23383 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 529.31
Current children cumulated vsize (Kb) 122244

[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38643 0 0 0 53806 124 0 0 25 0 1 0 21100040 125177856 23384 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23384 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 539.3
Current children cumulated vsize (Kb) 122244

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38644 0 0 0 54805 125 0 0 25 0 1 0 21100040 125177856 23385 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23385 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 549.3
Current children cumulated vsize (Kb) 122244

[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38971 0 0 0 55803 126 0 0 25 0 1 0 21100040 125177856 23386 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23386 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 559.29
Current children cumulated vsize (Kb) 122244

[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38971 0 0 0 56802 126 0 0 25 0 1 0 21100040 125177856 23386 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23386 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 569.28
Current children cumulated vsize (Kb) 122244

[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38973 0 0 0 57800 127 0 0 25 0 1 0 21100040 125177856 23388 4294967295 134512640 135987407 3221224576 3221223216 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23388 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 579.27
Current children cumulated vsize (Kb) 122244

[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38974 0 0 0 58799 128 0 0 25 0 1 0 21100040 125177856 23389 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23389 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 589.27
Current children cumulated vsize (Kb) 122244

[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 38975 0 0 0 59798 128 0 0 25 0 1 0 21100040 125177856 23390 4294967295 134512640 135987407 3221224576 3221223120 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23390 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 599.26
Current children cumulated vsize (Kb) 122244

[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39302 0 0 0 60796 130 0 0 25 0 1 0 21100040 125177856 23391 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30561 23391 364 364 0 30197 0
[pid=7056] vsize: 122244
Current children cumulated CPU time (s) 609.26
Current children cumulated vsize (Kb) 122244

[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39307 0 0 0 61794 130 0 0 25 0 1 0 21100040 125313024 23396 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30594 23396 364 364 0 30230 0
[pid=7056] vsize: 122376
Current children cumulated CPU time (s) 619.24
Current children cumulated vsize (Kb) 122376

[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39308 0 0 0 62792 131 0 0 25 0 1 0 21100040 125313024 23397 4294967295 134512640 135987407 3221224576 3221223212 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30594 23397 364 364 0 30230 0
[pid=7056] vsize: 122376
Current children cumulated CPU time (s) 629.23
Current children cumulated vsize (Kb) 122376

[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39310 0 0 0 63791 132 0 0 25 0 1 0 21100040 125313024 23399 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30594 23399 364 364 0 30230 0
[pid=7056] vsize: 122376
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (Kb) 122376

[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39651 0 0 0 64788 133 0 0 25 0 1 0 21100040 125313024 23414 4294967295 134512640 135987407 3221224576 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30594 23414 364 364 0 30230 0
[pid=7056] vsize: 122376
Current children cumulated CPU time (s) 649.21
Current children cumulated vsize (Kb) 122376

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39655 0 0 0 65785 135 0 0 25 0 1 0 21100040 125313024 23418 4294967295 134512640 135987407 3221224576 3221223120 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30594 23418 364 364 0 30230 0
[pid=7056] vsize: 122376
Current children cumulated CPU time (s) 659.2
Current children cumulated vsize (Kb) 122376

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39748 0 0 0 66783 136 0 0 25 0 1 0 21100040 125730816 23511 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30696 23511 364 364 0 30332 0
[pid=7056] vsize: 122784
Current children cumulated CPU time (s) 669.19
Current children cumulated vsize (Kb) 122784

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 39749 0 0 0 67782 136 0 0 25 0 1 0 21100040 125730816 23512 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30696 23512 364 364 0 30332 0
[pid=7056] vsize: 122784
Current children cumulated CPU time (s) 679.18
Current children cumulated vsize (Kb) 122784

[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40076 0 0 0 68779 138 0 0 25 0 1 0 21100040 125730816 23513 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30696 23513 364 364 0 30332 0
[pid=7056] vsize: 122784
Current children cumulated CPU time (s) 689.17
Current children cumulated vsize (Kb) 122784

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40082 0 0 0 69778 139 0 0 25 0 1 0 21100040 125730816 23519 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30696 23519 364 364 0 30332 0
[pid=7056] vsize: 122784
Current children cumulated CPU time (s) 699.17
Current children cumulated vsize (Kb) 122784

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40083 0 0 0 70776 139 0 0 25 0 1 0 21100040 125730816 23520 4294967295 134512640 135987407 3221224576 3221223120 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30696 23520 364 364 0 30332 0
[pid=7056] vsize: 122784
Current children cumulated CPU time (s) 709.15
Current children cumulated vsize (Kb) 122784

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40084 0 0 0 71774 140 0 0 25 0 1 0 21100040 125730816 23521 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30696 23521 364 364 0 30332 0
[pid=7056] vsize: 122784
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 122784

[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40466 0 0 0 72771 142 0 0 25 0 1 0 21100040 126193664 23577 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 30809 23577 364 364 0 30445 0
[pid=7056] vsize: 123236
Current children cumulated CPU time (s) 729.13
Current children cumulated vsize (Kb) 123236

[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40772 0 0 0 73767 144 0 0 25 0 1 0 21100040 127528960 23817 4294967295 134512640 135987407 3221224576 3221223244 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23817 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 739.11
Current children cumulated vsize (Kb) 124540

[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40772 0 0 0 74766 144 0 0 25 0 1 0 21100040 127528960 23817 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23817 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 749.1
Current children cumulated vsize (Kb) 124540

[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40773 0 0 0 75765 145 0 0 25 0 1 0 21100040 127528960 23818 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23818 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 759.1
Current children cumulated vsize (Kb) 124540

[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40774 0 0 0 76764 145 0 0 25 0 1 0 21100040 127528960 23819 4294967295 134512640 135987407 3221224576 3221223120 134812063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23819 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 769.09
Current children cumulated vsize (Kb) 124540

[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 40775 0 0 0 77762 146 0 0 25 0 1 0 21100040 127528960 23820 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23820 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 779.08
Current children cumulated vsize (Kb) 124540

[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41102 0 0 0 78760 147 0 0 25 0 1 0 21100040 127528960 23821 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23821 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 789.07
Current children cumulated vsize (Kb) 124540

[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41103 0 0 0 79758 147 0 0 25 0 1 0 21100040 127528960 23822 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23822 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 799.05
Current children cumulated vsize (Kb) 124540

[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41104 0 0 0 80756 147 0 0 25 0 1 0 21100040 127528960 23823 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23823 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 809.03
Current children cumulated vsize (Kb) 124540

[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41431 0 0 0 81754 149 0 0 25 0 1 0 21100040 127528960 23824 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23824 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 819.03
Current children cumulated vsize (Kb) 124540

[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41432 0 0 0 82753 150 0 0 25 0 1 0 21100040 127528960 23825 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23825 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 829.03
Current children cumulated vsize (Kb) 124540

[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41433 0 0 0 83751 150 0 0 25 0 1 0 21100040 127528960 23826 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23826 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 839.01
Current children cumulated vsize (Kb) 124540

[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41434 0 0 0 84750 151 0 0 25 0 1 0 21100040 127528960 23827 4294967295 134512640 135987407 3221224576 3221223248 134824216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23827 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 849.01
Current children cumulated vsize (Kb) 124540

[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41435 0 0 0 85748 151 0 0 25 0 1 0 21100040 127528960 23828 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23828 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 858.99
Current children cumulated vsize (Kb) 124540

[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41761 0 0 0 86746 153 0 0 25 0 1 0 21100040 127528960 23828 4294967295 134512640 135987407 3221224576 3221223120 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23828 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 868.99
Current children cumulated vsize (Kb) 124540

[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41762 0 0 0 87744 154 0 0 25 0 1 0 21100040 127528960 23829 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23829 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 878.98
Current children cumulated vsize (Kb) 124540

[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41763 0 0 0 88743 154 0 0 25 0 1 0 21100040 127528960 23830 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23830 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 888.97
Current children cumulated vsize (Kb) 124540

[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41766 0 0 0 89741 155 0 0 25 0 1 0 21100040 127528960 23833 4294967295 134512640 135987407 3221224576 3221223216 134812293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23833 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 898.96
Current children cumulated vsize (Kb) 124540

[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 41767 0 0 0 90740 156 0 0 25 0 1 0 21100040 127528960 23834 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23834 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 908.96
Current children cumulated vsize (Kb) 124540

[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42094 0 0 0 91738 157 0 0 25 0 1 0 21100040 127528960 23835 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23835 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 918.95
Current children cumulated vsize (Kb) 124540

[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42094 0 0 0 92736 158 0 0 25 0 1 0 21100040 127528960 23835 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23835 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 928.94
Current children cumulated vsize (Kb) 124540

[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42095 0 0 0 93735 158 0 0 25 0 1 0 21100040 127528960 23836 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23836 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 938.93
Current children cumulated vsize (Kb) 124540

[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42096 0 0 0 94734 159 0 0 25 0 1 0 21100040 127528960 23837 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23837 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 948.93
Current children cumulated vsize (Kb) 124540

[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42097 0 0 0 95733 159 0 0 25 0 1 0 21100040 127528960 23838 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23838 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 958.92
Current children cumulated vsize (Kb) 124540

[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42424 0 0 0 96731 160 0 0 25 0 1 0 21100040 127528960 23839 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23839 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 968.91
Current children cumulated vsize (Kb) 124540

[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42424 0 0 0 97730 161 0 0 25 0 1 0 21100040 127528960 23839 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23839 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 978.91
Current children cumulated vsize (Kb) 124540

[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42425 0 0 0 98728 162 0 0 25 0 1 0 21100040 127528960 23840 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23840 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 988.9
Current children cumulated vsize (Kb) 124540

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42426 0 0 0 99728 162 0 0 25 0 1 0 21100040 127528960 23841 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7056/statm): 31135 23841 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 998.9
Current children cumulated vsize (Kb) 124540

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42427 0 0 0 100727 162 0 0 25 0 1 0 21100040 127528960 23842 4294967295 134512640 135987407 3221224576 3221223120 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23842 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1008.89
Current children cumulated vsize (Kb) 124540

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42766 0 0 0 101725 163 0 0 25 0 1 0 21100040 127528960 23855 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23855 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1018.88
Current children cumulated vsize (Kb) 124540

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42771 0 0 0 102724 164 0 0 25 0 1 0 21100040 127528960 23860 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23860 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1028.88
Current children cumulated vsize (Kb) 124540

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42771 0 0 0 103723 164 0 0 25 0 1 0 21100040 127528960 23860 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23860 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1038.87
Current children cumulated vsize (Kb) 124540

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42772 0 0 0 104721 165 0 0 25 0 1 0 21100040 127528960 23861 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23861 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1048.86
Current children cumulated vsize (Kb) 124540

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 42777 0 0 0 105720 165 0 0 25 0 1 0 21100040 127528960 23866 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23866 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1058.85
Current children cumulated vsize (Kb) 124540

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43104 0 0 0 106719 166 0 0 25 0 1 0 21100040 127528960 23867 4294967295 134512640 135987407 3221224576 3221223120 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23867 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1068.85
Current children cumulated vsize (Kb) 124540

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43105 0 0 0 107717 167 0 0 25 0 1 0 21100040 127528960 23868 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23868 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1078.84
Current children cumulated vsize (Kb) 124540

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43106 0 0 0 108716 167 0 0 25 0 1 0 21100040 127528960 23869 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23869 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1088.83
Current children cumulated vsize (Kb) 124540

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43107 0 0 0 109715 168 0 0 25 0 1 0 21100040 127528960 23870 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23870 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1098.83
Current children cumulated vsize (Kb) 124540

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43434 0 0 0 110713 170 0 0 25 0 1 0 21100040 127528960 23871 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23871 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1108.83
Current children cumulated vsize (Kb) 124540

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43435 0 0 0 111710 171 0 0 25 0 1 0 21100040 127528960 23872 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23872 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1118.81
Current children cumulated vsize (Kb) 124540

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43438 0 0 0 112709 171 0 0 25 0 1 0 21100040 127528960 23875 4294967295 134512640 135987407 3221224576 3221223120 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23875 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1128.8
Current children cumulated vsize (Kb) 124540

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43438 0 0 0 113709 172 0 0 25 0 1 0 21100040 127528960 23875 4294967295 134512640 135987407 3221224576 3221223120 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23875 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1138.81
Current children cumulated vsize (Kb) 124540

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43439 0 0 0 114707 172 0 0 25 0 1 0 21100040 127528960 23876 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23876 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1148.79
Current children cumulated vsize (Kb) 124540

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43766 0 0 0 115705 173 0 0 25 0 1 0 21100040 127528960 23877 4294967295 134512640 135987407 3221224576 3221223212 134801098 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31135 23877 364 364 0 30771 0
[pid=7056] vsize: 124540
Current children cumulated CPU time (s) 1158.78
Current children cumulated vsize (Kb) 124540

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43769 0 0 0 116704 174 0 0 25 0 1 0 21100040 127664128 23880 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31168 23880 364 364 0 30804 0
[pid=7056] vsize: 124672
Current children cumulated CPU time (s) 1168.78
Current children cumulated vsize (Kb) 124672

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43772 0 0 0 117702 175 0 0 25 0 1 0 21100040 127664128 23883 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31168 23883 364 364 0 30804 0
[pid=7056] vsize: 124672
Current children cumulated CPU time (s) 1178.77
Current children cumulated vsize (Kb) 124672

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 43775 0 0 0 118701 175 0 0 25 0 1 0 21100040 127664128 23886 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31168 23886 364 364 0 30804 0
[pid=7056] vsize: 124672
Current children cumulated CPU time (s) 1188.76
Current children cumulated vsize (Kb) 124672

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 44107 0 0 0 119699 177 0 0 25 0 1 0 21100040 127664128 23892 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31168 23892 364 364 0 30804 0
[pid=7056] vsize: 124672
Current children cumulated CPU time (s) 1198.76
Current children cumulated vsize (Kb) 124672

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 44110 0 0 0 120698 177 0 0 25 0 1 0 21100040 127664128 23895 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31168 23895 364 364 0 30804 0
[pid=7056] vsize: 124672
Current children cumulated CPU time (s) 1208.75
Current children cumulated vsize (Kb) 124672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7064
Raw data (/proc/7056/stat): 7056 (pb2sat) R 7055 7056 4060 0 -1 0 44110 0 0 0 120698 177 0 0 25 0 1 0 21100040 127664128 23895 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7056/statm): 31168 23895 364 364 0 30804 0
[pid=7056] vsize: 124672
Current children cumulated CPU time (s) 1208.75
Current children cumulated vsize (Kb) 124672

Sending SIGTERM to -7056
Sleeping 2 seconds
One traced child (pid=7056) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.37
CPU time (s): 1209.08
CPU user time (s): 1207.24
CPU system time (s): 1.83472
CPU usage (%): 99.8931
Max. virtual memory (cumulated for all children) (Kb): 124672

Verifier Data

Verifier:	OK	332