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/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb
MD5SUMe7e8123aa394c0918878e05410d4daeb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67200
Optimality of the best value was proved NO
Number of terms in the objective function 920
Biggest coefficient in the objective function 24576
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 1986400
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3200000000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 29101875011
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1236.27
Number of variables1020
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint1
Maximum length of a constraint103

Trace number 10547

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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:        929752 kB
Buffers:         12520 kB
Cached:          75540 kB
SwapCached:          0 kB
Active:          45172 kB
Inactive:        45816 kB
HighTotal:      131008 kB
HighFree:        51044 kB
LowTotal:       903652 kB
LowFree:        878708 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8360 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:59:08 (client local time) WITH STATUS 0 IN 1202.14 SECONDS
stats: 9250 7 1202.14 0

Solver Data

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

c Decision: 403/315143	Time: 62.3605/86400
c Decision: 423/315143	Time: 78.4801/86400
c Decision: 508/315143	Time: 107.103/86400
c Decision: 608/315143	Time: 120.317/86400
c Decision: 623/315143	Time: 137.511/86400
c Decision: 632/315143	Time: 161.244/86400
c Decision: 635/315143	Time: 174.52/86400
c Decision: 635/315143	Time: 184.436/86400
c Decision: 649/315143	Time: 201.487/86400
c Decision: 649/315143	Time: 212.517/86400
c Decision: 739/315143	Time: 228.024/86400
c Decision: 751/315143	Time: 244.346/86400
c Decision: 986/315143	Time: 261.725/86400
c Decision: 991/315143	Time: 274.273/86400
c Decision: 991/315143	Time: 285.647/86400
c Decision: 991/315143	Time: 297.177/86400
c Decision: 991/315143	Time: 309.037/86400
c Decision: 991/315143	Time: 320.189/86400
c Decision: 1143/315143	Time: 343.112/86400
c Decision: 1873/315143	Time: 384.932/86400
c Decision: 2137/315143	Time: 451.24/86400
c Decision: 2248/315143	Time: 473.764/86400
c Decision: 2259/315143	Time: 501.564/86400
c Decision: 2259/315143	Time: 513.008/86400
c Decision: 2272/315143	Time: 540.693/86400
c Decision: 2272/315143	Time: 557.907/86400
c Decision: 2272/315143	Time: 572.771/86400
c Decision: 2274/315143	Time: 594.689/86400
c Decision: 2505/315143	Time: 639.91/86400
c Decision: 2560/315143	Time: 670.997/86400
c Decision: 2687/315143	Time: 715.143/86400
c Decision: 2687/315143	Time: 727.708/86400
c Decision: 2697/315143	Time: 746.764/86400
c Decision: 2697/315143	Time: 762.192/86400
c Decision: 2697/315143	Time: 777.299/86400
c Decision: 2697/315143	Time: 796.115/86400
c Decision: 2721/315143	Time: 835.191/86400
c Decision: 2797/315143	Time: 872.307/86400
c Decision: 2797/315143	Time: 887.87/86400
c Decision: 2797/315143	Time: 905.7/86400
c Decision: 2831/315143	Time: 926.565/86400
c Decision: 2831/315143	Time: 944.85/86400
c Decision: 2831/315143	Time: 961.442/86400
c Decision: 2831/315143	Time: 980.829/86400
c Decision: 2832/315143	Time: 1000.23/86400
c Decision: 2832/315143	Time: 1018.7/86400
c Decision: 2832/315143	Time: 1037/86400
c Decision: 2873/315143	Time: 1067.08/86400
c Decision: 2896/315143	Time: 1099.57/86400
c Decision: 2919/315143	Time: 1155.21/86400
c Decision: 2919/315143	Time: 1176/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/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22374096 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 373 2 364 364 0 9 0
[pid=11245] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-rgn.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.97 0.93 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 28702 0 0 0 928 69 0 0 25 0 1 0 22374096 80314368 17531 4294967295 134512640 135987407 3221224560 3221198852 135479963 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 19608 17531 364 364 0 19244 0
[pid=11245] vsize: 78432
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78432

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.97 0.93 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 49247 0 0 0 1860 121 0 0 25 0 1 0 22374096 145973248 26382 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 35638 26382 364 364 0 35274 0
[pid=11245] vsize: 142552
Current children cumulated CPU time (s) 19.81
Current children cumulated vsize (Kb) 142552

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 49794 0 0 0 2839 129 0 0 25 0 1 0 22374096 148492288 26929 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 36253 26929 364 364 0 35889 0
[pid=11245] vsize: 145012
Current children cumulated CPU time (s) 29.68
Current children cumulated vsize (Kb) 145012

