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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39220173760
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39220173760
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.967852
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 17717

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        224400 kB
Buffers:         28660 kB
Cached:         752780 kB
SwapCached:        492 kB
Active:         389900 kB
Inactive:       393616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        224148 kB
SwapTotal:     2097136 kB
SwapFree:      2095852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            21032 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 11:53:55 (client local time) WITH STATUS 143 IN 1310.12 SECONDS
stats: 19184 7 1310.12 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-n370e.opb
c reading problem 
c [nbvar=105000]
c [nbconstr=5150]
#### 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.80 0.92 0.89 2/54 4015
Raw data (stat): 4015 (runsolver) R 4014 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544742189 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.0004 s]
Raw data (loadavg): 0.83 0.93 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 887 41 0 0 25 0 10 0 544742189 853389312 19086 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208347 19086 13073 16 0 208331 0
vsize: 833388
[startup+20.0014 s]
Raw data (loadavg): 0.86 0.93 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 1775 41 0 0 25 0 10 0 544742189 853561344 19621 4294967295 134512640 134569956 3221224400 3221214824 1131222096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 19621 13073 16 0 208373 0
vsize: 833556
[startup+30.0021 s]
Raw data (loadavg): 0.88 0.93 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 2672 41 0 0 24 0 10 0 544742189 853561344 20041 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20041 13073 16 0 208373 0
vsize: 833556
[startup+40.0023 s]
Raw data (loadavg): 0.90 0.93 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 3601 41 0 0 24 0 10 0 544742189 853561344 20266 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20266 13073 16 0 208373 0
vsize: 833556
[startup+50.0034 s]
Raw data (loadavg): 0.91 0.93 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 4528 41 0 0 24 0 10 0 544742189 853561344 20385 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20385 13073 16 0 208373 0
vsize: 833556
[startup+60.003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 5462 41 0 0 25 0 10 0 544742189 853561344 20502 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20502 13073 16 0 208373 0
vsize: 833556
[startup+70.0043 s]
Raw data (loadavg): 0.94 0.94 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 6406 42 0 0 25 0 10 0 544742189 853561344 20721 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20721 13073 16 0 208373 0
vsize: 833556
[startup+80.0045 s]
Raw data (loadavg): 0.95 0.94 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 7351 42 0 0 25 0 10 0 544742189 853561344 20802 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20802 13073 16 0 208373 0
vsize: 833556
[startup+90.0041 s]
Raw data (loadavg): 0.95 0.94 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 8300 42 0 0 25 0 10 0 544742189 853561344 20870 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20870 13073 16 0 208373 0
vsize: 833556
[startup+100.005 s]
Raw data (loadavg): 0.96 0.94 0.90 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 9246 42 0 0 24 0 10 0 544742189 853561344 20938 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20938 13073 16 0 208373 0
vsize: 833556
[startup+110.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 10194 43 0 0 25 0 10 0 544742189 853561344 20998 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20998 13073 16 0 208373 0
vsize: 833556
[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 11143 43 0 0 25 0 10 0 544742189 853561344 21055 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21055 13073 16 0 208373 0
vsize: 833556
[startup+130.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 12089 43 0 0 25 0 10 0 544742189 853561344 21112 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21112 13073 16 0 208373 0
vsize: 833556
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 13038 43 0 0 25 0 10 0 544742189 853561344 21164 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21164 13073 16 0 208373 0
vsize: 833556
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 13984 43 0 0 24 0 10 0 544742189 853561344 21218 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21218 13073 16 0 208373 0
vsize: 833556
[startup+160.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 14932 44 0 0 25 0 10 0 544742189 853561344 21267 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21267 13073 16 0 208373 0
vsize: 833556
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 15872 44 0 0 25 0 10 0 544742189 853561344 21313 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21313 13073 16 0 208373 0
vsize: 833556
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 16797 44 0 0 25 0 10 0 544742189 853561344 21358 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21358 13073 16 0 208373 0
vsize: 833556
[startup+190.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 17731 45 0 0 25 0 10 0 544742189 853561344 21658 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21658 13073 16 0 208373 0
vsize: 833556
[startup+200.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 18672 45 0 0 24 0 10 0 544742189 853561344 21703 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21703 13073 16 0 208373 0
vsize: 833556
[startup+210.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 19615 46 0 0 25 0 10 0 544742189 853561344 21744 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21744 13073 16 0 208373 0
vsize: 833556
[startup+220.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 20560 46 0 0 25 0 10 0 544742189 853561344 21785 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21785 13073 16 0 208373 0
vsize: 833556
[startup+230.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 21504 47 0 0 25 0 10 0 544742189 853561344 21824 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21824 13073 16 0 208373 0
vsize: 833556
[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 22443 47 0 0 25 0 10 0 544742189 853561344 21865 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21865 13073 16 0 208373 0
vsize: 833556
[startup+250.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 23386 48 0 0 25 0 10 0 544742189 853561344 21902 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21902 13073 16 0 208373 0
vsize: 833556
[startup+260.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 24328 48 0 0 20 0 10 0 544742189 853561344 21939 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21939 13073 16 0 208373 0
vsize: 833556
[startup+270.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 25267 49 0 0 24 0 10 0 544742189 853561344 21977 4294967295 134512640 134569956 3221224400 3221214816 1130893403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 21977 13073 16 0 208373 0
vsize: 833556
[startup+280.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 26208 49 0 0 25 0 10 0 544742189 853561344 22012 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22012 13073 16 0 208373 0
vsize: 833556
[startup+290.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 27148 49 0 0 25 0 10 0 544742189 853561344 22046 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22046 13073 16 0 208373 0
vsize: 833556
[startup+300.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 28089 49 0 0 25 0 10 0 544742189 853561344 22080 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22080 13073 16 0 208373 0
vsize: 833556
[startup+310.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 29026 49 0 0 24 0 10 0 544742189 853561344 22115 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22115 13073 16 0 208373 0
vsize: 833556
[startup+320.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 29966 49 0 0 25 0 10 0 544742189 853561344 22148 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22148 13073 16 0 208373 0
vsize: 833556
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 30905 49 0 0 25 0 10 0 544742189 853561344 22180 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22180 13073 16 0 208373 0
vsize: 833556
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 31844 49 0 0 25 0 10 0 544742189 853561344 22212 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22212 13073 16 0 208373 0
vsize: 833556
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 32782 50 0 0 25 0 10 0 544742189 853561344 22243 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22243 13073 16 0 208373 0
vsize: 833556
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 33716 50 0 0 25 0 10 0 544742189 853561344 22276 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22276 13073 16 0 208373 0
vsize: 833556
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 34654 50 0 0 25 0 10 0 544742189 853561344 22306 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22306 13073 16 0 208373 0
vsize: 833556
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 35590 50 0 0 25 0 10 0 544742189 853561344 22336 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22336 13073 16 0 208373 0
vsize: 833556
[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 36526 50 0 0 25 0 10 0 544742189 853561344 22365 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22365 13073 16 0 208373 0
vsize: 833556
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 37462 50 0 0 25 0 10 0 544742189 853561344 22394 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22394 13073 16 0 208373 0
vsize: 833556
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 38398 51 0 0 25 0 10 0 544742189 853561344 22423 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22423 13073 16 0 208373 0
vsize: 833556
[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 39332 51 0 0 25 0 10 0 544742189 853561344 22451 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22451 13073 16 0 208373 0
vsize: 833556
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 40267 51 0 0 25 0 10 0 544742189 853561344 22479 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22479 13073 16 0 208373 0
vsize: 833556
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 41198 52 0 0 24 0 10 0 544742189 853561344 22508 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22508 13073 16 0 208373 0
vsize: 833556
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 42132 52 0 0 24 0 10 0 544742189 853561344 22535 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22535 13073 16 0 208373 0
vsize: 833556
[startup+460.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 43065 52 0 0 25 0 10 0 544742189 853561344 22562 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22562 13073 16 0 208373 0
vsize: 833556
[startup+470.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 43998 52 0 0 25 0 10 0 544742189 853561344 22589 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22589 13073 16 0 208373 0
vsize: 833556
[startup+480.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 44931 53 0 0 25 0 10 0 544742189 853561344 22615 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22615 13073 16 0 208373 0
vsize: 833556
[startup+490.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 45862 53 0 0 25 0 10 0 544742189 853561344 22641 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22641 13073 16 0 208373 0
vsize: 833556
[startup+500.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 46794 53 0 0 25 0 10 0 544742189 853561344 22667 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22667 13073 16 0 208373 0
vsize: 833556
[startup+510.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 47726 53 0 0 25 0 10 0 544742189 853561344 22692 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22692 13073 16 0 208373 0
vsize: 833556
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 48656 54 0 0 25 0 10 0 544742189 853561344 22717 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22717 13073 16 0 208373 0
vsize: 833556
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 49586 54 0 0 24 0 10 0 544742189 853561344 22742 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22742 13073 16 0 208373 0
vsize: 833556
[startup+540.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 50516 55 0 0 25 0 10 0 544742189 853561344 22767 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22767 13073 16 0 208373 0
vsize: 833556
[startup+550.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 51445 55 0 0 25 0 10 0 544742189 853561344 22792 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22792 13073 16 0 208373 0
vsize: 833556
[startup+560.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 52374 55 0 0 24 0 10 0 544742189 853561344 22817 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22817 13073 16 0 208373 0
vsize: 833556
[startup+570.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 53307 55 0 0 25 0 10 0 544742189 853561344 22839 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22839 13073 16 0 208373 0
vsize: 833556
[startup+580.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 54237 55 0 0 25 0 10 0 544742189 853561344 22863 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22863 13073 16 0 208373 0
vsize: 833556
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 55165 56 0 0 25 0 10 0 544742189 853561344 22887 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22887 13073 16 0 208373 0
vsize: 833556
[startup+600.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 56092 56 0 0 25 0 10 0 544742189 853561344 22910 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22910 13073 16 0 208373 0
vsize: 833556
[startup+610.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 57019 56 0 0 25 0 10 0 544742189 853561344 22933 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22933 13073 16 0 208373 0
vsize: 833556
[startup+620.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 57946 56 0 0 25 0 10 0 544742189 853561344 22956 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22956 13073 16 0 208373 0
vsize: 833556
[startup+630.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 58872 57 0 0 25 0 10 0 544742189 853561344 22979 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 22979 13073 16 0 208373 0
vsize: 833556
[startup+640.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 59798 57 0 0 25 0 10 0 544742189 853561344 23002 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23002 13073 16 0 208373 0
vsize: 833556
[startup+650.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 60724 57 0 0 24 0 10 0 544742189 853561344 23024 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23024 13073 16 0 208373 0
vsize: 833556
[startup+660.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 61654 57 0 0 25 0 10 0 544742189 853561344 23045 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23045 13073 16 0 208373 0
vsize: 833556
[startup+670.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 62573 58 0 0 25 0 10 0 544742189 853561344 23533 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 23533 13073 16 0 208373 0
vsize: 833556
[startup+680.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 63500 58 0 0 25 0 10 0 544742189 853561344 24088 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24088 13073 16 0 208373 0
vsize: 833556
[startup+690.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 64419 58 0 0 25 0 10 0 544742189 853561344 24090 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24090 13073 16 0 208373 0
vsize: 833556
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 65339 58 0 0 25 0 10 0 544742189 853561344 24126 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24126 13073 16 0 208373 0
vsize: 833556
[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 66255 58 0 0 25 0 10 0 544742189 853561344 24152 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24152 13073 16 0 208373 0
vsize: 833556
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 67168 58 0 0 25 0 10 0 544742189 853561344 24179 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24179 13073 16 0 208373 0
vsize: 833556
[startup+730.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 68088 59 0 0 25 0 10 0 544742189 853561344 24203 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24203 13073 16 0 208373 0
vsize: 833556
[startup+740.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 69001 59 0 0 25 0 10 0 544742189 853561344 24227 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24227 13073 16 0 208373 0
vsize: 833556
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 69914 59 0 0 24 0 10 0 544742189 853561344 24248 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24248 13073 16 0 208373 0
vsize: 833556
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 70832 59 0 0 25 0 10 0 544742189 853561344 24267 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24267 13073 16 0 208373 0
vsize: 833556
[startup+770.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 71745 59 0 0 25 0 10 0 544742189 853561344 24300 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24300 13073 16 0 208373 0
vsize: 833556
[startup+780.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 72663 59 0 0 25 0 10 0 544742189 853561344 24324 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24324 13073 16 0 208373 0
vsize: 833556
[startup+790.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 73576 59 0 0 25 0 10 0 544742189 853561344 24345 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24345 13073 16 0 208373 0
vsize: 833556
[startup+800.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 74488 59 0 0 24 0 10 0 544742189 853561344 24365 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24365 13073 16 0 208373 0
vsize: 833556
[startup+810.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 75405 60 0 0 25 0 10 0 544742189 853561344 24397 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24397 13073 16 0 208373 0
vsize: 833556
[startup+820.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 76316 60 0 0 25 0 10 0 544742189 853561344 24421 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24421 13073 16 0 208373 0
vsize: 833556
[startup+830.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 77232 60 0 0 25 0 10 0 544742189 853561344 24442 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24442 13073 16 0 208373 0
vsize: 833556
[startup+840.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 78143 60 0 0 25 0 10 0 544742189 853561344 24468 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 24468 13073 16 0 208373 0
vsize: 833556
[startup+850.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 79058 60 0 0 25 0 10 0 544742189 853561344 24489 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24489 13073 16 0 208373 0
vsize: 833556
[startup+860.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 79967 60 0 0 25 0 10 0 544742189 853561344 24513 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24513 13073 16 0 208373 0
vsize: 833556
[startup+870.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 80883 60 0 0 25 0 10 0 544742189 853561344 24532 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24532 13073 16 0 208373 0
vsize: 833556
[startup+880.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 81793 61 0 0 25 0 10 0 544742189 853561344 24551 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24551 13073 16 0 208373 0
vsize: 833556
[startup+890.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 82707 61 0 0 25 0 10 0 544742189 853561344 24580 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24580 13073 16 0 208373 0
vsize: 833556
[startup+900.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 83616 61 0 0 25 0 10 0 544742189 853561344 24600 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24600 13073 16 0 208373 0
vsize: 833556
[startup+910.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 84530 61 0 0 25 0 10 0 544742189 853561344 24625 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24625 13073 16 0 208373 0
vsize: 833556
[startup+920.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 85437 62 0 0 25 0 10 0 544742189 853561344 24646 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24646 13073 16 0 208373 0
vsize: 833556
[startup+930.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 86351 62 0 0 25 0 10 0 544742189 853561344 24668 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24668 13073 16 0 208373 0
vsize: 833556
[startup+940.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 87257 62 0 0 25 0 10 0 544742189 853561344 24690 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24690 13073 16 0 208373 0
vsize: 833556
[startup+950.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 88169 62 0 0 25 0 10 0 544742189 853561344 24707 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24707 13073 16 0 208373 0
vsize: 833556
[startup+960.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 89076 62 0 0 24 0 10 0 544742189 853561344 24735 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24735 13073 16 0 208373 0
vsize: 833556
[startup+970.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 89988 62 0 0 25 0 10 0 544742189 853561344 24756 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24756 13073 16 0 208373 0
vsize: 833556
[startup+980.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 90893 62 0 0 24 0 10 0 544742189 853561344 24776 4294967295 134512640 134569956 3221224400 3221213840 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24776 13073 16 0 208373 0
vsize: 833556
[startup+990.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 91804 62 0 0 25 0 10 0 544742189 853561344 24798 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24798 13073 16 0 208373 0
vsize: 833556
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 92715 62 0 0 25 0 10 0 544742189 853561344 24816 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24816 13073 16 0 208373 0
vsize: 833556
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 93620 63 0 0 25 0 10 0 544742189 853561344 24840 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24840 13073 16 0 208373 0
vsize: 833556
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 94531 63 0 0 25 0 10 0 544742189 853561344 24859 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24859 13073 16 0 208373 0
vsize: 833556
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 95436 63 0 0 24 0 10 0 544742189 853561344 24877 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24877 13073 16 0 208373 0
vsize: 833556
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 96347 63 0 0 25 0 10 0 544742189 853561344 24902 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24902 13073 16 0 208373 0
vsize: 833556
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 97257 63 0 0 25 0 10 0 544742189 853561344 24921 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24921 13073 16 0 208373 0
vsize: 833556
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 98160 64 0 0 19 0 10 0 544742189 853561344 24938 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24938 13073 16 0 208373 0
vsize: 833556
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 99070 64 0 0 22 0 10 0 544742189 853561344 24962 4294967295 134512640 134569956 3221224400 3221214280 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24962 13073 16 0 208373 0
vsize: 833556
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 99976 64 0 0 24 0 10 0 544742189 853561344 24984 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 24984 13073 16 0 208373 0
vsize: 833556
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 100879 64 0 0 20 0 10 0 544742189 853561344 25004 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25004 13073 16 0 208373 0
vsize: 833556
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 101787 64 0 0 22 0 10 0 544742189 853561344 25023 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25023 13073 16 0 208373 0
vsize: 833556
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 102689 64 0 0 19 0 10 0 544742189 853561344 25046 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25046 13073 16 0 208373 0
vsize: 833556
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 103596 65 0 0 19 0 10 0 544742189 853561344 25065 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25065 13073 16 0 208373 0
vsize: 833556
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 104504 65 0 0 22 0 10 0 544742189 853561344 25084 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25084 13073 16 0 208373 0
vsize: 833556
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 105407 65 0 0 24 0 10 0 544742189 853561344 25103 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25103 13073 16 0 208373 0
vsize: 833556
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 106312 65 0 0 20 0 10 0 544742189 853561344 25124 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25124 13073 16 0 208373 0
vsize: 833556
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 107219 65 0 0 22 0 10 0 544742189 853561344 25141 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25141 13073 16 0 208373 0
vsize: 833556
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 108126 66 0 0 24 0 10 0 544742189 853561344 25157 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25157 13073 16 0 208373 0
vsize: 833556
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 109026 66 0 0 20 0 10 0 544742189 853561344 25182 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25182 13073 16 0 208373 0
vsize: 833556
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 109933 66 0 0 21 0 10 0 544742189 853561344 25201 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25201 13073 16 0 208373 0
vsize: 833556
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 110840 66 0 0 23 0 10 0 544742189 853561344 25217 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25217 13073 16 0 208373 0
vsize: 833556
[startup+1210.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 111741 66 0 0 24 0 10 0 544742189 853561344 25238 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25238 13073 16 0 208373 0
vsize: 833556
[startup+1220.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 112642 66 0 0 19 0 10 0 544742189 853561344 25259 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25259 13073 16 0 208373 0
vsize: 833556
[startup+1230.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 113545 66 0 0 21 0 10 0 544742189 853561344 25277 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25277 13073 16 0 208373 0
vsize: 833556
[startup+1240.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 114450 67 0 0 23 0 10 0 544742189 853561344 25295 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25295 13073 16 0 208373 0
vsize: 833556
[startup+1250.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 115349 67 0 0 19 0 10 0 544742189 853561344 25311 4294967295 134512640 134569956 3221224400 3221214812 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25311 13073 16 0 208373 0
vsize: 833556
[startup+1260.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 116254 67 0 0 20 0 10 0 544742189 853561344 25326 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25326 13073 16 0 208373 0
vsize: 833556
[startup+1270.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 117158 67 0 0 21 0 10 0 544742189 853561344 25341 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25341 13073 16 0 208373 0
vsize: 833556
[startup+1280.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 118063 67 0 0 22 0 10 0 544742189 853561344 25369 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25369 13073 16 0 208373 0
vsize: 833556
[startup+1290.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) S 4014 3260 3259 0 -1 0 17983 0 1 0 118963 67 0 0 23 0 10 0 544742189 853561344 25385 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25385 13073 16 0 208373 0
vsize: 833556
[startup+1300.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 119864 67 0 0 20 0 10 0 544742189 853561344 25407 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25407 13073 16 0 208373 0
vsize: 833556
[startup+1310.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 4024
Raw data (stat): 4015 (java) R 4014 3260 3259 0 -1 0 17983 0 1 0 120768 67 0 0 20 0 10 0 544742189 853561344 25420 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 25420 13073 16 0 208373 0
vsize: 833556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.19 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4025
Raw data (stat): 4015 (java) Z 4014 3260 3259 0 -1 1036 17983 7132 1 0 120771 67 10126 46 21 0 1 0 544742189 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): 1310.19
CPU time (s): 1310.12
CPU user time (s): 1308.98
CPU system time (s): 1.14283
CPU usage (%): 99.9947
Max. virtual memory (Kb): 833556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####