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/miplib3/normalized-mps-v2-20-10-lseu.opb
MD5SUM99657262afbbfce7034a3ec6b29d9b3b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark661.762
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 10132

Launcher Data

LAUNCH ON wulflinc6 THE 2005-09-23 16:53:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8841 boxname=wulflinc6 idbench=637 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 8841
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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:        923368 kB
Buffers:         13092 kB
Cached:          81156 kB
SwapCached:          0 kB
Active:          41500 kB
Inactive:        55632 kB
HighTotal:      131008 kB
HighFree:        46396 kB
LowTotal:       903652 kB
LowFree:        876972 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8540 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:13:44 (client local time) WITH STATUS 10 IN 1209.64 SECONDS
stats: 8841 0 1209.64 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 4477
c small objective detected
c CONFLICT during preprocess 
c [startup+10.7885 s]  setting bit 13 to 0
c [startup+18.6631 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+22.2879 s]  setting bit 11 to 1
c got solution with objective value: 1398
c [startup+474.767 s]  setting bit 10 to 1

c Decision: 96242/210065	Time: 289.887/86400
c Decision: 96242/210065	Time: 353.234/86400
c Decision: 96242/210065	Time: 416.048/86400
c Decision: 96242/210065	Time: 476.741/86400
c Decision: 96242/210065	Time: 535.462/86400
c Decision: 96242/210065	Time: 596.287/86400
c Decision: 96242/210065	Time: 657.164/86400
c Decision: 96242/210065	Time: 718.077/86400s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C106_bit0 -C107_bit0 -C108_bit0 -C109_bit0 -C110_bit0 -C111_bit0 C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 -C127_bit0 -C128_bit0 -C129_bit0 C130_bit0 -C131_bit0 -C132_bit0 C133_bit0 -C134_bit0 C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 -C153_bit0 -C154_bit0 -C155_bit0 C156_bit0 -C157_bit0 -C158_bit0 C159_bit0 -C160_bit0 -C161_bit0 C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0

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

[startup+10.0019 s]
Raw data (loadavg): 0.90 0.93 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 30720 0 0 0 928 68 0 0 25 0 1 0 21795554 95870976 19571 4294967295 134512640 135987407 3221224560 3221222992 135477176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 23406 19571 364 364 0 23042 0
[pid=9036] vsize: 93624
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 93624

[startup+20.0027 s]
Raw data (loadavg): 0.92 0.93 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 33757 0 0 0 1920 76 0 0 25 0 1 0 21795554 102739968 21001 4294967295 134512640 135987407 3221224560 3221223104 134812023 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25083 21001 364 364 0 24719 0
[pid=9036] vsize: 100332
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 100332

