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/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2.opb
MD5SUM	2494c95ada0b8f878d2a63b66980e2c5
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	13488
Biggest coefficient in the objective function	418848431931392
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	180205740755072640
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	418848431931392
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	180205740755072640
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.170973
Number of variables	19344
Total number of constraints	1872
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1824
Minimum length of a constraint	2
Maximum length of a constraint	309
Trace number 16453

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 07:22:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13399 boxname=wulflinc11 idbench=1031 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2494c95ada0b8f878d2a63b66980e2c5  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gesa2.opb
IDLAUNCH: 13399
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        762080 kB
Buffers:         28620 kB
Cached:         222708 kB
SwapCached:          0 kB
Active:          96736 kB
Inactive:       157352 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        761828 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            12936 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 07:42:25 (client local time) WITH STATUS 143 IN 1217.11 SECONDS
stats: 13399 7 1217.11 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-gesa2.opb
c reading problem 
c [nbvar=19344]
c [nbconstr=1872]
c time 111.842
c #vars     19344
c #clauses  1873
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.85 0.95 0.95 2/54 30402
Raw data (stat): 30402 (runsolver) R 30401 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 485018578 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.95 0.95 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 17994 0 1 0 883 38 0 0 24 0 10 0 485018578 853663744 19237 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208414 19237 13073 16 0 208398 0
vsize: 833656
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.95 0.95 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 17994 0 1 0 1774 39 0 0 25 0 10 0 485018578 853954560 19825 4294967295 134512640 134569956 3221224400 3221214824 1131216771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 19825 13073 16 0 208469 0
vsize: 833940
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.95 0.95 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 17994 0 1 0 2669 39 0 0 25 0 10 0 485018578 853954560 20324 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20324 13073 16 0 208469 0
vsize: 833940
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.95 0.95 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 17994 0 1 0 3598 39 0 0 25 0 10 0 485018578 853954560 20575 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20575 13073 16 0 208469 0
vsize: 833940
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.96 0.95 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 17994 0 1 0 4526 39 0 0 25 0 10 0 485018578 853954560 20714 4294967295 134512640 134569956 3221224400 3221214792 1130901153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 20714 13073 16 0 208469 0
vsize: 833940
[startup+60.0044 s]
Raw data (loadavg): 1.10 0.99 0.96 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18026 0 1 0 5340 40 0 0 24 0 10 0 485018578 867770368 24424 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211858 24424 13073 16 0 211842 0
vsize: 847432
[startup+70.0053 s]
Raw data (loadavg): 1.08 0.99 0.96 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18026 0 1 0 6208 41 0 0 25 0 10 0 485018578 863612928 23635 4294967295 134512640 134569956 3221224400 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210843 23635 13073 16 0 210827 0
vsize: 843372
[startup+80.006 s]
Raw data (loadavg): 1.07 0.99 0.96 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18026 0 1 0 7099 41 0 0 25 0 10 0 485018578 863612928 24115 4294967295 134512640 134569956 3221224400 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210843 24115 13073 16 0 210827 0
vsize: 843372
[startup+90.0092 s]
Raw data (loadavg): 1.06 0.99 0.96 2/63 30411
Raw data (stat): 30402 (java) S 30401 32461 32460 0 -1 0 18026 0 1 0 8027 41 0 0 25 0 10 0 485018578 863612928 24233 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210843 24233 13073 16 0 210827 0
vsize: 843372
[startup+100.01 s]
Raw data (loadavg): 1.05 0.99 0.96 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18026 0 1 0 8943 41 0 0 25 0 10 0 485018578 863612928 24345 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210843 24345 13073 16 0 210827 0
vsize: 843372
[startup+110.01 s]
Raw data (loadavg): 1.04 0.99 0.96 2/63 30411
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18026 0 1 0 9858 41 0 0 25 0 10 0 485018578 863612928 24516 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210843 24516 13073 16 0 210827 0
vsize: 843372
[startup+120.011 s]
Raw data (loadavg): 1.11 1.01 0.97 3/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18094 0 1 0 10702 43 0 0 25 0 11 0 485018578 864141312 26173 4294967295 134512640 134569956 3221224400 3221214520 1131257651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26173 13073 16 0 210956 0
vsize: 843888
[startup+130.011 s]
Raw data (loadavg): 1.16 1.02 0.97 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18095 0 1 0 11662 43 0 0 25 0 11 0 485018578 864141312 26194 4294967295 134512640 134569956 3221224400 3221214672 1131458156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210972 26194 13073 16 0 210956 0
vsize: 843888
[startup+140.011 s]
Raw data (loadavg): 1.22 1.04 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18095 0 1 0 12653 43 0 0 25 0 11 0 485018578 864141312 26216 4294967295 134512640 134569956 3221224400 3221214560 1131538126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26216 13073 16 0 210956 0
vsize: 843888
[startup+150.027 s]
Raw data (loadavg): 1.18 1.04 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18095 0 1 0 13644 43 0 0 25 0 11 0 485018578 864141312 26216 4294967295 134512640 134569956 3221224400 3221214680 1131307447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26216 13073 16 0 210956 0
vsize: 843888
[startup+160.027 s]
Raw data (loadavg): 1.16 1.03 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 14637 44 0 0 25 0 11 0 485018578 864141312 26217 4294967295 134512640 134569956 3221224400 3221214528 1131550992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26217 13073 16 0 210956 0
vsize: 843888
[startup+170.027 s]
Raw data (loadavg): 1.13 1.03 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 15624 45 0 0 25 0 11 0 485018578 864141312 26218 4294967295 134512640 134569956 3221224400 3221214760 1131711713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26218 13073 16 0 210956 0
vsize: 843888
[startup+180.027 s]
Raw data (loadavg): 1.11 1.03 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 16618 45 0 0 25 0 11 0 485018578 864141312 26218 4294967295 134512640 134569956 3221224400 3221214800 1131466356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26218 13073 16 0 210956 0
vsize: 843888
[startup+190.028 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 17611 46 0 0 25 0 11 0 485018578 864141312 26218 4294967295 134512640 134569956 3221224400 3221214480 1131530703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26218 13073 16 0 210956 0
vsize: 843888
[startup+200.027 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 18601 46 0 0 25 0 11 0 485018578 864141312 26219 4294967295 134512640 134569956 3221224400 3221214560 1131538155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26219 13073 16 0 210956 0
vsize: 843888
[startup+210.029 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 19598 46 0 0 25 0 11 0 485018578 864141312 26219 4294967295 134512640 134569956 3221224400 3221214744 1131482080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26219 13073 16 0 210956 0
vsize: 843888
[startup+220.029 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 20586 46 0 0 25 0 11 0 485018578 864141312 26219 4294967295 134512640 134569956 3221224400 3221214808 1131571485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26219 13073 16 0 210956 0
vsize: 843888
[startup+230.029 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 21578 46 0 0 25 0 11 0 485018578 864141312 26219 4294967295 134512640 134569956 3221224400 3221214492 1079721525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210972 26219 13073 16 0 210956 0
vsize: 843888
[startup+240.029 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 22566 46 0 0 25 0 11 0 485018578 864141312 26219 4294967295 134512640 134569956 3221224400 3221214544 1131530988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26219 13073 16 0 210956 0
vsize: 843888
[startup+250.028 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 23557 46 0 0 25 0 11 0 485018578 864141312 26221 4294967295 134512640 134569956 3221224400 3221214704 1131654676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26221 13073 16 0 210956 0
vsize: 843888
[startup+260.029 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 24543 47 0 0 25 0 11 0 485018578 864141312 26316 4294967295 134512640 134569956 3221224400 3221214480 1131530708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26316 13073 16 0 210956 0
vsize: 843888
[startup+270.029 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 25535 47 0 0 25 0 11 0 485018578 864141312 26390 4294967295 134512640 134569956 3221224400 3221214760 1131711568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26390 13073 16 0 210956 0
vsize: 843888
[startup+280.029 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 26525 47 0 0 25 0 11 0 485018578 864141312 26481 4294967295 134512640 134569956 3221224400 3221214680 1131307542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26481 13073 16 0 210956 0
vsize: 843888
[startup+290.029 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 27516 48 0 0 25 0 11 0 485018578 864141312 26532 4294967295 134512640 134569956 3221224400 3221214848 1131454132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26532 13073 16 0 210956 0
vsize: 843888
[startup+300.03 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 28508 48 0 0 25 0 11 0 485018578 864141312 26558 4294967295 134512640 134569956 3221224400 3221214416 1080217061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26558 13073 16 0 210956 0
vsize: 843888
[startup+310.03 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 29501 48 0 0 25 0 11 0 485018578 864141312 26574 4294967295 134512640 134569956 3221224400 3221214848 1131454302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26574 13073 16 0 210956 0
vsize: 843888
[startup+320.03 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 30491 49 0 0 25 0 11 0 485018578 864141312 26595 4294967295 134512640 134569956 3221224400 3221214680 1131307447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26595 13073 16 0 210956 0
vsize: 843888
[startup+330.03 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 31485 49 0 0 25 0 11 0 485018578 864141312 26630 4294967295 134512640 134569956 3221224400 3221214632 1131608014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26630 13073 16 0 210956 0
vsize: 843888
[startup+340.03 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 32476 49 0 0 25 0 11 0 485018578 864141312 26668 4294967295 134512640 134569956 3221224400 3221214336 1080217263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26668 13073 16 0 210956 0
vsize: 843888
[startup+350.031 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 33470 50 0 0 25 0 11 0 485018578 864141312 26683 4294967295 134512640 134569956 3221224400 3221214480 1131530528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26683 13073 16 0 210956 0
vsize: 843888
[startup+360.041 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 34463 50 0 0 25 0 11 0 485018578 864141312 26715 4294967295 134512640 134569956 3221224400 3221214480 1131530927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26715 13073 16 0 210956 0
vsize: 843888
[startup+370.041 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 35453 50 0 0 25 0 11 0 485018578 864141312 26744 4294967295 134512640 134569956 3221224400 3221214592 1131598562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26744 13073 16 0 210956 0
vsize: 843888
[startup+380.04 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 36447 50 0 0 25 0 11 0 485018578 864141312 26803 4294967295 134512640 134569956 3221224400 3221214760 1131711568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26803 13073 16 0 210956 0
vsize: 843888
[startup+390.04 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 37442 51 0 0 25 0 11 0 485018578 864141312 26835 4294967295 134512640 134569956 3221224400 3221214560 1131536591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26835 13073 16 0 210956 0
vsize: 843888
[startup+400.05 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 38437 51 0 0 25 0 11 0 485018578 864141312 26859 4294967295 134512640 134569956 3221224400 3221214480 1131530432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26859 13073 16 0 210956 0
vsize: 843888
[startup+410.05 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 39432 51 0 0 25 0 11 0 485018578 864141312 26895 4294967295 134512640 134569956 3221224400 3221214480 1131530631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26895 13073 16 0 210956 0
vsize: 843888
[startup+420.051 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 40427 51 0 0 25 0 11 0 485018578 864141312 26917 4294967295 134512640 134569956 3221224400 3221214384 1080217037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26917 13073 16 0 210956 0
vsize: 843888
[startup+430.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 41425 52 0 0 25 0 11 0 485018578 864141312 26922 4294967295 134512640 134569956 3221224400 3221214528 1131615862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26922 13073 16 0 210956 0
vsize: 843888
[startup+440.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 42417 52 0 0 25 0 11 0 485018578 864141312 26959 4294967295 134512640 134569956 3221224400 3221214480 1131530598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26959 13073 16 0 210956 0
vsize: 843888
[startup+450.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 43415 53 0 0 25 0 11 0 485018578 864141312 26967 4294967295 134512640 134569956 3221224400 3221214516 1131615828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26967 13073 16 0 210956 0
vsize: 843888
[startup+460.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 44410 53 0 0 25 0 11 0 485018578 864141312 26984 4294967295 134512640 134569956 3221224400 3221214688 1131552884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 26984 13073 16 0 210956 0
vsize: 843888
[startup+470.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 45405 54 0 0 25 0 11 0 485018578 864141312 27014 4294967295 134512640 134569956 3221224400 3221214560 1131537561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27014 13073 16 0 210956 0
vsize: 843888
[startup+480.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 46401 54 0 0 25 0 11 0 485018578 864141312 27039 4294967295 134512640 134569956 3221224400 3221214480 1131530914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27039 13073 16 0 210956 0
vsize: 843888
[startup+490.054 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 47397 54 0 0 25 0 11 0 485018578 864141312 27057 4294967295 134512640 134569956 3221224400 3221214592 1131598663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27057 13073 16 0 210956 0
vsize: 843888
[startup+500.055 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 48395 54 0 0 25 0 11 0 485018578 864141312 27066 4294967295 134512640 134569956 3221224400 3221214320 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27066 13073 16 0 210956 0
vsize: 843888
[startup+510.056 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 49391 55 0 0 25 0 11 0 485018578 864141312 27080 4294967295 134512640 134569956 3221224400 3221214480 1131530506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27080 13073 16 0 210956 0
vsize: 843888
[startup+520.057 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 50387 55 0 0 25 0 11 0 485018578 864141312 27093 4294967295 134512640 134569956 3221224400 3221214504 1131598860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27093 13073 16 0 210956 0
vsize: 843888
[startup+530.057 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 51383 56 0 0 25 0 11 0 485018578 864141312 27129 4294967295 134512640 134569956 3221224400 3221214492 1080216944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27129 13073 16 0 210956 0
vsize: 843888
[startup+540.057 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 52380 56 0 0 25 0 11 0 485018578 864141312 27182 4294967295 134512640 134569956 3221224400 3221214552 1131601763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27182 13073 16 0 210956 0
vsize: 843888
[startup+550.057 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 53377 57 0 0 25 0 11 0 485018578 864141312 27209 4294967295 134512640 134569956 3221224400 3221214560 1131538169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27209 13073 16 0 210956 0
vsize: 843888
[startup+560.058 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 54377 57 0 0 25 0 11 0 485018578 864141312 27215 4294967295 134512640 134569956 3221224400 3221214552 1131601781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27215 13073 16 0 210956 0
vsize: 843888
[startup+570.059 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 55374 57 0 0 25 0 11 0 485018578 864141312 27234 4294967295 134512640 134569956 3221224400 3221214560 1131538117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27234 13073 16 0 210956 0
vsize: 843888
[startup+580.059 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 56372 58 0 0 25 0 11 0 485018578 864141312 27238 4294967295 134512640 134569956 3221224400 3221214560 1131538100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27238 13073 16 0 210956 0
vsize: 843888
[startup+590.059 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 57369 58 0 0 25 0 11 0 485018578 864141312 27258 4294967295 134512640 134569956 3221224400 3221214560 1131537777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27258 13073 16 0 210956 0
vsize: 843888
[startup+600.06 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 58367 58 0 0 25 0 11 0 485018578 864141312 27261 4294967295 134512640 134569956 3221224400 3221214480 1079721468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27261 13073 16 0 210956 0
vsize: 843888
[startup+610.062 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 59365 59 0 0 25 0 11 0 485018578 864141312 27261 4294967295 134512640 134569956 3221224400 3221214480 1131530641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27261 13073 16 0 210956 0
vsize: 843888
[startup+620.062 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 60363 59 0 0 25 0 11 0 485018578 864141312 27272 4294967295 134512640 134569956 3221224400 3221214560 1131538165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27272 13073 16 0 210956 0
vsize: 843888
[startup+630.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 61361 59 0 0 25 0 11 0 485018578 864141312 27282 4294967295 134512640 134569956 3221224400 3221214552 1131601352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27282 13073 16 0 210956 0
vsize: 843888
[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 62360 59 0 0 25 0 11 0 485018578 864141312 27283 4294967295 134512640 134569956 3221224400 3221214552 1131601531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27283 13073 16 0 210956 0
vsize: 843888
[startup+650.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 63358 59 0 0 25 0 11 0 485018578 864141312 27284 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27284 13073 16 0 210956 0
vsize: 843888
[startup+660.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 64356 60 0 0 25 0 11 0 485018578 864141312 27284 4294967295 134512640 134569956 3221224400 3221214560 1131536591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27284 13073 16 0 210956 0
vsize: 843888
[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 65354 60 0 0 25 0 11 0 485018578 864141312 27297 4294967295 134512640 134569956 3221224400 3221214560 1131538509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27297 13073 16 0 210956 0
vsize: 843888
[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 66352 61 0 0 25 0 11 0 485018578 864141312 27302 4294967295 134512640 134569956 3221224400 3221214480 1131530384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27302 13073 16 0 210956 0
vsize: 843888
[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 67348 61 0 0 25 0 11 0 485018578 864141312 27303 4294967295 134512640 134569956 3221224400 3221214500 1079721460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27303 13073 16 0 210956 0
vsize: 843888
[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 68346 61 0 0 25 0 11 0 485018578 864141312 27303 4294967295 134512640 134569956 3221224400 3221214760 1131711571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27303 13073 16 0 210956 0
vsize: 843888
[startup+710.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 69342 61 0 0 25 0 11 0 485018578 864141312 27307 4294967295 134512640 134569956 3221224400 3221214416 1080217061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27307 13073 16 0 210956 0
vsize: 843888
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 70339 62 0 0 25 0 11 0 485018578 864141312 27316 4294967295 134512640 134569956 3221224400 3221214544 1131531129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27316 13073 16 0 210956 0
vsize: 843888
[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 71333 62 0 0 25 0 11 0 485018578 864141312 27330 4294967295 134512640 134569956 3221224400 3221214544 1131531235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27330 13073 16 0 210956 0
vsize: 843888
[startup+740.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 72330 63 0 0 25 0 11 0 485018578 864141312 27330 4294967295 134512640 134569956 3221224400 3221214560 1131538327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27330 13073 16 0 210956 0
vsize: 843888
[startup+750.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 73326 63 0 0 25 0 11 0 485018578 864141312 27332 4294967295 134512640 134569956 3221224400 3221214608 1131609599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27332 13073 16 0 210956 0
vsize: 843888
[startup+760.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 74319 63 0 0 25 0 11 0 485018578 864141312 27333 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27333 13073 16 0 210956 0
vsize: 843888
[startup+770.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 75315 64 0 0 25 0 11 0 485018578 864141312 27338 4294967295 134512640 134569956 3221224400 3221214320 1080217313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27338 13073 16 0 210956 0
vsize: 843888
[startup+780.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 76310 64 0 0 25 0 11 0 485018578 864141312 27338 4294967295 134512640 134569956 3221224400 3221214544 1131531153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27338 13073 16 0 210956 0
vsize: 843888
[startup+790.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 77305 65 0 0 25 0 11 0 485018578 864141312 27354 4294967295 134512640 134569956 3221224400 3221214480 1131530684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27354 13073 16 0 210956 0
vsize: 843888
[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 78298 65 0 0 25 0 11 0 485018578 864141312 27376 4294967295 134512640 134569956 3221224400 3221214760 1131711720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27376 13073 16 0 210956 0
vsize: 843888
[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 79293 65 0 0 25 0 11 0 485018578 864141312 27386 4294967295 134512640 134569956 3221224400 3221214480 1131530877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27386 13073 16 0 210956 0
vsize: 843888
[startup+820.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 80287 66 0 0 25 0 11 0 485018578 864141312 27390 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27390 13073 16 0 210956 0
vsize: 843888
[startup+830.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 81278 66 0 0 25 0 11 0 485018578 864141312 27412 4294967295 134512640 134569956 3221224400 3221214560 1131537623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27412 13073 16 0 210956 0
vsize: 843888
[startup+840.074 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 82273 66 0 0 25 0 11 0 485018578 864141312 27468 4294967295 134512640 134569956 3221224400 3221214544 1131531047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27468 13073 16 0 210956 0
vsize: 843888
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 83273 66 0 0 25 0 11 0 485018578 864141312 27468 4294967295 134512640 134569956 3221224400 3221214656 1131527605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210972 27468 13073 16 0 210956 0
vsize: 843888
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 84268 66 0 0 25 0 11 0 485018578 864141312 27491 4294967295 134512640 134569956 3221224400 3221214696 1131527718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27491 13073 16 0 210956 0
vsize: 843888
[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 85265 67 0 0 25 0 11 0 485018578 864141312 27503 4294967295 134512640 134569956 3221224400 3221214560 1131536591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27503 13073 16 0 210956 0
vsize: 843888
[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 86258 67 0 0 25 0 11 0 485018578 864141312 27561 4294967295 134512640 134569956 3221224400 3221214352 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27561 13073 16 0 210956 0
vsize: 843888
[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 87256 67 0 0 25 0 11 0 485018578 864141312 27572 4294967295 134512640 134569956 3221224400 3221214480 1131530436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27572 13073 16 0 210956 0
vsize: 843888
[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 88251 67 0 0 25 0 11 0 485018578 864141312 27594 4294967295 134512640 134569956 3221224400 3221214808 1131513828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27594 13073 16 0 210956 0
vsize: 843888
[startup+910.078 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 89246 68 0 0 25 0 11 0 485018578 864141312 27616 4294967295 134512640 134569956 3221224400 3221214480 1131530783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27616 13073 16 0 210956 0
vsize: 843888
[startup+920.078 s]
Raw data (loadavg): 1.14 1.03 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 90243 68 0 0 25 0 11 0 485018578 864141312 27630 4294967295 134512640 134569956 3221224400 3221214648 1131560556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27630 13073 16 0 210956 0
vsize: 843888
[startup+930.078 s]
Raw data (loadavg): 1.12 1.03 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 91241 68 0 0 25 0 11 0 485018578 864141312 27641 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27641 13073 16 0 210956 0
vsize: 843888
[startup+940.079 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 92237 69 0 0 25 0 11 0 485018578 864141312 27672 4294967295 134512640 134569956 3221224400 3221214512 1079721502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27672 13073 16 0 210956 0
vsize: 843888
[startup+950.08 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 93233 69 0 0 25 0 11 0 485018578 864141312 27696 4294967295 134512640 134569956 3221224400 3221214480 1131530618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27696 13073 16 0 210956 0
vsize: 843888
[startup+960.082 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 94229 69 0 0 25 0 11 0 485018578 864141312 27716 4294967295 134512640 134569956 3221224400 3221214480 1131530578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27716 13073 16 0 210956 0
vsize: 843888
[startup+970.082 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 95225 70 0 0 25 0 11 0 485018578 864141312 27731 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27731 13073 16 0 210956 0
vsize: 843888
[startup+980.082 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 96223 70 0 0 25 0 11 0 485018578 864141312 27744 4294967295 134512640 134569956 3221224400 3221214544 1131531021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27744 13073 16 0 210956 0
vsize: 843888
[startup+990.083 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 97223 70 0 0 25 0 11 0 485018578 864141312 27744 4294967295 134512640 134569956 3221224400 3221214632 1131527637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27744 13073 16 0 210956 0
vsize: 843888
[startup+1000.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 98221 70 0 0 25 0 11 0 485018578 864141312 27764 4294967295 134512640 134569956 3221224400 3221214560 1131538174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27764 13073 16 0 210956 0
vsize: 843888
[startup+1010.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 99218 70 0 0 25 0 11 0 485018578 864141312 27794 4294967295 134512640 134569956 3221224400 3221214352 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27794 13073 16 0 210956 0
vsize: 843888
[startup+1020.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 100214 71 0 0 25 0 11 0 485018578 864141312 27808 4294967295 134512640 134569956 3221224400 3221214560 1131536591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27808 13073 16 0 210956 0
vsize: 843888
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 101211 71 0 0 25 0 11 0 485018578 864141312 27836 4294967295 134512640 134569956 3221224400 3221214480 1131530588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27836 13073 16 0 210956 0
vsize: 843888
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 102209 71 0 0 25 0 11 0 485018578 864141312 27844 4294967295 134512640 134569956 3221224400 3221214508 1079721525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27844 13073 16 0 210956 0
vsize: 843888
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 103207 71 0 0 25 0 11 0 485018578 864141312 27852 4294967295 134512640 134569956 3221224400 3221214552 1131601781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27852 13073 16 0 210956 0
vsize: 843888
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 104204 72 0 0 25 0 11 0 485018578 864141312 27868 4294967295 134512640 134569956 3221224400 3221214508 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27868 13073 16 0 210956 0
vsize: 843888
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 105203 72 0 0 25 0 11 0 485018578 864141312 27882 4294967295 134512640 134569956 3221224400 3221214740 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27882 13073 16 0 210956 0
vsize: 843888
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 106201 72 0 0 25 0 11 0 485018578 864141312 27890 4294967295 134512640 134569956 3221224400 3221214656 1131527706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210972 27890 13073 16 0 210956 0
vsize: 843888
[startup+1090.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 107200 72 0 0 25 0 11 0 485018578 864141312 27898 4294967295 134512640 134569956 3221224400 3221214480 1131530909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27898 13073 16 0 210956 0
vsize: 843888
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 108200 72 0 0 25 0 11 0 485018578 864141312 27898 4294967295 134512640 134569956 3221224400 3221214656 1131527679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27898 13073 16 0 210956 0
vsize: 843888
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 109198 73 0 0 25 0 11 0 485018578 864141312 27919 4294967295 134512640 134569956 3221224400 3221214480 1131530703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27919 13073 16 0 210956 0
vsize: 843888
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 110195 73 0 0 24 0 11 0 485018578 864141312 27923 4294967295 134512640 134569956 3221224400 3221214560 1131538500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27923 13073 16 0 210956 0
vsize: 843888
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 111193 73 0 0 25 0 11 0 485018578 864141312 27933 4294967295 134512640 134569956 3221224400 3221214544 1131531183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27933 13073 16 0 210956 0
vsize: 843888
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 112193 73 0 0 25 0 11 0 485018578 864141312 27933 4294967295 134512640 134569956 3221224400 3221214544 1131530988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27933 13073 16 0 210956 0
vsize: 843888
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 113193 74 0 0 25 0 11 0 485018578 864141312 27933 4294967295 134512640 134569956 3221224400 3221214544 1131531147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27933 13073 16 0 210956 0
vsize: 843888
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 114191 74 0 0 25 0 11 0 485018578 864141312 27934 4294967295 134512640 134569956 3221224400 3221214416 1080217018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27934 13073 16 0 210956 0
vsize: 843888
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 115189 74 0 0 25 0 11 0 485018578 864141312 27950 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27950 13073 16 0 210956 0
vsize: 843888
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 116186 75 0 0 25 0 11 0 485018578 864141312 27950 4294967295 134512640 134569956 3221224400 3221214544 1131531055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27950 13073 16 0 210956 0
vsize: 843888
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 117184 75 0 0 25 0 11 0 485018578 864141312 27957 4294967295 134512640 134569956 3221224400 3221214480 1131530490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27957 13073 16 0 210956 0
vsize: 843888
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 118182 75 0 0 25 0 11 0 485018578 864141312 27957 4294967295 134512640 134569956 3221224400 3221214560 1131537842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27957 13073 16 0 210956 0
vsize: 843888
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 119180 75 0 0 25 0 11 0 485018578 864141312 27957 4294967295 134512640 134569956 3221224400 3221214696 1131527764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27957 13073 16 0 210956 0
vsize: 843888
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30412
Raw data (stat): 30402 (java) R 30401 32461 32460 0 -1 0 18096 0 1 0 120178 76 0 0 25 0 11 0 485018578 864141312 27973 4294967295 134512640 134569956 3221224400 3221214480 1131530731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210972 27973 13073 16 0 210956 0
vsize: 843888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30414
Raw data (stat): 30402 (java) Z 30401 32461 32460 0 -1 1036 18096 7109 1 0 120182 76 1431 19 25 0 1 0 485018578 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): 1220.19
CPU time (s): 1217.11
CPU user time (s): 1216.14
CPU system time (s): 0.962853
CPU usage (%): 99.7469
Max. virtual memory (Kb): 847432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####