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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
MD5SUM436f5c6ad1ef2652c1530e8335d70a6e
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark73.6308
Number of variables6090
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint30
Maximum length of a constraint120

Trace number 10000

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-23 16:08:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8658 boxname=wulflinc31 idbench=454 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  436f5c6ad1ef2652c1530e8335d70a6e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sc205.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sc205.opb
IDLAUNCH: 8658
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922348 kB
Buffers:         18864 kB
Cached:          74568 kB
SwapCached:          0 kB
Active:          41808 kB
Inactive:        54536 kB
HighTotal:      131008 kB
HighFree:        52528 kB
LowTotal:       903652 kB
LowFree:        869820 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10412 kB
Committed_AS:    63664 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:29:17 (client local time) WITH STATUS 0 IN 1201.78 SECONDS
stats: 8658 7 1201.78 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 26246/143905	Time: 8.12876/86400
c Decision: 26450/143905	Time: 12.911/86400
c Decision: 26662/143905	Time: 19.2931/86400
c Decision: 26871/143905	Time: 24.8432/86400
c Decision: 27180/143905	Time: 32.5641/86400
c Decision: 27180/143905	Time: 37.5283/86400
c Decision: 27987/143905	Time: 44.9062/86400
c Decision: 27987/143905	Time: 49.8424/86400
c Decision: 28089/143905	Time: 56.7874/86400
c Decision: 28089/143905	Time: 63.2614/86400
c Decision: 28089/143905	Time: 68.3556/86400
c Decision: 28089/143905	Time: 73.9418/86400
c Decision: 28089/143905	Time: 80.6497/86400
c Decision: 28089/143905	Time: 88.0616/86400
c Decision: 28285/143905	Time: 96.6463/86400
c Decision: 28285/143905	Time: 102.843/86400
c Decision: 28285/143905	Time: 109.549/86400
c Decision: 28285/143905	Time: 116.885/86400
c Decision: 28285/143905	Time: 123.489/86400
c Decision: 28286/143905	Time: 134.35/86400
c Decision: 28286/143905	Time: 141.655/86400
c Decision: 28286/143905	Time: 149.42/86400
c Decision: 28286/143905	Time: 157.021/86400
c Decision: 28286/143905	Time: 165.053/86400
c Decision: 28286/143905	Time: 171.389/86400
c Decision: 28286/143905	Time: 179.025/86400
c Decision: 28286/143905	Time: 186.657/86400
c Decision: 28286/143905	Time: 193.083/86400
c Decision: 28286/143905	Time: 200.786/86400
c Decision: 28286/143905	Time: 207.691/86400
c Decision: 28286/143905	Time: 215.683/86400
c Decision: 28286/143905	Time: 224.221/86400
c Decision: 28286/143905	Time: 232.043/86400
c Decision: 28286/143905	Time: 240.165/86400
c Decision: 28286/143905	Time: 247.582/86400
c Decision: 28286/143905	Time: 256.01/86400
c Decision: 28286/143905	Time: 262.833/86400
c Decision: 28286/143905	Time: 268.613/86400
c Decision: 28286/143905	Time: 275.558/86400
c Decision: 28286/143905	Time: 282.979/86400
c Decision: 28286/143905	Time: 291.986/86400
c Decision: 28288/143905	Time: 299.53/86400
c Decision: 28288/143905	Time: 308.21/86400
c Decision: 28288/143905	Time: 314.675/86400
c Decision: 28296/143905	Time: 327.747/86400
c Decision: 28296/143905	Time: 336.522/86400
c Decision: 28296/143905	Time: 345.03/86400
c Decision: 28298/143905	Time: 358.945/86400
c Decision: 28303/143905	Time: 371.806/86400
c Decision: 28303/143905	Time: 379.632/86400
c Decision: 28303/143905	Time: 388.495/86400
c Decision: 28303/143905	Time: 396.677/86400
c Decision: 28303/143905	Time: 404.333/86400
c Decision: 28303/143905	Time: 412.316/86400
c Decision: 28303/143905	Time: 420.922/86400
c Decision: 28303/143905	Time: 429.788/86400
c Decision: 28303/143905	Time: 438.738/86400
c Decision: 28303/143905	Time: 447.543/86400
c Decision: 28303/143905	Time: 457.3/86400
c Decision: 28303/143905	Time: 466.758/86400
c Decision: 28303/143905	Time: 474.298/86400
c Decision: 28307/143905	Time: 484.373/86400
c Decision: 28307/143905	Time: 492.351/86400
c Decision: 28307/143905	Time: 501.675/86400
c Decision: 28307/143905	Time: 512.1/86400
c Decision: 28307/143905	Time: 522.671/86400
c Decision: 28307/143905	Time: 533.749/86400
c Decision: 28307/143905	Time: 542.525/86400
c Decision: 28331/143905	Time: 556.593/86400
c Decision: 28331/143905	Time: 565.403/86400
c Decision: 28331/143905	Time: 576.273/86400
c Decision: 28331/143905	Time: 585.733/86400
c Decision: 28355/143905	Time: 603.497/86400
c Decision: 30544/143905	Time: 646.744/86400
c Decision: 30544/143905	Time: 657.573/86400
c Decision: 30547/143905	Time: 673.512/86400
c Decision: 30556/143905	Time: 688.141/86400
c Decision: 30737/143905	Time: 704.847/86400
c Decision: 32789/143905	Time: 749.061/86400
c Decision: 34305/143905	Time: 862.988/86400
c Decision: 34320/143905	Time: 894.472/86400
c Decision: 36382/143905	Time: 949.661/86400
c Decision: 36386/143905	Time: 963.711/86400
c Decision: 36386/143905	Time: 971.493/86400
c Decision: 36387/143905	Time: 982.078/86400
c Decision: 36401/143905	Time: 1005.98/86400
c Decision: 36401/143905	Time: 1013.2/86400
c Decision: 36401/143905	Time: 1019.81/86400
c Decision: 36404/143905	Time: 1027.81/86400
c Decision: 36406/143905	Time: 1034.94/86400
c Decision: 36406/143905	Time: 1043.06/86400
c Decision: 36406/143905	Time: 1053.82/86400
c Decision: 36406/143905	Time: 1061.8/86400
c Decision: 36406/143905	Time: 1072.16/86400
c Decision: 36416/143905	Time: 1091.01/86400
c Decision: 36416/143905	Time: 1099.23/86400
c Decision: 36419/143905	Time: 1113.11/86400
c Decision: 36942/143905	Time: 1135.76/86400
c Decision: 37032/143905	Time: 1160.53/86400
c Decision: 37034/143905	Time: 1174.87/86400
c Decision: 37040/143905	Time: 1192.72/86400s 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/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21470572 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 373 2 364 364 0 9 0
[pid=8472] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sc205.opb

