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/milp/normalized-mps-v2-13-7-ran14x18_1.opb
MD5SUM27cc6bcebfcedf07c5cf3ac138a419c6
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1099652
Optimality of the best value was proved NO
Number of terms in the objective function 5292
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 1421968313
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1421968313
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1240.04
Number of variables5292
Total number of constraints536
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)252
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint1
Maximum length of a constraint360

Trace number 10633

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 19:02:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9326 boxname=wulflinc8 idbench=1122 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  27cc6bcebfcedf07c5cf3ac138a419c6  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-ran14x18_1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-ran14x18_1.opb
IDLAUNCH: 9326
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
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:        918156 kB
Buffers:         13924 kB
Cached:          85356 kB
SwapCached:          0 kB
Active:          45564 kB
Inactive:        56640 kB
HighTotal:      131008 kB
HighFree:        42616 kB
LowTotal:       903652 kB
LowFree:        875540 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8832 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:23:16 (client local time) WITH STATUS 0 IN 1206.89 SECONDS
stats: 9326 7 1206.89 0

Solver Data

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

c Decision: 15820/189840	Time: 65.69/86400
c Decision: 15820/189840	Time: 73.2059/86400
c Decision: 15820/189840	Time: 79.5329/86400
c Decision: 15820/189840	Time: 86.3129/86400
c Decision: 15820/189840	Time: 93.7467/86400
c Decision: 15820/189840	Time: 99.8628/86400
c Decision: 15820/189840	Time: 107.592/86400
c Decision: 15820/189840	Time: 116.176/86400
c Decision: 15820/189840	Time: 123.444/86400
c Decision: 15820/189840	Time: 129.347/86400
c Decision: 15820/189840	Time: 137.366/86400
c Decision: 15820/189840	Time: 143.801/86400
c Decision: 15820/189840	Time: 149.912/86400
c Decision: 15820/189840	Time: 156.771/86400
c Decision: 15820/189840	Time: 163.992/86400
c Decision: 15820/189840	Time: 170.717/86400
c Decision: 15820/189840	Time: 177.468/86400
c Decision: 15820/189840	Time: 183.077/86400
c Decision: 15820/189840	Time: 190.105/86400
c Decision: 15820/189840	Time: 196.358/86400
c Decision: 15820/189840	Time: 203.053/86400
c Decision: 15820/189840	Time: 209.662/86400
c Decision: 15820/189840	Time: 215.728/86400
c Decision: 15820/189840	Time: 221.567/86400
c Decision: 15820/189840	Time: 227.463/86400
c Decision: 15820/189840	Time: 233.547/86400
c Decision: 15820/189840	Time: 240.491/86400
c Decision: 15820/189840	Time: 247.103/86400
c Decision: 15820/189840	Time: 253.147/86400
c Decision: 15820/189840	Time: 259.288/86400
c Decision: 15820/189840	Time: 265.914/86400
c Decision: 15820/189840	Time: 272.15/86400
c Decision: 15820/189840	Time: 278.587/86400
c Decision: 15820/189840	Time: 284.505/86400
c Decision: 15820/189840	Time: 289.735/86400
c Decision: 15820/189840	Time: 296.214/86400
c Decision: 15820/189840	Time: 301.792/86400
c Decision: 15820/189840	Time: 308.333/86400
c Decision: 15820/189840	Time: 314.892/86400
c Decision: 15820/189840	Time: 320.572/86400
c Decision: 15820/189840	Time: 327.461/86400
c Decision: 15820/189840	Time: 333.294/86400
c Decision: 15820/189840	Time: 338.885/86400
c Decision: 15820/189840	Time: 345.004/86400
c Decision: 15820/189840	Time: 351.555/86400
c Decision: 15820/189840	Time: 358.527/86400
c Decision: 15820/189840	Time: 364.831/86400
c Decision: 15820/189840	Time: 370.724/86400
c Decision: 15820/189840	Time: 377.417/86400
c Decision: 15820/189840	Time: 383.967/86400
c Decision: 15820/189840	Time: 390.132/86400
c Decision: 15820/189840	Time: 396.318/86400
c Decision: 15820/189840	Time: 401.82/86400
c Decision: 15820/189840	Time: 407.503/86400
c Decision: 15820/189840	Time: 413.948/86400
c Decision: 15820/189840	Time: 421.369/86400
c Decision: 15820/189840	Time: 427.535/86400
c Decision: 15820/189840	Time: 433.822/86400
c Decision: 15820/189840	Time: 439.336/86400
c Decision: 15820/189840	Time: 445.325/86400
c Decision: 15820/189840	Time: 451.523/86400
c Decision: 15820/189840	Time: 458.006/86400
c Decision: 15820/189840	Time: 464.514/86400
c Decision: 15820/189840	Time: 470.593/86400
c Decision: 15820/189840	Time: 476.328/86400
c Decision: 15820/189840	Time: 483.77/86400
c Decision: 15820/189840	Time: 492.277/86400
c Decision: 15820/189840	Time: 498.558/86400
c Decision: 15820/189840	Time: 505.187/86400
c Decision: 15820/189840	Time: 511.191/86400
c Decision: 15820/189840	Time: 517.689/86400
c Decision: 15820/189840	Time: 524.401/86400
c Decision: 15820/189840	Time: 530.698/86400
c Decision: 15820/189840	Time: 537.28/86400
c Decision: 15820/189840	Time: 544.18/86400
c Decision: 15820/189840	Time: 550.789/86400
c Decision: 15820/189840	Time: 556.356/86400
c Decision: 15820/189840	Time: 562.247/86400
c Decision: 15820/189840	Time: 568.314/86400
c Decision: 15820/189840	Time: 574.807/86400
c Decision: 15820/189840	Time: 581.885/86400
c Decision: 15820/189840	Time: 588.619/86400
c Decision: 15820/189840	Time: 596.164/86400
c Decision: 15820/189840	Time: 603.093/86400
c Decision: 15820/189840	Time: 610.33/86400
c Decision: 15820/189840	Time: 618.085/86400
c Decision: 15820/189840	Time: 624.767/86400
c Decision: 15820/189840	Time: 631.395/86400
c Decision: 15820/189840	Time: 637.924/86400
c Decision: 15820/189840	Time: 644.793/86400
c Decision: 15820/189840	Time: 652.444/86400
c Decision: 15820/189840	Time: 659.174/86400
c Decision: 15820/189840	Time: 665.899/86400
c Decision: 15820/189840	Time: 672.059/86400
c Decision: 15820/189840	Time: 678.823/86400
c Decision: 15820/189840	Time: 686.252/86400
c Decision: 15820/189840	Time: 693.381/86400
c Decision: 15820/189840	Time: 700.167/86400
c Decision: 15820/189840	Time: 705.503/86400
c Decision: 15820/189840	Time: 711.661/86400
c Decision: 15820/189840	Time: 719.308/86400
c Decision: 15820/189840	Time: 725.69/86400
c Decision: 15820/189840	Time: 732.741/86400
c Decision: 15820/189840	Time: 738.385/86400
c Decision: 15820/189840	Time: 745.737/86400
c Decision: 15820/189840	Time: 753.344/86400
c Decision: 15820/189840	Time: 760.448/86400
c Decision: 15820/189840	Time: 767.245/86400
c Decision: 15820/189840	Time: 773.92/86400
c Decision: 15820/189840	Time: 780.026/86400
c Decision: 15820/189840	Time: 787.23/86400
c Decision: 15820/189840	Time: 794.491/86400
c Decision: 15820/189840	Time: 801.337/86400
c Decision: 15820/189840	Time: 808.169/86400
c Decision: 15820/189840	Time: 814.784/86400
c Decision: 15820/189840	Time: 823.132/86400
c Decision: 15820/189840	Time: 830.239/86400
c Decision: 15820/189840	Time: 836.683/86400
c Decision: 15820/189840	Time: 843.797/86400
c Decision: 15820/189840	Time: 848.958/86400
c Decision: 15820/189840	Time: 856.221/86400
c Decision: 15820/189840	Time: 862.616/86400
c Decision: 15820/189840	Time: 870.508/86400
c Decision: 15820/189840	Time: 877.46/86400
c Decision: 15820/189840	Time: 884.414/86400
c Decision: 15820/189840	Time: 891.778/86400
c Decision: 15820/189840	Time: 899.036/86400
c Decision: 15820/189840	Time: 906.676/86400
c Decision: 15820/189840	Time: 913.721/86400
c Decision: 15820/189840	Time: 920.732/86400
c Decision: 15820/189840	Time: 927.969/86400
c Decision: 15820/189840	Time: 935.059/86400
c Decision: 15820/189840	Time: 942.371/86400
c Decision: 15820/189840	Time: 949.443/86400
c Decision: 15820/189840	Time: 957.118/86400
c Decision: 15820/189840	Time: 964.889/86400
c Decision: 15820/189840	Time: 973.06/86400
c Decision: 15820/189840	Time: 980.259/86400
c Decision: 15820/189840	Time: 985.644/86400
c Decision: 15820/189840	Time: 992.685/86400
c Decision: 15820/189840	Time: 1000.86/86400
c Decision: 15820/189840	Time: 1008.06/86400
c Decision: 15820/189840	Time: 1014.75/86400
c Decision: 15820/189840	Time: 1023.11/86400
c Decision: 15820/189840	Time: 1030.5/86400
c Decision: 15820/189840	Time: 1038.7/86400
c Decision: 15820/189840	Time: 1047.28/86400
c Decision: 15820/189840	Time: 1054.41/86400
c Decision: 15820/189840	Time: 1062.66/86400
c Decision: 15820/189840	Time: 1070.14/86400
c Decision: 15820/189840	Time: 1078.04/86400
c Decision: 15820/189840	Time: 1085.16/86400
c Decision: 15820/189840	Time: 1091.94/86400
c Decision: 15820/189840	Time: 1099.73/86400
c Decision: 15820/189840	Time: 1107.07/86400
c Decision: 15820/189840	Time: 1115.31/86400
c Decision: 15820/189840	Time: 1122.47/86400
c Decision: 15820/189840	Time: 1130.32/86400
c Decision: 15820/189840	Time: 1136.62/86400
c Decision: 15820/189840	Time: 1146.03/86400
c Decision: 15820/189840	Time: 1153.02/86400
c Decision: 15820/189840	Time: 1160.7/86400
c Decision: 15820/189840	Time: 1169.05/86400
c Decision: 15820/189840	Time: 1176.78/86400
c Decision: 15820/189840	Time: 1184/86400
c Decision: 15820/189840	Time: 1192.86/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/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 27 0 0 0 0 0 0 0 23 0 1 0 22565305 1527808 10 4294967295 134512640 135987407 3221224560 3221223964 135537037 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 373 10 364 364 0 9 0
[pid=10725] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-ran14x18_1.opb

