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-standata.opb
MD5SUM	d5b771efe8f3bc863eeca85beb6d9cd6
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	140
Biggest coefficient in the objective function	52428800
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	318766800
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	75573493760
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	2374370081400
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.05684
Number of variables	20142
Total number of constraints	462
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	462
Minimum length of a constraint	8
Maximum length of a constraint	14900
Trace number 15974

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-21 06:02:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16506 boxname=wulflinc29 idbench=1270 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d5b771efe8f3bc863eeca85beb6d9cd6  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-standata.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-standata.opb
IDLAUNCH: 16506
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        830004 kB
Buffers:         22944 kB
Cached:         153120 kB
SwapCached:        464 kB
Active:          49332 kB
Inactive:       128868 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        829752 kB
SwapTotal:     2097892 kB
SwapFree:      2096700 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5296 kB
Slab:            20688 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:23:05 (client local time) WITH STATUS 143 IN 1242.49 SECONDS
stats: 16506 7 1242.49 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-standata.opb
c reading problem 
c [nbvar=20142]
c [nbconstr=462]
c time 125.082
c #vars     20142
c #clauses  615
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.61 0.91 0.96 2/54 23545
Raw data (stat): 23545 (runsolver) R 23544 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542762453 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.67 0.91 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 840 44 0 0 25 0 10 0 542762453 858284032 20557 4294967295 134512640 134569956 3221224400 3221214484 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209542 20557 13073 16 0 209526 0
vsize: 838168
[startup+20.0011 s]
Raw data (loadavg): 0.72 0.91 0.96 2/63 23554
Raw data (stat): 23545 (java) S 23544 27222 27221 0 -1 0 18003 0 1 0 1725 44 0 0 25 0 10 0 542762453 858251264 21133 4294967295 134512640 134569956 3221224400 3221213728 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 21133 13073 16 0 209518 0
vsize: 838136
[startup+30.0023 s]
Raw data (loadavg): 0.76 0.92 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 2600 44 0 0 25 0 10 0 542762453 858251264 21624 4294967295 134512640 134569956 3221224400 3221214488 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 21624 13073 16 0 209518 0
vsize: 838136
[startup+40.0032 s]
Raw data (loadavg): 0.80 0.92 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 3510 44 0 0 25 0 10 0 542762453 858251264 21949 4294967295 134512640 134569956 3221224400 3221214584 1130887844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 21949 13073 16 0 209518 0
vsize: 838136
[startup+50.0034 s]
Raw data (loadavg): 0.83 0.92 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 4425 45 0 0 25 0 10 0 542762453 858251264 22171 4294967295 134512640 134569956 3221224400 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 22171 13073 16 0 209518 0
vsize: 838136
[startup+60.0046 s]
Raw data (loadavg): 0.85 0.92 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 5333 45 0 0 25 0 10 0 542762453 858251264 22360 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 22360 13073 16 0 209518 0
vsize: 838136
[startup+70.0054 s]
Raw data (loadavg): 0.88 0.92 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 6245 46 0 0 25 0 10 0 542762453 858251264 22514 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 22514 13073 16 0 209518 0
vsize: 838136
[startup+80.0068 s]
Raw data (loadavg): 0.89 0.93 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 7172 46 0 0 25 0 10 0 542762453 858251264 22725 4294967295 134512640 134569956 3221224400 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 22725 13073 16 0 209518 0
vsize: 838136
[startup+90.007 s]
Raw data (loadavg): 0.91 0.93 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 8098 47 0 0 25 0 10 0 542762453 858251264 22854 4294967295 134512640 134569956 3221224400 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 22854 13073 16 0 209518 0
vsize: 838136
[startup+100.007 s]
Raw data (loadavg): 0.92 0.93 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 9025 47 0 0 25 0 10 0 542762453 858251264 22968 4294967295 134512640 134569956 3221224400 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 22968 13073 16 0 209518 0
vsize: 838136
[startup+110.007 s]
Raw data (loadavg): 0.93 0.93 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 9948 48 0 0 25 0 10 0 542762453 858251264 23065 4294967295 134512640 134569956 3221224400 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 23065 13073 16 0 209518 0
vsize: 838136
[startup+120.008 s]
Raw data (loadavg): 0.94 0.93 0.96 2/63 23554
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18003 0 1 0 10869 48 0 0 25 0 10 0 542762453 858251264 23180 4294967295 134512640 134569956 3221224400 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209534 23180 13073 16 0 209518 0
vsize: 838136
[startup+130.009 s]
Raw data (loadavg): 0.95 0.94 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18039 0 1 0 11794 49 0 0 25 0 11 0 542762453 860876800 25502 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210175 25502 13073 16 0 210159 0
vsize: 840700
[startup+140.009 s]
Raw data (loadavg): 0.96 0.94 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18077 0 1 0 12712 49 0 0 25 0 11 0 542762453 863825920 26346 4294967295 134512640 134569956 3221224400 3221214664 1131392661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210895 26346 13073 16 0 210879 0
vsize: 843580
[startup+150.01 s]
Raw data (loadavg): 0.97 0.94 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18077 0 1 0 13705 49 0 0 25 0 11 0 542762453 863825920 26346 4294967295 134512640 134569956 3221224400 3221214556 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210895 26346 13073 16 0 210879 0
vsize: 843580
[startup+160.01 s]
Raw data (loadavg): 0.97 0.94 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18077 0 1 0 14699 49 0 0 25 0 11 0 542762453 863825920 26347 4294967295 134512640 134569956 3221224400 3221214584 1131417372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210895 26347 13073 16 0 210879 0
vsize: 843580
[startup+170.01 s]
Raw data (loadavg): 0.97 0.94 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18077 0 1 0 15692 49 0 0 25 0 11 0 542762453 863825920 26357 4294967295 134512640 134569956 3221224400 3221214664 1131394304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210895 26357 13073 16 0 210879 0
vsize: 843580
[startup+180.011 s]
Raw data (loadavg): 0.98 0.94 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18077 0 1 0 16686 49 0 0 25 0 11 0 542762453 863825920 26357 4294967295 134512640 134569956 3221224400 3221214664 1131393170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210895 26357 13073 16 0 210879 0
vsize: 843580
[startup+190.012 s]
Raw data (loadavg): 1.06 0.96 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18079 0 1 0 17637 50 0 0 25 0 11 0 542762453 861925376 25911 4294967295 134512640 134569956 3221224400 3221214664 1131596834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 25911 13073 16 0 210415 0
vsize: 841724
[startup+200.011 s]
Raw data (loadavg): 1.05 0.96 0.96 2/64 23555
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18079 0 1 0 18610 50 0 0 25 0 11 0 542762453 861925376 25911 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 25911 13073 16 0 210415 0
vsize: 841724
[startup+210.012 s]
Raw data (loadavg): 1.04 0.96 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18079 0 1 0 19557 50 0 0 25 0 11 0 542762453 861925376 25911 4294967295 134512640 134569956 3221224400 3221214776 1131347450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 25911 13073 16 0 210415 0
vsize: 841724
[startup+220.013 s]
Raw data (loadavg): 1.04 0.96 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18079 0 1 0 20504 50 0 0 25 0 11 0 542762453 861925376 25911 4294967295 134512640 134569956 3221224400 3221214776 1131348372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 25911 13073 16 0 210415 0
vsize: 841724
[startup+230.014 s]
Raw data (loadavg): 1.03 0.96 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 21493 50 0 0 25 0 11 0 542762453 861925376 26168 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26168 13073 16 0 210415 0
vsize: 841724
[startup+240.015 s]
Raw data (loadavg): 1.02 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 22485 50 0 0 25 0 11 0 542762453 861925376 26171 4294967295 134512640 134569956 3221224400 3221214680 1131243666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26171 13073 16 0 210415 0
vsize: 841724
[startup+250.014 s]
Raw data (loadavg): 1.02 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 23478 50 0 0 25 0 11 0 542762453 861925376 26176 4294967295 134512640 134569956 3221224400 3221214680 1131243812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26176 13073 16 0 210415 0
vsize: 841724
[startup+260.015 s]
Raw data (loadavg): 1.02 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 24469 50 0 0 25 0 11 0 542762453 861925376 26178 4294967295 134512640 134569956 3221224400 3221214680 1131243319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26178 13073 16 0 210415 0
vsize: 841724
[startup+270.015 s]
Raw data (loadavg): 1.01 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 25464 51 0 0 25 0 11 0 542762453 861925376 26180 4294967295 134512640 134569956 3221224400 3221214776 1131347406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26180 13073 16 0 210415 0
vsize: 841724
[startup+280.016 s]
Raw data (loadavg): 1.01 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 26460 51 0 0 25 0 11 0 542762453 861925376 26187 4294967295 134512640 134569956 3221224400 3221214680 1131243262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26187 13073 16 0 210415 0
vsize: 841724
[startup+290.017 s]
Raw data (loadavg): 1.01 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 27453 51 0 0 25 0 11 0 542762453 861925376 26190 4294967295 134512640 134569956 3221224400 3221214576 1131392418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26190 13073 16 0 210415 0
vsize: 841724
[startup+300.016 s]
Raw data (loadavg): 1.01 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 28443 51 0 0 25 0 11 0 542762453 861925376 26193 4294967295 134512640 134569956 3221224400 3221214592 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26193 13073 16 0 210415 0
vsize: 841724
[startup+310.017 s]
Raw data (loadavg): 1.01 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 29440 51 0 0 25 0 11 0 542762453 861925376 26194 4294967295 134512640 134569956 3221224400 3221214736 1131285734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26194 13073 16 0 210415 0
vsize: 841724
[startup+320.017 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 30423 51 0 0 25 0 11 0 542762453 861925376 26195 4294967295 134512640 134569956 3221224400 3221214680 1131243262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26195 13073 16 0 210415 0
vsize: 841724
[startup+330.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 31406 51 0 0 25 0 11 0 542762453 861925376 26245 4294967295 134512640 134569956 3221224400 3221214680 1131244773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26245 13073 16 0 210415 0
vsize: 841724
[startup+340.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 32402 51 0 0 25 0 11 0 542762453 861925376 26247 4294967295 134512640 134569956 3221224400 3221214688 1131603820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26247 13073 16 0 210415 0
vsize: 841724
[startup+350.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 33397 51 0 0 25 0 11 0 542762453 861925376 26247 4294967295 134512640 134569956 3221224400 3221214480 1131234640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26247 13073 16 0 210415 0
vsize: 841724
[startup+360.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 34389 51 0 0 25 0 11 0 542762453 861925376 26247 4294967295 134512640 134569956 3221224400 3221214680 1131244094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26247 13073 16 0 210415 0
vsize: 841724
[startup+370.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 35368 51 0 0 25 0 11 0 542762453 861925376 26250 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26250 13073 16 0 210415 0
vsize: 841724
[startup+380.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 36355 51 0 0 25 0 11 0 542762453 861925376 26300 4294967295 134512640 134569956 3221224400 3221214680 1131243604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26300 13073 16 0 210415 0
vsize: 841724
[startup+390.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 37349 51 0 0 25 0 11 0 542762453 861925376 26305 4294967295 134512640 134569956 3221224400 3221214776 1131348332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26305 13073 16 0 210415 0
vsize: 841724
[startup+400.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 38345 51 0 0 25 0 11 0 542762453 861925376 26305 4294967295 134512640 134569956 3221224400 3221214680 1131243820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26305 13073 16 0 210415 0
vsize: 841724
[startup+410.022 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 39340 51 0 0 25 0 11 0 542762453 861925376 26306 4294967295 134512640 134569956 3221224400 3221214680 1131243319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26306 13073 16 0 210415 0
vsize: 841724
[startup+420.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 40337 52 0 0 25 0 11 0 542762453 861925376 26319 4294967295 134512640 134569956 3221224400 3221214776 1131348228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26319 13073 16 0 210415 0
vsize: 841724
[startup+430.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 41333 52 0 0 25 0 11 0 542762453 861925376 26321 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26321 13073 16 0 210415 0
vsize: 841724
[startup+440.024 s]
Raw data (loadavg): 1.08 0.99 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 42328 52 0 0 25 0 11 0 542762453 861925376 26327 4294967295 134512640 134569956 3221224400 3221214776 1131347396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26327 13073 16 0 210415 0
vsize: 841724
[startup+450.024 s]
Raw data (loadavg): 1.07 0.99 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 43323 52 0 0 25 0 11 0 542762453 861925376 26329 4294967295 134512640 134569956 3221224400 3221214776 1131348370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26329 13073 16 0 210415 0
vsize: 841724
[startup+460.025 s]
Raw data (loadavg): 1.06 0.99 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 44319 52 0 0 25 0 11 0 542762453 861925376 26330 4294967295 134512640 134569956 3221224400 3221214648 1131579051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26330 13073 16 0 210415 0
vsize: 841724
[startup+470.026 s]
Raw data (loadavg): 1.05 0.99 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 45314 52 0 0 25 0 11 0 542762453 861925376 26342 4294967295 134512640 134569956 3221224400 3221214680 1131243522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210431 26342 13073 16 0 210415 0
vsize: 841724
[startup+480.027 s]
Raw data (loadavg): 1.04 0.99 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 46310 53 0 0 25 0 11 0 542762453 861925376 26342 4294967295 134512640 134569956 3221224400 3221214680 1131243644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26342 13073 16 0 210415 0
vsize: 841724
[startup+490.027 s]
Raw data (loadavg): 1.03 0.99 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18080 0 1 0 47307 53 0 0 25 0 11 0 542762453 861925376 26345 4294967295 134512640 134569956 3221224400 3221214776 1131350361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26345 13073 16 0 210415 0
vsize: 841724
[startup+500.028 s]
Raw data (loadavg): 1.03 0.99 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 48304 53 0 0 25 0 11 0 542762453 861925376 26347 4294967295 134512640 134569956 3221224400 3221214680 1131243699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26347 13073 16 0 210415 0
vsize: 841724
[startup+510.028 s]
Raw data (loadavg): 1.10 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 49295 53 0 0 25 0 11 0 542762453 861925376 26351 4294967295 134512640 134569956 3221224400 3221214680 1131244311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26351 13073 16 0 210415 0
vsize: 841724
[startup+520.029 s]
Raw data (loadavg): 1.09 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 50289 53 0 0 25 0 11 0 542762453 861925376 26353 4294967295 134512640 134569956 3221224400 3221214880 1131577304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26353 13073 16 0 210415 0
vsize: 841724
[startup+530.03 s]
Raw data (loadavg): 1.07 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 51281 53 0 0 25 0 11 0 542762453 861925376 26355 4294967295 134512640 134569956 3221224400 3221214832 1131369196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26355 13073 16 0 210415 0
vsize: 841724
[startup+540.03 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 52272 53 0 0 25 0 11 0 542762453 861925376 26376 4294967295 134512640 134569956 3221224400 3221214680 1131243435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26376 13073 16 0 210415 0
vsize: 841724
[startup+550.03 s]
Raw data (loadavg): 1.05 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 53263 53 0 0 25 0 11 0 542762453 861925376 26376 4294967295 134512640 134569956 3221224400 3221214680 1131243244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26376 13073 16 0 210415 0
vsize: 841724
[startup+560.03 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 54255 53 0 0 25 0 11 0 542762453 861925376 26403 4294967295 134512640 134569956 3221224400 3221214680 1131244137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26403 13073 16 0 210415 0
vsize: 841724
[startup+570.031 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 55246 53 0 0 25 0 11 0 542762453 861925376 26418 4294967295 134512640 134569956 3221224400 3221214440 1131234415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26418 13073 16 0 210415 0
vsize: 841724
[startup+580.033 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 56235 53 0 0 25 0 11 0 542762453 861925376 26431 4294967295 134512640 134569956 3221224400 3221214648 1131611180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26431 13073 16 0 210415 0
vsize: 841724
[startup+590.033 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 57214 53 0 0 25 0 11 0 542762453 861925376 26450 4294967295 134512640 134569956 3221224400 3221214680 1131244216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26450 13073 16 0 210415 0
vsize: 841724
[startup+600.034 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 58202 53 0 0 25 0 11 0 542762453 861925376 26479 4294967295 134512640 134569956 3221224400 3221214680 1131243608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26479 13073 16 0 210415 0
vsize: 841724
[startup+610.034 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 59191 53 0 0 25 0 11 0 542762453 861925376 26507 4294967295 134512640 134569956 3221224400 3221214680 1131243237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26507 13073 16 0 210415 0
vsize: 841724
[startup+620.033 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 60181 53 0 0 25 0 11 0 542762453 861925376 26541 4294967295 134512640 134569956 3221224400 3221214776 1131350226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26541 13073 16 0 210415 0
vsize: 841724
[startup+630.034 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 61174 54 0 0 25 0 11 0 542762453 861925376 26572 4294967295 134512640 134569956 3221224400 3221214680 1131244236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26572 13073 16 0 210415 0
vsize: 841724
[startup+640.035 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 62169 54 0 0 25 0 11 0 542762453 861925376 26582 4294967295 134512640 134569956 3221224400 3221214680 1131244211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26582 13073 16 0 210415 0
vsize: 841724
[startup+650.035 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 63163 54 0 0 25 0 11 0 542762453 861925376 26587 4294967295 134512640 134569956 3221224400 3221214776 1131347409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26587 13073 16 0 210415 0
vsize: 841724
[startup+660.035 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 64157 54 0 0 25 0 11 0 542762453 861925376 26598 4294967295 134512640 134569956 3221224400 3221214680 1131243262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26598 13073 16 0 210415 0
vsize: 841724
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 65150 54 0 0 25 0 11 0 542762453 861925376 26613 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26613 13073 16 0 210415 0
vsize: 841724
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 66144 54 0 0 25 0 11 0 542762453 861925376 26623 4294967295 134512640 134569956 3221224400 3221214680 1131243262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26623 13073 16 0 210415 0
vsize: 841724
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 67137 54 0 0 25 0 11 0 542762453 861925376 26636 4294967295 134512640 134569956 3221224400 3221214776 1131347406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26636 13073 16 0 210415 0
vsize: 841724
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 68130 54 0 0 25 0 11 0 542762453 861925376 26649 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26649 13073 16 0 210415 0
vsize: 841724
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 69123 54 0 0 25 0 11 0 542762453 861925376 26660 4294967295 134512640 134569956 3221224400 3221214776 1131346402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26660 13073 16 0 210415 0
vsize: 841724
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 70115 54 0 0 25 0 11 0 542762453 861925376 26672 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26672 13073 16 0 210415 0
vsize: 841724
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 71108 54 0 0 25 0 11 0 542762453 861925376 26686 4294967295 134512640 134569956 3221224400 3221214680 1131243233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26686 13073 16 0 210415 0
vsize: 841724
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 72101 54 0 0 25 0 11 0 542762453 861925376 26708 4294967295 134512640 134569956 3221224400 3221214680 1131243707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26708 13073 16 0 210415 0
vsize: 841724
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 73094 54 0 0 25 0 11 0 542762453 861925376 26712 4294967295 134512640 134569956 3221224400 3221214776 1131348236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26712 13073 16 0 210415 0
vsize: 841724
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 74088 54 0 0 25 0 11 0 542762453 861925376 26729 4294967295 134512640 134569956 3221224400 3221214680 1131244311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26729 13073 16 0 210415 0
vsize: 841724
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 75081 54 0 0 25 0 11 0 542762453 861925376 26738 4294967295 134512640 134569956 3221224400 3221214680 1131244092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26738 13073 16 0 210415 0
vsize: 841724
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 76073 54 0 0 25 0 11 0 542762453 861925376 26749 4294967295 134512640 134569956 3221224400 3221214680 1131243812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26749 13073 16 0 210415 0
vsize: 841724
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 77063 54 0 0 25 0 11 0 542762453 861925376 26755 4294967295 134512640 134569956 3221224400 3221214536 1131234302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26755 13073 16 0 210415 0
vsize: 841724
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 78053 54 0 0 25 0 11 0 542762453 861925376 26765 4294967295 134512640 134569956 3221224400 3221214680 1131244129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26765 13073 16 0 210415 0
vsize: 841724
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 79042 54 0 0 25 0 11 0 542762453 861925376 26809 4294967295 134512640 134569956 3221224400 3221214680 1131244137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26809 13073 16 0 210415 0
vsize: 841724
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 80033 54 0 0 24 0 11 0 542762453 861925376 26826 4294967295 134512640 134569956 3221224400 3221214776 1131350256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26826 13073 16 0 210415 0
vsize: 841724
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 81006 54 0 0 25 0 11 0 542762453 861925376 26834 4294967295 134512640 134569956 3221224400 3221214776 1131346467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26834 13073 16 0 210415 0
vsize: 841724
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) S 23544 27222 27221 0 -1 0 18081 0 1 0 81968 54 0 0 25 0 11 0 542762453 861925376 26840 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26840 13073 16 0 210415 0
vsize: 841724
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 82915 54 0 0 25 0 11 0 542762453 861925376 26848 4294967295 134512640 134569956 3221224400 3221214680 1131244180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26848 13073 16 0 210415 0
vsize: 841724
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 83854 55 0 0 24 0 11 0 542762453 861925376 26868 4294967295 134512640 134569956 3221224400 3221214680 1131243599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 26868 13073 16 0 210415 0
vsize: 841724
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 84831 55 0 0 25 0 11 0 542762453 861925376 27252 4294967295 134512640 134569956 3221224400 3221214680 1131243435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27252 13073 16 0 210415 0
vsize: 841724
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 85827 55 0 0 25 0 11 0 542762453 861925376 27253 4294967295 134512640 134569956 3221224400 3221214776 1131346402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27253 13073 16 0 210415 0
vsize: 841724
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 86822 55 0 0 25 0 11 0 542762453 861925376 27254 4294967295 134512640 134569956 3221224400 3221214680 1131243225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210431 27254 13073 16 0 210415 0
vsize: 841724
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 87818 55 0 0 25 0 11 0 542762453 861925376 27255 4294967295 134512640 134569956 3221224400 3221214680 1131243246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27255 13073 16 0 210415 0
vsize: 841724
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 88814 55 0 0 25 0 11 0 542762453 861925376 27256 4294967295 134512640 134569956 3221224400 3221214776 1131347302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27256 13073 16 0 210415 0
vsize: 841724
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 89809 55 0 0 25 0 11 0 542762453 861925376 27259 4294967295 134512640 134569956 3221224400 3221214776 1131346467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27259 13073 16 0 210415 0
vsize: 841724
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 90804 55 0 0 25 0 11 0 542762453 861925376 27261 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27261 13073 16 0 210415 0
vsize: 841724
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 91801 55 0 0 25 0 11 0 542762453 861925376 27262 4294967295 134512640 134569956 3221224400 3221214680 1131243443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27262 13073 16 0 210415 0
vsize: 841724
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 92797 55 0 0 25 0 11 0 542762453 861925376 27264 4294967295 134512640 134569956 3221224400 3221214776 1131347555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27264 13073 16 0 210415 0
vsize: 841724
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 93793 55 0 0 25 0 11 0 542762453 861925376 27265 4294967295 134512640 134569956 3221224400 3221214680 1131243267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27265 13073 16 0 210415 0
vsize: 841724
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 94789 55 0 0 25 0 11 0 542762453 861925376 27266 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27266 13073 16 0 210415 0
vsize: 841724
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 95785 55 0 0 25 0 11 0 542762453 861925376 27268 4294967295 134512640 134569956 3221224400 3221214680 1131243820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27268 13073 16 0 210415 0
vsize: 841724
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 96781 55 0 0 25 0 11 0 542762453 861925376 27270 4294967295 134512640 134569956 3221224400 3221214680 1131243233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27270 13073 16 0 210415 0
vsize: 841724
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 97778 56 0 0 25 0 11 0 542762453 861925376 27270 4294967295 134512640 134569956 3221224400 3221214680 1131243237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27270 13073 16 0 210415 0
vsize: 841724
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 98774 56 0 0 25 0 11 0 542762453 861925376 27270 4294967295 134512640 134569956 3221224400 3221214680 1131243555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27270 13073 16 0 210415 0
vsize: 841724
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 99770 56 0 0 25 0 11 0 542762453 861925376 27272 4294967295 134512640 134569956 3221224400 3221214680 1131244083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27272 13073 16 0 210415 0
vsize: 841724
[startup+1030.06 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 100766 56 0 0 25 0 11 0 542762453 861925376 27275 4294967295 134512640 134569956 3221224400 3221214680 1131243594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27275 13073 16 0 210415 0
vsize: 841724
[startup+1040.06 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 101762 56 0 0 25 0 11 0 542762453 861925376 27278 4294967295 134512640 134569956 3221224400 3221214680 1131243699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27278 13073 16 0 210415 0
vsize: 841724
[startup+1050.06 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 102758 56 0 0 25 0 11 0 542762453 861925376 27279 4294967295 134512640 134569956 3221224400 3221214680 1131244236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27279 13073 16 0 210415 0
vsize: 841724
[startup+1060.06 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 103741 56 0 0 25 0 11 0 542762453 861925376 27282 4294967295 134512640 134569956 3221224400 3221214792 1131604128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27282 13073 16 0 210415 0
vsize: 841724
[startup+1070.06 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 104724 56 0 0 25 0 11 0 542762453 861925376 27283 4294967295 134512640 134569956 3221224400 3221214736 1131285744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27283 13073 16 0 210415 0
vsize: 841724
[startup+1080.06 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 105688 56 0 0 25 0 11 0 542762453 861925376 27286 4294967295 134512640 134569956 3221224400 3221214680 1131243647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27286 13073 16 0 210415 0
vsize: 841724
[startup+1090.06 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 106634 56 0 0 25 0 11 0 542762453 861925376 27288 4294967295 134512640 134569956 3221224400 3221214680 1131244236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27288 13073 16 0 210415 0
vsize: 841724
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 107605 56 0 0 25 0 11 0 542762453 861925376 27541 4294967295 134512640 134569956 3221224400 3221214680 1131244189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27541 13073 16 0 210415 0
vsize: 841724
[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 108597 56 0 0 25 0 11 0 542762453 861925376 27591 4294967295 134512640 134569956 3221224400 3221214776 1131350256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27591 13073 16 0 210415 0
vsize: 841724
[startup+1120.07 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 109593 56 0 0 25 0 11 0 542762453 861925376 27592 4294967295 134512640 134569956 3221224400 3221214776 1131347532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27592 13073 16 0 210415 0
vsize: 841724
[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 110589 56 0 0 25 0 11 0 542762453 861925376 27592 4294967295 134512640 134569956 3221224400 3221214680 1131244255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27592 13073 16 0 210415 0
vsize: 841724
[startup+1140.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 111579 56 0 0 25 0 11 0 542762453 861925376 27594 4294967295 134512640 134569956 3221224400 3221214792 1131604120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27594 13073 16 0 210415 0
vsize: 841724
[startup+1150.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 112558 56 0 0 25 0 11 0 542762453 861925376 27594 4294967295 134512640 134569956 3221224400 3221214720 1131381577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27594 13073 16 0 210415 0
vsize: 841724
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 113531 56 0 0 25 0 11 0 542762453 861925376 27595 4294967295 134512640 134569956 3221224400 3221214648 1131431535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27595 13073 16 0 210415 0
vsize: 841724
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 114487 56 0 0 25 0 11 0 542762453 861925376 27597 4294967295 134512640 134569956 3221224400 3221214576 1131392418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27597 13073 16 0 210415 0
vsize: 841724
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 115451 57 0 0 25 0 11 0 542762453 861925376 27857 4294967295 134512640 134569956 3221224400 3221214520 1131388454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27857 13073 16 0 210415 0
vsize: 841724
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 116439 57 0 0 25 0 11 0 542762453 861925376 27860 4294967295 134512640 134569956 3221224400 3221213848 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27860 13073 16 0 210415 0
vsize: 841724
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 117410 57 0 0 25 0 11 0 542762453 861925376 27860 4294967295 134512640 134569956 3221224400 3221214648 1131431474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27860 13073 16 0 210415 0
vsize: 841724
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 118376 57 0 0 25 0 11 0 542762453 861925376 27860 4294967295 134512640 134569956 3221224400 3221214636 1080203730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 27860 13073 16 0 210415 0
vsize: 841724
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 119348 57 0 0 25 0 11 0 542762453 861925376 28065 4294967295 134512640 134569956 3221224400 3221214520 1131388277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 28065 13073 16 0 210415 0
vsize: 841724
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23557
Raw data (stat): 23545 (java) R 23544 27222 27221 0 -1 0 18081 0 1 0 120343 57 0 0 25 0 11 0 542762453 861925376 28065 4294967295 134512640 134569956 3221224400 3221214576 1131392852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210431 28065 13073 16 0 210415 0
vsize: 841724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 23559
Raw data (stat): 23545 (java) Z 23544 27222 27221 0 -1 1036 18081 13907 1 1 120344 62 3797 44 25 0 1 0 542762453 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): 1230.13
CPU time (s): 1242.49
CPU user time (s): 1241.42
CPU system time (s): 1.06984
CPU usage (%): 101.004
Max. virtual memory (Kb): 843580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####