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/miplib/normalized-mps-v2-13-7-vpm1.opb
MD5SUM96fe6be9d2b9e3e89a4b05733b0daf45
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 615983
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables2124
Total number of constraints612
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint1
Maximum length of a constraint64

Trace number 10429

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        905872 kB
Buffers:         13408 kB
Cached:          98044 kB
SwapCached:          0 kB
Active:          52088 kB
Inactive:        62296 kB
HighTotal:      131008 kB
HighFree:        29820 kB
LowTotal:       903652 kB
LowFree:        876052 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8900 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:19:24 (client local time) WITH STATUS 0 IN 1205.29 SECONDS
stats: 9136 7 1205.29 0

Solver Data

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

c Decision: 94546/452529	Time: 126.388/86400
c Decision: 94546/452529	Time: 139.266/86400
c Decision: 94546/452529	Time: 152.762/86400
c Decision: 94546/452529	Time: 167.14/86400
c Decision: 94546/452529	Time: 180.31/86400
c Decision: 94546/452529	Time: 194.2/86400
c Decision: 94546/452529	Time: 206.153/86400
c Decision: 94546/452529	Time: 221.161/86400
c Decision: 94546/452529	Time: 235.031/86400
c Decision: 94546/452529	Time: 247.839/86400
c Decision: 94546/452529	Time: 263.152/86400
c Decision: 94546/452529	Time: 275.498/86400
c Decision: 94546/452529	Time: 290.114/86400
c Decision: 94546/452529	Time: 306.433/86400
c Decision: 94546/452529	Time: 320.676/86400
c Decision: 94546/452529	Time: 336.373/86400
c Decision: 94546/452529	Time: 349.694/86400
c Decision: 94546/452529	Time: 361.156/86400
c Decision: 94546/452529	Time: 375.855/86400
c Decision: 94546/452529	Time: 390.117/86400
c Decision: 94546/452529	Time: 403.347/86400
c Decision: 94546/452529	Time: 412.731/86400
c Decision: 94546/452529	Time: 424.779/86400
c Decision: 94546/452529	Time: 439.501/86400
c Decision: 94546/452529	Time: 453.774/86400
c Decision: 94546/452529	Time: 467.328/86400
c Decision: 94546/452529	Time: 479.563/86400
c Decision: 94546/452529	Time: 492.728/86400
c Decision: 94551/452529	Time: 503.826/86400
c Decision: 94551/452529	Time: 514.522/86400
c Decision: 94551/452529	Time: 526.832/86400
c Decision: 94551/452529	Time: 538.018/86400
c Decision: 94551/452529	Time: 549.723/86400
c Decision: 94551/452529	Time: 562.977/86400
c Decision: 94551/452529	Time: 575.453/86400
c Decision: 94551/452529	Time: 589.887/86400
c Decision: 94551/452529	Time: 602.548/86400
c Decision: 94551/452529	Time: 616.915/86400
c Decision: 94551/452529	Time: 630.686/86400
c Decision: 94551/452529	Time: 643.565/86400
c Decision: 94551/452529	Time: 657.594/86400
c Decision: 94551/452529	Time: 670.577/86400
c Decision: 94551/452529	Time: 684.536/86400
c Decision: 94551/452529	Time: 697.199/86400
c Decision: 94551/452529	Time: 709.111/86400
c Decision: 94551/452529	Time: 722.965/86400
c Decision: 94551/452529	Time: 736.57/86400
c Decision: 94551/452529	Time: 748.219/86400
c Decision: 94551/452529	Time: 759.749/86400
c Decision: 94551/452529	Time: 771/86400
c Decision: 94551/452529	Time: 784.924/86400
c Decision: 94551/452529	Time: 797.929/86400
c Decision: 94551/452529	Time: 810.513/86400
c Decision: 94551/452529	Time: 825.176/86400
c Decision: 94551/452529	Time: 838.109/86400
c Decision: 94551/452529	Time: 849.972/86400
c Decision: 94551/452529	Time: 865.078/86400
c Decision: 94551/452529	Time: 875.994/86400
c Decision: 94551/452529	Time: 886.097/86400
c Decision: 94551/452529	Time: 899.276/86400
c Decision: 94551/452529	Time: 914.547/86400
c Decision: 94551/452529	Time: 927.889/86400
c Decision: 94551/452529	Time: 942.956/86400
c Decision: 94551/452529	Time: 956.177/86400
c Decision: 94551/452529	Time: 970.109/86400
c Decision: 94551/452529	Time: 984.002/86400
c Decision: 94551/452529	Time: 997.26/86400
c Decision: 94551/452529	Time: 1008.8/86400
c Decision: 94551/452529	Time: 1018.33/86400
c Decision: 94551/452529	Time: 1032.12/86400
c Decision: 94551/452529	Time: 1045.73/86400
c Decision: 94551/452529	Time: 1060.22/86400
c Decision: 94551/452529	Time: 1076.76/86400
c Decision: 94551/452529	Time: 1091.89/86400
c Decision: 94551/452529	Time: 1103.68/86400
c Decision: 94551/452529	Time: 1118.73/86400
c Decision: 94551/452529	Time: 1132.26/86400
c Decision: 94551/452529	Time: 1146.09/86400
c Decision: 94551/452529	Time: 1161.1/86400
c Decision: 94551/452529	Time: 1175.96/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/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 27 0 0 0 0 0 0 0 24 0 1 0 22175893 1527808 10 4294967295 134512640 135987407 3221224560 3221223964 135537037 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/11925/statm): 373 10 364 364 0 9 0
[pid=11925] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-vpm1.opb

