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-neos3.opb
MD5SUM	aa121475b5e53120a1d24de3f0361b26
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	155
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	10737418235
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	2454208150643933184000
Number of bits of the biggest number in a constraint	72
Biggest sum of numbers in a constraint	289272765430218954375168
Number of bits of the biggest sum of numbers	78
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.404937
Number of variables	42220
Total number of constraints	2841
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1377
Number of constraints which are nor clauses,nor cardinality constraints	1464
Minimum length of a constraint	1
Maximum length of a constraint	4780
Trace number 13621

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-20 21:04:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14686 boxname=wulflinc5 idbench=1130 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  aa121475b5e53120a1d24de3f0361b26  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos3.opb
IDLAUNCH: 14686
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        615520 kB
Buffers:         38624 kB
Cached:         355204 kB
SwapCached:       2272 kB
Active:         203044 kB
Inactive:       195892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        615268 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            14636 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 21:24:59 (client local time) WITH STATUS 143 IN 1260.09 SECONDS
stats: 14686 7 1260.09 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos3.opb
c reading problem 
c [nbvar=42220]
c [nbconstr=2841]
c time 499.397
c #vars     42220
c #clauses  1538
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.60 0.86 0.85 2/54 9961
Raw data (stat): 9961 (runsolver) R 9960 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481313185 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.0097 s]
Raw data (loadavg): 0.73 0.88 0.85 2/63 9970
Raw data (stat): 9961 (java) S 9960 24215 24214 0 -1 0 18007 0 1 0 861 38 0 0 25 0 10 0 481313185 855617536 19765 4294967295 134512640 134569956 3221224400 3221213844 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 19765 13073 16 0 208875 0
vsize: 835564
[startup+20.0124 s]
Raw data (loadavg): 0.77 0.88 0.85 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18007 0 1 0 1762 38 0 0 24 0 10 0 481313185 855617536 20152 4294967295 134512640 134569956 3221224400 3221214536 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 20152 13073 16 0 208875 0
vsize: 835564
[startup+30.0127 s]
Raw data (loadavg): 0.81 0.88 0.85 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18007 0 1 0 2641 38 0 0 25 0 10 0 481313185 855617536 20608 4294967295 134512640 134569956 3221224400 3221214536 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 20608 13073 16 0 208875 0
vsize: 835564
[startup+40.014 s]
Raw data (loadavg): 0.84 0.89 0.86 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18007 0 1 0 3559 39 0 0 25 0 10 0 481313185 855617536 20863 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 20863 13073 16 0 208875 0
vsize: 835564
[startup+50.0149 s]
Raw data (loadavg): 0.86 0.89 0.86 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 4477 39 0 0 25 0 10 0 481313185 855617536 21015 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 21015 13073 16 0 208875 0
vsize: 835564
[startup+60.015 s]
Raw data (loadavg): 0.88 0.89 0.86 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 5403 39 0 0 25 0 10 0 481313185 855617536 21229 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 21229 13073 16 0 208875 0
vsize: 835564
[startup+70.0163 s]
Raw data (loadavg): 0.90 0.90 0.86 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 6316 39 0 0 25 0 10 0 481313185 855617536 21402 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 21402 13073 16 0 208875 0
vsize: 835564
[startup+80.0171 s]
Raw data (loadavg): 0.91 0.90 0.86 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 7241 39 0 0 25 0 10 0 481313185 855617536 21594 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 21594 13073 16 0 208875 0
vsize: 835564
[startup+90.0174 s]
Raw data (loadavg): 0.93 0.90 0.86 2/63 9970
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 8187 40 0 0 25 0 10 0 481313185 855617536 21673 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 21673 13073 16 0 208875 0
vsize: 835564
[startup+100.018 s]
Raw data (loadavg): 0.94 0.90 0.86 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 9133 40 0 0 24 0 10 0 481313185 855617536 21745 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 21745 13073 16 0 208875 0
vsize: 835564
[startup+110.019 s]
Raw data (loadavg): 0.95 0.91 0.86 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 10061 40 0 0 25 0 10 0 481313185 855617536 21812 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 21812 13073 16 0 208875 0
vsize: 835564
[startup+120.019 s]
Raw data (loadavg): 0.95 0.91 0.86 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 10985 41 0 0 25 0 10 0 481313185 855617536 21873 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 21873 13073 16 0 208875 0
vsize: 835564
[startup+130.019 s]
Raw data (loadavg): 0.96 0.91 0.86 2/63 9972
Raw data (stat): 9961 (java) S 9960 24215 24214 0 -1 0 18008 0 1 0 11924 41 0 0 25 0 10 0 481313185 855617536 22051 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22051 13073 16 0 208875 0
vsize: 835564
[startup+140.02 s]
Raw data (loadavg): 0.97 0.91 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 12858 41 0 0 25 0 10 0 481313185 855617536 22107 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22107 13073 16 0 208875 0
vsize: 835564
[startup+150.021 s]
Raw data (loadavg): 0.97 0.92 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 13793 41 0 0 24 0 10 0 481313185 855617536 22242 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22242 13073 16 0 208875 0
vsize: 835564
[startup+160.123 s]
Raw data (loadavg): 0.98 0.92 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 14740 41 0 0 25 0 10 0 481313185 855617536 22292 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22292 13073 16 0 208875 0
vsize: 835564
[startup+170.131 s]
Raw data (loadavg): 0.98 0.92 0.87 2/63 9972
Raw data (stat): 9961 (java) S 9960 24215 24214 0 -1 0 18008 0 1 0 15664 42 0 0 25 0 10 0 481313185 855617536 22340 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22340 13073 16 0 208875 0
vsize: 835564
[startup+180.131 s]
Raw data (loadavg): 0.98 0.92 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 16584 42 0 0 25 0 10 0 481313185 855617536 22514 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22514 13073 16 0 208875 0
vsize: 835564
[startup+190.144 s]
Raw data (loadavg): 0.98 0.92 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 17516 43 0 0 25 0 10 0 481313185 855617536 22558 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22558 13073 16 0 208875 0
vsize: 835564
[startup+200.144 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 18454 43 0 0 25 0 10 0 481313185 855617536 22764 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22764 13073 16 0 208875 0
vsize: 835564
[startup+210.144 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 19396 44 0 0 25 0 10 0 481313185 855617536 22809 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22809 13073 16 0 208875 0
vsize: 835564
[startup+220.152 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 20336 44 0 0 25 0 10 0 481313185 855617536 22852 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 22852 13073 16 0 208875 0
vsize: 835564
[startup+230.152 s]
Raw data (loadavg): 0.99 0.93 0.87 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 21240 44 0 0 25 0 10 0 481313185 855617536 22892 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 22892 13073 16 0 208875 0
vsize: 835564
[startup+240.153 s]
Raw data (loadavg): 0.99 0.93 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 22143 45 0 0 25 0 10 0 481313185 855617536 23140 4294967295 134512640 134569956 3221224400 3221214268 1076460928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23140 13073 16 0 208875 0
vsize: 835564
[startup+250.161 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 23084 45 0 0 25 0 10 0 481313185 855617536 23180 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23180 13073 16 0 208875 0
vsize: 835564
[startup+260.166 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 24027 46 0 0 25 0 10 0 481313185 855617536 23217 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23217 13073 16 0 208875 0
vsize: 835564
[startup+270.167 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 24966 46 0 0 25 0 10 0 481313185 855617536 23256 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23256 13073 16 0 208875 0
vsize: 835564
[startup+280.17 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 25905 46 0 0 25 0 10 0 481313185 855617536 23294 4294967295 134512640 134569956 3221224400 3221214872 1131257202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23294 13073 16 0 208875 0
vsize: 835564
[startup+290.178 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 26847 46 0 0 25 0 10 0 481313185 855617536 23328 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23328 13073 16 0 208875 0
vsize: 835564
[startup+300.178 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 27768 46 0 0 24 0 10 0 481313185 855617536 23365 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23365 13073 16 0 208875 0
vsize: 835564
[startup+310.178 s]
Raw data (loadavg): 0.99 0.94 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 28667 47 0 0 24 0 10 0 481313185 855617536 23398 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23398 13073 16 0 208875 0
vsize: 835564
[startup+320.178 s]
Raw data (loadavg): 0.99 0.95 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 29581 47 0 0 25 0 10 0 481313185 855617536 23650 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23650 13073 16 0 208875 0
vsize: 835564
[startup+330.18 s]
Raw data (loadavg): 0.99 0.95 0.88 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 30521 48 0 0 25 0 10 0 481313185 855617536 23682 4294967295 134512640 134569956 3221224400 3221214880 1131172669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23682 13073 16 0 208875 0
vsize: 835564
[startup+340.181 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 31456 48 0 0 25 0 10 0 481313185 855617536 23716 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23716 13073 16 0 208875 0
vsize: 835564
[startup+350.181 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 32392 49 0 0 25 0 10 0 481313185 855617536 23749 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23749 13073 16 0 208875 0
vsize: 835564
[startup+360.191 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 33331 49 0 0 25 0 10 0 481313185 855617536 23780 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23780 13073 16 0 208875 0
vsize: 835564
[startup+370.192 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 34266 50 0 0 25 0 10 0 481313185 855617536 23813 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23813 13073 16 0 208875 0
vsize: 835564
[startup+380.192 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 35200 50 0 0 24 0 10 0 481313185 855617536 23845 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23845 13073 16 0 208875 0
vsize: 835564
[startup+390.194 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 36115 51 0 0 25 0 10 0 481313185 855617536 23924 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23924 13073 16 0 208875 0
vsize: 835564
[startup+400.194 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 37008 51 0 0 25 0 10 0 481313185 855617536 23960 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 23960 13073 16 0 208875 0
vsize: 835564
[startup+410.194 s]
Raw data (loadavg): 0.99 0.95 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 37921 52 0 0 25 0 10 0 481313185 855617536 24227 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 24227 13073 16 0 208875 0
vsize: 835564
[startup+420.195 s]
Raw data (loadavg): 0.99 0.96 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 38858 52 0 0 25 0 10 0 481313185 855617536 24255 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 24255 13073 16 0 208875 0
vsize: 835564
[startup+430.195 s]
Raw data (loadavg): 0.99 0.96 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 39790 52 0 0 25 0 10 0 481313185 855617536 24285 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 24285 13073 16 0 208875 0
vsize: 835564
[startup+440.203 s]
Raw data (loadavg): 0.99 0.96 0.89 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 40723 53 0 0 24 0 10 0 481313185 855617536 24314 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 24314 13073 16 0 208875 0
vsize: 835564
[startup+450.204 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 41657 53 0 0 25 0 10 0 481313185 855617536 24342 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 24342 13073 16 0 208875 0
vsize: 835564
[startup+460.203 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 42587 54 0 0 25 0 10 0 481313185 855617536 24370 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 24370 13073 16 0 208875 0
vsize: 835564
[startup+470.213 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 43522 54 0 0 25 0 10 0 481313185 855617536 24397 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 24397 13073 16 0 208875 0
vsize: 835564
[startup+480.233 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18008 0 1 0 44453 54 0 0 25 0 10 0 481313185 855617536 24425 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 24425 13073 16 0 208875 0
vsize: 835564
[startup+490.237 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 9972
Raw data (stat): 9961 (java) S 9960 24215 24214 0 -1 0 18008 0 1 0 45366 54 0 0 25 0 10 0 481313185 855617536 25164 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 25167 13073 16 0 208875 0
vsize: 835564
[startup+500.245 s]
Raw data (loadavg): 0.99 0.96 0.90 3/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18029 0 1 0 46257 56 0 0 24 0 10 0 481313185 855617536 28094 4294967295 134512640 134569956 3221224400 3221214968 1130883833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208891 28094 13073 16 0 208875 0
vsize: 835564
[startup+510.245 s]
Raw data (loadavg): 0.99 0.96 0.90 2/63 9972
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18035 0 1 0 47226 56 0 0 25 0 10 0 481313185 855617536 29570 4294967295 134512640 134569956 3221224400 3221214720 1131303742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208891 29570 13073 16 0 208875 0
vsize: 835564
[startup+520.246 s]
Raw data (loadavg): 0.99 0.97 0.90 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18043 0 1 0 48210 57 0 0 25 0 11 0 481313185 856145920 29597 4294967295 134512640 134569956 3221224400 3221214688 1131303265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209020 29597 13073 16 0 209004 0
vsize: 836080
[startup+530.246 s]
Raw data (loadavg): 0.99 0.97 0.90 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18043 0 1 0 49197 57 0 0 25 0 11 0 481313185 856145920 29654 4294967295 134512640 134569956 3221224400 3221214688 1131303405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209020 29654 13073 16 0 209004 0
vsize: 836080
[startup+540.247 s]
Raw data (loadavg): 0.99 0.97 0.90 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18043 0 1 0 50193 57 0 0 25 0 11 0 481313185 856145920 29654 4294967295 134512640 134569956 3221224400 3221214792 1131340788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209020 29654 13073 16 0 209004 0
vsize: 836080
[startup+550.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18043 0 1 0 51188 57 0 0 25 0 11 0 481313185 856145920 29657 4294967295 134512640 134569956 3221224400 3221214688 1131303757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209020 29657 13073 16 0 209004 0
vsize: 836080
[startup+560.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18043 0 1 0 52183 57 0 0 25 0 11 0 481313185 856145920 29660 4294967295 134512640 134569956 3221224400 3221214792 1131340828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209020 29660 13073 16 0 209004 0
vsize: 836080
[startup+570.247 s]
Raw data (loadavg): 1.15 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18084 0 1 0 53097 58 0 0 25 0 11 0 481313185 858025984 30184 4294967295 134512640 134569956 3221224400 3221214664 1131471338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209479 30184 13073 16 0 209463 0
vsize: 837916
[startup+580.247 s]
Raw data (loadavg): 1.13 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18085 0 1 0 54074 58 0 0 24 0 11 0 481313185 857874432 30167 4294967295 134512640 134569956 3221224400 3221214792 1131340860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209442 30167 13073 16 0 209426 0
vsize: 837768
[startup+590.248 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18093 0 1 0 55062 58 0 0 25 0 11 0 481313185 858214400 30259 4294967295 134512640 134569956 3221224400 3221214664 1131473648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209525 30259 13073 16 0 209509 0
vsize: 838100
[startup+600.248 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18093 0 1 0 56047 58 0 0 25 0 11 0 481313185 857165824 30003 4294967295 134512640 134569956 3221224400 3221214464 1131272125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30003 13073 16 0 209253 0
vsize: 837076
[startup+610.248 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 57029 59 0 0 25 0 11 0 481313185 857165824 30054 4294967295 134512640 134569956 3221224400 3221214664 1131473759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30054 13073 16 0 209253 0
vsize: 837076
[startup+620.248 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 58010 59 0 0 25 0 11 0 481313185 857165824 30057 4294967295 134512640 134569956 3221224400 3221214664 1131473648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30057 13073 16 0 209253 0
vsize: 837076
[startup+630.248 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 58996 59 0 0 25 0 11 0 481313185 857165824 30184 4294967295 134512640 134569956 3221224400 3221214464 1131271989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30184 13073 16 0 209253 0
vsize: 837076
[startup+640.249 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 59982 59 0 0 25 0 11 0 481313185 857165824 30226 4294967295 134512640 134569956 3221224400 3221214464 1131273509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30226 13073 16 0 209253 0
vsize: 837076
[startup+650.248 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 60962 59 0 0 25 0 11 0 481313185 857165824 30230 4294967295 134512640 134569956 3221224400 3221214464 1131272268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30230 13073 16 0 209253 0
vsize: 837076
[startup+660.249 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 61940 59 0 0 25 0 11 0 481313185 857165824 30272 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30272 13073 16 0 209253 0
vsize: 837076
[startup+670.249 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 62924 59 0 0 25 0 11 0 481313185 857165824 30329 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30329 13073 16 0 209253 0
vsize: 837076
[startup+680.249 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 63906 59 0 0 25 0 11 0 481313185 857165824 30329 4294967295 134512640 134569956 3221224400 3221214560 1131272897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30329 13073 16 0 209253 0
vsize: 837076
[startup+690.249 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 64887 59 0 0 25 0 11 0 481313185 857165824 30329 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30329 13073 16 0 209253 0
vsize: 837076
[startup+700.249 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 65869 59 0 0 25 0 11 0 481313185 857165824 30376 4294967295 134512640 134569956 3221224400 3221214560 1131272897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30376 13073 16 0 209253 0
vsize: 837076
[startup+710.25 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 66855 59 0 0 25 0 11 0 481313185 857165824 30493 4294967295 134512640 134569956 3221224400 3221214760 1131605708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30493 13073 16 0 209253 0
vsize: 837076
[startup+720.26 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 67846 59 0 0 25 0 11 0 481313185 857165824 30493 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30493 13073 16 0 209253 0
vsize: 837076
[startup+730.26 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 68831 59 0 0 25 0 11 0 481313185 857165824 30505 4294967295 134512640 134569956 3221224400 3221214560 1131272257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30505 13073 16 0 209253 0
vsize: 837076
[startup+740.261 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 69821 59 0 0 25 0 11 0 481313185 857165824 30576 4294967295 134512640 134569956 3221224400 3221214560 1131271967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30576 13073 16 0 209253 0
vsize: 837076
[startup+750.262 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 70807 59 0 0 25 0 11 0 481313185 857165824 30576 4294967295 134512640 134569956 3221224400 3221214760 1131605719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30576 13073 16 0 209253 0
vsize: 837076
[startup+760.262 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 71795 59 0 0 25 0 11 0 481313185 857165824 30576 4294967295 134512640 134569956 3221224400 3221214656 1131565086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30576 13073 16 0 209253 0
vsize: 837076
[startup+770.262 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 72781 59 0 0 25 0 11 0 481313185 857165824 30576 4294967295 134512640 134569956 3221224400 3221214760 1131605715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30576 13073 16 0 209253 0
vsize: 837076
[startup+780.271 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 73761 59 0 0 25 0 11 0 481313185 857165824 30576 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30576 13073 16 0 209253 0
vsize: 837076
[startup+790.272 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 74746 59 0 0 25 0 11 0 481313185 857165824 30678 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30678 13073 16 0 209253 0
vsize: 837076
[startup+800.271 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 75727 59 0 0 25 0 11 0 481313185 857165824 30678 4294967295 134512640 134569956 3221224400 3221214760 1131605719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30678 13073 16 0 209253 0
vsize: 837076
[startup+810.272 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 76709 59 0 0 25 0 11 0 481313185 857165824 30726 4294967295 134512640 134569956 3221224400 3221214760 1131605845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30726 13073 16 0 209253 0
vsize: 837076
[startup+820.273 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 77693 59 0 0 25 0 11 0 481313185 857165824 30726 4294967295 134512640 134569956 3221224400 3221214560 1131273543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30726 13073 16 0 209253 0
vsize: 837076
[startup+830.273 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 78677 59 0 0 25 0 11 0 481313185 857165824 30771 4294967295 134512640 134569956 3221224400 3221214760 1131605845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30771 13073 16 0 209253 0
vsize: 837076
[startup+840.284 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 79670 59 0 0 25 0 11 0 481313185 857165824 30883 4294967295 134512640 134569956 3221224400 3221214760 1131605859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30883 13073 16 0 209253 0
vsize: 837076
[startup+850.29 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 80663 59 0 0 25 0 11 0 481313185 857165824 30883 4294967295 134512640 134569956 3221224400 3221214760 1131605859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30883 13073 16 0 209253 0
vsize: 837076
[startup+860.289 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 81650 59 0 0 25 0 11 0 481313185 857165824 30897 4294967295 134512640 134569956 3221224400 3221214756 1131303251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30897 13073 16 0 209253 0
vsize: 837076
[startup+870.29 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 82639 59 0 0 25 0 11 0 481313185 857165824 30936 4294967295 134512640 134569956 3221224400 3221214760 1131605852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30936 13073 16 0 209253 0
vsize: 837076
[startup+880.289 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 83627 59 0 0 25 0 11 0 481313185 857165824 30936 4294967295 134512640 134569956 3221224400 3221214656 1131566132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30936 13073 16 0 209253 0
vsize: 837076
[startup+890.29 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 84617 59 0 0 25 0 11 0 481313185 857165824 30936 4294967295 134512640 134569956 3221224400 3221214688 1131303759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30936 13073 16 0 209253 0
vsize: 837076
[startup+900.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 85599 60 0 0 25 0 11 0 481313185 857165824 30936 4294967295 134512640 134569956 3221224400 3221214560 1131272257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30936 13073 16 0 209253 0
vsize: 837076
[startup+910.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 86572 60 0 0 25 0 11 0 481313185 857165824 30938 4294967295 134512640 134569956 3221224400 3221214560 1131272070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 30938 13073 16 0 209253 0
vsize: 837076
[startup+920.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 87548 60 0 0 25 0 11 0 481313185 857165824 31050 4294967295 134512640 134569956 3221224400 3221214760 1131605696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31050 13073 16 0 209253 0
vsize: 837076
[startup+930.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 88529 60 0 0 25 0 11 0 481313185 857165824 31050 4294967295 134512640 134569956 3221224400 3221214560 1131271979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31050 13073 16 0 209253 0
vsize: 837076
[startup+940.296 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 89511 60 0 0 25 0 11 0 481313185 857165824 31061 4294967295 134512640 134569956 3221224400 3221214760 1131611783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31061 13073 16 0 209253 0
vsize: 837076
[startup+950.295 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 90488 60 0 0 25 0 11 0 481313185 857165824 31091 4294967295 134512640 134569956 3221224400 3221214656 1131565090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31091 13073 16 0 209253 0
vsize: 837076
[startup+960.401 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 91477 60 0 0 25 0 11 0 481313185 857165824 31228 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31228 13073 16 0 209253 0
vsize: 837076
[startup+970.404 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 92461 60 0 0 25 0 11 0 481313185 857165824 31315 4294967295 134512640 134569956 3221224400 3221214560 1131271967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31315 13073 16 0 209253 0
vsize: 837076
[startup+980.404 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 93444 60 0 0 25 0 11 0 481313185 857165824 31315 4294967295 134512640 134569956 3221224400 3221214560 1131272279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31315 13073 16 0 209253 0
vsize: 837076
[startup+990.41 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 94427 60 0 0 25 0 11 0 481313185 857165824 31315 4294967295 134512640 134569956 3221224400 3221214760 1131605845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31315 13073 16 0 209253 0
vsize: 837076
[startup+1000.41 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 95410 60 0 0 25 0 11 0 481313185 857165824 31315 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31315 13073 16 0 209253 0
vsize: 837076
[startup+1010.41 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 96397 60 0 0 25 0 11 0 481313185 857165824 31452 4294967295 134512640 134569956 3221224400 3221214656 1131565112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31452 13073 16 0 209253 0
vsize: 837076
[startup+1020.42 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 97388 60 0 0 25 0 11 0 481313185 857165824 31482 4294967295 134512640 134569956 3221224400 3221214560 1131271967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31482 13073 16 0 209253 0
vsize: 837076
[startup+1030.42 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 98381 60 0 0 25 0 11 0 481313185 857165824 31497 4294967295 134512640 134569956 3221224400 3221214736 1131296244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31497 13073 16 0 209253 0
vsize: 837076
[startup+1040.42 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 99371 60 0 0 25 0 11 0 481313185 857165824 31539 4294967295 134512640 134569956 3221224400 3221214760 1131611798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31539 13073 16 0 209253 0
vsize: 837076
[startup+1050.42 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 100361 60 0 0 25 0 11 0 481313185 857165824 31539 4294967295 134512640 134569956 3221224400 3221214560 1131272125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31539 13073 16 0 209253 0
vsize: 837076
[startup+1060.54 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 101364 60 0 0 25 0 11 0 481313185 857165824 31539 4294967295 134512640 134569956 3221224400 3221214560 1131271967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31539 13073 16 0 209253 0
vsize: 837076
[startup+1070.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 102352 60 0 0 25 0 11 0 481313185 857165824 31539 4294967295 134512640 134569956 3221224400 3221214760 1131605723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31539 13073 16 0 209253 0
vsize: 837076
[startup+1080.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 103336 60 0 0 24 0 11 0 481313185 857165824 31539 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31539 13073 16 0 209253 0
vsize: 837076
[startup+1090.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 104320 60 0 0 25 0 11 0 481313185 857165824 31539 4294967295 134512640 134569956 3221224400 3221214560 1131273543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31539 13073 16 0 209253 0
vsize: 837076
[startup+1100.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 105299 60 0 0 25 0 11 0 481313185 857165824 31583 4294967295 134512640 134569956 3221224400 3221214760 1131605719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31583 13073 16 0 209253 0
vsize: 837076
[startup+1110.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 106281 60 0 0 25 0 11 0 481313185 857165824 31623 4294967295 134512640 134569956 3221224400 3221214760 1131611937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31623 13073 16 0 209253 0
vsize: 837076
[startup+1120.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 107268 60 0 0 25 0 11 0 481313185 857165824 31623 4294967295 134512640 134569956 3221224400 3221214760 1131605696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31623 13073 16 0 209253 0
vsize: 837076
[startup+1130.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 108249 60 0 0 25 0 11 0 481313185 857165824 31664 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31664 13073 16 0 209253 0
vsize: 837076
[startup+1140.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 109232 60 0 0 25 0 11 0 481313185 857165824 31664 4294967295 134512640 134569956 3221224400 3221214656 1131566849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31664 13073 16 0 209253 0
vsize: 837076
[startup+1150.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 110213 61 0 0 25 0 11 0 481313185 857165824 31787 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31787 13073 16 0 209253 0
vsize: 837076
[startup+1160.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 111195 61 0 0 25 0 11 0 481313185 857165824 31828 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31828 13073 16 0 209253 0
vsize: 837076
[startup+1170.55 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 112183 61 0 0 25 0 11 0 481313185 857165824 31828 4294967295 134512640 134569956 3221224400 3221214760 1131605708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31828 13073 16 0 209253 0
vsize: 837076
[startup+1180.56 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 113163 61 0 0 24 0 11 0 481313185 857165824 31828 4294967295 134512640 134569956 3221224400 3221214656 1131566844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31828 13073 16 0 209253 0
vsize: 837076
[startup+1190.56 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 114151 61 0 0 25 0 11 0 481313185 857165824 31870 4294967295 134512640 134569956 3221224400 3221214560 1131272070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31870 13073 16 0 209253 0
vsize: 837076
[startup+1200.56 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 115140 61 0 0 25 0 11 0 481313185 857165824 31980 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31980 13073 16 0 209253 0
vsize: 837076
[startup+1210.56 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 116131 61 0 0 25 0 11 0 481313185 857165824 31980 4294967295 134512640 134569956 3221224400 3221214656 1131564782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 31980 13073 16 0 209253 0
vsize: 837076
[startup+1220.56 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 117124 61 0 0 25 0 11 0 481313185 857165824 32033 4294967295 134512640 134569956 3221224400 3221214760 1131605696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 32033 13073 16 0 209253 0
vsize: 837076
[startup+1230.57 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 118121 61 0 0 25 0 11 0 481313185 857165824 32033 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 32033 13073 16 0 209253 0
vsize: 837076
[startup+1240.57 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 119111 61 0 0 25 0 11 0 481313185 857165824 32033 4294967295 134512640 134569956 3221224400 3221214760 1131605712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 32033 13073 16 0 209253 0
vsize: 837076
[startup+1250.57 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 9973
Raw data (stat): 9961 (java) R 9960 24215 24214 0 -1 0 18094 0 1 0 120101 61 0 0 25 0 11 0 481313185 857165824 32033 4294967295 134512640 134569956 3221224400 3221214760 1131605715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209269 32033 13073 16 0 209253 0
vsize: 837076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.68 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 9975
Raw data (stat): 9961 (java) Z 9960 24215 24214 0 -1 1036 18094 16915 1 0 120106 67 5780 53 25 0 1 0 481313185 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.68
CPU time (s): 1260.09
CPU user time (s): 1258.87
CPU system time (s): 1.21481
CPU usage (%): 100.752
Max. virtual memory (Kb): 838100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####