PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 42635

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 12:53:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25836 boxname=wulflinc6 idbench=1136 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 25836
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        501016 kB
Buffers:         33928 kB
Cached:         476404 kB
SwapCached:       1028 kB
Active:         108632 kB
Inactive:       403876 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        500764 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15476 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 13:13:11 (client local time) WITH STATUS 0 IN 1202.55 SECONDS
stats: 25836 7 1202.55 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.01 0.97 0.91 1/54 19897
Raw data (stat): 19897 (runsolver) R 19896 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970911915 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 999 0 0 0 996 3 0 0 25 0 1 0 970911915 4554752 691 4294967295 134512640 135730672 3221224576 3221221504 134540871 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1112 691 301 301 0 811 0
vsize: 4448
[startup+20.0015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 2330 0 0 0 1994 6 0 0 25 0 1 0 970911915 8364032 1652 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2042 1652 301 301 0 1741 0
vsize: 8168
[startup+30.0021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 3763 0 0 0 2991 9 0 0 25 0 1 0 970911915 13414400 2371 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2371 301 301 0 2974 0
vsize: 13100
[startup+40.0027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 3900 0 0 0 3991 9 0 0 25 0 1 0 970911915 13414400 2502 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2502 301 301 0 2974 0
vsize: 13100
[startup+50.0028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4178 0 0 0 4991 10 0 0 25 0 1 0 970911915 14225408 2776 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3473 2776 301 301 0 3172 0
vsize: 13892
[startup+60.0034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4429 0 0 0 5991 10 0 0 25 0 1 0 970911915 14901248 3023 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3638 3023 301 301 0 3337 0
vsize: 14552
[startup+70.0031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4652 0 0 0 6991 11 0 0 25 0 1 0 970911915 15441920 3242 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3242 301 301 0 3469 0
vsize: 15080
[startup+80.0033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 4857 0 0 0 7990 12 0 0 25 0 1 0 970911915 15982592 3444 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3902 3444 301 301 0 3601 0
vsize: 15608
[startup+90.0038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 5046 0 0 0 8990 12 0 0 25 0 1 0 970911915 16523264 3630 4294967295 134512640 135730672 3221224576 3221221776 134577534 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4034 3630 301 301 0 3733 0
vsize: 16136
[startup+100.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 5225 0 0 0 9989 13 0 0 25 0 1 0 970911915 16928768 3806 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3806 301 301 0 3832 0
vsize: 16532
[startup+110.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 5396 0 0 0 10989 13 0 0 25 0 1 0 970911915 17469440 3974 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4265 3974 301 301 0 3964 0
vsize: 17060
[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7457 0 0 0 11983 20 0 0 25 0 1 0 970911915 25407488 4622 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4622 301 301 0 5902 0
vsize: 24812
[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7512 0 0 0 12983 20 0 0 25 0 1 0 970911915 25407488 4675 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4675 301 301 0 5902 0
vsize: 24812
[startup+140.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7565 0 0 0 13983 20 0 0 25 0 1 0 970911915 25407488 4726 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4726 301 301 0 5902 0
vsize: 24812
[startup+150.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7617 0 0 0 14983 20 0 0 25 0 1 0 970911915 25407488 4775 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4775 301 301 0 5902 0
vsize: 24812
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7694 0 0 0 15984 20 0 0 25 0 1 0 970911915 25407488 4850 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4850 301 301 0 5902 0
vsize: 24812
[startup+170.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7760 0 0 0 16984 21 0 0 25 0 1 0 970911915 25542656 4914 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4914 301 301 0 5935 0
vsize: 24944
[startup+180.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 7891 0 0 0 17984 21 0 0 25 0 1 0 970911915 25948160 5043 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5043 301 301 0 6034 0
vsize: 25340
[startup+190.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8020 0 0 0 18984 21 0 0 25 0 1 0 970911915 26218496 5170 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5170 301 301 0 6100 0
vsize: 25604
[startup+200.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8148 0 0 0 19983 22 0 0 25 0 1 0 970911915 26624000 5295 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6500 5295 301 301 0 6199 0
vsize: 26000
[startup+210.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8272 0 0 0 20983 22 0 0 25 0 1 0 970911915 26894336 5417 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5417 301 301 0 6265 0
vsize: 26264
[startup+220.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8392 0 0 0 21981 23 0 0 25 0 1 0 970911915 27164672 5536 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5536 301 301 0 6331 0
vsize: 26528
[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8510 0 0 0 22982 23 0 0 25 0 1 0 970911915 27570176 5652 4294967295 134512640 135730672 3221224576 3221221580 135291218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6731 5652 301 301 0 6430 0
vsize: 26924
[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8627 0 0 0 23982 24 0 0 25 0 1 0 970911915 27840512 5767 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6797 5767 301 301 0 6496 0
vsize: 27188
[startup+250.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8741 0 0 0 24981 24 0 0 25 0 1 0 970911915 28110848 5879 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6863 5879 301 301 0 6562 0
vsize: 27452
[startup+260.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8852 0 0 0 25981 25 0 0 25 0 1 0 970911915 28381184 5988 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5988 301 301 0 6628 0
vsize: 27716
[startup+270.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 8961 0 0 0 26981 25 0 0 25 0 1 0 970911915 28786688 6095 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6095 301 301 0 6727 0
vsize: 28112
[startup+280.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9066 0 0 0 27981 25 0 0 25 0 1 0 970911915 29057024 6199 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6199 301 301 0 6793 0
vsize: 28376
[startup+290.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9172 0 0 0 28981 26 0 0 25 0 1 0 970911915 29327360 6303 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6303 301 301 0 6859 0
vsize: 28640
[startup+300.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9274 0 0 0 29981 26 0 0 25 0 1 0 970911915 29597696 6403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6403 301 301 0 6925 0
vsize: 28904
[startup+310.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9376 0 0 0 30981 27 0 0 25 0 1 0 970911915 29868032 6504 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6504 301 301 0 6991 0
vsize: 29168
[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9475 0 0 0 31980 27 0 0 25 0 1 0 970911915 30138368 6601 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6601 301 301 0 7057 0
vsize: 29432
[startup+330.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9574 0 0 0 32981 27 0 0 25 0 1 0 970911915 30273536 6698 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6698 301 301 0 7090 0
vsize: 29564
[startup+340.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9671 0 0 0 33981 28 0 0 25 0 1 0 970911915 30543872 6794 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6794 301 301 0 7156 0
vsize: 29828
[startup+350.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9767 0 0 0 34981 28 0 0 25 0 1 0 970911915 30814208 6888 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6888 301 301 0 7222 0
vsize: 30092
[startup+360.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9860 0 0 0 35981 28 0 0 25 0 1 0 970911915 31084544 6980 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6980 301 301 0 7288 0
vsize: 30356
[startup+370.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 9953 0 0 0 36981 28 0 0 25 0 1 0 970911915 31354880 7071 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7071 301 301 0 7354 0
vsize: 30620
[startup+380.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10044 0 0 0 37981 29 0 0 25 0 1 0 970911915 31625216 7161 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7161 301 301 0 7420 0
vsize: 30884
[startup+390.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10136 0 0 0 38981 29 0 0 25 0 1 0 970911915 31760384 7251 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7251 301 301 0 7453 0
vsize: 31016
[startup+400.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10225 0 0 0 39981 29 0 0 25 0 1 0 970911915 32030720 7339 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7339 301 301 0 7519 0
vsize: 31280
[startup+410.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19897
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10312 0 0 0 40981 30 0 0 25 0 1 0 970911915 32301056 7425 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7425 301 301 0 7585 0
vsize: 31544
[startup+420.014 s]
Raw data (loadavg): 1.08 0.99 0.92 3/57 19946
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10401 0 0 0 41980 31 0 0 25 0 1 0 970911915 32571392 7512 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7512 301 301 0 7651 0
vsize: 31808
[startup+430.016 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 19950
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10488 0 0 0 42980 31 0 0 25 0 1 0 970911915 32706560 7598 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7985 7598 301 301 0 7684 0
vsize: 31940
[startup+440.016 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 19950
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10575 0 0 0 43979 32 0 0 25 0 1 0 970911915 32976896 7683 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7683 301 301 0 7750 0
vsize: 32204
[startup+450.016 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 19950
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10660 0 0 0 44979 32 0 0 25 0 1 0 970911915 33247232 7767 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7767 301 301 0 7816 0
vsize: 32468
[startup+460.017 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 19950
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10743 0 0 0 45979 33 0 0 25 0 1 0 970911915 33382400 7849 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8150 7849 301 301 0 7849 0
vsize: 32600
[startup+470.019 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19950
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10828 0 0 0 46979 33 0 0 25 0 1 0 970911915 33652736 7932 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7932 301 301 0 7915 0
vsize: 32864
[startup+480.019 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19950
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 10909 0 0 0 47980 33 0 0 25 0 1 0 970911915 33923072 8012 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8282 8012 301 301 0 7981 0
vsize: 33128
[startup+490.018 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14813 0 0 0 48972 40 0 0 25 0 1 0 970911915 49258496 9097 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9097 301 301 0 11725 0
vsize: 48104
[startup+500.02 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14843 0 0 0 49973 41 0 0 25 0 1 0 970911915 49258496 9125 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9125 301 301 0 11725 0
vsize: 48104
[startup+510.02 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14871 0 0 0 50972 41 0 0 25 0 1 0 970911915 49258496 9152 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9152 301 301 0 11725 0
vsize: 48104
[startup+520.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14898 0 0 0 51971 42 0 0 25 0 1 0 970911915 49258496 9178 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9178 301 301 0 11725 0
vsize: 48104
[startup+530.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14926 0 0 0 52971 42 0 0 25 0 1 0 970911915 49258496 9205 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9205 301 301 0 11725 0
vsize: 48104
[startup+540.023 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14954 0 0 0 53972 42 0 0 25 0 1 0 970911915 49258496 9231 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9231 301 301 0 11725 0
vsize: 48104
[startup+550.022 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 14981 0 0 0 54972 42 0 0 25 0 1 0 970911915 49258496 9257 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9257 301 301 0 11725 0
vsize: 48104
[startup+560.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15008 0 0 0 55972 42 0 0 25 0 1 0 970911915 49258496 9283 4294967295 134512640 135730672 3221224576 3221221888 134569051 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9283 301 301 0 11725 0
vsize: 48104
[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15035 0 0 0 56973 42 0 0 25 0 1 0 970911915 49258496 9309 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9309 301 301 0 11725 0
vsize: 48104
[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15062 0 0 0 57973 42 0 0 25 0 1 0 970911915 49258496 9334 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9334 301 301 0 11725 0
vsize: 48104
[startup+590.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15089 0 0 0 58973 43 0 0 25 0 1 0 970911915 49258496 9360 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9360 301 301 0 11725 0
vsize: 48104
[startup+600.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15115 0 0 0 59973 43 0 0 25 0 1 0 970911915 49258496 9385 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9385 301 301 0 11725 0
vsize: 48104
[startup+610.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15140 0 0 0 60974 43 0 0 25 0 1 0 970911915 49258496 9409 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9409 301 301 0 11725 0
vsize: 48104
[startup+620.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15176 0 0 0 61974 43 0 0 25 0 1 0 970911915 49258496 9444 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9444 301 301 0 11725 0
vsize: 48104
[startup+630.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15219 0 0 0 62974 43 0 0 25 0 1 0 970911915 49258496 9485 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9485 301 301 0 11725 0
vsize: 48104
[startup+640.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15244 0 0 0 63974 43 0 0 25 0 1 0 970911915 49258496 9509 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9509 301 301 0 11725 0
vsize: 48104
[startup+650.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15269 0 0 0 64974 43 0 0 25 0 1 0 970911915 49258496 9533 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9533 301 301 0 11725 0
vsize: 48104
[startup+660.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15293 0 0 0 65974 43 0 0 25 0 1 0 970911915 49258496 9556 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9556 301 301 0 11725 0
vsize: 48104
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15319 0 0 0 66974 43 0 0 25 0 1 0 970911915 49258496 9581 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9581 301 301 0 11725 0
vsize: 48104
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15351 0 0 0 67975 43 0 0 25 0 1 0 970911915 49393664 9612 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12059 9612 301 301 0 11758 0
vsize: 48236
[startup+690.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15421 0 0 0 68975 43 0 0 25 0 1 0 970911915 49528832 9681 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12092 9681 301 301 0 11791 0
vsize: 48368
[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15488 0 0 0 69974 44 0 0 25 0 1 0 970911915 49664000 9747 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12125 9747 301 301 0 11824 0
vsize: 48500
[startup+710.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15557 0 0 0 70974 44 0 0 25 0 1 0 970911915 49934336 9814 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12191 9814 301 301 0 11890 0
vsize: 48764
[startup+720.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19952
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15624 0 0 0 71975 44 0 0 25 0 1 0 970911915 50069504 9880 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12224 9880 301 301 0 11923 0
vsize: 48896
[startup+730.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15691 0 0 0 72975 44 0 0 25 0 1 0 970911915 50204672 9946 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12257 9946 301 301 0 11956 0
vsize: 49028
[startup+740.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15758 0 0 0 73975 45 0 0 25 0 1 0 970911915 50475008 10012 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12323 10012 301 301 0 12022 0
vsize: 49292
[startup+750.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15824 0 0 0 74975 45 0 0 25 0 1 0 970911915 50610176 10077 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12356 10077 301 301 0 12055 0
vsize: 49424
[startup+760.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15889 0 0 0 75975 45 0 0 25 0 1 0 970911915 50745344 10141 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12389 10141 301 301 0 12088 0
vsize: 49556
[startup+770.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 15954 0 0 0 76974 46 0 0 25 0 1 0 970911915 51015680 10205 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12455 10205 301 301 0 12154 0
vsize: 49820
[startup+780.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16020 0 0 0 77975 46 0 0 25 0 1 0 970911915 51150848 10270 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12488 10270 301 301 0 12187 0
vsize: 49952
[startup+790.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16084 0 0 0 78975 46 0 0 25 0 1 0 970911915 51286016 10333 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12521 10333 301 301 0 12220 0
vsize: 50084
[startup+800.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16148 0 0 0 79975 46 0 0 25 0 1 0 970911915 51421184 10396 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12554 10396 301 301 0 12253 0
vsize: 50216
[startup+810.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16211 0 0 0 80975 47 0 0 25 0 1 0 970911915 51691520 10458 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12620 10458 301 301 0 12319 0
vsize: 50480
[startup+820.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16275 0 0 0 81975 47 0 0 25 0 1 0 970911915 51826688 10521 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12653 10521 301 301 0 12352 0
vsize: 50612
[startup+830.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16337 0 0 0 82975 47 0 0 25 0 1 0 970911915 51961856 10582 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12686 10582 301 301 0 12385 0
vsize: 50744
[startup+840.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16400 0 0 0 83975 47 0 0 25 0 1 0 970911915 52097024 10644 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12719 10644 301 301 0 12418 0
vsize: 50876
[startup+850.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16462 0 0 0 84975 47 0 0 25 0 1 0 970911915 52232192 10705 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12752 10705 301 301 0 12451 0
vsize: 51008
[startup+860.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16524 0 0 0 85975 48 0 0 25 0 1 0 970911915 52502528 10766 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12818 10766 301 301 0 12517 0
vsize: 51272
[startup+870.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16585 0 0 0 86975 48 0 0 25 0 1 0 970911915 52637696 10826 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 10826 301 301 0 12550 0
vsize: 51404
[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16647 0 0 0 87975 49 0 0 25 0 1 0 970911915 52772864 10887 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 10887 301 301 0 12583 0
vsize: 51536
[startup+890.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16707 0 0 0 88975 49 0 0 25 0 1 0 970911915 52908032 10946 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12917 10946 301 301 0 12616 0
vsize: 51668
[startup+900.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16768 0 0 0 89975 49 0 0 25 0 1 0 970911915 53043200 11006 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12950 11006 301 301 0 12649 0
vsize: 51800
[startup+910.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16828 0 0 0 90976 49 0 0 25 0 1 0 970911915 53313536 11065 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13016 11065 301 301 0 12715 0
vsize: 52064
[startup+920.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16888 0 0 0 91976 49 0 0 25 0 1 0 970911915 53448704 11124 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13049 11124 301 301 0 12748 0
vsize: 52196
[startup+930.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 16947 0 0 0 92976 50 0 0 25 0 1 0 970911915 53583872 11182 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13082 11182 301 301 0 12781 0
vsize: 52328
[startup+940.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17006 0 0 0 93976 50 0 0 25 0 1 0 970911915 53719040 11240 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13115 11240 301 301 0 12814 0
vsize: 52460
[startup+950.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17065 0 0 0 94976 50 0 0 25 0 1 0 970911915 53854208 11298 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13148 11298 301 301 0 12847 0
vsize: 52592
[startup+960.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17123 0 0 0 95977 50 0 0 25 0 1 0 970911915 53989376 11355 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13181 11355 301 301 0 12880 0
vsize: 52724
[startup+970.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17182 0 0 0 96977 50 0 0 25 0 1 0 970911915 54259712 11413 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13247 11413 301 301 0 12946 0
vsize: 52988
[startup+980.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17239 0 0 0 97977 50 0 0 25 0 1 0 970911915 54394880 11469 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13280 11469 301 301 0 12979 0
vsize: 53120
[startup+990.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17297 0 0 0 98977 50 0 0 25 0 1 0 970911915 54530048 11526 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13313 11526 301 301 0 13012 0
vsize: 53252
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17355 0 0 0 99978 51 0 0 25 0 1 0 970911915 54665216 11583 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13346 11584 301 301 0 13045 0
vsize: 53384
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17410 0 0 0 100977 51 0 0 25 0 1 0 970911915 54800384 11638 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13379 11638 301 301 0 13078 0
vsize: 53516
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17468 0 0 0 101977 51 0 0 25 0 1 0 970911915 54935552 11695 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13412 11695 301 301 0 13111 0
vsize: 53648
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17524 0 0 0 102978 51 0 0 25 0 1 0 970911915 55070720 11750 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13445 11750 301 301 0 13144 0
vsize: 53780
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17580 0 0 0 103978 52 0 0 25 0 1 0 970911915 55205888 11805 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13478 11805 301 301 0 13177 0
vsize: 53912
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17636 0 0 0 104978 52 0 0 25 0 1 0 970911915 55341056 11860 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13511 11860 301 301 0 13210 0
vsize: 54044
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17691 0 0 0 105978 52 0 0 25 0 1 0 970911915 55476224 11914 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13544 11914 301 301 0 13243 0
vsize: 54176
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17748 0 0 0 106978 52 0 0 25 0 1 0 970911915 55746560 11970 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13610 11970 301 301 0 13309 0
vsize: 54440
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17803 0 0 0 107978 52 0 0 25 0 1 0 970911915 55881728 12024 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13643 12024 301 301 0 13342 0
vsize: 54572
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17858 0 0 0 108978 53 0 0 25 0 1 0 970911915 56016896 12078 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13676 12078 301 301 0 13375 0
vsize: 54704
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17913 0 0 0 109978 53 0 0 25 0 1 0 970911915 56152064 12132 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13709 12132 301 301 0 13408 0
vsize: 54836
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 17966 0 0 0 110978 53 0 0 25 0 1 0 970911915 56287232 12185 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13742 12185 301 301 0 13441 0
vsize: 54968
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 20087 0 0 0 111974 58 0 0 25 0 1 0 970911915 64061440 14153 4294967295 134512640 135730672 3221224576 3221219096 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15640 14153 301 301 0 15339 0
vsize: 62560
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 36480 0 0 0 112934 98 0 0 25 0 1 0 970911915 115400704 22927 4294967295 134512640 135730672 3221224576 3221221520 134539768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28174 22927 301 301 0 27873 0
vsize: 112696
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 49403 0 0 0 113901 131 0 0 25 0 1 0 970911915 218492928 32578 4294967295 134512640 135730672 3221224576 3221218640 134775425 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53343 32581 301 301 0 53042 0
vsize: 213372
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 74920 0 0 0 114846 187 0 0 25 0 1 0 970911915 226455552 42054 4294967295 134512640 135730672 3221224576 3221220952 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55287 42054 301 301 0 54986 0
vsize: 221148
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 87647 0 0 0 115811 222 0 0 25 0 1 0 970911915 265670656 54560 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64861 54561 301 301 0 64560 0
vsize: 259444
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 121679 0 0 0 116739 295 0 0 25 0 1 0 970911915 377786368 68993 4294967295 134512640 135730672 3221224576 3221221024 134770721 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92233 68993 301 301 0 91932 0
vsize: 368932
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 129145 0 0 0 117718 316 0 0 25 0 1 0 970911915 377786368 76225 4294967295 134512640 135730672 3221224576 3221221072 135284091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92233 76225 301 301 0 91932 0
vsize: 368932
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 153466 0 0 0 118656 377 0 0 25 0 1 0 970911915 449609728 88044 4294967295 134512640 135730672 3221224576 3221221512 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109768 88044 301 301 0 109467 0
vsize: 439072
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 165172 0 0 0 119624 410 0 0 25 0 1 0 970911915 487337984 99544 4294967295 134512640 135730672 3221224576 3221221776 134577534 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118979 99544 301 301 0 118678 0
vsize: 475916
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.28 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 19954
Raw data (stat): 19897 (pb2sat-v2) R 19896 25568 25567 0 -1 0 165172 0 0 0 119624 410 0 0 25 0 1 0 970911915 487337984 99544 4294967295 134512640 135730672 3221224576 3221221776 134577534 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118979 99544 301 301 0 118678 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.28
CPU time (s): 1202.55
CPU user time (s): 1198.24
CPU system time (s): 4.30635
CPU usage (%): 100.023
Max. virtual memory (Kb): 475916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####