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

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM552cc7fcebca47ae66a3cb1c13679513
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4602
Total number of constraints34781
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)5543
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint1
Maximum length of a constraint29

Trace number 9915

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 15:50:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8594 boxname=wulflinc9 idbench=390 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc9/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 8594
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        915120 kB
Buffers:         12320 kB
Cached:          89884 kB
SwapCached:          0 kB
Active:          52724 kB
Inactive:        52360 kB
HighTotal:      131008 kB
HighFree:        38052 kB
LowTotal:       903652 kB
LowFree:        877068 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8944 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:12:13 (client local time) WITH STATUS 0 IN 1201.24 SECONDS
stats: 8594 7 1201.24 0

Solver Data

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

c Decision: 7711/28160	Time: 26.8649/86400
c Decision: 7711/28160	Time: 30.9953/86400
c Decision: 7711/28160	Time: 34.9637/86400
c Decision: 7711/28160	Time: 39.663/86400
c Decision: 7711/28160	Time: 44.1953/86400
c Decision: 7711/28160	Time: 48.2177/86400
c Decision: 7711/28160	Time: 52.586/86400
c Decision: 7711/28160	Time: 57.2993/86400
c Decision: 7711/28160	Time: 62.4565/86400
c Decision: 7711/28160	Time: 65.923/86400
c Decision: 7711/28160	Time: 69.7234/86400
c Decision: 7711/28160	Time: 73.0159/86400
c Decision: 7711/28160	Time: 76.8873/86400
c Decision: 7711/28160	Time: 80.4058/86400
c Decision: 7711/28160	Time: 84.0182/86400
c Decision: 7711/28160	Time: 88.9655/86400
c Decision: 7711/28160	Time: 93.1118/86400
c Decision: 7711/28160	Time: 97.2102/86400
c Decision: 7711/28160	Time: 100.726/86400
c Decision: 7711/28160	Time: 104.81/86400
c Decision: 7711/28160	Time: 108.972/86400
c Decision: 7711/28160	Time: 113.832/86400
c Decision: 7711/28160	Time: 118.577/86400
c Decision: 7711/28160	Time: 124.029/86400
c Decision: 7711/28160	Time: 129.159/86400
c Decision: 7711/28160	Time: 134.135/86400
c Decision: 7711/28160	Time: 139.104/86400
c Decision: 7711/28160	Time: 143.986/86400
c Decision: 7711/28160	Time: 148.755/86400
c Decision: 7711/28160	Time: 153.757/86400
c Decision: 7711/28160	Time: 158.82/86400
c Decision: 7711/28160	Time: 163.963/86400
c Decision: 7711/28160	Time: 169.573/86400
c Decision: 7711/28160	Time: 174.763/86400
c Decision: 7711/28160	Time: 180.674/86400
c Decision: 7711/28160	Time: 185.686/86400
c Decision: 7711/28160	Time: 191.261/86400
c Decision: 7711/28160	Time: 197.231/86400
c Decision: 7711/28160	Time: 202.874/86400
c Decision: 7711/28160	Time: 208.709/86400
c Decision: 7711/28160	Time: 214.839/86400
c Decision: 7711/28160	Time: 220.668/86400
c Decision: 7711/28160	Time: 226.113/86400
c Decision: 7711/28160	Time: 232.836/86400
c Decision: 7711/28160	Time: 239.372/86400
c Decision: 7711/28160	Time: 245.312/86400
c Decision: 7711/28160	Time: 252.47/86400
c Decision: 7711/28160	Time: 258.479/86400
c Decision: 7711/28160	Time: 264.813/86400
c Decision: 7711/28160	Time: 270.526/86400
c Decision: 7711/28160	Time: 277.357/86400
c Decision: 7711/28160	Time: 283.922/86400
c Decision: 7711/28160	Time: 290.428/86400
c Decision: 7711/28160	Time: 295.921/86400
c Decision: 7711/28160	Time: 300.547/86400
c Decision: 7711/28160	Time: 305.246/86400
c Decision: 7711/28160	Time: 309.449/86400
c Decision: 7711/28160	Time: 312.724/86400
c Decision: 7711/28160	Time: 317.264/86400
c Decision: 7711/28160	Time: 321.994/86400
c Decision: 7711/28160	Time: 327.132/86400
c Decision: 7711/28160	Time: 331.753/86400
c Decision: 7711/28160	Time: 336.506/86400
c Decision: 7711/28160	Time: 340.964/86400
c Decision: 7711/28160	Time: 346.638/86400
c Decision: 7711/28160	Time: 351.407/86400
c Decision: 7711/28160	Time: 356.553/86400
c Decision: 7711/28160	Time: 361.634/86400
c Decision: 7711/28160	Time: 366.955/86400
c Decision: 7711/28160	Time: 371.813/86400
c Decision: 7711/28160	Time: 378.277/86400
c Decision: 7711/28160	Time: 384.452/86400
c Decision: 7711/28160	Time: 390.719/86400
c Decision: 7711/28160	Time: 395.79/86400
c Decision: 7711/28160	Time: 401.619/86400
c Decision: 7711/28160	Time: 408.115/86400
c Decision: 7711/28160	Time: 413.861/86400
c Decision: 7711/28160	Time: 419.165/86400
c Decision: 7711/28160	Time: 425.289/86400
c Decision: 7711/28160	Time: 431.588/86400
c Decision: 7711/28160	Time: 439.009/86400
c Decision: 7711/28160	Time: 445.452/86400
c Decision: 7711/28160	Time: 452.782/86400
c Decision: 7711/28160	Time: 460.316/86400
c Decision: 7711/28160	Time: 466.195/86400
c Decision: 7711/28160	Time: 472.321/86400
c Decision: 7711/28160	Time: 479.456/86400
c Decision: 7711/28160	Time: 485.625/86400
c Decision: 7711/28160	Time: 492.287/86400
c Decision: 7711/28160	Time: 499.41/86400
c Decision: 7711/28160	Time: 506.609/86400
c Decision: 7711/28160	Time: 514.444/86400
c Decision: 7711/28160	Time: 521.94/86400
c Decision: 7711/28160	Time: 528.24/86400
c Decision: 7711/28160	Time: 534.473/86400
c Decision: 7711/28160	Time: 541.847/86400
c Decision: 7711/28160	Time: 548.891/86400
c Decision: 7711/28160	Time: 556.527/86400
c Decision: 7711/28160	Time: 563.394/86400
c Decision: 7711/28160	Time: 570.64/86400
c Decision: 7711/28160	Time: 578.674/86400
c Decision: 7711/28160	Time: 586.439/86400
c Decision: 7711/28160	Time: 593.7/86400
c Decision: 7711/28160	Time: 602.138/86400
c Decision: 7711/28160	Time: 610.27/86400
c Decision: 7711/28160	Time: 617.433/86400
c Decision: 7711/28160	Time: 624.536/86400
c Decision: 7711/28160	Time: 633.492/86400
c Decision: 7711/28160	Time: 641.725/86400
c Decision: 7711/28160	Time: 651.211/86400
c Decision: 7711/28160	Time: 659.564/86400
c Decision: 7711/28160	Time: 667.804/86400
c Decision: 7711/28160	Time: 676.842/86400
c Decision: 7711/28160	Time: 685.351/86400
c Decision: 7711/28160	Time: 692.912/86400
c Decision: 7711/28160	Time: 700.09/86400
c Decision: 7711/28160	Time: 708.574/86400
c Decision: 7711/28160	Time: 718.73/86400
c Decision: 7711/28160	Time: 728.884/86400
c Decision: 7711/28160	Time: 739.567/86400
c Decision: 7711/28160	Time: 749.413/86400
c Decision: 7711/28160	Time: 759.684/86400
c Decision: 7711/28160	Time: 768.942/86400
c Decision: 7711/28160	Time: 777.691/86400
c Decision: 7711/28160	Time: 786.34/86400
c Decision: 7711/28160	Time: 795.704/86400
c Decision: 7711/28160	Time: 806.224/86400
c Decision: 7711/28160	Time: 815.649/86400
c Decision: 7711/28160	Time: 826.157/86400
c Decision: 7711/28160	Time: 834.789/86400
c Decision: 7711/28160	Time: 844.506/86400
c Decision: 7711/28160	Time: 853.296/86400
c Decision: 7711/28160	Time: 862.532/86400
c Decision: 7711/28160	Time: 873.902/86400
c Decision: 7711/28160	Time: 883.535/86400
c Decision: 7711/28160	Time: 892.709/86400
c Decision: 7711/28160	Time: 903.573/86400
c Decision: 7711/28160	Time: 914.269/86400
c Decision: 7711/28160	Time: 924.059/86400
c Decision: 7711/28160	Time: 934.979/86400
c Decision: 7711/28160	Time: 945.38/86400
c Decision: 7711/28160	Time: 953.518/86400
c Decision: 7711/28160	Time: 962.611/86400
c Decision: 7711/28160	Time: 974.741/86400
c Decision: 7711/28160	Time: 984.732/86400
c Decision: 7711/28160	Time: 994.869/86400
c Decision: 7711/28160	Time: 1005.18/86400
c Decision: 7711/28160	Time: 1015.75/86400
c Decision: 7711/28160	Time: 1023.74/86400
c Decision: 7711/28160	Time: 1031.86/86400
c Decision: 7711/28160	Time: 1040.09/86400
c Decision: 7711/28160	Time: 1047.6/86400
c Decision: 7711/28160	Time: 1054.43/86400
c Decision: 7711/28160	Time: 1059.73/86400
c Decision: 7711/28160	Time: 1065.34/86400
c Decision: 7711/28160	Time: 1072.17/86400
c Decision: 7711/28160	Time: 1079.21/86400
c Decision: 7711/28160	Time: 1085.73/86400
c Decision: 7711/28160	Time: 1092.89/86400
c Decision: 7711/28160	Time: 1100.05/86400
c Decision: 7711/28160	Time: 1107.44/86400
c Decision: 7711/28160	Time: 1114.91/86400
c Decision: 7711/28160	Time: 1122.15/86400
c Decision: 7711/28160	Time: 1129.57/86400
c Decision: 7711/28160	Time: 1136.87/86400
c Decision: 7711/28160	Time: 1142.64/86400
c Decision: 7711/28160	Time: 1147.46/86400
c Decision: 7711/28160	Time: 1151.86/86400
c Decision: 7711/28160	Time: 1155.55/86400
c Decision: 7711/28160	Time: 1159.39/86400
c Decision: 7711/28160	Time: 1163.76/86400
c Decision: 7711/28160	Time: 1167.97/86400
c Decision: 7711/28160	Time: 1172.61/86400
c Decision: 7711/28160	Time: 1176.83/86400
c Decision: 7711/28160	Time: 1181.42/86400
c Decision: 7711/28160	Time: 1186.82/86400
c Decision: 7711/28160	Time: 1191.25/86400
c Decision: 7711/28160	Time: 1195.11/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/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21405814 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 373 2 364 364 0 9 0
[pid=9238] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-ppp:1-11,19,21.opb