[startup+10.0015 s]
Raw data (loadavg): 0.67 0.86 0.88 2/55 11925
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 28363 0 0 0 934 63 0 0 25 0 1 0 22175893 80437248 17191 4294967295 134512640 135987407 3221224560 3221208752 134856505 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 19638 17191 364 364 0 19274 0
[pid=11925] vsize: 78552
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78552

[startup+20.0023 s]
Raw data (loadavg): 0.72 0.86 0.88 2/55 11925
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 56009 0 0 0 1869 127 0 0 25 0 1 0 22175893 161685504 32709 4294967295 134512640 135987407 3221224560 3221223328 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 39474 32710 364 364 0 39110 0
[pid=11925] vsize: 157896
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 157896

[startup+30.0021 s]
Raw data (loadavg): 0.76 0.87 0.88 2/55 11925
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 57930 0 0 0 2842 139 0 0 25 0 1 0 22175893 169873408 34565 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 41473 34565 364 364 0 41109 0
[pid=11925] vsize: 165892
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 165892

[startup+40.0028 s]
Raw data (loadavg): 0.80 0.87 0.88 2/55 11925
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 58744 0 0 0 3819 148 0 0 25 0 1 0 22175893 174084096 35379 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 42501 35379 364 364 0 42137 0
[pid=11925] vsize: 170004
Current children cumulated CPU time (s) 39.67
Current children cumulated vsize (Kb) 170004

[startup+50.0036 s]
Raw data (loadavg): 0.83 0.87 0.88 2/55 11925
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59235 0 0 0 4796 157 0 0 25 0 1 0 22175893 176738304 35870 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 43149 35870 364 364 0 42785 0
[pid=11925] vsize: 172596
Current children cumulated CPU time (s) 49.53
Current children cumulated vsize (Kb) 172596

[startup+60.0034 s]
Raw data (loadavg): 0.85 0.88 0.89 1/55 11925
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 59420 0 0 0 5770 166 0 0 25 0 1 0 22175893 177795072 36055 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 43407 36055 364 364 0 43043 0
[pid=11925] vsize: 173628
Current children cumulated CPU time (s) 59.36
Current children cumulated vsize (Kb) 173628

[startup+70.0042 s]
Raw data (loadavg): 0.88 0.88 0.89 2/55 11980
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59540 0 0 0 6734 178 0 0 25 0 1 0 22175893 178200576 36175 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 43506 36175 364 364 0 43142 0
[pid=11925] vsize: 174024
Current children cumulated CPU time (s) 69.12
Current children cumulated vsize (Kb) 174024

[startup+80.0049 s]
Raw data (loadavg): 0.89 0.89 0.89 2/55 11980
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59869 0 0 0 7708 188 0 0 25 0 1 0 22175893 180117504 36504 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 43974 36504 364 364 0 43610 0
[pid=11925] vsize: 175896
Current children cumulated CPU time (s) 78.96
Current children cumulated vsize (Kb) 175896

[startup+90.0057 s]
Raw data (loadavg): 0.91 0.89 0.89 2/55 11980
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59972 0 0 0 8685 196 0 0 25 0 1 0 22175893 180645888 36607 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44103 36607 364 364 0 43739 0
[pid=11925] vsize: 176412
Current children cumulated CPU time (s) 88.81
Current children cumulated vsize (Kb) 176412

[startup+100.006 s]
Raw data (loadavg): 0.92 0.89 0.89 2/55 11980
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60051 0 0 0 9657 207 0 0 25 0 1 0 22175893 180977664 36686 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44184 36686 364 364 0 43820 0
[pid=11925] vsize: 176736
Current children cumulated CPU time (s) 98.64
Current children cumulated vsize (Kb) 176736

[startup+110.005 s]
Raw data (loadavg): 0.93 0.89 0.89 2/55 11980
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60134 0 0 0 10630 217 0 0 25 0 1 0 22175893 181383168 36769 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44283 36769 364 364 0 43919 0
[pid=11925] vsize: 177132
Current children cumulated CPU time (s) 108.47
Current children cumulated vsize (Kb) 177132