[startup+10.0023 s]
Raw data (loadavg): 0.92 0.93 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 19818 0 0 0 943 49 0 0 25 0 1 0 21470572 59564032 11529 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 14542 11529 364 364 0 14178 0
[pid=8472] vsize: 58168
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 58168

[startup+20.0033 s]
Raw data (loadavg): 0.93 0.94 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 20709 0 0 0 1927 55 0 0 25 0 1 0 21470572 60948480 11856 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 14880 11856 364 364 0 14516 0
[pid=8472] vsize: 59520
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 59520

[startup+30.0042 s]
Raw data (loadavg): 0.94 0.94 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 21077 0 0 0 2916 59 0 0 25 0 1 0 21470572 61083648 11942 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 14913 11942 364 364 0 14549 0
[pid=8472] vsize: 59652
Current children cumulated CPU time (s) 29.75
Current children cumulated vsize (Kb) 59652

[startup+40.0041 s]
Raw data (loadavg): 0.95 0.94 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 21802 0 0 0 3902 64 0 0 25 0 1 0 21470572 61714432 12103 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15067 12103 364 364 0 14703 0
[pid=8472] vsize: 60268
Current children cumulated CPU time (s) 39.66
Current children cumulated vsize (Kb) 60268

[startup+50.0051 s]
Raw data (loadavg): 0.96 0.94 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 21946 0 0 0 4889 69 0 0 25 0 1 0 21470572 62271488 12247 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15203 12247 364 364 0 14839 0
[pid=8472] vsize: 60812
Current children cumulated CPU time (s) 49.58
Current children cumulated vsize (Kb) 60812

[startup+60.005 s]
Raw data (loadavg): 0.96 0.94 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 22572 0 0 0 5873 77 0 0 25 0 1 0 21470572 62406656 12309 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 15236 12309 364 364 0 14872 0
[pid=8472] vsize: 60944
Current children cumulated CPU time (s) 59.5
Current children cumulated vsize (Kb) 60944

[startup+70.0059 s]
Raw data (loadavg): 0.97 0.94 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 23284 0 0 0 6863 82 0 0 25 0 1 0 21470572 64102400 12739 4294967295 134512640 135987407 3221224560 3221222944 134829309 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 15650 12739 364 364 0 15286 0
[pid=8472] vsize: 62600
Current children cumulated CPU time (s) 69.45
Current children cumulated vsize (Kb) 62600

[startup+80.0068 s]
Raw data (loadavg): 0.97 0.94 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 23598 0 0 0 7852 87 0 0 25 0 1 0 21470572 62947328 12489 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15368 12489 364 364 0 15004 0
[pid=8472] vsize: 61472
Current children cumulated CPU time (s) 79.39
Current children cumulated vsize (Kb) 61472

