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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
MD5SUMddd1f838c1e3a248aad1987162b1d40d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 739133
Optimality of the best value was proved NO
Number of terms in the objective function 2520
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 666682247
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 666682247
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.53
Number of variables2520
Total number of constraints142
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 constraints142
Minimum length of a constraint21
Maximum length of a constraint240

Trace number 10570

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-23 18:48:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9283 boxname=wulflinc4 idbench=1079 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 9283
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        957364 kB
Buffers:           264 kB
Cached:          60120 kB
SwapCached:          0 kB
Active:          14200 kB
Inactive:        49032 kB
HighTotal:      131008 kB
HighFree:        66528 kB
LowTotal:       903652 kB
LowFree:        890836 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8388 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:10:04 (client local time) WITH STATUS 0 IN 1204.88 SECONDS
stats: 9283 7 1204.88 0

Solver Data

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

c Decision: 8203/62269	Time: 9.51455/86400
c Decision: 8203/62269	Time: 14.8987/86400
c Decision: 8203/62269	Time: 18.5252/86400
c Decision: 8203/62269	Time: 21.9547/86400
c Decision: 8203/62269	Time: 26.234/86400
c Decision: 8203/62269	Time: 31.1543/86400
c Decision: 8203/62269	Time: 35.1657/86400
c Decision: 8203/62269	Time: 39.36/86400
c Decision: 8203/62269	Time: 44.6172/86400
c Decision: 8203/62269	Time: 47.8637/86400
c Decision: 8203/62269	Time: 51.9411/86400
c Decision: 8203/62269	Time: 56.1715/86400
c Decision: 8203/62269	Time: 60.6458/86400
c Decision: 8203/62269	Time: 65.645/86400
c Decision: 8203/62269	Time: 69.4804/86400
c Decision: 8203/62269	Time: 71.4531/86400
c Decision: 8203/62269	Time: 76.6383/86400
c Decision: 8203/62269	Time: 80.3318/86400
c Decision: 8203/62269	Time: 84.9701/86400
c Decision: 8203/62269	Time: 89.9033/86400
c Decision: 8203/62269	Time: 95.1965/86400
c Decision: 8203/62269	Time: 99.1419/86400
c Decision: 8203/62269	Time: 103.759/86400
c Decision: 8203/62269	Time: 108.212/86400
c Decision: 8203/62269	Time: 113.321/86400
c Decision: 8203/62269	Time: 118.368/86400
c Decision: 8206/62269	Time: 122.658/86400
c Decision: 8206/62269	Time: 126.806/86400
c Decision: 8212/62269	Time: 132.262/86400
c Decision: 8212/62269	Time: 136.448/86400
c Decision: 8212/62269	Time: 141.816/86400
c Decision: 8212/62269	Time: 146.906/86400
c Decision: 8212/62269	Time: 151.132/86400
c Decision: 8212/62269	Time: 156.418/86400
c Decision: 8212/62269	Time: 161.088/86400
c Decision: 8212/62269	Time: 165.884/86400
c Decision: 8212/62269	Time: 170.415/86400
c Decision: 8212/62269	Time: 176.135/86400
c Decision: 8212/62269	Time: 181.069/86400
c Decision: 8212/62269	Time: 184.243/86400
c Decision: 8212/62269	Time: 189.637/86400
c Decision: 8212/62269	Time: 194.546/86400
c Decision: 8212/62269	Time: 200.667/86400
c Decision: 8212/62269	Time: 205.929/86400
c Decision: 8212/62269	Time: 209.076/86400
c Decision: 8212/62269	Time: 213.782/86400
c Decision: 8212/62269	Time: 218.677/86400
c Decision: 8212/62269	Time: 223.682/86400
c Decision: 8212/62269	Time: 228.171/86400
c Decision: 8212/62269	Time: 232.907/86400
c Decision: 8212/62269	Time: 237.7/86400
c Decision: 8212/62269	Time: 242.435/86400
c Decision: 8212/62269	Time: 246.507/86400
c Decision: 8212/62269	Time: 251.897/86400
c Decision: 8212/62269	Time: 256.839/86400
c Decision: 8212/62269	Time: 262.388/86400
c Decision: 8212/62269	Time: 266.983/86400
c Decision: 8212/62269	Time: 271.87/86400
c Decision: 8212/62269	Time: 276.522/86400
c Decision: 8212/62269	Time: 281.207/86400
c Decision: 8212/62269	Time: 286.129/86400
c Decision: 8212/62269	Time: 291.666/86400
c Decision: 8212/62269	Time: 294.776/86400
c Decision: 8212/62269	Time: 299.385/86400
c Decision: 8212/62269	Time: 304.316/86400
c Decision: 8212/62269	Time: 309.471/86400
c Decision: 8212/62269	Time: 313.509/86400
c Decision: 8212/62269	Time: 318.583/86400
c Decision: 8212/62269	Time: 323.9/86400
c Decision: 8212/62269	Time: 328.239/86400
c Decision: 8212/62269	Time: 333.421/86400
c Decision: 8212/62269	Time: 338.249/86400
c Decision: 8212/62269	Time: 343.776/86400
c Decision: 8212/62269	Time: 348.384/86400
c Decision: 8212/62269	Time: 352.663/86400
c Decision: 8212/62269	Time: 356.633/86400
c Decision: 8212/62269	Time: 361.237/86400
c Decision: 8212/62269	Time: 365.932/86400
c Decision: 8212/62269	Time: 370.121/86400
c Decision: 8212/62269	Time: 374.935/86400
c Decision: 8212/62269	Time: 379.31/86400
c Decision: 8212/62269	Time: 383.787/86400
c Decision: 8212/62269	Time: 388.435/86400
c Decision: 8212/62269	Time: 392.605/86400
c Decision: 8212/62269	Time: 397.374/86400
c Decision: 8212/62269	Time: 402.712/86400
c Decision: 8212/62269	Time: 406.901/86400
c Decision: 8212/62269	Time: 411.566/86400
c Decision: 8212/62269	Time: 416.383/86400
c Decision: 8212/62269	Time: 421.646/86400
c Decision: 8212/62269	Time: 425.981/86400
c Decision: 8212/62269	Time: 430.719/86400
c Decision: 8212/62269	Time: 435.683/86400
c Decision: 8212/62269	Time: 440.006/86400
c Decision: 8212/62269	Time: 445.379/86400
c Decision: 8212/62269	Time: 450.12/86400
c Decision: 8212/62269	Time: 455.772/86400
c Decision: 8212/62269	Time: 460.809/86400
c Decision: 8218/62269	Time: 468.296/86400
c Decision: 8218/62269	Time: 472.677/86400
c Decision: 8218/62269	Time: 477.986/86400
c Decision: 8218/62269	Time: 482.886/86400
c Decision: 8218/62269	Time: 488.562/86400
c Decision: 8218/62269	Time: 493.502/86400
c Decision: 8218/62269	Time: 498.437/86400
c Decision: 8218/62269	Time: 503.707/86400
c Decision: 8218/62269	Time: 507.99/86400
c Decision: 8218/62269	Time: 513.986/86400
c Decision: 8218/62269	Time: 519.318/86400
c Decision: 8218/62269	Time: 524.601/86400
c Decision: 8218/62269	Time: 529.635/86400
c Decision: 8218/62269	Time: 534.182/86400
c Decision: 8218/62269	Time: 538.531/86400
c Decision: 8218/62269	Time: 543.809/86400
c Decision: 8218/62269	Time: 548.947/86400
c Decision: 8218/62269	Time: 555.11/86400
c Decision: 8218/62269	Time: 560.004/86400
c Decision: 8218/62269	Time: 565.21/86400
c Decision: 8218/62269	Time: 570.391/86400
c Decision: 8218/62269	Time: 576.164/86400
c Decision: 8218/62269	Time: 582.218/86400
c Decision: 8218/62269	Time: 587.268/86400
c Decision: 8218/62269	Time: 590.491/86400
c Decision: 8218/62269	Time: 596.392/86400
c Decision: 8218/62269	Time: 601.285/86400
c Decision: 8218/62269	Time: 606.519/86400
c Decision: 8218/62269	Time: 611.374/86400
c Decision: 8218/62269	Time: 617.19/86400
c Decision: 8218/62269	Time: 622.822/86400
c Decision: 8218/62269	Time: 628.579/86400
c Decision: 8218/62269	Time: 634.222/86400
c Decision: 8218/62269	Time: 640.114/86400
c Decision: 8218/62269	Time: 645.813/86400
c Decision: 8218/62269	Time: 651.133/86400
c Decision: 8218/62269	Time: 657.292/86400
c Decision: 8218/62269	Time: 663.851/86400
c Decision: 8218/62269	Time: 668.354/86400
c Decision: 8218/62269	Time: 673.093/86400
c Decision: 8218/62269	Time: 678.534/86400
c Decision: 8218/62269	Time: 683.67/86400
c Decision: 8218/62269	Time: 688.91/86400
c Decision: 8218/62269	Time: 694.779/86400
c Decision: 8218/62269	Time: 701.102/86400
c Decision: 8218/62269	Time: 707.042/86400
c Decision: 8218/62269	Time: 712.648/86400
c Decision: 8218/62269	Time: 718.339/86400
c Decision: 8218/62269	Time: 723.51/86400
c Decision: 8218/62269	Time: 728.594/86400
c Decision: 8218/62269	Time: 733.649/86400
c Decision: 8218/62269	Time: 739.277/86400
c Decision: 8218/62269	Time: 745.966/86400
c Decision: 8218/62269	Time: 751.806/86400
c Decision: 8218/62269	Time: 758.129/86400
c Decision: 8218/62269	Time: 763.298/86400
c Decision: 8218/62269	Time: 768.93/86400
c Decision: 8218/62269	Time: 775.242/86400
c Decision: 8218/62269	Time: 779.755/86400
c Decision: 8218/62269	Time: 785.36/86400
c Decision: 8218/62269	Time: 790.545/86400
c Decision: 8218/62269	Time: 794.991/86400
c Decision: 8218/62269	Time: 801.315/86400
c Decision: 8218/62269	Time: 807.17/86400
c Decision: 8218/62269	Time: 812.746/86400
c Decision: 8218/62269	Time: 819.251/86400
c Decision: 8218/62269	Time: 824.776/86400
c Decision: 8218/62269	Time: 830.661/86400
c Decision: 8218/62269	Time: 837.535/86400
c Decision: 8218/62269	Time: 843.404/86400
c Decision: 8218/62269	Time: 849.667/86400
c Decision: 8218/62269	Time: 855.88/86400
c Decision: 8218/62269	Time: 862.219/86400
c Decision: 8218/62269	Time: 867.148/86400
c Decision: 8218/62269	Time: 873.599/86400
c Decision: 8218/62269	Time: 879.315/86400
c Decision: 8218/62269	Time: 885.192/86400
c Decision: 8218/62269	Time: 892.727/86400
c Decision: 8218/62269	Time: 899.304/86400
c Decision: 8218/62269	Time: 904.659/86400
c Decision: 8218/62269	Time: 910.83/86400
c Decision: 8218/62269	Time: 916.974/86400
c Decision: 8218/62269	Time: 924.096/86400
c Decision: 8218/62269	Time: 929.366/86400
c Decision: 8218/62269	Time: 936.228/86400
c Decision: 8218/62269	Time: 943.086/86400
c Decision: 8218/62269	Time: 950.327/86400
c Decision: 8218/62269	Time: 957.489/86400
c Decision: 8218/62269	Time: 965.126/86400
c Decision: 8218/62269	Time: 972.47/86400
c Decision: 8218/62269	Time: 979.929/86400
c Decision: 8218/62269	Time: 986.955/86400
c Decision: 8218/62269	Time: 995.724/86400
c Decision: 8218/62269	Time: 1003.44/86400
c Decision: 8218/62269	Time: 1011.39/86400
c Decision: 8218/62269	Time: 1020.22/86400
c Decision: 8218/62269	Time: 1027.35/86400
c Decision: 8218/62269	Time: 1035.33/86400
c Decision: 8218/62269	Time: 1042.98/86400
c Decision: 8218/62269	Time: 1051.33/86400
c Decision: 8218/62269	Time: 1059.36/86400
c Decision: 8218/62269	Time: 1067.84/86400
c Decision: 8218/62269	Time: 1075.61/86400
c Decision: 8218/62269	Time: 1083.13/86400
c Decision: 8218/62269	Time: 1090.58/86400
c Decision: 8218/62269	Time: 1098.51/86400
c Decision: 8218/62269	Time: 1106.04/86400
c Decision: 8218/62269	Time: 1112.85/86400
c Decision: 8218/62269	Time: 1120.11/86400
c Decision: 8218/62269	Time: 1127.6/86400
c Decision: 8218/62269	Time: 1135.82/86400
c Decision: 8218/62269	Time: 1143.74/86400
c Decision: 8218/62269	Time: 1153.11/86400
c Decision: 8218/62269	Time: 1160.36/86400
c Decision: 8218/62269	Time: 1167.94/86400
c Decision: 8218/62269	Time: 1176.16/86400
c Decision: 8218/62269	Time: 1185.06/86400
c Decision: 8218/62269	Time: 1193.81/86400
c Decision: 8218/62269	Time: 1201.35/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/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22489034 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 373 2 364 364 0 9 0
[pid=10872] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x12.opb

