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/fctp/normalized-mps-v2-13-7-ran4x64.opb
MD5SUM6a6f7751d9c11fcafeb386712eac2f08
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2330435
Optimality of the best value was proved NO
Number of terms in the objective function 5376
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1473474440
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1473474440
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1222.6
Number of variables5376
Total number of constraints324
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 constraints324
Minimum length of a constraint21
Maximum length of a constraint1280

Trace number 10575

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-23 18:51:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9290 boxname=wulflinc30 idbench=1086 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a6f7751d9c11fcafeb386712eac2f08  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran4x64.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran4x64.opb
IDLAUNCH: 9290
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        933848 kB
Buffers:         12812 kB
Cached:          70964 kB
SwapCached:          0 kB
Active:          43304 kB
Inactive:        43392 kB
HighTotal:      131008 kB
HighFree:        55972 kB
LowTotal:       903652 kB
LowFree:        877876 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8588 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:11:58 (client local time) WITH STATUS 0 IN 1203.62 SECONDS
stats: 9290 7 1203.62 0

Solver Data

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

c Decision: 18348/443957	Time: 153.406/86400
c Decision: 18740/443957	Time: 897.554/86400
c Decision: 18754/443957	Time: 938.678/86400
c Decision: 18757/443957	Time: 956.368/86400
c Decision: 18761/443957	Time: 977.762/86400
c Decision: 18763/443957	Time: 997.005/86400
c Decision: 18763/443957	Time: 1007.9/86400
c Decision: 18763/443957	Time: 1015.23/86400
c Decision: 18763/443957	Time: 1025.67/86400
c Decision: 18763/443957	Time: 1039.6/86400
c Decision: 18768/443957	Time: 1062.43/86400
c Decision: 18768/443957	Time: 1072.68/86400
c Decision: 18768/443957	Time: 1085.22/86400
c Decision: 18768/443957	Time: 1094.35/86400
c Decision: 18773/443957	Time: 1108.51/86400
c Decision: 18773/443957	Time: 1119.5/86400
c Decision: 18773/443957	Time: 1127.98/86400
c Decision: 18773/443957	Time: 1137.49/86400
c Decision: 18773/443957	Time: 1148.66/86400
c Decision: 18773/443957	Time: 1156.11/86400
c Decision: 18773/443957	Time: 1166.54/86400
c Decision: 18773/443957	Time: 1177.09/86400s UNKNOWN

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22448688 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 373 2 364 364 0 9 0
[pid=11132] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran4x64.opb