[startup+10.002 s]
Raw data (loadavg): 0.97 1.02 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 26728 0 0 0 924 68 0 0 25 0 1 0 22565305 83992576 15242 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 20506 15242 364 364 0 20142 0
[pid=10725] vsize: 82024
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 82024

[startup+20.0028 s]
Raw data (loadavg): 0.97 1.02 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 28195 0 0 0 1865 91 0 0 25 0 1 0 22565305 90603520 16709 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 22120 16709 364 364 0 21756 0
[pid=10725] vsize: 88480
Current children cumulated CPU time (s) 19.56
Current children cumulated vsize (Kb) 88480

[startup+30.0036 s]
Raw data (loadavg): 0.98 1.02 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 28505 0 0 0 2809 111 0 0 25 0 1 0 22565305 91807744 17019 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 22414 17019 364 364 0 22050 0
[pid=10725] vsize: 89656
Current children cumulated CPU time (s) 29.2
Current children cumulated vsize (Kb) 89656

[startup+40.0033 s]
Raw data (loadavg): 0.98 1.02 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 28876 0 0 0 3759 128 0 0 25 0 1 0 22565305 93495296 17390 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 22826 17390 364 364 0 22462 0
[pid=10725] vsize: 91304
Current children cumulated CPU time (s) 38.87
Current children cumulated vsize (Kb) 91304

[startup+50.0042 s]
Raw data (loadavg): 0.98 1.02 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 29030 0 0 0 4698 147 0 0 25 0 1 0 22565305 94117888 17544 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 22978 17544 364 364 0 22614 0
[pid=10725] vsize: 91912
Current children cumulated CPU time (s) 48.45
Current children cumulated vsize (Kb) 91912

