PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb
MD5SUM	6975fcd4cac18749e2635ee3bd162046
Bench Category	optimization, big integers (OPTBIGINT)
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	6690
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	239444426529
Number of bits of the sum of numbers in the objective function	38
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	239444426529
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.223965
Number of variables	21720
Total number of constraints	9376
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	9095
Number of constraints which are nor clauses,nor cardinality constraints	233
Minimum length of a constraint	1
Maximum length of a constraint	840
Trace number 20563

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-21 21:21:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14725 boxname=wulflinc21 idbench=1133 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6975fcd4cac18749e2635ee3bd162046  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos6.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos6.opb
IDLAUNCH: 14725
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        751368 kB
Buffers:          7536 kB
Cached:         253516 kB
SwapCached:          0 kB
Active:         114664 kB
Inactive:       149300 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751116 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            13732 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 21:42:12 (client local time) WITH STATUS 143 IN 1258.53 SECONDS
stats: 14725 7 1258.53 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos6.opb
c reading problem 
c [nbvar=21720]
c [nbconstr=9376]
c time 159.043
c #vars     21720
c #clauses  1260
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.71 0.89 0.88 2/55 20169
Raw data (stat): 20169 (runsolver) R 20168 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 425543484 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.76 0.89 0.88 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17977 0 1 0 883 39 0 0 25 0 10 0 425543484 853655552 19196 4294967295 134512640 134569956 3221224400 3221214744 1131179457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 19196 13073 16 0 208396 0
vsize: 833648
[startup+20.0007 s]
Raw data (loadavg): 0.87 0.91 0.89 3/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17988 0 1 0 1724 39 0 0 25 0 10 0 425543484 869138432 23404 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212192 23404 13073 16 0 212176 0
vsize: 848768
[startup+30.0013 s]
Raw data (loadavg): 0.89 0.91 0.89 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17988 0 1 0 2613 39 0 0 25 0 10 0 425543484 863072256 22536 4294967295 134512640 134569956 3221224400 3221214648 1076619331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 22536 13073 16 0 210695 0
vsize: 842844
[startup+40.0024 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17988 0 1 0 3526 39 0 0 25 0 10 0 425543484 863072256 22918 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210711 22918 13073 16 0 210695 0
vsize: 842844
[startup+50.0026 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 4469 39 0 0 25 0 10 0 425543484 863072256 23031 4294967295 134512640 134569956 3221224400 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210711 23031 13073 16 0 210695 0
vsize: 842844
[startup+60.0024 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 5407 39 0 0 25 0 10 0 425543484 863072256 23127 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 23127 13073 16 0 210695 0
vsize: 842844
[startup+70.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 6346 39 0 0 25 0 10 0 425543484 863072256 23207 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 23207 13073 16 0 210695 0
vsize: 842844
[startup+80.0037 s]
Raw data (loadavg): 0.99 0.94 0.90 3/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 7289 40 0 0 25 0 10 0 425543484 863072256 23356 4294967295 134512640 134569956 3221224400 3221214832 1131152884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210711 23356 13073 16 0 210695 0
vsize: 842844
[startup+90.0043 s]
Raw data (loadavg): 1.07 0.96 0.91 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 8191 42 0 0 25 0 10 0 425543484 863072256 24188 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 24188 13073 16 0 210695 0
vsize: 842844
[startup+100.005 s]
Raw data (loadavg): 1.06 0.96 0.91 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 9048 43 0 0 24 0 10 0 425543484 863072256 24788 4294967295 134512640 134569956 3221224400 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 24788 13073 16 0 210695 0
vsize: 842844
[startup+110.005 s]
Raw data (loadavg): 1.05 0.96 0.91 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 9917 44 0 0 25 0 10 0 425543484 863072256 25451 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 25451 13073 16 0 210695 0
vsize: 842844
[startup+120.006 s]
Raw data (loadavg): 1.04 0.96 0.91 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 10777 44 0 0 16 0 10 0 425543484 863072256 26025 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 26025 13073 16 0 210695 0
vsize: 842844
[startup+130.005 s]
Raw data (loadavg): 1.04 0.96 0.91 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 11647 44 0 0 19 0 10 0 425543484 863072256 26495 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 26495 13073 16 0 210695 0
vsize: 842844
[startup+140.006 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 20178
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 17990 0 1 0 12507 45 0 0 16 0 10 0 425543484 863072256 27172 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 27172 13073 16 0 210695 0
vsize: 842844
[startup+150.01 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 20178
Raw data (stat): 20169 (java) S 20168 30927 30926 0 -1 0 17990 0 1 0 13380 45 0 0 21 0 10 0 425543484 863072256 27577 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210711 27577 13073 16 0 210695 0
vsize: 842844
[startup+160.01 s]
Raw data (loadavg): 1.02 0.96 0.91 3/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18018 0 1 0 14260 46 0 0 18 0 11 0 425543484 863600640 28012 4294967295 134512640 134569956 3221224400 3221214900 1130918072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 28012 13073 16 0 210824 0
vsize: 843360
[startup+170.01 s]
Raw data (loadavg): 1.02 0.96 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 15184 46 0 0 25 0 11 0 425543484 863600640 30246 4294967295 134512640 134569956 3221224400 3221214776 1131457953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30246 13073 16 0 210824 0
vsize: 843360
[startup+180.009 s]
Raw data (loadavg): 1.01 0.96 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 16139 46 0 0 25 0 11 0 425543484 863600640 30246 4294967295 134512640 134569956 3221224400 3221214680 1131297049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30246 13073 16 0 210824 0
vsize: 843360
[startup+190.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 17093 46 0 0 25 0 11 0 425543484 863600640 30246 4294967295 134512640 134569956 3221224400 3221214680 1131297304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30246 13073 16 0 210824 0
vsize: 843360
[startup+200.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 18077 46 0 0 25 0 11 0 425543484 863600640 30510 4294967295 134512640 134569956 3221224400 3221214776 1131460186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30510 13073 16 0 210824 0
vsize: 843360
[startup+210.01 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 19066 46 0 0 25 0 11 0 425543484 863600640 30520 4294967295 134512640 134569956 3221224400 3221214680 1131298167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30520 13073 16 0 210824 0
vsize: 843360
[startup+220.011 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 20057 46 0 0 25 0 11 0 425543484 863600640 30532 4294967295 134512640 134569956 3221224400 3221214680 1131298204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30532 13073 16 0 210824 0
vsize: 843360
[startup+230.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 21047 46 0 0 25 0 11 0 425543484 863600640 30551 4294967295 134512640 134569956 3221224400 3221214680 1131297366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30551 13073 16 0 210824 0
vsize: 843360
[startup+240.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 22036 46 0 0 25 0 11 0 425543484 863600640 30573 4294967295 134512640 134569956 3221224400 3221214680 1131297341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30573 13073 16 0 210824 0
vsize: 843360
[startup+250.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 23026 46 0 0 25 0 11 0 425543484 863600640 30608 4294967295 134512640 134569956 3221224400 3221214680 1131297169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30608 13073 16 0 210824 0
vsize: 843360
[startup+260.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 24015 46 0 0 25 0 11 0 425543484 863600640 30636 4294967295 134512640 134569956 3221224400 3221214680 1131296797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30636 13073 16 0 210824 0
vsize: 843360
[startup+270.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 25005 46 0 0 25 0 11 0 425543484 863600640 30659 4294967295 134512640 134569956 3221224400 3221214680 1131298280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30659 13073 16 0 210824 0
vsize: 843360
[startup+280.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 25992 46 0 0 25 0 11 0 425543484 863600640 30680 4294967295 134512640 134569956 3221224400 3221214680 1131297385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30680 13073 16 0 210824 0
vsize: 843360
[startup+290.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 26977 47 0 0 24 0 11 0 425543484 863600640 30729 4294967295 134512640 134569956 3221224400 3221214960 1131450447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30729 13073 16 0 210824 0
vsize: 843360
[startup+300.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 27962 47 0 0 24 0 11 0 425543484 863600640 30767 4294967295 134512640 134569956 3221224400 3221214776 1131459234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30767 13073 16 0 210824 0
vsize: 843360
[startup+310.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18019 0 1 0 28947 47 0 0 25 0 11 0 425543484 863600640 30801 4294967295 134512640 134569956 3221224400 3221214680 1131298268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 30801 13073 16 0 210824 0
vsize: 843360
[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 29857 47 0 0 25 0 11 0 425543484 863600640 30920 4294967295 134512640 134569956 3221224400 3221214680 1131297533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 30920 13073 16 0 210824 0
vsize: 843360
[startup+330.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 30844 47 0 0 25 0 11 0 425543484 863600640 30955 4294967295 134512640 134569956 3221224400 3221214680 1131298152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 30955 13073 16 0 210824 0
vsize: 843360
[startup+340.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 31832 47 0 0 25 0 11 0 425543484 863600640 30984 4294967295 134512640 134569956 3221224400 3221214680 1131297385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 30984 13073 16 0 210824 0
vsize: 843360
[startup+350.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 32824 47 0 0 25 0 11 0 425543484 863600640 31018 4294967295 134512640 134569956 3221224400 3221214776 1131462041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31018 13073 16 0 210824 0
vsize: 843360
[startup+360.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 33816 47 0 0 25 0 11 0 425543484 863600640 31052 4294967295 134512640 134569956 3221224400 3221214560 1131296797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31052 13073 16 0 210824 0
vsize: 843360
[startup+370.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 34808 48 0 0 25 0 11 0 425543484 863600640 31071 4294967295 134512640 134569956 3221224400 3221214560 1131297271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31071 13073 16 0 210824 0
vsize: 843360
[startup+380.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 35801 48 0 0 25 0 11 0 425543484 863600640 31108 4294967295 134512640 134569956 3221224400 3221214560 1131297171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31108 13073 16 0 210824 0
vsize: 843360
[startup+390.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18056 0 1 0 36794 48 0 0 25 0 11 0 425543484 863600640 31133 4294967295 134512640 134569956 3221224400 3221214656 1131462054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31133 13073 16 0 210824 0
vsize: 843360
[startup+400.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18057 0 1 0 37766 48 0 0 25 0 11 0 425543484 863600640 31156 4294967295 134512640 134569956 3221224400 3221214560 1131297385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31156 13073 16 0 210824 0
vsize: 843360
[startup+410.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18057 0 1 0 38757 49 0 0 25 0 11 0 425543484 863600640 31170 4294967295 134512640 134569956 3221224400 3221214560 1131297291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31170 13073 16 0 210824 0
vsize: 843360
[startup+420.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18057 0 1 0 39746 49 0 0 25 0 11 0 425543484 863600640 31191 4294967295 134512640 134569956 3221224400 3221214560 1131297136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31191 13073 16 0 210824 0
vsize: 843360
[startup+430.034 s]
Raw data (loadavg): 1.07 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 40737 49 0 0 25 0 11 0 425543484 863600640 31214 4294967295 134512640 134569956 3221224400 3221214560 1131296797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31214 13073 16 0 210824 0
vsize: 843360
[startup+440.034 s]
Raw data (loadavg): 1.06 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 41728 49 0 0 25 0 11 0 425543484 863600640 31224 4294967295 134512640 134569956 3221224400 3221214656 1131458252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210840 31224 13073 16 0 210824 0
vsize: 843360
[startup+450.034 s]
Raw data (loadavg): 1.05 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 42719 49 0 0 25 0 11 0 425543484 864649216 31466 4294967295 134512640 134569956 3221224400 3221214656 1131457971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211096 31466 13073 16 0 211080 0
vsize: 844384
[startup+460.034 s]
Raw data (loadavg): 1.04 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 43707 49 0 0 25 0 11 0 425543484 863600640 31355 4294967295 134512640 134569956 3221224400 3221214656 1131462054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31355 13073 16 0 210824 0
vsize: 843360
[startup+470.034 s]
Raw data (loadavg): 1.04 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 44698 49 0 0 25 0 11 0 425543484 863600640 31388 4294967295 134512640 134569956 3221224400 3221214560 1131297385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31388 13073 16 0 210824 0
vsize: 843360
[startup+480.034 s]
Raw data (loadavg): 1.03 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 45690 49 0 0 25 0 11 0 425543484 863600640 31410 4294967295 134512640 134569956 3221224400 3221214560 1131297167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31410 13073 16 0 210824 0
vsize: 843360
[startup+490.035 s]
Raw data (loadavg): 1.02 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 46683 49 0 0 25 0 11 0 425543484 863600640 31439 4294967295 134512640 134569956 3221224400 3221214656 1131459234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31439 13073 16 0 210824 0
vsize: 843360
[startup+500.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 47675 49 0 0 25 0 11 0 425543484 863600640 31463 4294967295 134512640 134569956 3221224400 3221214560 1131297537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31463 13073 16 0 210824 0
vsize: 843360
[startup+510.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18058 0 1 0 48668 49 0 0 25 0 11 0 425543484 863600640 31484 4294967295 134512640 134569956 3221224400 3221214656 1131458148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31484 13073 16 0 210824 0
vsize: 843360
[startup+520.137 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 49671 50 0 0 25 0 11 0 425543484 863600640 31500 4294967295 134512640 134569956 3221224400 3221214600 1131658223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31500 13073 16 0 210824 0
vsize: 843360
[startup+530.137 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 50665 50 0 0 25 0 11 0 425543484 863600640 31509 4294967295 134512640 134569956 3221224400 3221214560 1131297163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31509 13073 16 0 210824 0
vsize: 843360
[startup+540.138 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 51657 50 0 0 25 0 11 0 425543484 863600640 31528 4294967295 134512640 134569956 3221224400 3221214656 1131459234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31528 13073 16 0 210824 0
vsize: 843360
[startup+550.138 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 52654 50 0 0 25 0 11 0 425543484 863600640 31528 4294967295 134512640 134569956 3221224400 3221214488 1131292007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210840 31528 13073 16 0 210824 0
vsize: 843360
[startup+560.149 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 53653 50 0 0 25 0 11 0 425543484 864256000 31719 4294967295 134512640 134569956 3221224400 3221214600 1131658332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211000 31719 13073 16 0 210984 0
vsize: 844000
[startup+570.149 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 54649 50 0 0 25 0 11 0 425543484 863830016 31618 4294967295 134512640 134569956 3221224400 3221214648 1131658328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210896 31618 13073 16 0 210880 0
vsize: 843584
[startup+580.151 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 55646 50 0 0 25 0 11 0 425543484 863633408 31571 4294967295 134512640 134569956 3221224400 3221214648 1131658223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31571 13073 16 0 210832 0
vsize: 843392
[startup+590.154 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 56634 50 0 0 25 0 11 0 425543484 863633408 31585 4294967295 134512640 134569956 3221224400 3221214656 1131462024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31585 13073 16 0 210832 0
vsize: 843392
[startup+600.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 57621 50 0 0 25 0 11 0 425543484 863633408 31617 4294967295 134512640 134569956 3221224400 3221214576 1131553919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31617 13073 16 0 210832 0
vsize: 843392
[startup+610.153 s]
Raw data (loadavg): 1.07 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 58607 51 0 0 25 0 11 0 425543484 863633408 31657 4294967295 134512640 134569956 3221224400 3221214656 1131459196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31657 13073 16 0 210832 0
vsize: 843392
[startup+620.154 s]
Raw data (loadavg): 1.06 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 59595 51 0 0 25 0 11 0 425543484 863633408 31680 4294967295 134512640 134569956 3221224400 3221214560 1131297385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31680 13073 16 0 210832 0
vsize: 843392
[startup+630.154 s]
Raw data (loadavg): 1.05 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 60584 51 0 0 25 0 11 0 425543484 863633408 31708 4294967295 134512640 134569956 3221224400 3221214560 1131297385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31708 13073 16 0 210832 0
vsize: 843392
[startup+640.155 s]
Raw data (loadavg): 1.04 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 61577 51 0 0 25 0 11 0 425543484 863633408 31736 4294967295 134512640 134569956 3221224400 3221214600 1131658220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31736 13073 16 0 210832 0
vsize: 843392
[startup+650.155 s]
Raw data (loadavg): 1.04 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 62573 51 0 0 25 0 11 0 425543484 863633408 31745 4294967295 134512640 134569956 3221224400 3221214688 1131491951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31745 13073 16 0 210832 0
vsize: 843392
[startup+660.155 s]
Raw data (loadavg): 1.03 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 63566 51 0 0 25 0 11 0 425543484 863633408 31766 4294967295 134512640 134569956 3221224400 3221214656 1131459234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210848 31766 13073 16 0 210832 0
vsize: 843392
[startup+670.156 s]
Raw data (loadavg): 1.03 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 64558 51 0 0 25 0 11 0 425543484 867794944 32749 4294967295 134512640 134569956 3221224400 3221214656 1131459280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32749 13073 16 0 211848 0
vsize: 847456
[startup+680.156 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 65548 51 0 0 25 0 11 0 425543484 867794944 32774 4294967295 134512640 134569956 3221224400 3221214536 1131292263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32774 13073 16 0 211848 0
vsize: 847456
[startup+690.156 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 66541 51 0 0 25 0 11 0 425543484 867794944 32799 4294967295 134512640 134569956 3221224400 3221214648 1131658339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32799 13073 16 0 211848 0
vsize: 847456
[startup+700.16 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 67534 51 0 0 25 0 11 0 425543484 867794944 32822 4294967295 134512640 134569956 3221224400 3221214648 1131658220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32822 13073 16 0 211848 0
vsize: 847456
[startup+710.16 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 68522 51 0 0 25 0 11 0 425543484 867794944 32848 4294967295 134512640 134569956 3221224400 3221214560 1131297105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32848 13073 16 0 211848 0
vsize: 847456
[startup+720.16 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 69514 51 0 0 25 0 11 0 425543484 867794944 32865 4294967295 134512640 134569956 3221224400 3221214560 1131298228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32865 13073 16 0 211848 0
vsize: 847456
[startup+730.161 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 70509 52 0 0 25 0 11 0 425543484 867794944 32870 4294967295 134512640 134569956 3221224400 3221214648 1131658317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32870 13073 16 0 211848 0
vsize: 847456
[startup+740.162 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 71503 52 0 0 25 0 11 0 425543484 867794944 32877 4294967295 134512640 134569956 3221224400 3221214560 1131298177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32877 13073 16 0 211848 0
vsize: 847456
[startup+750.161 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 72499 52 0 0 25 0 11 0 425543484 867794944 32858 4294967295 134512640 134569956 3221224400 3221214544 1131293316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32858 13073 16 0 211848 0
vsize: 847456
[startup+760.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 73493 52 0 0 25 0 11 0 425543484 867794944 32877 4294967295 134512640 134569956 3221224400 3221214560 1131296830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211864 32877 13073 16 0 211848 0
vsize: 847456
[startup+770.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 74482 52 0 0 25 0 11 0 425543484 867794944 32902 4294967295 134512640 134569956 3221224400 3221214560 1131296793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32902 13073 16 0 211848 0
vsize: 847456
[startup+780.163 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 75472 52 0 0 25 0 11 0 425543484 867794944 32924 4294967295 134512640 134569956 3221224400 3221214560 1131297607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32924 13073 16 0 211848 0
vsize: 847456
[startup+790.163 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 76463 53 0 0 25 0 11 0 425543484 867794944 32949 4294967295 134512640 134569956 3221224400 3221214560 1131296805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32949 13073 16 0 211848 0
vsize: 847456
[startup+800.164 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 77460 53 0 0 25 0 11 0 425543484 867794944 32955 4294967295 134512640 134569956 3221224400 3221214648 1131658328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32955 13073 16 0 211848 0
vsize: 847456
[startup+810.163 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 78457 53 0 0 25 0 11 0 425543484 867794944 32955 4294967295 134512640 134569956 3221224400 3221214648 1131658208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32955 13073 16 0 211848 0
vsize: 847456
[startup+820.165 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 79451 53 0 0 25 0 11 0 425543484 867794944 32959 4294967295 134512640 134569956 3221224400 3221214656 1131458148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32959 13073 16 0 211848 0
vsize: 847456
[startup+830.165 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 80439 53 0 0 25 0 11 0 425543484 867794944 32985 4294967295 134512640 134569956 3221224400 3221214560 1131297291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32985 13073 16 0 211848 0
vsize: 847456
[startup+840.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 81429 53 0 0 25 0 11 0 425543484 867794944 32990 4294967295 134512640 134569956 3221224400 3221214560 1131297244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 32990 13073 16 0 211848 0
vsize: 847456
[startup+850.166 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 82420 54 0 0 25 0 11 0 425543484 867794944 33021 4294967295 134512640 134569956 3221224400 3221214656 1131460147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33021 13073 16 0 211848 0
vsize: 847456
[startup+860.166 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 83411 54 0 0 25 0 11 0 425543484 867794944 33024 4294967295 134512640 134569956 3221224400 3221214560 1131296801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33024 13073 16 0 211848 0
vsize: 847456
[startup+870.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 84402 54 0 0 25 0 11 0 425543484 867794944 33045 4294967295 134512640 134569956 3221224400 3221214656 1131458148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33045 13073 16 0 211848 0
vsize: 847456
[startup+880.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 85392 54 0 0 25 0 11 0 425543484 867794944 33061 4294967295 134512640 134569956 3221224400 3221214560 1131297341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33061 13073 16 0 211848 0
vsize: 847456
[startup+890.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 86383 54 0 0 25 0 11 0 425543484 867794944 33083 4294967295 134512640 134569956 3221224400 3221214736 1131491969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33083 13073 16 0 211848 0
vsize: 847456
[startup+900.168 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 87372 54 0 0 25 0 11 0 425543484 867794944 33098 4294967295 134512640 134569956 3221224400 3221214560 1131297159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33098 13073 16 0 211848 0
vsize: 847456
[startup+910.167 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 88360 54 0 0 25 0 11 0 425543484 867794944 33155 4294967295 134512640 134569956 3221224400 3221214560 1131297260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33155 13073 16 0 211848 0
vsize: 847456
[startup+920.168 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 89348 55 0 0 25 0 11 0 425543484 867794944 33175 4294967295 134512640 134569956 3221224400 3221214656 1131458148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33175 13073 16 0 211848 0
vsize: 847456
[startup+930.168 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 90338 55 0 0 25 0 11 0 425543484 867794944 33195 4294967295 134512640 134569956 3221224400 3221214656 1131458148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33195 13073 16 0 211848 0
vsize: 847456
[startup+940.169 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 91330 55 0 0 25 0 11 0 425543484 867794944 33225 4294967295 134512640 134569956 3221224400 3221214656 1131458148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33225 13073 16 0 211848 0
vsize: 847456
[startup+950.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 92319 55 0 0 25 0 11 0 425543484 867794944 33226 4294967295 134512640 134569956 3221224400 3221214600 1131304628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33226 13073 16 0 211848 0
vsize: 847456
[startup+960.169 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 93306 55 0 0 25 0 11 0 425543484 867794944 33251 4294967295 134512640 134569956 3221224400 3221214560 1131296830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33251 13073 16 0 211848 0
vsize: 847456
[startup+970.169 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 94291 55 0 0 25 0 11 0 425543484 867794944 33297 4294967295 134512640 134569956 3221224400 3221214560 1131297565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33297 13073 16 0 211848 0
vsize: 847456
[startup+980.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 95277 56 0 0 25 0 11 0 425543484 867794944 33352 4294967295 134512640 134569956 3221224400 3221214656 1131460099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33352 13073 16 0 211848 0
vsize: 847456
[startup+990.171 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 96267 56 0 0 25 0 11 0 425543484 867794944 33384 4294967295 134512640 134569956 3221224400 3221214560 1131297904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33384 13073 16 0 211848 0
vsize: 847456
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 97255 56 0 0 25 0 11 0 425543484 867794944 33421 4294967295 134512640 134569956 3221224400 3221214656 1131462054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33421 13073 16 0 211848 0
vsize: 847456
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 98245 56 0 0 25 0 11 0 425543484 867794944 33433 4294967295 134512640 134569956 3221224400 3221214560 1131298207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33433 13073 16 0 211848 0
vsize: 847456
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 99232 56 0 0 25 0 11 0 425543484 867794944 33468 4294967295 134512640 134569956 3221224400 3221214656 1131459234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33468 13073 16 0 211848 0
vsize: 847456
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 100223 56 0 0 25 0 11 0 425543484 867794944 33499 4294967295 134512640 134569956 3221224400 3221214656 1131459220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33499 13073 16 0 211848 0
vsize: 847456
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 101212 56 0 0 25 0 11 0 425543484 867794944 33517 4294967295 134512640 134569956 3221224400 3221214560 1131297056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33517 13073 16 0 211848 0
vsize: 847456
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 102202 56 0 0 25 0 11 0 425543484 867794944 33546 4294967295 134512640 134569956 3221224400 3221214560 1131297385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33546 13073 16 0 211848 0
vsize: 847456
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 103190 57 0 0 25 0 11 0 425543484 867794944 33561 4294967295 134512640 134569956 3221224400 3221214656 1131460111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33561 13073 16 0 211848 0
vsize: 847456
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 104177 57 0 0 24 0 11 0 425543484 867794944 33599 4294967295 134512640 134569956 3221224400 3221214560 1131296812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33599 13073 16 0 211848 0
vsize: 847456
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 105166 57 0 0 25 0 11 0 425543484 867794944 33602 4294967295 134512640 134569956 3221224400 3221214656 1131462074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33602 13073 16 0 211848 0
vsize: 847456
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 106155 57 0 0 25 0 11 0 425543484 867794944 33623 4294967295 134512640 134569956 3221224400 3221214560 1131296805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33623 13073 16 0 211848 0
vsize: 847456
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 107145 57 0 0 25 0 11 0 425543484 867794944 33645 4294967295 134512640 134569956 3221224400 3221214560 1131297845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33645 13073 16 0 211848 0
vsize: 847456
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 108134 57 0 0 25 0 11 0 425543484 867794944 33664 4294967295 134512640 134569956 3221224400 3221214560 1131297341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33664 13073 16 0 211848 0
vsize: 847456
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 109123 57 0 0 25 0 11 0 425543484 867794944 33672 4294967295 134512640 134569956 3221224400 3221214656 1131459234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33672 13073 16 0 211848 0
vsize: 847456
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 110111 57 0 0 25 0 11 0 425543484 867794944 33689 4294967295 134512640 134569956 3221224400 3221214712 1131453105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33689 13073 16 0 211848 0
vsize: 847456
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 111097 58 0 0 25 0 11 0 425543484 867794944 33693 4294967295 134512640 134569956 3221224400 3221214876 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33693 13073 16 0 211848 0
vsize: 847456
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 112073 58 0 0 25 0 11 0 425543484 867794944 33722 4294967295 134512640 134569956 3221224400 3221214664 1131619216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33722 13073 16 0 211848 0
vsize: 847456
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 113051 58 0 0 25 0 11 0 425543484 867794944 33744 4294967295 134512640 134569956 3221224400 3221214848 1131544489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33744 13073 16 0 211848 0
vsize: 847456
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 114035 58 0 0 25 0 11 0 425543484 867794944 33797 4294967295 134512640 134569956 3221224400 3221214848 1131492019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33797 13073 16 0 211848 0
vsize: 847456
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 115015 59 0 0 25 0 11 0 425543484 867794944 33822 4294967295 134512640 134569956 3221224400 3221214672 1131297611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33822 13073 16 0 211848 0
vsize: 847456
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 115988 59 0 0 25 0 11 0 425543484 867794944 33826 4294967295 134512640 134569956 3221224400 3221214672 1131297385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33826 13073 16 0 211848 0
vsize: 847456
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 116962 59 0 0 24 0 11 0 425543484 867794944 33881 4294967295 134512640 134569956 3221224400 3221214768 1131460181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33881 13073 16 0 211848 0
vsize: 847456
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 117950 59 0 0 25 0 11 0 425543484 867794944 33974 4294967295 134512640 134569956 3221224400 3221214672 1131298126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 33974 13073 16 0 211848 0
vsize: 847456
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 118944 60 0 0 25 0 11 0 425543484 867794944 34001 4294967295 134512640 134569956 3221224400 3221214672 1131297385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 34001 13073 16 0 211848 0
vsize: 847456
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 119938 60 0 0 25 0 11 0 425543484 867794944 34017 4294967295 134512640 134569956 3221224400 3221214672 1131297385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 34017 13073 16 0 211848 0
vsize: 847456
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 20179
Raw data (stat): 20169 (java) R 20168 30927 30926 0 -1 0 18059 0 1 0 120934 60 0 0 25 0 11 0 425543484 867794944 34030 4294967295 134512640 134569956 3221224400 3221214768 1131459009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211864 34030 13073 16 0 211848 0
vsize: 847456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.29 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 20181
Raw data (stat): 20169 (java) Z 20168 30927 30926 0 -1 1036 18059 24078 1 0 120935 67 4781 68 25 0 1 0 425543484 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): 1240.29
CPU time (s): 1258.53
CPU user time (s): 1257.17
CPU system time (s): 1.35879
CPU usage (%): 101.47
Max. virtual memory (Kb): 848768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####