[startup+10.0026 s]
Raw data (loadavg): 0.93 0.95 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 8353 0 0 0 930 36 0 0 25 0 1 0 22489034 25939968 5502 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 6333 5502 364 364 0 5969 0
[pid=10872] vsize: 25332
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 25332

[startup+20.0035 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 9035 0 0 0 1854 62 0 0 25 0 1 0 22489034 27779072 5940 4294967295 134512640 135987407 3221224560 3221223248 134812157 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 6782 5940 364 364 0 6418 0
[pid=10872] vsize: 27128
Current children cumulated CPU time (s) 19.16
Current children cumulated vsize (Kb) 27128

[startup+30.0043 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 9469 0 0 0 2775 88 0 0 25 0 1 0 22489034 28434432 6130 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 6942 6130 364 364 0 6578 0
[pid=10872] vsize: 27768
Current children cumulated CPU time (s) 28.63
Current children cumulated vsize (Kb) 27768

[startup+40.0052 s]
Raw data (loadavg): 0.95 0.96 0.94 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 9903 0 0 0 3692 116 0 0 25 0 1 0 22489034 28745728 6198 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 7018 6198 364 364 0 6654 0
[pid=10872] vsize: 28072
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (Kb) 28072

[startup+50.0051 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 10221 0 0 0 4596 147 0 0 25 0 1 0 22489034 29057024 6272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10872/statm): 7094 6272 364 364 0 6730 0
[pid=10872] vsize: 28376
Current children cumulated CPU time (s) 47.43
Current children cumulated vsize (Kb) 28376

[startup+60.006 s]
Raw data (loadavg): 0.97 0.96 0.94 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 10565 0 0 0 5519 175 0 0 25 0 1 0 22489034 29351936 6372 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10872/statm): 7166 6372 364 364 0 6802 0
[pid=10872] vsize: 28664
Current children cumulated CPU time (s) 56.94
Current children cumulated vsize (Kb) 28664

[startup+70.0068 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 10890 0 0 0 6424 209 0 0 25 0 1 0 22489034 29650944 6453 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 7239 6453 364 364 0 6875 0
[pid=10872] vsize: 28956
Current children cumulated CPU time (s) 66.33
Current children cumulated vsize (Kb) 28956

[startup+80.0077 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 11355 0 0 0 7344 237 0 0 25 0 1 0 22489034 29962240 6552 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 7315 6552 364 364 0 6951 0
[pid=10872] vsize: 29260
Current children cumulated CPU time (s) 75.81
Current children cumulated vsize (Kb) 29260

[startup+90.0085 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 11646 0 0 0 8250 270 0 0 25 0 1 0 22489034 30126080 6599 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 7355 6599 364 364 0 6991 0
[pid=10872] vsize: 29420
Current children cumulated CPU time (s) 85.2
Current children cumulated vsize (Kb) 29420

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 11968 0 0 0 9158 302 0 0 25 0 1 0 22489034 30285824 6677 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 7394 6677 364 364 0 7030 0
[pid=10872] vsize: 29576
Current children cumulated CPU time (s) 94.6
Current children cumulated vsize (Kb) 29576

[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.94 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 12260 0 0 0 10050 335 0 0 25 0 1 0 22489034 30449664 6725 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 7434 6725 364 364 0 7070 0
[pid=10872] vsize: 29736
Current children cumulated CPU time (s) 103.85
Current children cumulated vsize (Kb) 29736

[startup+120.009 s]
Raw data (loadavg): 1.07 0.98 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 12571 0 0 0 10957 368 0 0 25 0 1 0 22489034 30740480 6792 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 7505 6792 364 364 0 7141 0
[pid=10872] vsize: 30020
Current children cumulated CPU time (s) 113.25
Current children cumulated vsize (Kb) 30020

[startup+130.01 s]
Raw data (loadavg): 1.06 0.98 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 12854 0 0 0 11852 403 0 0 25 0 1 0 22489034 30740480 6831 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 7505 6831 364 364 0 7141 0
[pid=10872] vsize: 30020
Current children cumulated CPU time (s) 122.55
Current children cumulated vsize (Kb) 30020

[startup+140.01 s]
Raw data (loadavg): 1.05 0.98 0.94 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 13144 0 0 0 12749 441 0 0 25 0 1 0 22489034 30871552 6877 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10872/statm): 7537 6877 364 364 0 7173 0
[pid=10872] vsize: 30148
Current children cumulated CPU time (s) 131.9
Current children cumulated vsize (Kb) 30148

[startup+150.011 s]
Raw data (loadavg): 1.04 0.98 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 13443 0 0 0 13652 474 0 0 25 0 1 0 22489034 31006720 6932 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 7570 6932 364 364 0 7206 0
[pid=10872] vsize: 30280
Current children cumulated CPU time (s) 141.26
Current children cumulated vsize (Kb) 30280

[startup+160.012 s]
Raw data (loadavg): 1.03 0.98 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 13725 0 0 0 14562 504 0 0 25 0 1 0 22489034 31006720 6970 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 7570 6970 364 364 0 7206 0
[pid=10872] vsize: 30280
Current children cumulated CPU time (s) 150.66
Current children cumulated vsize (Kb) 30280

[startup+170.011 s]
Raw data (loadavg): 1.03 0.98 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 14027 0 0 0 15467 537 0 0 25 0 1 0 22489034 35471360 7028 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 8660 7028 364 364 0 8296 0
[pid=10872] vsize: 34640
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 34640

[startup+180.012 s]
Raw data (loadavg): 1.02 0.98 0.94 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 14191 0 0 0 16373 570 0 0 25 0 1 0 22489034 35471360 7070 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 8660 7070 364 364 0 8296 0
[pid=10872] vsize: 34640
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (Kb) 34640

[startup+190.013 s]
Raw data (loadavg): 1.10 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 14486 0 0 0 17275 602 0 0 25 0 1 0 22489034 35741696 7121 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 8726 7121 364 364 0 8362 0
[pid=10872] vsize: 34904
Current children cumulated CPU time (s) 178.77
Current children cumulated vsize (Kb) 34904

[startup+200.013 s]
Raw data (loadavg): 1.08 1.00 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 14810 0 0 0 18198 630 0 0 25 0 1 0 22489034 35905536 7201 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 8766 7201 364 364 0 8402 0
[pid=10872] vsize: 35064
Current children cumulated CPU time (s) 188.28
Current children cumulated vsize (Kb) 35064

[startup+210.014 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 15092 0 0 0 19115 659 0 0 25 0 1 0 22489034 36069376 7239 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 8806 7239 364 364 0 8442 0
[pid=10872] vsize: 35224
Current children cumulated CPU time (s) 197.74
Current children cumulated vsize (Kb) 35224

[startup+220.015 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 15236 0 0 0 20027 686 0 0 25 0 1 0 22489034 36069376 7261 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 8806 7261 364 364 0 8442 0
[pid=10872] vsize: 35224
Current children cumulated CPU time (s) 207.13
Current children cumulated vsize (Kb) 35224

[startup+230.016 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 15663 0 0 0 20941 717 0 0 25 0 1 0 22489034 36204544 7322 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 8839 7322 364 364 0 8475 0
[pid=10872] vsize: 35356
Current children cumulated CPU time (s) 216.58
Current children cumulated vsize (Kb) 35356

[startup+240.016 s]
Raw data (loadavg): 1.04 1.00 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 15819 0 0 0 21846 750 0 0 25 0 1 0 22489034 36343808 7356 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 8873 7356 364 364 0 8509 0
[pid=10872] vsize: 35492
Current children cumulated CPU time (s) 225.96
Current children cumulated vsize (Kb) 35492

[startup+250.015 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 16115 0 0 0 22755 780 0 0 25 0 1 0 22489034 36478976 7408 4294967295 134512640 135987407 3221224560 3221223280 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 8906 7408 364 364 0 8542 0
[pid=10872] vsize: 35624
Current children cumulated CPU time (s) 235.35
Current children cumulated vsize (Kb) 35624

[startup+260.016 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 16395 0 0 0 23654 815 0 0 25 0 1 0 22489034 36478976 7444 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 8906 7444 364 364 0 8542 0
[pid=10872] vsize: 35624
Current children cumulated CPU time (s) 244.69
Current children cumulated vsize (Kb) 35624

[startup+270.017 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18250 0 0 0 24571 846 0 0 25 0 1 0 22489034 43061248 7518 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10513 7518 364 364 0 10149 0
[pid=10872] vsize: 42052
Current children cumulated CPU time (s) 254.17
Current children cumulated vsize (Kb) 42052

[startup+280.019 s]
Raw data (loadavg): 1.02 1.00 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 18527 0 0 0 25485 876 0 0 25 0 1 0 22489034 43061248 7551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10513 7551 364 364 0 10149 0
[pid=10872] vsize: 42052
Current children cumulated CPU time (s) 263.61
Current children cumulated vsize (Kb) 42052

[startup+290.02 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18812 0 0 0 26392 910 0 0 25 0 1 0 22489034 43192320 7592 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10545 7592 364 364 0 10181 0
[pid=10872] vsize: 42180
Current children cumulated CPU time (s) 273.02
Current children cumulated vsize (Kb) 42180

[startup+300.02 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 18985 0 0 0 27297 941 0 0 25 0 1 0 22489034 43192320 7643 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10545 7643 364 364 0 10181 0
[pid=10872] vsize: 42180
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (Kb) 42180

[startup+310.021 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 19272 0 0 0 28210 971 0 0 25 0 1 0 22489034 43331584 7686 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10579 7686 364 364 0 10215 0
[pid=10872] vsize: 42316
Current children cumulated CPU time (s) 291.81
Current children cumulated vsize (Kb) 42316

[startup+320.02 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 19575 0 0 0 29117 1001 0 0 25 0 1 0 22489034 43474944 7745 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10614 7745 364 364 0 10250 0
[pid=10872] vsize: 42456
Current children cumulated CPU time (s) 301.18
Current children cumulated vsize (Kb) 42456

[startup+330.022 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 19878 0 0 0 30023 1032 0 0 25 0 1 0 22489034 43610112 7804 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10647 7804 364 364 0 10283 0
[pid=10872] vsize: 42588
Current children cumulated CPU time (s) 310.55
Current children cumulated vsize (Kb) 42588

[startup+340.023 s]
Raw data (loadavg): 1.09 1.02 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 20151 0 0 0 30930 1064 0 0 25 0 1 0 22489034 43741184 7833 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10679 7833 364 364 0 10315 0
[pid=10872] vsize: 42716
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (Kb) 42716

[startup+350.023 s]
Raw data (loadavg): 1.07 1.01 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 20441 0 0 0 31836 1097 0 0 25 0 1 0 22489034 43741184 7879 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10679 7879 364 364 0 10315 0
[pid=10872] vsize: 42716
Current children cumulated CPU time (s) 329.33
Current children cumulated vsize (Kb) 42716

[startup+360.024 s]
Raw data (loadavg): 1.06 1.01 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 20720 0 0 0 32734 1131 0 0 25 0 1 0 22489034 43876352 7914 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10712 7914 364 364 0 10348 0
[pid=10872] vsize: 42848
Current children cumulated CPU time (s) 338.65
Current children cumulated vsize (Kb) 42848

[startup+370.024 s]
Raw data (loadavg): 1.05 1.01 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 21009 0 0 0 33649 1161 0 0 25 0 1 0 22489034 43876352 7959 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10712 7959 364 364 0 10348 0
[pid=10872] vsize: 42848
Current children cumulated CPU time (s) 348.1
Current children cumulated vsize (Kb) 42848

[startup+380.025 s]
Raw data (loadavg): 1.04 1.01 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 21187 0 0 0 34562 1190 0 0 25 0 1 0 22489034 44011520 8015 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10745 8015 364 364 0 10381 0
[pid=10872] vsize: 42980
Current children cumulated CPU time (s) 357.52
Current children cumulated vsize (Kb) 42980

[startup+390.026 s]
Raw data (loadavg): 1.04 1.01 0.95 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 21474 0 0 0 35474 1220 0 0 25 0 1 0 22489034 44146688 8058 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10778 8058 364 364 0 10414 0
[pid=10872] vsize: 43112
Current children cumulated CPU time (s) 366.94
Current children cumulated vsize (Kb) 43112

[startup+400.026 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 21768 0 0 0 36372 1256 0 0 25 0 1 0 22489034 44146688 8108 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10778 8108 364 364 0 10414 0
[pid=10872] vsize: 43112
Current children cumulated CPU time (s) 376.28
Current children cumulated vsize (Kb) 43112

[startup+410.027 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 22049 0 0 0 37289 1283 0 0 25 0 1 0 22489034 44277760 8145 4294967295 134512640 135987407 3221224560 3221223312 134801174 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10810 8145 364 364 0 10446 0
[pid=10872] vsize: 43240
Current children cumulated CPU time (s) 385.72
Current children cumulated vsize (Kb) 43240

[startup+420.027 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 22459 0 0 0 38209 1308 0 0 25 0 1 0 22489034 44908544 8311 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10964 8311 364 364 0 10600 0
[pid=10872] vsize: 43856
Current children cumulated CPU time (s) 395.17
Current children cumulated vsize (Kb) 43856

[startup+430.028 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 22631 0 0 0 39126 1335 0 0 25 0 1 0 22489034 44408832 8239 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10842 8239 364 364 0 10478 0
[pid=10872] vsize: 43368
Current children cumulated CPU time (s) 404.61
Current children cumulated vsize (Kb) 43368

[startup+440.029 s]
Raw data (loadavg): 1.09 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 22925 0 0 0 40038 1365 0 0 25 0 1 0 22489034 44544000 8289 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10875 8289 364 364 0 10511 0
[pid=10872] vsize: 43500
Current children cumulated CPU time (s) 414.03
Current children cumulated vsize (Kb) 43500

[startup+450.03 s]
Raw data (loadavg): 1.08 1.02 0.96 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 23213 0 0 0 40958 1391 0 0 25 0 1 0 22489034 44679168 8333 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10908 8333 364 364 0 10544 0
[pid=10872] vsize: 43632
Current children cumulated CPU time (s) 423.49
Current children cumulated vsize (Kb) 43632

[startup+460.031 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 23514 0 0 0 41883 1416 0 0 25 0 1 0 22489034 44810240 8390 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10940 8390 364 364 0 10576 0
[pid=10872] vsize: 43760
Current children cumulated CPU time (s) 432.99
Current children cumulated vsize (Kb) 43760

[startup+470.031 s]
Raw data (loadavg): 1.06 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 23811 0 0 0 42795 1446 0 0 25 0 1 0 22489034 44810240 8443 4294967295 134512640 135987407 3221224560 3221223280 134814123 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 10940 8443 364 364 0 10576 0
[pid=10872] vsize: 43760
Current children cumulated CPU time (s) 442.41
Current children cumulated vsize (Kb) 43760

[startup+480.032 s]
Raw data (loadavg): 1.12 1.03 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24106 0 0 0 43711 1475 0 0 25 0 1 0 22489034 44945408 8494 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 10973 8494 364 364 0 10609 0
[pid=10872] vsize: 43892
Current children cumulated CPU time (s) 451.86
Current children cumulated vsize (Kb) 43892

[startup+490.033 s]
Raw data (loadavg): 1.10 1.03 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24378 0 0 0 44643 1499 0 0 25 0 1 0 22489034 45080576 8522 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11006 8522 364 364 0 10642 0
[pid=10872] vsize: 44024
Current children cumulated CPU time (s) 461.42
Current children cumulated vsize (Kb) 44024

[startup+500.034 s]
Raw data (loadavg): 1.08 1.03 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24661 0 0 0 45566 1526 0 0 25 0 1 0 22489034 45219840 8561 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11040 8561 364 364 0 10676 0
[pid=10872] vsize: 44160
Current children cumulated CPU time (s) 470.92
Current children cumulated vsize (Kb) 44160

[startup+510.035 s]
Raw data (loadavg): 1.07 1.03 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 24957 0 0 0 46480 1556 0 0 25 0 1 0 22489034 45219840 8613 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11040 8613 364 364 0 10676 0
[pid=10872] vsize: 44160
Current children cumulated CPU time (s) 480.36
Current children cumulated vsize (Kb) 44160

[startup+520.036 s]
Raw data (loadavg): 1.06 1.03 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 25110 0 0 0 47405 1582 0 0 25 0 1 0 22489034 45350912 8644 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11072 8644 364 364 0 10708 0
[pid=10872] vsize: 44288
Current children cumulated CPU time (s) 489.87
Current children cumulated vsize (Kb) 44288

[startup+530.037 s]
Raw data (loadavg): 1.05 1.03 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 25403 0 0 0 48327 1610 0 0 25 0 1 0 22489034 45481984 8693 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11104 8693 364 364 0 10740 0
[pid=10872] vsize: 44416
Current children cumulated CPU time (s) 499.37
Current children cumulated vsize (Kb) 44416

[startup+540.038 s]
Raw data (loadavg): 1.04 1.03 0.96 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 25699 0 0 0 49247 1638 0 0 25 0 1 0 22489034 45621248 8745 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11138 8745 364 364 0 10774 0
[pid=10872] vsize: 44552
Current children cumulated CPU time (s) 508.85
Current children cumulated vsize (Kb) 44552

[startup+550.037 s]
Raw data (loadavg): 1.04 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 25982 0 0 0 50173 1662 0 0 25 0 1 0 22489034 45621248 8784 4294967295 134512640 135987407 3221224560 3221223056 134878001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11138 8784 364 364 0 10774 0
[pid=10872] vsize: 44552
Current children cumulated CPU time (s) 518.35
Current children cumulated vsize (Kb) 44552

[startup+560.038 s]
Raw data (loadavg): 1.03 1.02 0.96 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 26147 0 0 0 51090 1688 0 0 25 0 1 0 22489034 45756416 8827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11171 8827 364 364 0 10807 0
[pid=10872] vsize: 44684
Current children cumulated CPU time (s) 527.78
Current children cumulated vsize (Kb) 44684

[startup+570.039 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 26419 0 0 0 51996 1719 0 0 25 0 1 0 22489034 45756416 8855 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11171 8855 364 364 0 10807 0
[pid=10872] vsize: 44684
Current children cumulated CPU time (s) 537.15
Current children cumulated vsize (Kb) 44684

[startup+580.04 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 26724 0 0 0 52927 1744 0 0 25 0 1 0 22489034 45903872 8916 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11207 8916 364 364 0 10843 0
[pid=10872] vsize: 44828
Current children cumulated CPU time (s) 546.71
Current children cumulated vsize (Kb) 44828

[startup+590.04 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 26893 0 0 0 53855 1771 0 0 25 0 1 0 22489034 45903872 8963 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11207 8963 364 364 0 10843 0
[pid=10872] vsize: 44828
Current children cumulated CPU time (s) 556.26
Current children cumulated vsize (Kb) 44828

[startup+600.04 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 27181 0 0 0 54785 1794 0 0 25 0 1 0 22489034 46034944 9007 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11239 9007 364 364 0 10875 0
[pid=10872] vsize: 44956
Current children cumulated CPU time (s) 565.79
Current children cumulated vsize (Kb) 44956

[startup+610.041 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 27466 0 0 0 55705 1821 0 0 25 0 1 0 22489034 46170112 9048 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11272 9048 364 364 0 10908 0
[pid=10872] vsize: 45088
Current children cumulated CPU time (s) 575.26
Current children cumulated vsize (Kb) 45088

[startup+620.04 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 27750 0 0 0 56628 1847 0 0 25 0 1 0 22489034 46170112 9088 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11272 9088 364 364 0 10908 0
[pid=10872] vsize: 45088
Current children cumulated CPU time (s) 584.75
Current children cumulated vsize (Kb) 45088

[startup+630.041 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 28051 0 0 0 57560 1871 0 0 25 0 1 0 22489034 46329856 9145 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11311 9145 364 364 0 10947 0
[pid=10872] vsize: 45244
Current children cumulated CPU time (s) 594.31
Current children cumulated vsize (Kb) 45244

[startup+640.042 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 28208 0 0 0 58470 1903 0 0 25 0 1 0 22489034 46329856 9180 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11311 9180 364 364 0 10947 0
[pid=10872] vsize: 45244
Current children cumulated CPU time (s) 603.73
Current children cumulated vsize (Kb) 45244

[startup+650.042 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 28489 0 0 0 59391 1929 0 0 25 0 1 0 22489034 46465024 9217 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11344 9217 364 364 0 10980 0
[pid=10872] vsize: 45376
Current children cumulated CPU time (s) 613.2
Current children cumulated vsize (Kb) 45376

[startup+660.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10872
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 28764 0 0 0 60320 1952 0 0 25 0 1 0 22489034 46465024 9248 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11344 9248 364 364 0 10980 0
[pid=10872] vsize: 45376
Current children cumulated CPU time (s) 622.72
Current children cumulated vsize (Kb) 45376

[startup+670.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/58 10875
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 29044 0 0 0 61239 1978 0 0 25 0 1 0 22489034 46596096 9284 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11376 9284 364 364 0 11012 0
[pid=10872] vsize: 45504
Current children cumulated CPU time (s) 632.17
Current children cumulated vsize (Kb) 45504

[startup+680.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10927
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 29191 0 0 0 62151 2010 0 0 25 0 1 0 22489034 46596096 9309 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11376 9309 364 364 0 11012 0
[pid=10872] vsize: 45504
Current children cumulated CPU time (s) 641.61
Current children cumulated vsize (Kb) 45504

[startup+690.045 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 10927
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 29471 0 0 0 63081 2035 0 0 25 0 1 0 22489034 46596096 9345 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11376 9345 364 364 0 11012 0
[pid=10872] vsize: 45504
Current children cumulated CPU time (s) 651.16
Current children cumulated vsize (Kb) 45504

[startup+700.044 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 10927
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 29752 0 0 0 64008 2061 0 0 25 0 1 0 22489034 46727168 9382 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11408 9382 364 364 0 11044 0
[pid=10872] vsize: 45632
Current children cumulated CPU time (s) 660.69
Current children cumulated vsize (Kb) 45632

[startup+710.045 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 10927
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 29922 0 0 0 64929 2087 0 0 25 0 1 0 22489034 46727168 9430 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11408 9430 364 364 0 11044 0
[pid=10872] vsize: 45632
Current children cumulated CPU time (s) 670.16
Current children cumulated vsize (Kb) 45632

[startup+720.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10927
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30217 0 0 0 65854 2110 0 0 25 0 1 0 22489034 46858240 9481 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11440 9481 364 364 0 11076 0
[pid=10872] vsize: 45760
Current children cumulated CPU time (s) 679.64
Current children cumulated vsize (Kb) 45760

[startup+730.046 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10929
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30502 0 0 0 66769 2140 0 0 25 0 1 0 22489034 46989312 9522 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11472 9522 364 364 0 11108 0
[pid=10872] vsize: 45888
Current children cumulated CPU time (s) 689.09
Current children cumulated vsize (Kb) 45888

[startup+740.046 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10931
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30770 0 0 0 67699 2166 0 0 25 0 1 0 22489034 46989312 9546 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11472 9546 364 364 0 11108 0
[pid=10872] vsize: 45888
Current children cumulated CPU time (s) 698.65
Current children cumulated vsize (Kb) 45888

[startup+750.047 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 30925 0 0 0 68624 2192 0 0 25 0 1 0 22489034 46989312 9579 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11472 9579 364 364 0 11108 0
[pid=10872] vsize: 45888
Current children cumulated CPU time (s) 708.16
Current children cumulated vsize (Kb) 45888

[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 31213 0 0 0 69547 2220 0 0 25 0 1 0 22489034 47120384 9623 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11504 9623 364 364 0 11140 0
[pid=10872] vsize: 46016
Current children cumulated CPU time (s) 717.67
Current children cumulated vsize (Kb) 46016

[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 31505 0 0 0 70471 2246 0 0 25 0 1 0 22489034 47263744 9671 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 11539 9671 364 364 0 11175 0
[pid=10872] vsize: 46156
Current children cumulated CPU time (s) 727.17
Current children cumulated vsize (Kb) 46156

[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 31797 0 0 0 71391 2272 0 0 25 0 1 0 22489034 47263744 9719 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11539 9719 364 364 0 11175 0
[pid=10872] vsize: 46156
Current children cumulated CPU time (s) 736.63
Current children cumulated vsize (Kb) 46156

[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 31964 0 0 0 72319 2299 0 0 25 0 1 0 22489034 47394816 9764 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11571 9764 364 364 0 11207 0
[pid=10872] vsize: 46284
Current children cumulated CPU time (s) 746.18
Current children cumulated vsize (Kb) 46284

[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 32237 0 0 0 73243 2325 0 0 25 0 1 0 22489034 47394816 9793 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 11571 9793 364 364 0 11207 0
[pid=10872] vsize: 46284
Current children cumulated CPU time (s) 755.68
Current children cumulated vsize (Kb) 46284

[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 32396 0 0 0 74165 2351 0 0 25 0 1 0 22489034 55918592 9830 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13652 9830 364 364 0 13288 0
[pid=10872] vsize: 54608
Current children cumulated CPU time (s) 765.16
Current children cumulated vsize (Kb) 54608

[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 32677 0 0 0 75085 2380 0 0 25 0 1 0 22489034 55918592 9867 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13652 9867 364 364 0 13288 0
[pid=10872] vsize: 54608
Current children cumulated CPU time (s) 774.65
Current children cumulated vsize (Kb) 54608

[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 32951 0 0 0 76007 2408 0 0 25 0 1 0 22489034 55918592 9897 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13652 9897 364 364 0 13288 0
[pid=10872] vsize: 54608
Current children cumulated CPU time (s) 784.15
Current children cumulated vsize (Kb) 54608

[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33238 0 0 0 76939 2431 0 0 25 0 1 0 22489034 56049664 9940 4294967295 134512640 135987407 3221224560 3221223424 134813115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13684 9940 364 364 0 13320 0
[pid=10872] vsize: 54736
Current children cumulated CPU time (s) 793.7
Current children cumulated vsize (Kb) 54736

[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33413 0 0 0 77862 2456 0 0 25 0 1 0 22489034 56049664 9993 4294967295 134512640 135987407 3221224560 3221223280 134814041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13684 9993 364 364 0 13320 0
[pid=10872] vsize: 54736
Current children cumulated CPU time (s) 803.18
Current children cumulated vsize (Kb) 54736

[startup+860.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33692 0 0 0 78791 2479 0 0 20 0 1 0 22489034 56180736 10028 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13716 10028 364 364 0 13352 0
[pid=10872] vsize: 54864
Current children cumulated CPU time (s) 812.7
Current children cumulated vsize (Kb) 54864

[startup+870.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 33978 0 0 0 79723 2502 0 0 25 0 1 0 22489034 56315904 10070 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13749 10070 364 364 0 13385 0
[pid=10872] vsize: 54996
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (Kb) 54996

[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34150 0 0 0 80650 2525 0 0 25 0 1 0 22489034 56315904 10120 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13749 10120 364 364 0 13385 0
[pid=10872] vsize: 54996
Current children cumulated CPU time (s) 831.75
Current children cumulated vsize (Kb) 54996

[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34418 0 0 0 81590 2546 0 0 25 0 1 0 22489034 56446976 10144 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13781 10144 364 364 0 13417 0
[pid=10872] vsize: 55124
Current children cumulated CPU time (s) 841.36
Current children cumulated vsize (Kb) 55124

[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34592 0 0 0 82523 2568 0 0 25 0 1 0 22489034 56446976 10196 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13781 10196 364 364 0 13417 0
[pid=10872] vsize: 55124
Current children cumulated CPU time (s) 850.91
Current children cumulated vsize (Kb) 55124

[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 34880 0 0 0 83452 2591 0 0 25 0 1 0 22489034 56582144 10240 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13814 10240 364 364 0 13450 0
[pid=10872] vsize: 55256
Current children cumulated CPU time (s) 860.43
Current children cumulated vsize (Kb) 55256

[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35162 0 0 0 84388 2613 0 0 25 0 1 0 22489034 56582144 10278 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13814 10278 364 364 0 13450 0
[pid=10872] vsize: 55256
Current children cumulated CPU time (s) 870.01
Current children cumulated vsize (Kb) 55256

[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35327 0 0 0 85321 2636 0 0 25 0 1 0 22489034 56721408 10321 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13848 10321 364 364 0 13484 0
[pid=10872] vsize: 55392
Current children cumulated CPU time (s) 879.57
Current children cumulated vsize (Kb) 55392

[startup+940.058 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35618 0 0 0 86244 2661 0 0 25 0 1 0 22489034 56881152 10368 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13887 10368 364 364 0 13523 0
[pid=10872] vsize: 55548
Current children cumulated CPU time (s) 889.05
Current children cumulated vsize (Kb) 55548

[startup+950.058 s]
Raw data (loadavg): 1.07 1.02 0.97 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 35774 0 0 0 87180 2683 0 0 25 0 1 0 22489034 56881152 10402 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13887 10402 364 364 0 13523 0
[pid=10872] vsize: 55548
Current children cumulated CPU time (s) 898.63
Current children cumulated vsize (Kb) 55548

[startup+960.059 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 36064 0 0 0 88114 2708 0 0 25 0 1 0 22489034 57024512 10448 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13922 10448 364 364 0 13558 0
[pid=10872] vsize: 55688
Current children cumulated CPU time (s) 908.22
Current children cumulated vsize (Kb) 55688

[startup+970.059 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 36227 0 0 0 89043 2732 0 0 25 0 1 0 22489034 57024512 10489 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13922 10489 364 364 0 13558 0
[pid=10872] vsize: 55688
Current children cumulated CPU time (s) 917.75
Current children cumulated vsize (Kb) 55688

[startup+980.06 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 36498 0 0 0 89976 2753 0 0 25 0 1 0 22489034 57159680 10516 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13955 10516 364 364 0 13591 0
[pid=10872] vsize: 55820
Current children cumulated CPU time (s) 927.29
Current children cumulated vsize (Kb) 55820

[startup+990.061 s]
Raw data (loadavg): 1.03 1.01 0.97 1/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 36643 0 0 0 90900 2779 0 0 25 0 1 0 22489034 57159680 10539 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13955 10539 364 364 0 13591 0
[pid=10872] vsize: 55820
Current children cumulated CPU time (s) 936.79
Current children cumulated vsize (Kb) 55820

[startup+1000.06 s]
Raw data (loadavg): 1.03 1.01 0.97 1/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 36913 0 0 0 91831 2803 0 0 25 0 1 0 22489034 57294848 10565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 13988 10565 364 364 0 13624 0
[pid=10872] vsize: 55952
Current children cumulated CPU time (s) 946.34
Current children cumulated vsize (Kb) 55952

[startup+1010.06 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 10933
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37067 0 0 0 92761 2826 0 0 25 0 1 0 22489034 57294848 10597 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 13988 10597 364 364 0 13624 0
[pid=10872] vsize: 55952
Current children cumulated CPU time (s) 955.87
Current children cumulated vsize (Kb) 55952

[startup+1020.06 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37226 0 0 0 93696 2850 0 0 25 0 1 0 22489034 57430016 10634 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14021 10634 364 364 0 13657 0
[pid=10872] vsize: 56084
Current children cumulated CPU time (s) 965.46
Current children cumulated vsize (Kb) 56084

[startup+1030.06 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37512 0 0 0 94635 2873 0 0 25 0 1 0 22489034 58068992 10798 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 14177 10798 364 364 0 13813 0
[pid=10872] vsize: 56708
Current children cumulated CPU time (s) 975.08
Current children cumulated vsize (Kb) 56708

[startup+1040.06 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37673 0 0 0 95570 2895 0 0 25 0 1 0 22489034 57569280 10715 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14055 10715 364 364 0 13691 0
[pid=10872] vsize: 56220
Current children cumulated CPU time (s) 984.65
Current children cumulated vsize (Kb) 56220

[startup+1050.06 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37823 0 0 0 96509 2918 0 0 25 0 1 0 22489034 57700352 10743 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14087 10743 364 364 0 13723 0
[pid=10872] vsize: 56348
Current children cumulated CPU time (s) 994.27
Current children cumulated vsize (Kb) 56348

[startup+1060.07 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 37971 0 0 0 97437 2942 0 0 25 0 1 0 22489034 57700352 10769 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14087 10769 364 364 0 13723 0
[pid=10872] vsize: 56348
Current children cumulated CPU time (s) 1003.79
Current children cumulated vsize (Kb) 56348

[startup+1070.07 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 38128 0 0 0 98368 2964 0 0 25 0 1 0 22489034 57839616 10804 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14121 10804 364 364 0 13757 0
[pid=10872] vsize: 56484
Current children cumulated CPU time (s) 1013.32
Current children cumulated vsize (Kb) 56484

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 38400 0 0 0 99308 2983 0 0 25 0 1 0 22489034 57839616 10832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14121 10832 364 364 0 13757 0
[pid=10872] vsize: 56484
Current children cumulated CPU time (s) 1022.91
Current children cumulated vsize (Kb) 56484

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 38555 0 0 0 100247 3003 0 0 25 0 1 0 22489034 57839616 10865 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14121 10865 364 364 0 13757 0
[pid=10872] vsize: 56484
Current children cumulated CPU time (s) 1032.5
Current children cumulated vsize (Kb) 56484

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 38716 0 0 0 101181 3027 0 0 25 0 1 0 22489034 57995264 10904 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 14159 10904 364 364 0 13795 0
[pid=10872] vsize: 56636
Current children cumulated CPU time (s) 1042.08
Current children cumulated vsize (Kb) 56636

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 38875 0 0 0 102114 3053 0 0 25 0 1 0 22489034 58134528 10941 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14193 10941 364 364 0 13829 0
[pid=10872] vsize: 56772
Current children cumulated CPU time (s) 1051.67
Current children cumulated vsize (Kb) 56772

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39024 0 0 0 103041 3078 0 0 25 0 1 0 22489034 58134528 10968 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14193 10968 364 364 0 13829 0
[pid=10872] vsize: 56772
Current children cumulated CPU time (s) 1061.19
Current children cumulated vsize (Kb) 56772

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39306 0 0 0 103980 3099 0 0 25 0 1 0 22489034 58277888 11006 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14228 11006 364 364 0 13864 0
[pid=10872] vsize: 56912
Current children cumulated CPU time (s) 1070.79
Current children cumulated vsize (Kb) 56912

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39470 0 0 0 104920 3120 0 0 25 0 1 0 22489034 58429440 11048 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 14265 11048 364 364 0 13901 0
[pid=10872] vsize: 57060
Current children cumulated CPU time (s) 1080.4
Current children cumulated vsize (Kb) 57060

[startup+1150.07 s]
Raw data (loadavg): 1.07 1.02 0.97 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 39624 0 0 0 105854 3145 0 0 25 0 1 0 22489034 58429440 11080 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14265 11080 364 364 0 13901 0
[pid=10872] vsize: 57060
Current children cumulated CPU time (s) 1089.99
Current children cumulated vsize (Kb) 57060

[startup+1160.07 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 39774 0 0 0 106783 3169 0 0 25 0 1 0 22489034 58429440 11108 4294967295 134512640 135987407 3221224560 3221223376 134816513 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 14265 11108 364 364 0 13901 0
[pid=10872] vsize: 57060
Current children cumulated CPU time (s) 1099.52
Current children cumulated vsize (Kb) 57060

[startup+1170.07 s]
Raw data (loadavg): 1.05 1.01 0.97 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 40052 0 0 0 107723 3188 0 0 25 0 1 0 22489034 58560512 11142 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10872/statm): 14297 11142 364 364 0 13933 0
[pid=10872] vsize: 57188
Current children cumulated CPU time (s) 1109.11
Current children cumulated vsize (Kb) 57188

[startup+1180.07 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40197 0 0 0 108651 3211 0 0 25 0 1 0 22489034 58560512 11165 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14297 11165 364 364 0 13933 0
[pid=10872] vsize: 57188
Current children cumulated CPU time (s) 1118.62
Current children cumulated vsize (Kb) 57188

[startup+1190.07 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40367 0 0 0 109588 3233 0 0 25 0 1 0 22489034 58695680 11213 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14330 11213 364 364 0 13966 0
[pid=10872] vsize: 57320
Current children cumulated CPU time (s) 1128.21
Current children cumulated vsize (Kb) 57320

[startup+1200.07 s]
Raw data (loadavg): 1.10 1.03 0.98 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40496 0 0 0 110519 3258 0 0 25 0 1 0 22489034 58695680 11220 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10872/statm): 14330 11220 364 364 0 13966 0
[pid=10872] vsize: 57320
Current children cumulated CPU time (s) 1137.77
Current children cumulated vsize (Kb) 57320

[startup+1210.08 s]
Raw data (loadavg): 1.09 1.03 0.98 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40760 0 0 0 111457 3277 0 0 25 0 1 0 22489034 58830848 11240 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14363 11240 364 364 0 13999 0
[pid=10872] vsize: 57452
Current children cumulated CPU time (s) 1147.34
Current children cumulated vsize (Kb) 57452

[startup+1220.08 s]
Raw data (loadavg): 1.15 1.04 0.98 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 40906 0 0 0 112397 3297 0 0 25 0 1 0 22489034 58830848 11264 4294967295 134512640 135987407 3221224560 3221223368 135477852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14363 11264 364 364 0 13999 0
[pid=10872] vsize: 57452
Current children cumulated CPU time (s) 1156.94
Current children cumulated vsize (Kb) 57452

[startup+1230.08 s]
Raw data (loadavg): 1.13 1.04 0.98 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41055 0 0 0 113328 3321 0 0 25 0 1 0 22489034 58830848 11291 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14363 11291 364 364 0 13999 0
[pid=10872] vsize: 57452
Current children cumulated CPU time (s) 1166.49
Current children cumulated vsize (Kb) 57452

[startup+1240.08 s]
Raw data (loadavg): 1.11 1.04 0.98 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41212 0 0 0 114257 3348 0 0 25 0 1 0 22489034 58970112 11326 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14397 11326 364 364 0 14033 0
[pid=10872] vsize: 57588
Current children cumulated CPU time (s) 1176.05
Current children cumulated vsize (Kb) 57588

[startup+1250.08 s]
Raw data (loadavg): 1.09 1.04 0.98 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 41363 0 0 0 115189 3371 0 0 25 0 1 0 22489034 58970112 11355 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14397 11355 364 364 0 14033 0
[pid=10872] vsize: 57588
Current children cumulated CPU time (s) 1185.6
Current children cumulated vsize (Kb) 57588

[startup+1260.08 s]
Raw data (loadavg): 1.08 1.03 0.98 2/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) R 10871 10872 4060 0 -1 0 41517 0 0 0 116116 3399 0 0 25 0 1 0 22489034 58970112 11387 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14397 11387 364 364 0 14033 0
[pid=10872] vsize: 57588
Current children cumulated CPU time (s) 1195.15
Current children cumulated vsize (Kb) 57588

[startup+1270.08 s]
Raw data (loadavg): 1.06 1.03 0.98 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41778 0 0 0 117053 3421 0 0 25 0 1 0 22489034 59105280 11404 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14430 11404 364 364 0 14066 0
[pid=10872] vsize: 57720
Current children cumulated CPU time (s) 1204.74
Current children cumulated vsize (Kb) 57720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.08 s]
Raw data (loadavg): 1.06 1.03 0.98 1/55 10935
Raw data (/proc/10872/stat): 10872 (pb2sat) T 10871 10872 4060 0 -1 0 41778 0 0 0 117053 3421 0 0 25 0 1 0 22489034 59105280 11404 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10872/statm): 14430 11404 364 364 0 14066 0
[pid=10872] vsize: 57720
Current children cumulated CPU time (s) 1204.74
Current children cumulated vsize (Kb) 57720

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

Child status: 0
Real time (s): 1270.21
CPU time (s): 1204.88
CPU user time (s): 1170.64
CPU system time (s): 34.2368
CPU usage (%): 94.8566
Max. virtual memory (cumulated for all children) (Kb): 57720

Verifier Data

ERROR: no interpretation found !