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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb
MD5SUM	4468fb60f3f07c6d5f7ce05d137a7203
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3323904
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1581429279
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1581429279
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1240.2
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 42818

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 15:35:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26031 boxname=wulflinc1 idbench=1331 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4468fb60f3f07c6d5f7ce05d137a7203  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-set1cl.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-set1cl.opb
IDLAUNCH: 26031
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        711632 kB
Buffers:         23032 kB
Cached:         275624 kB
SwapCached:       1156 kB
Active:          27204 kB
Inactive:       273676 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        711380 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16376 kB
Committed_AS:    92712 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:56:02 (client local time) WITH STATUS 0 IN 1200.82 SECONDS
stats: 26031 7 1200.82 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
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): 0.92 0.95 0.93 2/55 22320
Raw data (stat): 22320 (runsolver) R 22319 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915032944 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99975 s]
Raw data (loadavg): 0.93 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 25148 0 0 0 942 57 0 0 25 0 1 0 915032944 77934592 14163 4294967295 134512640 135730672 3221224576 3221200832 134786203 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19027 14163 301 301 0 18726 0
vsize: 76108
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28018 0 0 0 1928 70 0 0 25 0 1 0 915032944 82444288 16564 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20128 16564 301 301 0 19827 0
vsize: 80512
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28159 0 0 0 2923 75 0 0 25 0 1 0 915032944 83001344 16705 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20264 16705 301 301 0 19963 0
vsize: 81056
[startup+40.001 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28305 0 0 0 3917 81 0 0 25 0 1 0 915032944 83562496 16851 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20401 16851 301 301 0 20100 0
vsize: 81604
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28427 0 0 0 4913 86 0 0 25 0 1 0 915032944 84013056 16973 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20511 16973 301 301 0 20210 0
vsize: 82044
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28577 0 0 0 5907 91 0 0 25 0 1 0 915032944 84590592 17123 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20652 17123 301 301 0 20351 0
vsize: 82608
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28713 0 0 0 6902 96 0 0 25 0 1 0 915032944 85229568 17259 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20808 17259 301 301 0 20507 0
vsize: 83232
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28799 0 0 0 7899 100 0 0 25 0 1 0 915032944 85540864 17345 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20884 17345 301 301 0 20583 0
vsize: 83536
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 28906 0 0 0 8894 104 0 0 25 0 1 0 915032944 85970944 17452 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20989 17452 301 301 0 20688 0
vsize: 83956
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 29019 0 0 0 9890 109 0 0 25 0 1 0 915032944 86409216 17565 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21096 17565 301 301 0 20795 0
vsize: 84384
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 29106 0 0 0 10885 114 0 0 25 0 1 0 915032944 86831104 17652 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21199 17652 301 301 0 20898 0
vsize: 84796
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 29226 0 0 0 11880 119 0 0 25 0 1 0 915032944 87281664 17772 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21309 17772 301 301 0 21008 0
vsize: 85236
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 29333 0 0 0 12875 125 0 0 25 0 1 0 915032944 87699456 17879 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21411 17879 301 301 0 21110 0
vsize: 85644
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 29569 0 0 0 13870 129 0 0 25 0 1 0 915032944 88776704 18115 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21674 18115 301 301 0 21373 0
vsize: 86696
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 29700 0 0 0 14865 135 0 0 25 0 1 0 915032944 89382912 18246 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21822 18246 301 301 0 21521 0
vsize: 87288
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 29862 0 0 0 15860 140 0 0 25 0 1 0 915032944 90120192 18408 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22002 18408 301 301 0 21701 0
vsize: 88008
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30054 0 0 0 16855 145 0 0 25 0 1 0 915032944 90873856 18600 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22186 18600 301 301 0 21885 0
vsize: 88744
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30178 0 0 0 17851 149 0 0 25 0 1 0 915032944 91496448 18724 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22338 18724 301 301 0 22037 0
vsize: 89352
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30279 0 0 0 18848 153 0 0 25 0 1 0 915032944 91807744 18825 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22414 18825 301 301 0 22113 0
vsize: 89656
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30451 0 0 0 19843 158 0 0 25 0 1 0 915032944 92659712 18997 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22622 18997 301 301 0 22321 0
vsize: 90488
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30593 0 0 0 20839 162 0 0 25 0 1 0 915032944 93257728 19139 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22768 19139 301 301 0 22467 0
vsize: 91072
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30739 0 0 0 21835 166 0 0 25 0 1 0 915032944 93855744 19285 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22914 19285 301 301 0 22613 0
vsize: 91656
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30817 0 0 0 22831 171 0 0 25 0 1 0 915032944 94167040 19363 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22990 19363 301 301 0 22689 0
vsize: 91960
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 30890 0 0 0 23826 176 0 0 25 0 1 0 915032944 94461952 19436 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23062 19436 301 301 0 22761 0
vsize: 92248
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31145 0 0 0 24820 181 0 0 25 0 1 0 915032944 95649792 19658 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23352 19658 301 301 0 23051 0
vsize: 93408
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31231 0 0 0 25816 185 0 0 25 0 1 0 915032944 95944704 19744 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23424 19744 301 301 0 23123 0
vsize: 93696
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31294 0 0 0 26811 191 0 0 25 0 1 0 915032944 96239616 19807 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23496 19807 301 301 0 23195 0
vsize: 93984
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31334 0 0 0 27807 195 0 0 25 0 1 0 915032944 96387072 19847 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23532 19847 301 301 0 23231 0
vsize: 94128
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31369 0 0 0 28802 200 0 0 25 0 1 0 915032944 96387072 19882 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23532 19882 301 301 0 23231 0
vsize: 94128
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31434 0 0 0 29797 205 0 0 25 0 1 0 915032944 96681984 19947 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23604 19947 301 301 0 23303 0
vsize: 94416
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31503 0 0 0 30792 211 0 0 25 0 1 0 915032944 96964608 20016 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23673 20016 301 301 0 23372 0
vsize: 94692
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31541 0 0 0 31788 215 0 0 25 0 1 0 915032944 97112064 20054 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23709 20054 301 301 0 23408 0
vsize: 94836
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31600 0 0 0 32783 220 0 0 25 0 1 0 915032944 97390592 20113 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23777 20113 301 301 0 23476 0
vsize: 95108
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31644 0 0 0 33779 225 0 0 25 0 1 0 915032944 97390592 20157 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23777 20157 301 301 0 23476 0
vsize: 95108
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31692 0 0 0 34774 229 0 0 25 0 1 0 915032944 97685504 20205 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23849 20205 301 301 0 23548 0
vsize: 95396
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31713 0 0 0 35770 234 0 0 25 0 1 0 915032944 97685504 20226 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23849 20226 301 301 0 23548 0
vsize: 95396
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31744 0 0 0 36765 239 0 0 25 0 1 0 915032944 97685504 20257 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23849 20257 301 301 0 23548 0
vsize: 95396
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31808 0 0 0 37760 243 0 0 25 0 1 0 915032944 97964032 20321 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23917 20321 301 301 0 23616 0
vsize: 95668
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31843 0 0 0 38755 249 0 0 25 0 1 0 915032944 98099200 20356 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23950 20356 301 301 0 23649 0
vsize: 95800
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31896 0 0 0 39750 254 0 0 25 0 1 0 915032944 98246656 20409 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23986 20409 301 301 0 23685 0
vsize: 95944
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 31959 0 0 0 40744 260 0 0 25 0 1 0 915032944 98521088 20472 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24053 20472 301 301 0 23752 0
vsize: 96212
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32002 0 0 0 41739 265 0 0 25 0 1 0 915032944 98660352 20515 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24087 20515 301 301 0 23786 0
vsize: 96348
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32049 0 0 0 42735 270 0 0 25 0 1 0 915032944 98799616 20562 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24121 20562 301 301 0 23820 0
vsize: 96484
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32085 0 0 0 43729 276 0 0 25 0 1 0 915032944 98934784 20598 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24154 20598 301 301 0 23853 0
vsize: 96616
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32117 0 0 0 44724 281 0 0 25 0 1 0 915032944 98934784 20630 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24154 20630 301 301 0 23853 0
vsize: 96616
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32141 0 0 0 45720 286 0 0 25 0 1 0 915032944 99069952 20654 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24187 20654 301 301 0 23886 0
vsize: 96748
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32167 0 0 0 46715 291 0 0 25 0 1 0 915032944 99209216 20680 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24221 20680 301 301 0 23920 0
vsize: 96884
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32236 0 0 0 47709 297 0 0 25 0 1 0 915032944 99344384 20749 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24254 20749 301 301 0 23953 0
vsize: 97016
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32296 0 0 0 48705 301 0 0 25 0 1 0 915032944 99627008 20809 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24323 20809 301 301 0 24022 0
vsize: 97292
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32314 0 0 0 49699 307 0 0 25 0 1 0 915032944 99627008 20827 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24323 20827 301 301 0 24022 0
vsize: 97292
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32342 0 0 0 50694 312 0 0 25 0 1 0 915032944 99782656 20855 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24361 20855 301 301 0 24060 0
vsize: 97444
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32370 0 0 0 51690 317 0 0 25 0 1 0 915032944 99782656 20883 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24361 20883 301 301 0 24060 0
vsize: 97444
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32402 0 0 0 52686 321 0 0 25 0 1 0 915032944 99930112 20915 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24397 20915 301 301 0 24096 0
vsize: 97588
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32455 0 0 0 53680 327 0 0 25 0 1 0 915032944 100065280 20968 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24430 20968 301 301 0 24129 0
vsize: 97720
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32487 0 0 0 54676 332 0 0 25 0 1 0 915032944 100208640 21000 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24465 21000 301 301 0 24164 0
vsize: 97860
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32524 0 0 0 55670 337 0 0 25 0 1 0 915032944 100343808 21037 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24498 21037 301 301 0 24197 0
vsize: 97992
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32545 0 0 0 56664 343 0 0 25 0 1 0 915032944 100343808 21058 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24498 21058 301 301 0 24197 0
vsize: 97992
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32602 0 0 0 57659 349 0 0 25 0 1 0 915032944 100614144 21115 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24564 21115 301 301 0 24263 0
vsize: 98256
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32626 0 0 0 58653 354 0 0 25 0 1 0 915032944 100614144 21139 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24564 21139 301 301 0 24263 0
vsize: 98256
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32677 0 0 0 59648 361 0 0 25 0 1 0 915032944 100749312 21190 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24597 21190 301 301 0 24296 0
vsize: 98388
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32709 0 0 0 60642 366 0 0 25 0 1 0 915032944 100888576 21222 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24631 21222 301 301 0 24330 0
vsize: 98524
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32787 0 0 0 61635 373 0 0 25 0 1 0 915032944 101163008 21300 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24698 21300 301 301 0 24397 0
vsize: 98792
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32844 0 0 0 62631 378 0 0 25 0 1 0 915032944 101310464 21357 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24734 21357 301 301 0 24433 0
vsize: 98936
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32912 0 0 0 63627 382 0 0 25 0 1 0 915032944 101621760 21425 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24810 21425 301 301 0 24509 0
vsize: 99240
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32924 0 0 0 64623 386 0 0 25 0 1 0 915032944 101621760 21437 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24810 21437 301 301 0 24509 0
vsize: 99240
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32962 0 0 0 65616 393 0 0 25 0 1 0 915032944 101756928 21475 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24843 21475 301 301 0 24542 0
vsize: 99372
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 32986 0 0 0 66611 398 0 0 25 0 1 0 915032944 101756928 21499 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24843 21499 301 301 0 24542 0
vsize: 99372
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33033 0 0 0 67606 403 0 0 25 0 1 0 915032944 101904384 21546 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24879 21546 301 301 0 24578 0
vsize: 99516
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33106 0 0 0 68602 408 0 0 25 0 1 0 915032944 102191104 21619 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24949 21619 301 301 0 24648 0
vsize: 99796
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33121 0 0 0 69597 413 0 0 25 0 1 0 915032944 102191104 21634 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24949 21634 301 301 0 24648 0
vsize: 99796
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33152 0 0 0 70593 417 0 0 25 0 1 0 915032944 102338560 21665 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24985 21665 301 301 0 24684 0
vsize: 99940
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33187 0 0 0 71588 422 0 0 25 0 1 0 915032944 102338560 21700 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24985 21700 301 301 0 24684 0
vsize: 99940
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33215 0 0 0 72582 428 0 0 25 0 1 0 915032944 102477824 21728 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25019 21728 301 301 0 24718 0
vsize: 100076
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33268 0 0 0 73577 433 0 0 25 0 1 0 915032944 102617088 21781 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25053 21781 301 301 0 24752 0
vsize: 100212
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33304 0 0 0 74572 438 0 0 25 0 1 0 915032944 102764544 21817 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25089 21817 301 301 0 24788 0
vsize: 100356
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33339 0 0 0 75567 444 0 0 25 0 1 0 915032944 102764544 21852 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25089 21852 301 301 0 24788 0
vsize: 100356
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33404 0 0 0 76561 450 0 0 25 0 1 0 915032944 103067648 21917 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25163 21917 301 301 0 24862 0
vsize: 100652
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33425 0 0 0 77556 456 0 0 25 0 1 0 915032944 103067648 21938 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25163 21938 301 301 0 24862 0
vsize: 100652
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33452 0 0 0 78550 461 0 0 25 0 1 0 915032944 103202816 21965 4294967295 134512640 135730672 3221224576 3221223184 134744438 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25196 21965 301 301 0 24895 0
vsize: 100784
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33472 0 0 0 79545 466 0 0 25 0 1 0 915032944 103202816 21985 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25196 21985 301 301 0 24895 0
vsize: 100784
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33512 0 0 0 80540 471 0 0 25 0 1 0 915032944 103337984 22025 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25229 22025 301 301 0 24928 0
vsize: 100916
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33544 0 0 0 81535 477 0 0 25 0 1 0 915032944 103477248 22057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25263 22057 301 301 0 24962 0
vsize: 101052
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33590 0 0 0 82530 482 0 0 25 0 1 0 915032944 103616512 22103 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25297 22103 301 301 0 24996 0
vsize: 101188
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33633 0 0 0 83525 487 0 0 25 0 1 0 915032944 103755776 22146 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25331 22146 301 301 0 25030 0
vsize: 101324
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33683 0 0 0 84519 494 0 0 25 0 1 0 915032944 103895040 22196 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25365 22196 301 301 0 25064 0
vsize: 101460
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33718 0 0 0 85514 499 0 0 25 0 1 0 915032944 104042496 22231 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25401 22231 301 301 0 25100 0
vsize: 101604
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33757 0 0 0 86510 503 0 0 25 0 1 0 915032944 104189952 22270 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25437 22270 301 301 0 25136 0
vsize: 101748
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33820 0 0 0 87504 509 0 0 25 0 1 0 915032944 104476672 22333 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25507 22333 301 301 0 25206 0
vsize: 102028
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33884 0 0 0 88499 514 0 0 25 0 1 0 915032944 104771584 22397 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25579 22397 301 301 0 25278 0
vsize: 102316
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33916 0 0 0 89493 520 0 0 25 0 1 0 915032944 104771584 22429 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25579 22429 301 301 0 25278 0
vsize: 102316
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 33956 0 0 0 90487 526 0 0 25 0 1 0 915032944 104919040 22469 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25615 22469 301 301 0 25314 0
vsize: 102460
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34027 0 0 0 91482 532 0 0 25 0 1 0 915032944 105213952 22540 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25687 22540 301 301 0 25386 0
vsize: 102748
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34081 0 0 0 92477 537 0 0 25 0 1 0 915032944 105361408 22594 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25723 22594 301 301 0 25422 0
vsize: 102892
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34168 0 0 0 93471 543 0 0 25 0 1 0 915032944 105803776 22681 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25831 22681 301 301 0 25530 0
vsize: 103324
[startup+950.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34219 0 0 0 94467 548 0 0 25 0 1 0 915032944 106098688 22732 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25903 22732 301 301 0 25602 0
vsize: 103612
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34259 0 0 0 95460 554 0 0 25 0 1 0 915032944 106246144 22772 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25939 22772 301 301 0 25638 0
vsize: 103756
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34307 0 0 0 96454 560 0 0 25 0 1 0 915032944 106393600 22820 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25975 22820 301 301 0 25674 0
vsize: 103900
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34359 0 0 0 97449 565 0 0 25 0 1 0 915032944 106541056 22872 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26011 22872 301 301 0 25710 0
vsize: 104044
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34390 0 0 0 98443 572 0 0 25 0 1 0 915032944 106688512 22903 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26047 22903 301 301 0 25746 0
vsize: 104188
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34439 0 0 0 99439 576 0 0 25 0 1 0 915032944 106835968 22952 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26083 22952 301 301 0 25782 0
vsize: 104332
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34520 0 0 0 100434 581 0 0 25 0 1 0 915032944 107118592 23033 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26152 23033 301 301 0 25851 0
vsize: 104608
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34542 0 0 0 101428 588 0 0 25 0 1 0 915032944 107253760 23055 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26185 23055 301 301 0 25884 0
vsize: 104740
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34601 0 0 0 102423 593 0 0 25 0 1 0 915032944 107581440 23114 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26265 23114 301 301 0 25964 0
vsize: 105060
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34628 0 0 0 103419 597 0 0 25 0 1 0 915032944 107581440 23141 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26265 23141 301 301 0 25964 0
vsize: 105060
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34651 0 0 0 104413 603 0 0 25 0 1 0 915032944 107728896 23164 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26301 23164 301 301 0 26000 0
vsize: 105204
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34685 0 0 0 105408 608 0 0 25 0 1 0 915032944 107876352 23198 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26337 23198 301 301 0 26036 0
vsize: 105348
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34702 0 0 0 106403 614 0 0 25 0 1 0 915032944 107876352 23215 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26337 23215 301 301 0 26036 0
vsize: 105348
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34729 0 0 0 107397 620 0 0 25 0 1 0 915032944 108032000 23242 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26375 23242 301 301 0 26074 0
vsize: 105500
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34749 0 0 0 108390 626 0 0 25 0 1 0 915032944 108032000 23262 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26375 23262 301 301 0 26074 0
vsize: 105500
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34772 0 0 0 109385 632 0 0 25 0 1 0 915032944 108167168 23285 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26408 23285 301 301 0 26107 0
vsize: 105632
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34801 0 0 0 110379 638 0 0 25 0 1 0 915032944 108167168 23314 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26408 23314 301 301 0 26107 0
vsize: 105632
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34833 0 0 0 111376 642 0 0 25 0 1 0 915032944 108302336 23346 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26441 23346 301 301 0 26140 0
vsize: 105764
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34851 0 0 0 112372 646 0 0 25 0 1 0 915032944 108441600 23364 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26475 23364 301 301 0 26174 0
vsize: 105900
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34883 0 0 0 113367 651 0 0 25 0 1 0 915032944 108441600 23396 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26475 23396 301 301 0 26174 0
vsize: 105900
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34905 0 0 0 114362 656 0 0 25 0 1 0 915032944 108576768 23418 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26508 23418 301 301 0 26207 0
vsize: 106032
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34951 0 0 0 115357 661 0 0 25 0 1 0 915032944 108707840 23464 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26540 23464 301 301 0 26239 0
vsize: 106160
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34983 0 0 0 116351 668 0 0 25 0 1 0 915032944 108851200 23496 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26575 23496 301 301 0 26274 0
vsize: 106300
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 34999 0 0 0 117345 673 0 0 25 0 1 0 915032944 108851200 23512 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26575 23512 301 301 0 26274 0
vsize: 106300
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 35019 0 0 0 118340 678 0 0 25 0 1 0 915032944 108851200 23532 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26575 23532 301 301 0 26274 0
vsize: 106300
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22320
Raw data (stat): 22320 (pb2sat-v2) R 22319 8378 8377 0 -1 0 35052 0 0 0 119334 685 0 0 25 0 1 0 915032944 108986368 23565 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26608 23565 301 301 0 26307 0
vsize: 106432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.65 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 22320
Raw data (stat): 22320 (pb2sat-v2) Z 22319 8378 8377 0 -1 12 35054 0 0 0 119392 689 0 0 25 0 1 0 915032944 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.64
CPU time (s): 1200.82
CPU user time (s): 1193.92
CPU system time (s): 6.89895
CPU usage (%): 100.015
Max. virtual memory (Kb): 106432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####