[startup+60.0039 s]
Raw data (loadavg): 0.99 1.01 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 29133 0 0 0 5634 170 0 0 25 0 1 0 22565305 94445568 17647 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23058 17647 364 364 0 22694 0
[pid=10725] vsize: 92232
Current children cumulated CPU time (s) 58.04
Current children cumulated vsize (Kb) 92232

[startup+70.0057 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 29184 0 0 0 6560 197 0 0 25 0 1 0 22565305 94593024 17698 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 23094 17698 364 364 0 22730 0
[pid=10725] vsize: 92376
Current children cumulated CPU time (s) 67.57
Current children cumulated vsize (Kb) 92376

[startup+80.0065 s]
Raw data (loadavg): 0.99 1.01 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 29669 0 0 0 7488 222 0 0 25 0 1 0 22565305 94920704 17812 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23174 17812 364 364 0 22810 0
[pid=10725] vsize: 92696
Current children cumulated CPU time (s) 77.1
Current children cumulated vsize (Kb) 92696

[startup+90.0062 s]
Raw data (loadavg): 0.99 1.01 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 30092 0 0 0 8426 242 0 0 25 0 1 0 22565305 95248384 17864 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23254 17864 364 364 0 22890 0
[pid=10725] vsize: 93016
Current children cumulated CPU time (s) 86.68
Current children cumulated vsize (Kb) 93016

[startup+100.007 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 30876 0 0 0 9369 261 0 0 25 0 1 0 22565305 95248384 17906 4294967295 134512640 135987407 3221224560 3221223248 134812135 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23254 17906 364 364 0 22890 0
[pid=10725] vsize: 93016
Current children cumulated CPU time (s) 96.3
Current children cumulated vsize (Kb) 93016

[startup+110.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 31274 0 0 0 10299 283 0 0 25 0 1 0 22565305 95412224 17933 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23294 17933 364 364 0 22930 0
[pid=10725] vsize: 93176
Current children cumulated CPU time (s) 105.82
Current children cumulated vsize (Kb) 93176

[startup+120.01 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 31698 0 0 0 11231 305 0 0 25 0 1 0 22565305 95576064 17986 4294967295 134512640 135987407 3221224560 3221223312 134801104 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23334 17986 364 364 0 22970 0
[pid=10725] vsize: 93336
Current children cumulated CPU time (s) 115.36
Current children cumulated vsize (Kb) 93336

[startup+130.01 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 32460 0 0 0 12160 331 0 0 25 0 1 0 22565305 95576064 18006 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23334 18006 364 364 0 22970 0
[pid=10725] vsize: 93336
Current children cumulated CPU time (s) 124.91
Current children cumulated vsize (Kb) 93336

[startup+140.01 s]
Raw data (loadavg): 0.99 1.01 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 32869 0 0 0 13074 357 0 0 25 0 1 0 22565305 95723520 18044 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10725/statm): 23370 18044 364 364 0 23006 0
[pid=10725] vsize: 93480
Current children cumulated CPU time (s) 134.31
Current children cumulated vsize (Kb) 93480

[startup+150.011 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 33259 0 0 0 13986 387 0 0 25 0 1 0 22565305 95862784 18063 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23404 18063 364 364 0 23040 0
[pid=10725] vsize: 93616
Current children cumulated CPU time (s) 143.73
Current children cumulated vsize (Kb) 93616

[startup+160.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 34033 0 0 0 14901 416 0 0 25 0 1 0 22565305 96006144 18095 4294967295 134512640 135987407 3221224560 3221223312 134812116 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23439 18095 364 364 0 23075 0
[pid=10725] vsize: 93756
Current children cumulated CPU time (s) 153.17
Current children cumulated vsize (Kb) 93756

[startup+170.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 34436 0 0 0 15808 448 0 0 25 0 1 0 22565305 96006144 18127 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23439 18127 364 364 0 23075 0
[pid=10725] vsize: 93756
Current children cumulated CPU time (s) 162.56
Current children cumulated vsize (Kb) 93756

[startup+180.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 34839 0 0 0 16730 474 0 0 25 0 1 0 22565305 96157696 18159 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23476 18159 364 364 0 23112 0
[pid=10725] vsize: 93904
Current children cumulated CPU time (s) 172.04
Current children cumulated vsize (Kb) 93904

[startup+190.012 s]
Raw data (loadavg): 1.07 1.02 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 35611 0 0 0 17653 500 0 0 25 0 1 0 22565305 96157696 18189 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23476 18189 364 364 0 23112 0
[pid=10725] vsize: 93904
Current children cumulated CPU time (s) 181.53
Current children cumulated vsize (Kb) 93904

[startup+200.013 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 35998 0 0 0 18560 535 0 0 25 0 1 0 22565305 96292864 18205 4294967295 134512640 135987407 3221224560 3221223280 134814142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23509 18205 364 364 0 23145 0
[pid=10725] vsize: 94036
Current children cumulated CPU time (s) 190.95
Current children cumulated vsize (Kb) 94036

[startup+210.013 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 36775 0 0 0 19474 566 0 0 25 0 1 0 22565305 96292864 18240 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/10725/statm): 23509 18240 364 364 0 23145 0
[pid=10725] vsize: 94036
Current children cumulated CPU time (s) 200.4
Current children cumulated vsize (Kb) 94036

[startup+220.013 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 37177 0 0 0 20380 599 0 0 25 0 1 0 22565305 96477184 18271 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23554 18271 364 364 0 23190 0
[pid=10725] vsize: 94216
Current children cumulated CPU time (s) 209.79
Current children cumulated vsize (Kb) 94216

[startup+230.013 s]
Raw data (loadavg): 1.12 1.03 1.01 2/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 37934 0 0 0 21296 625 0 0 25 0 1 0 22565305 96477184 18286 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23554 18286 364 364 0 23190 0
[pid=10725] vsize: 94216
Current children cumulated CPU time (s) 219.21
Current children cumulated vsize (Kb) 94216

[startup+240.013 s]
Raw data (loadavg): 1.10 1.03 1.00 1/55 10725
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 38331 0 0 0 22200 659 0 0 25 0 1 0 22565305 96477184 18312 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23554 18312 364 364 0 23190 0
[pid=10725] vsize: 94216
Current children cumulated CPU time (s) 228.59
Current children cumulated vsize (Kb) 94216

[startup+250.014 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 39105 0 0 0 23128 685 0 0 25 0 1 0 22565305 96477184 18344 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23554 18344 364 364 0 23190 0
[pid=10725] vsize: 94216
Current children cumulated CPU time (s) 238.13
Current children cumulated vsize (Kb) 94216

[startup+260.014 s]
Raw data (loadavg): 1.07 1.03 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 39492 0 0 0 24048 713 0 0 25 0 1 0 22565305 96612352 18360 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23587 18360 364 364 0 23223 0
[pid=10725] vsize: 94348
Current children cumulated CPU time (s) 247.61
Current children cumulated vsize (Kb) 94348

[startup+270.014 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 40351 0 0 0 24964 741 0 0 25 0 1 0 22565305 97144832 18477 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23717 18477 364 364 0 23353 0
[pid=10725] vsize: 94868
Current children cumulated CPU time (s) 257.05
Current children cumulated vsize (Kb) 94868

[startup+280.015 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 40738 0 0 0 25867 776 0 0 25 0 1 0 22565305 97144832 18493 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 23717 18493 364 364 0 23353 0
[pid=10725] vsize: 94868
Current children cumulated CPU time (s) 266.43
Current children cumulated vsize (Kb) 94868

[startup+290.015 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 41493 0 0 0 26775 810 0 0 25 0 1 0 22565305 97144832 18506 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23717 18506 364 364 0 23353 0
[pid=10725] vsize: 94868
Current children cumulated CPU time (s) 275.85
Current children cumulated vsize (Kb) 94868

[startup+300.016 s]
Raw data (loadavg): 1.03 1.02 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 41878 0 0 0 27678 843 0 0 25 0 1 0 22565305 97144832 18520 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23717 18520 364 364 0 23353 0
[pid=10725] vsize: 94868
Current children cumulated CPU time (s) 285.21
Current children cumulated vsize (Kb) 94868

[startup+310.016 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 42654 0 0 0 28585 874 0 0 25 0 1 0 22565305 97144832 18554 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23717 18554 364 364 0 23353 0
[pid=10725] vsize: 94868
Current children cumulated CPU time (s) 294.59
Current children cumulated vsize (Kb) 94868

[startup+320.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 43050 0 0 0 29489 905 0 0 25 0 1 0 22565305 97280000 18579 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23750 18579 364 364 0 23386 0
[pid=10725] vsize: 95000
Current children cumulated CPU time (s) 303.94
Current children cumulated vsize (Kb) 95000

[startup+330.018 s]
Raw data (loadavg): 1.02 1.02 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 43442 0 0 0 30405 936 0 0 25 0 1 0 22565305 97280000 18600 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23750 18600 364 364 0 23386 0
[pid=10725] vsize: 95000
Current children cumulated CPU time (s) 313.41
Current children cumulated vsize (Kb) 95000

[startup+340.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 43839 0 0 0 31310 966 0 0 25 0 1 0 22565305 97280000 18626 4294967295 134512640 135987407 3221224560 3221223280 134813811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23750 18626 364 364 0 23386 0
[pid=10725] vsize: 95000
Current children cumulated CPU time (s) 322.76
Current children cumulated vsize (Kb) 95000

[startup+350.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 44613 0 0 0 32218 999 0 0 25 0 1 0 22565305 97415168 18658 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 23783 18658 364 364 0 23419 0
[pid=10725] vsize: 95132
Current children cumulated CPU time (s) 332.17
Current children cumulated vsize (Kb) 95132

[startup+360.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 45376 0 0 0 33131 1028 0 0 25 0 1 0 22565305 98934784 19050 4294967295 134512640 135987407 3221224560 3221222976 134827707 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24154 19050 364 364 0 23790 0
[pid=10725] vsize: 96616
Current children cumulated CPU time (s) 341.59
Current children cumulated vsize (Kb) 96616

[startup+370.019 s]
Raw data (loadavg): 1.09 1.03 1.01 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 45776 0 0 0 34039 1059 0 0 25 0 1 0 22565305 97546240 18708 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23815 18708 364 364 0 23451 0
[pid=10725] vsize: 95260
Current children cumulated CPU time (s) 350.98
Current children cumulated vsize (Kb) 95260

[startup+380.019 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 46542 0 0 0 34953 1089 0 0 25 0 1 0 22565305 97546240 18732 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23815 18732 364 364 0 23451 0
[pid=10725] vsize: 95260
Current children cumulated CPU time (s) 360.42
Current children cumulated vsize (Kb) 95260

[startup+390.019 s]
Raw data (loadavg): 1.06 1.03 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 46940 0 0 0 35860 1118 0 0 25 0 1 0 22565305 97546240 18759 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23815 18759 364 364 0 23451 0
[pid=10725] vsize: 95260
Current children cumulated CPU time (s) 369.78
Current children cumulated vsize (Kb) 95260

[startup+400.019 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 47709 0 0 0 36776 1150 0 0 25 0 1 0 22565305 97677312 18786 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23847 18786 364 364 0 23483 0
[pid=10725] vsize: 95388
Current children cumulated CPU time (s) 379.26
Current children cumulated vsize (Kb) 95388

[startup+410.019 s]
Raw data (loadavg): 1.04 1.03 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 48106 0 0 0 37690 1178 0 0 25 0 1 0 22565305 97677312 18812 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23847 18812 364 364 0 23483 0
[pid=10725] vsize: 95388
Current children cumulated CPU time (s) 388.68
Current children cumulated vsize (Kb) 95388

[startup+420.02 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 48878 0 0 0 38611 1204 0 0 25 0 1 0 22565305 97677312 18842 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23847 18842 364 364 0 23483 0
[pid=10725] vsize: 95388
Current children cumulated CPU time (s) 398.15
Current children cumulated vsize (Kb) 95388

[startup+430.021 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 49286 0 0 0 39532 1231 0 0 25 0 1 0 22565305 97808384 18879 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 23879 18879 364 364 0 23515 0
[pid=10725] vsize: 95516
Current children cumulated CPU time (s) 407.63
Current children cumulated vsize (Kb) 95516

[startup+440.021 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 50108 0 0 0 40451 1259 0 0 25 0 1 0 22565305 98107392 18959 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23952 18959 364 364 0 23588 0
[pid=10725] vsize: 95808
Current children cumulated CPU time (s) 417.1
Current children cumulated vsize (Kb) 95808

[startup+450.021 s]
Raw data (loadavg): 1.02 1.02 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 50516 0 0 0 41361 1288 0 0 25 0 1 0 22565305 98271232 18996 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23992 18996 364 364 0 23628 0
[pid=10725] vsize: 95968
Current children cumulated CPU time (s) 426.49
Current children cumulated vsize (Kb) 95968

[startup+460.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 51278 0 0 0 42293 1312 0 0 25 0 1 0 22565305 98271232 19016 4294967295 134512640 135987407 3221224560 3221223328 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 23992 19016 364 364 0 23628 0
[pid=10725] vsize: 95968
Current children cumulated CPU time (s) 436.05
Current children cumulated vsize (Kb) 95968

[startup+470.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 51680 0 0 0 43203 1343 0 0 25 0 1 0 22565305 98271232 19047 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 23992 19047 364 364 0 23628 0
[pid=10725] vsize: 95968
Current children cumulated CPU time (s) 445.46
Current children cumulated vsize (Kb) 95968

[startup+480.023 s]
Raw data (loadavg): 1.01 1.02 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 52455 0 0 0 44115 1373 0 0 25 0 1 0 22565305 98406400 19080 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24025 19080 364 364 0 23661 0
[pid=10725] vsize: 96100
Current children cumulated CPU time (s) 454.88
Current children cumulated vsize (Kb) 96100

[startup+490.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 52854 0 0 0 45045 1396 0 0 25 0 1 0 22565305 98406400 19108 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24025 19108 364 364 0 23661 0
[pid=10725] vsize: 96100
Current children cumulated CPU time (s) 464.41
Current children cumulated vsize (Kb) 96100

[startup+500.024 s]
Raw data (loadavg): 1.01 1.02 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 53625 0 0 0 45962 1425 0 0 25 0 1 0 22565305 98541568 19137 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24058 19137 364 364 0 23694 0
[pid=10725] vsize: 96232
Current children cumulated CPU time (s) 473.87
Current children cumulated vsize (Kb) 96232

[startup+510.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 54029 0 0 0 46867 1456 0 0 25 0 1 0 22565305 98541568 19170 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24058 19170 364 364 0 23694 0
[pid=10725] vsize: 96232
Current children cumulated CPU time (s) 483.23
Current children cumulated vsize (Kb) 96232

[startup+520.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 54796 0 0 0 47791 1482 0 0 25 0 1 0 22565305 98541568 19195 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24058 19195 364 364 0 23694 0
[pid=10725] vsize: 96232
Current children cumulated CPU time (s) 492.73
Current children cumulated vsize (Kb) 96232

[startup+530.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 55184 0 0 0 48714 1509 0 0 25 0 1 0 22565305 98541568 19212 4294967295 134512640 135987407 3221224560 3221223248 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24058 19212 364 364 0 23694 0
[pid=10725] vsize: 96232
Current children cumulated CPU time (s) 502.23
Current children cumulated vsize (Kb) 96232

[startup+540.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 55582 0 0 0 49634 1538 0 0 25 0 1 0 22565305 98672640 19239 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24090 19239 364 364 0 23726 0
[pid=10725] vsize: 96360
Current children cumulated CPU time (s) 511.72
Current children cumulated vsize (Kb) 96360

[startup+550.026 s]
Raw data (loadavg): 1.00 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 56353 0 0 0 50549 1566 0 0 25 0 1 0 22565305 98672640 19268 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24090 19268 364 364 0 23726 0
[pid=10725] vsize: 96360
Current children cumulated CPU time (s) 521.15
Current children cumulated vsize (Kb) 96360

[startup+560.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 56755 0 0 0 51471 1593 0 0 25 0 1 0 22565305 98820096 19299 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24126 19299 364 364 0 23762 0
[pid=10725] vsize: 96504
Current children cumulated CPU time (s) 530.64
Current children cumulated vsize (Kb) 96504

[startup+570.027 s]
Raw data (loadavg): 1.00 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 57515 0 0 0 52387 1623 0 0 25 0 1 0 22565305 98820096 19317 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24126 19317 364 364 0 23762 0
[pid=10725] vsize: 96504
Current children cumulated CPU time (s) 540.1
Current children cumulated vsize (Kb) 96504

[startup+580.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 57915 0 0 0 53297 1652 0 0 25 0 1 0 22565305 98820096 19346 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24126 19346 364 364 0 23762 0
[pid=10725] vsize: 96504
Current children cumulated CPU time (s) 549.49
Current children cumulated vsize (Kb) 96504

[startup+590.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 58683 0 0 0 54224 1678 0 0 25 0 1 0 22565305 98951168 19372 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24158 19372 364 364 0 23794 0
[pid=10725] vsize: 96632
Current children cumulated CPU time (s) 559.02
Current children cumulated vsize (Kb) 96632

[startup+600.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 58714 0 0 0 55139 1705 0 0 25 0 1 0 22565305 98951168 19403 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24158 19403 364 364 0 23794 0
[pid=10725] vsize: 96632
Current children cumulated CPU time (s) 568.44
Current children cumulated vsize (Kb) 96632

[startup+610.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 59484 0 0 0 56060 1732 0 0 25 0 1 0 22565305 99082240 19431 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24190 19431 364 364 0 23826 0
[pid=10725] vsize: 96760
Current children cumulated CPU time (s) 577.92
Current children cumulated vsize (Kb) 96760

[startup+620.029 s]
Raw data (loadavg): 1.00 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 59889 0 0 0 56972 1761 0 0 25 0 1 0 22565305 99082240 19465 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24190 19465 364 364 0 23826 0
[pid=10725] vsize: 96760
Current children cumulated CPU time (s) 587.33
Current children cumulated vsize (Kb) 96760

[startup+630.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 60651 0 0 0 57890 1788 0 0 25 0 1 0 22565305 100601856 19856 4294967295 134512640 135987407 3221224560 3221222920 134827490 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24561 19856 364 364 0 24197 0
[pid=10725] vsize: 98244
Current children cumulated CPU time (s) 596.78
Current children cumulated vsize (Kb) 98244

[startup+640.029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 61050 0 0 0 58815 1813 0 0 25 0 1 0 22565305 99217408 19513 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24223 19513 364 364 0 23859 0
[pid=10725] vsize: 96892
Current children cumulated CPU time (s) 606.28
Current children cumulated vsize (Kb) 96892

[startup+650.03 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 61446 0 0 0 59729 1842 0 0 25 0 1 0 22565305 99217408 19538 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24223 19538 364 364 0 23859 0
[pid=10725] vsize: 96892
Current children cumulated CPU time (s) 615.71
Current children cumulated vsize (Kb) 96892

[startup+660.03 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 61840 0 0 0 60644 1873 0 0 25 0 1 0 22565305 99217408 19561 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24223 19561 364 364 0 23859 0
[pid=10725] vsize: 96892
Current children cumulated CPU time (s) 625.17
Current children cumulated vsize (Kb) 96892

[startup+670.032 s]
Raw data (loadavg): 1.04 1.02 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 62599 0 0 0 61569 1899 0 0 25 0 1 0 22565305 99352576 19578 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24256 19578 364 364 0 23892 0
[pid=10725] vsize: 97024
Current children cumulated CPU time (s) 634.68
Current children cumulated vsize (Kb) 97024

[startup+680.031 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 62997 0 0 0 62480 1928 0 0 25 0 1 0 22565305 99352576 19605 4294967295 134512640 135987407 3221224560 3221223424 134812653 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24256 19605 364 364 0 23892 0
[pid=10725] vsize: 97024
Current children cumulated CPU time (s) 644.08
Current children cumulated vsize (Kb) 97024

[startup+690.031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 63766 0 0 0 63407 1955 0 0 25 0 1 0 22565305 99352576 19632 4294967295 134512640 135987407 3221224560 3221223376 134815377 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24256 19632 364 364 0 23892 0
[pid=10725] vsize: 97024
Current children cumulated CPU time (s) 653.62
Current children cumulated vsize (Kb) 97024

[startup+700.032 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 64162 0 0 0 64328 1980 0 0 25 0 1 0 22565305 99483648 19657 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24288 19657 364 364 0 23924 0
[pid=10725] vsize: 97152
Current children cumulated CPU time (s) 663.08
Current children cumulated vsize (Kb) 97152

[startup+710.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 64556 0 0 0 65250 2007 0 0 25 0 1 0 22565305 99483648 19680 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24288 19680 364 364 0 23924 0
[pid=10725] vsize: 97152
Current children cumulated CPU time (s) 672.57
Current children cumulated vsize (Kb) 97152

[startup+720.032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 65332 0 0 0 66175 2031 0 0 25 0 1 0 22565305 99483648 19714 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24288 19714 364 364 0 23924 0
[pid=10725] vsize: 97152
Current children cumulated CPU time (s) 682.06
Current children cumulated vsize (Kb) 97152

[startup+730.033 s]
Raw data (loadavg): 1.01 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 65733 0 0 0 67096 2060 0 0 25 0 1 0 22565305 99614720 19744 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24320 19744 364 364 0 23956 0
[pid=10725] vsize: 97280
Current children cumulated CPU time (s) 691.56
Current children cumulated vsize (Kb) 97280

[startup+740.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 66122 0 0 0 68021 2084 0 0 25 0 1 0 22565305 99614720 19762 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24320 19762 364 364 0 23956 0
[pid=10725] vsize: 97280
Current children cumulated CPU time (s) 701.05
Current children cumulated vsize (Kb) 97280

[startup+750.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 66887 0 0 0 68941 2111 0 0 25 0 1 0 22565305 99745792 19785 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24352 19785 364 364 0 23988 0
[pid=10725] vsize: 97408
Current children cumulated CPU time (s) 710.52
Current children cumulated vsize (Kb) 97408

[startup+760.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 67670 0 0 0 69872 2135 0 0 25 0 1 0 22565305 101265408 20197 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24723 20197 364 364 0 24359 0
[pid=10725] vsize: 98892
Current children cumulated CPU time (s) 720.07
Current children cumulated vsize (Kb) 98892

[startup+770.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 68062 0 0 0 70800 2160 0 0 25 0 1 0 22565305 99745792 19847 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24352 19847 364 364 0 23988 0
[pid=10725] vsize: 97408
Current children cumulated CPU time (s) 729.6
Current children cumulated vsize (Kb) 97408

[startup+780.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 68458 0 0 0 71711 2190 0 0 25 0 1 0 22565305 99876864 19872 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24384 19872 364 364 0 24020 0
[pid=10725] vsize: 97536
Current children cumulated CPU time (s) 739.01
Current children cumulated vsize (Kb) 97536

[startup+790.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 69225 0 0 0 72637 2217 0 0 25 0 1 0 22565305 99876864 19897 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24384 19897 364 364 0 24020 0
[pid=10725] vsize: 97536
Current children cumulated CPU time (s) 748.54
Current children cumulated vsize (Kb) 97536

[startup+800.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 69621 0 0 0 73561 2244 0 0 25 0 1 0 22565305 99876864 19922 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24384 19922 364 364 0 24020 0
[pid=10725] vsize: 97536
Current children cumulated CPU time (s) 758.05
Current children cumulated vsize (Kb) 97536

[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 70016 0 0 0 74490 2266 0 0 25 0 1 0 22565305 100007936 19946 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24416 19946 364 364 0 24052 0
[pid=10725] vsize: 97664
Current children cumulated CPU time (s) 767.56
Current children cumulated vsize (Kb) 97664

[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 70786 0 0 0 75415 2291 0 0 25 0 1 0 22565305 100007936 19974 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24416 19974 364 364 0 24052 0
[pid=10725] vsize: 97664
Current children cumulated CPU time (s) 777.06
Current children cumulated vsize (Kb) 97664

[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 71192 0 0 0 76345 2316 0 0 25 0 1 0 22565305 100155392 20009 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24452 20009 364 364 0 24088 0
[pid=10725] vsize: 97808
Current children cumulated CPU time (s) 786.61
Current children cumulated vsize (Kb) 97808

[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 71965 0 0 0 77281 2337 0 0 25 0 1 0 22565305 100155392 20040 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24452 20040 364 364 0 24088 0
[pid=10725] vsize: 97808
Current children cumulated CPU time (s) 796.18
Current children cumulated vsize (Kb) 97808

[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 72375 0 0 0 78207 2364 0 0 25 0 1 0 22565305 100315136 20079 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24491 20079 364 364 0 24127 0
[pid=10725] vsize: 97964
Current children cumulated CPU time (s) 805.71
Current children cumulated vsize (Kb) 97964

[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 72791 0 0 0 79132 2391 0 0 25 0 1 0 22565305 100478976 20124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24531 20124 364 364 0 24167 0
[pid=10725] vsize: 98124
Current children cumulated CPU time (s) 815.23
Current children cumulated vsize (Kb) 98124

[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 73550 0 0 0 80061 2416 0 0 25 0 1 0 22565305 100478976 20141 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24531 20141 364 364 0 24167 0
[pid=10725] vsize: 98124
Current children cumulated CPU time (s) 824.77
Current children cumulated vsize (Kb) 98124

[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 73935 0 0 0 80992 2439 0 0 25 0 1 0 22565305 100478976 20155 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24531 20155 364 364 0 24167 0
[pid=10725] vsize: 98124
Current children cumulated CPU time (s) 834.31
Current children cumulated vsize (Kb) 98124

[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 74337 0 0 0 81914 2467 0 0 25 0 1 0 22565305 100478976 20186 4294967295 134512640 135987407 3221224560 3221223344 134812341 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24531 20186 364 364 0 24167 0
[pid=10725] vsize: 98124
Current children cumulated CPU time (s) 843.81
Current children cumulated vsize (Kb) 98124

[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 75106 0 0 0 82845 2493 0 0 25 0 1 0 22565305 100478976 20213 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24531 20213 364 364 0 24167 0
[pid=10725] vsize: 98124
Current children cumulated CPU time (s) 853.38
Current children cumulated vsize (Kb) 98124

[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 75507 0 0 0 83771 2516 0 0 25 0 1 0 22565305 100614144 20243 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24564 20243 364 364 0 24200 0
[pid=10725] vsize: 98256
Current children cumulated CPU time (s) 862.87
Current children cumulated vsize (Kb) 98256

[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 76272 0 0 0 84714 2537 0 0 25 0 1 0 22565305 100614144 20266 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24564 20266 364 364 0 24200 0
[pid=10725] vsize: 98256
Current children cumulated CPU time (s) 872.51
Current children cumulated vsize (Kb) 98256

[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 76667 0 0 0 85645 2561 0 0 25 0 1 0 22565305 100614144 20290 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24564 20290 364 364 0 24200 0
[pid=10725] vsize: 98256
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (Kb) 98256

[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 77067 0 0 0 86568 2585 0 0 25 0 1 0 22565305 100749312 20319 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24597 20319 364 364 0 24233 0
[pid=10725] vsize: 98388
Current children cumulated CPU time (s) 891.53
Current children cumulated vsize (Kb) 98388

[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 77830 0 0 0 87501 2610 0 0 25 0 1 0 22565305 100749312 20340 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24597 20340 364 364 0 24233 0
[pid=10725] vsize: 98388
Current children cumulated CPU time (s) 901.11
Current children cumulated vsize (Kb) 98388

[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 78224 0 0 0 88432 2633 0 0 25 0 1 0 22565305 100749312 20363 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24597 20363 364 364 0 24233 0
[pid=10725] vsize: 98388
Current children cumulated CPU time (s) 910.65
Current children cumulated vsize (Kb) 98388

[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 78617 0 0 0 89362 2656 0 0 25 0 1 0 22565305 100749312 20385 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24597 20385 364 364 0 24233 0
[pid=10725] vsize: 98388
Current children cumulated CPU time (s) 920.18
Current children cumulated vsize (Kb) 98388

[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 79386 0 0 0 90301 2678 0 0 25 0 1 0 22565305 100880384 20412 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24629 20412 364 364 0 24265 0
[pid=10725] vsize: 98516
Current children cumulated CPU time (s) 929.79
Current children cumulated vsize (Kb) 98516

[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 79791 0 0 0 91233 2699 0 0 25 0 1 0 22565305 100880384 20446 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24629 20446 364 364 0 24265 0
[pid=10725] vsize: 98516
Current children cumulated CPU time (s) 939.32
Current children cumulated vsize (Kb) 98516

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 80180 0 0 0 92154 2726 0 0 25 0 1 0 22565305 101015552 20464 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24662 20464 364 364 0 24298 0
[pid=10725] vsize: 98648
Current children cumulated CPU time (s) 948.8
Current children cumulated vsize (Kb) 98648

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 80948 0 0 0 93081 2750 0 0 25 0 1 0 22565305 101015552 20490 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24662 20490 364 364 0 24298 0
[pid=10725] vsize: 98648
Current children cumulated CPU time (s) 958.31
Current children cumulated vsize (Kb) 98648

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 81344 0 0 0 94008 2775 0 0 25 0 1 0 22565305 101015552 20515 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24662 20515 364 364 0 24298 0
[pid=10725] vsize: 98648
Current children cumulated CPU time (s) 967.83
Current children cumulated vsize (Kb) 98648

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 81736 0 0 0 94947 2795 0 0 25 0 1 0 22565305 101158912 20536 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24697 20536 364 364 0 24333 0
[pid=10725] vsize: 98788
Current children cumulated CPU time (s) 977.42
Current children cumulated vsize (Kb) 98788

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 82129 0 0 0 95880 2815 0 0 25 0 1 0 22565305 101158912 20558 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24697 20558 364 364 0 24333 0
[pid=10725] vsize: 98788
Current children cumulated CPU time (s) 986.95
Current children cumulated vsize (Kb) 98788

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 82900 0 0 0 96817 2836 0 0 25 0 1 0 22565305 101158912 20587 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24697 20587 364 364 0 24333 0
[pid=10725] vsize: 98788
Current children cumulated CPU time (s) 996.53
Current children cumulated vsize (Kb) 98788

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 83299 0 0 0 97745 2861 0 0 25 0 1 0 22565305 101158912 20615 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24697 20615 364 364 0 24333 0
[pid=10725] vsize: 98788
Current children cumulated CPU time (s) 1006.06
Current children cumulated vsize (Kb) 98788

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 83689 0 0 0 98674 2886 0 0 25 0 1 0 22565305 101294080 20634 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24730 20634 364 364 0 24366 0
[pid=10725] vsize: 98920
Current children cumulated CPU time (s) 1015.6
Current children cumulated vsize (Kb) 98920

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 84454 0 0 0 99601 2911 0 0 25 0 1 0 22565305 101294080 20657 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24730 20657 364 364 0 24366 0
[pid=10725] vsize: 98920
Current children cumulated CPU time (s) 1025.12
Current children cumulated vsize (Kb) 98920

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 84847 0 0 0 100538 2931 0 0 25 0 1 0 22565305 101294080 20679 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24730 20679 364 364 0 24366 0
[pid=10725] vsize: 98920
Current children cumulated CPU time (s) 1034.69
Current children cumulated vsize (Kb) 98920

[startup+1100.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 85245 0 0 0 101461 2958 0 0 25 0 1 0 22565305 101294080 20706 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24730 20706 364 364 0 24366 0
[pid=10725] vsize: 98920
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (Kb) 98920

[startup+1110.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 85630 0 0 0 102390 2982 0 0 25 0 1 0 22565305 101429248 20720 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24763 20720 364 364 0 24399 0
[pid=10725] vsize: 99052
Current children cumulated CPU time (s) 1053.72
Current children cumulated vsize (Kb) 99052

[startup+1120.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 86398 0 0 0 103322 3007 0 0 25 0 1 0 22565305 101429248 20746 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24763 20746 364 364 0 24399 0
[pid=10725] vsize: 99052
Current children cumulated CPU time (s) 1063.29
Current children cumulated vsize (Kb) 99052

[startup+1130.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 86797 0 0 0 104249 3031 0 0 25 0 1 0 22565305 101429248 20774 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24763 20774 364 364 0 24399 0
[pid=10725] vsize: 99052
Current children cumulated CPU time (s) 1072.8
Current children cumulated vsize (Kb) 99052

[startup+1140.05 s]
Raw data (loadavg): 1.04 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 87195 0 0 0 105179 3056 0 0 25 0 1 0 22565305 101576704 20801 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24799 20801 364 364 0 24435 0
[pid=10725] vsize: 99196
Current children cumulated CPU time (s) 1082.35
Current children cumulated vsize (Kb) 99196

[startup+1150.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 87586 0 0 0 106114 3079 0 0 25 0 1 0 22565305 101576704 20821 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24799 20821 364 364 0 24435 0
[pid=10725] vsize: 99196
Current children cumulated CPU time (s) 1091.93
Current children cumulated vsize (Kb) 99196

[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 88357 0 0 0 107044 3103 0 0 25 0 1 0 22565305 101576704 20850 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24799 20850 364 364 0 24435 0
[pid=10725] vsize: 99196
Current children cumulated CPU time (s) 1101.47
Current children cumulated vsize (Kb) 99196

[startup+1170.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 88764 0 0 0 107976 3128 0 0 25 0 1 0 22565305 101711872 20886 4294967295 134512640 135987407 3221224560 3221223344 134812441 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24832 20886 364 364 0 24468 0
[pid=10725] vsize: 99328
Current children cumulated CPU time (s) 1111.04
Current children cumulated vsize (Kb) 99328

[startup+1180.05 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 89152 0 0 0 108899 3153 0 0 25 0 1 0 22565305 101711872 20903 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24832 20903 364 364 0 24468 0
[pid=10725] vsize: 99328
Current children cumulated CPU time (s) 1120.52
Current children cumulated vsize (Kb) 99328

[startup+1190.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 89546 0 0 0 109832 3174 0 0 25 0 1 0 22565305 101711872 20926 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24832 20926 364 364 0 24468 0
[pid=10725] vsize: 99328
Current children cumulated CPU time (s) 1130.06
Current children cumulated vsize (Kb) 99328

[startup+1200.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 90314 0 0 0 110765 3198 0 0 25 0 1 0 22565305 101842944 20952 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24864 20952 364 364 0 24500 0
[pid=10725] vsize: 99456
Current children cumulated CPU time (s) 1139.63
Current children cumulated vsize (Kb) 99456

[startup+1210.05 s]
Raw data (loadavg): 1.01 1.01 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 90712 0 0 0 111691 3221 0 0 25 0 1 0 22565305 101842944 20979 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24864 20979 364 364 0 24500 0
[pid=10725] vsize: 99456
Current children cumulated CPU time (s) 1149.12
Current children cumulated vsize (Kb) 99456

[startup+1220.05 s]
Raw data (loadavg): 1.01 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 91110 0 0 0 112633 3241 0 0 25 0 1 0 22565305 101978112 21006 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24897 21006 364 364 0 24533 0
[pid=10725] vsize: 99588
Current children cumulated CPU time (s) 1158.74
Current children cumulated vsize (Kb) 99588

[startup+1230.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 91501 0 0 0 113578 3261 0 0 25 0 1 0 22565305 101978112 21026 4294967295 134512640 135987407 3221224560 3221223280 134813726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24897 21026 364 364 0 24533 0
[pid=10725] vsize: 99588
Current children cumulated CPU time (s) 1168.39
Current children cumulated vsize (Kb) 99588

[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 92272 0 0 0 114515 3285 0 0 25 0 1 0 22565305 101978112 21055 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24897 21055 364 364 0 24533 0
[pid=10725] vsize: 99588
Current children cumulated CPU time (s) 1178
Current children cumulated vsize (Kb) 99588

[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) R 10724 10725 4060 0 -1 0 92668 0 0 0 115439 3309 0 0 25 0 1 0 22565305 102109184 21080 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24929 21080 364 364 0 24565 0
[pid=10725] vsize: 99716
Current children cumulated CPU time (s) 1187.48
Current children cumulated vsize (Kb) 99716

[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 93060 0 0 0 116364 3336 0 0 25 0 1 0 22565305 102109184 21101 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10725/statm): 24929 21101 364 364 0 24565 0
[pid=10725] vsize: 99716
Current children cumulated CPU time (s) 1197
Current children cumulated vsize (Kb) 99716

[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 93450 0 0 0 117294 3361 0 0 25 0 1 0 22565305 102109184 21120 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24929 21120 364 364 0 24565 0
[pid=10725] vsize: 99716
Current children cumulated CPU time (s) 1206.55
Current children cumulated vsize (Kb) 99716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10727
Raw data (/proc/10725/stat): 10725 (pb2sat) T 10724 10725 4060 0 -1 0 93450 0 0 0 117294 3361 0 0 25 0 1 0 22565305 102109184 21120 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10725/statm): 24929 21120 364 364 0 24565 0
[pid=10725] vsize: 99716
Current children cumulated CPU time (s) 1206.55
Current children cumulated vsize (Kb) 99716

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

Child status: 0
Real time (s): 1270.38
CPU time (s): 1206.89
CPU user time (s): 1173.22
CPU system time (s): 33.6629
CPU usage (%): 95.0021
Max. virtual memory (cumulated for all children) (Kb): 99716

Verifier Data

ERROR: no interpretation found !