[startup+40.0037 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 49872 0 0 0 3818 136 0 0 25 0 1 0 22374096 148656128 27007 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 36293 27007 364 364 0 35929 0
[pid=11245] vsize: 145172
Current children cumulated CPU time (s) 39.54
Current children cumulated vsize (Kb) 145172

[startup+50.0046 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 49996 0 0 0 4800 143 0 0 25 0 1 0 22374096 165957632 27131 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 40517 27131 364 364 0 40153 0
[pid=11245] vsize: 162068
Current children cumulated CPU time (s) 49.43
Current children cumulated vsize (Kb) 162068

[startup+60.0054 s]
Raw data (loadavg): 0.97 0.97 0.93 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 50073 0 0 0 5784 148 0 0 25 0 1 0 22374096 166350848 27208 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 40613 27208 364 364 0 40249 0
[pid=11245] vsize: 162452
Current children cumulated CPU time (s) 59.32
Current children cumulated vsize (Kb) 162452

[startup+70.0052 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 50298 0 0 0 6759 156 0 0 25 0 1 0 22374096 167235584 27433 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 40829 27433 364 364 0 40465 0
[pid=11245] vsize: 163316
Current children cumulated CPU time (s) 69.15
Current children cumulated vsize (Kb) 163316

[startup+80.006 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 51058 0 0 0 7738 165 0 0 25 0 1 0 22374096 167686144 27577 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 40939 27577 364 364 0 40575 0
[pid=11245] vsize: 163756
Current children cumulated CPU time (s) 79.03
Current children cumulated vsize (Kb) 163756

[startup+90.0059 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 51162 0 0 0 8708 174 0 0 25 0 1 0 22374096 168161280 27681 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41055 27681 364 364 0 40691 0
[pid=11245] vsize: 164220
Current children cumulated CPU time (s) 88.82
Current children cumulated vsize (Kb) 164220

[startup+100.008 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 51851 0 0 0 9684 184 0 0 25 0 1 0 22374096 168325120 27754 4294967295 134512640 135987407 3221224560 3221223020 135481242 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41095 27754 364 364 0 40731 0
[pid=11245] vsize: 164380
Current children cumulated CPU time (s) 98.68
Current children cumulated vsize (Kb) 164380

[startup+110.009 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 51960 0 0 0 10661 192 0 0 25 0 1 0 22374096 168882176 27863 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41231 27863 364 364 0 40867 0
[pid=11245] vsize: 164924
Current children cumulated CPU time (s) 108.53
Current children cumulated vsize (Kb) 164924

[startup+120.009 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 52032 0 0 0 11631 203 0 0 25 0 1 0 22374096 169078784 27935 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41279 27935 364 364 0 40915 0
[pid=11245] vsize: 165116
Current children cumulated CPU time (s) 118.34
Current children cumulated vsize (Kb) 165116

[startup+130.01 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 52678 0 0 0 12611 210 0 0 25 0 1 0 22374096 169078784 27965 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41279 27965 364 364 0 40915 0
[pid=11245] vsize: 165116
Current children cumulated CPU time (s) 128.21
Current children cumulated vsize (Kb) 165116

[startup+140.01 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 53333 0 0 0 13586 219 0 0 25 0 1 0 22374096 169275392 28004 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41327 28004 364 364 0 40963 0
[pid=11245] vsize: 165308
Current children cumulated CPU time (s) 138.05
Current children cumulated vsize (Kb) 165308

[startup+150.011 s]
Raw data (loadavg): 1.01 0.99 0.94 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 53351 0 0 0 14559 228 0 0 25 0 1 0 22374096 169275392 28022 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41327 28022 364 364 0 40963 0
[pid=11245] vsize: 165308
Current children cumulated CPU time (s) 147.87
Current children cumulated vsize (Kb) 165308

[startup+160.012 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 53982 0 0 0 15533 238 0 0 25 0 1 0 22374096 169275392 28037 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41327 28037 364 364 0 40963 0
[pid=11245] vsize: 165308
Current children cumulated CPU time (s) 157.71
Current children cumulated vsize (Kb) 165308

[startup+170.011 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 54012 0 0 0 16505 247 0 0 25 0 1 0 22374096 169275392 28067 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41327 28067 364 364 0 40963 0
[pid=11245] vsize: 165308
Current children cumulated CPU time (s) 167.52
Current children cumulated vsize (Kb) 165308

[startup+180.012 s]
Raw data (loadavg): 1.00 0.99 0.94 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 54638 0 0 0 17485 255 0 0 25 0 1 0 22374096 169275392 28077 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41327 28077 364 364 0 40963 0
[pid=11245] vsize: 165308
Current children cumulated CPU time (s) 177.4
Current children cumulated vsize (Kb) 165308

[startup+190.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 54999 0 0 0 18461 264 0 0 25 0 1 0 22374096 171995136 28438 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41991 28438 364 364 0 41627 0
[pid=11245] vsize: 167964
Current children cumulated CPU time (s) 187.25
Current children cumulated vsize (Kb) 167964

[startup+200.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 55298 0 0 0 19438 273 0 0 21 0 1 0 22374096 169472000 28121 4294967295 134512640 135987407 3221224560 3221223280 134814418 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41375 28121 364 364 0 41011 0
[pid=11245] vsize: 165500
Current children cumulated CPU time (s) 197.11
Current children cumulated vsize (Kb) 165500

[startup+210.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 55998 0 0 0 20416 282 0 0 25 0 1 0 22374096 169865216 28205 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41471 28205 364 364 0 41107 0
[pid=11245] vsize: 165884
Current children cumulated CPU time (s) 206.98
Current children cumulated vsize (Kb) 165884

[startup+220.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 56641 0 0 0 21393 290 0 0 25 0 1 0 22374096 170000384 28232 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41504 28232 364 364 0 41140 0
[pid=11245] vsize: 166016
Current children cumulated CPU time (s) 216.83
Current children cumulated vsize (Kb) 166016

[startup+230.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 57294 0 0 0 22369 299 0 0 25 0 1 0 22374096 170000384 28269 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41504 28269 364 364 0 41140 0
[pid=11245] vsize: 166016
Current children cumulated CPU time (s) 226.68
Current children cumulated vsize (Kb) 166016

[startup+240.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 57320 0 0 0 23345 308 0 0 25 0 1 0 22374096 170196992 28295 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28295 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 236.53
Current children cumulated vsize (Kb) 166208

[startup+250.017 s]
Raw data (loadavg): 1.00 0.99 0.94 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 57941 0 0 0 24322 318 0 0 25 0 1 0 22374096 170196992 28300 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28300 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 246.4
Current children cumulated vsize (Kb) 166208

[startup+260.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 57945 0 0 0 25296 327 0 0 25 0 1 0 22374096 170196992 28304 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28304 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 256.23
Current children cumulated vsize (Kb) 166208

[startup+270.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 58573 0 0 0 26275 336 0 0 25 0 1 0 22374096 170196992 28316 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41552 28316 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 266.11
Current children cumulated vsize (Kb) 166208

[startup+280.019 s]
Raw data (loadavg): 1.07 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 59201 0 0 0 27250 345 0 0 25 0 1 0 22374096 170196992 28328 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28328 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 275.95
Current children cumulated vsize (Kb) 166208

[startup+290.019 s]
Raw data (loadavg): 1.06 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 59215 0 0 0 28223 354 0 0 25 0 1 0 22374096 170196992 28342 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28342 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 285.77
Current children cumulated vsize (Kb) 166208

[startup+300.02 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 59846 0 0 0 29201 364 0 0 25 0 1 0 22374096 170196992 28357 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28357 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 295.65
Current children cumulated vsize (Kb) 166208

[startup+310.02 s]
Raw data (loadavg): 1.04 1.00 0.94 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 60481 0 0 0 30175 374 0 0 25 0 1 0 22374096 170196992 28376 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28376 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 305.49
Current children cumulated vsize (Kb) 166208

[startup+320.02 s]
Raw data (loadavg): 1.04 1.00 0.94 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 61104 0 0 0 31156 381 0 0 25 0 1 0 22374096 170196992 28383 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41552 28383 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 315.37
Current children cumulated vsize (Kb) 166208

[startup+330.021 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 61730 0 0 0 32135 389 0 0 25 0 1 0 22374096 170196992 28393 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41552 28393 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 325.24
Current children cumulated vsize (Kb) 166208

[startup+340.022 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 62368 0 0 0 33113 396 0 0 25 0 1 0 22374096 170196992 28415 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41552 28415 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 335.09
Current children cumulated vsize (Kb) 166208

[startup+350.022 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 62385 0 0 0 34086 406 0 0 25 0 1 0 22374096 170196992 28432 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41552 28432 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 344.92
Current children cumulated vsize (Kb) 166208

[startup+360.023 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 62407 0 0 0 35063 414 0 0 25 0 1 0 22374096 170196992 28454 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41552 28454 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 354.77
Current children cumulated vsize (Kb) 166208

[startup+370.023 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63053 0 0 0 36041 423 0 0 25 0 1 0 22374096 170196992 28484 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41552 28484 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 364.64
Current children cumulated vsize (Kb) 166208

[startup+380.024 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63073 0 0 0 37019 431 0 0 25 0 1 0 22374096 170196992 28504 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41552 28504 364 364 0 41188 0
[pid=11245] vsize: 166208
Current children cumulated CPU time (s) 374.5
Current children cumulated vsize (Kb) 166208

[startup+390.024 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63112 0 0 0 37990 441 0 0 25 0 1 0 22374096 170393600 28543 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41600 28543 364 364 0 41236 0
[pid=11245] vsize: 166400
Current children cumulated CPU time (s) 384.31
Current children cumulated vsize (Kb) 166400

[startup+400.026 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63130 0 0 0 38965 449 0 0 25 0 1 0 22374096 170393600 28561 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41600 28561 364 364 0 41236 0
[pid=11245] vsize: 166400
Current children cumulated CPU time (s) 394.14
Current children cumulated vsize (Kb) 166400

[startup+410.026 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63761 0 0 0 39942 457 0 0 25 0 1 0 22374096 170393600 28576 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41600 28576 364 364 0 41236 0
[pid=11245] vsize: 166400
Current children cumulated CPU time (s) 403.99
Current children cumulated vsize (Kb) 166400

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63809 0 0 0 40915 467 0 0 25 0 1 0 22374096 170590208 28624 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41648 28624 364 364 0 41284 0
[pid=11245] vsize: 166592
Current children cumulated CPU time (s) 413.82
Current children cumulated vsize (Kb) 166592

[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 63826 0 0 0 41892 475 0 0 25 0 1 0 22374096 170590208 28641 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41648 28641 364 364 0 41284 0
[pid=11245] vsize: 166592
Current children cumulated CPU time (s) 423.67
Current children cumulated vsize (Kb) 166592

[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63856 0 0 0 42865 483 0 0 25 0 1 0 22374096 170590208 28671 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41648 28671 364 364 0 41284 0
[pid=11245] vsize: 166592
Current children cumulated CPU time (s) 433.48
Current children cumulated vsize (Kb) 166592

[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63876 0 0 0 43842 491 0 0 25 0 1 0 22374096 170590208 28691 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41648 28691 364 364 0 41284 0
[pid=11245] vsize: 166592
Current children cumulated CPU time (s) 443.33
Current children cumulated vsize (Kb) 166592

[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 63904 0 0 0 44814 501 0 0 25 0 1 0 22374096 170733568 28719 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41683 28719 364 364 0 41319 0
[pid=11245] vsize: 166732
Current children cumulated CPU time (s) 453.15
Current children cumulated vsize (Kb) 166732

[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 64189 0 0 0 45785 509 0 0 25 0 1 0 22374096 173256704 29004 4294967295 134512640 135987407 3221224560 3221223152 134828098 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42299 29004 364 364 0 41935 0
[pid=11245] vsize: 169196
Current children cumulated CPU time (s) 462.94
Current children cumulated vsize (Kb) 169196

[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 64553 0 0 0 46770 515 0 0 25 0 1 0 22374096 170733568 28752 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41683 28752 364 364 0 41319 0
[pid=11245] vsize: 166732
Current children cumulated CPU time (s) 472.85
Current children cumulated vsize (Kb) 166732

[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 64565 0 0 0 47745 524 0 0 25 0 1 0 22374096 170733568 28764 4294967295 134512640 135987407 3221224560 3221223376 134824224 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41683 28764 364 364 0 41319 0
[pid=11245] vsize: 166732
Current children cumulated CPU time (s) 482.69
Current children cumulated vsize (Kb) 166732

[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 65211 0 0 0 48721 534 0 0 25 0 1 0 22374096 170868736 28794 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41716 28794 364 364 0 41352 0
[pid=11245] vsize: 166864
Current children cumulated CPU time (s) 492.55
Current children cumulated vsize (Kb) 166864

[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 65224 0 0 0 49696 542 0 0 25 0 1 0 22374096 171057152 28807 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41762 28807 364 364 0 41398 0
[pid=11245] vsize: 167048
Current children cumulated CPU time (s) 502.38
Current children cumulated vsize (Kb) 167048

[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 65237 0 0 0 50668 551 0 0 25 0 1 0 22374096 171057152 28820 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41762 28820 364 364 0 41398 0
[pid=11245] vsize: 167048
Current children cumulated CPU time (s) 512.19
Current children cumulated vsize (Kb) 167048

[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 65858 0 0 0 51648 559 0 0 25 0 1 0 22374096 171057152 28825 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41762 28825 364 364 0 41398 0
[pid=11245] vsize: 167048
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (Kb) 167048

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 66496 0 0 0 52626 567 0 0 25 0 1 0 22374096 171253760 28847 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41810 28847 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 531.93
Current children cumulated vsize (Kb) 167240

[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 66499 0 0 0 53601 576 0 0 25 0 1 0 22374096 171253760 28850 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41810 28850 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 541.77
Current children cumulated vsize (Kb) 167240

[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 66503 0 0 0 54578 582 0 0 25 0 1 0 22374096 171253760 28854 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28854 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 551.6
Current children cumulated vsize (Kb) 167240

[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 67122 0 0 0 55553 591 0 0 25 0 1 0 22374096 171253760 28857 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28857 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 561.44
Current children cumulated vsize (Kb) 167240

[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 67744 0 0 0 56533 599 0 0 25 0 1 0 22374096 171253760 28863 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28863 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 571.32
Current children cumulated vsize (Kb) 167240

[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 67756 0 0 0 57513 607 0 0 25 0 1 0 22374096 171253760 28875 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28875 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 581.2
Current children cumulated vsize (Kb) 167240

[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 68381 0 0 0 58490 616 0 0 25 0 1 0 22374096 171253760 28884 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28884 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 591.06
Current children cumulated vsize (Kb) 167240

[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 68389 0 0 0 59462 624 0 0 25 0 1 0 22374096 171253760 28892 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28892 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 600.86
Current children cumulated vsize (Kb) 167240

[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 69015 0 0 0 60436 636 0 0 25 0 1 0 22374096 171253760 28902 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28902 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 610.72
Current children cumulated vsize (Kb) 167240

[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 69032 0 0 0 61416 645 0 0 25 0 1 0 22374096 171253760 28919 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41810 28919 364 364 0 41446 0
[pid=11245] vsize: 167240
Current children cumulated CPU time (s) 620.61
Current children cumulated vsize (Kb) 167240

[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 69053 0 0 0 62395 652 0 0 25 0 1 0 22374096 171384832 28940 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41842 28940 364 364 0 41478 0
[pid=11245] vsize: 167368
Current children cumulated CPU time (s) 630.47
Current children cumulated vsize (Kb) 167368

[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 69072 0 0 0 63371 660 0 0 25 0 1 0 22374096 171384832 28959 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41842 28959 364 364 0 41478 0
[pid=11245] vsize: 167368
Current children cumulated CPU time (s) 640.31
Current children cumulated vsize (Kb) 167368

[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 69093 0 0 0 64347 668 0 0 25 0 1 0 22374096 171384832 28980 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41842 28980 364 364 0 41478 0
[pid=11245] vsize: 167368
Current children cumulated CPU time (s) 650.15
Current children cumulated vsize (Kb) 167368

[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 69734 0 0 0 65328 674 0 0 25 0 1 0 22374096 171384832 29005 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41842 29005 364 364 0 41478 0
[pid=11245] vsize: 167368
Current children cumulated CPU time (s) 660.02
Current children cumulated vsize (Kb) 167368

[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 69752 0 0 0 66305 682 0 0 25 0 1 0 22374096 171384832 29023 4294967295 134512640 135987407 3221224560 3221223424 134812893 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41842 29023 364 364 0 41478 0
[pid=11245] vsize: 167368
Current children cumulated CPU time (s) 669.87
Current children cumulated vsize (Kb) 167368

[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 69771 0 0 0 67280 691 0 0 25 0 1 0 22374096 171515904 29042 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41874 29042 364 364 0 41510 0
[pid=11245] vsize: 167496
Current children cumulated CPU time (s) 679.71
Current children cumulated vsize (Kb) 167496

[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 70408 0 0 0 68255 700 0 0 25 0 1 0 22374096 171515904 29063 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41874 29063 364 364 0 41510 0
[pid=11245] vsize: 167496
Current children cumulated CPU time (s) 689.55
Current children cumulated vsize (Kb) 167496

[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 70427 0 0 0 69231 709 0 0 25 0 1 0 22374096 171515904 29082 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41874 29082 364 364 0 41510 0
[pid=11245] vsize: 167496
Current children cumulated CPU time (s) 699.4
Current children cumulated vsize (Kb) 167496

[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 70447 0 0 0 70208 716 0 0 25 0 1 0 22374096 171515904 29102 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41874 29102 364 364 0 41510 0
[pid=11245] vsize: 167496
Current children cumulated CPU time (s) 709.24
Current children cumulated vsize (Kb) 167496

[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 70467 0 0 0 71183 724 0 0 25 0 1 0 22374096 171515904 29122 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41874 29122 364 364 0 41510 0
[pid=11245] vsize: 167496
Current children cumulated CPU time (s) 719.07
Current children cumulated vsize (Kb) 167496

[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 71099 0 0 0 72162 732 0 0 25 0 1 0 22374096 171515904 29138 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41874 29138 364 364 0 41510 0
[pid=11245] vsize: 167496
Current children cumulated CPU time (s) 728.94
Current children cumulated vsize (Kb) 167496

[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 71108 0 0 0 73140 739 0 0 25 0 1 0 22374096 171651072 29147 4294967295 134512640 135987407 3221224560 3221223136 134801552 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41907 29147 364 364 0 41543 0
[pid=11245] vsize: 167628
Current children cumulated CPU time (s) 738.79
Current children cumulated vsize (Kb) 167628

[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 71743 0 0 0 74119 746 0 0 25 0 1 0 22374096 171651072 29166 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41907 29166 364 364 0 41543 0
[pid=11245] vsize: 167628
Current children cumulated CPU time (s) 748.65
Current children cumulated vsize (Kb) 167628

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 71746 0 0 0 75096 753 0 0 25 0 1 0 22374096 171651072 29169 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41907 29169 364 364 0 41543 0
[pid=11245] vsize: 167628
Current children cumulated CPU time (s) 758.49
Current children cumulated vsize (Kb) 167628

[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 72368 0 0 0 76075 762 0 0 25 0 1 0 22374096 171651072 29175 4294967295 134512640 135987407 3221224560 3221223248 134811894 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41907 29175 364 364 0 41543 0
[pid=11245] vsize: 167628
Current children cumulated CPU time (s) 768.37
Current children cumulated vsize (Kb) 167628

[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 72990 0 0 0 77051 772 0 0 25 0 1 0 22374096 171651072 29181 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41907 29181 364 364 0 41543 0
[pid=11245] vsize: 167628
Current children cumulated CPU time (s) 778.23
Current children cumulated vsize (Kb) 167628

[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 72997 0 0 0 78026 780 0 0 25 0 1 0 22374096 171782144 29188 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41939 29188 364 364 0 41575 0
[pid=11245] vsize: 167756
Current children cumulated CPU time (s) 788.06
Current children cumulated vsize (Kb) 167756

[startup+810.042 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 73618 0 0 0 79003 789 0 0 25 0 1 0 22374096 171782144 29193 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41939 29193 364 364 0 41575 0
[pid=11245] vsize: 167756
Current children cumulated CPU time (s) 797.92
Current children cumulated vsize (Kb) 167756

[startup+820.043 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 73625 0 0 0 79977 798 0 0 25 0 1 0 22374096 171782144 29200 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41939 29200 364 364 0 41575 0
[pid=11245] vsize: 167756
Current children cumulated CPU time (s) 807.75
Current children cumulated vsize (Kb) 167756

[startup+830.044 s]
Raw data (loadavg): 1.06 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 74248 0 0 0 80951 808 0 0 25 0 1 0 22374096 171782144 29207 4294967295 134512640 135987407 3221224560 3221223316 134811684 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41939 29207 364 364 0 41575 0
[pid=11245] vsize: 167756
Current children cumulated CPU time (s) 817.59
Current children cumulated vsize (Kb) 167756

[startup+840.044 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 74256 0 0 0 81924 817 0 0 25 0 1 0 22374096 171782144 29215 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41939 29215 364 364 0 41575 0
[pid=11245] vsize: 167756
Current children cumulated CPU time (s) 827.41
Current children cumulated vsize (Kb) 167756

[startup+850.044 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 74262 0 0 0 82899 824 0 0 25 0 1 0 22374096 171782144 29221 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41939 29221 364 364 0 41575 0
[pid=11245] vsize: 167756
Current children cumulated CPU time (s) 837.23
Current children cumulated vsize (Kb) 167756

[startup+860.045 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 74275 0 0 0 83868 833 0 0 25 0 1 0 22374096 171782144 29234 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41939 29234 364 364 0 41575 0
[pid=11245] vsize: 167756
Current children cumulated CPU time (s) 847.01
Current children cumulated vsize (Kb) 167756

[startup+870.044 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 74911 0 0 0 84846 842 0 0 25 0 1 0 22374096 171921408 29254 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41973 29254 364 364 0 41609 0
[pid=11245] vsize: 167892
Current children cumulated CPU time (s) 856.88
Current children cumulated vsize (Kb) 167892

[startup+880.045 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 74928 0 0 0 85816 852 0 0 25 0 1 0 22374096 171921408 29271 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41973 29271 364 364 0 41609 0
[pid=11245] vsize: 167892
Current children cumulated CPU time (s) 866.68
Current children cumulated vsize (Kb) 167892

[startup+890.046 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 74943 0 0 0 86788 861 0 0 25 0 1 0 22374096 171921408 29286 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41973 29286 364 364 0 41609 0
[pid=11245] vsize: 167892
Current children cumulated CPU time (s) 876.49
Current children cumulated vsize (Kb) 167892

[startup+900.046 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 75575 0 0 0 87763 871 0 0 25 0 1 0 22374096 171921408 29302 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 41973 29302 364 364 0 41609 0
[pid=11245] vsize: 167892
Current children cumulated CPU time (s) 886.34
Current children cumulated vsize (Kb) 167892

[startup+910.047 s]
Raw data (loadavg): 1.01 1.01 0.95 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 75596 0 0 0 88741 877 0 0 25 0 1 0 22374096 171921408 29323 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41973 29323 364 364 0 41609 0
[pid=11245] vsize: 167892
Current children cumulated CPU time (s) 896.18
Current children cumulated vsize (Kb) 167892

[startup+920.047 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 76227 0 0 0 89715 888 0 0 25 0 1 0 22374096 171921408 29338 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41973 29338 364 364 0 41609 0
[pid=11245] vsize: 167892
Current children cumulated CPU time (s) 906.03
Current children cumulated vsize (Kb) 167892

[startup+930.047 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 76245 0 0 0 90690 896 0 0 25 0 1 0 22374096 171921408 29356 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 41973 29356 364 364 0 41609 0
[pid=11245] vsize: 167892
Current children cumulated CPU time (s) 915.86
Current children cumulated vsize (Kb) 167892

[startup+940.048 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 76875 0 0 0 91667 905 0 0 25 0 1 0 22374096 172056576 29370 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42006 29370 364 364 0 41642 0
[pid=11245] vsize: 168024
Current children cumulated CPU time (s) 925.72
Current children cumulated vsize (Kb) 168024

[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 76898 0 0 0 92643 913 0 0 25 0 1 0 22374096 172056576 29393 4294967295 134512640 135987407 3221224560 3221223300 135478210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42006 29393 364 364 0 41642 0
[pid=11245] vsize: 168024
Current children cumulated CPU time (s) 935.56
Current children cumulated vsize (Kb) 168024

[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 77518 0 0 0 93625 919 0 0 25 0 1 0 22374096 172056576 29397 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42006 29397 364 364 0 41642 0
[pid=11245] vsize: 168024
Current children cumulated CPU time (s) 945.44
Current children cumulated vsize (Kb) 168024

[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 77528 0 0 0 94598 928 0 0 25 0 1 0 22374096 172056576 29407 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42006 29407 364 364 0 41642 0
[pid=11245] vsize: 168024
Current children cumulated CPU time (s) 955.26
Current children cumulated vsize (Kb) 168024

[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 78150 0 0 0 95576 936 0 0 25 0 1 0 22374096 172056576 29413 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42006 29413 364 364 0 41642 0
[pid=11245] vsize: 168024
Current children cumulated CPU time (s) 965.12
Current children cumulated vsize (Kb) 168024

[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 78784 0 0 0 96551 946 0 0 25 0 1 0 22374096 172056576 29431 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42006 29431 364 364 0 41642 0
[pid=11245] vsize: 168024
Current children cumulated CPU time (s) 974.97
Current children cumulated vsize (Kb) 168024

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 78804 0 0 0 97531 953 0 0 25 0 1 0 22374096 172195840 29451 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42040 29451 364 364 0 41676 0
[pid=11245] vsize: 168160
Current children cumulated CPU time (s) 984.84
Current children cumulated vsize (Kb) 168160

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 79434 0 0 0 98507 962 0 0 25 0 1 0 22374096 172195840 29465 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42040 29465 364 364 0 41676 0
[pid=11245] vsize: 168160
Current children cumulated CPU time (s) 994.69
Current children cumulated vsize (Kb) 168160

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 79456 0 0 0 99483 968 0 0 25 0 1 0 22374096 172195840 29487 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42040 29487 364 364 0 41676 0
[pid=11245] vsize: 168160
Current children cumulated CPU time (s) 1004.51
Current children cumulated vsize (Kb) 168160

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 80092 0 0 0 100458 978 0 0 25 0 1 0 22374096 172359680 29507 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42080 29507 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1014.36
Current children cumulated vsize (Kb) 168320

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 80106 0 0 0 101435 985 0 0 25 0 1 0 22374096 172359680 29521 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42080 29521 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1024.2
Current children cumulated vsize (Kb) 168320

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 80735 0 0 0 102414 994 0 0 25 0 1 0 22374096 172359680 29534 4294967295 134512640 135987407 3221224560 3221223300 135478627 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42080 29534 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1034.08
Current children cumulated vsize (Kb) 168320

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 80741 0 0 0 103389 1003 0 0 25 0 1 0 22374096 172359680 29540 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42080 29540 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1043.92
Current children cumulated vsize (Kb) 168320

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 81366 0 0 0 104365 1013 0 0 25 0 1 0 22374096 172359680 29549 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42080 29549 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1053.78
Current children cumulated vsize (Kb) 168320

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 81385 0 0 0 105346 1018 0 0 25 0 1 0 22374096 172359680 29568 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42080 29568 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1063.64
Current children cumulated vsize (Kb) 168320

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 81405 0 0 0 106322 1025 0 0 25 0 1 0 22374096 172359680 29588 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42080 29588 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1073.47
Current children cumulated vsize (Kb) 168320

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 82038 0 0 0 107299 1033 0 0 25 0 1 0 22374096 172359680 29605 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42080 29605 364 364 0 41716 0
[pid=11245] vsize: 168320
Current children cumulated CPU time (s) 1083.32
Current children cumulated vsize (Kb) 168320

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 82064 0 0 0 108279 1040 0 0 25 0 1 0 22374096 172535808 29631 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29631 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1093.19
Current children cumulated vsize (Kb) 168492

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 82080 0 0 0 109256 1049 0 0 25 0 1 0 22374096 172535808 29647 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29647 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1103.05
Current children cumulated vsize (Kb) 168492

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 82710 0 0 0 110235 1058 0 0 25 0 1 0 22374096 175058944 30277 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42739 30277 364 364 0 42375 0
[pid=11245] vsize: 170956
Current children cumulated CPU time (s) 1112.93
Current children cumulated vsize (Kb) 170956

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 82725 0 0 0 111216 1065 0 0 25 0 1 0 22374096 172535808 29676 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29676 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1122.81
Current children cumulated vsize (Kb) 168492

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) T 11244 11245 4005 0 -1 0 82746 0 0 0 112192 1073 0 0 25 0 1 0 22374096 172535808 29697 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29697 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1132.65
Current children cumulated vsize (Kb) 168492

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 82764 0 0 0 113166 1082 0 0 25 0 1 0 22374096 172535808 29715 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29715 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1142.48
Current children cumulated vsize (Kb) 168492

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 82782 0 0 0 114140 1091 0 0 25 0 1 0 22374096 172535808 29733 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42123 29733 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1152.31
Current children cumulated vsize (Kb) 168492

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 82805 0 0 0 115116 1099 0 0 25 0 1 0 22374096 172535808 29756 4294967295 134512640 135987407 3221224560 3221223376 134824320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29756 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1162.15
Current children cumulated vsize (Kb) 168492

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 83440 0 0 0 116094 1108 0 0 25 0 1 0 22374096 172535808 29775 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29775 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1172.02
Current children cumulated vsize (Kb) 168492

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 83462 0 0 0 117071 1117 0 0 25 0 1 0 22374096 172535808 29797 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 42123 29797 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (Kb) 168492

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 84090 0 0 0 118051 1125 0 0 25 0 1 0 22374096 172535808 29809 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42123 29809 364 364 0 41759 0
[pid=11245] vsize: 168492
Current children cumulated CPU time (s) 1191.76
Current children cumulated vsize (Kb) 168492

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 84100 0 0 0 119029 1133 0 0 25 0 1 0 22374096 172679168 29819 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42158 29819 364 364 0 41794 0
[pid=11245] vsize: 168632
Current children cumulated CPU time (s) 1201.62
Current children cumulated vsize (Kb) 168632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11245
Raw data (/proc/11245/stat): 11245 (pb2sat) R 11244 11245 4005 0 -1 0 84100 0 0 0 119029 1133 0 0 25 0 1 0 22374096 172679168 29819 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11245/statm): 42158 29819 364 364 0 41794 0
[pid=11245] vsize: 168632
Current children cumulated CPU time (s) 1201.62
Current children cumulated vsize (Kb) 168632

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

Child status: 0
Real time (s): 1220.57
CPU time (s): 1202.14
CPU user time (s): 1190.74
CPU system time (s): 11.3973
CPU usage (%): 98.4898
Max. virtual memory (cumulated for all children) (Kb): 170956

Verifier Data

ERROR: no interpretation found !