[startup+120.006 s]
Raw data (loadavg): 1.02 0.91 0.90 2/55 11982
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60147 0 0 0 11599 228 0 0 25 0 1 0 22175893 181383168 36782 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44283 36782 364 364 0 43919 0
[pid=11925] vsize: 177132
Current children cumulated CPU time (s) 118.27
Current children cumulated vsize (Kb) 177132

[startup+130.006 s]
Raw data (loadavg): 1.02 0.92 0.90 2/55 11984
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60201 0 0 0 12570 236 0 0 25 0 1 0 22175893 181653504 36836 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44349 36836 364 364 0 43985 0
[pid=11925] vsize: 177396
Current children cumulated CPU time (s) 128.06
Current children cumulated vsize (Kb) 177396

[startup+140.007 s]
Raw data (loadavg): 1.02 0.92 0.90 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60237 0 0 0 13546 245 0 0 25 0 1 0 22175893 181850112 36872 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44397 36872 364 364 0 44033 0
[pid=11925] vsize: 177588
Current children cumulated CPU time (s) 137.91
Current children cumulated vsize (Kb) 177588

[startup+150.007 s]
Raw data (loadavg): 1.01 0.92 0.90 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 61159 0 0 0 14527 252 0 0 25 0 1 0 22175893 182046720 36910 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 44445 36910 364 364 0 44081 0
[pid=11925] vsize: 177780
Current children cumulated CPU time (s) 147.79
Current children cumulated vsize (Kb) 177780

[startup+160.007 s]
Raw data (loadavg): 1.01 0.92 0.90 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 62088 0 0 0 15499 263 0 0 25 0 1 0 22175893 185864192 37839 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45377 37839 364 364 0 45013 0
[pid=11925] vsize: 181508
Current children cumulated CPU time (s) 157.62
Current children cumulated vsize (Kb) 181508

[startup+170.008 s]
Raw data (loadavg): 1.01 0.92 0.90 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 62116 0 0 0 16473 273 0 0 25 0 1 0 22175893 182243328 36983 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 44493 36983 364 364 0 44129 0
[pid=11925] vsize: 177972
Current children cumulated CPU time (s) 167.46
Current children cumulated vsize (Kb) 177972

[startup+180.008 s]
Raw data (loadavg): 1.01 0.93 0.90 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 63109 0 0 0 17450 282 0 0 25 0 1 0 22175893 182935552 37092 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44662 37092 364 364 0 44298 0
[pid=11925] vsize: 178648
Current children cumulated CPU time (s) 177.32
Current children cumulated vsize (Kb) 178648

[startup+190.009 s]
Raw data (loadavg): 1.01 0.93 0.90 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 63999 0 0 0 18425 291 0 0 25 0 1 0 22175893 182935552 37098 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44662 37098 364 364 0 44298 0
[pid=11925] vsize: 178648
Current children cumulated CPU time (s) 187.16
Current children cumulated vsize (Kb) 178648

[startup+200.009 s]
Raw data (loadavg): 1.00 0.93 0.90 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 64028 0 0 0 19403 300 0 0 25 0 1 0 22175893 183132160 37127 4294967295 134512640 135987407 3221224560 3221223248 134812152 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44710 37127 364 364 0 44346 0
[pid=11925] vsize: 178840
Current children cumulated CPU time (s) 197.03
Current children cumulated vsize (Kb) 178840

[startup+210.009 s]
Raw data (loadavg): 1.00 0.93 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 64931 0 0 0 20384 309 0 0 25 0 1 0 22175893 183132160 37146 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44710 37146 364 364 0 44346 0
[pid=11925] vsize: 178840
Current children cumulated CPU time (s) 206.93
Current children cumulated vsize (Kb) 178840

[startup+220.01 s]
Raw data (loadavg): 1.00 0.93 0.91 1/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 65819 0 0 0 21363 318 0 0 25 0 1 0 22175893 183132160 37150 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44710 37150 364 364 0 44346 0
[pid=11925] vsize: 178840
Current children cumulated CPU time (s) 216.81
Current children cumulated vsize (Kb) 178840