[startup+10.0026 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 28130 0 0 0 933 64 0 0 25 0 1 0 22448688 84045824 16988 4294967295 134512640 135987407 3221224560 3220854556 135480440 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 20519 16988 364 364 0 20155 0
[pid=11132] vsize: 82076
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 82076

[startup+20.0034 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 55710 0 0 0 1870 124 0 0 25 0 1 0 22448688 161894400 33335 4294967295 134512640 135987407 3221224560 3221223456 134800229 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 39525 33335 364 364 0 39161 0
[pid=11132] vsize: 158100
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 158100

[startup+30.0052 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 59666 0 0 0 2824 146 0 0 25 0 1 0 22448688 175345664 36423 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 42809 36423 364 364 0 42445 0
[pid=11132] vsize: 171236
Current children cumulated CPU time (s) 29.7
Current children cumulated vsize (Kb) 171236

[startup+40.0059 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 60485 0 0 0 3781 162 0 0 25 0 1 0 22448688 179478528 37242 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 43818 37242 364 364 0 43454 0
[pid=11132] vsize: 175272
Current children cumulated CPU time (s) 39.43
Current children cumulated vsize (Kb) 175272

[startup+50.0067 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 61119 0 0 0 4745 176 0 0 25 0 1 0 22448688 182894592 37876 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 44652 37876 364 364 0 44288 0
[pid=11132] vsize: 178608
Current children cumulated CPU time (s) 49.21
Current children cumulated vsize (Kb) 178608

[startup+60.0076 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 61707 0 0 0 5703 192 0 0 25 0 1 0 22448688 186056704 38464 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 45424 38464 364 364 0 45060 0
[pid=11132] vsize: 181696
Current children cumulated CPU time (s) 58.95
Current children cumulated vsize (Kb) 181696

[startup+70.0084 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 62327 0 0 0 6666 205 0 0 25 0 1 0 22448688 189087744 39084 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 46164 39084 364 364 0 45800 0
[pid=11132] vsize: 184656
Current children cumulated CPU time (s) 68.71
Current children cumulated vsize (Kb) 184656

[startup+80.0092 s]
Raw data (loadavg): 1.03 0.96 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 62686 0 0 0 7611 225 0 0 25 0 1 0 22448688 190951424 39443 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 46619 39443 364 364 0 46255 0
[pid=11132] vsize: 186476
Current children cumulated CPU time (s) 78.36
Current children cumulated vsize (Kb) 186476

[startup+90.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 62957 0 0 0 8560 241 0 0 25 0 1 0 22448688 192393216 39714 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 46971 39714 364 364 0 46607 0
[pid=11132] vsize: 187884
Current children cumulated CPU time (s) 88.01
Current children cumulated vsize (Kb) 187884

[startup+100.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63181 0 0 0 9519 255 0 0 25 0 1 0 22448688 193376256 39938 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 47211 39938 364 364 0 46847 0
[pid=11132] vsize: 188844
Current children cumulated CPU time (s) 97.74
Current children cumulated vsize (Kb) 188844

[startup+110.011 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63254 0 0 0 10477 269 0 0 25 0 1 0 22448688 193703936 40011 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 47291 40011 364 364 0 46927 0
[pid=11132] vsize: 189164
Current children cumulated CPU time (s) 107.46
Current children cumulated vsize (Kb) 189164

[startup+120.011 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63466 0 0 0 11431 284 0 0 25 0 1 0 22448688 194850816 40223 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 47571 40223 364 364 0 47207 0
[pid=11132] vsize: 190284
Current children cumulated CPU time (s) 117.15
Current children cumulated vsize (Kb) 190284

[startup+130.011 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63533 0 0 0 12385 300 0 0 25 0 1 0 22448688 195178496 40290 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 47651 40290 364 364 0 47287 0
[pid=11132] vsize: 190604
Current children cumulated CPU time (s) 126.85
Current children cumulated vsize (Kb) 190604

[startup+140.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63614 0 0 0 13336 315 0 0 25 0 1 0 22448688 195506176 40371 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 47731 40371 364 364 0 47367 0
[pid=11132] vsize: 190924
Current children cumulated CPU time (s) 136.51
Current children cumulated vsize (Kb) 190924

[startup+150.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63709 0 0 0 14287 330 0 0 25 0 1 0 22448688 195833856 40466 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 47811 40466 364 364 0 47447 0
[pid=11132] vsize: 191244
Current children cumulated CPU time (s) 146.17
Current children cumulated vsize (Kb) 191244

[startup+160.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63843 0 0 0 15242 346 0 0 25 0 1 0 22448688 196653056 40600 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 48011 40600 364 364 0 47647 0
[pid=11132] vsize: 192044
Current children cumulated CPU time (s) 155.88
Current children cumulated vsize (Kb) 192044

[startup+170.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 63928 0 0 0 16197 361 0 0 25 0 1 0 22448688 196980736 40685 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 48091 40685 364 364 0 47727 0
[pid=11132] vsize: 192364
Current children cumulated CPU time (s) 165.58
Current children cumulated vsize (Kb) 192364

[startup+180.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 64922 0 0 0 17163 375 0 0 25 0 1 0 22448688 197472256 40811 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48211 40811 364 364 0 47847 0
[pid=11132] vsize: 192844
Current children cumulated CPU time (s) 175.38
Current children cumulated vsize (Kb) 192844

[startup+190.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65096 0 0 0 18121 389 0 0 25 0 1 0 22448688 198455296 40985 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48451 40985 364 364 0 48087 0
[pid=11132] vsize: 193804
Current children cumulated CPU time (s) 185.1
Current children cumulated vsize (Kb) 193804

[startup+200.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65195 0 0 0 19078 405 0 0 25 0 1 0 22448688 198782976 41084 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48531 41084 364 364 0 48167 0
[pid=11132] vsize: 194124
Current children cumulated CPU time (s) 194.83
Current children cumulated vsize (Kb) 194124

[startup+210.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65226 0 0 0 20034 420 0 0 25 0 1 0 22448688 198946816 41115 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48571 41115 364 364 0 48207 0
[pid=11132] vsize: 194284
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (Kb) 194284

[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65233 0 0 0 20996 434 0 0 25 0 1 0 22448688 198946816 41122 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48571 41122 364 364 0 48207 0
[pid=11132] vsize: 194284
Current children cumulated CPU time (s) 214.3
Current children cumulated vsize (Kb) 194284

[startup+230.014 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 65269 0 0 0 21955 449 0 0 25 0 1 0 22448688 198946816 41158 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48571 41158 364 364 0 48207 0
[pid=11132] vsize: 194284
Current children cumulated CPU time (s) 224.04
Current children cumulated vsize (Kb) 194284

[startup+240.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65274 0 0 0 22914 463 0 0 25 0 1 0 22448688 198946816 41163 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48571 41163 364 364 0 48207 0
[pid=11132] vsize: 194284
Current children cumulated CPU time (s) 233.77
Current children cumulated vsize (Kb) 194284

[startup+250.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65294 0 0 0 23872 478 0 0 25 0 1 0 22448688 199110656 41183 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48611 41183 364 364 0 48247 0
[pid=11132] vsize: 194444
Current children cumulated CPU time (s) 243.5
Current children cumulated vsize (Kb) 194444

[startup+260.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65366 0 0 0 24833 490 0 0 25 0 1 0 22448688 199438336 41255 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 48691 41255 364 364 0 48327 0
[pid=11132] vsize: 194764
Current children cumulated CPU time (s) 253.23
Current children cumulated vsize (Kb) 194764

[startup+270.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65426 0 0 0 25795 502 0 0 25 0 1 0 22448688 199602176 41315 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48731 41315 364 364 0 48367 0
[pid=11132] vsize: 194924
Current children cumulated CPU time (s) 262.97
Current children cumulated vsize (Kb) 194924

[startup+280.016 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 65443 0 0 0 26756 515 0 0 25 0 1 0 22448688 199602176 41332 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 48731 41332 364 364 0 48367 0
[pid=11132] vsize: 194924
Current children cumulated CPU time (s) 272.71
Current children cumulated vsize (Kb) 194924

[startup+290.017 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 65462 0 0 0 27717 529 0 0 25 0 1 0 22448688 199602176 41351 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48731 41351 364 364 0 48367 0
[pid=11132] vsize: 194924
Current children cumulated CPU time (s) 282.46
Current children cumulated vsize (Kb) 194924

[startup+300.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65555 0 0 0 28677 542 0 0 25 0 1 0 22448688 200093696 41444 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48851 41444 364 364 0 48487 0
[pid=11132] vsize: 195404
Current children cumulated CPU time (s) 292.19
Current children cumulated vsize (Kb) 195404

[startup+310.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65576 0 0 0 29640 554 0 0 25 0 1 0 22448688 200093696 41465 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48851 41465 364 364 0 48487 0
[pid=11132] vsize: 195404
Current children cumulated CPU time (s) 301.94
Current children cumulated vsize (Kb) 195404

[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65606 0 0 0 30602 568 0 0 25 0 1 0 22448688 200257536 41495 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48891 41495 364 364 0 48527 0
[pid=11132] vsize: 195564
Current children cumulated CPU time (s) 311.7
Current children cumulated vsize (Kb) 195564

[startup+330.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65632 0 0 0 31567 578 0 0 25 0 1 0 22448688 200257536 41521 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 48891 41521 364 364 0 48527 0
[pid=11132] vsize: 195564
Current children cumulated CPU time (s) 321.45
Current children cumulated vsize (Kb) 195564

[startup+340.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65657 0 0 0 32533 590 0 0 25 0 1 0 22448688 200421376 41546 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 48931 41546 364 364 0 48567 0
[pid=11132] vsize: 195724
Current children cumulated CPU time (s) 331.23
Current children cumulated vsize (Kb) 195724

[startup+350.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65680 0 0 0 33497 601 0 0 25 0 1 0 22448688 200421376 41569 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 48931 41569 364 364 0 48567 0
[pid=11132] vsize: 195724
Current children cumulated CPU time (s) 340.98
Current children cumulated vsize (Kb) 195724

[startup+360.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65715 0 0 0 34468 611 0 0 25 0 1 0 22448688 200585216 41604 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 48971 41604 364 364 0 48607 0
[pid=11132] vsize: 195884
Current children cumulated CPU time (s) 350.79
Current children cumulated vsize (Kb) 195884

[startup+370.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65765 0 0 0 35433 623 0 0 25 0 1 0 22448688 200749056 41654 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49011 41654 364 364 0 48647 0
[pid=11132] vsize: 196044
Current children cumulated CPU time (s) 360.56
Current children cumulated vsize (Kb) 196044

[startup+380.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65771 0 0 0 36407 630 0 0 25 0 1 0 22448688 200749056 41660 4294967295 134512640 135987407 3221224560 3221223248 134811784 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49011 41660 364 364 0 48647 0
[pid=11132] vsize: 196044
Current children cumulated CPU time (s) 370.37
Current children cumulated vsize (Kb) 196044

[startup+390.02 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 65784 0 0 0 37382 639 0 0 25 0 1 0 22448688 200749056 41673 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49011 41673 364 364 0 48647 0
[pid=11132] vsize: 196044
Current children cumulated CPU time (s) 380.21
Current children cumulated vsize (Kb) 196044

[startup+400.02 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 65794 0 0 0 38352 650 0 0 25 0 1 0 22448688 200749056 41683 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49011 41683 364 364 0 48647 0
[pid=11132] vsize: 196044
Current children cumulated CPU time (s) 390.02
Current children cumulated vsize (Kb) 196044

[startup+410.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65809 0 0 0 39327 658 0 0 25 0 1 0 22448688 200749056 41698 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49011 41698 364 364 0 48647 0
[pid=11132] vsize: 196044
Current children cumulated CPU time (s) 399.85
Current children cumulated vsize (Kb) 196044

[startup+420.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65825 0 0 0 40292 670 0 0 25 0 1 0 22448688 200749056 41714 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49011 41714 364 364 0 48647 0
[pid=11132] vsize: 196044
Current children cumulated CPU time (s) 409.62
Current children cumulated vsize (Kb) 196044

[startup+430.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65860 0 0 0 41266 677 0 0 25 0 1 0 22448688 200912896 41749 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49051 41749 364 364 0 48687 0
[pid=11132] vsize: 196204
Current children cumulated CPU time (s) 419.43
Current children cumulated vsize (Kb) 196204

[startup+440.023 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 65897 0 0 0 42236 686 0 0 25 0 1 0 22448688 200912896 41786 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49051 41786 364 364 0 48687 0
[pid=11132] vsize: 196204
Current children cumulated CPU time (s) 429.22
Current children cumulated vsize (Kb) 196204

[startup+450.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65910 0 0 0 43207 696 0 0 25 0 1 0 22448688 200912896 41799 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49051 41799 364 364 0 48687 0
[pid=11132] vsize: 196204
Current children cumulated CPU time (s) 439.03
Current children cumulated vsize (Kb) 196204

[startup+460.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65934 0 0 0 44176 707 0 0 25 0 1 0 22448688 201076736 41823 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49091 41823 364 364 0 48727 0
[pid=11132] vsize: 196364
Current children cumulated CPU time (s) 448.83
Current children cumulated vsize (Kb) 196364

[startup+470.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 65943 0 0 0 45148 717 0 0 25 0 1 0 22448688 201076736 41832 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49091 41832 364 364 0 48727 0
[pid=11132] vsize: 196364
Current children cumulated CPU time (s) 458.65
Current children cumulated vsize (Kb) 196364

[startup+480.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 66038 0 0 0 46119 726 0 0 25 0 1 0 22448688 201408512 41927 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49172 41927 364 364 0 48808 0
[pid=11132] vsize: 196688
Current children cumulated CPU time (s) 468.45
Current children cumulated vsize (Kb) 196688

[startup+490.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 66056 0 0 0 47088 737 0 0 25 0 1 0 22448688 201408512 41945 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49172 41945 364 364 0 48808 0
[pid=11132] vsize: 196688
Current children cumulated CPU time (s) 478.25
Current children cumulated vsize (Kb) 196688

[startup+500.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 66298 0 0 0 48063 746 0 0 25 0 1 0 22448688 202399744 42154 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49414 42154 364 364 0 49050 0
[pid=11132] vsize: 197656
Current children cumulated CPU time (s) 488.09
Current children cumulated vsize (Kb) 197656

[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 11132
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 66370 0 0 0 49034 756 0 0 25 0 1 0 22448688 202792960 42226 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49510 42226 364 364 0 49146 0
[pid=11132] vsize: 198040
Current children cumulated CPU time (s) 497.9
Current children cumulated vsize (Kb) 198040

[startup+520.028 s]
Raw data (loadavg): 1.08 0.99 0.92 2/59 11186
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 66510 0 0 0 50004 765 0 0 17 0 1 0 22448688 203321344 42366 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 49639 42366 364 364 0 49275 0
[pid=11132] vsize: 198556
Current children cumulated CPU time (s) 507.69
Current children cumulated vsize (Kb) 198556

[startup+530.027 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 11187
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 66634 0 0 0 50975 776 0 0 25 0 1 0 22448688 203911168 42490 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 49783 42490 364 364 0 49419 0
[pid=11132] vsize: 199132
Current children cumulated CPU time (s) 517.51
Current children cumulated vsize (Kb) 199132

[startup+540.028 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 11187
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 66902 0 0 0 51946 786 0 0 25 0 1 0 22448688 205164544 42758 4294967295 134512640 135987407 3221224560 3221223020 135480732 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 50089 42758 364 364 0 49725 0
[pid=11132] vsize: 200356
Current children cumulated CPU time (s) 527.32
Current children cumulated vsize (Kb) 200356

[startup+550.029 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 11187
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67075 0 0 0 52919 797 0 0 25 0 1 0 22448688 205754368 42931 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 50233 42931 364 364 0 49869 0
[pid=11132] vsize: 200932
Current children cumulated CPU time (s) 537.16
Current children cumulated vsize (Kb) 200932

[startup+560.03 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 11187
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67183 0 0 0 53892 806 0 0 25 0 1 0 22448688 206282752 43039 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 50362 43039 364 364 0 49998 0
[pid=11132] vsize: 201448
Current children cumulated CPU time (s) 546.98
Current children cumulated vsize (Kb) 201448

[startup+570.031 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 11187
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67390 0 0 0 54865 816 0 0 25 0 1 0 22448688 207339520 43246 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 50620 43246 364 364 0 50256 0
[pid=11132] vsize: 202480
Current children cumulated CPU time (s) 556.81
Current children cumulated vsize (Kb) 202480

[startup+580.03 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 11189
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67592 0 0 0 55840 824 0 0 25 0 1 0 22448688 208261120 43448 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 50845 43448 364 364 0 50481 0
[pid=11132] vsize: 203380
Current children cumulated CPU time (s) 566.64
Current children cumulated vsize (Kb) 203380

[startup+590.031 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 11191
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67694 0 0 0 56815 833 0 0 25 0 1 0 22448688 208789504 43550 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 50974 43550 364 364 0 50610 0
[pid=11132] vsize: 203896
Current children cumulated CPU time (s) 576.48
Current children cumulated vsize (Kb) 203896

[startup+600.031 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67738 0 0 0 57788 842 0 0 25 0 1 0 22448688 208986112 43594 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 51022 43594 364 364 0 50658 0
[pid=11132] vsize: 204088
Current children cumulated CPU time (s) 586.3
Current children cumulated vsize (Kb) 204088

[startup+610.032 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67799 0 0 0 58761 853 0 0 25 0 1 0 22448688 209121280 43655 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 51055 43655 364 364 0 50691 0
[pid=11132] vsize: 204220
Current children cumulated CPU time (s) 596.14
Current children cumulated vsize (Kb) 204220

[startup+620.032 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67913 0 0 0 59737 860 0 0 25 0 1 0 22448688 209723392 43769 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 51202 43769 364 364 0 50838 0
[pid=11132] vsize: 204808
Current children cumulated CPU time (s) 605.97
Current children cumulated vsize (Kb) 204808

[startup+630.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 67936 0 0 0 60714 865 0 0 25 0 1 0 22448688 209858560 43792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 51235 43792 364 364 0 50871 0
[pid=11132] vsize: 204940
Current children cumulated CPU time (s) 615.79
Current children cumulated vsize (Kb) 204940

[startup+640.032 s]
Raw data (loadavg): 1.04 1.00 0.92 1/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 68440 0 0 0 61690 875 0 0 25 0 1 0 22448688 211984384 44197 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11132/statm): 51754 44197 364 364 0 51390 0
[pid=11132] vsize: 207016
Current children cumulated CPU time (s) 625.65
Current children cumulated vsize (Kb) 207016

[startup+650.033 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 68703 0 0 0 62666 884 0 0 25 0 1 0 22448688 213512192 44460 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 52127 44460 364 364 0 51763 0
[pid=11132] vsize: 208508
Current children cumulated CPU time (s) 635.5
Current children cumulated vsize (Kb) 208508

[startup+660.034 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69229 0 0 0 63642 893 0 0 25 0 1 0 22448688 215986176 44920 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 52731 44920 364 364 0 52367 0
[pid=11132] vsize: 210924
Current children cumulated CPU time (s) 645.35
Current children cumulated vsize (Kb) 210924

[startup+670.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69510 0 0 0 64618 902 0 0 25 0 1 0 22448688 217190400 45201 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 53025 45201 364 364 0 52661 0
[pid=11132] vsize: 212100
Current children cumulated CPU time (s) 655.2
Current children cumulated vsize (Kb) 212100

[startup+680.034 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69671 0 0 0 65586 912 0 0 25 0 1 0 22448688 217788416 45329 4294967295 134512640 135987407 3221224560 3221223120 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53171 45329 364 364 0 52807 0
[pid=11132] vsize: 212684
Current children cumulated CPU time (s) 664.98
Current children cumulated vsize (Kb) 212684

[startup+690.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69675 0 0 0 66553 922 0 0 25 0 1 0 22448688 217788416 45333 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53171 45333 364 364 0 52807 0
[pid=11132] vsize: 212684
Current children cumulated CPU time (s) 674.75
Current children cumulated vsize (Kb) 212684

[startup+700.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69680 0 0 0 67520 933 0 0 25 0 1 0 22448688 217788416 45338 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53171 45338 364 364 0 52807 0
[pid=11132] vsize: 212684
Current children cumulated CPU time (s) 684.53
Current children cumulated vsize (Kb) 212684

[startup+710.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69784 0 0 0 68488 942 0 0 25 0 1 0 22448688 218316800 45442 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53300 45442 364 364 0 52936 0
[pid=11132] vsize: 213200
Current children cumulated CPU time (s) 694.3
Current children cumulated vsize (Kb) 213200

[startup+720.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69884 0 0 0 69453 955 0 0 25 0 1 0 22448688 218587136 45542 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53366 45542 364 364 0 53002 0
[pid=11132] vsize: 213464
Current children cumulated CPU time (s) 704.08
Current children cumulated vsize (Kb) 213464

[startup+730.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69890 0 0 0 70418 966 0 0 25 0 1 0 22448688 218587136 45548 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53366 45548 364 364 0 53002 0
[pid=11132] vsize: 213464
Current children cumulated CPU time (s) 713.84
Current children cumulated vsize (Kb) 213464

[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69895 0 0 0 71385 977 0 0 25 0 1 0 22448688 218587136 45553 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53366 45553 364 364 0 53002 0
[pid=11132] vsize: 213464
Current children cumulated CPU time (s) 723.62
Current children cumulated vsize (Kb) 213464

[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 69985 0 0 0 72355 985 0 0 25 0 1 0 22448688 218980352 45643 4294967295 134512640 135987407 3221224560 3221223312 134811685 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 53462 45643 364 364 0 53098 0
[pid=11132] vsize: 213848
Current children cumulated CPU time (s) 733.4
Current children cumulated vsize (Kb) 213848

[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70201 0 0 0 73322 996 0 0 25 0 1 0 22448688 219910144 45826 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 53689 45826 364 364 0 53325 0
[pid=11132] vsize: 214756
Current children cumulated CPU time (s) 743.18
Current children cumulated vsize (Kb) 214756

[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70233 0 0 0 74287 1009 0 0 25 0 1 0 22448688 219910144 45858 4294967295 134512640 135987407 3221224560 3221223320 134811681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53689 45858 364 364 0 53325 0
[pid=11132] vsize: 214756
Current children cumulated CPU time (s) 752.96
Current children cumulated vsize (Kb) 214756

[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70375 0 0 0 75256 1018 0 0 25 0 1 0 22448688 220585984 46000 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53854 46000 364 364 0 53490 0
[pid=11132] vsize: 215416
Current children cumulated CPU time (s) 762.74
Current children cumulated vsize (Kb) 215416

[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70408 0 0 0 76227 1028 0 0 25 0 1 0 22448688 220721152 46033 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 53887 46033 364 364 0 53523 0
[pid=11132] vsize: 215548
Current children cumulated CPU time (s) 772.55
Current children cumulated vsize (Kb) 215548

[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70450 0 0 0 77196 1036 0 0 25 0 1 0 22448688 220917760 46075 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 53935 46075 364 364 0 53571 0
[pid=11132] vsize: 215740
Current children cumulated CPU time (s) 782.32
Current children cumulated vsize (Kb) 215740

[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70564 0 0 0 78167 1045 0 0 25 0 1 0 22448688 221458432 46189 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 54067 46189 364 364 0 53703 0
[pid=11132] vsize: 216268
Current children cumulated CPU time (s) 792.12
Current children cumulated vsize (Kb) 216268

[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70714 0 0 0 79136 1056 0 0 25 0 1 0 22448688 222330880 46339 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 54280 46339 364 364 0 53916 0
[pid=11132] vsize: 217120
Current children cumulated CPU time (s) 801.92
Current children cumulated vsize (Kb) 217120

[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 70835 0 0 0 80109 1066 0 0 25 0 1 0 22448688 223006720 46460 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 54445 46460 364 364 0 54081 0
[pid=11132] vsize: 217780
Current children cumulated CPU time (s) 811.75
Current children cumulated vsize (Kb) 217780

[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 70839 0 0 0 81085 1074 0 0 25 0 1 0 22448688 223006720 46464 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 54445 46464 364 364 0 54081 0
[pid=11132] vsize: 217780
Current children cumulated CPU time (s) 821.59
Current children cumulated vsize (Kb) 217780

[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 70891 0 0 0 82054 1084 0 0 25 0 1 0 22448688 223277056 46516 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 54511 46516 364 364 0 54147 0
[pid=11132] vsize: 218044
Current children cumulated CPU time (s) 831.38
Current children cumulated vsize (Kb) 218044

[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71017 0 0 0 83028 1091 0 0 25 0 1 0 22448688 223952896 46642 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 54676 46642 364 364 0 54312 0
[pid=11132] vsize: 218704
Current children cumulated CPU time (s) 841.19
Current children cumulated vsize (Kb) 218704

[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71220 0 0 0 83999 1100 0 0 25 0 1 0 22448688 224894976 46812 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 54906 46812 364 364 0 54542 0
[pid=11132] vsize: 219624
Current children cumulated CPU time (s) 850.99
Current children cumulated vsize (Kb) 219624

[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11193
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71589 0 0 0 84969 1112 0 0 25 0 1 0 22448688 226508800 47115 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55300 47115 364 364 0 54936 0
[pid=11132] vsize: 221200
Current children cumulated CPU time (s) 860.81
Current children cumulated vsize (Kb) 221200

[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71595 0 0 0 85944 1119 0 0 25 0 1 0 22448688 226508800 47121 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55300 47121 364 364 0 54936 0
[pid=11132] vsize: 221200
Current children cumulated CPU time (s) 870.63
Current children cumulated vsize (Kb) 221200

[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71644 0 0 0 86914 1130 0 0 25 0 1 0 22448688 226779136 47170 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55366 47170 364 364 0 55002 0
[pid=11132] vsize: 221464
Current children cumulated CPU time (s) 880.44
Current children cumulated vsize (Kb) 221464

[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71692 0 0 0 87888 1140 0 0 25 0 1 0 22448688 227049472 47218 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55432 47218 364 364 0 55068 0
[pid=11132] vsize: 221728
Current children cumulated CPU time (s) 890.28
Current children cumulated vsize (Kb) 221728

[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71746 0 0 0 88863 1149 0 0 25 0 1 0 22448688 227319808 47272 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47272 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 900.12
Current children cumulated vsize (Kb) 221992

[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 71753 0 0 0 89834 1159 0 0 25 0 1 0 22448688 227319808 47279 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47279 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 909.93
Current children cumulated vsize (Kb) 221992

[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 72636 0 0 0 90809 1169 0 0 25 0 1 0 22448688 227319808 47294 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47294 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 919.78
Current children cumulated vsize (Kb) 221992

[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 72647 0 0 0 91772 1180 0 0 25 0 1 0 22448688 227319808 47305 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47305 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 929.52
Current children cumulated vsize (Kb) 221992

[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 72659 0 0 0 92734 1193 0 0 25 0 1 0 22448688 227319808 47317 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47317 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 939.27
Current children cumulated vsize (Kb) 221992

[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 72669 0 0 0 93691 1207 0 0 25 0 1 0 22448688 227319808 47327 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47327 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 948.98
Current children cumulated vsize (Kb) 221992

[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 73543 0 0 0 94654 1219 0 0 25 0 1 0 22448688 227319808 47333 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47333 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 958.73
Current children cumulated vsize (Kb) 221992

[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 73550 0 0 0 95623 1232 0 0 25 0 1 0 22448688 227319808 47340 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47340 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 968.55
Current children cumulated vsize (Kb) 221992

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 74431 0 0 0 96592 1244 0 0 25 0 1 0 22448688 227319808 47353 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47353 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 978.36
Current children cumulated vsize (Kb) 221992

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 74443 0 0 0 97551 1257 0 0 25 0 1 0 22448688 227319808 47365 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47365 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 988.08
Current children cumulated vsize (Kb) 221992

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 75322 0 0 0 98514 1269 0 0 25 0 1 0 22448688 227319808 47376 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47376 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 997.83
Current children cumulated vsize (Kb) 221992

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 75333 0 0 0 99479 1280 0 0 25 0 1 0 22448688 227319808 47387 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47387 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1007.59
Current children cumulated vsize (Kb) 221992

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 76212 0 0 0 100454 1290 0 0 25 0 1 0 22448688 227319808 47398 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47398 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1017.44
Current children cumulated vsize (Kb) 221992

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 77085 0 0 0 101419 1302 0 0 25 0 1 0 22448688 230875136 48271 4294967295 134512640 135987407 3221224560 3221222928 134829291 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 56366 48271 364 364 0 56002 0
[pid=11132] vsize: 225464
Current children cumulated CPU time (s) 1027.21
Current children cumulated vsize (Kb) 225464

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 77959 0 0 0 102391 1313 0 0 25 0 1 0 22448688 227319808 47409 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47409 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1037.04
Current children cumulated vsize (Kb) 221992

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 78832 0 0 0 103360 1325 0 0 25 0 1 0 22448688 227319808 47414 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47414 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1046.85
Current children cumulated vsize (Kb) 221992

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 78840 0 0 0 104315 1339 0 0 25 0 1 0 22448688 227319808 47422 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47422 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1056.54
Current children cumulated vsize (Kb) 221992

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 79718 0 0 0 105280 1352 0 0 25 0 1 0 22448688 227319808 47432 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47432 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1066.32
Current children cumulated vsize (Kb) 221992

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 79728 0 0 0 106235 1366 0 0 25 0 1 0 22448688 227319808 47442 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47442 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1076.01
Current children cumulated vsize (Kb) 221992

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 80603 0 0 0 107202 1380 0 0 25 0 1 0 22448688 227319808 47449 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47449 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1085.82
Current children cumulated vsize (Kb) 221992

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 81480 0 0 0 108165 1392 0 0 25 0 1 0 22448688 227319808 47458 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47458 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1095.57
Current children cumulated vsize (Kb) 221992

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 82356 0 0 0 109130 1404 0 0 25 0 1 0 22448688 227319808 47466 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47466 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1105.34
Current children cumulated vsize (Kb) 221992

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 83237 0 0 0 110088 1420 0 0 25 0 1 0 22448688 227319808 47479 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47479 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1115.08
Current children cumulated vsize (Kb) 221992

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 83253 0 0 0 111035 1436 0 0 25 0 1 0 22448688 227319808 47495 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47495 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1124.71
Current children cumulated vsize (Kb) 221992

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 84131 0 0 0 111990 1451 0 0 25 0 1 0 22448688 227319808 47505 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47505 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1134.41
Current children cumulated vsize (Kb) 221992

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 85010 0 0 0 112952 1465 0 0 25 0 1 0 22448688 227319808 47516 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47516 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1144.17
Current children cumulated vsize (Kb) 221992

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 85888 0 0 0 113915 1478 0 0 25 0 1 0 22448688 227319808 47526 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47526 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1153.93
Current children cumulated vsize (Kb) 221992

[startup+1190.06 s]
Raw data (loadavg): 1.07 1.02 0.93 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 86768 0 0 0 114882 1491 0 0 25 0 1 0 22448688 227319808 47538 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47538 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1163.73
Current children cumulated vsize (Kb) 221992

[startup+1200.06 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 87655 0 0 0 115844 1506 0 0 25 0 1 0 22448688 227319808 47557 4294967295 134512640 135987407 3221224560 3221223384 135479881 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47557 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1173.5
Current children cumulated vsize (Kb) 221992

[startup+1210.06 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 88534 0 0 0 116800 1522 0 0 25 0 1 0 22448688 227319808 47568 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47568 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1183.22
Current children cumulated vsize (Kb) 221992

[startup+1220.06 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) R 11131 11132 4004 0 -1 0 89408 0 0 0 117769 1533 0 0 25 0 1 0 22448688 227319808 47574 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11132/statm): 55498 47574 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1193.02
Current children cumulated vsize (Kb) 221992

[startup+1230.06 s]
Raw data (loadavg): 1.04 1.01 0.93 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 90290 0 0 0 118729 1548 0 0 25 0 1 0 22448688 227319808 47588 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47588 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1202.77
Current children cumulated vsize (Kb) 221992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 1.04 1.01 0.93 1/55 11195
Raw data (/proc/11132/stat): 11132 (pb2sat) T 11131 11132 4004 0 -1 0 90290 0 0 0 118729 1548 0 0 25 0 1 0 22448688 227319808 47588 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11132/statm): 55498 47588 364 364 0 55134 0
[pid=11132] vsize: 221992
Current children cumulated CPU time (s) 1202.77
Current children cumulated vsize (Kb) 221992

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

Child status: 0
Real time (s): 1230.9
CPU time (s): 1203.62
CPU user time (s): 1188.03
CPU system time (s): 15.5876
CPU usage (%): 97.7835
Max. virtual memory (cumulated for all children) (Kb): 225464

Verifier Data

ERROR: no interpretation found !