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/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
MD5SUMd98db64f69c8547ad0880486d1128dd0
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 93346980255
Optimality of the best value was proved NO
Number of terms in the objective function 183313
Biggest coefficient in the objective function 19194096394240
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 127830561163966644
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 19194096394240
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 127830561163966644
Number of bits of the biggest sum of numbers57
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1210.34
Number of variables183313
Total number of constraints1761
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1761
Minimum length of a constraint13
Maximum length of a constraint32019

Trace number 10503

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        866744 kB
Buffers:          6796 kB
Cached:         141104 kB
SwapCached:          0 kB
Active:          83076 kB
Inactive:        67720 kB
HighTotal:      131008 kB
HighFree:         7868 kB
LowTotal:       903652 kB
LowFree:        858876 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11488 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:41:36 (client local time) WITH STATUS 0 IN 1212.03 SECONDS
stats: 9201 7 1212.03 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
s 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/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22307460 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 373 2 364 364 0 9 0
[pid=11272] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-sp97ar.opb

[startup+10.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 2524 0 0 0 992 6 0 0 25 0 1 0 22307460 9502720 1838 4294967295 134512640 135987407 3221224560 3221221580 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 2320 1838 364 364 0 1956 0
[pid=11272] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4193 0 0 0 1988 10 0 0 25 0 1 0 22307460 15224832 2758 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 3717 2758 364 364 0 3353 0
[pid=11272] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4452 0 0 0 2986 12 0 0 25 0 1 0 22307460 15765504 3012 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 3849 3012 364 364 0 3485 0
[pid=11272] vsize: 15396
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15396

[startup+40.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4722 0 0 0 3985 13 0 0 25 0 1 0 22307460 16441344 3277 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 4014 3277 364 364 0 3650 0
[pid=11272] vsize: 16056
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16056

[startup+50.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4967 0 0 0 4985 13 0 0 25 0 1 0 22307460 17117184 3518 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 4179 3518 364 364 0 3815 0
[pid=11272] vsize: 16716
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16716

[startup+60.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5190 0 0 0 5985 14 0 0 25 0 1 0 22307460 17657856 3738 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 4311 3738 364 364 0 3947 0
[pid=11272] vsize: 17244
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 17244

[startup+70.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5395 0 0 0 6984 15 0 0 25 0 1 0 22307460 18198528 3939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 4443 3939 364 364 0 4079 0
[pid=11272] vsize: 17772
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 17772

[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5585 0 0 0 7983 16 0 0 25 0 1 0 22307460 18739200 4126 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 4575 4126 364 364 0 4211 0
[pid=11272] vsize: 18300
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18300

[startup+90.0064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5764 0 0 0 8982 16 0 0 25 0 1 0 22307460 19144704 4302 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 4674 4302 364 364 0 4310 0
[pid=11272] vsize: 18696
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18696

[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5934 0 0 0 9982 17 0 0 25 0 1 0 22307460 19550208 4470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 4773 4470 364 364 0 4409 0
[pid=11272] vsize: 19092
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19092

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8301 0 0 0 10978 21 0 0 25 0 1 0 22307460 28831744 5359 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7039 5359 364 364 0 6675 0
[pid=11272] vsize: 28156
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 28156

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8362 0 0 0 11977 21 0 0 25 0 1 0 22307460 28831744 5417 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7039 5417 364 364 0 6675 0
[pid=11272] vsize: 28156
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28156

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8473 0 0 0 12977 22 0 0 25 0 1 0 22307460 28966912 5526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7072 5526 364 364 0 6708 0
[pid=11272] vsize: 28288
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28288

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8601 0 0 0 13977 22 0 0 25 0 1 0 22307460 29372416 5652 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7171 5652 364 364 0 6807 0
[pid=11272] vsize: 28684
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28684

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8726 0 0 0 14976 23 0 0 25 0 1 0 22307460 29642752 5774 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7237 5774 364 364 0 6873 0
[pid=11272] vsize: 28948
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28948

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8846 0 0 0 15976 23 0 0 25 0 1 0 22307460 29913088 5892 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7303 5892 364 364 0 6939 0
[pid=11272] vsize: 29212
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29212

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8960 0 0 0 16976 24 0 0 25 0 1 0 22307460 30183424 6004 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7369 6004 364 364 0 7005 0
[pid=11272] vsize: 29476
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 29476

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9084 0 0 0 17975 24 0 0 25 0 1 0 22307460 30453760 6126 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7435 6126 364 364 0 7071 0
[pid=11272] vsize: 29740
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29740

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9210 0 0 0 18975 25 0 0 25 0 1 0 22307460 30724096 6250 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7501 6250 364 364 0 7137 0
[pid=11272] vsize: 30004
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 30004

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9334 0 0 0 19975 25 0 0 25 0 1 0 22307460 31129600 6372 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7600 6372 364 364 0 7236 0
[pid=11272] vsize: 30400
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 30400

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9456 0 0 0 20975 25 0 0 25 0 1 0 22307460 31399936 6492 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7666 6492 364 364 0 7302 0
[pid=11272] vsize: 30664
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 30664

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9575 0 0 0 21975 25 0 0 25 0 1 0 22307460 31670272 6609 4294967295 134512640 135987407 3221224560 3221221952 134614947 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 7732 6609 364 364 0 7368 0
[pid=11272] vsize: 30928
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9690 0 0 0 22975 26 0 0 25 0 1 0 22307460 32075776 6722 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 7831 6722 364 364 0 7467 0
[pid=11272] vsize: 31324
Current children cumulated CPU time (s) 230.01
Current children cumulated vsize (Kb) 31324

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9802 0 0 0 23975 26 0 0 25 0 1 0 22307460 32346112 6832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 7897 6832 364 364 0 7533 0
[pid=11272] vsize: 31588
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 31588

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9912 0 0 0 24974 27 0 0 25 0 1 0 22307460 32616448 6941 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 7963 6941 364 364 0 7599 0
[pid=11272] vsize: 31852
Current children cumulated CPU time (s) 250.01
Current children cumulated vsize (Kb) 31852

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10022 0 0 0 25974 27 0 0 25 0 1 0 22307460 32886784 7049 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8029 7049 364 364 0 7665 0
[pid=11272] vsize: 32116
Current children cumulated CPU time (s) 260.01
Current children cumulated vsize (Kb) 32116

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10128 0 0 0 26974 27 0 0 25 0 1 0 22307460 33157120 7153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8095 7153 364 364 0 7731 0
[pid=11272] vsize: 32380
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 32380

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10236 0 0 0 27974 27 0 0 25 0 1 0 22307460 33427456 7259 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8161 7259 364 364 0 7797 0
[pid=11272] vsize: 32644
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 32644

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10339 0 0 0 28974 27 0 0 25 0 1 0 22307460 33697792 7361 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8227 7361 364 364 0 7863 0
[pid=11272] vsize: 32908
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 32908

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10443 0 0 0 29974 27 0 0 25 0 1 0 22307460 33968128 7463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8293 7463 364 364 0 7929 0
[pid=11272] vsize: 33172
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 33172

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10541 0 0 0 30973 28 0 0 25 0 1 0 22307460 34238464 7559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 8359 7559 364 364 0 7995 0
[pid=11272] vsize: 33436
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 33436

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10638 0 0 0 31973 28 0 0 25 0 1 0 22307460 34508800 7655 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8425 7655 364 364 0 8061 0
[pid=11272] vsize: 33700
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 33700

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10736 0 0 0 32973 28 0 0 25 0 1 0 22307460 34779136 7751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8491 7751 364 364 0 8127 0
[pid=11272] vsize: 33964
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 33964

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10832 0 0 0 33973 28 0 0 25 0 1 0 22307460 34914304 7846 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8524 7846 364 364 0 8160 0
[pid=11272] vsize: 34096
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 34096

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10927 0 0 0 34973 29 0 0 25 0 1 0 22307460 35184640 7939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8590 7939 364 364 0 8226 0
[pid=11272] vsize: 34360
Current children cumulated CPU time (s) 350.02
Current children cumulated vsize (Kb) 34360

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11020 0 0 0 35973 29 0 0 25 0 1 0 22307460 35454976 8031 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8656 8031 364 364 0 8292 0
[pid=11272] vsize: 34624
Current children cumulated CPU time (s) 360.02
Current children cumulated vsize (Kb) 34624

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11113 0 0 0 36972 29 0 0 25 0 1 0 22307460 35725312 8122 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8722 8122 364 364 0 8358 0
[pid=11272] vsize: 34888
Current children cumulated CPU time (s) 370.01
Current children cumulated vsize (Kb) 34888

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11205 0 0 0 37972 30 0 0 25 0 1 0 22307460 35995648 8213 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8788 8213 364 364 0 8424 0
[pid=11272] vsize: 35152
Current children cumulated CPU time (s) 380.02
Current children cumulated vsize (Kb) 35152

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11294 0 0 0 38972 30 0 0 25 0 1 0 22307460 36130816 8300 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8821 8300 364 364 0 8457 0
[pid=11272] vsize: 35284
Current children cumulated CPU time (s) 390.02
Current children cumulated vsize (Kb) 35284

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11383 0 0 0 39972 30 0 0 25 0 1 0 22307460 36401152 8388 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8887 8388 364 364 0 8523 0
[pid=11272] vsize: 35548
Current children cumulated CPU time (s) 400.02
Current children cumulated vsize (Kb) 35548

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11471 0 0 0 40971 31 0 0 25 0 1 0 22307460 36671488 8474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8953 8474 364 364 0 8589 0
[pid=11272] vsize: 35812
Current children cumulated CPU time (s) 410.02
Current children cumulated vsize (Kb) 35812

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11559 0 0 0 41971 31 0 0 25 0 1 0 22307460 36806656 8561 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 8986 8561 364 364 0 8622 0
[pid=11272] vsize: 35944
Current children cumulated CPU time (s) 420.02
Current children cumulated vsize (Kb) 35944

[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11643 0 0 0 42971 31 0 0 25 0 1 0 22307460 37076992 8644 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 9052 8644 364 364 0 8688 0
[pid=11272] vsize: 36208
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 36208

[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11729 0 0 0 43971 32 0 0 25 0 1 0 22307460 37212160 8728 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 9085 8728 364 364 0 8721 0
[pid=11272] vsize: 36340
Current children cumulated CPU time (s) 440.03
Current children cumulated vsize (Kb) 36340

[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11814 0 0 0 44971 32 0 0 25 0 1 0 22307460 37482496 8812 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 9151 8812 364 364 0 8787 0
[pid=11272] vsize: 36604
Current children cumulated CPU time (s) 450.03
Current children cumulated vsize (Kb) 36604

[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11894 0 0 0 45970 32 0 0 25 0 1 0 22307460 37752832 8891 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 9217 8891 364 364 0 8853 0
[pid=11272] vsize: 36868
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (Kb) 36868

[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11978 0 0 0 46970 33 0 0 25 0 1 0 22307460 37888000 8973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 9250 8973 364 364 0 8886 0
[pid=11272] vsize: 37000
Current children cumulated CPU time (s) 470.03
Current children cumulated vsize (Kb) 37000

[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16504 0 0 0 47960 42 0 0 25 0 1 0 22307460 55775232 10551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13617 10551 364 364 0 13253 0
[pid=11272] vsize: 54468
Current children cumulated CPU time (s) 480.02
Current children cumulated vsize (Kb) 54468

[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16533 0 0 0 48960 43 0 0 25 0 1 0 22307460 55775232 10579 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13617 10579 364 364 0 13253 0
[pid=11272] vsize: 54468
Current children cumulated CPU time (s) 490.03
Current children cumulated vsize (Kb) 54468

[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16563 0 0 0 49960 43 0 0 25 0 1 0 22307460 55775232 10607 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13617 10607 364 364 0 13253 0
[pid=11272] vsize: 54468
Current children cumulated CPU time (s) 500.03
Current children cumulated vsize (Kb) 54468

[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16592 0 0 0 50959 43 0 0 25 0 1 0 22307460 55775232 10635 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13617 10635 364 364 0 13253 0
[pid=11272] vsize: 54468
Current children cumulated CPU time (s) 510.02
Current children cumulated vsize (Kb) 54468

[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16621 0 0 0 51959 43 0 0 25 0 1 0 22307460 55775232 10663 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13617 10663 364 364 0 13253 0
[pid=11272] vsize: 54468
Current children cumulated CPU time (s) 520.02
Current children cumulated vsize (Kb) 54468

[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16650 0 0 0 52959 44 0 0 25 0 1 0 22307460 55775232 10691 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13617 10691 364 364 0 13253 0
[pid=11272] vsize: 54468
Current children cumulated CPU time (s) 530.03
Current children cumulated vsize (Kb) 54468

[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16691 0 0 0 53959 44 0 0 25 0 1 0 22307460 55910400 10730 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13650 10730 364 364 0 13286 0
[pid=11272] vsize: 54600
Current children cumulated CPU time (s) 540.03
Current children cumulated vsize (Kb) 54600

[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16758 0 0 0 54959 44 0 0 25 0 1 0 22307460 56045568 10796 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13683 10796 364 364 0 13319 0
[pid=11272] vsize: 54732
Current children cumulated CPU time (s) 550.03
Current children cumulated vsize (Kb) 54732

[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16823 0 0 0 55959 44 0 0 25 0 1 0 22307460 56180736 10860 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13716 10860 364 364 0 13352 0
[pid=11272] vsize: 54864
Current children cumulated CPU time (s) 560.03
Current children cumulated vsize (Kb) 54864

[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16889 0 0 0 56959 44 0 0 25 0 1 0 22307460 56315904 10925 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13749 10925 364 364 0 13385 0
[pid=11272] vsize: 54996
Current children cumulated CPU time (s) 570.03
Current children cumulated vsize (Kb) 54996

[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16954 0 0 0 57959 44 0 0 25 0 1 0 22307460 56451072 10989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13782 10989 364 364 0 13418 0
[pid=11272] vsize: 55128
Current children cumulated CPU time (s) 580.03
Current children cumulated vsize (Kb) 55128

[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17018 0 0 0 58959 44 0 0 25 0 1 0 22307460 56586240 11051 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13815 11051 364 364 0 13451 0
[pid=11272] vsize: 55260
Current children cumulated CPU time (s) 590.03
Current children cumulated vsize (Kb) 55260

[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17082 0 0 0 59959 45 0 0 25 0 1 0 22307460 56721408 11114 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13848 11114 364 364 0 13484 0
[pid=11272] vsize: 55392
Current children cumulated CPU time (s) 600.04
Current children cumulated vsize (Kb) 55392

[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17146 0 0 0 60959 45 0 0 25 0 1 0 22307460 56856576 11177 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13881 11177 364 364 0 13517 0
[pid=11272] vsize: 55524
Current children cumulated CPU time (s) 610.04
Current children cumulated vsize (Kb) 55524

[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17207 0 0 0 61959 45 0 0 25 0 1 0 22307460 57126912 11237 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13947 11237 364 364 0 13583 0
[pid=11272] vsize: 55788
Current children cumulated CPU time (s) 620.04
Current children cumulated vsize (Kb) 55788

[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17270 0 0 0 62959 45 0 0 25 0 1 0 22307460 57262080 11299 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 13980 11299 364 364 0 13616 0
[pid=11272] vsize: 55920
Current children cumulated CPU time (s) 630.04
Current children cumulated vsize (Kb) 55920

[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17332 0 0 0 63958 45 0 0 25 0 1 0 22307460 57397248 11360 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14013 11360 364 364 0 13649 0
[pid=11272] vsize: 56052
Current children cumulated CPU time (s) 640.03
Current children cumulated vsize (Kb) 56052

[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17393 0 0 0 64958 46 0 0 25 0 1 0 22307460 57532416 11419 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14046 11419 364 364 0 13682 0
[pid=11272] vsize: 56184
Current children cumulated CPU time (s) 650.04
Current children cumulated vsize (Kb) 56184

[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17455 0 0 0 65958 46 0 0 25 0 1 0 22307460 57667584 11480 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14079 11480 364 364 0 13715 0
[pid=11272] vsize: 56316
Current children cumulated CPU time (s) 660.04
Current children cumulated vsize (Kb) 56316

[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17514 0 0 0 66958 46 0 0 25 0 1 0 22307460 57802752 11538 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14112 11538 364 364 0 13748 0
[pid=11272] vsize: 56448
Current children cumulated CPU time (s) 670.04
Current children cumulated vsize (Kb) 56448

[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17575 0 0 0 67958 46 0 0 25 0 1 0 22307460 57937920 11598 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14145 11598 364 364 0 13781 0
[pid=11272] vsize: 56580
Current children cumulated CPU time (s) 680.04
Current children cumulated vsize (Kb) 56580

[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17633 0 0 0 68958 46 0 0 25 0 1 0 22307460 58073088 11655 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14178 11655 364 364 0 13814 0
[pid=11272] vsize: 56712
Current children cumulated CPU time (s) 690.04
Current children cumulated vsize (Kb) 56712

[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17692 0 0 0 69958 47 0 0 25 0 1 0 22307460 58208256 11713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14211 11713 364 364 0 13847 0
[pid=11272] vsize: 56844
Current children cumulated CPU time (s) 700.05
Current children cumulated vsize (Kb) 56844

[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17750 0 0 0 70957 47 0 0 25 0 1 0 22307460 58343424 11770 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14244 11770 364 364 0 13880 0
[pid=11272] vsize: 56976
Current children cumulated CPU time (s) 710.04
Current children cumulated vsize (Kb) 56976

[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17809 0 0 0 71957 47 0 0 25 0 1 0 22307460 58478592 11828 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14277 11828 364 364 0 13913 0
[pid=11272] vsize: 57108
Current children cumulated CPU time (s) 720.04
Current children cumulated vsize (Kb) 57108

[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17867 0 0 0 72957 47 0 0 25 0 1 0 22307460 58613760 11885 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14310 11885 364 364 0 13946 0
[pid=11272] vsize: 57240
Current children cumulated CPU time (s) 730.04
Current children cumulated vsize (Kb) 57240

[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17925 0 0 0 73957 47 0 0 25 0 1 0 22307460 58748928 11942 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14343 11942 364 364 0 13979 0
[pid=11272] vsize: 57372
Current children cumulated CPU time (s) 740.04
Current children cumulated vsize (Kb) 57372

[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17986 0 0 0 74957 48 0 0 25 0 1 0 22307460 58884096 12001 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14376 12001 364 364 0 14012 0
[pid=11272] vsize: 57504
Current children cumulated CPU time (s) 750.05
Current children cumulated vsize (Kb) 57504

[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18051 0 0 0 75957 48 0 0 25 0 1 0 22307460 59019264 12065 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14409 12065 364 364 0 14045 0
[pid=11272] vsize: 57636
Current children cumulated CPU time (s) 760.05
Current children cumulated vsize (Kb) 57636

[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18116 0 0 0 76957 48 0 0 25 0 1 0 22307460 59289600 12129 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14475 12129 364 364 0 14111 0
[pid=11272] vsize: 57900
Current children cumulated CPU time (s) 770.05
Current children cumulated vsize (Kb) 57900

[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18180 0 0 0 77956 49 0 0 25 0 1 0 22307460 59424768 12192 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14508 12192 364 364 0 14144 0
[pid=11272] vsize: 58032
Current children cumulated CPU time (s) 780.05
Current children cumulated vsize (Kb) 58032

[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18243 0 0 0 78956 49 0 0 25 0 1 0 22307460 59559936 12254 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14541 12254 364 364 0 14177 0
[pid=11272] vsize: 58164
Current children cumulated CPU time (s) 790.05
Current children cumulated vsize (Kb) 58164

[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18308 0 0 0 79956 49 0 0 25 0 1 0 22307460 59695104 12318 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14574 12318 364 364 0 14210 0
[pid=11272] vsize: 58296
Current children cumulated CPU time (s) 800.05
Current children cumulated vsize (Kb) 58296

[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18371 0 0 0 80956 49 0 0 25 0 1 0 22307460 59830272 12380 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14607 12380 364 364 0 14243 0
[pid=11272] vsize: 58428
Current children cumulated CPU time (s) 810.05
Current children cumulated vsize (Kb) 58428

[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18434 0 0 0 81955 50 0 0 25 0 1 0 22307460 60100608 12442 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14673 12442 364 364 0 14309 0
[pid=11272] vsize: 58692
Current children cumulated CPU time (s) 820.05
Current children cumulated vsize (Kb) 58692

[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18496 0 0 0 82955 50 0 0 25 0 1 0 22307460 60235776 12503 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14706 12503 364 364 0 14342 0
[pid=11272] vsize: 58824
Current children cumulated CPU time (s) 830.05
Current children cumulated vsize (Kb) 58824

[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18557 0 0 0 83955 50 0 0 25 0 1 0 22307460 60370944 12563 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14739 12563 364 364 0 14375 0
[pid=11272] vsize: 58956
Current children cumulated CPU time (s) 840.05
Current children cumulated vsize (Kb) 58956

[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18620 0 0 0 84955 50 0 0 25 0 1 0 22307460 60506112 12625 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14772 12625 364 364 0 14408 0
[pid=11272] vsize: 59088
Current children cumulated CPU time (s) 850.05
Current children cumulated vsize (Kb) 59088

[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18681 0 0 0 85955 50 0 0 25 0 1 0 22307460 60641280 12685 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14805 12685 364 364 0 14441 0
[pid=11272] vsize: 59220
Current children cumulated CPU time (s) 860.05
Current children cumulated vsize (Kb) 59220

[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18742 0 0 0 86955 50 0 0 25 0 1 0 22307460 60911616 12745 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14871 12745 364 364 0 14507 0
[pid=11272] vsize: 59484
Current children cumulated CPU time (s) 870.05
Current children cumulated vsize (Kb) 59484

[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18802 0 0 0 87955 51 0 0 25 0 1 0 22307460 61046784 12804 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14904 12804 364 364 0 14540 0
[pid=11272] vsize: 59616
Current children cumulated CPU time (s) 880.06
Current children cumulated vsize (Kb) 59616

[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18862 0 0 0 88954 51 0 0 25 0 1 0 22307460 61181952 12863 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14937 12863 364 364 0 14573 0
[pid=11272] vsize: 59748
Current children cumulated CPU time (s) 890.05
Current children cumulated vsize (Kb) 59748

[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18923 0 0 0 89954 51 0 0 25 0 1 0 22307460 61317120 12923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 14970 12923 364 364 0 14606 0
[pid=11272] vsize: 59880
Current children cumulated CPU time (s) 900.05
Current children cumulated vsize (Kb) 59880

[startup+910.047 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18982 0 0 0 90954 52 0 0 25 0 1 0 22307460 61452288 12981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 15003 12981 364 364 0 14639 0
[pid=11272] vsize: 60012
Current children cumulated CPU time (s) 910.06
Current children cumulated vsize (Kb) 60012

[startup+920.048 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 19042 0 0 0 91954 52 0 0 25 0 1 0 22307460 61587456 13040 4294967295 134512640 135987407 3221224560 3221221800 134534605 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 15036 13040 364 364 0 14672 0
[pid=11272] vsize: 60144
Current children cumulated CPU time (s) 920.06
Current children cumulated vsize (Kb) 60144

[startup+930.048 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 19102 0 0 0 92954 52 0 0 25 0 1 0 22307460 61722624 13099 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 15069 13099 364 364 0 14705 0
[pid=11272] vsize: 60276
Current children cumulated CPU time (s) 930.06
Current children cumulated vsize (Kb) 60276

[startup+940.048 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 21098 0 0 0 93948 58 0 0 25 0 1 0 22307460 69750784 15062 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 17029 15062 364 364 0 16665 0
[pid=11272] vsize: 68116
Current children cumulated CPU time (s) 940.06
Current children cumulated vsize (Kb) 68116

[startup+950.049 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 31128 0 0 0 94924 80 0 0 25 0 1 0 22307460 128958464 23366 4294967295 134512640 135987407 3221224560 3220718560 134856696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 31484 23366 364 364 0 31120 0
[pid=11272] vsize: 125936
Current children cumulated CPU time (s) 950.04
Current children cumulated vsize (Kb) 125936

[startup+960.05 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 41194 0 0 0 95901 103 0 0 25 0 1 0 22307460 130367488 27048 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 31828 27048 364 364 0 31464 0
[pid=11272] vsize: 127312
Current children cumulated CPU time (s) 960.04
Current children cumulated vsize (Kb) 127312

[startup+970.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 49452 0 0 0 96880 123 0 0 25 0 1 0 22307460 155529216 32146 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 37971 32146 364 364 0 37607 0
[pid=11272] vsize: 151884
Current children cumulated CPU time (s) 970.03
Current children cumulated vsize (Kb) 151884

[startup+980.051 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 53552 0 0 0 97868 133 0 0 25 0 1 0 22307460 159043584 36178 4294967295 134512640 135987407 3221224560 3220842928 134878029 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 38829 36178 364 364 0 38465 0
[pid=11272] vsize: 155316
Current children cumulated CPU time (s) 980.01
Current children cumulated vsize (Kb) 155316

[startup+990.051 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 76753 0 0 0 98817 182 0 0 25 0 1 0 22307460 240746496 43447 4294967295 134512640 135987407 3221224560 3221221960 135270425 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 58776 43447 364 364 0 58412 0
[pid=11272] vsize: 235104
Current children cumulated CPU time (s) 989.99
Current children cumulated vsize (Kb) 235104

[startup+1000.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 80370 0 0 0 99805 193 0 0 25 0 1 0 22307460 258334720 46992 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 63070 46992 364 364 0 62706 0
[pid=11272] vsize: 252280
Current children cumulated CPU time (s) 999.98
Current children cumulated vsize (Kb) 252280

[startup+1010.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 82396 0 0 0 100800 198 0 0 25 0 1 0 22307460 260714496 48989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 63651 48989 364 364 0 63287 0
[pid=11272] vsize: 254604
Current children cumulated CPU time (s) 1009.98
Current children cumulated vsize (Kb) 254604

[startup+1020.05 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 87876 0 0 0 101785 212 0 0 25 0 1 0 22307460 264499200 54377 4294967295 134512640 135987407 3221224560 3221221856 134613671 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 64575 54377 364 364 0 64211 0
[pid=11272] vsize: 258300
Current children cumulated CPU time (s) 1019.97
Current children cumulated vsize (Kb) 258300

[startup+1030.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 89912 0 0 0 102780 217 0 0 25 0 1 0 22307460 265310208 56375 4294967295 134512640 135987407 3221224560 3221221756 134536027 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 64773 56375 364 364 0 64409 0
[pid=11272] vsize: 259092
Current children cumulated CPU time (s) 1029.97
Current children cumulated vsize (Kb) 259092

[startup+1040.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 92200 0 0 0 103773 224 0 0 25 0 1 0 22307460 265715712 58617 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 64872 58617 364 364 0 64508 0
[pid=11272] vsize: 259488
Current children cumulated CPU time (s) 1039.97
Current children cumulated vsize (Kb) 259488

[startup+1050.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 108437 0 0 0 104737 259 0 0 25 0 1 0 22307460 319426560 62500 4294967295 134512640 135987407 3221224560 3220135240 134866066 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 77985 62500 364 364 0 77621 0
[pid=11272] vsize: 311940
Current children cumulated CPU time (s) 1049.96
Current children cumulated vsize (Kb) 311940

[startup+1060.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 112169 0 0 0 105726 269 0 0 25 0 1 0 22307460 321994752 66167 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 78612 66167 364 364 0 78248 0
[pid=11272] vsize: 314448
Current children cumulated CPU time (s) 1059.95
Current children cumulated vsize (Kb) 314448

[startup+1070.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 116792 0 0 0 106713 282 0 0 25 0 1 0 22307460 359604224 70714 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 87794 70714 364 364 0 87430 0
[pid=11272] vsize: 351176
Current children cumulated CPU time (s) 1069.95
Current children cumulated vsize (Kb) 351176

[startup+1080.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 147825 0 0 0 107650 342 0 0 25 0 1 0 22307460 475111424 82252 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 115994 82252 364 364 0 115630 0
[pid=11272] vsize: 463976
Current children cumulated CPU time (s) 1079.92
Current children cumulated vsize (Kb) 463976

[startup+1090.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 151559 0 0 0 108640 352 0 0 25 0 1 0 22307460 476057600 85913 4294967295 134512640 135987407 3221224560 3221221952 134616261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 116225 85913 364 364 0 115861 0
[pid=11272] vsize: 464900
Current children cumulated CPU time (s) 1089.92
Current children cumulated vsize (Kb) 464900

[startup+1100.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 154479 0 0 0 109632 360 0 0 25 0 1 0 22307460 477679616 88781 4294967295 134512640 135987407 3221224560 3216695108 135479957 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 116621 88781 364 364 0 116257 0
[pid=11272] vsize: 466484
Current children cumulated CPU time (s) 1099.92
Current children cumulated vsize (Kb) 466484

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 157284 0 0 0 110622 368 0 0 25 0 1 0 22307460 478625792 91531 4294967295 134512640 135987407 3221224560 3221221660 135480487 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 116852 91531 364 364 0 116488 0
[pid=11272] vsize: 467408
Current children cumulated CPU time (s) 1109.9
Current children cumulated vsize (Kb) 467408

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 160504 0 0 0 111613 377 0 0 25 0 1 0 22307460 479842304 94691 4294967295 134512640 135987407 3221224560 3221221808 134979147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 117149 94691 364 364 0 116785 0
[pid=11272] vsize: 468596
Current children cumulated CPU time (s) 1119.9
Current children cumulated vsize (Kb) 468596

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 162333 0 0 0 112606 384 0 0 25 0 1 0 22307460 480112640 96483 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 117215 96483 364 364 0 116851 0
[pid=11272] vsize: 468860
Current children cumulated CPU time (s) 1129.9
Current children cumulated vsize (Kb) 468860

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 165086 0 0 0 113597 392 0 0 25 0 1 0 22307460 482275328 99190 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 117743 99190 364 364 0 117379 0
[pid=11272] vsize: 470972
Current children cumulated CPU time (s) 1139.89
Current children cumulated vsize (Kb) 470972

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 168022 0 0 0 114590 399 0 0 25 0 1 0 22307460 483467264 102071 4294967295 134512640 135987407 3221224560 3221098960 134878087 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 118034 102071 364 364 0 117670 0
[pid=11272] vsize: 472136
Current children cumulated CPU time (s) 1149.89
Current children cumulated vsize (Kb) 472136

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 170704 0 0 0 115582 406 0 0 25 0 1 0 22307460 484278272 104701 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 118232 104701 364 364 0 117868 0
[pid=11272] vsize: 472928
Current children cumulated CPU time (s) 1159.88
Current children cumulated vsize (Kb) 472928

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 198508 0 0 0 116520 468 0 0 25 0 1 0 22307460 586698752 107869 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 143237 107869 364 364 0 142873 0
[pid=11272] vsize: 572948
Current children cumulated CPU time (s) 1169.88
Current children cumulated vsize (Kb) 572948

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 202097 0 0 0 117510 477 0 0 25 0 1 0 22307460 587915264 111389 4294967295 134512640 135987407 3221224560 3221221756 134535946 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11272/statm): 143534 111389 364 364 0 143170 0
[pid=11272] vsize: 574136
Current children cumulated CPU time (s) 1179.87
Current children cumulated vsize (Kb) 574136

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 203750 0 0 0 118504 483 0 0 25 0 1 0 22307460 589131776 113014 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 143831 113014 364 364 0 143467 0
[pid=11272] vsize: 575324
Current children cumulated CPU time (s) 1189.87
Current children cumulated vsize (Kb) 575324

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 205953 0 0 0 119498 489 0 0 25 0 1 0 22307460 591024128 115180 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 144293 115180 364 364 0 143929 0
[pid=11272] vsize: 577172
Current children cumulated CPU time (s) 1199.87
Current children cumulated vsize (Kb) 577172

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 209171 0 0 0 120489 498 0 0 25 0 1 0 22307460 592375808 118338 4294967295 134512640 135987407 3221224560 3221221852 134979056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 144623 118338 364 364 0 144259 0
[pid=11272] vsize: 578492
Current children cumulated CPU time (s) 1209.87
Current children cumulated vsize (Kb) 578492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11272
Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 209171 0 0 0 120489 498 0 0 25 0 1 0 22307460 592375808 118338 4294967295 134512640 135987407 3221224560 3221221904 134612687 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11272/statm): 144623 118338 364 364 0 144259 0
[pid=11272] vsize: 578492
Current children cumulated CPU time (s) 1209.87
Current children cumulated vsize (Kb) 578492

Sending SIGTERM to -11272
Sleeping 2 seconds
Sending SIGKILL to -11272
One traced child (pid=11272) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.21
CPU time (s): 1212.03
CPU user time (s): 1206.81
CPU system time (s): 5.21821
CPU usage (%): 99.9849
Max. virtual memory (cumulated for all children) (Kb): 578492

Verifier Data

ERROR: no interpretation found !