Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM99657262afbbfce7034a3ec6b29d9b3b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark664.088
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 10523

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 18:30:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9225 boxname=wulflinc29 idbench=1021 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 9225
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        913920 kB
Buffers:         12712 kB
Cached:          91124 kB
SwapCached:          0 kB
Active:          51840 kB
Inactive:        54860 kB
HighTotal:      131008 kB
HighFree:        40348 kB
LowTotal:       903652 kB
LowFree:        873572 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8464 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:51:00 (client local time) WITH STATUS 10 IN 1209.58 SECONDS
stats: 9225 0 1209.58 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 4477
c small objective detected
c CONFLICT during preprocess 
c [startup+10.7823 s]  setting bit 13 to 0
c [startup+18.6534 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+22.2731 s]  setting bit 11 to 1
c got solution with objective value: 1398
c [startup+473.26 s]  setting bit 10 to 1

c Decision: 96242/210065	Time: 290.576/86400
c Decision: 96242/210065	Time: 353.698/86400
c Decision: 96242/210065	Time: 415.734/86400
c Decision: 96242/210065	Time: 475.69/86400
c Decision: 96242/210065	Time: 534.239/86400
c Decision: 96242/210065	Time: 595.004/86400
c Decision: 96242/210065	Time: 655.808/86400
c Decision: 96242/210065	Time: 717.127/86400s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C106_bit0 -C107_bit0 -C108_bit0 -C109_bit0 -C110_bit0 -C111_bit0 C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 -C127_bit0 -C128_bit0 -C129_bit0 C130_bit0 -C131_bit0 -C132_bit0 C133_bit0 -C134_bit0 C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 -C153_bit0 -C154_bit0 -C155_bit0 C156_bit0 -C157_bit0 -C158_bit0 C159_bit0 -C160_bit0 -C161_bit0 C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0

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/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22324872 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 373 2 364 364 0 9 0
[pid=11013] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-lseu.opb

