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/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb
MD5SUM	dec96d2298240054a93ead49c19e3272
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	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1581429279
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1581429279
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.086986
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 18942

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 17:08:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17273 boxname=wulflinc28 idbench=1329 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  dec96d2298240054a93ead49c19e3272  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-set1al.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-set1al.opb
IDLAUNCH: 17273
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        504032 kB
Buffers:         33116 kB
Cached:         470048 kB
SwapCached:        104 kB
Active:         205764 kB
Inactive:       299844 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        503780 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19420 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 17:28:52 (client local time) WITH STATUS 143 IN 1251.21 SECONDS
stats: 17273 7 1251.21 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-set1al.opb
c reading problem 
c [nbvar=9680]
c [nbconstr=732]
c time 30.463
c #vars     9680
c #clauses  732
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.93 1.00 0.94 2/54 29142
Raw data (stat): 29142 (runsolver) R 29141 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546764477 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.0001 s]
Raw data (loadavg): 0.94 1.00 0.94 4/63 29151
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 17990 0 1 0 838 38 0 0 25 0 10 0 546764477 858243072 20188 4294967295 134512640 134569956 3221224400 3221213924 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209532 20188 13073 16 0 209516 0
vsize: 838128
[startup+20.0014 s]
Raw data (loadavg): 0.95 1.00 0.94 2/63 29151
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 17993 0 1 0 1693 38 0 0 25 0 10 0 546764477 855805952 20396 4294967295 134512640 134569956 3221224400 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208937 20396 13073 16 0 208921 0
vsize: 835748
[startup+30.016 s]
Raw data (loadavg): 0.95 1.00 0.94 4/63 29151
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 17993 0 1 0 2565 38 0 0 25 0 10 0 546764477 855805952 20967 4294967295 134512640 134569956 3221224400 3221214856 1131164778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208937 20967 13073 16 0 208921 0
vsize: 835748
[startup+40.0162 s]
Raw data (loadavg): 1.11 1.03 0.95 3/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18068 0 1 0 3438 39 0 0 25 0 11 0 546764477 858664960 22344 4294967295 134512640 134569956 3221224400 3221214600 1131437676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209635 22344 13073 16 0 209619 0
vsize: 838540
[startup+50.0164 s]
Raw data (loadavg): 1.09 1.03 0.95 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18070 0 1 0 4373 39 0 0 25 0 11 0 546764477 862728192 23384 4294967295 134512640 134569956 3221224400 3221214732 1130883104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210627 23384 13073 16 0 210611 0
vsize: 842508
[startup+60.016 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 5312 39 0 0 25 0 11 0 546764477 862728192 24145 4294967295 134512640 134569956 3221224400 3221214728 1131395758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210627 24145 13073 16 0 210611 0
vsize: 842508
[startup+70.0172 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 6302 39 0 0 25 0 11 0 546764477 861679616 24080 4294967295 134512640 134569956 3221224400 3221214784 1131376971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24080 13073 16 0 210355 0
vsize: 841484
[startup+80.0174 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 7286 39 0 0 25 0 11 0 546764477 861679616 24090 4294967295 134512640 134569956 3221224400 3221214176 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 24090 13073 16 0 210355 0
vsize: 841484
[startup+90.0174 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 8261 39 0 0 25 0 11 0 546764477 861679616 24093 4294967295 134512640 134569956 3221224400 3221214744 1131299041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24093 13073 16 0 210355 0
vsize: 841484
[startup+100.021 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 29152
Raw data (stat): 29142 (java) S 29141 10614 10613 0 -1 0 18071 0 1 0 9233 39 0 0 25 0 11 0 546764477 861679616 24114 4294967295 134512640 134569956 3221224400 3221213584 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24114 13073 16 0 210355 0
vsize: 841484
[startup+110.022 s]
Raw data (loadavg): 1.18 1.05 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 10212 39 0 0 25 0 11 0 546764477 861679616 24267 4294967295 134512640 134569956 3221224400 3221214632 1131581600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24267 13073 16 0 210355 0
vsize: 841484
[startup+120.022 s]
Raw data (loadavg): 1.15 1.05 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 11183 39 0 0 25 0 11 0 546764477 861679616 24451 4294967295 134512640 134569956 3221224400 3221214368 1131671888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24451 13073 16 0 210355 0
vsize: 841484
[startup+130.022 s]
Raw data (loadavg): 1.13 1.05 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 12146 39 0 0 25 0 11 0 546764477 861679616 24631 4294967295 134512640 134569956 3221224400 3221214744 1131299041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24631 13073 16 0 210355 0
vsize: 841484
[startup+140.022 s]
Raw data (loadavg): 1.11 1.05 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 13111 40 0 0 25 0 11 0 546764477 861679616 24723 4294967295 134512640 134569956 3221224400 3221214744 1131299312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24723 13073 16 0 210355 0
vsize: 841484
[startup+150.022 s]
Raw data (loadavg): 1.09 1.05 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 14066 40 0 0 25 0 11 0 546764477 861679616 24863 4294967295 134512640 134569956 3221224400 3221214632 1131581600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24863 13073 16 0 210355 0
vsize: 841484
[startup+160.022 s]
Raw data (loadavg): 1.08 1.04 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 15032 40 0 0 25 0 11 0 546764477 861679616 24921 4294967295 134512640 134569956 3221224400 3221214576 1131313344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 24921 13073 16 0 210355 0
vsize: 841484
[startup+170.022 s]
Raw data (loadavg): 1.06 1.04 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 15998 40 0 0 25 0 11 0 546764477 861679616 25041 4294967295 134512640 134569956 3221224400 3221214680 1131396554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25041 13073 16 0 210355 0
vsize: 841484
[startup+180.023 s]
Raw data (loadavg): 1.05 1.04 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 16963 40 0 0 25 0 11 0 546764477 861679616 25148 4294967295 134512640 134569956 3221224400 3221214576 1131250153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25148 13073 16 0 210355 0
vsize: 841484
[startup+190.023 s]
Raw data (loadavg): 1.05 1.04 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 17921 40 0 0 25 0 11 0 546764477 861679616 25263 4294967295 134512640 134569956 3221224400 3221214632 1131581727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25263 13073 16 0 210355 0
vsize: 841484
[startup+200.024 s]
Raw data (loadavg): 1.04 1.04 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 18889 40 0 0 25 0 11 0 546764477 861679616 25404 4294967295 134512640 134569956 3221224400 3221214560 1131534293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25404 13073 16 0 210355 0
vsize: 841484
[startup+210.025 s]
Raw data (loadavg): 1.03 1.04 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 19853 40 0 0 25 0 11 0 546764477 861679616 25539 4294967295 134512640 134569956 3221224400 3221214320 1131312771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25539 13073 16 0 210355 0
vsize: 841484
[startup+220.025 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 20818 40 0 0 25 0 11 0 546764477 861679616 25683 4294967295 134512640 134569956 3221224400 3221214744 1131298900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25683 13073 16 0 210355 0
vsize: 841484
[startup+230.026 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 21779 40 0 0 25 0 11 0 546764477 861679616 25815 4294967295 134512640 134569956 3221224400 3221214744 1131299056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25815 13073 16 0 210355 0
vsize: 841484
[startup+240.025 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 22749 40 0 0 25 0 11 0 546764477 861679616 25936 4294967295 134512640 134569956 3221224400 3221214880 1131335157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 25936 13073 16 0 210355 0
vsize: 841484
[startup+250.026 s]
Raw data (loadavg): 1.02 1.03 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 23715 40 0 0 25 0 11 0 546764477 861679616 26060 4294967295 134512640 134569956 3221224400 3221214264 1131672945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26060 13073 16 0 210355 0
vsize: 841484
[startup+260.026 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 24689 40 0 0 25 0 11 0 546764477 861679616 26160 4294967295 134512640 134569956 3221224400 3221214632 1131581596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26160 13073 16 0 210355 0
vsize: 841484
[startup+270.027 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 25658 40 0 0 25 0 11 0 546764477 861679616 26264 4294967295 134512640 134569956 3221224400 3221214632 1131434214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26264 13073 16 0 210355 0
vsize: 841484
[startup+280.028 s]
Raw data (loadavg): 1.01 1.03 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 26633 40 0 0 25 0 11 0 546764477 861679616 26387 4294967295 134512640 134569956 3221224400 3221214632 1131581748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 26387 13073 16 0 210355 0
vsize: 841484
[startup+290.028 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 27608 40 0 0 25 0 11 0 546764477 861679616 26516 4294967295 134512640 134569956 3221224400 3221214744 1131299038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26516 13073 16 0 210355 0
vsize: 841484
[startup+300.028 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 28582 40 0 0 25 0 11 0 546764477 861679616 26623 4294967295 134512640 134569956 3221224400 3221214744 1131299099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26623 13073 16 0 210355 0
vsize: 841484
[startup+310.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 29556 40 0 0 25 0 11 0 546764477 861679616 26714 4294967295 134512640 134569956 3221224400 3221214880 1131335636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26714 13073 16 0 210355 0
vsize: 841484
[startup+320.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 30525 40 0 0 25 0 11 0 546764477 861679616 26805 4294967295 134512640 134569956 3221224400 3221214704 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26805 13073 16 0 210355 0
vsize: 841484
[startup+330.03 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 31499 40 0 0 25 0 11 0 546764477 861679616 26885 4294967295 134512640 134569956 3221224400 3221214672 1131312771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26885 13073 16 0 210355 0
vsize: 841484
[startup+340.029 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 32471 40 0 0 25 0 11 0 546764477 861679616 26966 4294967295 134512640 134569956 3221224400 3221214096 1131672821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 26966 13073 16 0 210355 0
vsize: 841484
[startup+350.03 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 33438 40 0 0 25 0 11 0 546764477 861679616 27094 4294967295 134512640 134569956 3221224400 3221214840 1131244232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 27094 13073 16 0 210355 0
vsize: 841484
[startup+360.031 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 34411 40 0 0 25 0 11 0 546764477 861679616 27211 4294967295 134512640 134569956 3221224400 3221214836 1131328544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 27211 13073 16 0 210355 0
vsize: 841484
[startup+370.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 35381 40 0 0 25 0 11 0 546764477 861679616 27313 4294967295 134512640 134569956 3221224400 3221214632 1131581596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 27313 13073 16 0 210355 0
vsize: 841484
[startup+380.032 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 36355 40 0 0 25 0 11 0 546764477 861679616 27402 4294967295 134512640 134569956 3221224400 3221214736 1131328685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 27402 13073 16 0 210355 0
vsize: 841484
[startup+390.033 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 37326 40 0 0 25 0 11 0 546764477 861679616 27576 4294967295 134512640 134569956 3221224400 3221214632 1131581607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 27576 13073 16 0 210355 0
vsize: 841484
[startup+400.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 38302 41 0 0 25 0 11 0 546764477 861679616 27682 4294967295 134512640 134569956 3221224400 3221214840 1131244232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 27682 13073 16 0 210355 0
vsize: 841484
[startup+410.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 39273 41 0 0 25 0 11 0 546764477 861679616 27813 4294967295 134512640 134569956 3221224400 3221214680 1131395741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 27813 13073 16 0 210355 0
vsize: 841484
[startup+420.036 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 40248 41 0 0 25 0 11 0 546764477 861679616 27921 4294967295 134512640 134569956 3221224400 3221214840 1131244107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 27921 13073 16 0 210355 0
vsize: 841484
[startup+430.036 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 41218 41 0 0 25 0 11 0 546764477 861679616 28023 4294967295 134512640 134569956 3221224400 3221214832 1131256377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28023 13073 16 0 210355 0
vsize: 841484
[startup+440.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 42187 41 0 0 25 0 11 0 546764477 861679616 28130 4294967295 134512640 134569956 3221224400 3221214840 1131244227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28130 13073 16 0 210355 0
vsize: 841484
[startup+450.036 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 43161 42 0 0 25 0 11 0 546764477 861679616 28211 4294967295 134512640 134569956 3221224400 3221214840 1131243818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28211 13073 16 0 210355 0
vsize: 841484
[startup+460.037 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 44130 42 0 0 24 0 11 0 546764477 861679616 28316 4294967295 134512640 134569956 3221224400 3221214200 1131671913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28316 13073 16 0 210355 0
vsize: 841484
[startup+470.038 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 45106 42 0 0 25 0 11 0 546764477 861679616 28458 4294967295 134512640 134569956 3221224400 3221214536 1131312976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28458 13073 16 0 210355 0
vsize: 841484
[startup+480.038 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 46077 42 0 0 25 0 11 0 546764477 861679616 28569 4294967295 134512640 134569956 3221224400 3221214744 1131299099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28569 13073 16 0 210355 0
vsize: 841484
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 47053 43 0 0 25 0 11 0 546764477 861679616 28692 4294967295 134512640 134569956 3221224400 3221214632 1131581748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28692 13073 16 0 210355 0
vsize: 841484
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 48025 43 0 0 25 0 11 0 546764477 861679616 28799 4294967295 134512640 134569956 3221224400 3221214632 1131581584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28799 13073 16 0 210355 0
vsize: 841484
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) S 29141 10614 10613 0 -1 0 18071 0 1 0 49001 43 0 0 25 0 11 0 546764477 861679616 28897 4294967295 134512640 134569956 3221224400 3221213584 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28897 13073 16 0 210355 0
vsize: 841484
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 49970 44 0 0 25 0 11 0 546764477 861679616 28995 4294967295 134512640 134569956 3221224400 3221214520 1131668565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 28995 13073 16 0 210355 0
vsize: 841484
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 50943 44 0 0 25 0 11 0 546764477 861679616 29083 4294967295 134512640 134569956 3221224400 3221214880 1131336567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29083 13073 16 0 210355 0
vsize: 841484
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 51917 44 0 0 25 0 11 0 546764477 861679616 29199 4294967295 134512640 134569956 3221224400 3221214840 1131244232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29199 13073 16 0 210355 0
vsize: 841484
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 52896 44 0 0 25 0 11 0 546764477 861679616 29275 4294967295 134512640 134569956 3221224400 3221214744 1131299686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29275 13073 16 0 210355 0
vsize: 841484
[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 53874 45 0 0 25 0 11 0 546764477 861679616 29359 4294967295 134512640 134569956 3221224400 3221214836 1131328544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29359 13073 16 0 210355 0
vsize: 841484
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 54851 46 0 0 25 0 11 0 546764477 861679616 29439 4294967295 134512640 134569956 3221224400 3221214560 1131534303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29439 13073 16 0 210355 0
vsize: 841484
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 55824 46 0 0 25 0 11 0 546764477 861679616 29515 4294967295 134512640 134569956 3221224400 3221214688 1131489763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29515 13073 16 0 210355 0
vsize: 841484
[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 56796 46 0 0 25 0 11 0 546764477 861679616 29605 4294967295 134512640 134569956 3221224400 3221214296 1131668924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29605 13073 16 0 210355 0
vsize: 841484
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 57773 47 0 0 25 0 11 0 546764477 861679616 29673 4294967295 134512640 134569956 3221224400 3221214528 1131475651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29673 13073 16 0 210355 0
vsize: 841484
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 58744 47 0 0 25 0 11 0 546764477 861679616 29782 4294967295 134512640 134569956 3221224400 3221214744 1131299548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29782 13073 16 0 210355 0
vsize: 841484
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 59715 47 0 0 25 0 11 0 546764477 861679616 29897 4294967295 134512640 134569956 3221224400 3221214760 1131444641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29897 13073 16 0 210355 0
vsize: 841484
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 60692 47 0 0 25 0 11 0 546764477 861679616 29954 4294967295 134512640 134569956 3221224400 3221214832 1131215616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 29954 13073 16 0 210355 0
vsize: 841484
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 61663 48 0 0 25 0 11 0 546764477 861679616 30075 4294967295 134512640 134569956 3221224400 3221214880 1131335321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 30075 13073 16 0 210355 0
vsize: 841484
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 62634 48 0 0 25 0 11 0 546764477 861679616 30167 4294967295 134512640 134569956 3221224400 3221214744 1131299041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 30167 13073 16 0 210355 0
vsize: 841484
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 63605 49 0 0 25 0 11 0 546764477 861679616 30289 4294967295 134512640 134569956 3221224400 3221214744 1131299902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 30289 13073 16 0 210355 0
vsize: 841484
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 64576 49 0 0 25 0 11 0 546764477 861679616 30447 4294967295 134512640 134569956 3221224400 3221214840 1131244218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 30447 13073 16 0 210355 0
vsize: 841484
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 65553 49 0 0 25 0 11 0 546764477 861679616 30543 4294967295 134512640 134569956 3221224400 3221214840 1131244151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 30543 13073 16 0 210355 0
vsize: 841484
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 66524 50 0 0 25 0 11 0 546764477 861679616 30639 4294967295 134512640 134569956 3221224400 3221214632 1131581748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 30639 13073 16 0 210355 0
vsize: 841484
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 67496 50 0 0 25 0 11 0 546764477 861679616 30740 4294967295 134512640 134569956 3221224400 3221214840 1131244232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 30740 13073 16 0 210355 0
vsize: 841484
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 68469 50 0 0 25 0 11 0 546764477 861679616 30897 4294967295 134512640 134569956 3221224400 3221214632 1131581600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 30897 13073 16 0 210355 0
vsize: 841484
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 69442 50 0 0 25 0 11 0 546764477 861679616 31031 4294967295 134512640 134569956 3221224400 3221214744 1131299874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31031 13073 16 0 210355 0
vsize: 841484
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 70417 50 0 0 25 0 11 0 546764477 861679616 31127 4294967295 134512640 134569956 3221224400 3221214744 1131299849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31127 13073 16 0 210355 0
vsize: 841484
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 71388 51 0 0 25 0 11 0 546764477 861679616 31252 4294967295 134512640 134569956 3221224400 3221214744 1131299199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31252 13073 16 0 210355 0
vsize: 841484
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 72364 51 0 0 25 0 11 0 546764477 861679616 31355 4294967295 134512640 134569956 3221224400 3221214744 1131299041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31355 13073 16 0 210355 0
vsize: 841484
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 73341 52 0 0 25 0 11 0 546764477 861679616 31427 4294967295 134512640 134569956 3221224400 3221214304 1131673685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31427 13073 16 0 210355 0
vsize: 841484
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 74313 52 0 0 25 0 11 0 546764477 861679616 31526 4294967295 134512640 134569956 3221224400 3221214336 1076460986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31526 13073 16 0 210355 0
vsize: 841484
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 75287 52 0 0 25 0 11 0 546764477 861679616 31599 4294967295 134512640 134569956 3221224400 3221214060 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31599 13073 16 0 210355 0
vsize: 841484
[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 76262 52 0 0 25 0 11 0 546764477 861679616 31691 4294967295 134512640 134569956 3221224400 3221214880 1131335429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31691 13073 16 0 210355 0
vsize: 841484
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 77234 52 0 0 25 0 11 0 546764477 861679616 31811 4294967295 134512640 134569956 3221224400 3221214632 1131581727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31811 13073 16 0 210355 0
vsize: 841484
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 78206 52 0 0 25 0 11 0 546764477 861679616 31911 4294967295 134512640 134569956 3221224400 3221213400 1131672977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 31911 13073 16 0 210355 0
vsize: 841484
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 79177 53 0 0 25 0 11 0 546764477 861679616 32005 4294967295 134512640 134569956 3221224400 3221214840 1131244156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32005 13073 16 0 210355 0
vsize: 841484
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 80153 53 0 0 25 0 11 0 546764477 861679616 32097 4294967295 134512640 134569956 3221224400 3221214744 1131299199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32097 13073 16 0 210355 0
vsize: 841484
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 81123 54 0 0 25 0 11 0 546764477 861679616 32222 4294967295 134512640 134569956 3221224400 3221214744 1131299041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32222 13073 16 0 210355 0
vsize: 841484
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 82089 54 0 0 25 0 11 0 546764477 861679616 32391 4294967295 134512640 134569956 3221224400 3221214840 1131244232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32391 13073 16 0 210355 0
vsize: 841484
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 83061 55 0 0 25 0 11 0 546764477 861679616 32507 4294967295 134512640 134569956 3221224400 3221214744 1131299966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32507 13073 16 0 210355 0
vsize: 841484
[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 84035 55 0 0 25 0 11 0 546764477 861679616 32626 4294967295 134512640 134569956 3221224400 3221214880 1131335335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32626 13073 16 0 210355 0
vsize: 841484
[startup+880.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 85004 56 0 0 25 0 11 0 546764477 861679616 32751 4294967295 134512640 134569956 3221224400 3221214744 1131300704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32751 13073 16 0 210355 0
vsize: 841484
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 85979 56 0 0 25 0 11 0 546764477 861679616 32884 4294967295 134512640 134569956 3221224400 3221214744 1131299126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32884 13073 16 0 210355 0
vsize: 841484
[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 86953 56 0 0 25 0 11 0 546764477 861679616 32965 4294967295 134512640 134569956 3221224400 3221214056 1085679766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 32965 13073 16 0 210355 0
vsize: 841484
[startup+910.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 87926 56 0 0 25 0 11 0 546764477 861679616 33066 4294967295 134512640 134569956 3221224400 3221214760 1131501840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33066 13073 16 0 210355 0
vsize: 841484
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 88893 57 0 0 24 0 11 0 546764477 861679616 33199 4294967295 134512640 134569956 3221224400 3221214676 1131577619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33199 13073 16 0 210355 0
vsize: 841484
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 89866 57 0 0 25 0 11 0 546764477 861679616 33290 4294967295 134512640 134569956 3221224400 3221214744 1131299190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33290 13073 16 0 210355 0
vsize: 841484
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 90839 58 0 0 25 0 11 0 546764477 861679616 33405 4294967295 134512640 134569956 3221224400 3221214536 1131313404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33405 13073 16 0 210355 0
vsize: 841484
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 91813 58 0 0 25 0 11 0 546764477 861679616 33545 4294967295 134512640 134569956 3221224400 3221214840 1131244190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33545 13073 16 0 210355 0
vsize: 841484
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 92787 59 0 0 25 0 11 0 546764477 861679616 33640 4294967295 134512640 134569956 3221224400 3221214744 1131300740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33640 13073 16 0 210355 0
vsize: 841484
[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 93758 59 0 0 25 0 11 0 546764477 861679616 33762 4294967295 134512640 134569956 3221224400 3221214840 1131244232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33762 13073 16 0 210355 0
vsize: 841484
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 94733 60 0 0 25 0 11 0 546764477 861679616 33842 4294967295 134512640 134569956 3221224400 3221214632 1131581607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33842 13073 16 0 210355 0
vsize: 841484
[startup+990.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 95705 60 0 0 25 0 11 0 546764477 861679616 33937 4294967295 134512640 134569956 3221224400 3221214376 1131672977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 33937 13073 16 0 210355 0
vsize: 841484
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) S 29141 10614 10613 0 -1 0 18071 0 1 0 96677 60 0 0 25 0 11 0 546764477 861679616 34031 4294967295 134512640 134569956 3221224400 3221213584 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34031 13073 16 0 210355 0
vsize: 841484
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 97645 61 0 0 25 0 11 0 546764477 861679616 34145 4294967295 134512640 134569956 3221224400 3221214824 1131419999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34145 13073 16 0 210355 0
vsize: 841484
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 98617 61 0 0 25 0 11 0 546764477 861679616 34226 4294967295 134512640 134569956 3221224400 3221214836 1131299927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34226 13073 16 0 210355 0
vsize: 841484
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 99585 61 0 0 25 0 11 0 546764477 861679616 34433 4294967295 134512640 134569956 3221224400 3221214824 1131647153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34433 13073 16 0 210355 0
vsize: 841484
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 100560 62 0 0 25 0 11 0 546764477 861679616 34576 4294967295 134512640 134569956 3221224400 3221214096 1131672916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34576 13073 16 0 210355 0
vsize: 841484
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 101532 62 0 0 25 0 11 0 546764477 861679616 34693 4294967295 134512640 134569956 3221224400 3221213952 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34693 13073 16 0 210355 0
vsize: 841484
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 102509 62 0 0 25 0 11 0 546764477 861679616 34792 4294967295 134512640 134569956 3221224400 3221214832 1131256419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34792 13073 16 0 210355 0
vsize: 841484
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 103486 63 0 0 25 0 11 0 546764477 861679616 34854 4294967295 134512640 134569956 3221224400 3221214288 1085679508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34854 13073 16 0 210355 0
vsize: 841484
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) S 29141 10614 10613 0 -1 0 18071 0 1 0 104461 63 0 0 25 0 11 0 546764477 861679616 34919 4294967295 134512640 134569956 3221224400 3221213584 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 34919 13073 16 0 210355 0
vsize: 841484
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 105433 63 0 0 24 0 11 0 546764477 861679616 35006 4294967295 134512640 134569956 3221224400 3221213924 1131672976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35006 13073 16 0 210355 0
vsize: 841484
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 106415 63 0 0 25 0 11 0 546764477 861679616 35067 4294967295 134512640 134569956 3221224400 3221214832 1131215616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35067 13073 16 0 210355 0
vsize: 841484
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 107382 63 0 0 25 0 11 0 546764477 861679616 35157 4294967295 134512640 134569956 3221224400 3221214744 1131299633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35157 13073 16 0 210355 0
vsize: 841484
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 108354 63 0 0 25 0 11 0 546764477 861679616 35230 4294967295 134512640 134569956 3221224400 3221214632 1131581600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35230 13073 16 0 210355 0
vsize: 841484
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 109321 64 0 0 25 0 11 0 546764477 861679616 35325 4294967295 134512640 134569956 3221224400 3221214744 1131299064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210371 35325 13073 16 0 210355 0
vsize: 841484
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 110284 64 0 0 25 0 11 0 546764477 861679616 35427 4294967295 134512640 134569956 3221224400 3221214736 1131328602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35427 13073 16 0 210355 0
vsize: 841484
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 111255 64 0 0 25 0 11 0 546764477 861679616 35582 4294967295 134512640 134569956 3221224400 3221214144 1131671721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35582 13073 16 0 210355 0
vsize: 841484
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 112226 65 0 0 25 0 11 0 546764477 861679616 35675 4294967295 134512640 134569956 3221224400 3221214840 1131244232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35675 13073 16 0 210355 0
vsize: 841484
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 113202 65 0 0 25 0 11 0 546764477 861679616 35758 4294967295 134512640 134569956 3221224400 3221214744 1131299162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35758 13073 16 0 210355 0
vsize: 841484
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 114175 65 0 0 25 0 11 0 546764477 861679616 35852 4294967295 134512640 134569956 3221224400 3221214840 1131244151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35852 13073 16 0 210355 0
vsize: 841484
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 115147 65 0 0 24 0 11 0 546764477 861679616 35904 4294967295 134512640 134569956 3221224400 3221214632 1131581727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 35904 13073 16 0 210355 0
vsize: 841484
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 116123 66 0 0 25 0 11 0 546764477 861679616 36000 4294967295 134512640 134569956 3221224400 3221214840 1131243879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 36000 13073 16 0 210355 0
vsize: 841484
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 117094 66 0 0 25 0 11 0 546764477 861679616 36091 4294967295 134512640 134569956 3221224400 3221214744 1131299352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 36091 13073 16 0 210355 0
vsize: 841484
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 118066 67 0 0 25 0 11 0 546764477 861679616 36158 4294967295 134512640 134569956 3221224400 3221214040 1131672881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 36158 13073 16 0 210355 0
vsize: 841484
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 119042 67 0 0 25 0 11 0 546764477 861679616 36217 4294967295 134512640 134569956 3221224400 3221214744 1131419947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 36217 13073 16 0 210355 0
vsize: 841484
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 29152
Raw data (stat): 29142 (java) R 29141 10614 10613 0 -1 0 18071 0 1 0 120013 67 0 0 25 0 11 0 546764477 861679616 36283 4294967295 134512640 134569956 3221224400 3221213984 1131672916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210371 36283 13073 16 0 210355 0
vsize: 841484
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 29154
Raw data (stat): 29142 (java) Z 29141 10614 10613 0 -1 1036 18071 21945 1 0 120017 74 4973 54 25 0 1 0 546764477 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): 1240.19
CPU time (s): 1251.21
CPU user time (s): 1249.92
CPU system time (s): 1.2928
CPU usage (%): 100.889
Max. virtual memory (Kb): 842508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####