[startup+230.01 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 66717 0 0 0 22333 329 0 0 25 0 1 0 22175893 183132160 37164 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44710 37164 364 364 0 44346 0
[pid=11925] vsize: 178840
Current children cumulated CPU time (s) 226.62
Current children cumulated vsize (Kb) 178840

[startup+240.01 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 66754 0 0 0 23311 336 0 0 25 0 1 0 22175893 183328768 37201 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44758 37201 364 364 0 44394 0
[pid=11925] vsize: 179032
Current children cumulated CPU time (s) 236.47
Current children cumulated vsize (Kb) 179032

[startup+250.011 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 67678 0 0 0 24285 346 0 0 25 0 1 0 22175893 183525376 37241 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44806 37241 364 364 0 44442 0
[pid=11925] vsize: 179224
Current children cumulated CPU time (s) 246.31
Current children cumulated vsize (Kb) 179224

[startup+260.011 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 68568 0 0 0 25256 358 0 0 25 0 1 0 22175893 183525376 37247 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44806 37247 364 364 0 44442 0
[pid=11925] vsize: 179224
Current children cumulated CPU time (s) 256.14
Current children cumulated vsize (Kb) 179224

[startup+270.011 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 69462 0 0 0 26227 370 0 0 25 0 1 0 22175893 187146240 38141 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45690 38141 364 364 0 45326 0
[pid=11925] vsize: 182760
Current children cumulated CPU time (s) 265.97
Current children cumulated vsize (Kb) 182760

[startup+280.011 s]
Raw data (loadavg): 1.00 0.94 0.91 1/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 69483 0 0 0 27208 378 0 0 25 0 1 0 22175893 183525376 37278 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44806 37278 364 364 0 44442 0
[pid=11925] vsize: 179224
Current children cumulated CPU time (s) 275.86
Current children cumulated vsize (Kb) 179224

[startup+290.011 s]
Raw data (loadavg): 1.00 0.94 0.91 1/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 70375 0 0 0 28188 385 0 0 25 0 1 0 22175893 183525376 37286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44806 37286 364 364 0 44442 0
[pid=11925] vsize: 179224
Current children cumulated CPU time (s) 285.73
Current children cumulated vsize (Kb) 179224

[startup+300.011 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 71265 0 0 0 29163 395 0 0 25 0 1 0 22175893 183525376 37292 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44806 37292 364 364 0 44442 0
[pid=11925] vsize: 179224
Current children cumulated CPU time (s) 295.58
Current children cumulated vsize (Kb) 179224

[startup+310.011 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 71292 0 0 0 30137 403 0 0 25 0 1 0 22175893 183525376 37319 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44806 37319 364 364 0 44442 0
[pid=11925] vsize: 179224
Current children cumulated CPU time (s) 305.4
Current children cumulated vsize (Kb) 179224

[startup+320.012 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 72204 0 0 0 31116 412 0 0 25 0 1 0 22175893 183721984 37347 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44854 37347 364 364 0 44490 0
[pid=11925] vsize: 179416
Current children cumulated CPU time (s) 315.28
Current children cumulated vsize (Kb) 179416

[startup+330.011 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 73095 0 0 0 32095 421 0 0 25 0 1 0 22175893 183721984 37354 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44854 37354 364 364 0 44490 0
[pid=11925] vsize: 179416
Current children cumulated CPU time (s) 325.16
Current children cumulated vsize (Kb) 179416

[startup+340.012 s]
Raw data (loadavg): 1.08 0.97 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 73102 0 0 0 33070 430 0 0 25 0 1 0 22175893 183721984 37361 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44854 37361 364 364 0 44490 0
[pid=11925] vsize: 179416
Current children cumulated CPU time (s) 335
Current children cumulated vsize (Kb) 179416

[startup+350.013 s]
Raw data (loadavg): 1.07 0.97 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 73993 0 0 0 34046 441 0 0 25 0 1 0 22175893 183721984 37368 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44854 37368 364 364 0 44490 0
[pid=11925] vsize: 179416
Current children cumulated CPU time (s) 344.87
Current children cumulated vsize (Kb) 179416

[startup+360.013 s]
Raw data (loadavg): 1.06 0.97 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 74882 0 0 0 35023 449 0 0 25 0 1 0 22175893 183721984 37373 4294967295 134512640 135987407 3221224560 3221223376 134876817 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44854 37373 364 364 0 44490 0
[pid=11925] vsize: 179416
Current children cumulated CPU time (s) 354.72
Current children cumulated vsize (Kb) 179416

[startup+370.014 s]
Raw data (loadavg): 1.05 0.97 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 74961 0 0 0 36001 457 0 0 25 0 1 0 22175893 184127488 37452 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44953 37452 364 364 0 44589 0
[pid=11925] vsize: 179812
Current children cumulated CPU time (s) 364.58
Current children cumulated vsize (Kb) 179812

[startup+380.014 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 75855 0 0 0 36982 465 0 0 25 0 1 0 22175893 184127488 37462 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44953 37462 364 364 0 44589 0
[pid=11925] vsize: 179812
Current children cumulated CPU time (s) 374.47
Current children cumulated vsize (Kb) 179812

[startup+390.015 s]
Raw data (loadavg): 1.03 0.97 0.91 1/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 76752 0 0 0 37964 473 0 0 25 0 1 0 22175893 184127488 37475 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 44953 37475 364 364 0 44589 0
[pid=11925] vsize: 179812
Current children cumulated CPU time (s) 384.37
Current children cumulated vsize (Kb) 179812

[startup+400.015 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 11986
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 77870 0 0 0 38948 480 0 0 25 0 1 0 22175893 185479168 37709 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 45283 37709 364 364 0 44919 0
[pid=11925] vsize: 181132
Current children cumulated CPU time (s) 394.28
Current children cumulated vsize (Kb) 181132

[startup+410.016 s]
Raw data (loadavg): 1.10 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 77974 0 0 0 39918 490 0 0 25 0 1 0 22175893 185884672 37813 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45382 37813 364 364 0 45018 0
[pid=11925] vsize: 181528
Current children cumulated CPU time (s) 404.08
Current children cumulated vsize (Kb) 181528

[startup+420.017 s]
Raw data (loadavg): 1.09 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 78866 0 0 0 40896 499 0 0 25 0 1 0 22175893 185884672 37821 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 45382 37821 364 364 0 45018 0
[pid=11925] vsize: 181528
Current children cumulated CPU time (s) 413.95
Current children cumulated vsize (Kb) 181528

[startup+430.016 s]
Raw data (loadavg): 1.07 0.99 0.92 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 79756 0 0 0 41877 506 0 0 25 0 1 0 22175893 185884672 37827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45382 37827 364 364 0 45018 0
[pid=11925] vsize: 181528
Current children cumulated CPU time (s) 423.83
Current children cumulated vsize (Kb) 181528

[startup+440.017 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 80669 0 0 0 42850 516 0 0 25 0 1 0 22175893 186019840 37856 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45415 37856 364 364 0 45051 0
[pid=11925] vsize: 181660
Current children cumulated CPU time (s) 433.66
Current children cumulated vsize (Kb) 181660

[startup+450.017 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 81562 0 0 0 43823 527 0 0 25 0 1 0 22175893 186019840 37865 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45415 37865 364 364 0 45051 0
[pid=11925] vsize: 181660
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (Kb) 181660

[startup+460.017 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 81569 0 0 0 44794 536 0 0 25 0 1 0 22175893 186019840 37872 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45415 37872 364 364 0 45051 0
[pid=11925] vsize: 181660
Current children cumulated CPU time (s) 453.3
Current children cumulated vsize (Kb) 181660

[startup+470.017 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 82461 0 0 0 45778 543 0 0 25 0 1 0 22175893 186019840 37880 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45415 37880 364 364 0 45051 0
[pid=11925] vsize: 181660
Current children cumulated CPU time (s) 463.21
Current children cumulated vsize (Kb) 181660

[startup+480.017 s]
Raw data (loadavg): 1.03 0.99 0.92 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 83353 0 0 0 46757 552 0 0 25 0 1 0 22175893 186019840 37888 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45415 37888 364 364 0 45051 0
[pid=11925] vsize: 181660
Current children cumulated CPU time (s) 473.09
Current children cumulated vsize (Kb) 181660

[startup+490.018 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 83361 0 0 0 47732 560 0 0 25 0 1 0 22175893 186019840 37896 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45415 37896 364 364 0 45051 0
[pid=11925] vsize: 181660
Current children cumulated CPU time (s) 482.92
Current children cumulated vsize (Kb) 181660

[startup+500.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 84250 0 0 0 48711 569 0 0 25 0 1 0 22175893 186019840 37901 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45415 37901 364 364 0 45051 0
[pid=11925] vsize: 181660
Current children cumulated CPU time (s) 492.8
Current children cumulated vsize (Kb) 181660

[startup+510.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 85282 0 0 0 49692 578 0 0 25 0 1 0 22175893 186830848 38049 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45613 38049 364 364 0 45249 0
[pid=11925] vsize: 182452
Current children cumulated CPU time (s) 502.7
Current children cumulated vsize (Kb) 182452

[startup+520.019 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 86215 0 0 0 50675 585 0 0 25 0 1 0 22175893 186966016 38098 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 45646 38098 364 364 0 45282 0
[pid=11925] vsize: 182584
Current children cumulated CPU time (s) 512.6
Current children cumulated vsize (Kb) 182584

[startup+530.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 87128 0 0 0 51652 594 0 0 25 0 1 0 22175893 187101184 38127 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45679 38127 364 364 0 45315 0
[pid=11925] vsize: 182716
Current children cumulated CPU time (s) 522.46
Current children cumulated vsize (Kb) 182716

[startup+540.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 88071 0 0 0 52634 602 0 0 25 0 1 0 22175893 190992384 39070 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 46629 39070 364 364 0 46265 0
[pid=11925] vsize: 186516
Current children cumulated CPU time (s) 532.36
Current children cumulated vsize (Kb) 186516

[startup+550.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 88081 0 0 0 53607 610 0 0 25 0 1 0 22175893 187371520 38196 4294967295 134512640 135987407 3221224560 3221223344 134812389 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38196 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 542.17
Current children cumulated vsize (Kb) 182980

[startup+560.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 88968 0 0 0 54585 619 0 0 25 0 1 0 22175893 187371520 38199 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38199 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 552.04
Current children cumulated vsize (Kb) 182980

[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 89860 0 0 0 55568 627 0 0 25 0 1 0 22175893 187371520 38207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38207 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 561.95
Current children cumulated vsize (Kb) 182980

[startup+580.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 90751 0 0 0 56549 635 0 0 25 0 1 0 22175893 187371520 38214 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38214 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 571.84
Current children cumulated vsize (Kb) 182980

[startup+590.022 s]
Raw data (loadavg): 1.08 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 91654 0 0 0 57531 642 0 0 25 0 1 0 22175893 187371520 38233 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38233 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 581.73
Current children cumulated vsize (Kb) 182980

[startup+600.023 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 91664 0 0 0 58505 651 0 0 25 0 1 0 22175893 187371520 38243 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38243 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 591.56
Current children cumulated vsize (Kb) 182980

[startup+610.022 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 92557 0 0 0 59481 660 0 0 25 0 1 0 22175893 187371520 38252 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38252 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 601.41
Current children cumulated vsize (Kb) 182980

[startup+620.023 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 93446 0 0 0 60462 668 0 0 25 0 1 0 22175893 187371520 38257 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38257 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 611.3
Current children cumulated vsize (Kb) 182980

[startup+630.023 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 94335 0 0 0 61439 677 0 0 25 0 1 0 22175893 187371520 38262 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38262 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 621.16
Current children cumulated vsize (Kb) 182980

[startup+640.024 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 94343 0 0 0 62420 683 0 0 25 0 1 0 22175893 187371520 38270 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38270 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 631.03
Current children cumulated vsize (Kb) 182980

[startup+650.023 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 95239 0 0 0 63398 693 0 0 25 0 1 0 22175893 187371520 38282 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38282 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 640.91
Current children cumulated vsize (Kb) 182980

[startup+660.023 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 96129 0 0 0 64378 701 0 0 25 0 1 0 22175893 187371520 38288 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38288 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 650.79
Current children cumulated vsize (Kb) 182980

[startup+670.024 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 96141 0 0 0 65362 706 0 0 25 0 1 0 22175893 187371520 38300 4294967295 134512640 135987407 3221224560 3221223280 134814307 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 45745 38300 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 660.68
Current children cumulated vsize (Kb) 182980

[startup+680.025 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 97034 0 0 0 66344 715 0 0 25 0 1 0 22175893 187371520 38309 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38309 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 670.59
Current children cumulated vsize (Kb) 182980

[startup+690.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 97924 0 0 0 67331 722 0 0 25 0 1 0 22175893 187371520 38315 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38315 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 680.53
Current children cumulated vsize (Kb) 182980

[startup+700.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 98821 0 0 0 68313 730 0 0 25 0 1 0 22175893 187371520 38328 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38328 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 690.43
Current children cumulated vsize (Kb) 182980

[startup+710.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 98829 0 0 0 69288 738 0 0 25 0 1 0 22175893 187371520 38336 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38336 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 700.26
Current children cumulated vsize (Kb) 182980

[startup+720.026 s]
Raw data (loadavg): 1.01 1.00 0.93 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 99722 0 0 0 70264 748 0 0 25 0 1 0 22175893 187371520 38345 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38345 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 710.12
Current children cumulated vsize (Kb) 182980

[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 100614 0 0 0 71243 756 0 0 25 0 1 0 22175893 187371520 38353 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38353 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 719.99
Current children cumulated vsize (Kb) 182980

[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 101509 0 0 0 72228 763 0 0 25 0 1 0 22175893 187371520 38364 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 45745 38364 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 729.91
Current children cumulated vsize (Kb) 182980

[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 102402 0 0 0 73200 774 0 0 25 0 1 0 22175893 190992384 39257 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 46629 39257 364 364 0 46265 0
[pid=11925] vsize: 186516
Current children cumulated CPU time (s) 739.74
Current children cumulated vsize (Kb) 186516

[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 102404 0 0 0 74178 783 0 0 25 0 1 0 22175893 187371520 38375 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38375 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 749.61
Current children cumulated vsize (Kb) 182980

[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 103294 0 0 0 75154 791 0 0 25 0 1 0 22175893 187371520 38381 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38381 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 759.45
Current children cumulated vsize (Kb) 182980

[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 104190 0 0 0 76136 800 0 0 25 0 1 0 22175893 187371520 38393 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38393 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 769.36
Current children cumulated vsize (Kb) 182980

[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 105085 0 0 0 77119 809 0 0 25 0 1 0 22175893 187371520 38404 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38404 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 779.28
Current children cumulated vsize (Kb) 182980

[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 105978 0 0 0 78100 818 0 0 25 0 1 0 22175893 190992384 39297 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 46629 39297 364 364 0 46265 0
[pid=11925] vsize: 186516
Current children cumulated CPU time (s) 789.18
Current children cumulated vsize (Kb) 186516

[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 105987 0 0 0 79080 826 0 0 25 0 1 0 22175893 187371520 38422 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38422 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 799.06
Current children cumulated vsize (Kb) 182980

[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 106874 0 0 0 80061 833 0 0 25 0 1 0 22175893 187371520 38425 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38425 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 808.94
Current children cumulated vsize (Kb) 182980

[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 107767 0 0 0 81042 842 0 0 25 0 1 0 22175893 187371520 38434 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38434 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 818.84
Current children cumulated vsize (Kb) 182980

[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 108658 0 0 0 82019 850 0 0 25 0 1 0 22175893 190992384 39325 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 46629 39325 364 364 0 46265 0
[pid=11925] vsize: 186516
Current children cumulated CPU time (s) 828.69
Current children cumulated vsize (Kb) 186516

[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 108666 0 0 0 83000 857 0 0 25 0 1 0 22175893 187371520 38449 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45745 38449 364 364 0 45381 0
[pid=11925] vsize: 182980
Current children cumulated CPU time (s) 838.57
Current children cumulated vsize (Kb) 182980

[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 109592 0 0 0 83981 864 0 0 25 0 1 0 22175893 187641856 38491 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45811 38491 364 364 0 45447 0
[pid=11925] vsize: 183244
Current children cumulated CPU time (s) 848.45
Current children cumulated vsize (Kb) 183244

[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 110564 0 0 0 84964 871 0 0 25 0 1 0 22175893 187908096 38546 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45876 38546 364 364 0 45512 0
[pid=11925] vsize: 183504
Current children cumulated CPU time (s) 858.35
Current children cumulated vsize (Kb) 183504

[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 111458 0 0 0 85954 877 0 0 25 0 1 0 22175893 187908096 38556 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 45876 38556 364 364 0 45512 0
[pid=11925] vsize: 183504
Current children cumulated CPU time (s) 868.31
Current children cumulated vsize (Kb) 183504

[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 112689 0 0 0 86941 883 0 0 25 0 1 0 22175893 193478656 39424 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39424 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 878.24
Current children cumulated vsize (Kb) 188944

[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 113588 0 0 0 87926 890 0 0 25 0 1 0 22175893 193478656 39439 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39439 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 888.16
Current children cumulated vsize (Kb) 188944

[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 114483 0 0 0 88909 898 0 0 25 0 1 0 22175893 193478656 39450 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39450 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 898.07
Current children cumulated vsize (Kb) 188944

[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 115389 0 0 0 89894 905 0 0 25 0 1 0 22175893 193478656 39472 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39472 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 907.99
Current children cumulated vsize (Kb) 188944

[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 116282 0 0 0 90879 912 0 0 25 0 1 0 22175893 193478656 39481 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39481 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 917.91
Current children cumulated vsize (Kb) 188944

[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 116291 0 0 0 91854 921 0 0 25 0 1 0 22175893 193478656 39490 4294967295 134512640 135987407 3221224560 3221223312 134801233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39490 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 927.75
Current children cumulated vsize (Kb) 188944

[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 117179 0 0 0 92841 927 0 0 25 0 1 0 22175893 193478656 39494 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39494 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 937.68
Current children cumulated vsize (Kb) 188944

[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 118079 0 0 0 93824 933 0 0 25 0 1 0 22175893 193478656 39510 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39510 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 947.57
Current children cumulated vsize (Kb) 188944

[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 118086 0 0 0 94800 943 0 0 25 0 1 0 22175893 193478656 39517 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39517 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 957.43
Current children cumulated vsize (Kb) 188944

[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 118978 0 0 0 95776 952 0 0 25 0 1 0 22175893 193478656 39525 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39525 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 967.28
Current children cumulated vsize (Kb) 188944

[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 119877 0 0 0 96757 959 0 0 25 0 1 0 22175893 193478656 39540 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39540 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 977.16
Current children cumulated vsize (Kb) 188944

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 119884 0 0 0 97733 967 0 0 25 0 1 0 22175893 193478656 39547 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39547 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 987
Current children cumulated vsize (Kb) 188944

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 120777 0 0 0 98714 974 0 0 25 0 1 0 22175893 193478656 39556 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39556 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 996.88
Current children cumulated vsize (Kb) 188944

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 121665 0 0 0 99698 981 0 0 25 0 1 0 22175893 193478656 39560 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39560 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 1006.79
Current children cumulated vsize (Kb) 188944

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 122552 0 0 0 100678 990 0 0 25 0 1 0 22175893 193478656 39563 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47236 39563 364 364 0 46872 0
[pid=11925] vsize: 188944
Current children cumulated CPU time (s) 1016.68
Current children cumulated vsize (Kb) 188944

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 123440 0 0 0 101655 998 0 0 25 0 1 0 22175893 197099520 40451 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 48120 40451 364 364 0 47756 0
[pid=11925] vsize: 192480
Current children cumulated CPU time (s) 1026.53
Current children cumulated vsize (Kb) 192480

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 124328 0 0 0 102640 1005 0 0 25 0 1 0 22175893 197099520 40455 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 48120 40455 364 364 0 47756 0
[pid=11925] vsize: 192480
Current children cumulated CPU time (s) 1036.45
Current children cumulated vsize (Kb) 192480

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 124540 0 0 0 103621 1012 0 0 25 0 1 0 22175893 194138112 39684 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47397 39684 364 364 0 47033 0
[pid=11925] vsize: 189588
Current children cumulated CPU time (s) 1046.33
Current children cumulated vsize (Kb) 189588

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 125427 0 0 0 104603 1020 0 0 25 0 1 0 22175893 194138112 39687 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 47397 39687 364 364 0 47033 0
[pid=11925] vsize: 189588
Current children cumulated CPU time (s) 1056.23
Current children cumulated vsize (Kb) 189588

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 126318 0 0 0 105592 1026 0 0 25 0 1 0 22175893 194138112 39694 4294967295 134512640 135987407 3221224560 3221223248 134811948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 47397 39694 364 364 0 47033 0
[pid=11925] vsize: 189588
Current children cumulated CPU time (s) 1066.18
Current children cumulated vsize (Kb) 189588

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 126325 0 0 0 106569 1034 0 0 25 0 1 0 22175893 194138112 39701 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47397 39701 364 364 0 47033 0
[pid=11925] vsize: 189588
Current children cumulated CPU time (s) 1076.03
Current children cumulated vsize (Kb) 189588

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 127217 0 0 0 107551 1042 0 0 25 0 1 0 22175893 194072576 39709 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39709 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1085.93
Current children cumulated vsize (Kb) 189524

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 128108 0 0 0 108526 1051 0 0 25 0 1 0 22175893 194072576 39716 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39716 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1095.77
Current children cumulated vsize (Kb) 189524

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 128116 0 0 0 109508 1056 0 0 25 0 1 0 22175893 194072576 39724 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39724 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1105.64
Current children cumulated vsize (Kb) 189524

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 129007 0 0 0 110490 1064 0 0 25 0 1 0 22175893 194072576 39731 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39731 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1115.54
Current children cumulated vsize (Kb) 189524

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 129903 0 0 0 111472 1071 0 0 25 0 1 0 22175893 194072576 39743 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39743 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1125.43
Current children cumulated vsize (Kb) 189524

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 130795 0 0 0 112451 1081 0 0 25 0 1 0 22175893 197693440 40635 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 48265 40635 364 364 0 47901 0
[pid=11925] vsize: 193060
Current children cumulated CPU time (s) 1135.32
Current children cumulated vsize (Kb) 193060

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 130797 0 0 0 113432 1087 0 0 25 0 1 0 22175893 194072576 39753 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39753 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1145.19
Current children cumulated vsize (Kb) 189524

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 131689 0 0 0 114413 1095 0 0 25 0 1 0 22175893 194072576 39761 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39761 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1155.08
Current children cumulated vsize (Kb) 189524

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 132581 0 0 0 115393 1102 0 0 25 0 1 0 22175893 194072576 39769 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47381 39769 364 364 0 47017 0
[pid=11925] vsize: 189524
Current children cumulated CPU time (s) 1164.95
Current children cumulated vsize (Kb) 189524

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 132608 0 0 0 116378 1107 0 0 25 0 1 0 22175893 194207744 39796 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47414 39796 364 364 0 47050 0
[pid=11925] vsize: 189656
Current children cumulated CPU time (s) 1174.85
Current children cumulated vsize (Kb) 189656

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 133601 0 0 0 117363 1114 0 0 25 0 1 0 22175893 194469888 39839 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47478 39839 364 364 0 47114 0
[pid=11925] vsize: 189912
Current children cumulated CPU time (s) 1184.77
Current children cumulated vsize (Kb) 189912

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 134703 0 0 0 118349 1121 0 0 25 0 1 0 22175893 194994176 39925 4294967295 134512640 135987407 3221224560 3221223408 134790082 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11925/statm): 47606 39925 364 364 0 47242 0
[pid=11925] vsize: 190424
Current children cumulated CPU time (s) 1194.7
Current children cumulated vsize (Kb) 190424

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 134715 0 0 0 119327 1130 0 0 25 0 1 0 22175893 194994176 39937 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47606 39937 364 364 0 47242 0
[pid=11925] vsize: 190424
Current children cumulated CPU time (s) 1204.57
Current children cumulated vsize (Kb) 190424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11988
Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 134715 0 0 0 119327 1130 0 0 25 0 1 0 22175893 194994176 39937 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11925/statm): 47606 39937 364 364 0 47242 0
[pid=11925] vsize: 190424
Current children cumulated CPU time (s) 1204.57
Current children cumulated vsize (Kb) 190424

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

Child status: 0
Real time (s): 1220.76
CPU time (s): 1205.29
CPU user time (s): 1193.9
CPU system time (s): 11.3813
CPU usage (%): 98.7326
Max. virtual memory (cumulated for all children) (Kb): 193060

Verifier Data

ERROR: no interpretation found !