PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
MD5SUM	0f9e797b4b986a37159e9b1332a4b629
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	39844
Biggest coefficient in the objective function	2101312749568
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	249967315526150
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	2101312749568
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	249967315526150
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.398939
Number of variables	45231
Total number of constraints	653
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	653
Minimum length of a constraint	19
Maximum length of a constraint	1560
Trace number 17363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 10:04:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11397 boxname=wulflinc28 idbench=877 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0f9e797b4b986a37159e9b1332a4b629  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-shell.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-shell.opb
IDLAUNCH: 11397
/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:        574968 kB
Buffers:         27896 kB
Cached:         404072 kB
SwapCached:        104 kB
Active:         148600 kB
Inactive:       285784 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        574716 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19576 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 10:25:12 (client local time) WITH STATUS 143 IN 1257.13 SECONDS
stats: 11397 7 1257.13 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-shell.opb
c reading problem 
c [nbvar=45231]
c [nbconstr=653]
c time 569.134
c #vars     45231
c #clauses  1188
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.77 0.94 0.90 2/54 24211
Raw data (stat): 24211 (runsolver) R 24210 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544220027 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99946 s]
Raw data (loadavg): 0.80 0.94 0.90 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17973 0 1 0 886 41 0 0 25 0 10 0 544220027 853483520 19141 4294967295 134512640 134569956 3221224400 3221214704 1131196893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208370 19141 13073 16 0 208354 0
vsize: 833480
[startup+20.0002 s]
Raw data (loadavg): 0.83 0.94 0.90 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 1773 42 0 0 25 0 10 0 544220027 854740992 19901 4294967295 134512640 134569956 3221224400 3221214824 1131207884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 19901 13073 16 0 208661 0
vsize: 834708
[startup+30.0008 s]
Raw data (loadavg): 0.86 0.94 0.90 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 2673 42 0 0 25 0 10 0 544220027 854740992 20341 4294967295 134512640 134569956 3221224400 3221214824 1131209325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 20341 13073 16 0 208661 0
vsize: 834708
[startup+40.0026 s]
Raw data (loadavg): 0.88 0.94 0.90 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 3604 42 0 0 25 0 10 0 544220027 854740992 20571 4294967295 134512640 134569956 3221224400 3221214192 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 20571 13073 16 0 208661 0
vsize: 834708
[startup+50.0042 s]
Raw data (loadavg): 0.90 0.94 0.90 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 4532 43 0 0 25 0 10 0 544220027 854740992 20694 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 20694 13073 16 0 208661 0
vsize: 834708
[startup+60.0044 s]
Raw data (loadavg): 0.91 0.94 0.91 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 5462 43 0 0 25 0 10 0 544220027 854740992 20800 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 20800 13073 16 0 208661 0
vsize: 834708
[startup+70.0046 s]
Raw data (loadavg): 0.92 0.95 0.91 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 6407 44 0 0 25 0 10 0 544220027 854740992 21014 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21014 13073 16 0 208661 0
vsize: 834708
[startup+80.0052 s]
Raw data (loadavg): 0.94 0.95 0.91 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 7352 44 0 0 25 0 10 0 544220027 854740992 21095 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21095 13073 16 0 208661 0
vsize: 834708
[startup+90.006 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 8301 44 0 0 25 0 10 0 544220027 854740992 21166 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21166 13073 16 0 208661 0
vsize: 834708
[startup+100.006 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 9248 45 0 0 25 0 10 0 544220027 854740992 21236 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21236 13073 16 0 208661 0
vsize: 834708
[startup+110.01 s]
Raw data (loadavg): 0.96 0.95 0.91 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 10194 46 0 0 25 0 10 0 544220027 854740992 21301 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21301 13073 16 0 208661 0
vsize: 834708
[startup+120.011 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 24220
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 11144 46 0 0 25 0 10 0 544220027 854740992 21359 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21359 13073 16 0 208661 0
vsize: 834708
[startup+130.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 12091 47 0 0 25 0 10 0 544220027 854740992 21418 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21418 13073 16 0 208661 0
vsize: 834708
[startup+140.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 13037 47 0 0 25 0 10 0 544220027 854740992 21474 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21474 13073 16 0 208661 0
vsize: 834708
[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 13985 48 0 0 25 0 10 0 544220027 854740992 21526 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21526 13073 16 0 208661 0
vsize: 834708
[startup+160.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 14931 48 0 0 25 0 10 0 544220027 854740992 21578 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21578 13073 16 0 208661 0
vsize: 834708
[startup+170.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 15863 48 0 0 24 0 10 0 544220027 854740992 21627 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21627 13073 16 0 208661 0
vsize: 834708
[startup+180.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 16790 49 0 0 25 0 10 0 544220027 854740992 21673 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21673 13073 16 0 208661 0
vsize: 834708
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 17729 49 0 0 25 0 10 0 544220027 854740992 21973 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 21973 13073 16 0 208661 0
vsize: 834708
[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 18671 49 0 0 25 0 10 0 544220027 854740992 22019 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208677 22019 13073 16 0 208661 0
vsize: 834708
[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 19613 50 0 0 25 0 10 0 544220027 854740992 22063 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22063 13073 16 0 208661 0
vsize: 834708
[startup+220.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) S 24210 10614 10613 0 -1 0 17974 0 1 0 20555 50 0 0 25 0 10 0 544220027 854740992 22105 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22105 13073 16 0 208661 0
vsize: 834708
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 21498 50 0 0 25 0 10 0 544220027 854740992 22146 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22146 13073 16 0 208661 0
vsize: 834708
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 22439 50 0 0 25 0 10 0 544220027 854740992 22187 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22187 13073 16 0 208661 0
vsize: 834708
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 23378 50 0 0 24 0 10 0 544220027 854740992 22227 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22227 13073 16 0 208661 0
vsize: 834708
[startup+260.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 24321 50 0 0 25 0 10 0 544220027 854740992 22263 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22263 13073 16 0 208661 0
vsize: 834708
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 25259 50 0 0 25 0 10 0 544220027 854740992 22302 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22302 13073 16 0 208661 0
vsize: 834708
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 26197 50 0 0 20 0 10 0 544220027 854740992 22339 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22339 13073 16 0 208661 0
vsize: 834708
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 27139 50 0 0 25 0 10 0 544220027 854740992 22374 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22374 13073 16 0 208661 0
vsize: 834708
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 28077 51 0 0 25 0 10 0 544220027 854740992 22410 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22410 13073 16 0 208661 0
vsize: 834708
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 29017 51 0 0 25 0 10 0 544220027 854740992 22443 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22443 13073 16 0 208661 0
vsize: 834708
[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 29953 51 0 0 25 0 10 0 544220027 854740992 22478 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22478 13073 16 0 208661 0
vsize: 834708
[startup+330.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 30890 51 0 0 25 0 10 0 544220027 854740992 22513 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22513 13073 16 0 208661 0
vsize: 834708
[startup+340.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 31829 51 0 0 25 0 10 0 544220027 854740992 22545 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22545 13073 16 0 208661 0
vsize: 834708
[startup+350.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 32764 51 0 0 25 0 10 0 544220027 854740992 22579 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22579 13073 16 0 208661 0
vsize: 834708
[startup+360.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 33703 51 0 0 25 0 10 0 544220027 854740992 22609 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22609 13073 16 0 208661 0
vsize: 834708
[startup+370.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 34638 51 0 0 25 0 10 0 544220027 854740992 22642 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22642 13073 16 0 208661 0
vsize: 834708
[startup+380.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 35575 52 0 0 25 0 10 0 544220027 854740992 22671 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22671 13073 16 0 208661 0
vsize: 834708
[startup+390.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 36508 52 0 0 25 0 10 0 544220027 854740992 22703 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22703 13073 16 0 208661 0
vsize: 834708
[startup+400.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) S 24210 10614 10613 0 -1 0 17974 0 1 0 37442 52 0 0 25 0 10 0 544220027 854740992 22732 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22732 13073 16 0 208661 0
vsize: 834708
[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17974 0 1 0 38377 52 0 0 25 0 10 0 544220027 854740992 22762 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22762 13073 16 0 208661 0
vsize: 834708
[startup+420.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) S 24210 10614 10613 0 -1 0 17974 0 1 0 39312 52 0 0 25 0 10 0 544220027 854740992 22791 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208677 22791 13073 16 0 208661 0
vsize: 834708
[startup+430.162 s]
Raw data (loadavg): 0.99 0.97 0.91 3/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17976 0 1 0 40238 52 0 0 25 0 10 0 544220027 857591808 24074 4294967295 134512640 134569956 3221224400 3221214360 1130894935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209373 24077 13073 16 0 209357 0
vsize: 837492
[startup+440.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 41038 53 0 0 25 0 10 0 544220027 856666112 25362 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209147 25362 13073 16 0 209131 0
vsize: 836588
[startup+450.21 s]
Raw data (loadavg): 0.99 0.97 0.91 3/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 41934 53 0 0 25 0 10 0 544220027 857481216 25518 4294967295 134512640 134569956 3221224400 3221214428 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209346 25518 13073 16 0 209330 0
vsize: 837384
[startup+460.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 42804 53 0 0 21 0 10 0 544220027 856829952 25776 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209187 25776 13073 16 0 209171 0
vsize: 836748
[startup+470.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 43707 53 0 0 20 0 10 0 544220027 856731648 25754 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 25754 13073 16 0 209147 0
vsize: 836652
[startup+480.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 44608 53 0 0 20 0 10 0 544220027 856731648 25862 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 25862 13073 16 0 209147 0
vsize: 836652
[startup+490.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 45517 54 0 0 25 0 10 0 544220027 856731648 25923 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 25923 13073 16 0 209147 0
vsize: 836652
[startup+500.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 46413 54 0 0 25 0 10 0 544220027 856731648 25963 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 25963 13073 16 0 209147 0
vsize: 836652
[startup+510.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 47292 54 0 0 25 0 10 0 544220027 856731648 26239 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 26239 13073 16 0 209147 0
vsize: 836652
[startup+520.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17977 0 1 0 48168 55 0 0 24 0 10 0 544220027 856731648 26469 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 26469 13073 16 0 209147 0
vsize: 836652
[startup+530.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17978 0 1 0 49063 55 0 0 25 0 10 0 544220027 856731648 27133 4294967295 134512640 134569956 3221224400 3221214784 1131154927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 27133 13073 16 0 209147 0
vsize: 836652
[startup+540.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) S 24210 10614 10613 0 -1 0 17978 0 1 0 49944 56 0 0 25 0 10 0 544220027 856731648 27334 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 27334 13073 16 0 209147 0
vsize: 836652
[startup+550.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) S 24210 10614 10613 0 -1 0 17978 0 1 0 50827 56 0 0 25 0 10 0 544220027 856731648 27748 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 27748 13073 16 0 209147 0
vsize: 836652
[startup+560.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 17978 0 1 0 51708 56 0 0 25 0 10 0 544220027 856731648 27907 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209163 27907 13073 16 0 209147 0
vsize: 836652
[startup+570.224 s]
Raw data (loadavg): 0.99 0.97 0.91 3/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18005 0 1 0 52592 56 0 0 25 0 10 0 544220027 856731648 28255 4294967295 134512640 134569956 3221224400 3221214980 1130917304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209163 28255 13073 16 0 209147 0
vsize: 836652
[startup+580.224 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24222
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18006 0 1 0 53501 56 0 0 25 0 10 0 544220027 856666112 28422 4294967295 134512640 134569956 3221224400 3221214840 1131424533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209147 28422 13073 16 0 209131 0
vsize: 836588
[startup+590.223 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18054 0 1 0 54366 57 0 0 25 0 11 0 544220027 860205056 29169 4294967295 134512640 134569956 3221224400 3221214696 1131336570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210011 29169 13073 16 0 209995 0
vsize: 840044
[startup+600.224 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18054 0 1 0 55286 57 0 0 25 0 11 0 544220027 857784320 28687 4294967295 134512640 134569956 3221224400 3221214744 1131488961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209420 28687 13073 16 0 209404 0
vsize: 837680
[startup+610.228 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 24223
Raw data (stat): 24211 (java) S 24210 10614 10613 0 -1 0 18055 0 1 0 56233 57 0 0 25 0 11 0 544220027 858705920 28953 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 28953 13073 16 0 209629 0
vsize: 838580
[startup+620.228 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 57196 57 0 0 25 0 11 0 544220027 858705920 29809 4294967295 134512640 134569956 3221224400 3221214848 1131449711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29809 13073 16 0 209629 0
vsize: 838580
[startup+630.228 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 58184 57 0 0 25 0 11 0 544220027 858705920 29815 4294967295 134512640 134569956 3221224400 3221214748 1080204314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29815 13073 16 0 209629 0
vsize: 838580
[startup+640.229 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 59172 57 0 0 25 0 11 0 544220027 858705920 29817 4294967295 134512640 134569956 3221224400 3221214736 1131544072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29817 13073 16 0 209629 0
vsize: 838580
[startup+650.229 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 60149 57 0 0 25 0 11 0 544220027 858705920 29831 4294967295 134512640 134569956 3221224400 3221214696 1131336750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29831 13073 16 0 209629 0
vsize: 838580
[startup+660.234 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 61124 57 0 0 25 0 11 0 544220027 858705920 29885 4294967295 134512640 134569956 3221224400 3221214696 1131336881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29885 13073 16 0 209629 0
vsize: 838580
[startup+670.234 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 62104 57 0 0 25 0 11 0 544220027 858705920 29898 4294967295 134512640 134569956 3221224400 3221214616 1131535283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29898 13073 16 0 209629 0
vsize: 838580
[startup+680.234 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 63095 57 0 0 25 0 11 0 544220027 858705920 29934 4294967295 134512640 134569956 3221224400 3221214792 1131426196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29934 13073 16 0 209629 0
vsize: 838580
[startup+690.234 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 64077 57 0 0 25 0 11 0 544220027 858705920 29960 4294967295 134512640 134569956 3221224400 3221214848 1131449708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29960 13073 16 0 209629 0
vsize: 838580
[startup+700.235 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 65054 58 0 0 25 0 11 0 544220027 858705920 29978 4294967295 134512640 134569956 3221224400 3221214792 1131425339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 29978 13073 16 0 209629 0
vsize: 838580
[startup+710.235 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 66027 58 0 0 25 0 11 0 544220027 858705920 30016 4294967295 134512640 134569956 3221224400 3221214848 1131449708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30016 13073 16 0 209629 0
vsize: 838580
[startup+720.237 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 67007 58 0 0 25 0 11 0 544220027 858705920 30083 4294967295 134512640 134569956 3221224400 3221214696 1131336881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30083 13073 16 0 209629 0
vsize: 838580
[startup+730.237 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 67984 58 0 0 25 0 11 0 544220027 858705920 30129 4294967295 134512640 134569956 3221224400 3221214696 1131337525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30129 13073 16 0 209629 0
vsize: 838580
[startup+740.236 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 68965 58 0 0 25 0 11 0 544220027 858705920 30176 4294967295 134512640 134569956 3221224400 3221214792 1131423533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30176 13073 16 0 209629 0
vsize: 838580
[startup+750.237 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 69950 58 0 0 25 0 11 0 544220027 858705920 30198 4294967295 134512640 134569956 3221224400 3221214624 1131535283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30198 13073 16 0 209629 0
vsize: 838580
[startup+760.237 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 70937 58 0 0 24 0 11 0 544220027 858705920 30236 4294967295 134512640 134569956 3221224400 3221214676 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30236 13073 16 0 209629 0
vsize: 838580
[startup+770.238 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18056 0 1 0 71920 58 0 0 25 0 11 0 544220027 858705920 30268 4294967295 134512640 134569956 3221224400 3221214696 1131336485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30268 13073 16 0 209629 0
vsize: 838580
[startup+780.239 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 72917 58 0 0 25 0 11 0 544220027 858705920 30269 4294967295 134512640 134569956 3221224400 3221214624 1131535264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209645 30269 13073 16 0 209629 0
vsize: 838580
[startup+790.238 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 73909 58 0 0 25 0 11 0 544220027 858705920 30269 4294967295 134512640 134569956 3221224400 3221214624 1131535287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30269 13073 16 0 209629 0
vsize: 838580
[startup+800.238 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 74890 58 0 0 25 0 11 0 544220027 858705920 30282 4294967295 134512640 134569956 3221224400 3221214712 1131629108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30282 13073 16 0 209629 0
vsize: 838580
[startup+810.238 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 75881 58 0 0 25 0 11 0 544220027 858705920 30286 4294967295 134512640 134569956 3221224400 3221214712 1131629151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30286 13073 16 0 209629 0
vsize: 838580
[startup+820.238 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 76873 58 0 0 25 0 11 0 544220027 858705920 30295 4294967295 134512640 134569956 3221224400 3221214712 1131629108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30295 13073 16 0 209629 0
vsize: 838580
[startup+830.238 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 77858 58 0 0 25 0 11 0 544220027 858705920 30317 4294967295 134512640 134569956 3221224400 3221214712 1131629112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30317 13073 16 0 209629 0
vsize: 838580
[startup+840.238 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 78851 58 0 0 25 0 11 0 544220027 858705920 30343 4294967295 134512640 134569956 3221224400 3221214608 1131312873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30343 13073 16 0 209629 0
vsize: 838580
[startup+850.238 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 79840 58 0 0 25 0 11 0 544220027 858705920 30355 4294967295 134512640 134569956 3221224400 3221214616 1131312871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209645 30355 13073 16 0 209629 0
vsize: 838580
[startup+860.238 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 80827 58 0 0 25 0 11 0 544220027 858705920 30362 4294967295 134512640 134569956 3221224400 3221214712 1131629114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30362 13073 16 0 209629 0
vsize: 838580
[startup+870.238 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 81813 58 0 0 25 0 11 0 544220027 858705920 30414 4294967295 134512640 134569956 3221224400 3221214704 1131630773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30414 13073 16 0 209629 0
vsize: 838580
[startup+880.238 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 82804 58 0 0 25 0 11 0 544220027 858705920 30415 4294967295 134512640 134569956 3221224400 3221214712 1131629108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30415 13073 16 0 209629 0
vsize: 838580
[startup+890.239 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 83793 58 0 0 25 0 11 0 544220027 858705920 30656 4294967295 134512640 134569956 3221224400 3221214616 1131313075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30656 13073 16 0 209629 0
vsize: 838580
[startup+900.246 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 84791 58 0 0 25 0 11 0 544220027 858705920 30658 4294967295 134512640 134569956 3221224400 3221214712 1131629134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30658 13073 16 0 209629 0
vsize: 838580
[startup+910.245 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 85787 58 0 0 25 0 11 0 544220027 858705920 30658 4294967295 134512640 134569956 3221224400 3221214752 1131518135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30658 13073 16 0 209629 0
vsize: 838580
[startup+920.246 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 86784 58 0 0 25 0 11 0 544220027 858705920 30658 4294967295 134512640 134569956 3221224400 3221214712 1131629108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 30658 13073 16 0 209629 0
vsize: 838580
[startup+930.245 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 87781 58 0 0 25 0 11 0 544220027 862769152 31667 4294967295 134512640 134569956 3221224400 3221214592 1131313533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210637 31667 13073 16 0 210621 0
vsize: 842548
[startup+940.253 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 88775 58 0 0 25 0 11 0 544220027 861360128 31329 4294967295 134512640 134569956 3221224400 3221214688 1131336881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210293 31329 13073 16 0 210277 0
vsize: 841172
[startup+950.254 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 89762 58 0 0 25 0 11 0 544220027 861327360 31334 4294967295 134512640 134569956 3221224400 3221214664 1131629147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31334 13073 16 0 210269 0
vsize: 841140
[startup+960.264 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 90749 58 0 0 24 0 11 0 544220027 861327360 31334 4294967295 134512640 134569956 3221224400 3221214664 1131629108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31334 13073 16 0 210269 0
vsize: 841140
[startup+970.266 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 91738 58 0 0 25 0 11 0 544220027 861327360 31334 4294967295 134512640 134569956 3221224400 3221214664 1131629119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210285 31334 13073 16 0 210269 0
vsize: 841140
[startup+980.266 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 92718 58 0 0 25 0 11 0 544220027 861327360 31334 4294967295 134512640 134569956 3221224400 3221214664 1131629100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31334 13073 16 0 210269 0
vsize: 841140
[startup+990.266 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 93697 58 0 0 25 0 11 0 544220027 861327360 31334 4294967295 134512640 134569956 3221224400 3221214688 1131337737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31334 13073 16 0 210269 0
vsize: 841140
[startup+1000.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 94667 58 0 0 25 0 11 0 544220027 861327360 31335 4294967295 134512640 134569956 3221224400 3221214784 1131424601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31335 13073 16 0 210269 0
vsize: 841140
[startup+1010.26 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 95633 59 0 0 25 0 11 0 544220027 861327360 31335 4294967295 134512640 134569956 3221224400 3221214688 1131337521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31335 13073 16 0 210269 0
vsize: 841140
[startup+1020.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 96598 59 0 0 25 0 11 0 544220027 861327360 31373 4294967295 134512640 134569956 3221224400 3221214704 1131518151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31373 13073 16 0 210269 0
vsize: 841140
[startup+1030.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 97565 59 0 0 25 0 11 0 544220027 861327360 31565 4294967295 134512640 134569956 3221224400 3221214784 1131423533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31565 13073 16 0 210269 0
vsize: 841140
[startup+1040.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 98536 59 0 0 25 0 11 0 544220027 861327360 31701 4294967295 134512640 134569956 3221224400 3221214808 1131449708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31701 13073 16 0 210269 0
vsize: 841140
[startup+1050.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 99510 59 0 0 25 0 11 0 544220027 861327360 31821 4294967295 134512640 134569956 3221224400 3221214688 1131336513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31821 13073 16 0 210269 0
vsize: 841140
[startup+1060.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 100482 59 0 0 25 0 11 0 544220027 861327360 31963 4294967295 134512640 134569956 3221224400 3221214560 1131646114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 31963 13073 16 0 210269 0
vsize: 841140
[startup+1070.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 101463 59 0 0 25 0 11 0 544220027 861327360 32052 4294967295 134512640 134569956 3221224400 3221214664 1131629147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 32052 13073 16 0 210269 0
vsize: 841140
[startup+1080.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 102445 59 0 0 25 0 11 0 544220027 861327360 32108 4294967295 134512640 134569956 3221224400 3221214696 1131545053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210285 32108 13073 16 0 210269 0
vsize: 841140
[startup+1090.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 103424 59 0 0 25 0 11 0 544220027 861327360 32193 4294967295 134512640 134569956 3221224400 3221214664 1131629140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 32193 13073 16 0 210269 0
vsize: 841140
[startup+1100.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 104404 59 0 0 25 0 11 0 544220027 861327360 32294 4294967295 134512640 134569956 3221224400 3221214768 1131488586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 32294 13073 16 0 210269 0
vsize: 841140
[startup+1110.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 105385 60 0 0 25 0 11 0 544220027 861327360 32361 4294967295 134512640 134569956 3221224400 3221214768 1131483878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 32361 13073 16 0 210269 0
vsize: 841140
[startup+1120.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 106367 60 0 0 25 0 11 0 544220027 861327360 32446 4294967295 134512640 134569956 3221224400 3221214688 1131336881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 32446 13073 16 0 210269 0
vsize: 841140
[startup+1130.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 107351 60 0 0 25 0 11 0 544220027 861327360 32508 4294967295 134512640 134569956 3221224400 3221214664 1131629140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210285 32508 13073 16 0 210269 0
vsize: 841140
[startup+1140.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 108317 60 0 0 25 0 11 0 544220027 858705920 31944 4294967295 134512640 134569956 3221224400 3221214720 1131556274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 31944 13073 16 0 209629 0
vsize: 838580
[startup+1150.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 109293 60 0 0 25 0 11 0 544220027 858705920 32003 4294967295 134512640 134569956 3221224400 3221214688 1131336881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32003 13073 16 0 209629 0
vsize: 838580
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 110269 60 0 0 25 0 11 0 544220027 858705920 32057 4294967295 134512640 134569956 3221224400 3221214664 1131629134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32057 13073 16 0 209629 0
vsize: 838580
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 111247 60 0 0 25 0 11 0 544220027 858705920 32134 4294967295 134512640 134569956 3221224400 3221214688 1131336513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32134 13073 16 0 209629 0
vsize: 838580
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 112222 60 0 0 24 0 11 0 544220027 858705920 32266 4294967295 134512640 134569956 3221224400 3221214688 1131336953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32266 13073 16 0 209629 0
vsize: 838580
[startup+1190.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 113204 60 0 0 24 0 11 0 544220027 858705920 32344 4294967295 134512640 134569956 3221224400 3221214688 1131336570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32344 13073 16 0 209629 0
vsize: 838580
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 114186 60 0 0 25 0 11 0 544220027 858705920 32384 4294967295 134512640 134569956 3221224400 3221214696 1131545951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32384 13073 16 0 209629 0
vsize: 838580
[startup+1210.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 115166 60 0 0 25 0 11 0 544220027 858705920 32451 4294967295 134512640 134569956 3221224400 3221214808 1131449887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32451 13073 16 0 209629 0
vsize: 838580
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 116150 60 0 0 25 0 11 0 544220027 858705920 32484 4294967295 134512640 134569956 3221224400 3221214784 1131424510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32484 13073 16 0 209629 0
vsize: 838580
[startup+1230.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 117127 60 0 0 25 0 11 0 544220027 858705920 32534 4294967295 134512640 134569956 3221224400 3221214384 1078830586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32534 13073 16 0 209629 0
vsize: 838580
[startup+1240.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 118110 60 0 0 25 0 11 0 544220027 858705920 32573 4294967295 134512640 134569956 3221224400 3221214664 1131629119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32573 13073 16 0 209629 0
vsize: 838580
[startup+1250.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) S 24210 10614 10613 0 -1 0 18057 0 1 0 119086 61 0 0 25 0 11 0 544220027 858705920 32622 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32622 13073 16 0 209629 0
vsize: 838580
[startup+1260.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 24223
Raw data (stat): 24211 (java) R 24210 10614 10613 0 -1 0 18057 0 1 0 120069 61 0 0 25 0 11 0 544220027 858705920 32679 4294967295 134512640 134569956 3221224400 3221214200 1131599724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209645 32679 13073 16 0 209629 0
vsize: 838580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.37 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 24225
Raw data (stat): 24211 (java) Z 24210 10614 10613 0 -1 1036 18057 13041 1 0 120071 61 5534 46 25 0 1 0 544220027 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): 1260.36
CPU time (s): 1257.13
CPU user time (s): 1256.06
CPU system time (s): 1.07384
CPU usage (%): 99.7435
Max. virtual memory (Kb): 842548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####