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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb
MD5SUM	0fb19246428e886fa1f72b2bd977e0d3
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	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	134217728000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	569083166190
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	15.4766
Number of variables	404566
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	96
Number of constraints which are nor clauses,nor cardinality constraints	3682
Minimum length of a constraint	1
Maximum length of a constraint	15900
Trace number 29725

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 10:53:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21124 boxname=wulflinc13 idbench=1112 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0fb19246428e886fa1f72b2bd977e0d3  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-dano3_4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-dano3_4.opb
IDLAUNCH: 21124
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        566736 kB
Buffers:         34372 kB
Cached:         412324 kB
SwapCached:        608 kB
Active:         107232 kB
Inactive:       342076 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        566484 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12776 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:15:13 (client local time) WITH STATUS 143 IN 1322.48 SECONDS
stats: 21124 7 1322.48 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-dano3_4.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1319.118
#### 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): 1.00 1.00 1.00 2/54 12175
Raw data (stat): 12175 (runsolver) R 12174 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780093887 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18031 0 1 0 845 39 0 0 25 0 10 0 780093887 853831680 19445 4294967295 134512640 134569956 3221224368 3221214652 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 19445 13086 16 0 208439 0
vsize: 833820
[startup+20.0011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18031 0 1 0 1714 39 0 0 25 0 10 0 780093887 855269376 20390 4294967295 134512640 134569956 3221224368 3221214424 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208806 20390 13086 16 0 208790 0
vsize: 835224
[startup+30.0042 s]
Raw data (loadavg): 1.16 1.03 1.01 2/63 12184
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18031 0 1 0 2579 40 0 0 25 0 10 0 780093887 857022464 21212 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209234 21212 13086 16 0 209218 0
vsize: 836936
[startup+40.0049 s]
Raw data (loadavg): 1.29 1.06 1.02 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18031 0 1 0 3478 40 0 0 20 0 10 0 780093887 854941696 21108 4294967295 134512640 134569956 3221224368 3221214776 1131342983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 21108 13086 16 0 208710 0
vsize: 834904
[startup+50.0051 s]
Raw data (loadavg): 1.25 1.06 1.02 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 4385 40 0 0 25 0 10 0 780093887 854941696 21337 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 21337 13086 16 0 208710 0
vsize: 834904
[startup+60.0062 s]
Raw data (loadavg): 1.21 1.06 1.02 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 5294 41 0 0 25 0 10 0 780093887 854941696 21532 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 21532 13086 16 0 208710 0
vsize: 834904
[startup+70.0069 s]
Raw data (loadavg): 1.17 1.06 1.02 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 6204 41 0 0 25 0 10 0 780093887 854941696 21751 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 21751 13086 16 0 208710 0
vsize: 834904
[startup+80.0081 s]
Raw data (loadavg): 1.15 1.05 1.02 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 7129 41 0 0 25 0 10 0 780093887 854941696 21921 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 21921 13086 16 0 208710 0
vsize: 834904
[startup+90.0082 s]
Raw data (loadavg): 1.12 1.05 1.02 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 8049 42 0 0 24 0 10 0 780093887 854941696 22044 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 22044 13086 16 0 208710 0
vsize: 834904
[startup+100.009 s]
Raw data (loadavg): 1.10 1.05 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 8973 42 0 0 25 0 10 0 780093887 854941696 22155 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 22155 13086 16 0 208710 0
vsize: 834904
[startup+110.041 s]
Raw data (loadavg): 1.09 1.05 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 9899 42 0 0 25 0 10 0 780093887 854941696 22309 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 22309 13086 16 0 208710 0
vsize: 834904
[startup+120.056 s]
Raw data (loadavg): 1.07 1.05 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 10815 43 0 0 25 0 10 0 780093887 854941696 22416 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 22416 13086 16 0 208710 0
vsize: 834904
[startup+130.057 s]
Raw data (loadavg): 1.06 1.04 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 11728 43 0 0 25 0 10 0 780093887 854941696 22564 4294967295 134512640 134569956 3221224368 3221214240 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 22564 13086 16 0 208710 0
vsize: 834904
[startup+140.057 s]
Raw data (loadavg): 1.05 1.04 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 12624 44 0 0 24 0 10 0 780093887 854941696 22708 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 22708 13086 16 0 208710 0
vsize: 834904
[startup+150.058 s]
Raw data (loadavg): 1.04 1.04 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 13527 44 0 0 25 0 10 0 780093887 854941696 22895 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 22895 13086 16 0 208710 0
vsize: 834904
[startup+160.059 s]
Raw data (loadavg): 1.04 1.04 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 14459 44 0 0 25 0 10 0 780093887 854941696 23127 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23127 13086 16 0 208710 0
vsize: 834904
[startup+170.06 s]
Raw data (loadavg): 1.03 1.04 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 15391 45 0 0 25 0 10 0 780093887 854941696 23177 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23177 13086 16 0 208710 0
vsize: 834904
[startup+180.061 s]
Raw data (loadavg): 1.02 1.04 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 16309 45 0 0 25 0 10 0 780093887 854941696 23270 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23270 13086 16 0 208710 0
vsize: 834904
[startup+190.062 s]
Raw data (loadavg): 1.02 1.03 1.01 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 17229 45 0 0 25 0 10 0 780093887 854941696 23360 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23360 13086 16 0 208710 0
vsize: 834904
[startup+200.063 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 18158 46 0 0 25 0 10 0 780093887 854941696 23565 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23565 13086 16 0 208710 0
vsize: 834904
[startup+210.067 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 12184
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 19090 46 0 0 25 0 10 0 780093887 854941696 23653 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23653 13086 16 0 208710 0
vsize: 834904
[startup+220.069 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 20023 46 0 0 25 0 10 0 780093887 854941696 23741 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23741 13086 16 0 208710 0
vsize: 834904
[startup+230.07 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 20954 46 0 0 25 0 10 0 780093887 854941696 23782 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23782 13086 16 0 208710 0
vsize: 834904
[startup+240.07 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 21882 46 0 0 24 0 10 0 780093887 854941696 23868 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23868 13086 16 0 208710 0
vsize: 834904
[startup+250.071 s]
Raw data (loadavg): 1.01 1.03 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 22814 46 0 0 25 0 10 0 780093887 854941696 23905 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23905 13086 16 0 208710 0
vsize: 834904
[startup+260.073 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 23742 47 0 0 25 0 10 0 780093887 854941696 23989 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 23989 13086 16 0 208710 0
vsize: 834904
[startup+270.073 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 24668 47 0 0 24 0 10 0 780093887 854941696 24072 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24072 13086 16 0 208710 0
vsize: 834904
[startup+280.073 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 25598 47 0 0 25 0 10 0 780093887 854941696 24108 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24108 13086 16 0 208710 0
vsize: 834904
[startup+290.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 26525 48 0 0 25 0 10 0 780093887 854941696 24190 4294967295 134512640 134569956 3221224368 3221214736 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24190 13086 16 0 208710 0
vsize: 834904
[startup+300.092 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 27451 48 0 0 25 0 10 0 780093887 854941696 24269 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24269 13086 16 0 208710 0
vsize: 834904
[startup+310.093 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 28375 48 0 0 25 0 10 0 780093887 854941696 24304 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24304 13086 16 0 208710 0
vsize: 834904
[startup+320.093 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 29297 48 0 0 21 0 10 0 780093887 854941696 24384 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24384 13086 16 0 208710 0
vsize: 834904
[startup+330.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 30223 48 0 0 25 0 10 0 780093887 854941696 24461 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24461 13086 16 0 208710 0
vsize: 834904
[startup+340.095 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 31142 48 0 0 24 0 10 0 780093887 854941696 24540 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24540 13086 16 0 208710 0
vsize: 834904
[startup+350.096 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 32064 48 0 0 25 0 10 0 780093887 854941696 24617 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24617 13086 16 0 208710 0
vsize: 834904
[startup+360.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12184
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 32978 49 0 0 25 0 10 0 780093887 854941696 24693 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24693 13086 16 0 208710 0
vsize: 834904
[startup+370.102 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 33894 49 0 0 25 0 10 0 780093887 854941696 24770 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24770 13086 16 0 208710 0
vsize: 834904
[startup+380.103 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 34807 49 0 0 25 0 10 0 780093887 854941696 24845 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24845 13086 16 0 208710 0
vsize: 834904
[startup+390.103 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 35708 50 0 0 25 0 10 0 780093887 854941696 24919 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 24919 13086 16 0 208710 0
vsize: 834904
[startup+400.104 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 36605 50 0 0 25 0 10 0 780093887 854941696 25039 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 25039 13086 16 0 208710 0
vsize: 834904
[startup+410.105 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12184
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 37519 50 0 0 25 0 10 0 780093887 854941696 25256 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 25256 13086 16 0 208710 0
vsize: 834904
[startup+420.105 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 38439 59 0 0 23 0 10 0 780093887 854941696 25288 4294967295 134512640 134569956 3221224368 3221214160 1077371630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25288 13086 16 0 208710 0
vsize: 834904
[startup+430.106 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 39363 60 0 0 25 0 10 0 780093887 854941696 25316 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25316 13086 16 0 208710 0
vsize: 834904
[startup+440.106 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 40291 60 0 0 25 0 10 0 780093887 854941696 25395 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25395 13086 16 0 208710 0
vsize: 834904
[startup+450.107 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 41215 60 0 0 24 0 10 0 780093887 854941696 25425 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25425 13086 16 0 208710 0
vsize: 834904
[startup+460.108 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 42140 60 0 0 25 0 10 0 780093887 854941696 25452 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25452 13086 16 0 208710 0
vsize: 834904
[startup+470.109 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 43064 61 0 0 25 0 10 0 780093887 854941696 25532 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25532 13086 16 0 208710 0
vsize: 834904
[startup+480.109 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 43988 61 0 0 25 0 10 0 780093887 854941696 25559 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25559 13086 16 0 208710 0
vsize: 834904
[startup+490.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 12237
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 44909 62 0 0 25 0 10 0 780093887 854941696 25636 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25636 13086 16 0 208710 0
vsize: 834904
[startup+500.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 45833 62 0 0 25 0 10 0 780093887 854941696 25667 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25667 13086 16 0 208710 0
vsize: 834904
[startup+510.111 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 46756 63 0 0 25 0 10 0 780093887 854941696 25692 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25692 13086 16 0 208710 0
vsize: 834904
[startup+520.112 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 47676 63 0 0 25 0 10 0 780093887 854941696 25771 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25771 13086 16 0 208710 0
vsize: 834904
[startup+530.113 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 48600 63 0 0 25 0 10 0 780093887 854941696 25797 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25797 13086 16 0 208710 0
vsize: 834904
[startup+540.113 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 49522 63 0 0 25 0 10 0 780093887 854941696 25821 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25821 13086 16 0 208710 0
vsize: 834904
[startup+550.113 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 50442 64 0 0 25 0 10 0 780093887 854941696 25901 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25901 13086 16 0 208710 0
vsize: 834904
[startup+560.113 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 51362 64 0 0 25 0 10 0 780093887 854941696 25925 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 25925 13086 16 0 208710 0
vsize: 834904
[startup+570.114 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 52283 64 0 0 25 0 10 0 780093887 854941696 26002 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26002 13086 16 0 208710 0
vsize: 834904
[startup+580.114 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 53201 65 0 0 24 0 10 0 780093887 854941696 26029 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26029 13086 16 0 208710 0
vsize: 834904
[startup+590.115 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 54120 65 0 0 25 0 10 0 780093887 854941696 26052 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26052 13086 16 0 208710 0
vsize: 834904
[startup+600.115 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 55041 65 0 0 25 0 10 0 780093887 854941696 26130 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26130 13086 16 0 208710 0
vsize: 834904
[startup+610.116 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 55959 66 0 0 25 0 10 0 780093887 854941696 26154 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26154 13086 16 0 208710 0
vsize: 834904
[startup+620.116 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 56873 66 0 0 24 0 10 0 780093887 854941696 26233 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26233 13086 16 0 208710 0
vsize: 834904
[startup+630.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 57792 67 0 0 25 0 10 0 780093887 854941696 26255 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26255 13086 16 0 208710 0
vsize: 834904
[startup+640.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 58709 67 0 0 25 0 10 0 780093887 854941696 26333 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26333 13086 16 0 208710 0
vsize: 834904
[startup+650.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 59626 67 0 0 25 0 10 0 780093887 854941696 26355 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26355 13086 16 0 208710 0
vsize: 834904
[startup+660.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 60541 68 0 0 25 0 10 0 780093887 854941696 26425 4294967295 134512640 134569956 3221224368 3221214772 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 26425 13086 16 0 208710 0
vsize: 834904
[startup+670.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 61452 68 0 0 25 0 10 0 780093887 854941696 27078 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 27078 13086 16 0 208710 0
vsize: 834904
[startup+680.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 62374 69 0 0 25 0 10 0 780093887 854941696 27078 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 27078 13086 16 0 208710 0
vsize: 834904
[startup+690.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 63281 69 0 0 25 0 10 0 780093887 854941696 27090 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27090 13086 16 0 208710 0
vsize: 834904
[startup+700.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 64184 69 0 0 25 0 10 0 780093887 854941696 27157 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27157 13086 16 0 208710 0
vsize: 834904
[startup+710.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 65089 69 0 0 25 0 10 0 780093887 854941696 27178 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27178 13086 16 0 208710 0
vsize: 834904
[startup+720.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 65990 70 0 0 25 0 10 0 780093887 854941696 27245 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27245 13086 16 0 208710 0
vsize: 834904
[startup+730.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 66891 70 0 0 25 0 10 0 780093887 854941696 27265 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27265 13086 16 0 208710 0
vsize: 834904
[startup+740.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 67793 70 0 0 25 0 10 0 780093887 854941696 27332 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27332 13086 16 0 208710 0
vsize: 834904
[startup+750.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12239
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 68692 71 0 0 25 0 10 0 780093887 854941696 27399 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27399 13086 16 0 208710 0
vsize: 834904
[startup+760.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 69588 71 0 0 25 0 10 0 780093887 854941696 27465 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27465 13086 16 0 208710 0
vsize: 834904
[startup+770.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 70484 71 0 0 24 0 10 0 780093887 854941696 27485 4294967295 134512640 134569956 3221224368 3221214808 1131174518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 27485 13086 16 0 208710 0
vsize: 834904
[startup+780.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 71381 71 0 0 25 0 10 0 780093887 854941696 27585 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 27585 13086 16 0 208710 0
vsize: 834904
[startup+790.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 72259 71 0 0 25 0 10 0 780093887 854941696 27722 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208726 27722 13086 16 0 208710 0
vsize: 834904
[startup+800.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 73147 72 0 0 24 0 10 0 780093887 854941696 27833 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27833 13086 16 0 208710 0
vsize: 834904
[startup+810.132 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 74052 72 0 0 24 0 10 0 780093887 854941696 27949 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27949 13086 16 0 208710 0
vsize: 834904
[startup+820.133 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 74961 72 0 0 25 0 10 0 780093887 854941696 27974 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27974 13086 16 0 208710 0
vsize: 834904
[startup+830.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 75866 72 0 0 25 0 10 0 780093887 854941696 27995 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 27995 13086 16 0 208710 0
vsize: 834904
[startup+840.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 76770 72 0 0 25 0 10 0 780093887 854941696 28015 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28015 13086 16 0 208710 0
vsize: 834904
[startup+850.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 77676 72 0 0 25 0 10 0 780093887 854941696 28084 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28084 13086 16 0 208710 0
vsize: 834904
[startup+860.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 78584 73 0 0 25 0 10 0 780093887 854941696 28108 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28108 13086 16 0 208710 0
vsize: 834904
[startup+870.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 79488 73 0 0 25 0 10 0 780093887 854941696 28129 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28129 13086 16 0 208710 0
vsize: 834904
[startup+880.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 80389 73 0 0 25 0 10 0 780093887 854941696 28148 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28148 13086 16 0 208710 0
vsize: 834904
[startup+890.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 81293 73 0 0 25 0 10 0 780093887 854941696 28218 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28218 13086 16 0 208710 0
vsize: 834904
[startup+900.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 82199 73 0 0 25 0 10 0 780093887 854941696 28241 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28241 13086 16 0 208710 0
vsize: 834904
[startup+910.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 83103 74 0 0 25 0 10 0 780093887 854941696 28261 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28261 13086 16 0 208710 0
vsize: 834904
[startup+920.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 84003 74 0 0 25 0 10 0 780093887 854941696 28279 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28279 13086 16 0 208710 0
vsize: 834904
[startup+930.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 84906 74 0 0 25 0 10 0 780093887 854941696 28350 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28350 13086 16 0 208710 0
vsize: 834904
[startup+940.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 85811 74 0 0 25 0 10 0 780093887 854941696 28373 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28373 13086 16 0 208710 0
vsize: 834904
[startup+950.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 86712 74 0 0 25 0 10 0 780093887 854941696 28391 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28391 13086 16 0 208710 0
vsize: 834904
[startup+960.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 87611 75 0 0 21 0 10 0 780093887 854941696 28409 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28409 13086 16 0 208710 0
vsize: 834904
[startup+970.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 88516 75 0 0 22 0 10 0 780093887 854941696 28482 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28482 13086 16 0 208710 0
vsize: 834904
[startup+980.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 89419 75 0 0 21 0 10 0 780093887 854941696 28503 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28503 13086 16 0 208710 0
vsize: 834904
[startup+990.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 90316 75 0 0 20 0 10 0 780093887 854941696 28521 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28521 13086 16 0 208710 0
vsize: 834904
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 91214 75 0 0 20 0 10 0 780093887 854941696 28591 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28591 13086 16 0 208710 0
vsize: 834904
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 92118 75 0 0 21 0 10 0 780093887 854941696 28613 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28613 13086 16 0 208710 0
vsize: 834904
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 93017 76 0 0 20 0 10 0 780093887 854941696 28631 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28631 13086 16 0 208710 0
vsize: 834904
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 93912 76 0 0 19 0 10 0 780093887 854941696 28649 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28649 13086 16 0 208710 0
vsize: 834904
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 94812 76 0 0 19 0 10 0 780093887 854941696 28721 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28721 13086 16 0 208710 0
vsize: 834904
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 95712 76 0 0 17 0 10 0 780093887 854941696 28741 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28741 13086 16 0 208710 0
vsize: 834904
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 96607 77 0 0 18 0 10 0 780093887 854941696 28758 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28758 13086 16 0 208710 0
vsize: 834904
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 97505 77 0 0 23 0 10 0 780093887 854941696 28829 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28829 13086 16 0 208710 0
vsize: 834904
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 98408 77 0 0 22 0 10 0 780093887 854941696 28849 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28849 13086 16 0 208710 0
vsize: 834904
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 99301 77 0 0 20 0 10 0 780093887 854941696 28866 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28866 13086 16 0 208710 0
vsize: 834904
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 100195 77 0 0 21 0 10 0 780093887 854941696 28939 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28939 13086 16 0 208710 0
vsize: 834904
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 101096 78 0 0 20 0 10 0 780093887 854941696 28959 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28959 13086 16 0 208710 0
vsize: 834904
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 101989 78 0 0 18 0 10 0 780093887 854941696 28976 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 28976 13086 16 0 208710 0
vsize: 834904
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 102881 78 0 0 18 0 10 0 780093887 854941696 29042 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29042 13086 16 0 208710 0
vsize: 834904
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) S 12174 1269 1268 0 -1 0 18032 0 1 0 103785 78 0 0 23 0 10 0 780093887 854941696 29067 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29067 13086 16 0 208710 0
vsize: 834904
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 104683 78 0 0 22 0 10 0 780093887 854941696 29091 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29091 13086 16 0 208710 0
vsize: 834904
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 105582 78 0 0 21 0 10 0 780093887 854941696 29156 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29156 13086 16 0 208710 0
vsize: 834904
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 106479 78 0 0 20 0 10 0 780093887 854941696 29174 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29174 13086 16 0 208710 0
vsize: 834904
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 107379 79 0 0 22 0 10 0 780093887 854941696 29272 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29272 13086 16 0 208710 0
vsize: 834904
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 108279 79 0 0 20 0 10 0 780093887 854941696 29287 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29287 13086 16 0 208710 0
vsize: 834904
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 109171 79 0 0 19 0 10 0 780093887 854941696 29304 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29304 13086 16 0 208710 0
vsize: 834904
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 110061 80 0 0 18 0 10 0 780093887 854941696 29320 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29320 13086 16 0 208710 0
vsize: 834904
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 110964 80 0 0 24 0 10 0 780093887 854941696 29465 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29465 13086 16 0 208710 0
vsize: 834904
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 111869 80 0 0 24 0 10 0 780093887 854941696 29465 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29465 13086 16 0 208710 0
vsize: 834904
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 112765 80 0 0 23 0 10 0 780093887 854941696 29582 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29582 13086 16 0 208710 0
vsize: 834904
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 113670 80 0 0 22 0 10 0 780093887 854941696 29582 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29582 13086 16 0 208710 0
vsize: 834904
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 114564 80 0 0 19 0 10 0 780093887 854941696 29599 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29599 13086 16 0 208710 0
vsize: 834904
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 115453 81 0 0 18 0 10 0 780093887 854941696 29684 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29684 13086 16 0 208710 0
vsize: 834904
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 116352 81 0 0 22 0 10 0 780093887 854941696 29689 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29689 13086 16 0 208710 0
vsize: 834904
[startup+1290.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 117245 81 0 0 20 0 10 0 780093887 854941696 29788 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29788 13086 16 0 208710 0
vsize: 834904
[startup+1300.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 118146 81 0 0 21 0 10 0 780093887 854941696 29872 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29872 13086 16 0 208710 0
vsize: 834904
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 119038 81 0 0 18 0 10 0 780093887 854941696 29887 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 29887 13086 16 0 208710 0
vsize: 834904
[startup+1320.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12241
Raw data (stat): 12175 (java) R 12174 1269 1268 0 -1 0 18032 0 1 0 119942 82 0 0 23 0 10 0 780093887 854941696 30034 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208726 30034 13086 16 0 208710 0
vsize: 834904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.35 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12243
Raw data (stat): 12175 (java) Z 12174 1269 1268 0 -1 1036 18032 13374 1 0 119944 82 12162 58 16 0 1 0 780093887 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): 1320.35
CPU time (s): 1322.48
CPU user time (s): 1321.07
CPU system time (s): 1.40779
CPU usage (%): 100.161
Max. virtual memory (Kb): 836936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####