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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41095
Number of constraints which are clauses	41095
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34961

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-28 11:27:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24252 boxname=wulflinc22 idbench=326 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc22/normalized-frb40-19-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-frb40-19-3.opb
IDLAUNCH: 24252
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        913820 kB
Buffers:         32892 kB
Cached:          57164 kB
SwapCached:        384 kB
Active:          50808 kB
Inactive:        49132 kB
HighTotal:      131008 kB
HighFree:        74312 kB
LowTotal:       903652 kB
LowFree:        839508 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            15256 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:47:29 (client local time) WITH STATUS 0 IN 1201.55 SECONDS
stats: 24252 7 1201.55 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 134793/290714	Time: 50.7113/86400
Decision: 137102/290714	Time: 205.861/86400
Decision: 138098/290714	Time: 271.826/86400
Decision: 138625/290714	Time: 370.815/86400
Decision: 151625/290714	Time: 599.307/86400c [startup+899.707 s]  setting bit 9 to 0
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.84 0.94 0.90 2/54 32188
Raw data (stat): 32188 (runsolver) R 32187 23310 23309 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864437006 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.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 29277 0 0 0 934 65 0 0 25 0 1 0 864437006 88596480 18372 4294967295 134512640 135726644 3221224592 3221150496 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21630 18374 300 300 0 21330 0
vsize: 86520
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 50064 0 0 0 1889 109 0 0 25 0 1 0 864437006 152027136 27764 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37116 27764 300 300 0 36816 0
vsize: 148464
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 50950 0 0 0 2887 111 0 0 25 0 1 0 864437006 156770304 28650 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38274 28650 300 300 0 37974 0
vsize: 153096
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 52414 0 0 0 3884 114 0 0 25 0 1 0 864437006 163405824 29789 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39894 29789 300 300 0 39594 0
vsize: 159576
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 54064 0 0 0 4881 118 0 0 25 0 1 0 864437006 169480192 30659 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41377 30659 300 300 0 41077 0
vsize: 165508
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 55436 0 0 0 5877 121 0 0 25 0 1 0 864437006 191279104 31446 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46699 31446 300 300 0 46399 0
vsize: 186796
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 57004 0 0 0 6873 125 0 0 25 0 1 0 864437006 194871296 32121 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47576 32121 300 300 0 47276 0
vsize: 190304
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 57593 0 0 0 7871 126 0 0 25 0 1 0 864437006 197398528 32512 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48193 32512 300 300 0 47893 0
vsize: 192772
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 58491 0 0 0 8870 128 0 0 25 0 1 0 864437006 201396224 33148 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49169 33148 300 300 0 48869 0
vsize: 196676
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 58861 0 0 0 9869 128 0 0 25 0 1 0 864437006 202719232 33355 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49492 33355 300 300 0 49192 0
vsize: 197968
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 58879 0 0 0 10870 129 0 0 25 0 1 0 864437006 202719232 33373 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49492 33373 300 300 0 49192 0
vsize: 197968
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59062 0 0 0 11869 129 0 0 25 0 1 0 864437006 203243520 33427 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49620 33427 300 300 0 49320 0
vsize: 198480
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59084 0 0 0 12869 129 0 0 25 0 1 0 864437006 203243520 33449 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49620 33449 300 300 0 49320 0
vsize: 198480
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59091 0 0 0 13869 130 0 0 25 0 1 0 864437006 203243520 33456 4294967295 134512640 135726644 3221224592 3221223184 134760075 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49620 33456 300 300 0 49320 0
vsize: 198480
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59120 0 0 0 14869 130 0 0 25 0 1 0 864437006 203243520 33485 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49620 33485 300 300 0 49320 0
vsize: 198480
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59129 0 0 0 15869 130 0 0 25 0 1 0 864437006 203243520 33494 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49620 33494 300 300 0 49320 0
vsize: 198480
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59175 0 0 0 16869 130 0 0 25 0 1 0 864437006 203509760 33540 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49685 33540 300 300 0 49385 0
vsize: 198740
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59187 0 0 0 17869 130 0 0 25 0 1 0 864437006 203509760 33552 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49685 33552 300 300 0 49385 0
vsize: 198740
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59199 0 0 0 18869 131 0 0 25 0 1 0 864437006 203509760 33564 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49685 33564 300 300 0 49385 0
vsize: 198740
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59208 0 0 0 19869 131 0 0 25 0 1 0 864437006 203509760 33573 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49685 33573 300 300 0 49385 0
vsize: 198740
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59216 0 0 0 20869 131 0 0 25 0 1 0 864437006 203509760 33581 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49685 33581 300 300 0 49385 0
vsize: 198740
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 59224 0 0 0 21869 131 0 0 25 0 1 0 864437006 203509760 33589 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49685 33589 300 300 0 49385 0
vsize: 198740
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 60290 0 0 0 22866 134 0 0 25 0 1 0 864437006 205312000 33891 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50125 33891 300 300 0 49825 0
vsize: 200500
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 60322 0 0 0 23866 134 0 0 25 0 1 0 864437006 205312000 33923 4294967295 134512640 135726644 3221224592 3221223148 134736578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50125 33923 300 300 0 49825 0
vsize: 200500
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 60331 0 0 0 24866 135 0 0 25 0 1 0 864437006 205312000 33932 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50125 33932 300 300 0 49825 0
vsize: 200500
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 60357 0 0 0 25866 135 0 0 25 0 1 0 864437006 205312000 33958 4294967295 134512640 135726644 3221224592 3221223216 134744656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50125 33958 300 300 0 49825 0
vsize: 200500
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 60369 0 0 0 26866 135 0 0 25 0 1 0 864437006 205312000 33970 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50125 33970 300 300 0 49825 0
vsize: 200500
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 60377 0 0 0 27866 135 0 0 25 0 1 0 864437006 205312000 33978 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50125 33978 300 300 0 49825 0
vsize: 200500
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 60965 0 0 0 28864 137 0 0 25 0 1 0 864437006 205312000 33998 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50125 33998 300 300 0 49825 0
vsize: 200500
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61089 0 0 0 29864 137 0 0 25 0 1 0 864437006 205848576 34089 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50256 34089 300 300 0 49956 0
vsize: 201024
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61100 0 0 0 30864 137 0 0 25 0 1 0 864437006 205848576 34100 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50256 34100 300 300 0 49956 0
vsize: 201024
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61107 0 0 0 31863 138 0 0 25 0 1 0 864437006 205848576 34107 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50256 34107 300 300 0 49956 0
vsize: 201024
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61112 0 0 0 32864 138 0 0 25 0 1 0 864437006 205848576 34112 4294967295 134512640 135726644 3221224592 3221223136 134736698 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50256 34112 300 300 0 49956 0
vsize: 201024
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61293 0 0 0 33863 138 0 0 25 0 1 0 864437006 206372864 34164 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34164 300 300 0 50084 0
vsize: 201536
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61300 0 0 0 34863 138 0 0 25 0 1 0 864437006 206372864 34171 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34171 300 300 0 50084 0
vsize: 201536
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61307 0 0 0 35863 138 0 0 25 0 1 0 864437006 206372864 34178 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34178 300 300 0 50084 0
vsize: 201536
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61315 0 0 0 36863 139 0 0 25 0 1 0 864437006 206372864 34186 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34186 300 300 0 50084 0
vsize: 201536
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61323 0 0 0 37863 139 0 0 25 0 1 0 864437006 206372864 34194 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34194 300 300 0 50084 0
vsize: 201536
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61899 0 0 0 38862 140 0 0 25 0 1 0 864437006 206372864 34202 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50384 34202 300 300 0 50084 0
vsize: 201536
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61909 0 0 0 39862 141 0 0 25 0 1 0 864437006 206372864 34212 4294967295 134512640 135726644 3221224592 3221223184 134760015 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34212 300 300 0 50084 0
vsize: 201536
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61916 0 0 0 40862 141 0 0 25 0 1 0 864437006 206372864 34219 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34219 300 300 0 50084 0
vsize: 201536
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61924 0 0 0 41862 141 0 0 25 0 1 0 864437006 206372864 34227 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34227 300 300 0 50084 0
vsize: 201536
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61931 0 0 0 42862 141 0 0 25 0 1 0 864437006 206372864 34234 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34234 300 300 0 50084 0
vsize: 201536
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61939 0 0 0 43862 141 0 0 25 0 1 0 864437006 206372864 34242 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34242 300 300 0 50084 0
vsize: 201536
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61946 0 0 0 44862 141 0 0 25 0 1 0 864437006 206372864 34249 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34249 300 300 0 50084 0
vsize: 201536
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61952 0 0 0 45862 141 0 0 25 0 1 0 864437006 206372864 34255 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34255 300 300 0 50084 0
vsize: 201536
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61960 0 0 0 46862 141 0 0 25 0 1 0 864437006 206372864 34263 4294967295 134512640 135726644 3221224592 3221222840 135281017 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34263 300 300 0 50084 0
vsize: 201536
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61968 0 0 0 47862 141 0 0 25 0 1 0 864437006 206372864 34271 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34271 300 300 0 50084 0
vsize: 201536
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61976 0 0 0 48862 141 0 0 25 0 1 0 864437006 206372864 34279 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34279 300 300 0 50084 0
vsize: 201536
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61986 0 0 0 49862 142 0 0 25 0 1 0 864437006 206372864 34289 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34289 300 300 0 50084 0
vsize: 201536
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 61997 0 0 0 50862 142 0 0 25 0 1 0 864437006 206372864 34300 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34300 300 300 0 50084 0
vsize: 201536
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62003 0 0 0 51863 142 0 0 25 0 1 0 864437006 206372864 34306 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34306 300 300 0 50084 0
vsize: 201536
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62009 0 0 0 52863 142 0 0 25 0 1 0 864437006 206372864 34312 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34312 300 300 0 50084 0
vsize: 201536
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62017 0 0 0 53863 142 0 0 25 0 1 0 864437006 206372864 34320 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34320 300 300 0 50084 0
vsize: 201536
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62027 0 0 0 54863 142 0 0 25 0 1 0 864437006 206372864 34330 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34330 300 300 0 50084 0
vsize: 201536
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62034 0 0 0 55863 142 0 0 25 0 1 0 864437006 206372864 34337 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50384 34337 300 300 0 50084 0
vsize: 201536
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62120 0 0 0 56863 142 0 0 25 0 1 0 864437006 206635008 34358 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50448 34358 300 300 0 50148 0
vsize: 201792
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62127 0 0 0 57863 142 0 0 25 0 1 0 864437006 206635008 34365 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50448 34365 300 300 0 50148 0
vsize: 201792
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62135 0 0 0 58863 143 0 0 25 0 1 0 864437006 206635008 34373 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50448 34373 300 300 0 50148 0
vsize: 201792
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62142 0 0 0 59863 143 0 0 25 0 1 0 864437006 206635008 34380 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50448 34380 300 300 0 50148 0
vsize: 201792
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 62149 0 0 0 60863 143 0 0 25 0 1 0 864437006 206635008 34387 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50448 34387 300 300 0 50148 0
vsize: 201792
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63214 0 0 0 61861 146 0 0 25 0 1 0 864437006 208318464 34655 4294967295 134512640 135726644 3221224592 3221223216 134744580 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50859 34655 300 300 0 50559 0
vsize: 203436
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63384 0 0 0 62859 146 0 0 25 0 1 0 864437006 209022976 34825 4294967295 134512640 135726644 3221224592 3221223136 134736596 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34825 300 300 0 50731 0
vsize: 204124
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63395 0 0 0 63859 147 0 0 25 0 1 0 864437006 209022976 34836 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34836 300 300 0 50731 0
vsize: 204124
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63404 0 0 0 64859 147 0 0 25 0 1 0 864437006 209022976 34845 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34845 300 300 0 50731 0
vsize: 204124
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63414 0 0 0 65859 147 0 0 25 0 1 0 864437006 209022976 34855 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34855 300 300 0 50731 0
vsize: 204124
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63423 0 0 0 66859 147 0 0 25 0 1 0 864437006 209022976 34864 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34864 300 300 0 50731 0
vsize: 204124
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63429 0 0 0 67860 147 0 0 25 0 1 0 864437006 209022976 34870 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34870 300 300 0 50731 0
vsize: 204124
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63438 0 0 0 68860 147 0 0 25 0 1 0 864437006 209022976 34879 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34879 300 300 0 50731 0
vsize: 204124
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63446 0 0 0 69860 148 0 0 25 0 1 0 864437006 209022976 34887 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34887 300 300 0 50731 0
vsize: 204124
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63453 0 0 0 70860 148 0 0 25 0 1 0 864437006 209022976 34894 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34894 300 300 0 50731 0
vsize: 204124
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63461 0 0 0 71860 148 0 0 25 0 1 0 864437006 209022976 34902 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34902 300 300 0 50731 0
vsize: 204124
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63468 0 0 0 72860 148 0 0 25 0 1 0 864437006 209022976 34909 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34909 300 300 0 50731 0
vsize: 204124
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63476 0 0 0 73860 148 0 0 25 0 1 0 864437006 209022976 34917 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34917 300 300 0 50731 0
vsize: 204124
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63484 0 0 0 74860 148 0 0 25 0 1 0 864437006 209022976 34925 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34925 300 300 0 50731 0
vsize: 204124
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63491 0 0 0 75860 148 0 0 25 0 1 0 864437006 209022976 34932 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34932 300 300 0 50731 0
vsize: 204124
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63499 0 0 0 76860 149 0 0 25 0 1 0 864437006 209022976 34940 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34940 300 300 0 50731 0
vsize: 204124
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63506 0 0 0 77860 149 0 0 25 0 1 0 864437006 209022976 34947 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34947 300 300 0 50731 0
vsize: 204124
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63512 0 0 0 78860 149 0 0 25 0 1 0 864437006 209022976 34953 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34953 300 300 0 50731 0
vsize: 204124
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63521 0 0 0 79860 149 0 0 25 0 1 0 864437006 209022976 34962 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34962 300 300 0 50731 0
vsize: 204124
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63528 0 0 0 80860 149 0 0 25 0 1 0 864437006 209022976 34969 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34969 300 300 0 50731 0
vsize: 204124
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63538 0 0 0 81860 150 0 0 25 0 1 0 864437006 209022976 34979 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34979 300 300 0 50731 0
vsize: 204124
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63546 0 0 0 82860 150 0 0 25 0 1 0 864437006 209022976 34987 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34987 300 300 0 50731 0
vsize: 204124
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63554 0 0 0 83860 150 0 0 25 0 1 0 864437006 209022976 34995 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 34995 300 300 0 50731 0
vsize: 204124
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63560 0 0 0 84860 150 0 0 25 0 1 0 864437006 209022976 35001 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 35001 300 300 0 50731 0
vsize: 204124
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63568 0 0 0 85860 150 0 0 25 0 1 0 864437006 209022976 35009 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 35009 300 300 0 50731 0
vsize: 204124
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63575 0 0 0 86860 150 0 0 25 0 1 0 864437006 209022976 35016 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 35016 300 300 0 50731 0
vsize: 204124
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63583 0 0 0 87860 150 0 0 25 0 1 0 864437006 209022976 35024 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 35024 300 300 0 50731 0
vsize: 204124
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 63592 0 0 0 88860 150 0 0 25 0 1 0 864437006 209022976 35033 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51031 35033 300 300 0 50731 0
vsize: 204124
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64444 0 0 0 89858 153 0 0 25 0 1 0 864437006 213450752 35885 4294967295 134512640 135726644 3221224592 3221222904 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52112 35885 300 300 0 51812 0
vsize: 208448
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64472 0 0 0 90857 153 0 0 25 0 1 0 864437006 211124224 35345 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35345 300 300 0 51244 0
vsize: 206176
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64498 0 0 0 91857 154 0 0 25 0 1 0 864437006 211124224 35371 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35371 300 300 0 51244 0
vsize: 206176
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64535 0 0 0 92857 154 0 0 25 0 1 0 864437006 211124224 35408 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35408 300 300 0 51244 0
vsize: 206176
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64566 0 0 0 93857 155 0 0 25 0 1 0 864437006 211124224 35439 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35439 300 300 0 51244 0
vsize: 206176
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64602 0 0 0 94856 155 0 0 25 0 1 0 864437006 211124224 35475 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35475 300 300 0 51244 0
vsize: 206176
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64622 0 0 0 95856 155 0 0 25 0 1 0 864437006 211124224 35495 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35495 300 300 0 51244 0
vsize: 206176
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64647 0 0 0 96856 156 0 0 25 0 1 0 864437006 211124224 35520 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35520 300 300 0 51244 0
vsize: 206176
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64673 0 0 0 97856 156 0 0 25 0 1 0 864437006 211124224 35546 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35546 300 300 0 51244 0
vsize: 206176
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64704 0 0 0 98856 156 0 0 25 0 1 0 864437006 211124224 35577 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35577 300 300 0 51244 0
vsize: 206176
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64728 0 0 0 99856 156 0 0 25 0 1 0 864437006 211124224 35601 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51544 35601 300 300 0 51244 0
vsize: 206176
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64754 0 0 0 100856 157 0 0 25 0 1 0 864437006 211025920 35611 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51520 35611 300 300 0 51220 0
vsize: 206080
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64786 0 0 0 101856 157 0 0 25 0 1 0 864437006 211025920 35643 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51520 35643 300 300 0 51220 0
vsize: 206080
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64833 0 0 0 102855 158 0 0 25 0 1 0 864437006 211222528 35690 4294967295 134512640 135726644 3221224592 3221222912 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51568 35690 300 300 0 51268 0
vsize: 206272
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64875 0 0 0 103855 158 0 0 25 0 1 0 864437006 211222528 35732 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51568 35732 300 300 0 51268 0
vsize: 206272
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64899 0 0 0 104855 158 0 0 25 0 1 0 864437006 211222528 35756 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51568 35756 300 300 0 51268 0
vsize: 206272
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64944 0 0 0 105855 159 0 0 25 0 1 0 864437006 211222528 35801 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51568 35801 300 300 0 51268 0
vsize: 206272
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 64958 0 0 0 106855 159 0 0 25 0 1 0 864437006 211222528 35815 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51568 35815 300 300 0 51268 0
vsize: 206272
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65003 0 0 0 107855 159 0 0 25 0 1 0 864437006 211357696 35860 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 35860 300 300 0 51301 0
vsize: 206404
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65023 0 0 0 108855 159 0 0 25 0 1 0 864437006 211357696 35880 4294967295 134512640 135726644 3221224592 3221222912 134728916 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 35880 300 300 0 51301 0
vsize: 206404
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65046 0 0 0 109855 160 0 0 25 0 1 0 864437006 211357696 35903 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 35903 300 300 0 51301 0
vsize: 206404
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65072 0 0 0 110855 160 0 0 25 0 1 0 864437006 211357696 35929 4294967295 134512640 135726644 3221224592 3221223236 134744672 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 35929 300 300 0 51301 0
vsize: 206404
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65098 0 0 0 111855 160 0 0 25 0 1 0 864437006 211357696 35955 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 35955 300 300 0 51301 0
vsize: 206404
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65119 0 0 0 112855 160 0 0 25 0 1 0 864437006 211357696 35976 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 35976 300 300 0 51301 0
vsize: 206404
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65138 0 0 0 113854 161 0 0 25 0 1 0 864437006 211357696 35995 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 35995 300 300 0 51301 0
vsize: 206404
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65160 0 0 0 114855 161 0 0 25 0 1 0 864437006 211357696 36017 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 36017 300 300 0 51301 0
vsize: 206404
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65177 0 0 0 115855 161 0 0 25 0 1 0 864437006 211357696 36034 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 36034 300 300 0 51301 0
vsize: 206404
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65204 0 0 0 116855 161 0 0 25 0 1 0 864437006 211357696 36061 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51601 36061 300 300 0 51301 0
vsize: 206404
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65336 0 0 0 117854 162 0 0 25 0 1 0 864437006 211890176 36177 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51731 36177 300 300 0 51431 0
vsize: 206924
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65456 0 0 0 118854 162 0 0 25 0 1 0 864437006 212447232 36297 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51867 36297 300 300 0 51567 0
vsize: 207468
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32188
Raw data (stat): 32188 (pb2sat) R 32187 23310 23309 0 -1 0 65477 0 0 0 119854 162 0 0 25 0 1 0 864437006 212447232 36318 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51867 36318 300 300 0 51567 0
vsize: 207468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.41 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32188
Raw data (stat): 32188 (pb2sat) Z 32187 23310 23309 0 -1 12 65478 0 0 0 119984 170 0 0 25 0 1 0 864437006 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): 1201.41
CPU time (s): 1201.55
CPU user time (s): 1199.85
CPU system time (s): 1.70174
CPU usage (%): 100.012
Max. virtual memory (Kb): 208448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####