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

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUMaffd575590f5a6117d93002dff93565b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 212680
Biggest coefficient in the objective function 38252041742581760
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 82366741301042724864
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 38252041742581760
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 82366741301042724864
Number of bits of the biggest sum of numbers67
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables309773
Total number of constraints6093
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)128
Number of constraints which are nor clauses,nor cardinality constraints5965
Minimum length of a constraint1
Maximum length of a constraint24690

Trace number 10118

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 16:44:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8815 boxname=wulflinc27 idbench=611 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 8815
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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.039
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:        919156 kB
Buffers:         11700 kB
Cached:          86288 kB
SwapCached:          0 kB
Active:          63920 kB
Inactive:        36944 kB
HighTotal:      131008 kB
HighFree:        40320 kB
LowTotal:       903652 kB
LowFree:        878836 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9016 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:04:48 (client local time) WITH STATUS 0 IN 1200.63 SECONDS
stats: 8815 7 1200.63 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
s UNKNOWN

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/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21690051 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 373 2 364 364 0 9 0
[pid=9556] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod011.opb

[startup+10.0025 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 2474 0 0 0 991 7 0 0 25 0 1 0 21690051 9367552 1788 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 2287 1788 364 364 0 1923 0
[pid=9556] vsize: 9148
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9148

[startup+20.0034 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 3013 0 0 0 1989 8 0 0 25 0 1 0 21690051 10719232 2319 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 2617 2319 364 364 0 2253 0
[pid=9556] vsize: 10468
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 10468

[startup+30.0042 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 4385 0 0 0 2987 11 0 0 25 0 1 0 21690051 15630336 2946 4294967295 134512640 135987407 3221224560 3221221784 134895121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 3816 2946 364 364 0 3452 0
[pid=9556] vsize: 15264
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15264

[startup+40.005 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 4655 0 0 0 3985 13 0 0 25 0 1 0 21690051 16306176 3211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 3981 3211 364 364 0 3617 0
[pid=9556] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0058 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 4912 0 0 0 4984 14 0 0 25 0 1 0 21690051 16982016 3464 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 4146 3464 364 364 0 3782 0
[pid=9556] vsize: 16584
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16584

[startup+60.0056 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5150 0 0 0 5983 15 0 0 25 0 1 0 21690051 17522688 3698 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 4278 3698 364 364 0 3914 0
[pid=9556] vsize: 17112
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17112

[startup+70.0054 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5368 0 0 0 6982 16 0 0 25 0 1 0 21690051 18198528 3913 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 4443 3913 364 364 0 4079 0
[pid=9556] vsize: 17772
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17772

[startup+80.0063 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5569 0 0 0 7981 17 0 0 25 0 1 0 21690051 18604032 4110 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 4542 4110 364 364 0 4178 0
[pid=9556] vsize: 18168
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18168

[startup+90.0061 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5756 0 0 0 8980 18 0 0 25 0 1 0 21690051 19144704 4294 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 4674 4294 364 364 0 4310 0
[pid=9556] vsize: 18696
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18696

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5930 0 0 0 9980 18 0 0 25 0 1 0 21690051 19550208 4466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 4773 4466 364 364 0 4409 0
[pid=9556] vsize: 19092
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19092

[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8297 0 0 0 10975 23 0 0 25 0 1 0 21690051 28831744 5355 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7039 5355 364 364 0 6675 0
[pid=9556] vsize: 28156
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28156

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8355 0 0 0 11975 23 0 0 25 0 1 0 21690051 28831744 5411 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7039 5411 364 364 0 6675 0
[pid=9556] vsize: 28156
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28156

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8467 0 0 0 12975 23 0 0 25 0 1 0 21690051 28966912 5520 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7072 5520 364 364 0 6708 0
[pid=9556] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8594 0 0 0 13975 24 0 0 25 0 1 0 21690051 29237248 5645 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7138 5645 364 364 0 6774 0
[pid=9556] vsize: 28552
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28552

[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8717 0 0 0 14974 24 0 0 25 0 1 0 21690051 29642752 5765 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7237 5765 364 364 0 6873 0
[pid=9556] vsize: 28948
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28948

[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8836 0 0 0 15974 25 0 0 25 0 1 0 21690051 29913088 5882 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7303 5882 364 364 0 6939 0
[pid=9556] vsize: 29212
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29212

[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8949 0 0 0 16973 25 0 0 25 0 1 0 21690051 30183424 5993 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 7369 5993 364 364 0 7005 0
[pid=9556] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9069 0 0 0 17973 26 0 0 25 0 1 0 21690051 30453760 6111 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 7435 6111 364 364 0 7071 0
[pid=9556] vsize: 29740
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29740

[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9192 0 0 0 18973 26 0 0 25 0 1 0 21690051 30724096 6232 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 7501 6232 364 364 0 7137 0
[pid=9556] vsize: 30004
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30004

[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9314 0 0 0 19972 27 0 0 25 0 1 0 21690051 30994432 6352 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 7567 6352 364 364 0 7203 0
[pid=9556] vsize: 30268
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30268

[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9434 0 0 0 20972 27 0 0 25 0 1 0 21690051 31399936 6470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7666 6470 364 364 0 7302 0
[pid=9556] vsize: 30664
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30664

[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9553 0 0 0 21971 28 0 0 25 0 1 0 21690051 31670272 6587 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7732 6587 364 364 0 7368 0
[pid=9556] vsize: 30928
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 30928

[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9668 0 0 0 22971 28 0 0 25 0 1 0 21690051 31940608 6700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7798 6700 364 364 0 7434 0
[pid=9556] vsize: 31192
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31192

[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9780 0 0 0 23971 28 0 0 25 0 1 0 21690051 32210944 6811 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7864 6811 364 364 0 7500 0
[pid=9556] vsize: 31456
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31456

[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9891 0 0 0 24971 29 0 0 25 0 1 0 21690051 32481280 6920 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7930 6920 364 364 0 7566 0
[pid=9556] vsize: 31720
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 31720

[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10002 0 0 0 25970 29 0 0 25 0 1 0 21690051 32751616 7029 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 7996 7029 364 364 0 7632 0
[pid=9556] vsize: 31984
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 31984

[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10107 0 0 0 26970 29 0 0 25 0 1 0 21690051 33157120 7132 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 8095 7132 364 364 0 7731 0
[pid=9556] vsize: 32380
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32380

[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10213 0 0 0 27970 30 0 0 25 0 1 0 21690051 33427456 7237 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 8161 7237 364 364 0 7797 0
[pid=9556] vsize: 32644
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 32644

[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10316 0 0 0 28970 30 0 0 25 0 1 0 21690051 33562624 7338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 8194 7338 364 364 0 7830 0
[pid=9556] vsize: 32776
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 32776

[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10416 0 0 0 29969 30 0 0 25 0 1 0 21690051 33832960 7436 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 8260 7436 364 364 0 7896 0
[pid=9556] vsize: 33040
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33040

[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10514 0 0 0 30969 30 0 0 25 0 1 0 21690051 34103296 7533 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 8326 7533 364 364 0 7962 0
[pid=9556] vsize: 33304
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 33304

[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10612 0 0 0 31969 31 0 0 25 0 1 0 21690051 34373632 7629 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 8392 7629 364 364 0 8028 0
[pid=9556] vsize: 33568
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 33568

[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10708 0 0 0 32969 31 0 0 25 0 1 0 21690051 34643968 7724 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8458 7724 364 364 0 8094 0
[pid=9556] vsize: 33832
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 33832

[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10804 0 0 0 33969 31 0 0 25 0 1 0 21690051 34914304 7818 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8524 7818 364 364 0 8160 0
[pid=9556] vsize: 34096
Current children cumulated CPU time (s) 340
Current children cumulated vsize (Kb) 34096

[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10899 0 0 0 34968 32 0 0 25 0 1 0 21690051 35184640 7912 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8590 7912 364 364 0 8226 0
[pid=9556] vsize: 34360
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 34360

[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10994 0 0 0 35968 32 0 0 25 0 1 0 21690051 35319808 8005 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8623 8005 364 364 0 8259 0
[pid=9556] vsize: 34492
Current children cumulated CPU time (s) 360
Current children cumulated vsize (Kb) 34492

[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11088 0 0 0 36968 33 0 0 25 0 1 0 21690051 35590144 8097 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8689 8097 364 364 0 8325 0
[pid=9556] vsize: 34756
Current children cumulated CPU time (s) 370.01
Current children cumulated vsize (Kb) 34756

[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11179 0 0 0 37968 33 0 0 25 0 1 0 21690051 35860480 8187 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8755 8187 364 364 0 8391 0
[pid=9556] vsize: 35020
Current children cumulated CPU time (s) 380.01
Current children cumulated vsize (Kb) 35020

[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11266 0 0 0 38967 33 0 0 25 0 1 0 21690051 36130816 8273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8821 8273 364 364 0 8457 0
[pid=9556] vsize: 35284
Current children cumulated CPU time (s) 390
Current children cumulated vsize (Kb) 35284

[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11356 0 0 0 39967 34 0 0 25 0 1 0 21690051 36265984 8361 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8854 8361 364 364 0 8490 0
[pid=9556] vsize: 35416
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (Kb) 35416

[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11445 0 0 0 40966 34 0 0 25 0 1 0 21690051 36536320 8449 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8920 8449 364 364 0 8556 0
[pid=9556] vsize: 35680
Current children cumulated CPU time (s) 410
Current children cumulated vsize (Kb) 35680

[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11530 0 0 0 41966 34 0 0 25 0 1 0 21690051 36806656 8532 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 8986 8532 364 364 0 8622 0
[pid=9556] vsize: 35944
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 35944

[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11617 0 0 0 42966 35 0 0 25 0 1 0 21690051 36941824 8618 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 9019 8618 364 364 0 8655 0
[pid=9556] vsize: 36076
Current children cumulated CPU time (s) 430.01
Current children cumulated vsize (Kb) 36076

[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11702 0 0 0 43966 35 0 0 25 0 1 0 21690051 37212160 8702 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 9085 8702 364 364 0 8721 0
[pid=9556] vsize: 36340
Current children cumulated CPU time (s) 440.01
Current children cumulated vsize (Kb) 36340

[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11785 0 0 0 44966 35 0 0 25 0 1 0 21690051 37347328 8783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 9118 8783 364 364 0 8754 0
[pid=9556] vsize: 36472
Current children cumulated CPU time (s) 450.01
Current children cumulated vsize (Kb) 36472

[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11869 0 0 0 45966 35 0 0 25 0 1 0 21690051 37617664 8866 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 9184 8866 364 364 0 8820 0
[pid=9556] vsize: 36736
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (Kb) 36736

[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11951 0 0 0 46966 35 0 0 25 0 1 0 21690051 37888000 8947 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 9250 8947 364 364 0 8886 0
[pid=9556] vsize: 37000
Current children cumulated CPU time (s) 470.01
Current children cumulated vsize (Kb) 37000

[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16486 0 0 0 47956 44 0 0 25 0 1 0 21690051 55775232 10533 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13617 10533 364 364 0 13253 0
[pid=9556] vsize: 54468
Current children cumulated CPU time (s) 480
Current children cumulated vsize (Kb) 54468

[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16517 0 0 0 48956 44 0 0 25 0 1 0 21690051 55775232 10563 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13617 10563 364 364 0 13253 0
[pid=9556] vsize: 54468
Current children cumulated CPU time (s) 490
Current children cumulated vsize (Kb) 54468

[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16546 0 0 0 49956 44 0 0 25 0 1 0 21690051 55775232 10591 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13617 10591 364 364 0 13253 0
[pid=9556] vsize: 54468
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 54468

[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16576 0 0 0 50956 45 0 0 25 0 1 0 21690051 55775232 10619 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13617 10619 364 364 0 13253 0
[pid=9556] vsize: 54468
Current children cumulated CPU time (s) 510.01
Current children cumulated vsize (Kb) 54468

[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16605 0 0 0 51956 45 0 0 25 0 1 0 21690051 55775232 10647 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13617 10647 364 364 0 13253 0
[pid=9556] vsize: 54468
Current children cumulated CPU time (s) 520.01
Current children cumulated vsize (Kb) 54468

[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16634 0 0 0 52956 45 0 0 25 0 1 0 21690051 55775232 10675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13617 10675 364 364 0 13253 0
[pid=9556] vsize: 54468
Current children cumulated CPU time (s) 530.01
Current children cumulated vsize (Kb) 54468

[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16667 0 0 0 53956 45 0 0 25 0 1 0 21690051 55775232 10707 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13617 10707 364 364 0 13253 0
[pid=9556] vsize: 54468
Current children cumulated CPU time (s) 540.01
Current children cumulated vsize (Kb) 54468

[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16733 0 0 0 54956 45 0 0 25 0 1 0 21690051 55910400 10771 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13650 10771 364 364 0 13286 0
[pid=9556] vsize: 54600
Current children cumulated CPU time (s) 550.01
Current children cumulated vsize (Kb) 54600

[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16799 0 0 0 55956 45 0 0 25 0 1 0 21690051 56045568 10836 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 13683 10836 364 364 0 13319 0
[pid=9556] vsize: 54732
Current children cumulated CPU time (s) 560.01
Current children cumulated vsize (Kb) 54732

[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16864 0 0 0 56956 46 0 0 25 0 1 0 21690051 56180736 10900 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 13716 10900 364 364 0 13352 0
[pid=9556] vsize: 54864
Current children cumulated CPU time (s) 570.02
Current children cumulated vsize (Kb) 54864

[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16927 0 0 0 57955 46 0 0 25 0 1 0 21690051 56451072 10962 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13782 10962 364 364 0 13418 0
[pid=9556] vsize: 55128
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (Kb) 55128

[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16992 0 0 0 58955 46 0 0 25 0 1 0 21690051 56586240 11026 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13815 11026 364 364 0 13451 0
[pid=9556] vsize: 55260
Current children cumulated CPU time (s) 590.01
Current children cumulated vsize (Kb) 55260

[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17056 0 0 0 59955 46 0 0 25 0 1 0 21690051 56721408 11088 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13848 11088 364 364 0 13484 0
[pid=9556] vsize: 55392
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (Kb) 55392

[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17120 0 0 0 60955 47 0 0 25 0 1 0 21690051 56856576 11151 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13881 11151 364 364 0 13517 0
[pid=9556] vsize: 55524
Current children cumulated CPU time (s) 610.02
Current children cumulated vsize (Kb) 55524

[startup+620.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17180 0 0 0 61955 47 0 0 25 0 1 0 21690051 56991744 11210 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13914 11210 364 364 0 13550 0
[pid=9556] vsize: 55656
Current children cumulated CPU time (s) 620.02
Current children cumulated vsize (Kb) 55656

[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17245 0 0 0 62955 47 0 0 25 0 1 0 21690051 57126912 11274 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13947 11274 364 364 0 13583 0
[pid=9556] vsize: 55788
Current children cumulated CPU time (s) 630.02
Current children cumulated vsize (Kb) 55788

[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17306 0 0 0 63955 47 0 0 25 0 1 0 21690051 57262080 11334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 13980 11334 364 364 0 13616 0
[pid=9556] vsize: 55920
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (Kb) 55920

[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17367 0 0 0 64955 47 0 0 25 0 1 0 21690051 57397248 11394 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14013 11394 364 364 0 13649 0
[pid=9556] vsize: 56052
Current children cumulated CPU time (s) 650.02
Current children cumulated vsize (Kb) 56052

[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17427 0 0 0 65954 48 0 0 25 0 1 0 21690051 57532416 11453 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14046 11453 364 364 0 13682 0
[pid=9556] vsize: 56184
Current children cumulated CPU time (s) 660.02
Current children cumulated vsize (Kb) 56184

[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17488 0 0 0 66954 48 0 0 25 0 1 0 21690051 57667584 11512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14079 11512 364 364 0 13715 0
[pid=9556] vsize: 56316
Current children cumulated CPU time (s) 670.02
Current children cumulated vsize (Kb) 56316

[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17547 0 0 0 67954 48 0 0 25 0 1 0 21690051 57802752 11570 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14112 11570 364 364 0 13748 0
[pid=9556] vsize: 56448
Current children cumulated CPU time (s) 680.02
Current children cumulated vsize (Kb) 56448

[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17607 0 0 0 68954 48 0 0 25 0 1 0 21690051 57937920 11629 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14145 11629 364 364 0 13781 0
[pid=9556] vsize: 56580
Current children cumulated CPU time (s) 690.02
Current children cumulated vsize (Kb) 56580

[startup+700.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17665 0 0 0 69954 48 0 0 25 0 1 0 21690051 58073088 11686 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14178 11686 364 364 0 13814 0
[pid=9556] vsize: 56712
Current children cumulated CPU time (s) 700.02
Current children cumulated vsize (Kb) 56712

[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17726 0 0 0 70954 49 0 0 25 0 1 0 21690051 58208256 11746 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14211 11746 364 364 0 13847 0
[pid=9556] vsize: 56844
Current children cumulated CPU time (s) 710.03
Current children cumulated vsize (Kb) 56844

[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17783 0 0 0 71953 49 0 0 25 0 1 0 21690051 58343424 11802 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14244 11802 364 364 0 13880 0
[pid=9556] vsize: 56976
Current children cumulated CPU time (s) 720.02
Current children cumulated vsize (Kb) 56976

[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17840 0 0 0 72953 49 0 0 25 0 1 0 21690051 58478592 11858 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14277 11858 364 364 0 13913 0
[pid=9556] vsize: 57108
Current children cumulated CPU time (s) 730.02
Current children cumulated vsize (Kb) 57108

[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17898 0 0 0 73953 49 0 0 25 0 1 0 21690051 58613760 11915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14310 11915 364 364 0 13946 0
[pid=9556] vsize: 57240
Current children cumulated CPU time (s) 740.02
Current children cumulated vsize (Kb) 57240

[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17959 0 0 0 74953 49 0 0 25 0 1 0 21690051 58884096 11975 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14376 11975 364 364 0 14012 0
[pid=9556] vsize: 57504
Current children cumulated CPU time (s) 750.02
Current children cumulated vsize (Kb) 57504

[startup+760.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18022 0 0 0 75953 49 0 0 25 0 1 0 21690051 59019264 12037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14409 12037 364 364 0 14045 0
[pid=9556] vsize: 57636
Current children cumulated CPU time (s) 760.02
Current children cumulated vsize (Kb) 57636

[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18087 0 0 0 76953 50 0 0 25 0 1 0 21690051 59154432 12101 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14442 12101 364 364 0 14078 0
[pid=9556] vsize: 57768
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 57768

[startup+780.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18152 0 0 0 77953 50 0 0 25 0 1 0 21690051 59289600 12165 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14475 12165 364 364 0 14111 0
[pid=9556] vsize: 57900
Current children cumulated CPU time (s) 780.03
Current children cumulated vsize (Kb) 57900

[startup+790.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18215 0 0 0 78952 50 0 0 25 0 1 0 21690051 59424768 12227 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14508 12227 364 364 0 14144 0
[pid=9556] vsize: 58032
Current children cumulated CPU time (s) 790.02
Current children cumulated vsize (Kb) 58032

[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18278 0 0 0 79952 51 0 0 25 0 1 0 21690051 59695104 12289 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14574 12289 364 364 0 14210 0
[pid=9556] vsize: 58296
Current children cumulated CPU time (s) 800.03
Current children cumulated vsize (Kb) 58296

[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18341 0 0 0 80952 51 0 0 25 0 1 0 21690051 59830272 12351 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14607 12351 364 364 0 14243 0
[pid=9556] vsize: 58428
Current children cumulated CPU time (s) 810.03
Current children cumulated vsize (Kb) 58428

[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18405 0 0 0 81952 51 0 0 25 0 1 0 21690051 59965440 12414 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14640 12414 364 364 0 14276 0
[pid=9556] vsize: 58560
Current children cumulated CPU time (s) 820.03
Current children cumulated vsize (Kb) 58560

[startup+830.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18469 0 0 0 82952 51 0 0 25 0 1 0 21690051 60100608 12476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14673 12476 364 364 0 14309 0
[pid=9556] vsize: 58692
Current children cumulated CPU time (s) 830.03
Current children cumulated vsize (Kb) 58692

[startup+840.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18530 0 0 0 83952 51 0 0 25 0 1 0 21690051 60235776 12536 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14706 12536 364 364 0 14342 0
[pid=9556] vsize: 58824
Current children cumulated CPU time (s) 840.03
Current children cumulated vsize (Kb) 58824

[startup+850.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18592 0 0 0 84952 51 0 0 25 0 1 0 21690051 60506112 12597 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14772 12597 364 364 0 14408 0
[pid=9556] vsize: 59088
Current children cumulated CPU time (s) 850.03
Current children cumulated vsize (Kb) 59088

[startup+860.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18651 0 0 0 85951 52 0 0 25 0 1 0 21690051 60641280 12656 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14805 12656 364 364 0 14441 0
[pid=9556] vsize: 59220
Current children cumulated CPU time (s) 860.03
Current children cumulated vsize (Kb) 59220

[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18714 0 0 0 86951 52 0 0 25 0 1 0 21690051 60776448 12718 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14838 12718 364 364 0 14474 0
[pid=9556] vsize: 59352
Current children cumulated CPU time (s) 870.03
Current children cumulated vsize (Kb) 59352

[startup+880.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18774 0 0 0 87951 52 0 0 25 0 1 0 21690051 60911616 12777 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14871 12777 364 364 0 14507 0
[pid=9556] vsize: 59484
Current children cumulated CPU time (s) 880.03
Current children cumulated vsize (Kb) 59484

[startup+890.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18833 0 0 0 88951 52 0 0 25 0 1 0 21690051 61046784 12835 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14904 12835 364 364 0 14540 0
[pid=9556] vsize: 59616
Current children cumulated CPU time (s) 890.03
Current children cumulated vsize (Kb) 59616

[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18894 0 0 0 89951 52 0 0 25 0 1 0 21690051 61181952 12895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14937 12895 364 364 0 14573 0
[pid=9556] vsize: 59748
Current children cumulated CPU time (s) 900.03
Current children cumulated vsize (Kb) 59748

[startup+910.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9556
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18953 0 0 0 90951 52 0 0 25 0 1 0 21690051 61317120 12953 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 14970 12953 364 364 0 14606 0
[pid=9556] vsize: 59880
Current children cumulated CPU time (s) 910.03
Current children cumulated vsize (Kb) 59880

[startup+920.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/59 9606
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19013 0 0 0 91948 55 0 0 25 0 1 0 21690051 61587456 13012 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15036 13012 364 364 0 14672 0
[pid=9556] vsize: 60144
Current children cumulated CPU time (s) 920.03
Current children cumulated vsize (Kb) 60144

[startup+930.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9611
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19072 0 0 0 92948 55 0 0 25 0 1 0 21690051 61722624 13070 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15069 13070 364 364 0 14705 0
[pid=9556] vsize: 60276
Current children cumulated CPU time (s) 930.03
Current children cumulated vsize (Kb) 60276

[startup+940.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9611
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19129 0 0 0 93948 55 0 0 25 0 1 0 21690051 61857792 13126 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15102 13126 364 364 0 14738 0
[pid=9556] vsize: 60408
Current children cumulated CPU time (s) 940.03
Current children cumulated vsize (Kb) 60408

[startup+950.038 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9611
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19188 0 0 0 94947 56 0 0 25 0 1 0 21690051 61992960 13184 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15135 13184 364 364 0 14771 0
[pid=9556] vsize: 60540
Current children cumulated CPU time (s) 950.03
Current children cumulated vsize (Kb) 60540

[startup+960.039 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9611
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19246 0 0 0 95947 56 0 0 25 0 1 0 21690051 62128128 13241 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15168 13241 364 364 0 14804 0
[pid=9556] vsize: 60672
Current children cumulated CPU time (s) 960.03
Current children cumulated vsize (Kb) 60672

[startup+970.039 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9611
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19304 0 0 0 96947 56 0 0 25 0 1 0 21690051 62263296 13298 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15201 13298 364 364 0 14837 0
[pid=9556] vsize: 60804
Current children cumulated CPU time (s) 970.03
Current children cumulated vsize (Kb) 60804

[startup+980.039 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9613
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19360 0 0 0 97947 56 0 0 25 0 1 0 21690051 62398464 13353 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15234 13353 364 364 0 14870 0
[pid=9556] vsize: 60936
Current children cumulated CPU time (s) 980.03
Current children cumulated vsize (Kb) 60936

[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19416 0 0 0 98947 56 0 0 25 0 1 0 21690051 62533632 13408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15267 13408 364 364 0 14903 0
[pid=9556] vsize: 61068
Current children cumulated CPU time (s) 990.03
Current children cumulated vsize (Kb) 61068

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19474 0 0 0 99947 57 0 0 25 0 1 0 21690051 62668800 13465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15300 13465 364 364 0 14936 0
[pid=9556] vsize: 61200
Current children cumulated CPU time (s) 1000.04
Current children cumulated vsize (Kb) 61200

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19530 0 0 0 100946 57 0 0 25 0 1 0 21690051 62803968 13520 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15333 13520 364 364 0 14969 0
[pid=9556] vsize: 61332
Current children cumulated CPU time (s) 1010.03
Current children cumulated vsize (Kb) 61332

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19587 0 0 0 101947 57 0 0 25 0 1 0 21690051 63074304 13576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15399 13576 364 364 0 15035 0
[pid=9556] vsize: 61596
Current children cumulated CPU time (s) 1020.04
Current children cumulated vsize (Kb) 61596

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19642 0 0 0 102947 57 0 0 25 0 1 0 21690051 63209472 13631 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15432 13631 364 364 0 15068 0
[pid=9556] vsize: 61728
Current children cumulated CPU time (s) 1030.04
Current children cumulated vsize (Kb) 61728

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19698 0 0 0 103946 57 0 0 25 0 1 0 21690051 63344640 13686 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15465 13686 364 364 0 15101 0
[pid=9556] vsize: 61860
Current children cumulated CPU time (s) 1040.03
Current children cumulated vsize (Kb) 61860

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19754 0 0 0 104946 58 0 0 25 0 1 0 21690051 63479808 13741 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15498 13741 364 364 0 15134 0
[pid=9556] vsize: 61992
Current children cumulated CPU time (s) 1050.04
Current children cumulated vsize (Kb) 61992

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19808 0 0 0 105946 58 0 0 25 0 1 0 21690051 63614976 13794 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15531 13794 364 364 0 15167 0
[pid=9556] vsize: 62124
Current children cumulated CPU time (s) 1060.04
Current children cumulated vsize (Kb) 62124

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19864 0 0 0 106946 58 0 0 25 0 1 0 21690051 63750144 13849 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15564 13849 364 364 0 15200 0
[pid=9556] vsize: 62256
Current children cumulated CPU time (s) 1070.04
Current children cumulated vsize (Kb) 62256

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19918 0 0 0 107945 58 0 0 25 0 1 0 21690051 63885312 13902 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15597 13902 364 364 0 15233 0
[pid=9556] vsize: 62388
Current children cumulated CPU time (s) 1080.03
Current children cumulated vsize (Kb) 62388

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19973 0 0 0 108945 58 0 0 25 0 1 0 21690051 64020480 13956 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15630 13956 364 364 0 15266 0
[pid=9556] vsize: 62520
Current children cumulated CPU time (s) 1090.03
Current children cumulated vsize (Kb) 62520

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20026 0 0 0 109944 59 0 0 25 0 1 0 21690051 64155648 14008 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15663 14008 364 364 0 15299 0
[pid=9556] vsize: 62652
Current children cumulated CPU time (s) 1100.03
Current children cumulated vsize (Kb) 62652

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20082 0 0 0 110944 60 0 0 25 0 1 0 21690051 64290816 14063 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15696 14063 364 364 0 15332 0
[pid=9556] vsize: 62784
Current children cumulated CPU time (s) 1110.04
Current children cumulated vsize (Kb) 62784

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20135 0 0 0 111944 60 0 0 25 0 1 0 21690051 64425984 14116 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9556/statm): 15729 14116 364 364 0 15365 0
[pid=9556] vsize: 62916
Current children cumulated CPU time (s) 1120.04
Current children cumulated vsize (Kb) 62916

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20188 0 0 0 112944 60 0 0 25 0 1 0 21690051 64561152 14168 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15762 14168 364 364 0 15398 0
[pid=9556] vsize: 63048
Current children cumulated CPU time (s) 1130.04
Current children cumulated vsize (Kb) 63048

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20242 0 0 0 113944 60 0 0 25 0 1 0 21690051 64696320 14221 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15795 14221 364 364 0 15431 0
[pid=9556] vsize: 63180
Current children cumulated CPU time (s) 1140.04
Current children cumulated vsize (Kb) 63180

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20296 0 0 0 114944 61 0 0 25 0 1 0 21690051 64831488 14274 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15828 14274 364 364 0 15464 0
[pid=9556] vsize: 63312
Current children cumulated CPU time (s) 1150.05
Current children cumulated vsize (Kb) 63312

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20347 0 0 0 115944 61 0 0 25 0 1 0 21690051 64966656 14324 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15861 14324 364 364 0 15497 0
[pid=9556] vsize: 63444
Current children cumulated CPU time (s) 1160.05
Current children cumulated vsize (Kb) 63444

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20401 0 0 0 116944 61 0 0 25 0 1 0 21690051 65101824 14377 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15894 14377 364 364 0 15530 0
[pid=9556] vsize: 63576
Current children cumulated CPU time (s) 1170.05
Current children cumulated vsize (Kb) 63576

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20454 0 0 0 117943 61 0 0 25 0 1 0 21690051 65236992 14429 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15927 14429 364 364 0 15563 0
[pid=9556] vsize: 63708
Current children cumulated CPU time (s) 1180.04
Current children cumulated vsize (Kb) 63708

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20505 0 0 0 118943 62 0 0 25 0 1 0 21690051 65372160 14480 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15960 14480 364 364 0 15596 0
[pid=9556] vsize: 63840
Current children cumulated CPU time (s) 1190.05
Current children cumulated vsize (Kb) 63840

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20558 0 0 0 119943 62 0 0 25 0 1 0 21690051 65507328 14532 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15993 14532 364 364 0 15629 0
[pid=9556] vsize: 63972
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (Kb) 63972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 9617
Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20558 0 0 0 119943 62 0 0 25 0 1 0 21690051 65507328 14532 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9556/statm): 15993 14532 364 364 0 15629 0
[pid=9556] vsize: 63972
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (Kb) 63972

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

Child status: 0
Real time (s): 1200.63
CPU time (s): 1200.63
CPU user time (s): 1199.98
CPU system time (s): 0.650901
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (Kb): 63972

Verifier Data

ERROR: no interpretation found !