Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb
MD5SUMf7d293075cf169ad75cd0116c61aa297
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 498856
Biggest coefficient in the objective function 2100440996511744
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 3448249888024611600
Number of bits of the sum of numbers in the objective function 62
Biggest number in a constraint 52428800000000000
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 4176904799999651840
Number of bits of the biggest sum of numbers62
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables977976
Total number of constraints24336
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 constraints24336
Minimum length of a constraint10
Maximum length of a constraint4560

Trace number 10596

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 18:54:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9298 boxname=wulflinc32 idbench=1094 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f7d293075cf169ad75cd0116c61aa297  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-fome12.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-fome12.opb
IDLAUNCH: 9298
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
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:      1034724 kB
MemFree:        840396 kB
Buffers:         15848 kB
Cached:         158164 kB
SwapCached:          0 kB
Active:         109976 kB
Inactive:        66928 kB
HighTotal:      131072 kB
HighFree:         3840 kB
LowTotal:       903652 kB
LowFree:        836556 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:            11716 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:14:58 (client local time) WITH STATUS 0 IN 1200.61 SECONDS
stats: 9298 7 1200.61 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/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 22467236 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 373 2 364 364 0 9 0
[pid=10100] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-fome12.opb

[startup+10.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 2150 0 0 0 992 5 0 0 25 0 1 0 22467236 8556544 1470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 2089 1470 364 364 0 1725 0
[pid=10100] vsize: 8356
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 8356

[startup+20.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 2858 0 0 0 1990 7 0 0 25 0 1 0 22467236 10313728 2166 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 2518 2166 364 364 0 2154 0
[pid=10100] vsize: 10072
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 10072

[startup+30.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 4300 0 0 0 2988 9 0 0 25 0 1 0 22467236 15495168 2863 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 3783 2863 364 364 0 3419 0
[pid=10100] vsize: 15132
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15132

[startup+40.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 4578 0 0 0 3987 10 0 0 25 0 1 0 22467236 16171008 3136 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 3948 3136 364 364 0 3584 0
[pid=10100] vsize: 15792
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 15792

[startup+50.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 4851 0 0 0 4986 11 0 0 25 0 1 0 22467236 16846848 3404 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 4113 3404 364 364 0 3749 0
[pid=10100] vsize: 16452
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16452

[startup+60.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5098 0 0 0 5986 11 0 0 25 0 1 0 22467236 17387520 3647 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 4245 3647 364 364 0 3881 0
[pid=10100] vsize: 16980
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 16980

[startup+70.0064 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5315 0 0 0 6985 12 0 0 25 0 1 0 22467236 18063360 3861 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 4410 3861 364 364 0 4046 0
[pid=10100] vsize: 17640
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17640

[startup+80.0072 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5520 0 0 0 7984 13 0 0 25 0 1 0 22467236 18468864 4062 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 4509 4062 364 364 0 4145 0
[pid=10100] vsize: 18036
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18036

[startup+90.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5706 0 0 0 8983 14 0 0 25 0 1 0 22467236 19009536 4245 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 4641 4245 364 364 0 4277 0
[pid=10100] vsize: 18564
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18564

[startup+100.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5885 0 0 0 9982 15 0 0 25 0 1 0 22467236 19415040 4421 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 4740 4421 364 364 0 4376 0
[pid=10100] vsize: 18960
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 18960

[startup+110.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8282 0 0 0 10977 20 0 0 25 0 1 0 22467236 28696576 5341 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7006 5341 364 364 0 6642 0
[pid=10100] vsize: 28024
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28024

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8344 0 0 0 11976 21 0 0 25 0 1 0 22467236 28696576 5400 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7006 5400 364 364 0 6642 0
[pid=10100] vsize: 28024
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28024

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8442 0 0 0 12976 21 0 0 25 0 1 0 22467236 28966912 5496 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7072 5496 364 364 0 6708 0
[pid=10100] vsize: 28288
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28288

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8573 0 0 0 13975 22 0 0 25 0 1 0 22467236 29237248 5624 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7138 5624 364 364 0 6774 0
[pid=10100] vsize: 28552
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28552

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8700 0 0 0 14975 22 0 0 25 0 1 0 22467236 29507584 5749 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7204 5749 364 364 0 6840 0
[pid=10100] vsize: 28816
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 28816

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8822 0 0 0 15974 23 0 0 25 0 1 0 22467236 29777920 5868 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7270 5868 364 364 0 6906 0
[pid=10100] vsize: 29080
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 29080

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8940 0 0 0 16974 23 0 0 25 0 1 0 22467236 30048256 5984 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7336 5984 364 364 0 6972 0
[pid=10100] vsize: 29344
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 29344

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9061 0 0 0 17974 24 0 0 25 0 1 0 22467236 30453760 6103 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7435 6103 364 364 0 7071 0
[pid=10100] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9188 0 0 0 18973 25 0 0 25 0 1 0 22467236 30724096 6228 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7501 6228 364 364 0 7137 0
[pid=10100] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9316 0 0 0 19972 25 0 0 25 0 1 0 22467236 30994432 6354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7567 6354 364 364 0 7203 0
[pid=10100] vsize: 30268
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 30268

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9439 0 0 0 20972 26 0 0 25 0 1 0 22467236 31399936 6475 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7666 6475 364 364 0 7302 0
[pid=10100] vsize: 30664
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30664

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9558 0 0 0 21972 26 0 0 25 0 1 0 22467236 31670272 6592 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7732 6592 364 364 0 7368 0
[pid=10100] vsize: 30928
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 30928

[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9677 0 0 0 22971 27 0 0 25 0 1 0 22467236 31940608 6709 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7798 6709 364 364 0 7434 0
[pid=10100] vsize: 31192
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 31192

[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9790 0 0 0 23971 27 0 0 25 0 1 0 22467236 32210944 6820 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7864 6820 364 364 0 7500 0
[pid=10100] vsize: 31456
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 31456

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9905 0 0 0 24971 27 0 0 25 0 1 0 22467236 32616448 6933 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 7963 6933 364 364 0 7599 0
[pid=10100] vsize: 31852
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 31852

[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10015 0 0 0 25970 28 0 0 25 0 1 0 22467236 32886784 7042 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8029 7042 364 364 0 7665 0
[pid=10100] vsize: 32116
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 32116

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10124 0 0 0 26970 28 0 0 25 0 1 0 22467236 33157120 7149 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8095 7149 364 364 0 7731 0
[pid=10100] vsize: 32380
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 32380

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10231 0 0 0 27970 29 0 0 25 0 1 0 22467236 33427456 7254 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8161 7254 364 364 0 7797 0
[pid=10100] vsize: 32644
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32644

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10336 0 0 0 28970 29 0 0 25 0 1 0 22467236 33697792 7357 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8227 7357 364 364 0 7863 0
[pid=10100] vsize: 32908
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 32908

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10100
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10440 0 0 0 29970 29 0 0 25 0 1 0 22467236 33968128 7460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8293 7460 364 364 0 7929 0
[pid=10100] vsize: 33172
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33172

[startup+310.019 s]
Raw data (loadavg): 1.15 1.00 0.92 2/59 10155
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10541 0 0 0 30965 32 0 0 25 0 1 0 22467236 34238464 7559 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 8359 7559 364 364 0 7995 0
[pid=10100] vsize: 33436
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 33436

[startup+320.021 s]
Raw data (loadavg): 1.13 1.00 0.92 2/55 10155
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10640 0 0 0 31964 33 0 0 25 0 1 0 22467236 34508800 7657 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8425 7657 364 364 0 8061 0
[pid=10100] vsize: 33700
Current children cumulated CPU time (s) 319.97
Current children cumulated vsize (Kb) 33700

[startup+330.021 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 10155
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10740 0 0 0 32964 33 0 0 25 0 1 0 22467236 34643968 7755 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8458 7755 364 364 0 8094 0
[pid=10100] vsize: 33832
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 33832

[startup+340.021 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 10155
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10838 0 0 0 33964 33 0 0 25 0 1 0 22467236 34914304 7851 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8524 7851 364 364 0 8160 0
[pid=10100] vsize: 34096
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 34096

[startup+350.022 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 10155
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10933 0 0 0 34964 33 0 0 25 0 1 0 22467236 35184640 7945 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8590 7945 364 364 0 8226 0
[pid=10100] vsize: 34360
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 34360

[startup+360.023 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10155
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11027 0 0 0 35964 34 0 0 25 0 1 0 22467236 35454976 8037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8656 8037 364 364 0 8292 0
[pid=10100] vsize: 34624
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34624

[startup+370.023 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 10157
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11120 0 0 0 36963 34 0 0 25 0 1 0 22467236 35725312 8129 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 8722 8129 364 364 0 8358 0
[pid=10100] vsize: 34888
Current children cumulated CPU time (s) 369.97
Current children cumulated vsize (Kb) 34888

[startup+380.023 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11212 0 0 0 37963 34 0 0 25 0 1 0 22467236 35860480 8219 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8755 8219 364 364 0 8391 0
[pid=10100] vsize: 35020
Current children cumulated CPU time (s) 379.97
Current children cumulated vsize (Kb) 35020

[startup+390.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11304 0 0 0 38963 34 0 0 25 0 1 0 22467236 36130816 8310 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8821 8310 364 364 0 8457 0
[pid=10100] vsize: 35284
Current children cumulated CPU time (s) 389.97
Current children cumulated vsize (Kb) 35284

[startup+400.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11394 0 0 0 39963 35 0 0 25 0 1 0 22467236 36401152 8398 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8887 8398 364 364 0 8523 0
[pid=10100] vsize: 35548
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 35548

[startup+410.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11483 0 0 0 40963 35 0 0 25 0 1 0 22467236 36671488 8486 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8953 8486 364 364 0 8589 0
[pid=10100] vsize: 35812
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 35812

[startup+420.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11572 0 0 0 41963 35 0 0 25 0 1 0 22467236 36806656 8573 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 8986 8573 364 364 0 8622 0
[pid=10100] vsize: 35944
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 35944

[startup+430.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11658 0 0 0 42962 35 0 0 25 0 1 0 22467236 37076992 8658 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 9052 8658 364 364 0 8688 0
[pid=10100] vsize: 36208
Current children cumulated CPU time (s) 429.97
Current children cumulated vsize (Kb) 36208

[startup+440.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11743 0 0 0 43962 36 0 0 25 0 1 0 22467236 37347328 8742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 9118 8742 364 364 0 8754 0
[pid=10100] vsize: 36472
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 36472

[startup+450.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11829 0 0 0 44961 36 0 0 25 0 1 0 22467236 37482496 8826 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 9151 8826 364 364 0 8787 0
[pid=10100] vsize: 36604
Current children cumulated CPU time (s) 449.97
Current children cumulated vsize (Kb) 36604

[startup+460.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11914 0 0 0 45961 36 0 0 25 0 1 0 22467236 37752832 8910 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 9217 8910 364 364 0 8853 0
[pid=10100] vsize: 36868
Current children cumulated CPU time (s) 459.97
Current children cumulated vsize (Kb) 36868

[startup+470.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16469 0 0 0 46953 45 0 0 25 0 1 0 22467236 55775232 10517 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13617 10517 364 364 0 13253 0
[pid=10100] vsize: 54468
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 54468

[startup+480.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16499 0 0 0 47953 45 0 0 25 0 1 0 22467236 55775232 10545 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13617 10545 364 364 0 13253 0
[pid=10100] vsize: 54468
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 54468

[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16531 0 0 0 48952 45 0 0 25 0 1 0 22467236 55775232 10576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13617 10576 364 364 0 13253 0
[pid=10100] vsize: 54468
Current children cumulated CPU time (s) 489.97
Current children cumulated vsize (Kb) 54468

[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16560 0 0 0 49952 45 0 0 25 0 1 0 22467236 55775232 10604 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13617 10604 364 364 0 13253 0
[pid=10100] vsize: 54468
Current children cumulated CPU time (s) 499.97
Current children cumulated vsize (Kb) 54468

[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16590 0 0 0 50952 45 0 0 25 0 1 0 22467236 55775232 10632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13617 10632 364 364 0 13253 0
[pid=10100] vsize: 54468
Current children cumulated CPU time (s) 509.97
Current children cumulated vsize (Kb) 54468

[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16619 0 0 0 51952 45 0 0 25 0 1 0 22467236 55775232 10660 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13617 10660 364 364 0 13253 0
[pid=10100] vsize: 54468
Current children cumulated CPU time (s) 519.97
Current children cumulated vsize (Kb) 54468

[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16649 0 0 0 52952 46 0 0 25 0 1 0 22467236 55775232 10689 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13617 10689 364 364 0 13253 0
[pid=10100] vsize: 54468
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 54468

[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16710 0 0 0 53952 46 0 0 25 0 1 0 22467236 55910400 10749 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13650 10749 364 364 0 13286 0
[pid=10100] vsize: 54600
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 54600

[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16777 0 0 0 54952 46 0 0 25 0 1 0 22467236 56045568 10814 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13683 10814 364 364 0 13319 0
[pid=10100] vsize: 54732
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 54732

[startup+560.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16845 0 0 0 55951 46 0 0 25 0 1 0 22467236 56180736 10881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13716 10881 364 364 0 13352 0
[pid=10100] vsize: 54864
Current children cumulated CPU time (s) 559.97
Current children cumulated vsize (Kb) 54864

[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16911 0 0 0 56951 47 0 0 25 0 1 0 22467236 56315904 10946 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13749 10946 364 364 0 13385 0
[pid=10100] vsize: 54996
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 54996

[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16977 0 0 0 57951 47 0 0 25 0 1 0 22467236 56451072 11011 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13782 11011 364 364 0 13418 0
[pid=10100] vsize: 55128
Current children cumulated CPU time (s) 579.98
Current children cumulated vsize (Kb) 55128

[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17042 0 0 0 58951 47 0 0 25 0 1 0 22467236 56586240 11074 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13815 11074 364 364 0 13451 0
[pid=10100] vsize: 55260
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 55260

[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17107 0 0 0 59950 48 0 0 25 0 1 0 22467236 56856576 11138 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13881 11138 364 364 0 13517 0
[pid=10100] vsize: 55524
Current children cumulated CPU time (s) 599.98
Current children cumulated vsize (Kb) 55524

[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17169 0 0 0 60950 48 0 0 25 0 1 0 22467236 56991744 11199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13914 11199 364 364 0 13550 0
[pid=10100] vsize: 55656
Current children cumulated CPU time (s) 609.98
Current children cumulated vsize (Kb) 55656

[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10161
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17234 0 0 0 61950 48 0 0 25 0 1 0 22467236 57126912 11263 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13947 11263 364 364 0 13583 0
[pid=10100] vsize: 55788
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 55788

[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17297 0 0 0 62950 49 0 0 25 0 1 0 22467236 57262080 11325 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 13980 11325 364 364 0 13616 0
[pid=10100] vsize: 55920
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (Kb) 55920

[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17358 0 0 0 63949 49 0 0 25 0 1 0 22467236 57397248 11385 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14013 11385 364 364 0 13649 0
[pid=10100] vsize: 56052
Current children cumulated CPU time (s) 639.98
Current children cumulated vsize (Kb) 56052

[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17421 0 0 0 64950 49 0 0 25 0 1 0 22467236 57532416 11446 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14046 11446 364 364 0 13682 0
[pid=10100] vsize: 56184
Current children cumulated CPU time (s) 649.99
Current children cumulated vsize (Kb) 56184

[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17483 0 0 0 65949 49 0 0 25 0 1 0 22467236 57667584 11507 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14079 11507 364 364 0 13715 0
[pid=10100] vsize: 56316
Current children cumulated CPU time (s) 659.98
Current children cumulated vsize (Kb) 56316

[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17543 0 0 0 66949 49 0 0 25 0 1 0 22467236 57802752 11566 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14112 11566 364 364 0 13748 0
[pid=10100] vsize: 56448
Current children cumulated CPU time (s) 669.98
Current children cumulated vsize (Kb) 56448

[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17604 0 0 0 67949 50 0 0 25 0 1 0 22467236 57937920 11626 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14145 11626 364 364 0 13781 0
[pid=10100] vsize: 56580
Current children cumulated CPU time (s) 679.99
Current children cumulated vsize (Kb) 56580

[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17663 0 0 0 68949 50 0 0 25 0 1 0 22467236 58073088 11684 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14178 11684 364 364 0 13814 0
[pid=10100] vsize: 56712
Current children cumulated CPU time (s) 689.99
Current children cumulated vsize (Kb) 56712

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17724 0 0 0 69949 50 0 0 25 0 1 0 22467236 58208256 11744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14211 11744 364 364 0 13847 0
[pid=10100] vsize: 56844
Current children cumulated CPU time (s) 699.99
Current children cumulated vsize (Kb) 56844

[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17783 0 0 0 70949 50 0 0 25 0 1 0 22467236 58343424 11802 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14244 11802 364 364 0 13880 0
[pid=10100] vsize: 56976
Current children cumulated CPU time (s) 709.99
Current children cumulated vsize (Kb) 56976

[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17841 0 0 0 71948 51 0 0 25 0 1 0 22467236 58478592 11859 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14277 11859 364 364 0 13913 0
[pid=10100] vsize: 57108
Current children cumulated CPU time (s) 719.99
Current children cumulated vsize (Kb) 57108

[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17901 0 0 0 72948 51 0 0 25 0 1 0 22467236 58613760 11917 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14310 11917 364 364 0 13946 0
[pid=10100] vsize: 57240
Current children cumulated CPU time (s) 729.99
Current children cumulated vsize (Kb) 57240

[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17964 0 0 0 73948 51 0 0 25 0 1 0 22467236 58748928 11979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14343 11979 364 364 0 13979 0
[pid=10100] vsize: 57372
Current children cumulated CPU time (s) 739.99
Current children cumulated vsize (Kb) 57372

[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18029 0 0 0 74948 51 0 0 25 0 1 0 22467236 59019264 12043 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 14409 12043 364 364 0 14045 0
[pid=10100] vsize: 57636
Current children cumulated CPU time (s) 749.99
Current children cumulated vsize (Kb) 57636

[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18096 0 0 0 75948 52 0 0 25 0 1 0 22467236 59154432 12109 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 14442 12109 364 364 0 14078 0
[pid=10100] vsize: 57768
Current children cumulated CPU time (s) 760
Current children cumulated vsize (Kb) 57768

[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18159 0 0 0 76948 52 0 0 25 0 1 0 22467236 59289600 12171 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 14475 12171 364 364 0 14111 0
[pid=10100] vsize: 57900
Current children cumulated CPU time (s) 770
Current children cumulated vsize (Kb) 57900

[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18223 0 0 0 77948 52 0 0 25 0 1 0 22467236 59424768 12234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 14508 12234 364 364 0 14144 0
[pid=10100] vsize: 58032
Current children cumulated CPU time (s) 780
Current children cumulated vsize (Kb) 58032

[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18287 0 0 0 78948 52 0 0 25 0 1 0 22467236 59695104 12297 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 14574 12297 364 364 0 14210 0
[pid=10100] vsize: 58296
Current children cumulated CPU time (s) 790
Current children cumulated vsize (Kb) 58296

[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18351 0 0 0 79948 53 0 0 25 0 1 0 22467236 59830272 12360 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10100/statm): 14607 12360 364 364 0 14243 0
[pid=10100] vsize: 58428
Current children cumulated CPU time (s) 800.01
Current children cumulated vsize (Kb) 58428

[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18415 0 0 0 80947 53 0 0 25 0 1 0 22467236 59965440 12423 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14640 12423 364 364 0 14276 0
[pid=10100] vsize: 58560
Current children cumulated CPU time (s) 810
Current children cumulated vsize (Kb) 58560

[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18478 0 0 0 81947 53 0 0 25 0 1 0 22467236 60100608 12485 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14673 12485 364 364 0 14309 0
[pid=10100] vsize: 58692
Current children cumulated CPU time (s) 820
Current children cumulated vsize (Kb) 58692

[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18543 0 0 0 82947 53 0 0 25 0 1 0 22467236 60235776 12549 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14706 12549 364 364 0 14342 0
[pid=10100] vsize: 58824
Current children cumulated CPU time (s) 830
Current children cumulated vsize (Kb) 58824

[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18606 0 0 0 83947 54 0 0 25 0 1 0 22467236 60506112 12611 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14772 12611 364 364 0 14408 0
[pid=10100] vsize: 59088
Current children cumulated CPU time (s) 840.01
Current children cumulated vsize (Kb) 59088

[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18668 0 0 0 84947 54 0 0 25 0 1 0 22467236 60641280 12672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14805 12672 364 364 0 14441 0
[pid=10100] vsize: 59220
Current children cumulated CPU time (s) 850.01
Current children cumulated vsize (Kb) 59220

[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18730 0 0 0 85947 54 0 0 25 0 1 0 22467236 60776448 12733 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14838 12733 364 364 0 14474 0
[pid=10100] vsize: 59352
Current children cumulated CPU time (s) 860.01
Current children cumulated vsize (Kb) 59352

[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18792 0 0 0 86946 54 0 0 25 0 1 0 22467236 60911616 12794 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14871 12794 364 364 0 14507 0
[pid=10100] vsize: 59484
Current children cumulated CPU time (s) 870
Current children cumulated vsize (Kb) 59484

[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18853 0 0 0 87946 55 0 0 25 0 1 0 22467236 61046784 12854 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14904 12854 364 364 0 14540 0
[pid=10100] vsize: 59616
Current children cumulated CPU time (s) 880.01
Current children cumulated vsize (Kb) 59616

[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18915 0 0 0 88946 55 0 0 25 0 1 0 22467236 61317120 12915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 14970 12915 364 364 0 14606 0
[pid=10100] vsize: 59880
Current children cumulated CPU time (s) 890.01
Current children cumulated vsize (Kb) 59880

[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18973 0 0 0 89946 55 0 0 25 0 1 0 22467236 61452288 12972 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15003 12972 364 364 0 14639 0
[pid=10100] vsize: 60012
Current children cumulated CPU time (s) 900.01
Current children cumulated vsize (Kb) 60012

[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19032 0 0 0 90946 55 0 0 25 0 1 0 22467236 61587456 13030 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15036 13030 364 364 0 14672 0
[pid=10100] vsize: 60144
Current children cumulated CPU time (s) 910.01
Current children cumulated vsize (Kb) 60144

[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19094 0 0 0 91945 56 0 0 25 0 1 0 22467236 61722624 13091 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15069 13091 364 364 0 14705 0
[pid=10100] vsize: 60276
Current children cumulated CPU time (s) 920.01
Current children cumulated vsize (Kb) 60276

[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19153 0 0 0 92945 56 0 0 25 0 1 0 22467236 61857792 13149 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15102 13149 364 364 0 14738 0
[pid=10100] vsize: 60408
Current children cumulated CPU time (s) 930.01
Current children cumulated vsize (Kb) 60408

[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19212 0 0 0 93945 56 0 0 25 0 1 0 22467236 61992960 13207 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15135 13207 364 364 0 14771 0
[pid=10100] vsize: 60540
Current children cumulated CPU time (s) 940.01
Current children cumulated vsize (Kb) 60540

[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19273 0 0 0 94945 56 0 0 25 0 1 0 22467236 62128128 13267 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15168 13267 364 364 0 14804 0
[pid=10100] vsize: 60672
Current children cumulated CPU time (s) 950.01
Current children cumulated vsize (Kb) 60672

[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19331 0 0 0 95945 56 0 0 25 0 1 0 22467236 62263296 13324 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15201 13324 364 364 0 14837 0
[pid=10100] vsize: 60804
Current children cumulated CPU time (s) 960.01
Current children cumulated vsize (Kb) 60804

[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19390 0 0 0 96945 56 0 0 25 0 1 0 22467236 62533632 13382 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15267 13382 364 364 0 14903 0
[pid=10100] vsize: 61068
Current children cumulated CPU time (s) 970.01
Current children cumulated vsize (Kb) 61068

[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19447 0 0 0 97945 57 0 0 25 0 1 0 22467236 62668800 13438 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15300 13438 364 364 0 14936 0
[pid=10100] vsize: 61200
Current children cumulated CPU time (s) 980.02
Current children cumulated vsize (Kb) 61200

[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19506 0 0 0 98945 57 0 0 25 0 1 0 22467236 62803968 13496 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15333 13496 364 364 0 14969 0
[pid=10100] vsize: 61332
Current children cumulated CPU time (s) 990.02
Current children cumulated vsize (Kb) 61332

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19564 0 0 0 99945 57 0 0 25 0 1 0 22467236 62939136 13553 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15366 13553 364 364 0 15002 0
[pid=10100] vsize: 61464
Current children cumulated CPU time (s) 1000.02
Current children cumulated vsize (Kb) 61464

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19619 0 0 0 100945 57 0 0 25 0 1 0 22467236 63074304 13608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15399 13608 364 364 0 15035 0
[pid=10100] vsize: 61596
Current children cumulated CPU time (s) 1010.02
Current children cumulated vsize (Kb) 61596

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19677 0 0 0 101945 57 0 0 25 0 1 0 22467236 63209472 13665 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15432 13665 364 364 0 15068 0
[pid=10100] vsize: 61728
Current children cumulated CPU time (s) 1020.02
Current children cumulated vsize (Kb) 61728

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19734 0 0 0 102944 57 0 0 25 0 1 0 22467236 63344640 13721 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15465 13721 364 364 0 15101 0
[pid=10100] vsize: 61860
Current children cumulated CPU time (s) 1030.01
Current children cumulated vsize (Kb) 61860

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19791 0 0 0 103944 58 0 0 25 0 1 0 22467236 63479808 13777 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15498 13777 364 364 0 15134 0
[pid=10100] vsize: 61992
Current children cumulated CPU time (s) 1040.02
Current children cumulated vsize (Kb) 61992

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19847 0 0 0 104944 58 0 0 25 0 1 0 22467236 63614976 13832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15531 13832 364 364 0 15167 0
[pid=10100] vsize: 62124
Current children cumulated CPU time (s) 1050.02
Current children cumulated vsize (Kb) 62124

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19903 0 0 0 105943 58 0 0 25 0 1 0 22467236 63750144 13887 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15564 13887 364 364 0 15200 0
[pid=10100] vsize: 62256
Current children cumulated CPU time (s) 1060.01
Current children cumulated vsize (Kb) 62256

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19958 0 0 0 106943 58 0 0 25 0 1 0 22467236 63885312 13941 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15597 13941 364 364 0 15233 0
[pid=10100] vsize: 62388
Current children cumulated CPU time (s) 1070.01
Current children cumulated vsize (Kb) 62388

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20014 0 0 0 107943 59 0 0 25 0 1 0 22467236 64020480 13996 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15630 13996 364 364 0 15266 0
[pid=10100] vsize: 62520
Current children cumulated CPU time (s) 1080.02
Current children cumulated vsize (Kb) 62520

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20069 0 0 0 108943 59 0 0 25 0 1 0 22467236 64155648 14050 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15663 14050 364 364 0 15299 0
[pid=10100] vsize: 62652
Current children cumulated CPU time (s) 1090.02
Current children cumulated vsize (Kb) 62652

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20123 0 0 0 109943 59 0 0 25 0 1 0 22467236 64290816 14103 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15696 14103 364 364 0 15332 0
[pid=10100] vsize: 62784
Current children cumulated CPU time (s) 1100.02
Current children cumulated vsize (Kb) 62784

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20178 0 0 0 110942 60 0 0 25 0 1 0 22467236 64561152 14158 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15762 14158 364 364 0 15398 0
[pid=10100] vsize: 63048
Current children cumulated CPU time (s) 1110.02
Current children cumulated vsize (Kb) 63048

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20232 0 0 0 111942 60 0 0 25 0 1 0 22467236 64696320 14211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15795 14211 364 364 0 15431 0
[pid=10100] vsize: 63180
Current children cumulated CPU time (s) 1120.02
Current children cumulated vsize (Kb) 63180

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20287 0 0 0 112942 60 0 0 25 0 1 0 22467236 64831488 14265 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15828 14265 364 364 0 15464 0
[pid=10100] vsize: 63312
Current children cumulated CPU time (s) 1130.02
Current children cumulated vsize (Kb) 63312

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20341 0 0 0 113941 61 0 0 25 0 1 0 22467236 64966656 14318 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15861 14318 364 364 0 15497 0
[pid=10100] vsize: 63444
Current children cumulated CPU time (s) 1140.02
Current children cumulated vsize (Kb) 63444

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20395 0 0 0 114941 61 0 0 25 0 1 0 22467236 65101824 14371 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15894 14371 364 364 0 15530 0
[pid=10100] vsize: 63576
Current children cumulated CPU time (s) 1150.02
Current children cumulated vsize (Kb) 63576

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20447 0 0 0 115941 61 0 0 25 0 1 0 22467236 65236992 14422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15927 14422 364 364 0 15563 0
[pid=10100] vsize: 63708
Current children cumulated CPU time (s) 1160.02
Current children cumulated vsize (Kb) 63708

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20501 0 0 0 116941 61 0 0 25 0 1 0 22467236 65372160 14475 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15960 14475 364 364 0 15596 0
[pid=10100] vsize: 63840
Current children cumulated CPU time (s) 1170.02
Current children cumulated vsize (Kb) 63840

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20556 0 0 0 117941 61 0 0 25 0 1 0 22467236 65507328 14529 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 15993 14529 364 364 0 15629 0
[pid=10100] vsize: 63972
Current children cumulated CPU time (s) 1180.02
Current children cumulated vsize (Kb) 63972

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20607 0 0 0 118941 62 0 0 25 0 1 0 22467236 65642496 14580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 16026 14580 364 364 0 15662 0
[pid=10100] vsize: 64104
Current children cumulated CPU time (s) 1190.03
Current children cumulated vsize (Kb) 64104

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20660 0 0 0 119941 62 0 0 25 0 1 0 22467236 65777664 14632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 16059 14632 364 364 0 15695 0
[pid=10100] vsize: 64236
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (Kb) 64236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10163
Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20660 0 0 0 119941 62 0 0 25 0 1 0 22467236 65777664 14632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10100/statm): 16059 14632 364 364 0 15695 0
[pid=10100] vsize: 64236
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (Kb) 64236

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

Child status: 0
Real time (s): 1200.63
CPU time (s): 1200.61
CPU user time (s): 1199.96
CPU system time (s): 0.6529
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (Kb): 64236

Verifier Data

ERROR: no interpretation found !