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-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUM0bcc00bfe1019c444b568fb7268c455a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 374066
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 1765505311698925125632
Number of bits of the sum of numbers in the objective function 71
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308681728
Number of bits of the biggest sum of numbers72
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables733406
Total number of constraints12168
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 constraints12168
Minimum length of a constraint13
Maximum length of a constraint6840

Trace number 10211

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-23 17:20:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8913 boxname=wulflinc25 idbench=709 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0bcc00bfe1019c444b568fb7268c455a  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-fome11.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-fome11.opb
IDLAUNCH: 8913
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.002
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.002
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:        859848 kB
Buffers:         17808 kB
Cached:         137028 kB
SwapCached:          0 kB
Active:          99196 kB
Inactive:        58528 kB
HighTotal:      131008 kB
HighFree:         3836 kB
LowTotal:       903652 kB
LowFree:        856012 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11516 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:40:13 (client local time) WITH STATUS 0 IN 1200.59 SECONDS
stats: 8913 7 1200.59 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/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21904423 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 373 2 364 364 0 9 0
[pid=9420] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-fome11.opb

[startup+10.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 2309 0 0 0 992 6 0 0 25 0 1 0 21904423 8966144 1626 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 2189 1626 364 364 0 1825 0
[pid=9420] vsize: 8756
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 8756

[startup+20.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 2892 0 0 0 1989 9 0 0 25 0 1 0 21904423 10452992 2200 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 2552 2200 364 364 0 2188 0
[pid=9420] vsize: 10208
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10208

[startup+30.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 4320 0 0 0 2985 13 0 0 25 0 1 0 21904423 15499264 2882 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 3784 2882 364 364 0 3420 0
[pid=9420] vsize: 15136
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15136

[startup+40.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 4606 0 0 0 3983 14 0 0 25 0 1 0 21904423 16175104 3163 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 3949 3163 364 364 0 3585 0
[pid=9420] vsize: 15796
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 15796

[startup+50.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 4873 0 0 0 4983 14 0 0 25 0 1 0 21904423 16850944 3426 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 4114 3426 364 364 0 3750 0
[pid=9420] vsize: 16456
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16456

[startup+60.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 5105 0 0 0 5982 15 0 0 25 0 1 0 21904423 17526784 3654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 4279 3654 364 364 0 3915 0
[pid=9420] vsize: 17116
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 17116

[startup+70.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 5316 0 0 0 6981 16 0 0 25 0 1 0 21904423 18067456 3862 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 4411 3862 364 364 0 4047 0
[pid=9420] vsize: 17644
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17644

[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 5508 0 0 0 7981 17 0 0 25 0 1 0 21904423 18472960 4051 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 4510 4051 364 364 0 4146 0
[pid=9420] vsize: 18040
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18040

[startup+90.0047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 5689 0 0 0 8980 17 0 0 25 0 1 0 21904423 19013632 4229 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 4642 4229 364 364 0 4278 0
[pid=9420] vsize: 18568
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18568

[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 5860 0 0 0 9979 18 0 0 25 0 1 0 21904423 19419136 4397 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 4741 4397 364 364 0 4377 0
[pid=9420] vsize: 18964
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 18964

[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 6024 0 0 0 10979 19 0 0 25 0 1 0 21904423 19824640 4558 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 4840 4558 364 364 0 4476 0
[pid=9420] vsize: 19360
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 19360

[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 8336 0 0 0 11974 23 0 0 25 0 1 0 21904423 28835840 5393 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 7040 5393 364 364 0 6676 0
[pid=9420] vsize: 28160
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28160

[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 8412 0 0 0 12974 23 0 0 25 0 1 0 21904423 28835840 5466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 7040 5466 364 364 0 6676 0
[pid=9420] vsize: 28160
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28160

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 8540 0 0 0 13973 24 0 0 25 0 1 0 21904423 29241344 5592 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7139 5592 364 364 0 6775 0
[pid=9420] vsize: 28556
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28556

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 8663 0 0 0 14973 24 0 0 25 0 1 0 21904423 29511680 5713 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7205 5713 364 364 0 6841 0
[pid=9420] vsize: 28820
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 28820

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 8783 0 0 0 15973 25 0 0 25 0 1 0 21904423 29782016 5830 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7271 5830 364 364 0 6907 0
[pid=9420] vsize: 29084
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29084

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 8898 0 0 0 16972 25 0 0 25 0 1 0 21904423 30052352 5943 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7337 5943 364 364 0 6973 0
[pid=9420] vsize: 29348
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 29348

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9011 0 0 0 17972 25 0 0 25 0 1 0 21904423 30322688 6054 4294967295 134512640 135987407 3221224560 3221221952 134615044 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7403 6054 364 364 0 7039 0
[pid=9420] vsize: 29612
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 29612

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9135 0 0 0 18972 26 0 0 25 0 1 0 21904423 30593024 6176 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7469 6176 364 364 0 7105 0
[pid=9420] vsize: 29876
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 29876

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9258 0 0 0 19971 26 0 0 25 0 1 0 21904423 30863360 6297 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7535 6297 364 364 0 7171 0
[pid=9420] vsize: 30140
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 30140

[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9379 0 0 0 20971 26 0 0 25 0 1 0 21904423 31268864 6416 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7634 6416 364 364 0 7270 0
[pid=9420] vsize: 30536
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 30536

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9496 0 0 0 21970 27 0 0 25 0 1 0 21904423 31539200 6531 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7700 6531 364 364 0 7336 0
[pid=9420] vsize: 30800
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 30800

[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9613 0 0 0 22970 28 0 0 25 0 1 0 21904423 31809536 6646 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7766 6646 364 364 0 7402 0
[pid=9420] vsize: 31064
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 31064

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9724 0 0 0 23969 28 0 0 25 0 1 0 21904423 32079872 6756 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7832 6756 364 364 0 7468 0
[pid=9420] vsize: 31328
Current children cumulated CPU time (s) 239.97
Current children cumulated vsize (Kb) 31328

[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9835 0 0 0 24969 28 0 0 25 0 1 0 21904423 32350208 6865 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7898 6865 364 364 0 7534 0
[pid=9420] vsize: 31592
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 31592

[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 9943 0 0 0 25969 28 0 0 25 0 1 0 21904423 32620544 6971 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 7964 6971 364 364 0 7600 0
[pid=9420] vsize: 31856
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (Kb) 31856

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10051 0 0 0 26969 29 0 0 25 0 1 0 21904423 32890880 7077 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8030 7077 364 364 0 7666 0
[pid=9420] vsize: 32120
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 32120

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10156 0 0 0 27968 29 0 0 25 0 1 0 21904423 33161216 7181 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8096 7181 364 364 0 7732 0
[pid=9420] vsize: 32384
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (Kb) 32384

[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10260 0 0 0 28968 30 0 0 25 0 1 0 21904423 33431552 7283 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8162 7283 364 364 0 7798 0
[pid=9420] vsize: 32648
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 32648

[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10361 0 0 0 29967 30 0 0 25 0 1 0 21904423 33701888 7382 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8228 7382 364 364 0 7864 0
[pid=9420] vsize: 32912
Current children cumulated CPU time (s) 299.97
Current children cumulated vsize (Kb) 32912

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10461 0 0 0 30967 30 0 0 25 0 1 0 21904423 33972224 7481 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8294 7481 364 364 0 7930 0
[pid=9420] vsize: 33176
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 33176

[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10558 0 0 0 31967 30 0 0 25 0 1 0 21904423 34242560 7576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8360 7576 364 364 0 7996 0
[pid=9420] vsize: 33440
Current children cumulated CPU time (s) 319.97
Current children cumulated vsize (Kb) 33440

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10657 0 0 0 32966 31 0 0 25 0 1 0 21904423 34512896 7674 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8426 7674 364 364 0 8062 0
[pid=9420] vsize: 33704
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 33704

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10753 0 0 0 33966 31 0 0 25 0 1 0 21904423 34783232 7768 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8492 7768 364 364 0 8128 0
[pid=9420] vsize: 33968
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 33968

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10847 0 0 0 34966 31 0 0 25 0 1 0 21904423 35053568 7860 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8558 7860 364 364 0 8194 0
[pid=9420] vsize: 34232
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 34232

[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 10941 0 0 0 35966 32 0 0 25 0 1 0 21904423 35188736 7953 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8591 7953 364 364 0 8227 0
[pid=9420] vsize: 34364
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34364

[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11033 0 0 0 36965 32 0 0 25 0 1 0 21904423 35459072 8043 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8657 8043 364 364 0 8293 0
[pid=9420] vsize: 34628
Current children cumulated CPU time (s) 369.97
Current children cumulated vsize (Kb) 34628

[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11124 0 0 0 37965 32 0 0 25 0 1 0 21904423 35729408 8133 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8723 8133 364 364 0 8359 0
[pid=9420] vsize: 34892
Current children cumulated CPU time (s) 379.97
Current children cumulated vsize (Kb) 34892

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11212 0 0 0 38964 33 0 0 25 0 1 0 21904423 35999744 8220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 8789 8220 364 364 0 8425 0
[pid=9420] vsize: 35156
Current children cumulated CPU time (s) 389.97
Current children cumulated vsize (Kb) 35156

[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11302 0 0 0 39964 34 0 0 25 0 1 0 21904423 36134912 8308 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 8822 8308 364 364 0 8458 0
[pid=9420] vsize: 35288
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 35288

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11391 0 0 0 40964 34 0 0 25 0 1 0 21904423 36405248 8396 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 8888 8396 364 364 0 8524 0
[pid=9420] vsize: 35552
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 35552

[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11478 0 0 0 41963 34 0 0 25 0 1 0 21904423 36675584 8481 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 8954 8481 364 364 0 8590 0
[pid=9420] vsize: 35816
Current children cumulated CPU time (s) 419.97
Current children cumulated vsize (Kb) 35816

[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11564 0 0 0 42963 34 0 0 25 0 1 0 21904423 36810752 8566 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 8987 8566 364 364 0 8623 0
[pid=9420] vsize: 35948
Current children cumulated CPU time (s) 429.97
Current children cumulated vsize (Kb) 35948

[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11651 0 0 0 43963 35 0 0 25 0 1 0 21904423 37081088 8651 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 9053 8651 364 364 0 8689 0
[pid=9420] vsize: 36212
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 36212

[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11734 0 0 0 44963 35 0 0 25 0 1 0 21904423 37351424 8733 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 9119 8733 364 364 0 8755 0
[pid=9420] vsize: 36476
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 36476

[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11816 0 0 0 45962 36 0 0 25 0 1 0 21904423 37486592 8814 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 9152 8814 364 364 0 8788 0
[pid=9420] vsize: 36608
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 36608

[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11899 0 0 0 46962 36 0 0 25 0 1 0 21904423 37756928 8895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 9218 8895 364 364 0 8854 0
[pid=9420] vsize: 36872
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 36872

[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 11978 0 0 0 47961 36 0 0 25 0 1 0 21904423 37892096 8973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 9251 8973 364 364 0 8887 0
[pid=9420] vsize: 37004
Current children cumulated CPU time (s) 479.97
Current children cumulated vsize (Kb) 37004

[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16502 0 0 0 48951 46 0 0 25 0 1 0 21904423 55779328 10549 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13618 10549 364 364 0 13254 0
[pid=9420] vsize: 54472
Current children cumulated CPU time (s) 489.97
Current children cumulated vsize (Kb) 54472

[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16531 0 0 0 49951 46 0 0 25 0 1 0 21904423 55779328 10577 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13618 10577 364 364 0 13254 0
[pid=9420] vsize: 54472
Current children cumulated CPU time (s) 499.97
Current children cumulated vsize (Kb) 54472

[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16561 0 0 0 50951 46 0 0 25 0 1 0 21904423 55779328 10605 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13618 10605 364 364 0 13254 0
[pid=9420] vsize: 54472
Current children cumulated CPU time (s) 509.97
Current children cumulated vsize (Kb) 54472

[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16589 0 0 0 51951 46 0 0 25 0 1 0 21904423 55779328 10632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13618 10632 364 364 0 13254 0
[pid=9420] vsize: 54472
Current children cumulated CPU time (s) 519.97
Current children cumulated vsize (Kb) 54472

[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16618 0 0 0 52951 47 0 0 25 0 1 0 21904423 55779328 10660 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13618 10660 364 364 0 13254 0
[pid=9420] vsize: 54472
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 54472

[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16646 0 0 0 53951 47 0 0 25 0 1 0 21904423 55779328 10687 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13618 10687 364 364 0 13254 0
[pid=9420] vsize: 54472
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 54472

[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16686 0 0 0 54951 47 0 0 25 0 1 0 21904423 55779328 10725 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13618 10725 364 364 0 13254 0
[pid=9420] vsize: 54472
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 54472

[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16752 0 0 0 55950 48 0 0 25 0 1 0 21904423 56049664 10790 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13684 10790 364 364 0 13320 0
[pid=9420] vsize: 54736
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 54736

[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16817 0 0 0 56950 48 0 0 25 0 1 0 21904423 56184832 10854 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13717 10854 364 364 0 13353 0
[pid=9420] vsize: 54868
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 54868

[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16880 0 0 0 57950 48 0 0 25 0 1 0 21904423 56320000 10916 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13750 10916 364 364 0 13386 0
[pid=9420] vsize: 55000
Current children cumulated CPU time (s) 579.98
Current children cumulated vsize (Kb) 55000

[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 16944 0 0 0 58949 49 0 0 25 0 1 0 21904423 56455168 10979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13783 10979 364 364 0 13419 0
[pid=9420] vsize: 55132
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 55132

[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17008 0 0 0 59949 49 0 0 25 0 1 0 21904423 56590336 11041 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13816 11041 364 364 0 13452 0
[pid=9420] vsize: 55264
Current children cumulated CPU time (s) 599.98
Current children cumulated vsize (Kb) 55264

[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17071 0 0 0 60949 49 0 0 25 0 1 0 21904423 56725504 11103 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13849 11103 364 364 0 13485 0
[pid=9420] vsize: 55396
Current children cumulated CPU time (s) 609.98
Current children cumulated vsize (Kb) 55396

[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17132 0 0 0 61949 49 0 0 25 0 1 0 21904423 56860672 11163 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13882 11163 364 364 0 13518 0
[pid=9420] vsize: 55528
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 55528

[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17197 0 0 0 62949 49 0 0 25 0 1 0 21904423 56995840 11227 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13915 11227 364 364 0 13551 0
[pid=9420] vsize: 55660
Current children cumulated CPU time (s) 629.98
Current children cumulated vsize (Kb) 55660

[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17256 0 0 0 63948 50 0 0 25 0 1 0 21904423 57131008 11285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13948 11285 364 364 0 13584 0
[pid=9420] vsize: 55792
Current children cumulated CPU time (s) 639.98
Current children cumulated vsize (Kb) 55792

[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17317 0 0 0 64949 50 0 0 25 0 1 0 21904423 57266176 11345 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 13981 11345 364 364 0 13617 0
[pid=9420] vsize: 55924
Current children cumulated CPU time (s) 649.99
Current children cumulated vsize (Kb) 55924

[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17377 0 0 0 65948 50 0 0 25 0 1 0 21904423 57401344 11404 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14014 11404 364 364 0 13650 0
[pid=9420] vsize: 56056
Current children cumulated CPU time (s) 659.98
Current children cumulated vsize (Kb) 56056

[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17438 0 0 0 66948 50 0 0 25 0 1 0 21904423 57536512 11463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14047 11463 364 364 0 13683 0
[pid=9420] vsize: 56188
Current children cumulated CPU time (s) 669.98
Current children cumulated vsize (Kb) 56188

[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17497 0 0 0 67948 50 0 0 25 0 1 0 21904423 57806848 11521 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14113 11521 364 364 0 13749 0
[pid=9420] vsize: 56452
Current children cumulated CPU time (s) 679.98
Current children cumulated vsize (Kb) 56452

[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17557 0 0 0 68948 50 0 0 25 0 1 0 21904423 57942016 11580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14146 11580 364 364 0 13782 0
[pid=9420] vsize: 56584
Current children cumulated CPU time (s) 689.98
Current children cumulated vsize (Kb) 56584

[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17614 0 0 0 69948 51 0 0 25 0 1 0 21904423 58077184 11636 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14179 11636 364 364 0 13815 0
[pid=9420] vsize: 56716
Current children cumulated CPU time (s) 699.99
Current children cumulated vsize (Kb) 56716

[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17673 0 0 0 70948 51 0 0 25 0 1 0 21904423 58212352 11694 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14212 11694 364 364 0 13848 0
[pid=9420] vsize: 56848
Current children cumulated CPU time (s) 709.99
Current children cumulated vsize (Kb) 56848

[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17733 0 0 0 71947 51 0 0 25 0 1 0 21904423 58347520 11753 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14245 11753 364 364 0 13881 0
[pid=9420] vsize: 56980
Current children cumulated CPU time (s) 719.98
Current children cumulated vsize (Kb) 56980

[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17789 0 0 0 72947 51 0 0 25 0 1 0 21904423 58482688 11808 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14278 11808 364 364 0 13914 0
[pid=9420] vsize: 57112
Current children cumulated CPU time (s) 729.98
Current children cumulated vsize (Kb) 57112

[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17846 0 0 0 73947 52 0 0 25 0 1 0 21904423 58617856 11864 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14311 11864 364 364 0 13947 0
[pid=9420] vsize: 57244
Current children cumulated CPU time (s) 739.99
Current children cumulated vsize (Kb) 57244

[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17903 0 0 0 74947 52 0 0 25 0 1 0 21904423 58753024 11920 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14344 11920 364 364 0 13980 0
[pid=9420] vsize: 57376
Current children cumulated CPU time (s) 749.99
Current children cumulated vsize (Kb) 57376

[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 17962 0 0 0 75946 52 0 0 25 0 1 0 21904423 58888192 11978 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14377 11978 364 364 0 14013 0
[pid=9420] vsize: 57508
Current children cumulated CPU time (s) 759.98
Current children cumulated vsize (Kb) 57508

[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18025 0 0 0 76946 52 0 0 25 0 1 0 21904423 59023360 12040 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14410 12040 364 364 0 14046 0
[pid=9420] vsize: 57640
Current children cumulated CPU time (s) 769.98
Current children cumulated vsize (Kb) 57640

[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18089 0 0 0 77946 52 0 0 25 0 1 0 21904423 59158528 12103 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14443 12103 364 364 0 14079 0
[pid=9420] vsize: 57772
Current children cumulated CPU time (s) 779.98
Current children cumulated vsize (Kb) 57772

[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18154 0 0 0 78946 52 0 0 25 0 1 0 21904423 59293696 12167 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14476 12167 364 364 0 14112 0
[pid=9420] vsize: 57904
Current children cumulated CPU time (s) 789.98
Current children cumulated vsize (Kb) 57904

[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18216 0 0 0 79946 53 0 0 25 0 1 0 21904423 59428864 12228 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14509 12228 364 364 0 14145 0
[pid=9420] vsize: 58036
Current children cumulated CPU time (s) 799.99
Current children cumulated vsize (Kb) 58036

[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18278 0 0 0 80946 53 0 0 25 0 1 0 21904423 59699200 12289 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14575 12289 364 364 0 14211 0
[pid=9420] vsize: 58300
Current children cumulated CPU time (s) 809.99
Current children cumulated vsize (Kb) 58300

[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18340 0 0 0 81946 53 0 0 25 0 1 0 21904423 59834368 12350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14608 12350 364 364 0 14244 0
[pid=9420] vsize: 58432
Current children cumulated CPU time (s) 819.99
Current children cumulated vsize (Kb) 58432

[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18403 0 0 0 82946 53 0 0 25 0 1 0 21904423 59969536 12412 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14641 12412 364 364 0 14277 0
[pid=9420] vsize: 58564
Current children cumulated CPU time (s) 829.99
Current children cumulated vsize (Kb) 58564

[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18465 0 0 0 83946 53 0 0 25 0 1 0 21904423 60104704 12473 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14674 12473 364 364 0 14310 0
[pid=9420] vsize: 58696
Current children cumulated CPU time (s) 839.99
Current children cumulated vsize (Kb) 58696

[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18526 0 0 0 84946 54 0 0 25 0 1 0 21904423 60239872 12533 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14707 12533 364 364 0 14343 0
[pid=9420] vsize: 58828
Current children cumulated CPU time (s) 850
Current children cumulated vsize (Kb) 58828

[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18587 0 0 0 85946 54 0 0 25 0 1 0 21904423 60510208 12593 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14773 12593 364 364 0 14409 0
[pid=9420] vsize: 59092
Current children cumulated CPU time (s) 860
Current children cumulated vsize (Kb) 59092

[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18649 0 0 0 86946 54 0 0 25 0 1 0 21904423 60645376 12654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14806 12654 364 364 0 14442 0
[pid=9420] vsize: 59224
Current children cumulated CPU time (s) 870
Current children cumulated vsize (Kb) 59224

[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18709 0 0 0 87946 54 0 0 25 0 1 0 21904423 60780544 12713 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14839 12713 364 364 0 14475 0
[pid=9420] vsize: 59356
Current children cumulated CPU time (s) 880
Current children cumulated vsize (Kb) 59356

[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18769 0 0 0 88946 54 0 0 25 0 1 0 21904423 60915712 12772 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14872 12772 364 364 0 14508 0
[pid=9420] vsize: 59488
Current children cumulated CPU time (s) 890
Current children cumulated vsize (Kb) 59488

[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18829 0 0 0 89946 54 0 0 25 0 1 0 21904423 61050880 12831 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14905 12831 364 364 0 14541 0
[pid=9420] vsize: 59620
Current children cumulated CPU time (s) 900
Current children cumulated vsize (Kb) 59620

[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18886 0 0 0 90945 54 0 0 25 0 1 0 21904423 61186048 12887 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14938 12887 364 364 0 14574 0
[pid=9420] vsize: 59752
Current children cumulated CPU time (s) 909.99
Current children cumulated vsize (Kb) 59752

[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 18946 0 0 0 91945 55 0 0 25 0 1 0 21904423 61321216 12946 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 14971 12946 364 364 0 14607 0
[pid=9420] vsize: 59884
Current children cumulated CPU time (s) 920
Current children cumulated vsize (Kb) 59884

[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19005 0 0 0 92945 55 0 0 25 0 1 0 21904423 61456384 13004 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15004 13004 364 364 0 14640 0
[pid=9420] vsize: 60016
Current children cumulated CPU time (s) 930
Current children cumulated vsize (Kb) 60016

[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19065 0 0 0 93945 55 0 0 25 0 1 0 21904423 61726720 13063 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15070 13063 364 364 0 14706 0
[pid=9420] vsize: 60280
Current children cumulated CPU time (s) 940
Current children cumulated vsize (Kb) 60280

[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19122 0 0 0 94945 55 0 0 25 0 1 0 21904423 61861888 13119 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15103 13119 364 364 0 14739 0
[pid=9420] vsize: 60412
Current children cumulated CPU time (s) 950
Current children cumulated vsize (Kb) 60412

[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19179 0 0 0 95944 56 0 0 25 0 1 0 21904423 61997056 13175 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15136 13175 364 364 0 14772 0
[pid=9420] vsize: 60544
Current children cumulated CPU time (s) 960
Current children cumulated vsize (Kb) 60544

[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19236 0 0 0 96944 56 0 0 25 0 1 0 21904423 62132224 13231 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15169 13231 364 364 0 14805 0
[pid=9420] vsize: 60676
Current children cumulated CPU time (s) 970
Current children cumulated vsize (Kb) 60676

[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19294 0 0 0 97944 56 0 0 25 0 1 0 21904423 62267392 13288 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15202 13288 364 364 0 14838 0
[pid=9420] vsize: 60808
Current children cumulated CPU time (s) 980
Current children cumulated vsize (Kb) 60808

[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19350 0 0 0 98944 56 0 0 25 0 1 0 21904423 62402560 13343 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15235 13343 364 364 0 14871 0
[pid=9420] vsize: 60940
Current children cumulated CPU time (s) 990
Current children cumulated vsize (Kb) 60940

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19407 0 0 0 99944 56 0 0 25 0 1 0 21904423 62537728 13399 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15268 13399 364 364 0 14904 0
[pid=9420] vsize: 61072
Current children cumulated CPU time (s) 1000
Current children cumulated vsize (Kb) 61072

[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19464 0 0 0 100944 57 0 0 25 0 1 0 21904423 62672896 13455 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15301 13455 364 364 0 14937 0
[pid=9420] vsize: 61204
Current children cumulated CPU time (s) 1010.01
Current children cumulated vsize (Kb) 61204

[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19519 0 0 0 101944 57 0 0 25 0 1 0 21904423 62808064 13510 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15334 13510 364 364 0 14970 0
[pid=9420] vsize: 61336
Current children cumulated CPU time (s) 1020.01
Current children cumulated vsize (Kb) 61336

[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19576 0 0 0 102944 57 0 0 25 0 1 0 21904423 62943232 13566 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15367 13566 364 364 0 15003 0
[pid=9420] vsize: 61468
Current children cumulated CPU time (s) 1030.01
Current children cumulated vsize (Kb) 61468

[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19632 0 0 0 103944 57 0 0 25 0 1 0 21904423 63078400 13621 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15400 13621 364 364 0 15036 0
[pid=9420] vsize: 61600
Current children cumulated CPU time (s) 1040.01
Current children cumulated vsize (Kb) 61600

[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19687 0 0 0 104944 57 0 0 25 0 1 0 21904423 63213568 13675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15433 13675 364 364 0 15069 0
[pid=9420] vsize: 61732
Current children cumulated CPU time (s) 1050.01
Current children cumulated vsize (Kb) 61732

[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19743 0 0 0 105943 58 0 0 25 0 1 0 21904423 63483904 13730 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15499 13730 364 364 0 15135 0
[pid=9420] vsize: 61996
Current children cumulated CPU time (s) 1060.01
Current children cumulated vsize (Kb) 61996

[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19796 0 0 0 106943 58 0 0 25 0 1 0 21904423 63619072 13782 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15532 13782 364 364 0 15168 0
[pid=9420] vsize: 62128
Current children cumulated CPU time (s) 1070.01
Current children cumulated vsize (Kb) 62128

[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19851 0 0 0 107943 58 0 0 25 0 1 0 21904423 63754240 13836 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15565 13836 364 364 0 15201 0
[pid=9420] vsize: 62260
Current children cumulated CPU time (s) 1080.01
Current children cumulated vsize (Kb) 62260

[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19905 0 0 0 108943 59 0 0 25 0 1 0 21904423 63889408 13889 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15598 13889 364 364 0 15234 0
[pid=9420] vsize: 62392
Current children cumulated CPU time (s) 1090.02
Current children cumulated vsize (Kb) 62392

[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 19960 0 0 0 109943 59 0 0 25 0 1 0 21904423 64024576 13943 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15631 13943 364 364 0 15267 0
[pid=9420] vsize: 62524
Current children cumulated CPU time (s) 1100.02
Current children cumulated vsize (Kb) 62524

[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20012 0 0 0 110943 59 0 0 25 0 1 0 21904423 64159744 13995 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15664 13995 364 364 0 15300 0
[pid=9420] vsize: 62656
Current children cumulated CPU time (s) 1110.02
Current children cumulated vsize (Kb) 62656

[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20067 0 0 0 111943 59 0 0 25 0 1 0 21904423 64294912 14049 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15697 14049 364 364 0 15333 0
[pid=9420] vsize: 62788
Current children cumulated CPU time (s) 1120.02
Current children cumulated vsize (Kb) 62788

[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20120 0 0 0 112942 59 0 0 25 0 1 0 21904423 64430080 14101 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15730 14101 364 364 0 15366 0
[pid=9420] vsize: 62920
Current children cumulated CPU time (s) 1130.01
Current children cumulated vsize (Kb) 62920

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20171 0 0 0 113942 59 0 0 25 0 1 0 21904423 64565248 14151 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15763 14151 364 364 0 15399 0
[pid=9420] vsize: 63052
Current children cumulated CPU time (s) 1140.01
Current children cumulated vsize (Kb) 63052

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20226 0 0 0 114942 59 0 0 25 0 1 0 21904423 64700416 14205 4294967295 134512640 135987407 3221224560 3221221580 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 15796 14205 364 364 0 15432 0
[pid=9420] vsize: 63184
Current children cumulated CPU time (s) 1150.01
Current children cumulated vsize (Kb) 63184

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20278 0 0 0 115942 60 0 0 25 0 1 0 21904423 64835584 14256 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 15829 14256 364 364 0 15465 0
[pid=9420] vsize: 63316
Current children cumulated CPU time (s) 1160.02
Current children cumulated vsize (Kb) 63316

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20334 0 0 0 116942 60 0 0 25 0 1 0 21904423 64970752 14311 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 15862 14311 364 364 0 15498 0
[pid=9420] vsize: 63448
Current children cumulated CPU time (s) 1170.02
Current children cumulated vsize (Kb) 63448

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20384 0 0 0 117942 60 0 0 25 0 1 0 21904423 65105920 14361 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9420/statm): 15895 14361 364 364 0 15531 0
[pid=9420] vsize: 63580
Current children cumulated CPU time (s) 1180.02
Current children cumulated vsize (Kb) 63580

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20437 0 0 0 118942 60 0 0 25 0 1 0 21904423 65241088 14413 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15928 14413 364 364 0 15564 0
[pid=9420] vsize: 63712
Current children cumulated CPU time (s) 1190.02
Current children cumulated vsize (Kb) 63712

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20490 0 0 0 119942 60 0 0 25 0 1 0 21904423 65376256 14465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15961 14465 364 364 0 15597 0
[pid=9420] vsize: 63844
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (Kb) 63844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9420
Raw data (/proc/9420/stat): 9420 (pb2sat) R 9419 9420 4004 0 -1 0 20490 0 0 0 119942 60 0 0 25 0 1 0 21904423 65376256 14465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9420/statm): 15961 14465 364 364 0 15597 0
[pid=9420] vsize: 63844
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (Kb) 63844

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

Child status: 0
Real time (s): 1200.59
CPU time (s): 1200.59
CPU user time (s): 1199.96
CPU system time (s): 0.637903
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (Kb): 63844

Verifier Data

ERROR: no interpretation found !