PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	2d8f46b77d84c45a7178d4a463744176
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.128979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 15270

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-21 03:40:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18105 boxname=wulflinc12 idbench=1393 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2d8f46b77d84c45a7178d4a463744176  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-tr12-30.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-tr12-30.opb
IDLAUNCH: 18105
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        823000 kB
Buffers:         24556 kB
Cached:         165460 kB
SwapCached:        316 kB
Active:          29580 kB
Inactive:       162700 kB
HighTotal:      131008 kB
HighFree:        35532 kB
LowTotal:       903652 kB
LowFree:        787468 kB
SwapTotal:     2097136 kB
SwapFree:      2096236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            13848 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 04:01:16 (client local time) WITH STATUS 143 IN 1260.31 SECONDS
stats: 18105 7 1260.31 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-tr12-30.opb
c reading problem 
c [nbvar=14760]
c [nbconstr=1110]
c time 68.275
c #vars     14760
c #clauses  1110
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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
Raw data (loadavg): 0.91 0.95 0.90 2/54 19225
Raw data (stat): 19225 (runsolver) R 19224 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483687390 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/63 19234
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17894 0 91 0 537 46 0 0 24 0 10 0 483687390 853942272 18935 4294967295 134512640 134569956 3221224400 3221214624 1130890625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208482 18935 13073 16 0 208466 0
vsize: 833928
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/63 19234
Raw data (stat): 19225 (java) S 19224 25285 25284 0 -1 0 17895 0 91 0 1451 47 0 0 25 0 10 0 483687390 853811200 19537 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 19537 13073 16 0 208434 0
vsize: 833800
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 19234
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17904 0 91 0 2282 47 0 0 25 0 10 0 483687390 857735168 21073 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209408 21073 13073 16 0 209392 0
vsize: 837632
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 19234
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17904 0 91 0 3163 47 0 0 25 0 10 0 483687390 857735168 21375 4294967295 134512640 134569956 3221224400 3221214336 1079300802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209408 21375 13073 16 0 209392 0
vsize: 837632
[startup+50.0043 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 19234
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17904 0 91 0 4037 47 0 0 25 0 10 0 483687390 857735168 21662 4294967295 134512640 134569956 3221224400 3221214824 1131204622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209408 21662 13073 16 0 209392 0
vsize: 837632
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 19234
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17904 0 91 0 4918 48 0 0 25 0 10 0 483687390 857735168 21931 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209408 21931 13073 16 0 209392 0
vsize: 837632
[startup+70.0172 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 19234
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17904 0 91 0 5807 48 0 0 25 0 10 0 483687390 857735168 22174 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209408 22174 13073 16 0 209392 0
vsize: 837632
[startup+80.0173 s]
Raw data (loadavg): 0.98 0.96 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17972 0 92 0 6597 50 0 0 25 0 11 0 483687390 864575488 24234 4294967295 134512640 134569956 3221224400 3221214728 1131361976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211078 24234 13073 16 0 211062 0
vsize: 844312
[startup+90.0171 s]
Raw data (loadavg): 0.98 0.96 0.91 3/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17973 0 92 0 7511 50 0 0 25 0 11 0 483687390 863334400 24052 4294967295 134512640 134569956 3221224400 3221214600 1130883333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 24052 13073 16 0 210759 0
vsize: 843100
[startup+100.017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17973 0 92 0 8432 50 0 0 25 0 11 0 483687390 863334400 24147 4294967295 134512640 134569956 3221224400 3221214776 1131433888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 24147 13073 16 0 210759 0
vsize: 843100
[startup+110.018 s]
Raw data (loadavg): 1.06 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 9364 50 0 0 25 0 11 0 483687390 867168256 25151 4294967295 134512640 134569956 3221224400 3221214768 1131433880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211711 25151 13073 16 0 211695 0
vsize: 846844
[startup+120.019 s]
Raw data (loadavg): 1.05 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 10332 50 0 0 25 0 11 0 483687390 866250752 25545 4294967295 134512640 134569956 3221224400 3221214672 1131358945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211487 25545 13073 16 0 211471 0
vsize: 845948
[startup+130.019 s]
Raw data (loadavg): 1.04 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 11314 50 0 0 25 0 11 0 483687390 866250752 25596 4294967295 134512640 134569956 3221224400 3221214768 1131439456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211487 25596 13073 16 0 211471 0
vsize: 845948
[startup+140.019 s]
Raw data (loadavg): 1.04 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 12296 50 0 0 25 0 11 0 483687390 866250752 25666 4294967295 134512640 134569956 3221224400 3221214720 1131361978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211487 25666 13073 16 0 211471 0
vsize: 845948
[startup+150.022 s]
Raw data (loadavg): 1.03 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 13279 51 0 0 25 0 11 0 483687390 866250752 25705 4294967295 134512640 134569956 3221224400 3221214608 1131393772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211487 25705 13073 16 0 211471 0
vsize: 845948
[startup+160.027 s]
Raw data (loadavg): 1.03 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 14258 51 0 0 25 0 11 0 483687390 863334400 25058 4294967295 134512640 134569956 3221224400 3221214820 1130915293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210775 25058 13073 16 0 210759 0
vsize: 843100
[startup+170.027 s]
Raw data (loadavg): 1.02 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 15239 51 0 0 25 0 11 0 483687390 863334400 25096 4294967295 134512640 134569956 3221224400 3221214608 1131393881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25096 13073 16 0 210759 0
vsize: 843100
[startup+180.027 s]
Raw data (loadavg): 1.02 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 16214 52 0 0 25 0 11 0 483687390 863334400 25134 4294967295 134512640 134569956 3221224400 3221214840 1131388422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25134 13073 16 0 210759 0
vsize: 843100
[startup+190.041 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 17197 52 0 0 25 0 11 0 483687390 863334400 25157 4294967295 134512640 134569956 3221224400 3221214688 1131706572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25157 13073 16 0 210759 0
vsize: 843100
[startup+200.041 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 18172 52 0 0 25 0 11 0 483687390 863334400 25241 4294967295 134512640 134569956 3221224400 3221214768 1131433459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25241 13073 16 0 210759 0
vsize: 843100
[startup+210.041 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 19150 52 0 0 25 0 11 0 483687390 863334400 25310 4294967295 134512640 134569956 3221224400 3221214840 1131388256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25310 13073 16 0 210759 0
vsize: 843100
[startup+220.057 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 20144 53 0 0 25 0 11 0 483687390 863334400 25324 4294967295 134512640 134569956 3221224400 3221214688 1131706668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25324 13073 16 0 210759 0
vsize: 843100
[startup+230.057 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 21130 53 0 0 25 0 11 0 483687390 863334400 25343 4294967295 134512640 134569956 3221224400 3221214688 1131706653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25343 13073 16 0 210759 0
vsize: 843100
[startup+240.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 22118 53 0 0 25 0 11 0 483687390 863334400 25372 4294967295 134512640 134569956 3221224400 3221214584 1131340521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25372 13073 16 0 210759 0
vsize: 843100
[startup+250.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 23090 54 0 0 25 0 11 0 483687390 863334400 25433 4294967295 134512640 134569956 3221224400 3221214688 1131706664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25433 13073 16 0 210759 0
vsize: 843100
[startup+260.172 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 24063 54 0 0 25 0 11 0 483687390 863334400 25539 4294967295 134512640 134569956 3221224400 3221214688 1131706572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25539 13073 16 0 210759 0
vsize: 843100
[startup+270.172 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 25032 55 0 0 25 0 11 0 483687390 863334400 25598 4294967295 134512640 134569956 3221224400 3221214728 1131398495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25598 13073 16 0 210759 0
vsize: 843100
[startup+280.173 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 25996 55 0 0 25 0 11 0 483687390 863334400 25668 4294967295 134512640 134569956 3221224400 3221214688 1131706653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25668 13073 16 0 210759 0
vsize: 843100
[startup+290.173 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 26970 56 0 0 25 0 11 0 483687390 863334400 25897 4294967295 134512640 134569956 3221224400 3221214720 1131361973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 25897 13073 16 0 210759 0
vsize: 843100
[startup+300.174 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 27950 56 0 0 25 0 11 0 483687390 863334400 26005 4294967295 134512640 134569956 3221224400 3221214688 1131706575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26005 13073 16 0 210759 0
vsize: 843100
[startup+310.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 28933 56 0 0 25 0 11 0 483687390 863334400 26060 4294967295 134512640 134569956 3221224400 3221214672 1131358945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26060 13073 16 0 210759 0
vsize: 843100
[startup+320.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 29913 56 0 0 25 0 11 0 483687390 863334400 26116 4294967295 134512640 134569956 3221224400 3221214672 1131359175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26116 13073 16 0 210759 0
vsize: 843100
[startup+330.175 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 30894 57 0 0 25 0 11 0 483687390 863334400 26193 4294967295 134512640 134569956 3221224400 3221214768 1131432525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26193 13073 16 0 210759 0
vsize: 843100
[startup+340.176 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 31875 57 0 0 24 0 11 0 483687390 863334400 26262 4294967295 134512640 134569956 3221224400 3221214928 1131237337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26262 13073 16 0 210759 0
vsize: 843100
[startup+350.177 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 32858 58 0 0 25 0 11 0 483687390 863334400 26327 4294967295 134512640 134569956 3221224400 3221214672 1131358945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26327 13073 16 0 210759 0
vsize: 843100
[startup+360.177 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 33839 58 0 0 25 0 11 0 483687390 863334400 26392 4294967295 134512640 134569956 3221224400 3221214688 1131706575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26392 13073 16 0 210759 0
vsize: 843100
[startup+370.179 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 34822 59 0 0 25 0 11 0 483687390 863334400 26450 4294967295 134512640 134569956 3221224400 3221214672 1131359113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26450 13073 16 0 210759 0
vsize: 843100
[startup+380.179 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 35801 59 0 0 25 0 11 0 483687390 863334400 26545 4294967295 134512640 134569956 3221224400 3221214768 1131432590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26545 13073 16 0 210759 0
vsize: 843100
[startup+390.178 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 36781 59 0 0 25 0 11 0 483687390 863334400 26608 4294967295 134512640 134569956 3221224400 3221214688 1131706575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26608 13073 16 0 210759 0
vsize: 843100
[startup+400.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 37761 59 0 0 25 0 11 0 483687390 863334400 26683 4294967295 134512640 134569956 3221224400 3221214924 1130885225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26683 13073 16 0 210759 0
vsize: 843100
[startup+410.18 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 38741 60 0 0 25 0 11 0 483687390 863334400 26748 4294967295 134512640 134569956 3221224400 3221214760 1131274418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26748 13073 16 0 210759 0
vsize: 843100
[startup+420.181 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 39721 60 0 0 25 0 11 0 483687390 863334400 26808 4294967295 134512640 134569956 3221224400 3221214672 1131358905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26808 13073 16 0 210759 0
vsize: 843100
[startup+430.183 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 40703 60 0 0 25 0 11 0 483687390 863334400 26877 4294967295 134512640 134569956 3221224400 3221214768 1131439456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26877 13073 16 0 210759 0
vsize: 843100
[startup+440.183 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 41685 61 0 0 25 0 11 0 483687390 863334400 26937 4294967295 134512640 134569956 3221224400 3221214688 1131706560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26937 13073 16 0 210759 0
vsize: 843100
[startup+450.184 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 42664 61 0 0 25 0 11 0 483687390 863334400 26984 4294967295 134512640 134569956 3221224400 3221214768 1131434350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 26984 13073 16 0 210759 0
vsize: 843100
[startup+460.184 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 43644 61 0 0 25 0 11 0 483687390 863334400 27042 4294967295 134512640 134569956 3221224400 3221214728 1131398519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27042 13073 16 0 210759 0
vsize: 843100
[startup+470.186 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 44622 62 0 0 25 0 11 0 483687390 863334400 27141 4294967295 134512640 134569956 3221224400 3221214472 1131720322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27141 13073 16 0 210759 0
vsize: 843100
[startup+480.186 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 45602 62 0 0 25 0 11 0 483687390 863334400 27202 4294967295 134512640 134569956 3221224400 3221214768 1131438796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27202 13073 16 0 210759 0
vsize: 843100
[startup+490.187 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 46584 63 0 0 25 0 11 0 483687390 863334400 27271 4294967295 134512640 134569956 3221224400 3221214768 1131433996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27271 13073 16 0 210759 0
vsize: 843100
[startup+500.188 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 47562 63 0 0 25 0 11 0 483687390 863334400 27367 4294967295 134512640 134569956 3221224400 3221214768 1131438426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27367 13073 16 0 210759 0
vsize: 843100
[startup+510.189 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 48544 63 0 0 25 0 11 0 483687390 863334400 27445 4294967295 134512640 134569956 3221224400 3221214672 1131358905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27445 13073 16 0 210759 0
vsize: 843100
[startup+520.19 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 49523 64 0 0 24 0 11 0 483687390 863334400 27535 4294967295 134512640 134569956 3221224400 3221214320 1131710807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27535 13073 16 0 210759 0
vsize: 843100
[startup+530.191 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 50505 65 0 0 25 0 11 0 483687390 863334400 27590 4294967295 134512640 134569956 3221224400 3221214672 1131359153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27590 13073 16 0 210759 0
vsize: 843100
[startup+540.19 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 51487 65 0 0 25 0 11 0 483687390 863334400 27657 4294967295 134512640 134569956 3221224400 3221214768 1131435477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27657 13073 16 0 210759 0
vsize: 843100
[startup+550.191 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 52466 66 0 0 25 0 11 0 483687390 863334400 27738 4294967295 134512640 134569956 3221224400 3221214664 1131337611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27738 13073 16 0 210759 0
vsize: 843100
[startup+560.191 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 53448 66 0 0 25 0 11 0 483687390 863334400 27797 4294967295 134512640 134569956 3221224400 3221214768 1131432525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27797 13073 16 0 210759 0
vsize: 843100
[startup+570.192 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 54427 67 0 0 25 0 11 0 483687390 863334400 27857 4294967295 134512640 134569956 3221224400 3221214672 1131358891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27857 13073 16 0 210759 0
vsize: 843100
[startup+580.192 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 55408 67 0 0 25 0 11 0 483687390 863334400 27920 4294967295 134512640 134569956 3221224400 3221214768 1131435416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27920 13073 16 0 210759 0
vsize: 843100
[startup+590.191 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 56386 68 0 0 25 0 11 0 483687390 863334400 27990 4294967295 134512640 134569956 3221224400 3221214728 1131400033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 27990 13073 16 0 210759 0
vsize: 843100
[startup+600.192 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 57367 68 0 0 25 0 11 0 483687390 863334400 28039 4294967295 134512640 134569956 3221224400 3221214768 1131434649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28039 13073 16 0 210759 0
vsize: 843100
[startup+610.193 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 58345 68 0 0 24 0 11 0 483687390 863334400 28117 4294967295 134512640 134569956 3221224400 3221214760 1131274415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28117 13073 16 0 210759 0
vsize: 843100
[startup+620.193 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 59327 68 0 0 25 0 11 0 483687390 863334400 28183 4294967295 134512640 134569956 3221224400 3221214768 1131432323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28183 13073 16 0 210759 0
vsize: 843100
[startup+630.193 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) S 19224 25285 25284 0 -1 0 17974 0 92 0 60307 69 0 0 25 0 11 0 483687390 863334400 28262 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28262 13073 16 0 210759 0
vsize: 843100
[startup+640.194 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 61287 69 0 0 25 0 11 0 483687390 863334400 28315 4294967295 134512640 134569956 3221224400 3221214688 1131706572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28315 13073 16 0 210759 0
vsize: 843100
[startup+650.195 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 62269 69 0 0 25 0 11 0 483687390 863334400 28372 4294967295 134512640 134569956 3221224400 3221213896 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28372 13073 16 0 210759 0
vsize: 843100
[startup+660.195 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 63247 69 0 0 25 0 11 0 483687390 863334400 28444 4294967295 134512640 134569956 3221224400 3221214688 1131706668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28444 13073 16 0 210759 0
vsize: 843100
[startup+670.197 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 64228 70 0 0 25 0 11 0 483687390 863334400 28524 4294967295 134512640 134569956 3221224400 3221214264 1131710801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28524 13073 16 0 210759 0
vsize: 843100
[startup+680.197 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 65207 70 0 0 25 0 11 0 483687390 863334400 28608 4294967295 134512640 134569956 3221224400 3221214664 1131337599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28608 13073 16 0 210759 0
vsize: 843100
[startup+690.197 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 66189 70 0 0 25 0 11 0 483687390 863334400 28682 4294967295 134512640 134569956 3221224400 3221214760 1131274415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28682 13073 16 0 210759 0
vsize: 843100
[startup+700.198 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 67168 71 0 0 25 0 11 0 483687390 863334400 28742 4294967295 134512640 134569956 3221224400 3221214672 1131358905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28742 13073 16 0 210759 0
vsize: 843100
[startup+710.199 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 68149 71 0 0 25 0 11 0 483687390 863334400 28807 4294967295 134512640 134569956 3221224400 3221214096 1131710748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28807 13073 16 0 210759 0
vsize: 843100
[startup+720.199 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 69123 72 0 0 25 0 11 0 483687390 863334400 28917 4294967295 134512640 134569956 3221224400 3221214672 1131358968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28917 13073 16 0 210759 0
vsize: 843100
[startup+730.2 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 70097 72 0 0 25 0 11 0 483687390 863334400 28978 4294967295 134512640 134569956 3221224400 3221214672 1131360841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 28978 13073 16 0 210759 0
vsize: 843100
[startup+740.201 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 71069 73 0 0 25 0 11 0 483687390 863334400 29039 4294967295 134512640 134569956 3221224400 3221214728 1131399166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29039 13073 16 0 210759 0
vsize: 843100
[startup+750.201 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 72041 73 0 0 25 0 11 0 483687390 863334400 29128 4294967295 134512640 134569956 3221224400 3221214672 1131358888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29128 13073 16 0 210759 0
vsize: 843100
[startup+760.208 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 73011 73 0 0 25 0 11 0 483687390 863334400 29228 4294967295 134512640 134569956 3221224400 3221214768 1131438904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29228 13073 16 0 210759 0
vsize: 843100
[startup+770.209 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 73983 74 0 0 25 0 11 0 483687390 863334400 29321 4294967295 134512640 134569956 3221224400 3221214672 1131358808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29321 13073 16 0 210759 0
vsize: 843100
[startup+780.215 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 74955 74 0 0 24 0 11 0 483687390 863334400 29400 4294967295 134512640 134569956 3221224400 3221214720 1131361976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29400 13073 16 0 210759 0
vsize: 843100
[startup+790.219 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 75930 74 0 0 25 0 11 0 483687390 863334400 29476 4294967295 134512640 134569956 3221224400 3221214768 1131434508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29476 13073 16 0 210759 0
vsize: 843100
[startup+800.219 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 76899 74 0 0 25 0 11 0 483687390 863334400 29555 4294967295 134512640 134569956 3221224400 3221214688 1131706575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29555 13073 16 0 210759 0
vsize: 843100
[startup+810.251 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 77872 74 0 0 25 0 11 0 483687390 863334400 29648 4294967295 134512640 134569956 3221224400 3221214768 1131439441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29648 13073 16 0 210759 0
vsize: 843100
[startup+820.252 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 78841 75 0 0 25 0 11 0 483687390 863334400 29816 4294967295 134512640 134569956 3221224400 3221214688 1131706560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 29816 13073 16 0 210759 0
vsize: 843100
[startup+830.252 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 79813 75 0 0 25 0 11 0 483687390 863334400 30041 4294967295 134512640 134569956 3221224400 3221214672 1131359068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 30041 13073 16 0 210759 0
vsize: 843100
[startup+840.253 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 80783 76 0 0 25 0 11 0 483687390 863334400 30131 4294967295 134512640 134569956 3221224400 3221214688 1131706572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 30131 13073 16 0 210759 0
vsize: 843100
[startup+850.254 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 81755 76 0 0 25 0 11 0 483687390 863334400 30233 4294967295 134512640 134569956 3221224400 3221214768 1131433981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 30233 13073 16 0 210759 0
vsize: 843100
[startup+860.254 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 82722 77 0 0 25 0 11 0 483687390 863334400 30339 4294967295 134512640 134569956 3221224400 3221214672 1131359149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 30339 13073 16 0 210759 0
vsize: 843100
[startup+870.255 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 83690 77 0 0 25 0 11 0 483687390 863334400 30447 4294967295 134512640 134569956 3221224400 3221214376 1131710858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 30447 13073 16 0 210759 0
vsize: 843100
[startup+880.258 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 84658 77 0 0 25 0 11 0 483687390 863334400 30588 4294967295 134512640 134569956 3221224400 3221214768 1131432525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 30588 13073 16 0 210759 0
vsize: 843100
[startup+890.258 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 85629 78 0 0 25 0 11 0 483687390 863334400 30910 4294967295 134512640 134569956 3221224400 3221214672 1131359768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 30910 13073 16 0 210759 0
vsize: 843100
[startup+900.27 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 86607 78 0 0 25 0 11 0 483687390 863334400 31000 4294967295 134512640 134569956 3221224400 3221214688 1131706664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 31000 13073 16 0 210759 0
vsize: 843100
[startup+910.277 s]
Raw data (loadavg): 1.10 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 87578 79 0 0 25 0 11 0 483687390 863334400 31097 4294967295 134512640 134569956 3221224400 3221214592 1131720270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 31097 13073 16 0 210759 0
vsize: 843100
[startup+920.278 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 88548 79 0 0 25 0 11 0 483687390 863334400 31202 4294967295 134512640 134569956 3221224400 3221214688 1131706664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 31202 13073 16 0 210759 0
vsize: 843100
[startup+930.278 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 89517 79 0 0 24 0 11 0 483687390 863334400 31345 4294967295 134512640 134569956 3221224400 3221214768 1131434508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 31345 13073 16 0 210759 0
vsize: 843100
[startup+940.279 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 90490 80 0 0 25 0 11 0 483687390 863334400 31455 4294967295 134512640 134569956 3221224400 3221214724 1131429950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 31455 13073 16 0 210759 0
vsize: 843100
[startup+950.28 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 91460 80 0 0 25 0 11 0 483687390 863334400 31589 4294967295 134512640 134569956 3221224400 3221214768 1131439456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 31589 13073 16 0 210759 0
vsize: 843100
[startup+960.281 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 92427 81 0 0 25 0 11 0 483687390 863334400 31905 4294967295 134512640 134569956 3221224400 3221214688 1131706668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 31905 13073 16 0 210759 0
vsize: 843100
[startup+970.282 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 93396 81 0 0 25 0 11 0 483687390 863334400 32191 4294967295 134512640 134569956 3221224400 3221214688 1131706668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 32191 13073 16 0 210759 0
vsize: 843100
[startup+980.283 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 94361 81 0 0 25 0 11 0 483687390 863334400 32266 4294967295 134512640 134569956 3221224400 3221214672 1131358903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 32266 13073 16 0 210759 0
vsize: 843100
[startup+990.283 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 95326 81 0 0 25 0 11 0 483687390 863334400 32324 4294967295 134512640 134569956 3221224400 3221214664 1131337599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 32324 13073 16 0 210759 0
vsize: 843100
[startup+1000.28 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 96294 82 0 0 25 0 11 0 483687390 863334400 32387 4294967295 134512640 134569956 3221224400 3221214768 1131433996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 32387 13073 16 0 210759 0
vsize: 843100
[startup+1010.29 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 97262 82 0 0 25 0 11 0 483687390 863334400 33053 4294967295 134512640 134569956 3221224400 3221214664 1131338361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33053 13073 16 0 210759 0
vsize: 843100
[startup+1020.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 98239 83 0 0 25 0 11 0 483687390 863334400 33145 4294967295 134512640 134569956 3221224400 3221214312 1131720115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33145 13073 16 0 210759 0
vsize: 843100
[startup+1030.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 99220 83 0 0 25 0 11 0 483687390 863334400 33198 4294967295 134512640 134569956 3221224400 3221214672 1131359023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33198 13073 16 0 210759 0
vsize: 843100
[startup+1040.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 100196 84 0 0 25 0 11 0 483687390 863334400 33238 4294967295 134512640 134569956 3221224400 3221214768 1131440308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33238 13073 16 0 210759 0
vsize: 843100
[startup+1050.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 101171 84 0 0 25 0 11 0 483687390 863334400 33286 4294967295 134512640 134569956 3221224400 3221214672 1131358996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33286 13073 16 0 210759 0
vsize: 843100
[startup+1060.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 102149 85 0 0 25 0 11 0 483687390 863334400 33326 4294967295 134512640 134569956 3221224400 3221214760 1131274375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33326 13073 16 0 210759 0
vsize: 843100
[startup+1070.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 103123 85 0 0 25 0 11 0 483687390 863334400 33463 4294967295 134512640 134569956 3221224400 3221214672 1131359703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33463 13073 16 0 210759 0
vsize: 843100
[startup+1080.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 104097 85 0 0 25 0 11 0 483687390 863334400 33547 4294967295 134512640 134569956 3221224400 3221214688 1131706572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33547 13073 16 0 210759 0
vsize: 843100
[startup+1090.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) S 19224 25285 25284 0 -1 0 17974 0 92 0 105064 86 0 0 25 0 11 0 483687390 863334400 33636 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33638 13073 16 0 210759 0
vsize: 843100
[startup+1100.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 106017 86 0 0 25 0 11 0 483687390 863334400 33747 4294967295 134512640 134569956 3221224400 3221214672 1131358945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33747 13073 16 0 210759 0
vsize: 843100
[startup+1110.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 106969 86 0 0 25 0 11 0 483687390 863334400 33907 4294967295 134512640 134569956 3221224400 3221214672 1131359074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 33907 13073 16 0 210759 0
vsize: 843100
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 107930 86 0 0 25 0 11 0 483687390 863334400 34018 4294967295 134512640 134569956 3221224400 3221214592 1131720235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34018 13073 16 0 210759 0
vsize: 843100
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 108897 87 0 0 25 0 11 0 483687390 863334400 34193 4294967295 134512640 134569956 3221224400 3221214664 1131338374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34193 13073 16 0 210759 0
vsize: 843100
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 109868 88 0 0 25 0 11 0 483687390 863334400 34309 4294967295 134512640 134569956 3221224400 3221214672 1131358945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34309 13073 16 0 210759 0
vsize: 843100
[startup+1150.29 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 110837 88 0 0 25 0 11 0 483687390 863334400 34353 4294967295 134512640 134569956 3221224400 3221214768 1131435480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34353 13073 16 0 210759 0
vsize: 843100
[startup+1160.29 s]
Raw data (loadavg): 1.14 1.03 0.94 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 111812 89 0 0 25 0 11 0 483687390 863334400 34426 4294967295 134512640 134569956 3221224400 3221214352 1131715800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34426 13073 16 0 210759 0
vsize: 843100
[startup+1170.29 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 19235
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 112787 89 0 0 25 0 11 0 483687390 863334400 34471 4294967295 134512640 134569956 3221224400 3221214764 1131338302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34471 13073 16 0 210759 0
vsize: 843100
[startup+1180.29 s]
Raw data (loadavg): 1.10 1.03 0.94 2/65 19236
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 113764 89 0 0 25 0 11 0 483687390 863334400 34621 4294967295 134512640 134569956 3221224400 3221214296 1131715568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210775 34621 13073 16 0 210759 0
vsize: 843100
[startup+1190.29 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 19288
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 114750 90 0 0 25 0 11 0 483687390 863334400 34674 4294967295 134512640 134569956 3221224400 3221214544 1131710794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34674 13073 16 0 210759 0
vsize: 843100
[startup+1200.29 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 19288
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 115734 91 0 0 25 0 11 0 483687390 863334400 34746 4294967295 134512640 134569956 3221224400 3221214424 1131720109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34746 13073 16 0 210759 0
vsize: 843100
[startup+1210.3 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 19288
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 116713 91 0 0 25 0 11 0 483687390 863334400 34822 4294967295 134512640 134569956 3221224400 3221214760 1131274399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34822 13073 16 0 210759 0
vsize: 843100
[startup+1220.3 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 19288
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 117685 91 0 0 25 0 11 0 483687390 863334400 34869 4294967295 134512640 134569956 3221224400 3221214672 1131359835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34869 13073 16 0 210759 0
vsize: 843100
[startup+1230.3 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 19288
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 118660 92 0 0 25 0 11 0 483687390 863334400 34951 4294967295 134512640 134569956 3221224400 3221214688 1131706675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34951 13073 16 0 210759 0
vsize: 843100
[startup+1240.3 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 19288
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 119639 92 0 0 25 0 11 0 483687390 863334400 34978 4294967295 134512640 134569956 3221224400 3221214672 1131358947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 34978 13073 16 0 210759 0
vsize: 843100
[startup+1250.3 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 19288
Raw data (stat): 19225 (java) R 19224 25285 25284 0 -1 0 17974 0 92 0 120607 92 0 0 25 0 11 0 483687390 863334400 35198 4294967295 134512640 134569956 3221224400 3221214764 1131274434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210775 35198 13073 16 0 210759 0
vsize: 843100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.42 s]
Raw data (loadavg): 1.10 1.04 0.94 1/54 19290
Raw data (stat): 19225 (java) Z 19224 25285 25284 0 -1 1036 17974 23723 92 0 120612 99 5257 60 25 0 1 0 483687390 0 0 4294967295 0 0 0 0 0 0 4 3 23756 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: 143
Real time (s): 1250.42
CPU time (s): 1260.31
CPU user time (s): 1258.7
CPU system time (s): 1.60076
CPU usage (%): 100.791
Max. virtual memory (Kb): 846844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####