[startup+10.0022 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 4361 0 0 0 883 43 0 0 25 0 1 0 21405814 14086144 2979 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 3439 2979 364 364 0 3075 0
[pid=9238] vsize: 13756
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (Kb) 13756

[startup+20.002 s]
Raw data (loadavg): 1.03 0.99 0.97 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 4576 0 0 0 1737 91 0 0 24 0 1 0 21405814 16588800 3194 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4050 3194 364 364 0 3686 0
[pid=9238] vsize: 16200
Current children cumulated CPU time (s) 18.28
Current children cumulated vsize (Kb) 16200

[startup+30.0028 s]
Raw data (loadavg): 1.02 0.99 0.97 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 4693 0 0 0 2587 145 0 0 25 0 1 0 21405814 16723968 3311 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4083 3311 364 364 0 3719 0
[pid=9238] vsize: 16332
Current children cumulated CPU time (s) 27.32
Current children cumulated vsize (Kb) 16332

[startup+40.0026 s]
Raw data (loadavg): 1.02 0.99 0.97 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 4864 0 0 0 3438 193 0 0 25 0 1 0 21405814 16994304 3426 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4149 3426 364 364 0 3785 0
[pid=9238] vsize: 16596
Current children cumulated CPU time (s) 36.31
Current children cumulated vsize (Kb) 16596

[startup+50.0034 s]
Raw data (loadavg): 1.02 0.99 0.97 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 5119 0 0 0 4276 248 0 0 22 0 1 0 21405814 17264640 3569 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4215 3569 364 364 0 3851 0
[pid=9238] vsize: 16860
Current children cumulated CPU time (s) 45.24
Current children cumulated vsize (Kb) 16860

[startup+60.0031 s]
Raw data (loadavg): 1.09 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 5306 0 0 0 5125 300 0 0 25 0 1 0 21405814 17264640 3644 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4215 3644 364 364 0 3851 0
[pid=9238] vsize: 16860
Current children cumulated CPU time (s) 54.25
Current children cumulated vsize (Kb) 16860

[startup+70.0029 s]
Raw data (loadavg): 1.07 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 5444 0 0 0 5965 352 0 0 22 0 1 0 21405814 17399808 3670 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4248 3670 364 364 0 3884 0
[pid=9238] vsize: 16992
Current children cumulated CPU time (s) 63.17
Current children cumulated vsize (Kb) 16992

[startup+80.0037 s]
Raw data (loadavg): 1.06 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 5604 0 0 0 6803 403 0 0 24 0 1 0 21405814 17534976 3718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4281 3718 364 364 0 3917 0
[pid=9238] vsize: 17124
Current children cumulated CPU time (s) 72.06
Current children cumulated vsize (Kb) 17124

[startup+90.0045 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 5839 0 0 0 7655 455 0 0 25 0 1 0 21405814 17805312 3785 4294967295 134512640 135987407 3221224560 3221223312 134801335 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4347 3786 364 364 0 3983 0
[pid=9238] vsize: 17388
Current children cumulated CPU time (s) 81.1
Current children cumulated vsize (Kb) 17388

[startup+100.005 s]
Raw data (loadavg): 1.04 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 6023 0 0 0 8486 510 0 0 23 0 1 0 21405814 18075648 3857 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4413 3857 364 364 0 4049 0
[pid=9238] vsize: 17652
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 17652

[startup+110.006 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 6175 0 0 0 9332 558 0 0 25 0 1 0 21405814 18210816 3897 4294967295 134512640 135987407 3221224560 3221223248 134811784 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 4446 3897 364 364 0 4082 0
[pid=9238] vsize: 17784
Current children cumulated CPU time (s) 98.9
Current children cumulated vsize (Kb) 17784

[startup+120.006 s]
Raw data (loadavg): 1.03 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 7096 0 0 0 10179 610 0 0 25 0 1 0 21405814 21491712 3937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5247 3937 364 364 0 4883 0
[pid=9238] vsize: 20988
Current children cumulated CPU time (s) 107.89
Current children cumulated vsize (Kb) 20988

[startup+130.007 s]
Raw data (loadavg): 1.02 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 7267 0 0 0 11030 662 0 0 22 0 1 0 21405814 21626880 3996 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9238/statm): 5280 3996 364 364 0 4916 0
[pid=9238] vsize: 21120
Current children cumulated CPU time (s) 116.92
Current children cumulated vsize (Kb) 21120

[startup+140.007 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 7432 0 0 0 11898 706 0 0 25 0 1 0 21405814 21762048 4049 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5313 4049 364 364 0 4949 0
[pid=9238] vsize: 21252
Current children cumulated CPU time (s) 126.04
Current children cumulated vsize (Kb) 21252

[startup+150.009 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 7614 0 0 0 12753 750 0 0 21 0 1 0 21405814 22032384 4119 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5379 4119 364 364 0 5015 0
[pid=9238] vsize: 21516
Current children cumulated CPU time (s) 135.03
Current children cumulated vsize (Kb) 21516

[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 7780 0 0 0 13618 795 0 0 17 0 1 0 21405814 22032384 4173 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5379 4173 364 364 0 5015 0
[pid=9238] vsize: 21516
Current children cumulated CPU time (s) 144.13
Current children cumulated vsize (Kb) 21516

[startup+170.009 s]
Raw data (loadavg): 1.01 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 7936 0 0 0 14484 838 0 0 25 0 1 0 21405814 22167552 4217 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5412 4217 364 364 0 5048 0
[pid=9238] vsize: 21648
Current children cumulated CPU time (s) 153.22
Current children cumulated vsize (Kb) 21648

[startup+180.01 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 8091 0 0 0 15359 880 0 0 25 0 1 0 21405814 22302720 4316 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5445 4316 364 364 0 5081 0
[pid=9238] vsize: 21780
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (Kb) 21780

[startup+190.009 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 8236 0 0 0 16231 921 0 0 25 0 1 0 21405814 22437888 4349 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5478 4349 364 364 0 5114 0
[pid=9238] vsize: 21912
Current children cumulated CPU time (s) 171.52
Current children cumulated vsize (Kb) 21912

[startup+200.01 s]
Raw data (loadavg): 1.01 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 8387 0 0 0 17102 964 0 0 23 0 1 0 21405814 22573056 4388 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5511 4388 364 364 0 5147 0
[pid=9238] vsize: 22044
Current children cumulated CPU time (s) 180.66
Current children cumulated vsize (Kb) 22044

[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 8579 0 0 0 17992 1000 0 0 25 0 1 0 21405814 22708224 4468 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5544 4468 364 364 0 5180 0
[pid=9238] vsize: 22176
Current children cumulated CPU time (s) 189.92
Current children cumulated vsize (Kb) 22176

[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 8670 0 0 0 18866 1040 0 0 22 0 1 0 21405814 22847488 4503 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5578 4503 364 364 0 5214 0
[pid=9238] vsize: 22312
Current children cumulated CPU time (s) 199.06
Current children cumulated vsize (Kb) 22312

[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 8836 0 0 0 19749 1076 0 0 25 0 1 0 21405814 22986752 4557 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5612 4557 364 364 0 5248 0
[pid=9238] vsize: 22448
Current children cumulated CPU time (s) 208.25
Current children cumulated vsize (Kb) 22448

[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 8963 0 0 0 20632 1112 0 0 20 0 1 0 21405814 23126016 4628 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5646 4628 364 364 0 5282 0
[pid=9238] vsize: 22584
Current children cumulated CPU time (s) 217.44
Current children cumulated vsize (Kb) 22584

[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 9116 0 0 0 21519 1150 0 0 25 0 1 0 21405814 23126016 4669 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5646 4669 364 364 0 5282 0
[pid=9238] vsize: 22584
Current children cumulated CPU time (s) 226.69
Current children cumulated vsize (Kb) 22584

[startup+260.012 s]
Raw data (loadavg): 1.08 1.02 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 9201 0 0 0 22410 1186 0 0 25 0 1 0 21405814 23261184 4698 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 5679 4698 364 364 0 5315 0
[pid=9238] vsize: 22716
Current children cumulated CPU time (s) 235.96
Current children cumulated vsize (Kb) 22716

[startup+270.012 s]
Raw data (loadavg): 1.07 1.02 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 9378 0 0 0 23298 1221 0 0 20 0 1 0 21405814 27594752 4763 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9238/statm): 6737 4763 364 364 0 6373 0
[pid=9238] vsize: 26948
Current children cumulated CPU time (s) 245.19
Current children cumulated vsize (Kb) 26948

[startup+280.012 s]
Raw data (loadavg): 1.06 1.01 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 9484 0 0 0 24192 1256 0 0 25 0 1 0 21405814 27594752 4813 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6737 4813 364 364 0 6373 0
[pid=9238] vsize: 26948
Current children cumulated CPU time (s) 254.48
Current children cumulated vsize (Kb) 26948

[startup+290.012 s]
Raw data (loadavg): 1.05 1.01 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 9645 0 0 0 25080 1294 0 0 25 0 1 0 21405814 27729920 4862 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 6770 4862 364 364 0 6406 0
[pid=9238] vsize: 27080
Current children cumulated CPU time (s) 263.74
Current children cumulated vsize (Kb) 27080

[startup+300.013 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 9779 0 0 0 25977 1324 0 0 25 0 1 0 21405814 27865088 4940 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 6803 4940 364 364 0 6439 0
[pid=9238] vsize: 27212
Current children cumulated CPU time (s) 273.01
Current children cumulated vsize (Kb) 27212

[startup+310.014 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 9954 0 0 0 26872 1358 0 0 25 0 1 0 21405814 27865088 5003 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6803 5003 364 364 0 6439 0
[pid=9238] vsize: 27212
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (Kb) 27212

[startup+320.014 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 10036 0 0 0 27766 1395 0 0 18 0 1 0 21405814 28012544 5029 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 6839 5029 364 364 0 6475 0
[pid=9238] vsize: 27356
Current children cumulated CPU time (s) 291.61
Current children cumulated vsize (Kb) 27356

[startup+330.015 s]
Raw data (loadavg): 1.02 1.01 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 10162 0 0 0 28652 1430 0 0 25 0 1 0 21405814 28012544 5043 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6839 5043 364 364 0 6475 0
[pid=9238] vsize: 27356
Current children cumulated CPU time (s) 300.82
Current children cumulated vsize (Kb) 27356

[startup+340.015 s]
Raw data (loadavg): 1.02 1.01 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 10294 0 0 0 29533 1468 0 0 25 0 1 0 21405814 28147712 5063 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6872 5063 364 364 0 6508 0
[pid=9238] vsize: 27488
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 27488

[startup+350.016 s]
Raw data (loadavg): 1.02 1.01 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 10427 0 0 0 30409 1510 0 0 25 0 1 0 21405814 28147712 5084 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6872 5084 364 364 0 6508 0
[pid=9238] vsize: 27488
Current children cumulated CPU time (s) 319.19
Current children cumulated vsize (Kb) 27488

[startup+360.016 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 10562 0 0 0 31277 1553 0 0 25 0 1 0 21405814 28147712 5107 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6872 5107 364 364 0 6508 0
[pid=9238] vsize: 27488
Current children cumulated CPU time (s) 328.3
Current children cumulated vsize (Kb) 27488

[startup+370.015 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 10707 0 0 0 32157 1595 0 0 25 0 1 0 21405814 28282880 5140 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 6905 5140 364 364 0 6541 0
[pid=9238] vsize: 27620
Current children cumulated CPU time (s) 337.52
Current children cumulated vsize (Kb) 27620

[startup+380.016 s]
Raw data (loadavg): 1.01 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 10861 0 0 0 33037 1637 0 0 25 0 1 0 21405814 28418048 5182 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6938 5182 364 364 0 6574 0
[pid=9238] vsize: 27752
Current children cumulated CPU time (s) 346.74
Current children cumulated vsize (Kb) 27752

[startup+390.017 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 11028 0 0 0 33923 1676 0 0 25 0 1 0 21405814 28553216 5237 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 6971 5237 364 364 0 6607 0
[pid=9238] vsize: 27884
Current children cumulated CPU time (s) 355.99
Current children cumulated vsize (Kb) 27884

[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 11117 0 0 0 34809 1713 0 0 25 0 1 0 21405814 28688384 5270 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7004 5270 364 364 0 6640 0
[pid=9238] vsize: 28016
Current children cumulated CPU time (s) 365.22
Current children cumulated vsize (Kb) 28016

[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 11265 0 0 0 35697 1749 0 0 25 0 1 0 21405814 28827648 5306 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7038 5306 364 364 0 6674 0
[pid=9238] vsize: 28152
Current children cumulated CPU time (s) 374.46
Current children cumulated vsize (Kb) 28152

[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 11440 0 0 0 36584 1785 0 0 24 0 1 0 21405814 28827648 5369 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7038 5369 364 364 0 6674 0
[pid=9238] vsize: 28152
Current children cumulated CPU time (s) 383.69
Current children cumulated vsize (Kb) 28152

[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 11522 0 0 0 37466 1825 0 0 25 0 1 0 21405814 28962816 5395 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7071 5395 364 364 0 6707 0
[pid=9238] vsize: 28284
Current children cumulated CPU time (s) 392.91
Current children cumulated vsize (Kb) 28284

[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 11670 0 0 0 38353 1860 0 0 22 0 1 0 21405814 29097984 5431 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7104 5431 364 364 0 6740 0
[pid=9238] vsize: 28416
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (Kb) 28416

[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 11812 0 0 0 39245 1894 0 0 25 0 1 0 21405814 29233152 5517 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7137 5517 364 364 0 6773 0
[pid=9238] vsize: 28548
Current children cumulated CPU time (s) 411.39
Current children cumulated vsize (Kb) 28548

[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 11950 0 0 0 40147 1928 0 0 25 0 1 0 21405814 29233152 5543 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7137 5543 364 364 0 6773 0
[pid=9238] vsize: 28548
Current children cumulated CPU time (s) 420.75
Current children cumulated vsize (Kb) 28548

[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 12116 0 0 0 41044 1962 0 0 25 0 1 0 21405814 29507584 5597 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 7204 5597 364 364 0 6840 0
[pid=9238] vsize: 28816
Current children cumulated CPU time (s) 430.06
Current children cumulated vsize (Kb) 28816

[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 12255 0 0 0 41926 2002 0 0 25 0 1 0 21405814 29642752 5680 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7237 5680 364 364 0 6873 0
[pid=9238] vsize: 28948
Current children cumulated CPU time (s) 439.28
Current children cumulated vsize (Kb) 28948

[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 12364 0 0 0 42825 2036 0 0 25 0 1 0 21405814 29777920 5733 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7270 5733 364 364 0 6906 0
[pid=9238] vsize: 29080
Current children cumulated CPU time (s) 448.61
Current children cumulated vsize (Kb) 29080

[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 12510 0 0 0 43724 2071 0 0 25 0 1 0 21405814 29913088 5767 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7303 5767 364 364 0 6939 0
[pid=9238] vsize: 29212
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (Kb) 29212

[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 12591 0 0 0 44625 2104 0 0 25 0 1 0 21405814 29913088 5792 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7303 5792 364 364 0 6939 0
[pid=9238] vsize: 29212
Current children cumulated CPU time (s) 467.29
Current children cumulated vsize (Kb) 29212

[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 12786 0 0 0 45529 2136 0 0 25 0 1 0 21405814 30048256 5875 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 7336 5875 364 364 0 6972 0
[pid=9238] vsize: 29344
Current children cumulated CPU time (s) 476.65
Current children cumulated vsize (Kb) 29344

[startup+530.027 s]
Raw data (loadavg): 1.08 1.02 0.99 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 12865 0 0 0 46434 2169 0 0 25 0 1 0 21405814 30195712 5898 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7372 5898 364 364 0 7008 0
[pid=9238] vsize: 29488
Current children cumulated CPU time (s) 486.03
Current children cumulated vsize (Kb) 29488

[startup+540.027 s]
Raw data (loadavg): 1.07 1.02 0.99 1/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 12960 0 0 0 47345 2197 0 0 25 0 1 0 21405814 30334976 5937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7406 5937 364 364 0 7042 0
[pid=9238] vsize: 29624
Current children cumulated CPU time (s) 495.42
Current children cumulated vsize (Kb) 29624

[startup+550.027 s]
Raw data (loadavg): 1.06 1.01 0.99 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 13149 0 0 0 48258 2224 0 0 25 0 1 0 21405814 30334976 6014 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 7406 6014 364 364 0 7042 0
[pid=9238] vsize: 29624
Current children cumulated CPU time (s) 504.82
Current children cumulated vsize (Kb) 29624

[startup+560.028 s]
Raw data (loadavg): 1.05 1.01 0.99 2/55 9238
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 13269 0 0 0 49169 2254 0 0 25 0 1 0 21405814 30470144 6078 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7439 6078 364 364 0 7075 0
[pid=9238] vsize: 29756
Current children cumulated CPU time (s) 514.23
Current children cumulated vsize (Kb) 29756

[startup+570.029 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 9293
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 13351 0 0 0 50070 2287 0 0 20 0 1 0 21405814 30605312 6104 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 7472 6104 364 364 0 7108 0
[pid=9238] vsize: 29888
Current children cumulated CPU time (s) 523.57
Current children cumulated vsize (Kb) 29888

[startup+580.03 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 9293
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 13487 0 0 0 50979 2319 0 0 25 0 1 0 21405814 30740480 6128 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7505 6128 364 364 0 7141 0
[pid=9238] vsize: 30020
Current children cumulated CPU time (s) 532.98
Current children cumulated vsize (Kb) 30020

[startup+590.03 s]
Raw data (loadavg): 1.03 1.01 0.99 1/55 9293
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 13578 0 0 0 51886 2349 0 0 25 0 1 0 21405814 30740480 6163 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7505 6163 364 364 0 7141 0
[pid=9238] vsize: 30020
Current children cumulated CPU time (s) 542.35
Current children cumulated vsize (Kb) 30020

[startup+600.031 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 9293
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 13671 0 0 0 52799 2376 0 0 22 0 1 0 21405814 30740480 6200 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7505 6200 364 364 0 7141 0
[pid=9238] vsize: 30020
Current children cumulated CPU time (s) 551.75
Current children cumulated vsize (Kb) 30020

[startup+610.032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 9293
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 13799 0 0 0 53710 2406 0 0 25 0 1 0 21405814 30879744 6216 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7539 6216 364 364 0 7175 0
[pid=9238] vsize: 30156
Current children cumulated CPU time (s) 561.16
Current children cumulated vsize (Kb) 30156

[startup+620.032 s]
Raw data (loadavg): 1.02 1.01 0.99 1/55 9295
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 13875 0 0 0 54626 2434 0 0 25 0 1 0 21405814 30879744 6236 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7539 6236 364 364 0 7175 0
[pid=9238] vsize: 30156
Current children cumulated CPU time (s) 570.6
Current children cumulated vsize (Kb) 30156

[startup+630.033 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 9297
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 13946 0 0 0 55543 2460 0 0 25 0 1 0 21405814 31014912 6251 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7572 6251 364 364 0 7208 0
[pid=9238] vsize: 30288
Current children cumulated CPU time (s) 580.03
Current children cumulated vsize (Kb) 30288

[startup+640.032 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 14021 0 0 0 56453 2488 0 0 21 0 1 0 21405814 31014912 6270 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7572 6270 364 364 0 7208 0
[pid=9238] vsize: 30288
Current children cumulated CPU time (s) 589.41
Current children cumulated vsize (Kb) 30288

[startup+650.033 s]
Raw data (loadavg): 1.01 1.00 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 14154 0 0 0 57370 2517 0 0 25 0 1 0 21405814 31154176 6291 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7606 6291 364 364 0 7242 0
[pid=9238] vsize: 30424
Current children cumulated CPU time (s) 598.87
Current children cumulated vsize (Kb) 30424

[startup+660.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 14218 0 0 0 58288 2545 0 0 25 0 1 0 21405814 31154176 6299 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7606 6299 364 364 0 7242 0
[pid=9238] vsize: 30424
Current children cumulated CPU time (s) 608.33
Current children cumulated vsize (Kb) 30424

[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 14339 0 0 0 59203 2572 0 0 25 0 1 0 21405814 31289344 6364 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7639 6364 364 364 0 7275 0
[pid=9238] vsize: 30556
Current children cumulated CPU time (s) 617.75
Current children cumulated vsize (Kb) 30556

[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 14436 0 0 0 60122 2600 0 0 25 0 1 0 21405814 31289344 6405 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7639 6405 364 364 0 7275 0
[pid=9238] vsize: 30556
Current children cumulated CPU time (s) 627.22
Current children cumulated vsize (Kb) 30556

[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 14509 0 0 0 61035 2629 0 0 25 0 1 0 21405814 31289344 6422 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7639 6422 364 364 0 7275 0
[pid=9238] vsize: 30556
Current children cumulated CPU time (s) 636.64
Current children cumulated vsize (Kb) 30556

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 14634 0 0 0 61958 2653 0 0 25 0 1 0 21405814 31432704 6435 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7674 6435 364 364 0 7310 0
[pid=9238] vsize: 30696
Current children cumulated CPU time (s) 646.11
Current children cumulated vsize (Kb) 30696

[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 14703 0 0 0 62874 2681 0 0 20 0 1 0 21405814 31432704 6448 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7674 6448 364 364 0 7310 0
[pid=9238] vsize: 30696
Current children cumulated CPU time (s) 655.55
Current children cumulated vsize (Kb) 30696

[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 14795 0 0 0 63784 2711 0 0 25 0 1 0 21405814 31580160 6484 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7710 6484 364 364 0 7346 0
[pid=9238] vsize: 30840
Current children cumulated CPU time (s) 664.95
Current children cumulated vsize (Kb) 30840

[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 14866 0 0 0 64701 2737 0 0 25 0 1 0 21405814 31580160 6499 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7710 6499 364 364 0 7346 0
[pid=9238] vsize: 30840
Current children cumulated CPU time (s) 674.38
Current children cumulated vsize (Kb) 30840

[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 14938 0 0 0 65621 2766 0 0 25 0 1 0 21405814 31580160 6515 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7710 6515 364 364 0 7346 0
[pid=9238] vsize: 30840
Current children cumulated CPU time (s) 683.87
Current children cumulated vsize (Kb) 30840

[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15010 0 0 0 66526 2798 0 0 25 0 1 0 21405814 31719424 6531 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7744 6531 364 364 0 7380 0
[pid=9238] vsize: 30976
Current children cumulated CPU time (s) 693.24
Current children cumulated vsize (Kb) 30976

[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15113 0 0 0 67442 2824 0 0 25 0 1 0 21405814 31719424 6578 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7744 6578 364 364 0 7380 0
[pid=9238] vsize: 30976
Current children cumulated CPU time (s) 702.66
Current children cumulated vsize (Kb) 30976

[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15203 0 0 0 68363 2851 0 0 25 0 1 0 21405814 31866880 6612 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7780 6612 364 364 0 7416 0
[pid=9238] vsize: 31120
Current children cumulated CPU time (s) 712.14
Current children cumulated vsize (Kb) 31120

[startup+780.038 s]
Raw data (loadavg): 1.07 1.02 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 15276 0 0 0 69275 2880 0 0 25 0 1 0 21405814 31866880 6629 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7780 6629 364 364 0 7416 0
[pid=9238] vsize: 31120
Current children cumulated CPU time (s) 721.55
Current children cumulated vsize (Kb) 31120

[startup+790.039 s]
Raw data (loadavg): 1.06 1.02 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15354 0 0 0 70179 2913 0 0 25 0 1 0 21405814 32014336 6651 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 7816 6651 364 364 0 7452 0
[pid=9238] vsize: 31264
Current children cumulated CPU time (s) 730.92
Current children cumulated vsize (Kb) 31264

[startup+800.04 s]
Raw data (loadavg): 1.05 1.01 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 15458 0 0 0 71088 2941 0 0 25 0 1 0 21405814 32153600 6699 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7850 6699 364 364 0 7486 0
[pid=9238] vsize: 31400
Current children cumulated CPU time (s) 740.29
Current children cumulated vsize (Kb) 31400

[startup+810.04 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15561 0 0 0 72003 2970 0 0 25 0 1 0 21405814 32153600 6746 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7850 6746 364 364 0 7486 0
[pid=9238] vsize: 31400
Current children cumulated CPU time (s) 749.73
Current children cumulated vsize (Kb) 31400

[startup+820.041 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15659 0 0 0 72921 2997 0 0 25 0 1 0 21405814 32301056 6788 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7886 6788 364 364 0 7522 0
[pid=9238] vsize: 31544
Current children cumulated CPU time (s) 759.18
Current children cumulated vsize (Kb) 31544

[startup+830.042 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15735 0 0 0 73841 3024 0 0 25 0 1 0 21405814 32301056 6808 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7886 6808 364 364 0 7522 0
[pid=9238] vsize: 31544
Current children cumulated CPU time (s) 768.65
Current children cumulated vsize (Kb) 31544

[startup+840.042 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 15830 0 0 0 74768 3047 0 0 23 0 1 0 21405814 32440320 6847 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 7920 6847 364 364 0 7556 0
[pid=9238] vsize: 31680
Current children cumulated CPU time (s) 778.15
Current children cumulated vsize (Kb) 31680

[startup+850.044 s]
Raw data (loadavg): 1.02 1.01 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 15941 0 0 0 75687 3073 0 0 25 0 1 0 21405814 32579584 6902 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7954 6902 364 364 0 7590 0
[pid=9238] vsize: 31816
Current children cumulated CPU time (s) 787.6
Current children cumulated vsize (Kb) 31816

[startup+860.044 s]
Raw data (loadavg): 1.02 1.01 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 16050 0 0 0 76608 3100 0 0 21 0 1 0 21405814 32579584 6955 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7954 6955 364 364 0 7590 0
[pid=9238] vsize: 31816
Current children cumulated CPU time (s) 797.08
Current children cumulated vsize (Kb) 31816

[startup+870.045 s]
Raw data (loadavg): 1.01 1.01 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 16128 0 0 0 77527 3126 0 0 25 0 1 0 21405814 32579584 6977 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7954 6977 364 364 0 7590 0
[pid=9238] vsize: 31816
Current children cumulated CPU time (s) 806.53
Current children cumulated vsize (Kb) 31816

[startup+880.046 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16202 0 0 0 78449 3153 0 0 25 0 1 0 21405814 32714752 6995 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7987 6995 364 364 0 7623 0
[pid=9238] vsize: 31948
Current children cumulated CPU time (s) 816.02
Current children cumulated vsize (Kb) 31948

[startup+890.046 s]
Raw data (loadavg): 1.01 1.01 0.99 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 16273 0 0 0 79368 3181 0 0 25 0 1 0 21405814 32714752 7010 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7987 7010 364 364 0 7623 0
[pid=9238] vsize: 31948
Current children cumulated CPU time (s) 825.49
Current children cumulated vsize (Kb) 31948

[startup+900.047 s]
Raw data (loadavg): 1.09 1.02 1.00 1/55 9299
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 16351 0 0 0 80289 3208 0 0 25 0 1 0 21405814 32714752 7032 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 7987 7032 364 364 0 7623 0
[pid=9238] vsize: 31948
Current children cumulated CPU time (s) 834.97
Current children cumulated vsize (Kb) 31948

[startup+910.047 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16426 0 0 0 81214 3235 0 0 25 0 1 0 21405814 32854016 7051 4294967295 134512640 135987407 3221224560 3221223248 134811848 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8021 7051 364 364 0 7657 0
[pid=9238] vsize: 32084
Current children cumulated CPU time (s) 844.49
Current children cumulated vsize (Kb) 32084

[startup+920.047 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16520 0 0 0 82143 3258 0 0 25 0 1 0 21405814 32989184 7089 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8054 7089 364 364 0 7690 0
[pid=9238] vsize: 32216
Current children cumulated CPU time (s) 854.01
Current children cumulated vsize (Kb) 32216

[startup+930.048 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16602 0 0 0 83067 3282 0 0 25 0 1 0 21405814 32989184 7115 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8054 7115 364 364 0 7690 0
[pid=9238] vsize: 32216
Current children cumulated CPU time (s) 863.49
Current children cumulated vsize (Kb) 32216

[startup+940.049 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16672 0 0 0 83986 3309 0 0 25 0 1 0 21405814 33128448 7129 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8088 7129 364 364 0 7724 0
[pid=9238] vsize: 32352
Current children cumulated CPU time (s) 872.95
Current children cumulated vsize (Kb) 32352

[startup+950.049 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16739 0 0 0 84914 3333 0 0 25 0 1 0 21405814 33128448 7140 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8088 7140 364 364 0 7724 0
[pid=9238] vsize: 32352
Current children cumulated CPU time (s) 882.47
Current children cumulated vsize (Kb) 32352

[startup+960.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16804 0 0 0 85842 3357 0 0 25 0 1 0 21405814 33128448 7149 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8088 7149 364 364 0 7724 0
[pid=9238] vsize: 32352
Current children cumulated CPU time (s) 891.99
Current children cumulated vsize (Kb) 32352

[startup+970.051 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16882 0 0 0 86767 3381 0 0 25 0 1 0 21405814 33263616 7171 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8121 7171 364 364 0 7757 0
[pid=9238] vsize: 32484
Current children cumulated CPU time (s) 901.48
Current children cumulated vsize (Kb) 32484

[startup+980.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 16955 0 0 0 87690 3408 0 0 25 0 1 0 21405814 33263616 7188 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8121 7188 364 364 0 7757 0
[pid=9238] vsize: 32484
Current children cumulated CPU time (s) 910.98
Current children cumulated vsize (Kb) 32484

[startup+990.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 17025 0 0 0 88610 3431 0 0 25 0 1 0 21405814 33411072 7202 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 8157 7202 364 364 0 7793 0
[pid=9238] vsize: 32628
Current children cumulated CPU time (s) 920.41
Current children cumulated vsize (Kb) 32628

[startup+1000.05 s]
Raw data (loadavg): 1.01 1.01 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 17120 0 0 0 89526 3459 0 0 25 0 1 0 21405814 33411072 7241 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8157 7241 364 364 0 7793 0
[pid=9238] vsize: 32628
Current children cumulated CPU time (s) 929.85
Current children cumulated vsize (Kb) 32628

[startup+1010.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 17222 0 0 0 90443 3485 0 0 25 0 1 0 21405814 33554432 7287 4294967295 134512640 135987407 3221224560 3221223248 134811879 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8192 7287 364 364 0 7828 0
[pid=9238] vsize: 32768
Current children cumulated CPU time (s) 939.28
Current children cumulated vsize (Kb) 32768

[startup+1020.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 17264 0 0 0 91363 3511 0 0 25 0 1 0 21405814 33554432 7329 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8192 7329 364 364 0 7828 0
[pid=9238] vsize: 32768
Current children cumulated CPU time (s) 948.74
Current children cumulated vsize (Kb) 32768

[startup+1030.06 s]
Raw data (loadavg): 1.01 1.01 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 17401 0 0 0 92290 3535 0 0 25 0 1 0 21405814 33554432 7354 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9238/statm): 8192 7354 364 364 0 7828 0
[pid=9238] vsize: 32768
Current children cumulated CPU time (s) 958.25
Current children cumulated vsize (Kb) 32768

[startup+1040.06 s]
Raw data (loadavg): 1.01 1.01 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 17473 0 0 0 93216 3558 0 0 25 0 1 0 21405814 33693696 7370 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8226 7370 364 364 0 7862 0
[pid=9238] vsize: 32904
Current children cumulated CPU time (s) 967.74
Current children cumulated vsize (Kb) 32904

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.01 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 17478 0 0 0 94138 3583 0 0 25 0 1 0 21405814 33693696 7375 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8226 7375 364 364 0 7862 0
[pid=9238] vsize: 32904
Current children cumulated CPU time (s) 977.21
Current children cumulated vsize (Kb) 32904

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 17550 0 0 0 95065 3608 0 0 25 0 1 0 21405814 33693696 7391 4294967295 134512640 135987407 3221224560 3221223376 134824247 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8226 7391 364 364 0 7862 0
[pid=9238] vsize: 32904
Current children cumulated CPU time (s) 986.73
Current children cumulated vsize (Kb) 32904

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 17615 0 0 0 95989 3633 0 0 25 0 1 0 21405814 33693696 7400 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8226 7400 364 364 0 7862 0
[pid=9238] vsize: 32904
Current children cumulated CPU time (s) 996.22
Current children cumulated vsize (Kb) 32904

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 17685 0 0 0 96921 3656 0 0 25 0 1 0 21405814 33693696 7414 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8226 7414 364 364 0 7862 0
[pid=9238] vsize: 32904
Current children cumulated CPU time (s) 1005.77
Current children cumulated vsize (Kb) 32904

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 17759 0 0 0 97844 3681 0 0 24 0 1 0 21405814 33828864 7432 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 8259 7432 364 364 0 7895 0
[pid=9238] vsize: 33036
Current children cumulated CPU time (s) 1015.25
Current children cumulated vsize (Kb) 33036

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 17833 0 0 0 98765 3709 0 0 19 0 1 0 21405814 33828864 7450 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9238/statm): 8259 7450 364 364 0 7895 0
[pid=9238] vsize: 33036
Current children cumulated CPU time (s) 1024.74
Current children cumulated vsize (Kb) 33036

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 17961 0 0 0 99685 3735 0 0 25 0 1 0 21405814 33964032 7522 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8292 7522 364 364 0 7928 0
[pid=9238] vsize: 33168
Current children cumulated CPU time (s) 1034.2
Current children cumulated vsize (Kb) 33168

[startup+1120.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 18067 0 0 0 100589 3768 0 0 25 0 1 0 21405814 33964032 7572 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8292 7572 364 364 0 7928 0
[pid=9238] vsize: 33168
Current children cumulated CPU time (s) 1043.57
Current children cumulated vsize (Kb) 33168

[startup+1130.06 s]
Raw data (loadavg): 1.06 1.02 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 18196 0 0 0 101504 3794 0 0 25 0 1 0 21405814 33964032 7589 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8292 7589 364 364 0 7928 0
[pid=9238] vsize: 33168
Current children cumulated CPU time (s) 1052.98
Current children cumulated vsize (Kb) 33168

[startup+1140.06 s]
Raw data (loadavg): 1.05 1.01 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 18264 0 0 0 102411 3825 0 0 25 0 1 0 21405814 34099200 7601 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8325 7601 364 364 0 7961 0
[pid=9238] vsize: 33300
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (Kb) 33300

[startup+1150.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 18389 0 0 0 103315 3857 0 0 25 0 1 0 21405814 34099200 7614 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8325 7614 364 364 0 7961 0
[pid=9238] vsize: 33300
Current children cumulated CPU time (s) 1071.72
Current children cumulated vsize (Kb) 33300

[startup+1160.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 18461 0 0 0 104212 3893 0 0 25 0 1 0 21405814 34099200 7630 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8325 7630 364 364 0 7961 0
[pid=9238] vsize: 33300
Current children cumulated CPU time (s) 1081.05
Current children cumulated vsize (Kb) 33300

[startup+1170.06 s]
Raw data (loadavg): 1.10 1.03 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 18585 0 0 0 105109 3926 0 0 25 0 1 0 21405814 34099200 7642 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8325 7642 364 364 0 7961 0
[pid=9238] vsize: 33300
Current children cumulated CPU time (s) 1090.35
Current children cumulated vsize (Kb) 33300

[startup+1180.07 s]
Raw data (loadavg): 1.09 1.03 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 18659 0 0 0 105995 3962 0 0 25 0 1 0 21405814 34234368 7660 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 8358 7660 364 364 0 7994 0
[pid=9238] vsize: 33432
Current children cumulated CPU time (s) 1099.57
Current children cumulated vsize (Kb) 33432

[startup+1190.07 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 18729 0 0 0 106893 3996 0 0 25 0 1 0 21405814 34234368 7674 4294967295 134512640 135987407 3221224560 3221223248 134811894 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8358 7674 364 364 0 7994 0
[pid=9238] vsize: 33432
Current children cumulated CPU time (s) 1108.89
Current children cumulated vsize (Kb) 33432

[startup+1200.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 18798 0 0 0 107788 4032 0 0 25 0 1 0 21405814 34234368 7687 4294967295 134512640 135987407 3221224560 3221223424 134812632 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9238/statm): 8358 7687 364 364 0 7994 0
[pid=9238] vsize: 33432
Current children cumulated CPU time (s) 1118.2
Current children cumulated vsize (Kb) 33432

[startup+1210.07 s]
Raw data (loadavg): 1.12 1.04 1.01 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 18927 0 0 0 108691 4065 0 0 17 0 1 0 21405814 34234368 7704 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8358 7704 364 364 0 7994 0
[pid=9238] vsize: 33432
Current children cumulated CPU time (s) 1127.56
Current children cumulated vsize (Kb) 33432

[startup+1220.07 s]
Raw data (loadavg): 1.11 1.04 1.01 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 18999 0 0 0 109581 4099 0 0 25 0 1 0 21405814 34365440 7720 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8390 7720 364 364 0 8026 0
[pid=9238] vsize: 33560
Current children cumulated CPU time (s) 1136.8
Current children cumulated vsize (Kb) 33560

[startup+1230.07 s]
Raw data (loadavg): 1.09 1.04 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 19106 0 0 0 110471 4137 0 0 25 0 1 0 21405814 34365440 7771 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9238/statm): 8390 7771 364 364 0 8026 0
[pid=9238] vsize: 33560
Current children cumulated CPU time (s) 1146.08
Current children cumulated vsize (Kb) 33560

[startup+1240.07 s]
Raw data (loadavg): 1.07 1.03 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 19261 0 0 0 111347 4178 0 0 24 0 1 0 21405814 34496512 7814 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8422 7814 364 364 0 8058 0
[pid=9238] vsize: 33688
Current children cumulated CPU time (s) 1155.25
Current children cumulated vsize (Kb) 33688

[startup+1250.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 19490 0 0 0 112214 4221 0 0 25 0 1 0 21405814 34766848 7875 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8488 7875 364 364 0 8124 0
[pid=9238] vsize: 33952
Current children cumulated CPU time (s) 1164.35
Current children cumulated vsize (Kb) 33952

[startup+1260.07 s]
Raw data (loadavg): 1.05 1.03 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 19651 0 0 0 113085 4264 0 0 18 0 1 0 21405814 34902016 7924 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8521 7924 364 364 0 8157 0
[pid=9238] vsize: 34084
Current children cumulated CPU time (s) 1173.49
Current children cumulated vsize (Kb) 34084

[startup+1270.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 19810 0 0 0 113961 4304 0 0 25 0 1 0 21405814 35037184 7971 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8554 7971 364 364 0 8190 0
[pid=9238] vsize: 34216
Current children cumulated CPU time (s) 1182.65
Current children cumulated vsize (Kb) 34216

[startup+1280.07 s]
Raw data (loadavg): 1.04 1.03 1.00 1/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 20015 0 0 0 114846 4343 0 0 21 0 1 0 21405814 35307520 8064 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8620 8064 364 364 0 8256 0
[pid=9238] vsize: 34480
Current children cumulated CPU time (s) 1191.89
Current children cumulated vsize (Kb) 34480

[startup+1290.07 s]
Raw data (loadavg): 1.10 1.04 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) R 9237 9238 4060 0 -1 0 20186 0 0 0 115732 4382 0 0 25 0 1 0 21405814 35442688 8123 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8653 8123 364 364 0 8289 0
[pid=9238] vsize: 34612
Current children cumulated CPU time (s) 1201.14
Current children cumulated vsize (Kb) 34612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.07 s]
Raw data (loadavg): 1.10 1.04 1.00 2/55 9301
Raw data (/proc/9238/stat): 9238 (pb2sat) T 9237 9238 4060 0 -1 0 20186 0 0 0 115732 4382 0 0 25 0 1 0 21405814 35442688 8123 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9238/statm): 8653 8123 364 364 0 8289 0
[pid=9238] vsize: 34612
Current children cumulated CPU time (s) 1201.14
Current children cumulated vsize (Kb) 34612

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

Child status: 0
Real time (s): 1290.17
CPU time (s): 1201.24
CPU user time (s): 1157.4
CPU system time (s): 43.8423
CPU usage (%): 93.1072
Max. virtual memory (cumulated for all children) (Kb): 34612

Verifier Data

ERROR: no interpretation found !