[startup+30.0034 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34703 0 0 0 2916 79 0 0 25 0 1 0 21795554 104968192 21388 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25627 21388 364 364 0 25263 0
[pid=9036] vsize: 102508
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 102508

[startup+40.0031 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34782 0 0 0 3915 79 0 0 25 0 1 0 21795554 105099264 21434 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21434 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 102636

[startup+50.0039 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34797 0 0 0 4914 80 0 0 25 0 1 0 21795554 105099264 21449 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21449 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 102636

[startup+60.0046 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34806 0 0 0 5913 80 0 0 25 0 1 0 21795554 105099264 21458 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21458 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 102636

[startup+70.0054 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34813 0 0 0 6912 80 0 0 25 0 1 0 21795554 105099264 21465 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21465 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 69.92
Current children cumulated vsize (Kb) 102636

[startup+80.0061 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34819 0 0 0 7912 81 0 0 25 0 1 0 21795554 105099264 21471 4294967295 134512640 135987407 3221224560 3221223008 135293393 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21471 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 102636

[startup+90.0069 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34838 0 0 0 8911 81 0 0 25 0 1 0 21795554 105099264 21490 4294967295 134512640 135987407 3221224560 3221223200 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21490 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 102636

[startup+100.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34844 0 0 0 9911 81 0 0 25 0 1 0 21795554 105099264 21496 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21496 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 102636

[startup+110.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34855 0 0 0 10910 82 0 0 25 0 1 0 21795554 105099264 21507 4294967295 134512640 135987407 3221224560 3221222876 135481254 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21507 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 102636

[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34868 0 0 0 11909 82 0 0 25 0 1 0 21795554 105099264 21520 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25659 21520 364 364 0 25295 0
[pid=9036] vsize: 102636
Current children cumulated CPU time (s) 119.91
Current children cumulated vsize (Kb) 102636

[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35028 0 0 0 12908 83 0 0 25 0 1 0 21795554 105492480 21581 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25755 21581 364 364 0 25391 0
[pid=9036] vsize: 103020
Current children cumulated CPU time (s) 129.91
Current children cumulated vsize (Kb) 103020

[startup+140.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35032 0 0 0 13907 83 0 0 25 0 1 0 21795554 105492480 21585 4294967295 134512640 135987407 3221224560 3221223104 134812135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25755 21585 364 364 0 25391 0
[pid=9036] vsize: 103020
Current children cumulated CPU time (s) 139.9
Current children cumulated vsize (Kb) 103020

[startup+150.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35042 0 0 0 14907 83 0 0 25 0 1 0 21795554 105492480 21595 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25755 21595 364 364 0 25391 0
[pid=9036] vsize: 103020
Current children cumulated CPU time (s) 149.9
Current children cumulated vsize (Kb) 103020

[startup+160.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35062 0 0 0 15906 83 0 0 25 0 1 0 21795554 105492480 21615 4294967295 134512640 135987407 3221224560 3221223280 134812606 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25755 21615 364 364 0 25391 0
[pid=9036] vsize: 103020
Current children cumulated CPU time (s) 159.89
Current children cumulated vsize (Kb) 103020

[startup+170.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35128 0 0 0 16905 83 0 0 25 0 1 0 21795554 105758720 21681 4294967295 134512640 135987407 3221224560 3221223168 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25820 21681 364 364 0 25456 0
[pid=9036] vsize: 103280
Current children cumulated CPU time (s) 169.88
Current children cumulated vsize (Kb) 103280

[startup+180.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35134 0 0 0 17905 83 0 0 25 0 1 0 21795554 105758720 21687 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25820 21687 364 364 0 25456 0
[pid=9036] vsize: 103280
Current children cumulated CPU time (s) 179.88
Current children cumulated vsize (Kb) 103280

[startup+190.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35144 0 0 0 18903 84 0 0 25 0 1 0 21795554 105758720 21697 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25820 21697 364 364 0 25456 0
[pid=9036] vsize: 103280
Current children cumulated CPU time (s) 189.87
Current children cumulated vsize (Kb) 103280

[startup+200.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35222 0 0 0 19902 84 0 0 25 0 1 0 21795554 106020864 21710 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25884 21710 364 364 0 25520 0
[pid=9036] vsize: 103536
Current children cumulated CPU time (s) 199.86
Current children cumulated vsize (Kb) 103536

[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35228 0 0 0 20901 85 0 0 25 0 1 0 21795554 106020864 21716 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25884 21716 364 364 0 25520 0
[pid=9036] vsize: 103536
Current children cumulated CPU time (s) 209.86
Current children cumulated vsize (Kb) 103536

[startup+220.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35233 0 0 0 21900 86 0 0 25 0 1 0 21795554 106020864 21721 4294967295 134512640 135987407 3221224560 3221223200 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25884 21721 364 364 0 25520 0
[pid=9036] vsize: 103536
Current children cumulated CPU time (s) 219.86
Current children cumulated vsize (Kb) 103536

[startup+230.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35238 0 0 0 22900 86 0 0 25 0 1 0 21795554 106020864 21726 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25884 21726 364 364 0 25520 0
[pid=9036] vsize: 103536
Current children cumulated CPU time (s) 229.86
Current children cumulated vsize (Kb) 103536

[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35321 0 0 0 23899 86 0 0 25 0 1 0 21795554 106283008 21744 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25948 21744 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 239.85
Current children cumulated vsize (Kb) 103792

[startup+250.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35326 0 0 0 24898 87 0 0 25 0 1 0 21795554 106283008 21749 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25948 21749 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 249.85
Current children cumulated vsize (Kb) 103792

[startup+260.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35331 0 0 0 25897 87 0 0 25 0 1 0 21795554 106283008 21754 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25948 21754 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 259.84
Current children cumulated vsize (Kb) 103792

[startup+270.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35338 0 0 0 26896 87 0 0 25 0 1 0 21795554 106283008 21761 4294967295 134512640 135987407 3221224560 3221223200 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25948 21761 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 269.83
Current children cumulated vsize (Kb) 103792

[startup+280.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35354 0 0 0 27896 88 0 0 25 0 1 0 21795554 106283008 21777 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25948 21777 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (Kb) 103792

[startup+290.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35357 0 0 0 28895 88 0 0 25 0 1 0 21795554 106283008 21780 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25948 21780 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 289.83
Current children cumulated vsize (Kb) 103792

[startup+300.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35362 0 0 0 29894 89 0 0 25 0 1 0 21795554 106283008 21785 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 25948 21785 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 299.83
Current children cumulated vsize (Kb) 103792

[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35368 0 0 0 30893 89 0 0 25 0 1 0 21795554 106283008 21791 4294967295 134512640 135987407 3221224560 3221223236 134812260 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 25948 21791 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 309.82
Current children cumulated vsize (Kb) 103792

[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35374 0 0 0 31892 89 0 0 25 0 1 0 21795554 106283008 21797 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 25948 21797 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (Kb) 103792

[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35380 0 0 0 32890 90 0 0 25 0 1 0 21795554 106283008 21803 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 25948 21803 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 329.8
Current children cumulated vsize (Kb) 103792

[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35385 0 0 0 33889 90 0 0 25 0 1 0 21795554 106283008 21808 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 25948 21808 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 339.79
Current children cumulated vsize (Kb) 103792

[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35393 0 0 0 34888 90 0 0 25 0 1 0 21795554 106283008 21816 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 25948 21816 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 349.78
Current children cumulated vsize (Kb) 103792

[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35400 0 0 0 35887 91 0 0 25 0 1 0 21795554 106283008 21823 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 25948 21823 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 359.78
Current children cumulated vsize (Kb) 103792

[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35406 0 0 0 36886 91 0 0 25 0 1 0 21795554 106283008 21829 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 25948 21829 364 364 0 25584 0
[pid=9036] vsize: 103792
Current children cumulated CPU time (s) 369.77
Current children cumulated vsize (Kb) 103792

[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35605 0 0 0 37884 92 0 0 25 0 1 0 21795554 106983424 21995 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 26119 21995 364 364 0 25755 0
[pid=9036] vsize: 104476
Current children cumulated CPU time (s) 379.76
Current children cumulated vsize (Kb) 104476

[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9036
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35612 0 0 0 38883 92 0 0 25 0 1 0 21795554 106983424 22002 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 26119 22002 364 364 0 25755 0
[pid=9036] vsize: 104476
Current children cumulated CPU time (s) 389.75
Current children cumulated vsize (Kb) 104476

[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9091
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35693 0 0 0 39880 94 0 0 25 0 1 0 21795554 107245568 22018 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26183 22018 364 364 0 25819 0
[pid=9036] vsize: 104732
Current children cumulated CPU time (s) 399.74
Current children cumulated vsize (Kb) 104732

[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9091
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35701 0 0 0 40879 94 0 0 25 0 1 0 21795554 107245568 22026 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26183 22026 364 364 0 25819 0
[pid=9036] vsize: 104732
Current children cumulated CPU time (s) 409.73
Current children cumulated vsize (Kb) 104732

[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9091
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35758 0 0 0 41878 95 0 0 25 0 1 0 21795554 107511808 22083 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26248 22083 364 364 0 25884 0
[pid=9036] vsize: 104992
Current children cumulated CPU time (s) 419.73
Current children cumulated vsize (Kb) 104992

[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9091
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35762 0 0 0 42876 96 0 0 25 0 1 0 21795554 107511808 22087 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26248 22087 364 364 0 25884 0
[pid=9036] vsize: 104992
Current children cumulated CPU time (s) 429.72
Current children cumulated vsize (Kb) 104992

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9091
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35766 0 0 0 43875 97 0 0 25 0 1 0 21795554 107511808 22091 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26248 22091 364 364 0 25884 0
[pid=9036] vsize: 104992
Current children cumulated CPU time (s) 439.72
Current children cumulated vsize (Kb) 104992

[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9093
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35770 0 0 0 44873 98 0 0 25 0 1 0 21795554 107511808 22095 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26248 22095 364 364 0 25884 0
[pid=9036] vsize: 104992
Current children cumulated CPU time (s) 449.71
Current children cumulated vsize (Kb) 104992

[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9095
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35774 0 0 0 45872 98 0 0 25 0 1 0 21795554 107511808 22099 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26248 22099 364 364 0 25884 0
[pid=9036] vsize: 104992
Current children cumulated CPU time (s) 459.7
Current children cumulated vsize (Kb) 104992

[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35846 0 0 0 46870 99 0 0 25 0 1 0 21795554 107773952 22106 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26312 22106 364 364 0 25948 0
[pid=9036] vsize: 105248
Current children cumulated CPU time (s) 469.69
Current children cumulated vsize (Kb) 105248

[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 36263 0 0 0 47869 100 0 0 25 0 1 0 21795554 107773952 22112 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 26312 22112 364 364 0 25948 0
[pid=9036] vsize: 105248
Current children cumulated CPU time (s) 479.69
Current children cumulated vsize (Kb) 105248

[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 36266 0 0 0 48868 101 0 0 25 0 1 0 21795554 107773952 22115 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 26312 22115 364 364 0 25948 0
[pid=9036] vsize: 105248
Current children cumulated CPU time (s) 489.69
Current children cumulated vsize (Kb) 105248

[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 36567 0 0 0 49865 102 0 0 25 0 1 0 21795554 109309952 22351 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 26687 22351 364 364 0 26323 0
[pid=9036] vsize: 106748
Current children cumulated CPU time (s) 499.67
Current children cumulated vsize (Kb) 106748

[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37246 0 0 0 50862 104 0 0 25 0 1 0 21795554 112136192 22865 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27377 22865 364 364 0 27013 0
[pid=9036] vsize: 109508
Current children cumulated CPU time (s) 509.66
Current children cumulated vsize (Kb) 109508

[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37504 0 0 0 51862 105 0 0 25 0 1 0 21795554 112795648 22991 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27538 22991 364 364 0 27174 0
[pid=9036] vsize: 110152
Current children cumulated CPU time (s) 519.67
Current children cumulated vsize (Kb) 110152

[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37511 0 0 0 52860 106 0 0 25 0 1 0 21795554 112795648 22998 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27538 22998 364 364 0 27174 0
[pid=9036] vsize: 110152
Current children cumulated CPU time (s) 529.66
Current children cumulated vsize (Kb) 110152

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37514 0 0 0 53859 106 0 0 25 0 1 0 21795554 112795648 23001 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27538 23001 364 364 0 27174 0
[pid=9036] vsize: 110152
Current children cumulated CPU time (s) 539.65
Current children cumulated vsize (Kb) 110152

[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37588 0 0 0 54858 107 0 0 25 0 1 0 21795554 113057792 23010 4294967295 134512640 135987407 3221224560 3221223104 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27602 23010 364 364 0 27238 0
[pid=9036] vsize: 110408
Current children cumulated CPU time (s) 549.65
Current children cumulated vsize (Kb) 110408

[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37592 0 0 0 55858 108 0 0 25 0 1 0 21795554 113057792 23014 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27602 23014 364 364 0 27238 0
[pid=9036] vsize: 110408
Current children cumulated CPU time (s) 559.66
Current children cumulated vsize (Kb) 110408

[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37594 0 0 0 56857 108 0 0 25 0 1 0 21795554 113057792 23016 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27602 23016 364 364 0 27238 0
[pid=9036] vsize: 110408
Current children cumulated CPU time (s) 569.65
Current children cumulated vsize (Kb) 110408

[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37599 0 0 0 57856 108 0 0 25 0 1 0 21795554 113057792 23021 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27602 23021 364 364 0 27238 0
[pid=9036] vsize: 110408
Current children cumulated CPU time (s) 579.64
Current children cumulated vsize (Kb) 110408

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37604 0 0 0 58855 109 0 0 25 0 1 0 21795554 113057792 23026 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27602 23026 364 364 0 27238 0
[pid=9036] vsize: 110408
Current children cumulated CPU time (s) 589.64
Current children cumulated vsize (Kb) 110408

[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37607 0 0 0 59855 109 0 0 25 0 1 0 21795554 113057792 23029 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27602 23029 364 364 0 27238 0
[pid=9036] vsize: 110408
Current children cumulated CPU time (s) 599.64
Current children cumulated vsize (Kb) 110408

[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37685 0 0 0 60854 110 0 0 25 0 1 0 21795554 113319936 23042 4294967295 134512640 135987407 3221224560 3221223184 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27666 23042 364 364 0 27302 0
[pid=9036] vsize: 110664
Current children cumulated CPU time (s) 609.64
Current children cumulated vsize (Kb) 110664

[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37688 0 0 0 61852 110 0 0 25 0 1 0 21795554 113319936 23045 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27666 23045 364 364 0 27302 0
[pid=9036] vsize: 110664
Current children cumulated CPU time (s) 619.62
Current children cumulated vsize (Kb) 110664

[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37692 0 0 0 62852 111 0 0 25 0 1 0 21795554 113319936 23049 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27666 23049 364 364 0 27302 0
[pid=9036] vsize: 110664
Current children cumulated CPU time (s) 629.63
Current children cumulated vsize (Kb) 110664

[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37697 0 0 0 63851 111 0 0 25 0 1 0 21795554 113319936 23054 4294967295 134512640 135987407 3221224560 3221223104 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27666 23054 364 364 0 27302 0
[pid=9036] vsize: 110664
Current children cumulated CPU time (s) 639.62
Current children cumulated vsize (Kb) 110664

[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37701 0 0 0 64850 111 0 0 25 0 1 0 21795554 113319936 23058 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27666 23058 364 364 0 27302 0
[pid=9036] vsize: 110664
Current children cumulated CPU time (s) 649.61
Current children cumulated vsize (Kb) 110664

[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37705 0 0 0 65849 111 0 0 25 0 1 0 21795554 113319936 23062 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27666 23062 364 364 0 27302 0
[pid=9036] vsize: 110664
Current children cumulated CPU time (s) 659.6
Current children cumulated vsize (Kb) 110664

[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37708 0 0 0 66848 112 0 0 25 0 1 0 21795554 113319936 23065 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27666 23065 364 364 0 27302 0
[pid=9036] vsize: 110664
Current children cumulated CPU time (s) 669.6
Current children cumulated vsize (Kb) 110664

[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37802 0 0 0 67847 113 0 0 25 0 1 0 21795554 113582080 23094 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23094 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 679.6
Current children cumulated vsize (Kb) 110920

[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37805 0 0 0 68846 113 0 0 25 0 1 0 21795554 113582080 23097 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23097 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 689.59
Current children cumulated vsize (Kb) 110920

[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37830 0 0 0 69845 113 0 0 25 0 1 0 21795554 113582080 23122 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23122 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 699.58
Current children cumulated vsize (Kb) 110920

[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37833 0 0 0 70844 114 0 0 25 0 1 0 21795554 113582080 23125 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23125 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 709.58
Current children cumulated vsize (Kb) 110920

[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37837 0 0 0 71843 114 0 0 25 0 1 0 21795554 113582080 23129 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23129 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 719.57
Current children cumulated vsize (Kb) 110920

[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37841 0 0 0 72842 114 0 0 25 0 1 0 21795554 113582080 23133 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23133 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 729.56
Current children cumulated vsize (Kb) 110920

[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9097
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37847 0 0 0 73842 114 0 0 25 0 1 0 21795554 113582080 23139 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23139 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 739.56
Current children cumulated vsize (Kb) 110920

[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37850 0 0 0 74841 115 0 0 25 0 1 0 21795554 113582080 23142 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23142 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 749.56
Current children cumulated vsize (Kb) 110920

[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37856 0 0 0 75839 115 0 0 25 0 1 0 21795554 113582080 23148 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27730 23148 364 364 0 27366 0
[pid=9036] vsize: 110920
Current children cumulated CPU time (s) 759.54
Current children cumulated vsize (Kb) 110920

[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38297 0 0 0 76838 117 0 0 25 0 1 0 21795554 113852416 23178 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27796 23178 364 364 0 27432 0
[pid=9036] vsize: 111184
Current children cumulated CPU time (s) 769.55
Current children cumulated vsize (Kb) 111184

[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38349 0 0 0 77837 117 0 0 25 0 1 0 21795554 114122752 23230 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23230 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 779.54
Current children cumulated vsize (Kb) 111448

[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38350 0 0 0 78836 117 0 0 25 0 1 0 21795554 114122752 23231 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23231 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 789.53
Current children cumulated vsize (Kb) 111448

[startup+800.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38350 0 0 0 79835 118 0 0 25 0 1 0 21795554 114122752 23231 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23231 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 799.53
Current children cumulated vsize (Kb) 111448

[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38351 0 0 0 80834 118 0 0 25 0 1 0 21795554 114122752 23232 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23232 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 809.52
Current children cumulated vsize (Kb) 111448

[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38352 0 0 0 81834 118 0 0 25 0 1 0 21795554 114122752 23233 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23233 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 819.52
Current children cumulated vsize (Kb) 111448

[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38763 0 0 0 82832 119 0 0 25 0 1 0 21795554 114122752 23233 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23233 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 829.51
Current children cumulated vsize (Kb) 111448

[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38764 0 0 0 83831 120 0 0 25 0 1 0 21795554 114122752 23234 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23234 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 839.51
Current children cumulated vsize (Kb) 111448

[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38764 0 0 0 84830 120 0 0 25 0 1 0 21795554 114122752 23234 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23234 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 849.5
Current children cumulated vsize (Kb) 111448

[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38765 0 0 0 85830 121 0 0 25 0 1 0 21795554 114122752 23235 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23235 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 859.51
Current children cumulated vsize (Kb) 111448

[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38766 0 0 0 86829 121 0 0 25 0 1 0 21795554 114122752 23236 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23236 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 869.5
Current children cumulated vsize (Kb) 111448

[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38766 0 0 0 87828 121 0 0 25 0 1 0 21795554 114122752 23236 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23236 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 879.49
Current children cumulated vsize (Kb) 111448

[startup+890.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38767 0 0 0 88827 122 0 0 25 0 1 0 21795554 114122752 23237 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23237 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 889.49
Current children cumulated vsize (Kb) 111448

[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39179 0 0 0 89825 123 0 0 25 0 1 0 21795554 114122752 23238 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23238 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 899.48
Current children cumulated vsize (Kb) 111448

[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39179 0 0 0 90824 124 0 0 25 0 1 0 21795554 114122752 23238 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23238 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 909.48
Current children cumulated vsize (Kb) 111448

[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39180 0 0 0 91823 124 0 0 25 0 1 0 21795554 114122752 23239 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23239 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 919.47
Current children cumulated vsize (Kb) 111448

[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39181 0 0 0 92822 125 0 0 25 0 1 0 21795554 114122752 23240 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23240 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 929.47
Current children cumulated vsize (Kb) 111448

[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39185 0 0 0 93821 126 0 0 25 0 1 0 21795554 114122752 23244 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23244 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 939.47
Current children cumulated vsize (Kb) 111448

[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) T 9035 9036 4060 0 -1 0 39189 0 0 0 94820 126 0 0 25 0 1 0 21795554 114122752 23248 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23248 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 949.46
Current children cumulated vsize (Kb) 111448

[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39606 0 0 0 95818 128 0 0 25 0 1 0 21795554 114122752 23254 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9036/statm): 27862 23254 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 959.46
Current children cumulated vsize (Kb) 111448

[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39610 0 0 0 96817 128 0 0 25 0 1 0 21795554 114122752 23258 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23258 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 969.45
Current children cumulated vsize (Kb) 111448

[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39615 0 0 0 97816 128 0 0 25 0 1 0 21795554 114122752 23263 4294967295 134512640 135987407 3221224560 3221223232 134824224 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23263 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 979.44
Current children cumulated vsize (Kb) 111448

[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39620 0 0 0 98814 129 0 0 25 0 1 0 21795554 114122752 23268 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23268 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 989.43
Current children cumulated vsize (Kb) 111448

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39625 0 0 0 99813 129 0 0 25 0 1 0 21795554 114122752 23273 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27862 23273 364 364 0 27498 0
[pid=9036] vsize: 111448
Current children cumulated CPU time (s) 999.42
Current children cumulated vsize (Kb) 111448

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39751 0 0 0 100811 130 0 0 25 0 1 0 21795554 114524160 23366 4294967295 134512640 135987407 3221224560 3221223136 134814451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23366 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1009.41
Current children cumulated vsize (Kb) 111840

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40166 0 0 0 101809 132 0 0 25 0 1 0 21795554 114524160 23370 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23370 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1019.41
Current children cumulated vsize (Kb) 111840

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40170 0 0 0 102808 132 0 0 25 0 1 0 21795554 114524160 23374 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23374 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1029.4
Current children cumulated vsize (Kb) 111840

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40177 0 0 0 103807 133 0 0 25 0 1 0 21795554 114524160 23381 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23381 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1039.4
Current children cumulated vsize (Kb) 111840

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40183 0 0 0 104805 133 0 0 25 0 1 0 21795554 114524160 23387 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23387 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1049.38
Current children cumulated vsize (Kb) 111840

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40190 0 0 0 105804 134 0 0 25 0 1 0 21795554 114524160 23394 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23394 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1059.38
Current children cumulated vsize (Kb) 111840

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40195 0 0 0 106803 134 0 0 25 0 1 0 21795554 114524160 23399 4294967295 134512640 135987407 3221224560 3221223136 134814269 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23399 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1069.37
Current children cumulated vsize (Kb) 111840

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40607 0 0 0 107801 136 0 0 25 0 1 0 21795554 114524160 23400 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23400 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1079.37
Current children cumulated vsize (Kb) 111840

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40608 0 0 0 108800 136 0 0 25 0 1 0 21795554 114524160 23401 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23401 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1089.36
Current children cumulated vsize (Kb) 111840

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40609 0 0 0 109799 136 0 0 25 0 1 0 21795554 114524160 23402 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23402 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1099.35
Current children cumulated vsize (Kb) 111840

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40609 0 0 0 110797 137 0 0 25 0 1 0 21795554 114524160 23402 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23402 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1109.34
Current children cumulated vsize (Kb) 111840

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40615 0 0 0 111797 137 0 0 25 0 1 0 21795554 114524160 23408 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23408 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1119.34
Current children cumulated vsize (Kb) 111840

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40622 0 0 0 112796 138 0 0 25 0 1 0 21795554 114524160 23415 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23415 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1129.34
Current children cumulated vsize (Kb) 111840

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41037 0 0 0 113793 139 0 0 25 0 1 0 21795554 114524160 23419 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23419 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1139.32
Current children cumulated vsize (Kb) 111840

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41043 0 0 0 114792 139 0 0 25 0 1 0 21795554 114524160 23425 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23425 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1149.31
Current children cumulated vsize (Kb) 111840

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41048 0 0 0 115792 140 0 0 25 0 1 0 21795554 114524160 23430 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23430 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1159.32
Current children cumulated vsize (Kb) 111840

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41054 0 0 0 116790 140 0 0 25 0 1 0 21795554 114524160 23436 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23436 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1169.3
Current children cumulated vsize (Kb) 111840

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41060 0 0 0 117789 141 0 0 25 0 1 0 21795554 114524160 23442 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23442 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1179.3
Current children cumulated vsize (Kb) 111840

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41065 0 0 0 118788 141 0 0 25 0 1 0 21795554 114524160 23447 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23447 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1189.29
Current children cumulated vsize (Kb) 111840

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41482 0 0 0 119786 142 0 0 25 0 1 0 21795554 114524160 23453 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23453 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1199.28
Current children cumulated vsize (Kb) 111840

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41489 0 0 0 120785 143 0 0 25 0 1 0 21795554 114524160 23460 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23460 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1209.28
Current children cumulated vsize (Kb) 111840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9099
Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41489 0 0 0 120785 143 0 0 25 0 1 0 21795554 114524160 23460 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9036/statm): 27960 23460 364 364 0 27596 0
[pid=9036] vsize: 111840
Current children cumulated CPU time (s) 1209.28
Current children cumulated vsize (Kb) 111840

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

Child status: 10
Real time (s): 1210.41
CPU time (s): 1209.64
CPU user time (s): 1208.15
CPU system time (s): 1.48477
CPU usage (%): 99.9362
Max. virtual memory (cumulated for all children) (Kb): 111840

Verifier Data

Verifier:	OK	1398