PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
MD5SUM	0c242afd458949841d3ea7014466f311
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	31139
Biggest coefficient in the objective function	5007894118400
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	89107300928876
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	5007894118400
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	89107300928876
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	32607
Total number of constraints	3263
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3263
Minimum length of a constraint	7
Maximum length of a constraint	426
Trace number 15995

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 06:03:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16480 boxname=wulflinc18 idbench=1268 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0c242afd458949841d3ea7014466f311  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-sierra.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-sierra.opb
IDLAUNCH: 16480
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        331120 kB
Buffers:         35184 kB
Cached:         636336 kB
SwapCached:        388 kB
Active:         330588 kB
Inactive:       343384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        330868 kB
SwapTotal:     2097892 kB
SwapFree:      2096996 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6224 kB
Slab:            23892 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:24:03 (client local time) WITH STATUS 143 IN 1271.18 SECONDS
stats: 16480 7 1271.18 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-sierra.opb
c reading problem 
c [nbvar=32607]
c [nbconstr=3263]
c time 296.406
c #vars     32607
c #clauses  3792
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.86 0.88 2/55 21746
Raw data (stat): 21746 (runsolver) R 21745 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542760539 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.83 0.88 0.88 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17982 0 1 0 891 40 0 0 25 0 10 0 542760539 853471232 19149 4294967295 134512640 134569956 3221224400 3221214704 1131196829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208367 19149 13073 16 0 208351 0
vsize: 833468
[startup+20.0017 s]
Raw data (loadavg): 0.93 0.90 0.89 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 1771 40 0 0 25 0 10 0 542760539 855732224 20154 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 20154 13073 16 0 208903 0
vsize: 835676
[startup+30.0022 s]
Raw data (loadavg): 0.94 0.91 0.89 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 2670 41 0 0 25 0 10 0 542760539 855732224 20578 4294967295 134512640 134569956 3221224400 3221214824 1131210367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 20578 13073 16 0 208903 0
vsize: 835676
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.91 0.89 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 3602 41 0 0 25 0 10 0 542760539 855732224 20804 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 20804 13073 16 0 208903 0
vsize: 835676
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.91 0.89 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 4528 42 0 0 25 0 10 0 542760539 855732224 20926 4294967295 134512640 134569956 3221224400 3221214824 1131208060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 20926 13073 16 0 208903 0
vsize: 835676
[startup+60.0039 s]
Raw data (loadavg): 0.96 0.91 0.89 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 5456 42 0 0 25 0 10 0 542760539 855732224 21029 4294967295 134512640 134569956 3221224400 3221214384 1079668498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 21029 13073 16 0 208903 0
vsize: 835676
[startup+70.0053 s]
Raw data (loadavg): 1.04 0.93 0.90 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 6399 42 0 0 24 0 10 0 542760539 853839872 20851 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 20851 13073 16 0 208441 0
vsize: 833828
[startup+80.0062 s]
Raw data (loadavg): 1.04 0.93 0.90 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 7343 43 0 0 24 0 10 0 542760539 853839872 20931 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 20931 13073 16 0 208441 0
vsize: 833828
[startup+90.0067 s]
Raw data (loadavg): 1.03 0.94 0.90 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 8292 43 0 0 25 0 10 0 542760539 853839872 21001 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21001 13073 16 0 208441 0
vsize: 833828
[startup+100.007 s]
Raw data (loadavg): 1.02 0.94 0.90 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 9238 44 0 0 25 0 10 0 542760539 853839872 21071 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21071 13073 16 0 208441 0
vsize: 833828
[startup+110.008 s]
Raw data (loadavg): 1.02 0.94 0.90 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 10185 44 0 0 25 0 10 0 542760539 853839872 21136 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21136 13073 16 0 208441 0
vsize: 833828
[startup+120.008 s]
Raw data (loadavg): 1.02 0.94 0.91 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 11131 45 0 0 25 0 10 0 542760539 853839872 21197 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21197 13073 16 0 208441 0
vsize: 833828
[startup+130.009 s]
Raw data (loadavg): 1.01 0.94 0.91 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 12077 45 0 0 25 0 10 0 542760539 853839872 21256 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21256 13073 16 0 208441 0
vsize: 833828
[startup+140.01 s]
Raw data (loadavg): 1.01 0.94 0.91 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 13023 45 0 0 24 0 10 0 542760539 853839872 21311 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21311 13073 16 0 208441 0
vsize: 833828
[startup+150.01 s]
Raw data (loadavg): 1.01 0.94 0.91 2/64 21755
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 13969 45 0 0 24 0 10 0 542760539 853839872 21366 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21366 13073 16 0 208441 0
vsize: 833828
[startup+160.012 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 21757
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 14918 46 0 0 25 0 10 0 542760539 853839872 21414 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21414 13073 16 0 208441 0
vsize: 833828
[startup+170.012 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 15844 46 0 0 25 0 10 0 542760539 853839872 21464 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21464 13073 16 0 208441 0
vsize: 833828
[startup+180.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 16771 47 0 0 25 0 10 0 542760539 853839872 21509 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21509 13073 16 0 208441 0
vsize: 833828
[startup+190.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 17709 47 0 0 25 0 10 0 542760539 853839872 21811 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21811 13073 16 0 208441 0
vsize: 833828
[startup+200.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 18650 47 0 0 25 0 10 0 542760539 853839872 21857 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21857 13073 16 0 208441 0
vsize: 833828
[startup+210.014 s]
Raw data (loadavg): 1.08 0.97 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 19591 48 0 0 23 0 10 0 542760539 853839872 21901 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21901 13073 16 0 208441 0
vsize: 833828
[startup+220.015 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 20533 48 0 0 24 0 10 0 542760539 853839872 21944 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21944 13073 16 0 208441 0
vsize: 833828
[startup+230.015 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 21476 49 0 0 25 0 10 0 542760539 853839872 21983 4294967295 134512640 134569956 3221224400 3221214848 1131185430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 21983 13073 16 0 208441 0
vsize: 833828
[startup+240.015 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 22416 49 0 0 25 0 10 0 542760539 853839872 22024 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 22024 13073 16 0 208441 0
vsize: 833828
[startup+250.017 s]
Raw data (loadavg): 1.11 0.99 0.92 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 23356 49 0 0 25 0 10 0 542760539 853839872 22064 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208457 22064 13073 16 0 208441 0
vsize: 833828
[startup+260.037 s]
Raw data (loadavg): 1.10 0.99 0.92 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17983 0 1 0 24296 49 0 0 25 0 10 0 542760539 853839872 22102 4294967295 134512640 134569956 3221224400 3221214704 1130894936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208457 22102 13073 16 0 208441 0
vsize: 833828
[startup+270.037 s]
Raw data (loadavg): 1.30 1.04 0.94 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17995 0 1 0 25156 50 0 0 25 0 10 0 542760539 870113280 27263 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212430 27263 13073 16 0 212414 0
vsize: 849720
[startup+280.038 s]
Raw data (loadavg): 1.25 1.03 0.94 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17995 0 1 0 26086 50 0 0 25 0 10 0 542760539 865329152 26175 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211262 26175 13073 16 0 211246 0
vsize: 845048
[startup+290.039 s]
Raw data (loadavg): 1.22 1.03 0.94 2/64 21759
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 17996 0 1 0 26997 50 0 0 25 0 10 0 542760539 859803648 24882 4294967295 134512640 134569956 3221224400 3221214912 1131499412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209913 24882 13073 16 0 209897 0
vsize: 839652
[startup+300.039 s]
Raw data (loadavg): 1.26 1.05 0.94 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18030 0 1 0 27843 53 0 0 24 0 11 0 542760539 860332032 30516 4294967295 134512640 134569956 3221224400 3221214768 1131544125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210042 30516 13073 16 0 210026 0
vsize: 840168
[startup+310.04 s]
Raw data (loadavg): 1.37 1.08 0.95 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 28771 53 0 0 25 0 11 0 542760539 860332032 30537 4294967295 134512640 134569956 3221224400 3221214848 1131603792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210042 30537 13073 16 0 210026 0
vsize: 840168
[startup+320.041 s]
Raw data (loadavg): 1.46 1.11 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 29741 53 0 0 25 0 11 0 542760539 861380608 30754 4294967295 134512640 134569956 3221224400 3221214608 1131632702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30754 13073 16 0 210282 0
vsize: 841192
[startup+330.041 s]
Raw data (loadavg): 1.39 1.10 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 30733 53 0 0 25 0 11 0 542760539 861380608 30755 4294967295 134512640 134569956 3221224400 3221214608 1131632692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30755 13073 16 0 210282 0
vsize: 841192
[startup+340.041 s]
Raw data (loadavg): 1.33 1.10 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 31720 54 0 0 25 0 11 0 542760539 861380608 30757 4294967295 134512640 134569956 3221224400 3221214704 1131835788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30757 13073 16 0 210282 0
vsize: 841192
[startup+350.042 s]
Raw data (loadavg): 1.28 1.10 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 32707 54 0 0 25 0 11 0 542760539 861380608 30763 4294967295 134512640 134569956 3221224400 3221214792 1131541992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30763 13073 16 0 210282 0
vsize: 841192
[startup+360.042 s]
Raw data (loadavg): 1.23 1.09 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 33701 54 0 0 25 0 11 0 542760539 861380608 30763 4294967295 134512640 134569956 3221224400 3221214840 1131604075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30763 13073 16 0 210282 0
vsize: 841192
[startup+370.042 s]
Raw data (loadavg): 1.20 1.09 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 34701 54 0 0 25 0 11 0 542760539 861380608 30763 4294967295 134512640 134569956 3221224400 3221214704 1131835784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30763 13073 16 0 210282 0
vsize: 841192
[startup+380.043 s]
Raw data (loadavg): 1.17 1.08 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 35696 54 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+390.043 s]
Raw data (loadavg): 1.14 1.08 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 36690 55 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214688 1131338456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+400.043 s]
Raw data (loadavg): 1.12 1.08 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 37690 55 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+410.045 s]
Raw data (loadavg): 1.10 1.08 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 38684 55 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+420.045 s]
Raw data (loadavg): 1.08 1.07 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 39677 55 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+430.045 s]
Raw data (loadavg): 1.07 1.07 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 40677 55 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+440.046 s]
Raw data (loadavg): 1.06 1.07 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 41670 56 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+450.046 s]
Raw data (loadavg): 1.05 1.06 0.96 2/65 21760
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 42662 56 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+460.047 s]
Raw data (loadavg): 1.04 1.06 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 43654 56 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214832 1131603788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+470.048 s]
Raw data (loadavg): 1.04 1.06 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 44646 56 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+480.048 s]
Raw data (loadavg): 1.03 1.06 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 45637 56 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214672 1131337765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+490.049 s]
Raw data (loadavg): 1.02 1.05 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 46619 56 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+500.05 s]
Raw data (loadavg): 1.02 1.05 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 47591 56 0 0 25 0 11 0 542760539 861380608 30764 4294967295 134512640 134569956 3221224400 3221214696 1131835792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 30764 13073 16 0 210282 0
vsize: 841192
[startup+510.05 s]
Raw data (loadavg): 1.02 1.05 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 48573 56 0 0 25 0 11 0 542760539 861380608 30876 4294967295 134512640 134569956 3221224400 3221214672 1131337505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30876 13073 16 0 210282 0
vsize: 841192
[startup+520.051 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 49547 57 0 0 25 0 11 0 542760539 861380608 30923 4294967295 134512640 134569956 3221224400 3221214696 1131835792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 30923 13073 16 0 210282 0
vsize: 841192
[startup+530.052 s]
Raw data (loadavg): 1.01 1.05 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 50530 57 0 0 25 0 11 0 542760539 861380608 31003 4294967295 134512640 134569956 3221224400 3221214696 1131835941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31003 13073 16 0 210282 0
vsize: 841192
[startup+540.052 s]
Raw data (loadavg): 1.01 1.04 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 51506 57 0 0 25 0 11 0 542760539 861380608 31042 4294967295 134512640 134569956 3221224400 3221214504 1131767383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31042 13073 16 0 210282 0
vsize: 841192
[startup+550.052 s]
Raw data (loadavg): 1.01 1.04 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 52489 57 0 0 25 0 11 0 542760539 861380608 31086 4294967295 134512640 134569956 3221224400 3221214672 1131337657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 31086 13073 16 0 210282 0
vsize: 841192
[startup+560.053 s]
Raw data (loadavg): 1.01 1.04 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 53466 57 0 0 25 0 11 0 542760539 861380608 31184 4294967295 134512640 134569956 3221224400 3221214672 1131337657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31184 13073 16 0 210282 0
vsize: 841192
[startup+570.054 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 54450 58 0 0 25 0 11 0 542760539 861380608 31244 4294967295 134512640 134569956 3221224400 3221214696 1131835931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31244 13073 16 0 210282 0
vsize: 841192
[startup+580.054 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 55428 58 0 0 25 0 11 0 542760539 861380608 31338 4294967295 134512640 134569956 3221224400 3221214768 1131542036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31338 13073 16 0 210282 0
vsize: 841192
[startup+590.055 s]
Raw data (loadavg): 1.00 1.04 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 56407 58 0 0 25 0 11 0 542760539 861380608 31380 4294967295 134512640 134569956 3221224400 3221214736 1131337657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31380 13073 16 0 210282 0
vsize: 841192
[startup+600.055 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 57393 58 0 0 25 0 11 0 542760539 861380608 31452 4294967295 134512640 134569956 3221224400 3221214696 1131835931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 31452 13073 16 0 210282 0
vsize: 841192
[startup+610.056 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 58374 59 0 0 25 0 11 0 542760539 861380608 31526 4294967295 134512640 134569956 3221224400 3221214696 1131835799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 31526 13073 16 0 210282 0
vsize: 841192
[startup+620.057 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 59356 59 0 0 25 0 11 0 542760539 861380608 31659 4294967295 134512640 134569956 3221224400 3221214672 1131337657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31659 13073 16 0 210282 0
vsize: 841192
[startup+630.056 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 60333 59 0 0 25 0 11 0 542760539 861380608 31805 4294967295 134512640 134569956 3221224400 3221214672 1131337886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31805 13073 16 0 210282 0
vsize: 841192
[startup+640.057 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 61311 59 0 0 25 0 11 0 542760539 861380608 31870 4294967295 134512640 134569956 3221224400 3221214696 1131835810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31870 13073 16 0 210282 0
vsize: 841192
[startup+650.058 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 62284 60 0 0 25 0 11 0 542760539 861380608 31963 4294967295 134512640 134569956 3221224400 3221214832 1131603792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 31963 13073 16 0 210282 0
vsize: 841192
[startup+660.059 s]
Raw data (loadavg): 1.00 1.03 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 63263 60 0 0 25 0 11 0 542760539 861380608 32000 4294967295 134512640 134569956 3221224400 3221214720 1131274303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32000 13073 16 0 210282 0
vsize: 841192
[startup+670.06 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 64242 60 0 0 25 0 11 0 542760539 861380608 32111 4294967295 134512640 134569956 3221224400 3221214672 1131337904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32111 13073 16 0 210282 0
vsize: 841192
[startup+680.06 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 65215 61 0 0 25 0 11 0 542760539 861380608 32175 4294967295 134512640 134569956 3221224400 3221214696 1131835788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32175 13073 16 0 210282 0
vsize: 841192
[startup+690.061 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 66195 61 0 0 25 0 11 0 542760539 861380608 32530 4294967295 134512640 134569956 3221224400 3221214672 1131337777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32530 13073 16 0 210282 0
vsize: 841192
[startup+700.062 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 67173 61 0 0 25 0 11 0 542760539 861380608 32662 4294967295 134512640 134569956 3221224400 3221214764 1131337235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32662 13073 16 0 210282 0
vsize: 841192
[startup+710.063 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 68156 62 0 0 25 0 11 0 542760539 861380608 32691 4294967295 134512640 134569956 3221224400 3221214696 1131835796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32691 13073 16 0 210282 0
vsize: 841192
[startup+720.064 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 69132 62 0 0 25 0 11 0 542760539 861380608 32721 4294967295 134512640 134569956 3221224400 3221214688 1131320904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32721 13073 16 0 210282 0
vsize: 841192
[startup+730.063 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 70112 62 0 0 25 0 11 0 542760539 861380608 32920 4294967295 134512640 134569956 3221224400 3221214832 1131604022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 32920 13073 16 0 210282 0
vsize: 841192
[startup+740.064 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 71089 63 0 0 25 0 11 0 542760539 861380608 33071 4294967295 134512640 134569956 3221224400 3221214696 1131835788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 33071 13073 16 0 210282 0
vsize: 841192
[startup+750.066 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21762
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 72070 63 0 0 25 0 11 0 542760539 861380608 33206 4294967295 134512640 134569956 3221224400 3221214768 1131544479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 33206 13073 16 0 210282 0
vsize: 841192
[startup+760.066 s]
Raw data (loadavg): 1.00 1.02 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 73046 63 0 0 25 0 11 0 542760539 861380608 33735 4294967295 134512640 134569956 3221224400 3221214672 1131337352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 33735 13073 16 0 210282 0
vsize: 841192
[startup+770.067 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 74029 63 0 0 25 0 11 0 542760539 861380608 33747 4294967295 134512640 134569956 3221224400 3221214832 1131603804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 33747 13073 16 0 210282 0
vsize: 841192
[startup+780.066 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 75007 63 0 0 25 0 11 0 542760539 861380608 33881 4294967295 134512640 134569956 3221224400 3221214672 1131337826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 33881 13073 16 0 210282 0
vsize: 841192
[startup+790.067 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 75987 63 0 0 25 0 11 0 542760539 861380608 34363 4294967295 134512640 134569956 3221224400 3221214696 1131835799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 34363 13073 16 0 210282 0
vsize: 841192
[startup+800.067 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 76969 64 0 0 25 0 11 0 542760539 861380608 34557 4294967295 134512640 134569956 3221224400 3221214696 1131835801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 34557 13073 16 0 210282 0
vsize: 841192
[startup+810.068 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 77946 65 0 0 25 0 11 0 542760539 861380608 34583 4294967295 134512640 134569956 3221224400 3221214672 1131337657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 34583 13073 16 0 210282 0
vsize: 841192
[startup+820.069 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 78923 65 0 0 25 0 11 0 542760539 861380608 34983 4294967295 134512640 134569956 3221224400 3221214696 1131835799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 34983 13073 16 0 210282 0
vsize: 841192
[startup+830.069 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 79906 65 0 0 25 0 11 0 542760539 861380608 34983 4294967295 134512640 134569956 3221224400 3221214864 1131644076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 34983 13073 16 0 210282 0
vsize: 841192
[startup+840.077 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 80885 65 0 0 25 0 11 0 542760539 861380608 34983 4294967295 134512640 134569956 3221224400 3221214672 1131337593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 34983 13073 16 0 210282 0
vsize: 841192
[startup+850.077 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 81865 66 0 0 25 0 11 0 542760539 861380608 35041 4294967295 134512640 134569956 3221224400 3221214768 1131541929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 35041 13073 16 0 210282 0
vsize: 841192
[startup+860.078 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 82841 66 0 0 25 0 11 0 542760539 861380608 35397 4294967295 134512640 134569956 3221224400 3221214696 1131835814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 35397 13073 16 0 210282 0
vsize: 841192
[startup+870.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 83821 66 0 0 25 0 11 0 542760539 861380608 35441 4294967295 134512640 134569956 3221224400 3221214736 1131614079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 35441 13073 16 0 210282 0
vsize: 841192
[startup+880.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 84796 66 0 0 25 0 11 0 542760539 861380608 35520 4294967295 134512640 134569956 3221224400 3221214672 1131337272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 35520 13073 16 0 210282 0
vsize: 841192
[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 85778 66 0 0 25 0 11 0 542760539 861380608 35703 4294967295 134512640 134569956 3221224400 3221214672 1131337284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 35703 13073 16 0 210282 0
vsize: 841192
[startup+900.081 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 86748 67 0 0 25 0 11 0 542760539 861380608 35773 4294967295 134512640 134569956 3221224400 3221214688 1131335751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 35773 13073 16 0 210282 0
vsize: 841192
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 87716 67 0 0 25 0 11 0 542760539 861380608 35888 4294967295 134512640 134569956 3221224400 3221214832 1131603808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 35888 13073 16 0 210282 0
vsize: 841192
[startup+920.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 88685 67 0 0 25 0 11 0 542760539 861380608 36291 4294967295 134512640 134569956 3221224400 3221214672 1131338156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 36291 13073 16 0 210282 0
vsize: 841192
[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 89659 68 0 0 25 0 11 0 542760539 861380608 36349 4294967295 134512640 134569956 3221224400 3221214672 1131337826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 36349 13073 16 0 210282 0
vsize: 841192
[startup+940.083 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 90630 68 0 0 24 0 11 0 542760539 861380608 36435 4294967295 134512640 134569956 3221224400 3221214696 1131835796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 36435 13073 16 0 210282 0
vsize: 841192
[startup+950.083 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 91606 68 0 0 25 0 11 0 542760539 861380608 36568 4294967295 134512640 134569956 3221224400 3221214672 1131337612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 36568 13073 16 0 210282 0
vsize: 841192
[startup+960.086 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 92583 68 0 0 25 0 11 0 542760539 861380608 36627 4294967295 134512640 134569956 3221224400 3221214672 1131338177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 36627 13073 16 0 210282 0
vsize: 841192
[startup+970.087 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 93550 68 0 0 25 0 11 0 542760539 861380608 36734 4294967295 134512640 134569956 3221224400 3221214672 1131337886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 36734 13073 16 0 210282 0
vsize: 841192
[startup+980.087 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 94522 68 0 0 25 0 11 0 542760539 861380608 36861 4294967295 134512640 134569956 3221224400 3221214696 1131835806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 36861 13073 16 0 210282 0
vsize: 841192
[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 95493 69 0 0 25 0 11 0 542760539 861380608 37063 4294967295 134512640 134569956 3221224400 3221214768 1131543856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 37063 13073 16 0 210282 0
vsize: 841192
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 96466 69 0 0 25 0 11 0 542760539 861380608 37511 4294967295 134512640 134569956 3221224400 3221214672 1131337730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 37511 13073 16 0 210282 0
vsize: 841192
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 97433 69 0 0 24 0 11 0 542760539 861380608 37844 4294967295 134512640 134569956 3221224400 3221214768 1131544559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 37844 13073 16 0 210282 0
vsize: 841192
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 98406 70 0 0 25 0 11 0 542760539 861380608 38722 4294967295 134512640 134569956 3221224400 3221214672 1131337852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 38722 13073 16 0 210282 0
vsize: 841192
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 99383 70 0 0 25 0 11 0 542760539 861380608 38722 4294967295 134512640 134569956 3221224400 3221214672 1131337657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 38722 13073 16 0 210282 0
vsize: 841192
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 100354 70 0 0 25 0 11 0 542760539 861380608 38808 4294967295 134512640 134569956 3221224400 3221214696 1131835941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 38808 13073 16 0 210282 0
vsize: 841192
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21764
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 101327 70 0 0 25 0 11 0 542760539 861380608 39191 4294967295 134512640 134569956 3221224400 3221214696 1131835792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 39191 13073 16 0 210282 0
vsize: 841192
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18069 0 1 0 102294 71 0 0 24 0 11 0 542760539 861380608 39539 4294967295 134512640 134569956 3221224400 3221214672 1131337614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 39539 13073 16 0 210282 0
vsize: 841192
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 103268 72 0 0 25 0 11 0 542760539 861380608 39631 4294967295 134512640 134569956 3221224400 3221214672 1131338461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 39631 13073 16 0 210282 0
vsize: 841192
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 104242 72 0 0 25 0 11 0 542760539 861380608 39784 4294967295 134512640 134569956 3221224400 3221214672 1131337657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 39784 13073 16 0 210282 0
vsize: 841192
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 105214 72 0 0 25 0 11 0 542760539 861380608 40410 4294967295 134512640 134569956 3221224400 3221214672 1131337795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 40410 13073 16 0 210282 0
vsize: 841192
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 106188 72 0 0 25 0 11 0 542760539 861380608 40422 4294967295 134512640 134569956 3221224400 3221214736 1131614908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 40422 13073 16 0 210282 0
vsize: 841192
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 107165 72 0 0 25 0 11 0 542760539 861380608 40561 4294967295 134512640 134569956 3221224400 3221214672 1131337272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 40561 13073 16 0 210282 0
vsize: 841192
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 108138 72 0 0 25 0 11 0 542760539 861380608 40796 4294967295 134512640 134569956 3221224400 3221214672 1131337657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 40796 13073 16 0 210282 0
vsize: 841192
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 109114 72 0 0 25 0 11 0 542760539 861380608 41073 4294967295 134512640 134569956 3221224400 3221214696 1131835810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 41073 13073 16 0 210282 0
vsize: 841192
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 110086 72 0 0 25 0 11 0 542760539 861380608 41518 4294967295 134512640 134569956 3221224400 3221214732 1131639672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 41518 13073 16 0 210282 0
vsize: 841192
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 111061 72 0 0 24 0 11 0 542760539 861380608 41877 4294967295 134512640 134569956 3221224400 3221214768 1131541992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 41877 13073 16 0 210282 0
vsize: 841192
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 112039 72 0 0 25 0 11 0 542760539 861380608 41921 4294967295 134512640 134569956 3221224400 3221214696 1131835796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 41921 13073 16 0 210282 0
vsize: 841192
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 113018 72 0 0 25 0 11 0 542760539 861380608 42288 4294967295 134512640 134569956 3221224400 3221214672 1131337902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 42288 13073 16 0 210282 0
vsize: 841192
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 114000 72 0 0 25 0 11 0 542760539 861380608 42288 4294967295 134512640 134569956 3221224400 3221213888 1131859896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 42288 13073 16 0 210282 0
vsize: 841192
[startup+1190.1 s]
Raw data (loadavg): 1.07 1.02 0.97 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 114975 72 0 0 25 0 11 0 542760539 861380608 42347 4294967295 134512640 134569956 3221224400 3221214696 1131835788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 42347 13073 16 0 210282 0
vsize: 841192
[startup+1200.1 s]
Raw data (loadavg): 1.06 1.02 0.97 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 115947 72 0 0 25 0 11 0 542760539 861380608 42614 4294967295 134512640 134569956 3221224400 3221214720 1131274225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 42614 13073 16 0 210282 0
vsize: 841192
[startup+1210.1 s]
Raw data (loadavg): 1.05 1.01 0.97 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 116924 72 0 0 25 0 11 0 542760539 861380608 42791 4294967295 134512640 134569956 3221224400 3221214672 1131337826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 42791 13073 16 0 210282 0
vsize: 841192
[startup+1220.1 s]
Raw data (loadavg): 1.04 1.01 0.97 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 117900 72 0 0 25 0 11 0 542760539 861380608 42817 4294967295 134512640 134569956 3221224400 3221214736 1131614110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 42817 13073 16 0 210282 0
vsize: 841192
[startup+1230.1 s]
Raw data (loadavg): 1.04 1.01 0.97 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 118874 72 0 0 25 0 11 0 542760539 861380608 42947 4294967295 134512640 134569956 3221224400 3221214672 1131337874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 42947 13073 16 0 210282 0
vsize: 841192
[startup+1240.11 s]
Raw data (loadavg): 1.03 1.01 0.97 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 119847 72 0 0 25 0 11 0 542760539 861380608 43019 4294967295 134512640 134569956 3221224400 3221214696 1131835799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 43019 13073 16 0 210282 0
vsize: 841192
[startup+1250.12 s]
Raw data (loadavg): 1.02 1.01 0.97 2/65 21766
Raw data (stat): 21746 (java) R 21745 20024 20023 0 -1 0 18070 0 1 0 120826 72 0 0 25 0 11 0 542760539 861380608 43334 4294967295 134512640 134569956 3221224400 3221214696 1131835792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210298 43334 13073 16 0 210282 0
vsize: 841192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.24 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 21768
Raw data (stat): 21746 (java) Z 21745 20024 20023 0 -1 1036 18070 37372 1 0 120829 80 6110 96 25 0 1 0 542760539 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.24
CPU time (s): 1271.18
CPU user time (s): 1269.4
CPU system time (s): 1.77673
CPU usage (%): 101.674
Max. virtual memory (Kb): 849720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####