[startup+90.0068 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 24252 0 0 0 8842 91 0 0 25 0 1 0 21470572 63217664 12579 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15434 12579 364 364 0 15070 0
[pid=8472] vsize: 61736
Current children cumulated CPU time (s) 89.33
Current children cumulated vsize (Kb) 61736

[startup+100.008 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 24620 0 0 0 9830 96 0 0 25 0 1 0 21470572 63488000 12665 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15500 12665 364 364 0 15136 0
[pid=8472] vsize: 62000
Current children cumulated CPU time (s) 99.26
Current children cumulated vsize (Kb) 62000

[startup+110.008 s]
Raw data (loadavg): 0.98 0.95 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 25227 0 0 0 10818 100 0 0 25 0 1 0 21470572 63488000 12708 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15500 12708 364 364 0 15136 0
[pid=8472] vsize: 62000
Current children cumulated CPU time (s) 109.18
Current children cumulated vsize (Kb) 62000

[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 25526 0 0 0 11808 105 0 0 25 0 1 0 21470572 63488000 12725 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15500 12725 364 364 0 15136 0
[pid=8472] vsize: 62000
Current children cumulated CPU time (s) 119.13
Current children cumulated vsize (Kb) 62000

[startup+130.01 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 25871 0 0 0 12798 109 0 0 25 0 1 0 21470572 63623168 12788 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 15533 12788 364 364 0 15169 0
[pid=8472] vsize: 62132
Current children cumulated CPU time (s) 129.07
Current children cumulated vsize (Kb) 62132

[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 26241 0 0 0 13788 113 0 0 25 0 1 0 21470572 72208384 12876 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17629 12876 364 364 0 17265 0
[pid=8472] vsize: 70516
Current children cumulated CPU time (s) 139.01
Current children cumulated vsize (Kb) 70516

[startup+150.01 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 26863 0 0 0 14778 117 0 0 25 0 1 0 21470572 72208384 12934 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17629 12934 364 364 0 17265 0
[pid=8472] vsize: 70516
Current children cumulated CPU time (s) 148.95
Current children cumulated vsize (Kb) 70516

[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 27164 0 0 0 15768 121 0 0 25 0 1 0 21470572 72339456 12953 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17661 12953 364 364 0 17297 0
[pid=8472] vsize: 70644
Current children cumulated CPU time (s) 158.89
Current children cumulated vsize (Kb) 70644

[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 27513 0 0 0 16756 127 0 0 25 0 1 0 21470572 72339456 13020 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17661 13020 364 364 0 17297 0
[pid=8472] vsize: 70644
Current children cumulated CPU time (s) 168.83
Current children cumulated vsize (Kb) 70644

[startup+180.012 s]
Raw data (loadavg): 0.99 0.95 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 28164 0 0 0 17745 131 0 0 25 0 1 0 21470572 72609792 13107 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8472/statm): 17727 13107 364 364 0 17363 0
[pid=8472] vsize: 70908
Current children cumulated CPU time (s) 178.76
Current children cumulated vsize (Kb) 70908

[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 28510 0 0 0 18737 136 0 0 25 0 1 0 21470572 72744960 13171 4294967295 134512640 135987407 3221224560 3221223376 134824323 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 17760 13171 364 364 0 17396 0
[pid=8472] vsize: 71040
Current children cumulated CPU time (s) 188.73
Current children cumulated vsize (Kb) 71040

[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 28825 0 0 0 19724 140 0 0 25 0 1 0 21470572 72888320 13204 4294967295 134512640 135987407 3221224560 3221223424 134812629 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 17795 13204 364 364 0 17431 0
[pid=8472] vsize: 71180
Current children cumulated CPU time (s) 198.64
Current children cumulated vsize (Kb) 71180

[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 29467 0 0 0 20713 145 0 0 25 0 1 0 21470572 73023488 13282 4294967295 134512640 135987407 3221224560 3221223020 135480551 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17828 13282 364 364 0 17464 0
[pid=8472] vsize: 71312
Current children cumulated CPU time (s) 208.58
Current children cumulated vsize (Kb) 71312

[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 29806 0 0 0 21705 150 0 0 25 0 1 0 21470572 73023488 13339 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17828 13339 364 364 0 17464 0
[pid=8472] vsize: 71312
Current children cumulated CPU time (s) 218.55
Current children cumulated vsize (Kb) 71312

[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 30118 0 0 0 22696 154 0 0 25 0 1 0 21470572 73023488 13369 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17828 13369 364 364 0 17464 0
[pid=8472] vsize: 71312
Current children cumulated CPU time (s) 228.5
Current children cumulated vsize (Kb) 71312

[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 30717 0 0 0 23687 157 0 0 25 0 1 0 21470572 73158656 13404 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17861 13404 364 364 0 17497 0
[pid=8472] vsize: 71444
Current children cumulated CPU time (s) 238.44
Current children cumulated vsize (Kb) 71444

[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 31057 0 0 0 24678 161 0 0 25 0 1 0 21470572 73158656 13462 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17861 13462 364 364 0 17497 0
[pid=8472] vsize: 71444
Current children cumulated CPU time (s) 248.39
Current children cumulated vsize (Kb) 71444

[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 31424 0 0 0 25667 166 0 0 25 0 1 0 21470572 73441280 13547 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17930 13547 364 364 0 17566 0
[pid=8472] vsize: 71720
Current children cumulated CPU time (s) 258.33
Current children cumulated vsize (Kb) 71720

[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 31730 0 0 0 26659 168 0 0 25 0 1 0 21470572 73441280 13571 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17930 13571 364 364 0 17566 0
[pid=8472] vsize: 71720
Current children cumulated CPU time (s) 268.27
Current children cumulated vsize (Kb) 71720

[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 32341 0 0 0 27651 172 0 0 25 0 1 0 21470572 73441280 13618 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17930 13618 364 364 0 17566 0
[pid=8472] vsize: 71720
Current children cumulated CPU time (s) 278.23
Current children cumulated vsize (Kb) 71720

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 32695 0 0 0 28642 176 0 0 25 0 1 0 21470572 73584640 13690 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17965 13690 364 364 0 17601 0
[pid=8472] vsize: 71860
Current children cumulated CPU time (s) 288.18
Current children cumulated vsize (Kb) 71860

[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 33328 0 0 0 29633 181 0 0 25 0 1 0 21470572 73719808 13759 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 17998 13759 364 364 0 17634 0
[pid=8472] vsize: 71992
Current children cumulated CPU time (s) 298.14
Current children cumulated vsize (Kb) 71992

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 33652 0 0 0 30623 184 0 0 25 0 1 0 21470572 73854976 13801 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18031 13801 364 364 0 17667 0
[pid=8472] vsize: 72124
Current children cumulated CPU time (s) 308.07
Current children cumulated vsize (Kb) 72124

[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 33956 0 0 0 31616 186 0 0 25 0 1 0 21470572 73854976 13823 4294967295 134512640 135987407 3221224560 3221223056 134878036 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18031 13823 364 364 0 17667 0
[pid=8472] vsize: 72124
Current children cumulated CPU time (s) 318.02
Current children cumulated vsize (Kb) 72124

[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 34365 0 0 0 32607 190 0 0 25 0 1 0 21470572 74121216 13917 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18096 13917 364 364 0 17732 0
[pid=8472] vsize: 72384
Current children cumulated CPU time (s) 327.97
Current children cumulated vsize (Kb) 72384

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 34708 0 0 0 33594 195 0 0 25 0 1 0 21470572 74256384 13978 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18129 13978 364 364 0 17765 0
[pid=8472] vsize: 72516
Current children cumulated CPU time (s) 337.89
Current children cumulated vsize (Kb) 72516

[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 35031 0 0 0 34588 198 0 0 25 0 1 0 21470572 74256384 14019 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18129 14019 364 364 0 17765 0
[pid=8472] vsize: 72516
Current children cumulated CPU time (s) 347.86
Current children cumulated vsize (Kb) 72516

[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 35351 0 0 0 35578 202 0 0 25 0 1 0 21470572 74391552 14057 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18162 14057 364 364 0 17798 0
[pid=8472] vsize: 72648
Current children cumulated CPU time (s) 357.8
Current children cumulated vsize (Kb) 72648

[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 35666 0 0 0 36569 206 0 0 25 0 1 0 21470572 74526720 14090 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18195 14090 364 364 0 17831 0
[pid=8472] vsize: 72780
Current children cumulated CPU time (s) 367.75
Current children cumulated vsize (Kb) 72780

[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 35726 0 0 0 37560 209 0 0 25 0 1 0 21470572 74711040 14150 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18240 14150 364 364 0 17876 0
[pid=8472] vsize: 72960
Current children cumulated CPU time (s) 377.69
Current children cumulated vsize (Kb) 72960

[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 36364 0 0 0 38549 213 0 0 25 0 1 0 21470572 74711040 14224 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 18240 14224 364 364 0 17876 0
[pid=8472] vsize: 72960
Current children cumulated CPU time (s) 387.62
Current children cumulated vsize (Kb) 72960

[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 39766 0 0 0 39534 224 0 0 25 0 1 0 21470572 87293952 14271 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21312 14271 364 364 0 20948 0
[pid=8472] vsize: 85248
Current children cumulated CPU time (s) 397.58
Current children cumulated vsize (Kb) 85248

[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 40066 0 0 0 40524 228 0 0 25 0 1 0 21470572 87429120 14289 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21345 14289 364 364 0 20981 0
[pid=8472] vsize: 85380
Current children cumulated CPU time (s) 407.52
Current children cumulated vsize (Kb) 85380

[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 40357 0 0 0 41515 232 0 0 25 0 1 0 21470572 87429120 14298 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21345 14298 364 364 0 20981 0
[pid=8472] vsize: 85380
Current children cumulated CPU time (s) 417.47
Current children cumulated vsize (Kb) 85380

[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 40947 0 0 0 42508 236 0 0 25 0 1 0 21470572 87564288 14324 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21378 14324 364 364 0 21014 0
[pid=8472] vsize: 85512
Current children cumulated CPU time (s) 427.44
Current children cumulated vsize (Kb) 85512

[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 41251 0 0 0 43499 239 0 0 25 0 1 0 21470572 87699456 14346 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21411 14346 364 364 0 21047 0
[pid=8472] vsize: 85644
Current children cumulated CPU time (s) 437.38
Current children cumulated vsize (Kb) 85644

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 41555 0 0 0 44490 243 0 0 25 0 1 0 21470572 87834624 14368 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21444 14368 364 364 0 21080 0
[pid=8472] vsize: 85776
Current children cumulated CPU time (s) 447.33
Current children cumulated vsize (Kb) 85776

[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 41844 0 0 0 45481 246 0 0 25 0 1 0 21470572 87834624 14375 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21444 14375 364 364 0 21080 0
[pid=8472] vsize: 85776
Current children cumulated CPU time (s) 457.27
Current children cumulated vsize (Kb) 85776

[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 42131 0 0 0 46474 249 0 0 25 0 1 0 21470572 87834624 14380 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21444 14380 364 364 0 21080 0
[pid=8472] vsize: 85776
Current children cumulated CPU time (s) 467.23
Current children cumulated vsize (Kb) 85776

[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 42461 0 0 0 47466 253 0 0 25 0 1 0 21470572 87969792 14428 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21477 14428 364 364 0 21113 0
[pid=8472] vsize: 85908
Current children cumulated CPU time (s) 477.19
Current children cumulated vsize (Kb) 85908

[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 42793 0 0 0 48459 256 0 0 25 0 1 0 21470572 88104960 14478 4294967295 134512640 135987407 3221224560 3221223136 134788960 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21510 14478 364 364 0 21146 0
[pid=8472] vsize: 86040
Current children cumulated CPU time (s) 487.15
Current children cumulated vsize (Kb) 86040

[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 43174 0 0 0 49450 260 0 0 25 0 1 0 21470572 88240128 14577 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21543 14577 364 364 0 21179 0
[pid=8472] vsize: 86172
Current children cumulated CPU time (s) 497.1
Current children cumulated vsize (Kb) 86172

[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 43537 0 0 0 50442 263 0 0 25 0 1 0 21470572 88240128 14658 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21543 14658 364 364 0 21179 0
[pid=8472] vsize: 86172
Current children cumulated CPU time (s) 507.05
Current children cumulated vsize (Kb) 86172

[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 43911 0 0 0 51434 266 0 0 25 0 1 0 21470572 88375296 14750 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21576 14750 364 364 0 21212 0
[pid=8472] vsize: 86304
Current children cumulated CPU time (s) 517
Current children cumulated vsize (Kb) 86304

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 44267 0 0 0 52426 269 0 0 25 0 1 0 21470572 88510464 14824 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21609 14824 364 364 0 21245 0
[pid=8472] vsize: 86436
Current children cumulated CPU time (s) 526.95
Current children cumulated vsize (Kb) 86436

[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 44558 0 0 0 53420 272 0 0 25 0 1 0 21470572 88510464 14833 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21609 14833 364 364 0 21245 0
[pid=8472] vsize: 86436
Current children cumulated CPU time (s) 536.92
Current children cumulated vsize (Kb) 86436

[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 44847 0 0 0 54412 275 0 0 25 0 1 0 21470572 88510464 14840 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21609 14840 364 364 0 21245 0
[pid=8472] vsize: 86436
Current children cumulated CPU time (s) 546.87
Current children cumulated vsize (Kb) 86436

[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 45156 0 0 0 55404 278 0 0 25 0 1 0 21470572 88645632 14867 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21642 14867 364 364 0 21278 0
[pid=8472] vsize: 86568
Current children cumulated CPU time (s) 556.82
Current children cumulated vsize (Kb) 86568

[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 45447 0 0 0 56395 282 0 0 25 0 1 0 21470572 88645632 14876 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21642 14876 364 364 0 21278 0
[pid=8472] vsize: 86568
Current children cumulated CPU time (s) 566.77
Current children cumulated vsize (Kb) 86568

[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 45738 0 0 0 57388 284 0 0 25 0 1 0 21470572 88645632 14885 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21642 14885 364 364 0 21278 0
[pid=8472] vsize: 86568
Current children cumulated CPU time (s) 576.72
Current children cumulated vsize (Kb) 86568

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 46031 0 0 0 58382 287 0 0 25 0 1 0 21470572 88645632 14896 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21642 14896 364 364 0 21278 0
[pid=8472] vsize: 86568
Current children cumulated CPU time (s) 586.69
Current children cumulated vsize (Kb) 86568

[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 46326 0 0 0 59373 290 0 0 25 0 1 0 21470572 88645632 14909 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21642 14909 364 364 0 21278 0
[pid=8472] vsize: 86568
Current children cumulated CPU time (s) 596.63
Current children cumulated vsize (Kb) 86568

[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 46395 0 0 0 60367 292 0 0 25 0 1 0 21470572 88911872 14945 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21707 14945 364 364 0 21343 0
[pid=8472] vsize: 86828
Current children cumulated CPU time (s) 606.59
Current children cumulated vsize (Kb) 86828

[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 46817 0 0 0 61353 299 0 0 25 0 1 0 21470572 89456640 15085 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21840 15085 364 364 0 21476 0
[pid=8472] vsize: 87360
Current children cumulated CPU time (s) 616.52
Current children cumulated vsize (Kb) 87360

[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 46903 0 0 0 62338 304 0 0 25 0 1 0 21470572 89591808 15171 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21873 15171 364 364 0 21509 0
[pid=8472] vsize: 87492
Current children cumulated CPU time (s) 626.42
Current children cumulated vsize (Kb) 87492

[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 46988 0 0 0 63325 309 0 0 25 0 1 0 21470572 89726976 15256 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21906 15256 364 364 0 21542 0
[pid=8472] vsize: 87624
Current children cumulated CPU time (s) 636.34
Current children cumulated vsize (Kb) 87624

[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 47049 0 0 0 64316 313 0 0 25 0 1 0 21470572 89726976 15317 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21906 15317 364 364 0 21542 0
[pid=8472] vsize: 87624
Current children cumulated CPU time (s) 646.29
Current children cumulated vsize (Kb) 87624

[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 47404 0 0 0 65309 315 0 0 25 0 1 0 21470572 89862144 15390 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21939 15390 364 364 0 21575 0
[pid=8472] vsize: 87756
Current children cumulated CPU time (s) 656.24
Current children cumulated vsize (Kb) 87756

[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 47779 0 0 0 66300 319 0 0 25 0 1 0 21470572 89862144 15483 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21939 15483 364 364 0 21575 0
[pid=8472] vsize: 87756
Current children cumulated CPU time (s) 666.19
Current children cumulated vsize (Kb) 87756

[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 47843 0 0 0 67290 323 0 0 25 0 1 0 21470572 89862144 15547 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21939 15547 364 364 0 21575 0
[pid=8472] vsize: 87756
Current children cumulated CPU time (s) 676.13
Current children cumulated vsize (Kb) 87756

[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 48169 0 0 0 68280 327 0 0 25 0 1 0 21470572 90050560 15591 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 21985 15591 364 364 0 21621 0
[pid=8472] vsize: 87940
Current children cumulated CPU time (s) 686.07
Current children cumulated vsize (Kb) 87940

[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 48476 0 0 0 69272 331 0 0 25 0 1 0 21470572 90247168 15616 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 22033 15616 364 364 0 21669 0
[pid=8472] vsize: 88132
Current children cumulated CPU time (s) 696.03
Current children cumulated vsize (Kb) 88132

[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 48561 0 0 0 70264 333 0 0 25 0 1 0 21470572 90247168 15701 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 22033 15701 364 364 0 21669 0
[pid=8472] vsize: 88132
Current children cumulated CPU time (s) 705.97
Current children cumulated vsize (Kb) 88132

[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 49238 0 0 0 71210 353 0 0 25 0 1 0 21470572 91951104 16096 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 22449 16096 364 364 0 22085 0
[pid=8472] vsize: 89796
Current children cumulated CPU time (s) 715.63
Current children cumulated vsize (Kb) 89796

[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 49457 0 0 0 72142 376 0 0 25 0 1 0 21470572 92495872 16282 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 22582 16282 364 364 0 22218 0
[pid=8472] vsize: 90328
Current children cumulated CPU time (s) 725.18
Current children cumulated vsize (Kb) 90328

[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 49977 0 0 0 73088 392 0 0 25 0 1 0 21470572 94363648 16637 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 23038 16637 364 364 0 22674 0
[pid=8472] vsize: 92152
Current children cumulated CPU time (s) 734.8
Current children cumulated vsize (Kb) 92152

[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 51106 0 0 0 74064 401 0 0 25 0 1 0 21470572 99106816 17486 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24196 17486 364 364 0 23832 0
[pid=8472] vsize: 96784
Current children cumulated CPU time (s) 744.65
Current children cumulated vsize (Kb) 96784

[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51295 0 0 0 75019 419 0 0 25 0 1 0 21470572 99770368 17642 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24358 17642 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 754.38
Current children cumulated vsize (Kb) 97432

[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51636 0 0 0 75972 436 0 0 25 0 1 0 21470572 99770368 17701 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24358 17701 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 764.08
Current children cumulated vsize (Kb) 97432

[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51686 0 0 0 76919 452 0 0 18 0 1 0 21470572 99770368 17751 4294967295 134512640 135987407 3221224560 3221223180 134776764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 24358 17751 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 773.71
Current children cumulated vsize (Kb) 97432

[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 51727 0 0 0 77862 470 0 0 25 0 1 0 21470572 99770368 17792 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24358 17792 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 783.32
Current children cumulated vsize (Kb) 97432

[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51774 0 0 0 78808 489 0 0 19 0 1 0 21470572 99770368 17839 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24358 17839 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 792.97
Current children cumulated vsize (Kb) 97432

[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51827 0 0 0 79751 506 0 0 25 0 1 0 21470572 99770368 17892 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24358 17892 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 802.57
Current children cumulated vsize (Kb) 97432

[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51877 0 0 0 80690 524 0 0 25 0 1 0 21470572 99770368 17942 4294967295 134512640 135987407 3221224560 3221223408 134790066 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24358 17942 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 812.14
Current children cumulated vsize (Kb) 97432

[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51925 0 0 0 81637 543 0 0 25 0 1 0 21470572 99770368 17990 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24358 17990 364 364 0 23994 0
[pid=8472] vsize: 97432
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (Kb) 97432

[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 51994 0 0 0 82583 562 0 0 25 0 1 0 21470572 99905536 18059 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24391 18059 364 364 0 24027 0
[pid=8472] vsize: 97564
Current children cumulated CPU time (s) 831.45
Current children cumulated vsize (Kb) 97564

[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 52113 0 0 0 83539 578 0 0 25 0 1 0 21470572 100413440 18178 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24515 18178 364 364 0 24151 0
[pid=8472] vsize: 98060
Current children cumulated CPU time (s) 841.17
Current children cumulated vsize (Kb) 98060

[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 52224 0 0 0 84493 593 0 0 25 0 1 0 21470572 100610048 18289 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24563 18289 364 364 0 24199 0
[pid=8472] vsize: 98252
Current children cumulated CPU time (s) 850.86
Current children cumulated vsize (Kb) 98252

[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 52267 0 0 0 85449 608 0 0 25 0 1 0 21470572 100610048 18332 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24563 18332 364 364 0 24199 0
[pid=8472] vsize: 98252
Current children cumulated CPU time (s) 860.57
Current children cumulated vsize (Kb) 98252

[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 52573 0 0 0 86411 622 0 0 25 0 1 0 21470572 100745216 18356 4294967295 134512640 135987407 3221224560 3221223312 134801162 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8472/statm): 24596 18356 364 364 0 24232 0
[pid=8472] vsize: 98384
Current children cumulated CPU time (s) 870.33
Current children cumulated vsize (Kb) 98384

[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 52642 0 0 0 87374 634 0 0 25 0 1 0 21470572 101253120 18425 4294967295 134512640 135987407 3221224560 3221223120 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24720 18425 364 364 0 24356 0
[pid=8472] vsize: 98880
Current children cumulated CPU time (s) 880.08
Current children cumulated vsize (Kb) 98880

[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 52708 0 0 0 88334 650 0 0 25 0 1 0 21470572 101384192 18458 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24752 18458 364 364 0 24388 0
[pid=8472] vsize: 99008
Current children cumulated CPU time (s) 889.84
Current children cumulated vsize (Kb) 99008

[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 52961 0 0 0 89300 661 0 0 25 0 1 0 21470572 102043648 18579 4294967295 134512640 135987407 3221224560 3221223280 134813818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24913 18579 364 364 0 24549 0
[pid=8472] vsize: 99652
Current children cumulated CPU time (s) 899.61
Current children cumulated vsize (Kb) 99652

[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 53246 0 0 0 90273 672 0 0 25 0 1 0 21470572 102043648 18582 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24913 18582 364 364 0 24549 0
[pid=8472] vsize: 99652
Current children cumulated CPU time (s) 909.45
Current children cumulated vsize (Kb) 99652

[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 53256 0 0 0 91238 685 0 0 25 0 1 0 21470572 102043648 18592 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24913 18592 364 364 0 24549 0
[pid=8472] vsize: 99652
Current children cumulated CPU time (s) 919.23
Current children cumulated vsize (Kb) 99652

[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 53274 0 0 0 92193 700 0 0 25 0 1 0 21470572 102043648 18610 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24913 18610 364 364 0 24549 0
[pid=8472] vsize: 99652
Current children cumulated CPU time (s) 928.93
Current children cumulated vsize (Kb) 99652

[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 53299 0 0 0 93161 712 0 0 25 0 1 0 21470572 102174720 18635 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 24945 18635 364 364 0 24581 0
[pid=8472] vsize: 99780
Current children cumulated CPU time (s) 938.73
Current children cumulated vsize (Kb) 99780

[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 53473 0 0 0 94123 723 0 0 25 0 1 0 21470572 102850560 18809 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25110 18809 364 364 0 24746 0
[pid=8472] vsize: 100440
Current children cumulated CPU time (s) 948.46
Current children cumulated vsize (Kb) 100440

[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 53761 0 0 0 95087 735 0 0 25 0 1 0 21470572 102850560 18815 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25110 18815 364 364 0 24746 0
[pid=8472] vsize: 100440
Current children cumulated CPU time (s) 958.22
Current children cumulated vsize (Kb) 100440

[startup+980.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 53811 0 0 0 96049 747 0 0 25 0 1 0 21470572 103022592 18865 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25152 18865 364 364 0 24788 0
[pid=8472] vsize: 100608
Current children cumulated CPU time (s) 967.96
Current children cumulated vsize (Kb) 100608

[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 54483 0 0 0 97013 760 0 0 25 0 1 0 21470572 103653376 18973 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25306 18973 364 364 0 24942 0
[pid=8472] vsize: 101224
Current children cumulated CPU time (s) 977.73
Current children cumulated vsize (Kb) 101224

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 54517 0 0 0 97982 771 0 0 25 0 1 0 21470572 103653376 19007 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25306 19007 364 364 0 24942 0
[pid=8472] vsize: 101224
Current children cumulated CPU time (s) 987.53
Current children cumulated vsize (Kb) 101224

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 54902 0 0 0 98943 783 0 0 25 0 1 0 21470572 104054784 19110 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25404 19110 364 364 0 25040 0
[pid=8472] vsize: 101616
Current children cumulated CPU time (s) 997.26
Current children cumulated vsize (Kb) 101616

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 54913 0 0 0 99897 799 0 0 25 0 1 0 21470572 104189952 19121 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25437 19121 364 364 0 25073 0
[pid=8472] vsize: 101748
Current children cumulated CPU time (s) 1006.96
Current children cumulated vsize (Kb) 101748

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 55271 0 0 0 100853 815 0 0 25 0 1 0 21470572 104509440 19197 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25515 19197 364 364 0 25151 0
[pid=8472] vsize: 102060
Current children cumulated CPU time (s) 1016.68
Current children cumulated vsize (Kb) 102060

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 55841 0 0 0 101810 831 0 0 25 0 1 0 21470572 104509440 19203 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25515 19203 364 364 0 25151 0
[pid=8472] vsize: 102060
Current children cumulated CPU time (s) 1026.41
Current children cumulated vsize (Kb) 102060

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 56166 0 0 0 102766 848 0 0 25 0 1 0 21470572 104669184 19246 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25554 19246 364 364 0 25190 0
[pid=8472] vsize: 102216
Current children cumulated CPU time (s) 1036.14
Current children cumulated vsize (Kb) 102216

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 56483 0 0 0 103723 863 0 0 25 0 1 0 21470572 104669184 19281 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25554 19281 364 364 0 25190 0
[pid=8472] vsize: 102216
Current children cumulated CPU time (s) 1045.86
Current children cumulated vsize (Kb) 102216

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 56917 0 0 0 104689 875 0 0 25 0 1 0 21470572 105345024 19433 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25719 19433 364 364 0 25355 0
[pid=8472] vsize: 102876
Current children cumulated CPU time (s) 1055.64
Current children cumulated vsize (Kb) 102876

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 57203 0 0 0 105651 889 0 0 25 0 1 0 21470572 105345024 19437 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25719 19437 364 364 0 25355 0
[pid=8472] vsize: 102876
Current children cumulated CPU time (s) 1065.4
Current children cumulated vsize (Kb) 102876

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 57503 0 0 0 106611 903 0 0 25 0 1 0 21470572 105525248 19455 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25763 19455 364 364 0 25399 0
[pid=8472] vsize: 103052
Current children cumulated CPU time (s) 1075.14
Current children cumulated vsize (Kb) 103052

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 57790 0 0 0 107579 913 0 0 25 0 1 0 21470572 105525248 19460 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25763 19460 364 364 0 25399 0
[pid=8472] vsize: 103052
Current children cumulated CPU time (s) 1084.92
Current children cumulated vsize (Kb) 103052

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 57796 0 0 0 108532 930 0 0 25 0 1 0 21470572 105525248 19466 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25763 19466 364 364 0 25399 0
[pid=8472] vsize: 103052
Current children cumulated CPU time (s) 1094.62
Current children cumulated vsize (Kb) 103052

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 58104 0 0 0 109496 943 0 0 25 0 1 0 21470572 105525248 19492 4294967295 134512640 135987407 3221224560 3221223280 134813715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25763 19492 364 364 0 25399 0
[pid=8472] vsize: 103052
Current children cumulated CPU time (s) 1104.39
Current children cumulated vsize (Kb) 103052

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 58409 0 0 0 110458 956 0 0 25 0 1 0 21470572 105525248 19515 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25763 19515 364 364 0 25399 0
[pid=8472] vsize: 103052
Current children cumulated CPU time (s) 1114.14
Current children cumulated vsize (Kb) 103052

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 58742 0 0 0 111418 970 0 0 25 0 1 0 21470572 105820160 19566 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25835 19566 364 364 0 25471 0
[pid=8472] vsize: 103340
Current children cumulated CPU time (s) 1123.88
Current children cumulated vsize (Kb) 103340

[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 58776 0 0 0 112370 986 0 0 25 0 1 0 21470572 105820160 19600 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25835 19600 364 364 0 25471 0
[pid=8472] vsize: 103340
Current children cumulated CPU time (s) 1133.56
Current children cumulated vsize (Kb) 103340

[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 59085 0 0 0 113328 1002 0 0 25 0 1 0 21470572 105955328 19627 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25868 19627 364 364 0 25504 0
[pid=8472] vsize: 103472
Current children cumulated CPU time (s) 1143.3
Current children cumulated vsize (Kb) 103472

[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 59098 0 0 0 114283 1018 0 0 25 0 1 0 21470572 105955328 19640 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25868 19640 364 364 0 25504 0
[pid=8472] vsize: 103472
Current children cumulated CPU time (s) 1153.01
Current children cumulated vsize (Kb) 103472

[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 59112 0 0 0 115238 1034 0 0 25 0 1 0 21470572 106090496 19654 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25901 19654 364 364 0 25537 0
[pid=8472] vsize: 103604
Current children cumulated CPU time (s) 1162.72
Current children cumulated vsize (Kb) 103604

[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 59429 0 0 0 116190 1048 0 0 25 0 1 0 21470572 106090496 19689 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25901 19689 364 364 0 25537 0
[pid=8472] vsize: 103604
Current children cumulated CPU time (s) 1172.38
Current children cumulated vsize (Kb) 103604

[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 59737 0 0 0 117141 1065 0 0 25 0 1 0 21470572 106225664 19715 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25934 19715 364 364 0 25570 0
[pid=8472] vsize: 103736
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (Kb) 103736

[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) R 8471 8472 4005 0 -1 0 59755 0 0 0 118099 1079 0 0 25 0 1 0 21470572 106360832 19733 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25967 19733 364 364 0 25603 0
[pid=8472] vsize: 103868
Current children cumulated CPU time (s) 1191.78
Current children cumulated vsize (Kb) 103868

[startup+1220.07 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 60055 0 0 0 119053 1097 0 0 25 0 1 0 21470572 106360832 19751 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25967 19751 364 364 0 25603 0
[pid=8472] vsize: 103868
Current children cumulated CPU time (s) 1201.5
Current children cumulated vsize (Kb) 103868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8472
Raw data (/proc/8472/stat): 8472 (pb2sat) T 8471 8472 4005 0 -1 0 60055 0 0 0 119053 1097 0 0 25 0 1 0 21470572 106360832 19751 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8472/statm): 25967 19751 364 364 0 25603 0
[pid=8472] vsize: 103868
Current children cumulated CPU time (s) 1201.5
Current children cumulated vsize (Kb) 103868

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

Child status: 0
Real time (s): 1220.35
CPU time (s): 1201.78
CPU user time (s): 1190.77
CPU system time (s): 11.0183
CPU usage (%): 98.479
Max. virtual memory (cumulated for all children) (Kb): 103868

Verifier Data

ERROR: no interpretation found !