[startup+10.0013 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 30720 0 0 0 932 64 0 0 25 0 1 0 22324872 95870976 19571 4294967295 134512640 135987407 3221224560 3221222992 135477380 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 23406 19571 364 364 0 23042 0
[pid=11013] vsize: 93624
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 93624

[startup+20.0021 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 33775 0 0 0 1924 71 0 0 25 0 1 0 22324872 102875136 21019 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25116 21019 364 364 0 24752 0
[pid=11013] vsize: 100464
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 100464

[startup+30.0028 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34703 0 0 0 2920 74 0 0 25 0 1 0 22324872 104968192 21388 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25627 21388 364 364 0 25263 0
[pid=11013] vsize: 102508
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 102508

[startup+40.0026 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34782 0 0 0 3919 74 0 0 25 0 1 0 22324872 105099264 21434 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21434 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 102636

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34797 0 0 0 4918 75 0 0 25 0 1 0 22324872 105099264 21449 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21449 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 102636

[startup+60.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34806 0 0 0 5917 75 0 0 25 0 1 0 22324872 105099264 21458 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21458 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 102636

[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34813 0 0 0 6916 75 0 0 25 0 1 0 22324872 105099264 21465 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21465 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 102636

[startup+80.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34819 0 0 0 7916 76 0 0 25 0 1 0 22324872 105099264 21471 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21471 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 79.92
Current children cumulated vsize (Kb) 102636

[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34838 0 0 0 8914 76 0 0 25 0 1 0 22324872 105099264 21490 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21490 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 89.9
Current children cumulated vsize (Kb) 102636

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34844 0 0 0 9913 77 0 0 25 0 1 0 22324872 105099264 21496 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21496 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 99.9
Current children cumulated vsize (Kb) 102636

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34855 0 0 0 10912 78 0 0 25 0 1 0 22324872 105099264 21507 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21507 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 109.9
Current children cumulated vsize (Kb) 102636

[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 34868 0 0 0 11911 78 0 0 25 0 1 0 22324872 105099264 21520 4294967295 134512640 135987407 3221224560 3221223200 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25659 21520 364 364 0 25295 0
[pid=11013] vsize: 102636
Current children cumulated CPU time (s) 119.89
Current children cumulated vsize (Kb) 102636

[startup+130.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35028 0 0 0 12910 79 0 0 25 0 1 0 22324872 105492480 21581 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25755 21581 364 364 0 25391 0
[pid=11013] vsize: 103020
Current children cumulated CPU time (s) 129.89
Current children cumulated vsize (Kb) 103020

[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35032 0 0 0 13909 79 0 0 25 0 1 0 22324872 105492480 21585 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25755 21585 364 364 0 25391 0
[pid=11013] vsize: 103020
Current children cumulated CPU time (s) 139.88
Current children cumulated vsize (Kb) 103020

[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35042 0 0 0 14908 79 0 0 25 0 1 0 22324872 105492480 21595 4294967295 134512640 135987407 3221224560 3221223180 134812119 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25755 21595 364 364 0 25391 0
[pid=11013] vsize: 103020
Current children cumulated CPU time (s) 149.87
Current children cumulated vsize (Kb) 103020

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35062 0 0 0 15907 80 0 0 25 0 1 0 22324872 105492480 21615 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25755 21615 364 364 0 25391 0
[pid=11013] vsize: 103020
Current children cumulated CPU time (s) 159.87
Current children cumulated vsize (Kb) 103020

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35128 0 0 0 16906 80 0 0 25 0 1 0 22324872 105758720 21681 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25820 21681 364 364 0 25456 0
[pid=11013] vsize: 103280
Current children cumulated CPU time (s) 169.86
Current children cumulated vsize (Kb) 103280

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35134 0 0 0 17905 81 0 0 25 0 1 0 22324872 105758720 21687 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25820 21687 364 364 0 25456 0
[pid=11013] vsize: 103280
Current children cumulated CPU time (s) 179.86
Current children cumulated vsize (Kb) 103280

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35144 0 0 0 18905 81 0 0 25 0 1 0 22324872 105758720 21697 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25820 21697 364 364 0 25456 0
[pid=11013] vsize: 103280
Current children cumulated CPU time (s) 189.86
Current children cumulated vsize (Kb) 103280

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35222 0 0 0 19904 81 0 0 25 0 1 0 22324872 106020864 21710 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25884 21710 364 364 0 25520 0
[pid=11013] vsize: 103536
Current children cumulated CPU time (s) 199.85
Current children cumulated vsize (Kb) 103536

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35228 0 0 0 20902 82 0 0 25 0 1 0 22324872 106020864 21716 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25884 21716 364 364 0 25520 0
[pid=11013] vsize: 103536
Current children cumulated CPU time (s) 209.84
Current children cumulated vsize (Kb) 103536

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35233 0 0 0 21901 83 0 0 25 0 1 0 22324872 106020864 21721 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25884 21721 364 364 0 25520 0
[pid=11013] vsize: 103536
Current children cumulated CPU time (s) 219.84
Current children cumulated vsize (Kb) 103536

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35238 0 0 0 22901 83 0 0 25 0 1 0 22324872 106020864 21726 4294967295 134512640 135987407 3221224560 3221223184 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25884 21726 364 364 0 25520 0
[pid=11013] vsize: 103536
Current children cumulated CPU time (s) 229.84
Current children cumulated vsize (Kb) 103536

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35321 0 0 0 23900 84 0 0 25 0 1 0 22324872 106283008 21744 4294967295 134512640 135987407 3221224560 3221223280 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21744 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 239.84
Current children cumulated vsize (Kb) 103792

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35326 0 0 0 24899 84 0 0 25 0 1 0 22324872 106283008 21749 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21749 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 249.83
Current children cumulated vsize (Kb) 103792

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35331 0 0 0 25898 84 0 0 25 0 1 0 22324872 106283008 21754 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21754 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 259.82
Current children cumulated vsize (Kb) 103792

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35338 0 0 0 26897 85 0 0 25 0 1 0 22324872 106283008 21761 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21761 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 269.82
Current children cumulated vsize (Kb) 103792

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35354 0 0 0 27895 85 0 0 25 0 1 0 22324872 106283008 21777 4294967295 134512640 135987407 3221224560 3221223200 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21777 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 279.8
Current children cumulated vsize (Kb) 103792

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35357 0 0 0 28894 86 0 0 25 0 1 0 22324872 106283008 21780 4294967295 134512640 135987407 3221224560 3221223104 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21780 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 289.8
Current children cumulated vsize (Kb) 103792

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35363 0 0 0 29893 86 0 0 25 0 1 0 22324872 106283008 21786 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21786 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 299.79
Current children cumulated vsize (Kb) 103792

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35368 0 0 0 30892 86 0 0 25 0 1 0 22324872 106283008 21791 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21791 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 309.78
Current children cumulated vsize (Kb) 103792

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35374 0 0 0 31891 86 0 0 25 0 1 0 22324872 106283008 21797 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21797 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 319.77
Current children cumulated vsize (Kb) 103792

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35380 0 0 0 32890 87 0 0 25 0 1 0 22324872 106283008 21803 4294967295 134512640 135987407 3221224560 3221223200 134812287 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21803 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 329.77
Current children cumulated vsize (Kb) 103792

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35386 0 0 0 33890 87 0 0 25 0 1 0 22324872 106283008 21809 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21809 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (Kb) 103792

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35393 0 0 0 34888 88 0 0 25 0 1 0 22324872 106283008 21816 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21816 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 349.76
Current children cumulated vsize (Kb) 103792

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35400 0 0 0 35887 88 0 0 25 0 1 0 22324872 106283008 21823 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21823 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 359.75
Current children cumulated vsize (Kb) 103792

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35407 0 0 0 36886 88 0 0 25 0 1 0 22324872 106283008 21830 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 25948 21830 364 364 0 25584 0
[pid=11013] vsize: 103792
Current children cumulated CPU time (s) 369.74
Current children cumulated vsize (Kb) 103792

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35606 0 0 0 37885 89 0 0 25 0 1 0 22324872 106983424 21996 4294967295 134512640 135987407 3221224560 3221223200 134812441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26119 21996 364 364 0 25755 0
[pid=11013] vsize: 104476
Current children cumulated CPU time (s) 379.74
Current children cumulated vsize (Kb) 104476

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35614 0 0 0 38884 89 0 0 25 0 1 0 22324872 106983424 22004 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26119 22004 364 364 0 25755 0
[pid=11013] vsize: 104476
Current children cumulated CPU time (s) 389.73
Current children cumulated vsize (Kb) 104476

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35695 0 0 0 39882 90 0 0 25 0 1 0 22324872 107245568 22020 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26183 22020 364 364 0 25819 0
[pid=11013] vsize: 104732
Current children cumulated CPU time (s) 399.72
Current children cumulated vsize (Kb) 104732

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35702 0 0 0 40881 91 0 0 25 0 1 0 22324872 107245568 22027 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26183 22027 364 364 0 25819 0
[pid=11013] vsize: 104732
Current children cumulated CPU time (s) 409.72
Current children cumulated vsize (Kb) 104732

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35759 0 0 0 41880 91 0 0 25 0 1 0 22324872 107511808 22084 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26248 22084 364 364 0 25884 0
[pid=11013] vsize: 104992
Current children cumulated CPU time (s) 419.71
Current children cumulated vsize (Kb) 104992

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35763 0 0 0 42879 92 0 0 25 0 1 0 22324872 107511808 22088 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26248 22088 364 364 0 25884 0
[pid=11013] vsize: 104992
Current children cumulated CPU time (s) 429.71
Current children cumulated vsize (Kb) 104992

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35766 0 0 0 43878 92 0 0 25 0 1 0 22324872 107511808 22091 4294967295 134512640 135987407 3221224560 3221223104 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26248 22091 364 364 0 25884 0
[pid=11013] vsize: 104992
Current children cumulated CPU time (s) 439.7
Current children cumulated vsize (Kb) 104992

[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35771 0 0 0 44877 93 0 0 25 0 1 0 22324872 107511808 22096 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26248 22096 364 364 0 25884 0
[pid=11013] vsize: 104992
Current children cumulated CPU time (s) 449.7
Current children cumulated vsize (Kb) 104992

[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35775 0 0 0 45875 93 0 0 25 0 1 0 22324872 107511808 22100 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26248 22100 364 364 0 25884 0
[pid=11013] vsize: 104992
Current children cumulated CPU time (s) 459.68
Current children cumulated vsize (Kb) 104992

[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 35847 0 0 0 46874 94 0 0 25 0 1 0 22324872 107773952 22107 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26312 22107 364 364 0 25948 0
[pid=11013] vsize: 105248
Current children cumulated CPU time (s) 469.68
Current children cumulated vsize (Kb) 105248

[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 36263 0 0 0 47873 95 0 0 25 0 1 0 22324872 107773952 22112 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26312 22112 364 364 0 25948 0
[pid=11013] vsize: 105248
Current children cumulated CPU time (s) 479.68
Current children cumulated vsize (Kb) 105248

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 36268 0 0 0 48871 95 0 0 25 0 1 0 22324872 107773952 22117 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26312 22117 364 364 0 25948 0
[pid=11013] vsize: 105248
Current children cumulated CPU time (s) 489.66
Current children cumulated vsize (Kb) 105248

[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 36739 0 0 0 49869 97 0 0 25 0 1 0 22324872 110239744 22490 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 26914 22490 364 364 0 26550 0
[pid=11013] vsize: 107656
Current children cumulated CPU time (s) 499.66
Current children cumulated vsize (Kb) 107656

[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37293 0 0 0 50867 98 0 0 25 0 1 0 22324872 112267264 22879 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27409 22879 364 364 0 27045 0
[pid=11013] vsize: 109636
Current children cumulated CPU time (s) 509.65
Current children cumulated vsize (Kb) 109636

[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37508 0 0 0 51866 99 0 0 25 0 1 0 22324872 112795648 22995 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27538 22995 364 364 0 27174 0
[pid=11013] vsize: 110152
Current children cumulated CPU time (s) 519.65
Current children cumulated vsize (Kb) 110152

[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37512 0 0 0 52864 99 0 0 25 0 1 0 22324872 112795648 22999 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27538 22999 364 364 0 27174 0
[pid=11013] vsize: 110152
Current children cumulated CPU time (s) 529.63
Current children cumulated vsize (Kb) 110152

[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37586 0 0 0 53862 100 0 0 25 0 1 0 22324872 113057792 23008 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27602 23008 364 364 0 27238 0
[pid=11013] vsize: 110408
Current children cumulated CPU time (s) 539.62
Current children cumulated vsize (Kb) 110408

[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37589 0 0 0 54861 101 0 0 25 0 1 0 22324872 113057792 23011 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27602 23011 364 364 0 27238 0
[pid=11013] vsize: 110408
Current children cumulated CPU time (s) 549.62
Current children cumulated vsize (Kb) 110408

[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37592 0 0 0 55860 101 0 0 25 0 1 0 22324872 113057792 23014 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27602 23014 364 364 0 27238 0
[pid=11013] vsize: 110408
Current children cumulated CPU time (s) 559.61
Current children cumulated vsize (Kb) 110408

[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37596 0 0 0 56859 102 0 0 25 0 1 0 22324872 113057792 23018 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27602 23018 364 364 0 27238 0
[pid=11013] vsize: 110408
Current children cumulated CPU time (s) 569.61
Current children cumulated vsize (Kb) 110408

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37599 0 0 0 57857 103 0 0 25 0 1 0 22324872 113057792 23021 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27602 23021 364 364 0 27238 0
[pid=11013] vsize: 110408
Current children cumulated CPU time (s) 579.6
Current children cumulated vsize (Kb) 110408

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37604 0 0 0 58856 103 0 0 25 0 1 0 22324872 113057792 23026 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27602 23026 364 364 0 27238 0
[pid=11013] vsize: 110408
Current children cumulated CPU time (s) 589.59
Current children cumulated vsize (Kb) 110408

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37608 0 0 0 59855 103 0 0 25 0 1 0 22324872 113057792 23030 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27602 23030 364 364 0 27238 0
[pid=11013] vsize: 110408
Current children cumulated CPU time (s) 599.58
Current children cumulated vsize (Kb) 110408

[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37685 0 0 0 60854 104 0 0 25 0 1 0 22324872 113319936 23042 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27666 23042 364 364 0 27302 0
[pid=11013] vsize: 110664
Current children cumulated CPU time (s) 609.58
Current children cumulated vsize (Kb) 110664

[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37689 0 0 0 61853 104 0 0 25 0 1 0 22324872 113319936 23046 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27666 23046 364 364 0 27302 0
[pid=11013] vsize: 110664
Current children cumulated CPU time (s) 619.57
Current children cumulated vsize (Kb) 110664

[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37693 0 0 0 62852 104 0 0 25 0 1 0 22324872 113319936 23050 4294967295 134512640 135987407 3221224560 3221223200 134812296 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27666 23050 364 364 0 27302 0
[pid=11013] vsize: 110664
Current children cumulated CPU time (s) 629.56
Current children cumulated vsize (Kb) 110664

[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37698 0 0 0 63851 105 0 0 25 0 1 0 22324872 113319936 23055 4294967295 134512640 135987407 3221224560 3221222976 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27666 23055 364 364 0 27302 0
[pid=11013] vsize: 110664
Current children cumulated CPU time (s) 639.56
Current children cumulated vsize (Kb) 110664

[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37701 0 0 0 64851 105 0 0 25 0 1 0 22324872 113319936 23058 4294967295 134512640 135987407 3221224560 3221223200 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27666 23058 364 364 0 27302 0
[pid=11013] vsize: 110664
Current children cumulated CPU time (s) 649.56
Current children cumulated vsize (Kb) 110664

[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37706 0 0 0 65850 105 0 0 25 0 1 0 22324872 113319936 23063 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27666 23063 364 364 0 27302 0
[pid=11013] vsize: 110664
Current children cumulated CPU time (s) 659.55
Current children cumulated vsize (Kb) 110664

[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37708 0 0 0 66850 106 0 0 25 0 1 0 22324872 113319936 23065 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27666 23065 364 364 0 27302 0
[pid=11013] vsize: 110664
Current children cumulated CPU time (s) 669.56
Current children cumulated vsize (Kb) 110664

[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37803 0 0 0 67849 106 0 0 25 0 1 0 22324872 113582080 23095 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23095 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 679.55
Current children cumulated vsize (Kb) 110920

[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37807 0 0 0 68849 106 0 0 25 0 1 0 22324872 113582080 23099 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23099 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 689.55
Current children cumulated vsize (Kb) 110920

[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37830 0 0 0 69848 107 0 0 25 0 1 0 22324872 113582080 23122 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23122 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 699.55
Current children cumulated vsize (Kb) 110920

[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37833 0 0 0 70847 107 0 0 25 0 1 0 22324872 113582080 23125 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23125 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 709.54
Current children cumulated vsize (Kb) 110920

[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37837 0 0 0 71846 107 0 0 25 0 1 0 22324872 113582080 23129 4294967295 134512640 135987407 3221224560 3221223104 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23129 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 719.53
Current children cumulated vsize (Kb) 110920

[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37842 0 0 0 72845 108 0 0 25 0 1 0 22324872 113582080 23134 4294967295 134512640 135987407 3221224560 3221223232 134824722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23134 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 729.53
Current children cumulated vsize (Kb) 110920

[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37848 0 0 0 73844 108 0 0 25 0 1 0 22324872 113582080 23140 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23140 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 739.52
Current children cumulated vsize (Kb) 110920

[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37851 0 0 0 74843 109 0 0 25 0 1 0 22324872 113582080 23143 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23143 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 749.52
Current children cumulated vsize (Kb) 110920

[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 37856 0 0 0 75841 109 0 0 25 0 1 0 22324872 113582080 23148 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27730 23148 364 364 0 27366 0
[pid=11013] vsize: 110920
Current children cumulated CPU time (s) 759.5
Current children cumulated vsize (Kb) 110920

[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38321 0 0 0 76839 111 0 0 25 0 1 0 22324872 113987584 23202 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27829 23202 364 364 0 27465 0
[pid=11013] vsize: 111316
Current children cumulated CPU time (s) 769.5
Current children cumulated vsize (Kb) 111316

[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38349 0 0 0 77838 111 0 0 25 0 1 0 22324872 114122752 23230 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23230 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 779.49
Current children cumulated vsize (Kb) 111448

[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38350 0 0 0 78837 111 0 0 25 0 1 0 22324872 114122752 23231 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23231 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 789.48
Current children cumulated vsize (Kb) 111448

[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38350 0 0 0 79836 112 0 0 25 0 1 0 22324872 114122752 23231 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23231 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 799.48
Current children cumulated vsize (Kb) 111448

[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38351 0 0 0 80835 112 0 0 25 0 1 0 22324872 114122752 23232 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23232 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 809.47
Current children cumulated vsize (Kb) 111448

[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38352 0 0 0 81834 112 0 0 25 0 1 0 22324872 114122752 23233 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23233 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 819.46
Current children cumulated vsize (Kb) 111448

[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38763 0 0 0 82832 113 0 0 25 0 1 0 22324872 114122752 23233 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23233 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 829.45
Current children cumulated vsize (Kb) 111448

[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38764 0 0 0 83831 114 0 0 25 0 1 0 22324872 114122752 23234 4294967295 134512640 135987407 3221224560 3221223168 134812116 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23234 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 839.45
Current children cumulated vsize (Kb) 111448

[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38765 0 0 0 84830 114 0 0 25 0 1 0 22324872 114122752 23235 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23235 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 849.44
Current children cumulated vsize (Kb) 111448

[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38765 0 0 0 85829 115 0 0 25 0 1 0 22324872 114122752 23235 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23235 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 859.44
Current children cumulated vsize (Kb) 111448

[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38766 0 0 0 86828 115 0 0 25 0 1 0 22324872 114122752 23236 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23236 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 869.43
Current children cumulated vsize (Kb) 111448

[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 38767 0 0 0 87826 116 0 0 25 0 1 0 22324872 114122752 23237 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23237 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 879.42
Current children cumulated vsize (Kb) 111448

[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39178 0 0 0 88824 118 0 0 25 0 1 0 22324872 114122752 23237 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23237 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 889.42
Current children cumulated vsize (Kb) 111448

[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39179 0 0 0 89822 118 0 0 25 0 1 0 22324872 114122752 23238 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23238 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 899.4
Current children cumulated vsize (Kb) 111448

[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39180 0 0 0 90822 118 0 0 25 0 1 0 22324872 114122752 23239 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23239 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 909.4
Current children cumulated vsize (Kb) 111448

[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39180 0 0 0 91821 119 0 0 25 0 1 0 22324872 114122752 23239 4294967295 134512640 135987407 3221224560 3221223104 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23239 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 919.4
Current children cumulated vsize (Kb) 111448

[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39181 0 0 0 92820 119 0 0 25 0 1 0 22324872 114122752 23240 4294967295 134512640 135987407 3221224560 3221223184 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23240 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 929.39
Current children cumulated vsize (Kb) 111448

[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39186 0 0 0 93819 120 0 0 25 0 1 0 22324872 114122752 23245 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23245 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 939.39
Current children cumulated vsize (Kb) 111448

[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39601 0 0 0 94817 121 0 0 25 0 1 0 22324872 114122752 23249 4294967295 134512640 135987407 3221224560 3221223232 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23249 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 949.38
Current children cumulated vsize (Kb) 111448

[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39607 0 0 0 95816 121 0 0 25 0 1 0 22324872 114122752 23255 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23255 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 959.37
Current children cumulated vsize (Kb) 111448

[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39612 0 0 0 96814 123 0 0 25 0 1 0 22324872 114122752 23260 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23260 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 969.37
Current children cumulated vsize (Kb) 111448

[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39616 0 0 0 97813 123 0 0 25 0 1 0 22324872 114122752 23264 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23264 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 979.36
Current children cumulated vsize (Kb) 111448

[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39621 0 0 0 98812 124 0 0 25 0 1 0 22324872 114122752 23269 4294967295 134512640 135987407 3221224560 3221223104 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27862 23269 364 364 0 27498 0
[pid=11013] vsize: 111448
Current children cumulated CPU time (s) 989.36
Current children cumulated vsize (Kb) 111448

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 39667 0 0 0 99811 124 0 0 25 0 1 0 22324872 114257920 23315 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27895 23315 364 364 0 27531 0
[pid=11013] vsize: 111580
Current children cumulated CPU time (s) 999.35
Current children cumulated vsize (Kb) 111580

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40163 0 0 0 100807 126 0 0 25 0 1 0 22324872 114524160 23367 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23367 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1009.33
Current children cumulated vsize (Kb) 111840

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40166 0 0 0 101806 126 0 0 25 0 1 0 22324872 114524160 23370 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23370 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1019.32
Current children cumulated vsize (Kb) 111840

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40172 0 0 0 102805 126 0 0 25 0 1 0 22324872 114524160 23376 4294967295 134512640 135987407 3221224560 3221223256 134812771 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23376 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1029.31
Current children cumulated vsize (Kb) 111840

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40179 0 0 0 103804 127 0 0 25 0 1 0 22324872 114524160 23383 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23383 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1039.31
Current children cumulated vsize (Kb) 111840

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40185 0 0 0 104803 127 0 0 25 0 1 0 22324872 114524160 23389 4294967295 134512640 135987407 3221224560 3221223200 134812293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23389 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1049.3
Current children cumulated vsize (Kb) 111840

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40191 0 0 0 105802 128 0 0 25 0 1 0 22324872 114524160 23395 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23395 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1059.3
Current children cumulated vsize (Kb) 111840

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40607 0 0 0 106800 129 0 0 25 0 1 0 22324872 114524160 23400 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23400 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1069.29
Current children cumulated vsize (Kb) 111840

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40607 0 0 0 107800 129 0 0 25 0 1 0 22324872 114524160 23400 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23400 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1079.29
Current children cumulated vsize (Kb) 111840

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40608 0 0 0 108799 130 0 0 25 0 1 0 22324872 114524160 23401 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23401 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1089.29
Current children cumulated vsize (Kb) 111840

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40609 0 0 0 109798 130 0 0 25 0 1 0 22324872 114524160 23402 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23402 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1099.28
Current children cumulated vsize (Kb) 111840

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40609 0 0 0 110796 131 0 0 25 0 1 0 22324872 114524160 23402 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23402 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1109.27
Current children cumulated vsize (Kb) 111840

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 40616 0 0 0 111795 132 0 0 25 0 1 0 22324872 114524160 23409 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23409 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1119.27
Current children cumulated vsize (Kb) 111840

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41034 0 0 0 112793 133 0 0 25 0 1 0 22324872 114524160 23416 4294967295 134512640 135987407 3221224560 3221223104 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23416 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1129.26
Current children cumulated vsize (Kb) 111840

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41038 0 0 0 113791 134 0 0 25 0 1 0 22324872 114524160 23420 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11013/statm): 27960 23420 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1139.25
Current children cumulated vsize (Kb) 111840

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41044 0 0 0 114790 134 0 0 25 0 1 0 22324872 114524160 23426 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23426 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1149.24
Current children cumulated vsize (Kb) 111840

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41050 0 0 0 115789 135 0 0 25 0 1 0 22324872 114524160 23432 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23432 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1159.24
Current children cumulated vsize (Kb) 111840

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41056 0 0 0 116788 136 0 0 25 0 1 0 22324872 114524160 23438 4294967295 134512640 135987407 3221224560 3221223168 134801142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23438 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1169.24
Current children cumulated vsize (Kb) 111840

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41061 0 0 0 117786 136 0 0 25 0 1 0 22324872 114524160 23443 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23443 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1179.22
Current children cumulated vsize (Kb) 111840

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41066 0 0 0 118786 137 0 0 25 0 1 0 22324872 114524160 23448 4294967295 134512640 135987407 3221224560 3221223104 134788827 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23448 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1189.23
Current children cumulated vsize (Kb) 111840

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41483 0 0 0 119784 138 0 0 25 0 1 0 22324872 114524160 23454 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23454 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1199.22
Current children cumulated vsize (Kb) 111840

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41490 0 0 0 120783 138 0 0 25 0 1 0 22324872 114524160 23461 4294967295 134512640 135987407 3221224560 3221223232 134824717 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23461 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 111840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11013
Raw data (/proc/11013/stat): 11013 (pb2sat) R 11012 11013 4005 0 -1 0 41490 0 0 0 120783 138 0 0 25 0 1 0 22324872 114524160 23461 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11013/statm): 27960 23461 364 364 0 27596 0
[pid=11013] vsize: 111840
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 111840

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

Child status: 10
Real time (s): 1210.4
CPU time (s): 1209.58
CPU user time (s): 1208.14
CPU system time (s): 1.43878
CPU usage (%): 99.9324
Max. virtual memory (cumulated for all children) (Kb): 111840

Verifier Data

Verifier:	OK	1398