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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb
MD5SUM	6a6f7751d9c11fcafeb386712eac2f08
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3097606
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1473474440
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1473474440
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	433.74
Number of variables	5376
Total number of constraints	324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	324
Minimum length of a constraint	21
Maximum length of a constraint	1280
Trace number 42972

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 19:54:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26188 boxname=wulflinc3 idbench=1488 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a6f7751d9c11fcafeb386712eac2f08  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran4x64.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran4x64.opb
IDLAUNCH: 26188
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        717816 kB
Buffers:         25308 kB
Cached:         269588 kB
SwapCached:        768 kB
Active:          38716 kB
Inactive:       258296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        717564 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13948 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:15:02 (client local time) WITH STATUS 0 IN 1201.42 SECONDS
stats: 26188 7 1201.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 18348/443957	Time: 150.384/86400
c Decision: 18740/443957	Time: 882.104/86400
c Decision: 18754/443957	Time: 922.051/86400
c Decision: 18757/443957	Time: 939.335/86400
c Decision: 18761/443957	Time: 960.068/86400
c Decision: 18763/443957	Time: 978.631/86400
c Decision: 18763/443957	Time: 989.202/86400
c Decision: 18763/443957	Time: 996.369/86400
c Decision: 18763/443957	Time: 1006.54/86400
c Decision: 18763/443957	Time: 1020.09/86400
c Decision: 18768/443957	Time: 1042.27/86400
c Decision: 18768/443957	Time: 1052.2/86400
c Decision: 18768/443957	Time: 1064.41/86400
c Decision: 18768/443957	Time: 1073.17/86400
c Decision: 18773/443957	Time: 1086.82/86400
c Decision: 18773/443957	Time: 1097.4/86400
c Decision: 18773/443957	Time: 1105.58/86400
c Decision: 18773/443957	Time: 1114.81/86400
c Decision: 18773/443957	Time: 1125.71/86400
c Decision: 18773/443957	Time: 1132.84/86400
c Decision: 18773/443957	Time: 1142.84/86400
c Decision: 18773/443957	Time: 1153.01/86400
c Decision: 18773/443957	Time: 1160.72/86400
c Decision: 18773/443957	Time: 1169.65/86400s 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.93 0.98 0.91 2/54 28855
Raw data (stat): 28855 (runsolver) R 28854 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973435098 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+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 26464 0 0 0 938 60 0 0 25 0 1 0 973435098 79376384 15565 4294967295 134512640 135730672 3221224576 3220705880 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19379 15565 301 301 0 19078 0
vsize: 77516
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 52738 0 0 0 1880 118 0 0 25 0 1 0 973435098 153878528 30870 4294967295 134512640 135730672 3221224576 3221188264 135301581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37568 30870 301 301 0 37267 0
vsize: 150272
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 57129 0 0 0 2868 130 0 0 25 0 1 0 973435098 166379520 34379 4294967295 134512640 135730672 3221224576 3221222896 134732462 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40620 34379 301 301 0 40319 0
vsize: 162480
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 58027 0 0 0 3865 133 0 0 25 0 1 0 973435098 171003904 35277 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41749 35277 301 301 0 41448 0
vsize: 166996
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 58685 0 0 0 4862 136 0 0 25 0 1 0 973435098 174452736 35935 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42591 35935 301 301 0 42290 0
vsize: 170364
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 59281 0 0 0 5860 139 0 0 25 0 1 0 973435098 177631232 36531 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43367 36531 301 301 0 43066 0
vsize: 173468
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 59934 0 0 0 6856 143 0 0 25 0 1 0 973435098 180826112 37184 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44147 37184 301 301 0 43846 0
vsize: 176588
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60238 0 0 0 7854 145 0 0 25 0 1 0 973435098 182345728 37488 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44518 37488 301 301 0 44217 0
vsize: 178072
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60544 0 0 0 8852 147 0 0 25 0 1 0 973435098 184098816 37794 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44946 37794 301 301 0 44645 0
vsize: 179784
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60726 0 0 0 9850 149 0 0 25 0 1 0 973435098 184754176 37976 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45106 37976 301 301 0 44805 0
vsize: 180424
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60875 0 0 0 10848 152 0 0 25 0 1 0 973435098 185573376 38125 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45306 38125 301 301 0 45005 0
vsize: 181224
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61031 0 0 0 11846 154 0 0 25 0 1 0 973435098 186392576 38281 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45506 38281 301 301 0 45205 0
vsize: 182024
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61101 0 0 0 12845 155 0 0 25 0 1 0 973435098 186720256 38351 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45586 38351 301 301 0 45285 0
vsize: 182344
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61224 0 0 0 13842 158 0 0 25 0 1 0 973435098 187211776 38474 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45706 38474 301 301 0 45405 0
vsize: 182824
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61311 0 0 0 14841 159 0 0 25 0 1 0 973435098 187539456 38561 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45786 38561 301 301 0 45485 0
vsize: 183144
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61414 0 0 0 15839 161 0 0 25 0 1 0 973435098 188194816 38664 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45946 38664 301 301 0 45645 0
vsize: 183784
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62416 0 0 0 16836 165 0 0 25 0 1 0 973435098 188686336 38798 4294967295 134512640 135730672 3221224576 3221223128 135301581 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46066 38798 301 301 0 45765 0
vsize: 184264
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62625 0 0 0 17834 166 0 0 25 0 1 0 973435098 189669376 39007 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46306 39007 301 301 0 46005 0
vsize: 185224
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62719 0 0 0 18834 167 0 0 25 0 1 0 973435098 190160896 39101 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46426 39101 301 301 0 46125 0
vsize: 185704
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62758 0 0 0 19832 169 0 0 25 0 1 0 973435098 190324736 39140 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46466 39140 301 301 0 46165 0
vsize: 185864
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62766 0 0 0 20831 170 0 0 25 0 1 0 973435098 190324736 39148 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46466 39148 301 301 0 46165 0
vsize: 185864
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62801 0 0 0 21830 171 0 0 25 0 1 0 973435098 190324736 39183 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46466 39183 301 301 0 46165 0
vsize: 185864
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62807 0 0 0 22830 172 0 0 25 0 1 0 973435098 190324736 39189 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46466 39189 301 301 0 46165 0
vsize: 185864
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62822 0 0 0 23828 174 0 0 25 0 1 0 973435098 190324736 39204 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46466 39204 301 301 0 46165 0
vsize: 185864
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62899 0 0 0 24827 175 0 0 25 0 1 0 973435098 190816256 39281 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46586 39281 301 301 0 46285 0
vsize: 186344
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62954 0 0 0 25826 177 0 0 25 0 1 0 973435098 190980096 39336 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46626 39336 301 301 0 46325 0
vsize: 186504
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62972 0 0 0 26825 178 0 0 25 0 1 0 973435098 190980096 39354 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46626 39354 301 301 0 46325 0
vsize: 186504
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62992 0 0 0 27824 179 0 0 25 0 1 0 973435098 190980096 39374 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46626 39374 301 301 0 46325 0
vsize: 186504
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63091 0 0 0 28823 180 0 0 25 0 1 0 973435098 191471616 39473 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46746 39473 301 301 0 46445 0
vsize: 186984
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28855
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63106 0 0 0 29821 182 0 0 25 0 1 0 973435098 191471616 39488 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46746 39488 301 301 0 46445 0
vsize: 186984
[startup+310.013 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 28908
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63136 0 0 0 30810 192 0 0 25 0 1 0 973435098 191471616 39518 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46746 39518 301 301 0 46445 0
vsize: 186984
[startup+320.013 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 28908
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63175 0 0 0 31809 193 0 0 25 0 1 0 973435098 191635456 39557 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46786 39557 301 301 0 46485 0
vsize: 187144
[startup+330.013 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 28908
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63187 0 0 0 32808 195 0 0 25 0 1 0 973435098 191635456 39569 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46786 39569 301 301 0 46485 0
vsize: 187144
[startup+340.014 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 28908
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63220 0 0 0 33807 196 0 0 25 0 1 0 973435098 191799296 39602 4294967295 134512640 135730672 3221224576 3221223232 134734856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46826 39602 301 301 0 46525 0
vsize: 187304
[startup+350.015 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 28908
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63268 0 0 0 34805 198 0 0 25 0 1 0 973435098 191963136 39650 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46866 39650 301 301 0 46565 0
vsize: 187464
[startup+360.015 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 28908
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63300 0 0 0 35804 200 0 0 25 0 1 0 973435098 191963136 39682 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46866 39682 301 301 0 46565 0
vsize: 187464
[startup+370.016 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 28908
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63312 0 0 0 36803 201 0 0 25 0 1 0 973435098 192126976 39694 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46906 39694 301 301 0 46605 0
vsize: 187624
[startup+380.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63323 0 0 0 37801 203 0 0 25 0 1 0 973435098 192126976 39705 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46906 39705 301 301 0 46605 0
vsize: 187624
[startup+390.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63329 0 0 0 38800 204 0 0 25 0 1 0 973435098 192126976 39711 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46906 39711 301 301 0 46605 0
vsize: 187624
[startup+400.017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63349 0 0 0 39799 205 0 0 25 0 1 0 973435098 192126976 39731 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46906 39731 301 301 0 46605 0
vsize: 187624
[startup+410.018 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63375 0 0 0 40798 207 0 0 25 0 1 0 973435098 192126976 39757 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46906 39757 301 301 0 46605 0
vsize: 187624
[startup+420.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63408 0 0 0 41796 209 0 0 25 0 1 0 973435098 192290816 39790 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46946 39790 301 301 0 46645 0
vsize: 187784
[startup+430.019 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63437 0 0 0 42794 211 0 0 25 0 1 0 973435098 192290816 39819 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46946 39819 301 301 0 46645 0
vsize: 187784
[startup+440.019 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63448 0 0 0 43792 213 0 0 25 0 1 0 973435098 192290816 39830 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46946 39830 301 301 0 46645 0
vsize: 187784
[startup+450.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63479 0 0 0 44791 214 0 0 25 0 1 0 973435098 192454656 39861 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46986 39861 301 301 0 46685 0
vsize: 187944
[startup+460.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63489 0 0 0 45790 215 0 0 25 0 1 0 973435098 192454656 39871 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46986 39871 301 301 0 46685 0
vsize: 187944
[startup+470.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63592 0 0 0 46788 217 0 0 25 0 1 0 973435098 192753664 39974 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47059 39974 301 301 0 46758 0
vsize: 188236
[startup+480.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63835 0 0 0 47787 218 0 0 25 0 1 0 973435098 193744896 40184 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47301 40184 301 301 0 47000 0
vsize: 189204
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63908 0 0 0 48786 220 0 0 25 0 1 0 973435098 194138112 40257 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47397 40257 301 301 0 47096 0
vsize: 189588
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64022 0 0 0 49785 221 0 0 25 0 1 0 973435098 194666496 40371 4294967295 134512640 135730672 3221224576 3221222896 134732482 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47526 40371 301 301 0 47225 0
vsize: 190104
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64135 0 0 0 50784 223 0 0 25 0 1 0 973435098 195059712 40484 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47622 40484 301 301 0 47321 0
vsize: 190488
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64387 0 0 0 51782 225 0 0 25 0 1 0 973435098 196177920 40736 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47895 40736 301 301 0 47594 0
vsize: 191580
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64591 0 0 0 52781 226 0 0 25 0 1 0 973435098 196964352 40940 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48087 40940 301 301 0 47786 0
vsize: 192348
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64715 0 0 0 53779 228 0 0 25 0 1 0 973435098 197554176 41064 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48231 41064 301 301 0 47930 0
vsize: 192924
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64936 0 0 0 54779 229 0 0 25 0 1 0 973435098 198746112 41285 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48522 41285 301 301 0 48221 0
vsize: 194088
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65163 0 0 0 55777 230 0 0 25 0 1 0 973435098 199729152 41512 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48762 41513 301 301 0 48461 0
vsize: 195048
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65265 0 0 0 56776 231 0 0 25 0 1 0 973435098 200257536 41614 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48891 41614 301 301 0 48590 0
vsize: 195564
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65321 0 0 0 57776 232 0 0 25 0 1 0 973435098 200454144 41670 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48939 41670 301 301 0 48638 0
vsize: 195756
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65405 0 0 0 58776 233 0 0 25 0 1 0 973435098 200724480 41754 4294967295 134512640 135730672 3221224576 3221223264 134748464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49005 41754 301 301 0 48704 0
vsize: 196020
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65492 0 0 0 59775 233 0 0 25 0 1 0 973435098 201191424 41841 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49119 41841 301 301 0 48818 0
vsize: 196476
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65679 0 0 0 60774 234 0 0 25 0 1 0 973435098 201986048 41995 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49313 41995 301 301 0 49012 0
vsize: 197252
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 66094 0 0 0 61773 236 0 0 25 0 1 0 973435098 204046336 42344 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49816 42344 301 301 0 49515 0
vsize: 199264
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28910
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 66377 0 0 0 62772 237 0 0 25 0 1 0 973435098 205312000 42627 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50125 42627 301 301 0 49824 0
vsize: 200500
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 66869 0 0 0 63770 239 0 0 25 0 1 0 973435098 207650816 43053 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50696 43053 301 301 0 50395 0
vsize: 202784
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67222 0 0 0 64769 241 0 0 25 0 1 0 973435098 209108992 43373 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51052 43373 301 301 0 50751 0
vsize: 204208
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67249 0 0 0 65768 242 0 0 25 0 1 0 973435098 209244160 43400 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51085 43400 301 301 0 50784 0
vsize: 204340
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67252 0 0 0 66767 242 0 0 25 0 1 0 973435098 209244160 43403 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51085 43403 301 301 0 50784 0
vsize: 204340
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67299 0 0 0 67766 244 0 0 25 0 1 0 973435098 209575936 43450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51166 43450 301 301 0 50865 0
vsize: 204664
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67458 0 0 0 68764 246 0 0 25 0 1 0 973435098 210243584 43609 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51329 43609 301 301 0 51028 0
vsize: 205316
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67466 0 0 0 69764 247 0 0 25 0 1 0 973435098 210243584 43617 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51329 43617 301 301 0 51028 0
vsize: 205316
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67482 0 0 0 70762 248 0 0 25 0 1 0 973435098 210243584 43633 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51329 43633 301 301 0 51028 0
vsize: 205316
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67509 0 0 0 71761 249 0 0 25 0 1 0 973435098 210440192 43660 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51377 43660 301 301 0 51076 0
vsize: 205508
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67814 0 0 0 72760 251 0 0 25 0 1 0 973435098 211640320 43932 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51670 43932 301 301 0 51369 0
vsize: 206680
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67830 0 0 0 73759 252 0 0 25 0 1 0 973435098 211640320 43948 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51670 43948 301 301 0 51369 0
vsize: 206680
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67959 0 0 0 74757 254 0 0 25 0 1 0 973435098 212180992 44077 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51802 44077 301 301 0 51501 0
vsize: 207208
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68036 0 0 0 75756 255 0 0 25 0 1 0 973435098 212586496 44154 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51901 44154 301 301 0 51600 0
vsize: 207604
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68043 0 0 0 76756 256 0 0 25 0 1 0 973435098 212586496 44161 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51901 44161 301 301 0 51600 0
vsize: 207604
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68162 0 0 0 77754 258 0 0 25 0 1 0 973435098 213127168 44280 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52033 44280 301 301 0 51732 0
vsize: 208132
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68313 0 0 0 78753 260 0 0 25 0 1 0 973435098 213999616 44431 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52246 44431 301 301 0 51945 0
vsize: 208984
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68436 0 0 0 79752 261 0 0 25 0 1 0 973435098 214675456 44554 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52411 44554 301 301 0 52110 0
vsize: 209644
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68461 0 0 0 80750 262 0 0 25 0 1 0 973435098 214810624 44579 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52444 44579 301 301 0 52143 0
vsize: 209776
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68491 0 0 0 81749 264 0 0 25 0 1 0 973435098 214945792 44609 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52477 44609 301 301 0 52176 0
vsize: 209908
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68618 0 0 0 82749 265 0 0 25 0 1 0 973435098 215621632 44736 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52642 44736 301 301 0 52341 0
vsize: 210568
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68894 0 0 0 83747 266 0 0 25 0 1 0 973435098 216969216 44979 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52971 44979 301 301 0 52670 0
vsize: 211884
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69191 0 0 0 84746 268 0 0 25 0 1 0 973435098 218177536 45210 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53266 45210 301 301 0 52965 0
vsize: 213064
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69202 0 0 0 85745 269 0 0 25 0 1 0 973435098 218177536 45221 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53266 45221 301 301 0 52965 0
vsize: 213064
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69262 0 0 0 86745 269 0 0 25 0 1 0 973435098 218583040 45281 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53365 45281 301 301 0 53064 0
vsize: 213460
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69323 0 0 0 87744 271 0 0 25 0 1 0 973435098 218853376 45342 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53431 45342 301 301 0 53130 0
vsize: 213724
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69347 0 0 0 88743 272 0 0 25 0 1 0 973435098 218988544 45366 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45366 301 301 0 53163 0
vsize: 213856
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69360 0 0 0 89743 272 0 0 25 0 1 0 973435098 218988544 45379 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45379 301 301 0 53163 0
vsize: 213856
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70235 0 0 0 90739 275 0 0 25 0 1 0 973435098 218988544 45386 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45386 301 301 0 53163 0
vsize: 213856
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70254 0 0 0 91738 276 0 0 25 0 1 0 973435098 218988544 45405 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45405 301 301 0 53163 0
vsize: 213856
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70267 0 0 0 92737 278 0 0 25 0 1 0 973435098 218988544 45418 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45418 301 301 0 53163 0
vsize: 213856
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70273 0 0 0 93735 280 0 0 25 0 1 0 973435098 218988544 45424 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45424 301 301 0 53163 0
vsize: 213856
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 71147 0 0 0 94732 283 0 0 25 0 1 0 973435098 218988544 45430 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45430 301 301 0 53163 0
vsize: 213856
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72030 0 0 0 95729 286 0 0 25 0 1 0 973435098 218988544 45445 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45445 301 301 0 53163 0
vsize: 213856
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72040 0 0 0 96728 288 0 0 25 0 1 0 973435098 218988544 45455 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45455 301 301 0 53163 0
vsize: 213856
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72920 0 0 0 97725 291 0 0 25 0 1 0 973435098 222543872 46335 4294967295 134512640 135730672 3221224576 3221222736 134768884 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54332 46335 301 301 0 54031 0
vsize: 217328
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72933 0 0 0 98724 292 0 0 25 0 1 0 973435098 218988544 45480 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45480 301 301 0 53163 0
vsize: 213856
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 73813 0 0 0 99721 295 0 0 25 0 1 0 973435098 218988544 45492 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45492 301 301 0 53163 0
vsize: 213856
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 74687 0 0 0 100718 298 0 0 25 0 1 0 973435098 218988544 45498 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45498 301 301 0 53163 0
vsize: 213856
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 75560 0 0 0 101715 302 0 0 25 0 1 0 973435098 218988544 45503 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45503 301 301 0 53163 0
vsize: 213856
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 76434 0 0 0 102713 304 0 0 25 0 1 0 973435098 218988544 45509 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45509 301 301 0 53163 0
vsize: 213856
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 77310 0 0 0 103710 308 0 0 25 0 1 0 973435098 222543872 46385 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54332 46385 301 301 0 54031 0
vsize: 217328
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 77320 0 0 0 104708 309 0 0 25 0 1 0 973435098 218988544 45527 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45527 301 301 0 53163 0
vsize: 213856
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 77332 0 0 0 105707 311 0 0 25 0 1 0 973435098 218988544 45539 4294967295 134512640 135730672 3221224576 3221223088 134745856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45539 301 301 0 53163 0
vsize: 213856
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 78207 0 0 0 106704 314 0 0 25 0 1 0 973435098 218988544 45546 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45546 301 301 0 53163 0
vsize: 213856
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 79085 0 0 0 107702 317 0 0 25 0 1 0 973435098 218988544 45556 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45556 301 301 0 53163 0
vsize: 213856
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 79964 0 0 0 108698 320 0 0 25 0 1 0 973435098 218988544 45567 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45567 301 301 0 53163 0
vsize: 213856
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 80845 0 0 0 109695 324 0 0 25 0 1 0 973435098 218988544 45580 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45580 301 301 0 53163 0
vsize: 213856
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 81727 0 0 0 110692 327 0 0 25 0 1 0 973435098 218988544 45594 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45594 301 301 0 53163 0
vsize: 213856
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 82605 0 0 0 111689 330 0 0 25 0 1 0 973435098 218988544 45604 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45604 301 301 0 53163 0
vsize: 213856
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 83486 0 0 0 112687 333 0 0 25 0 1 0 973435098 218988544 45617 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45617 301 301 0 53163 0
vsize: 213856
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 84365 0 0 0 113683 337 0 0 25 0 1 0 973435098 218988544 45628 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45628 301 301 0 53163 0
vsize: 213856
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 85252 0 0 0 114680 339 0 0 25 0 1 0 973435098 218988544 45647 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45647 301 301 0 53163 0
vsize: 213856
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 86134 0 0 0 115677 343 0 0 25 0 1 0 973435098 218988544 45661 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45661 301 301 0 53163 0
vsize: 213856
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 87010 0 0 0 116674 346 0 0 25 0 1 0 973435098 218988544 45669 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45669 301 301 0 53163 0
vsize: 213856
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 87891 0 0 0 117671 349 0 0 25 0 1 0 973435098 218988544 45682 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45682 301 301 0 53163 0
vsize: 213856
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 89640 0 0 0 118667 353 0 0 25 0 1 0 973435098 218988544 45695 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53464 45695 301 301 0 53163 0
vsize: 213856
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28912
Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 90520 0 0 0 119664 357 0 0 25 0 1 0 973435098 222543872 46575 4294967295 134512640 135730672 3221224576 3221222736 134768813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54332 46575 301 301 0 54031 0
vsize: 217328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.28 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 28912
Raw data (stat): 28855 (pb2sat-v2) Z 28854 20224 20223 0 -1 12 90522 0 0 0 119775 366 0 0 25 0 1 0 973435098 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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): 1201.28
CPU time (s): 1201.42
CPU user time (s): 1197.76
CPU system time (s): 3.66444
CPU usage (%): 100.012
Max. virtual memory (Kb): 217328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####