PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath3.opb
MD5SUM	bc671f4c524beaee23c3249abe841ea7
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576000000
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	197065212145430
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.11168
Number of variables	36471
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2915
Number of constraints which are nor clauses,nor cardinality constraints	4693
Minimum length of a constraint	1
Maximum length of a constraint	34870
Trace number 30136

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 15:16:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21540 boxname=wulflinc8 idbench=1528 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  bc671f4c524beaee23c3249abe841ea7  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-swath3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-swath3.opb
IDLAUNCH: 21540
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        310792 kB
Buffers:         38004 kB
Cached:         658860 kB
SwapCached:          0 kB
Active:          53908 kB
Inactive:       649916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        310540 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14260 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:37:02 (client local time) WITH STATUS 143 IN 1259.39 SECONDS
stats: 21540 7 1259.39 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/wulflinc8/normalized-mps-v2-13-7-swath3.opb
c reading problem ... done. Time 376.409 ms.
c #vars     36471
c #constraints  5005
c starts	: 1
c conflicts	: 7
c decisions	: 17613
c propagations	: 55280
c inspects	: 32576
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 2
s UNKNOWN
c Total CPU time (ms) : 1249.107
#### 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.87 0.98 0.99 2/54 19266
Raw data (stat): 19266 (runsolver) R 19265 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 768099752 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.0003 s]
Raw data (loadavg): 0.96 1.00 0.99 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 858 38 0 0 25 0 10 0 768099752 853774336 19467 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208441 19467 13086 16 0 208425 0
vsize: 833764
[startup+20.0014 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) S 19265 3132 3131 0 -1 0 18028 0 1 0 1749 38 0 0 25 0 10 0 768099752 855805952 20436 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208937 20436 13086 16 0 208921 0
vsize: 835748
[startup+30.0018 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 2630 38 0 0 25 0 10 0 768099752 855805952 21026 4294967295 134512640 134569956 3221224368 3221214420 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208937 21026 13086 16 0 208921 0
vsize: 835748
[startup+40.0025 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 3540 39 0 0 25 0 10 0 768099752 854581248 21048 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 21048 13086 16 0 208622 0
vsize: 834552
[startup+50.004 s]
Raw data (loadavg): 1.08 1.03 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 4456 40 0 0 25 0 10 0 768099752 854581248 21243 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 21243 13086 16 0 208622 0
vsize: 834552
[startup+60.0041 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 5369 40 0 0 24 0 10 0 768099752 854581248 21401 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 21401 13086 16 0 208622 0
vsize: 834552
[startup+70.0045 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 6295 40 0 0 25 0 10 0 768099752 854581248 21610 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 21610 13086 16 0 208622 0
vsize: 834552
[startup+80.0058 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 7232 41 0 0 25 0 10 0 768099752 854581248 21723 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 21723 13086 16 0 208622 0
vsize: 834552
[startup+90.0056 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 8166 41 0 0 25 0 10 0 768099752 854581248 21833 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 21833 13086 16 0 208622 0
vsize: 834552
[startup+100.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 9105 42 0 0 25 0 10 0 768099752 854581248 21930 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 21930 13086 16 0 208622 0
vsize: 834552
[startup+110.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 10041 42 0 0 24 0 10 0 768099752 854581248 22025 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22025 13086 16 0 208622 0
vsize: 834552
[startup+120.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 10981 43 0 0 25 0 10 0 768099752 854581248 22109 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22109 13086 16 0 208622 0
vsize: 834552
[startup+130.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 11919 43 0 0 24 0 10 0 768099752 854581248 22193 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22193 13086 16 0 208622 0
vsize: 834552
[startup+140.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 12860 44 0 0 25 0 10 0 768099752 854581248 22269 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22269 13086 16 0 208622 0
vsize: 834552
[startup+150.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 13798 44 0 0 24 0 10 0 768099752 854581248 22346 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22346 13086 16 0 208622 0
vsize: 834552
[startup+160.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 14741 45 0 0 25 0 10 0 768099752 854581248 22416 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22416 13086 16 0 208622 0
vsize: 834552
[startup+170.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 15678 45 0 0 25 0 10 0 768099752 854581248 22488 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22488 13086 16 0 208622 0
vsize: 834552
[startup+180.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 16602 46 0 0 25 0 10 0 768099752 854581248 22553 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22553 13086 16 0 208622 0
vsize: 834552
[startup+190.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 17526 46 0 0 25 0 10 0 768099752 854581248 22615 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22615 13086 16 0 208622 0
vsize: 834552
[startup+200.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 18460 46 0 0 25 0 10 0 768099752 854581248 22846 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22846 13086 16 0 208622 0
vsize: 834552
[startup+210.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 19399 47 0 0 25 0 10 0 768099752 854581248 22905 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22905 13086 16 0 208622 0
vsize: 834552
[startup+220.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 20334 47 0 0 25 0 10 0 768099752 854581248 22967 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 22967 13086 16 0 208622 0
vsize: 834552
[startup+230.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 21272 47 0 0 25 0 10 0 768099752 854581248 23023 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23023 13086 16 0 208622 0
vsize: 834552
[startup+240.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 22206 48 0 0 25 0 10 0 768099752 854581248 23081 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23081 13086 16 0 208622 0
vsize: 834552
[startup+250.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19275
Raw data (stat): 19266 (java) S 19265 3132 3131 0 -1 0 18028 0 1 0 23141 48 0 0 25 0 10 0 768099752 854581248 23135 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23135 13086 16 0 208622 0
vsize: 834552
[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 24078 48 0 0 25 0 10 0 768099752 854581248 23190 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23190 13086 16 0 208622 0
vsize: 834552
[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 25011 49 0 0 24 0 10 0 768099752 854581248 23244 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23244 13086 16 0 208622 0
vsize: 834552
[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 25948 49 0 0 25 0 10 0 768099752 854581248 23294 4294967295 134512640 134569956 3221224368 3221213960 1079753249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23294 13086 16 0 208622 0
vsize: 834552
[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 26884 50 0 0 25 0 10 0 768099752 854581248 23343 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23343 13086 16 0 208622 0
vsize: 834552
[startup+300.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 27817 50 0 0 25 0 10 0 768099752 854581248 23394 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23394 13086 16 0 208622 0
vsize: 834552
[startup+310.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18028 0 1 0 28757 50 0 0 25 0 10 0 768099752 854581248 23438 4294967295 134512640 134569956 3221224368 3221214856 1131209985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23438 13086 16 0 208622 0
vsize: 834552
[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18029 0 1 0 29694 50 0 0 24 0 10 0 768099752 854581248 23475 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23475 13086 16 0 208622 0
vsize: 834552
[startup+330.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18029 0 1 0 30633 51 0 0 25 0 10 0 768099752 854581248 23508 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 23508 13086 16 0 208622 0
vsize: 834552
[startup+340.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18036 0 1 0 31560 52 0 0 25 0 10 0 768099752 854581248 24524 4294967295 134512640 134569956 3221224368 3221214448 1130918089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 24524 13086 16 0 208622 0
vsize: 834552
[startup+350.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18036 0 1 0 32463 52 0 0 25 0 10 0 768099752 854581248 27723 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 27723 13086 16 0 208622 0
vsize: 834552
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18036 0 1 0 33395 52 0 0 25 0 10 0 768099752 854581248 27723 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 27723 13086 16 0 208622 0
vsize: 834552
[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19275
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18036 0 1 0 34323 53 0 0 25 0 10 0 768099752 854581248 27776 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208638 27776 13086 16 0 208622 0
vsize: 834552
[startup+380.031 s]
Raw data (loadavg): 1.08 1.02 1.01 3/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18062 0 1 0 35163 56 0 0 25 0 11 0 768099752 855908352 30967 4294967295 134512640 134569956 3221224368 3221214664 1131414950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 30967 13086 16 0 208946 0
vsize: 835848
[startup+390.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18064 0 1 0 36089 56 0 0 25 0 11 0 768099752 855109632 32553 4294967295 134512640 134569956 3221224368 3221214724 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208767 32553 13086 16 0 208751 0
vsize: 835068
[startup+400.032 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18074 0 1 0 37046 56 0 0 25 0 11 0 768099752 855109632 32578 4294967295 134512640 134569956 3221224368 3221214672 1131354093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208767 32578 13086 16 0 208751 0
vsize: 835068
[startup+410.032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18074 0 1 0 38011 56 0 0 25 0 11 0 768099752 856158208 32673 4294967295 134512640 134569956 3221224368 3221214624 1131353388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 32673 13086 16 0 209007 0
vsize: 836092
[startup+420.033 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 38980 57 0 0 25 0 11 0 768099752 856158208 32689 4294967295 134512640 134569956 3221224368 3221214572 1131307116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209023 32689 13086 16 0 209007 0
vsize: 836092
[startup+430.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 39980 57 0 0 25 0 11 0 768099752 856158208 32689 4294967295 134512640 134569956 3221224368 3221214576 1131511164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209023 32689 13086 16 0 209007 0
vsize: 836092
[startup+440.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 40980 57 0 0 25 0 11 0 768099752 856158208 32689 4294967295 134512640 134569956 3221224368 3221214576 1131511084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209023 32689 13086 16 0 209007 0
vsize: 836092
[startup+450.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 41978 57 0 0 25 0 11 0 768099752 856158208 32694 4294967295 134512640 134569956 3221224368 3221214616 1131530698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 32694 13086 16 0 209007 0
vsize: 836092
[startup+460.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 42949 57 0 0 25 0 11 0 768099752 856158208 32759 4294967295 134512640 134569956 3221224368 3221214688 1131416170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209023 32759 13086 16 0 209007 0
vsize: 836092
[startup+470.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 43841 57 0 0 25 0 11 0 768099752 856158208 32759 4294967295 134512640 134569956 3221224368 3221214688 1131414943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209023 32759 13086 16 0 209007 0
vsize: 836092
[startup+480.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 44728 57 0 0 24 0 11 0 768099752 856158208 32999 4294967295 134512640 134569956 3221224368 3221214688 1131416102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 32999 13086 16 0 209007 0
vsize: 836092
[startup+490.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 45635 58 0 0 24 0 11 0 768099752 856158208 32999 4294967295 134512640 134569956 3221224368 3221214584 1131353441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 32999 13086 16 0 209007 0
vsize: 836092
[startup+500.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 46599 58 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214584 1131354019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+510.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 47594 59 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214688 1131414751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 48591 59 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214584 1131353456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 49586 60 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214536 1131196288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 50583 60 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214688 1131416034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 51578 60 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214688 1131414950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 52575 60 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214584 1131354757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 53571 60 0 0 25 0 11 0 768099752 856158208 33651 4294967295 134512640 134569956 3221224368 3221214584 1131354015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33651 13086 16 0 209007 0
vsize: 836092
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 54567 61 0 0 25 0 11 0 768099752 856158208 33652 4294967295 134512640 134569956 3221224368 3221214688 1131416914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33652 13086 16 0 209007 0
vsize: 836092
[startup+590.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 55563 61 0 0 25 0 11 0 768099752 856158208 33652 4294967295 134512640 134569956 3221224368 3221214584 1131354089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33652 13086 16 0 209007 0
vsize: 836092
[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 56559 61 0 0 25 0 11 0 768099752 856158208 33652 4294967295 134512640 134569956 3221224368 3221214688 1131416950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33652 13086 16 0 209007 0
vsize: 836092
[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 57555 62 0 0 25 0 11 0 768099752 856158208 33652 4294967295 134512640 134569956 3221224368 3221214688 1131414982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33652 13086 16 0 209007 0
vsize: 836092
[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 58550 62 0 0 25 0 11 0 768099752 856158208 33652 4294967295 134512640 134569956 3221224368 3221214688 1131416950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33652 13086 16 0 209007 0
vsize: 836092
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 59545 63 0 0 25 0 11 0 768099752 856158208 33652 4294967295 134512640 134569956 3221224368 3221214760 1131383281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33652 13086 16 0 209007 0
vsize: 836092
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 60541 63 0 0 25 0 11 0 768099752 856158208 33653 4294967295 134512640 134569956 3221224368 3221214640 1131524621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 33653 13086 16 0 209007 0
vsize: 836092
[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 61532 63 0 0 25 0 11 0 768099752 856154112 33653 4294967295 134512640 134569956 3221224368 3221214688 1131414751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33653 13086 16 0 209006 0
vsize: 836088
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 62518 64 0 0 25 0 11 0 768099752 856154112 33653 4294967295 134512640 134569956 3221224368 3221214688 1131416218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33653 13086 16 0 209006 0
vsize: 836088
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 63505 64 0 0 25 0 11 0 768099752 856154112 33699 4294967295 134512640 134569956 3221224368 3221214584 1131353819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33699 13086 16 0 209006 0
vsize: 836088
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 64500 65 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214584 1131354339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 65495 66 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214584 1131353859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 66492 66 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214584 1131354348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 67488 66 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214584 1131353819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 68484 67 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214688 1131414982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 69480 67 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214536 1131196321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 70476 68 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214584 1131354296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 71472 68 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214688 1131416950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 72468 68 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214544 1131353815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 73464 69 0 0 25 0 11 0 768099752 856154112 33745 4294967295 134512640 134569956 3221224368 3221214544 1131353859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33745 13086 16 0 209006 0
vsize: 836088
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 74461 69 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214544 1131353434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 75457 70 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214648 1131416091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 76453 70 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214544 1131353859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 77449 71 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214648 1131416950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 78446 71 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214648 1131416950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 79442 71 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214648 1131416076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 80438 72 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214648 1131416091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 81434 72 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214544 1131354208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 82431 72 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214648 1131417596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 83427 73 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214544 1131353373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+880.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 84411 73 0 0 25 0 11 0 768099752 856154112 33746 4294967295 134512640 134569956 3221224368 3221214440 1131239968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 33746 13086 16 0 209006 0
vsize: 836088
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 85385 73 0 0 25 0 11 0 768099752 856154112 34149 4294967295 134512640 134569956 3221224368 3221214760 1131451715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 34149 13086 16 0 209006 0
vsize: 836088
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 86368 73 0 0 25 0 11 0 768099752 856154112 34149 4294967295 134512640 134569956 3221224368 3221214736 1131264936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 34149 13086 16 0 209006 0
vsize: 836088
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 87359 74 0 0 25 0 11 0 768099752 856154112 34149 4294967295 134512640 134569956 3221224368 3221214688 1131451715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 34149 13086 16 0 209006 0
vsize: 836088
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 88288 74 0 0 25 0 11 0 768099752 856154112 34699 4294967295 134512640 134569956 3221224368 3221214536 1131353810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 34699 13086 16 0 209006 0
vsize: 836088
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 89232 74 0 0 25 0 11 0 768099752 856154112 34699 4294967295 134512640 134569956 3221224368 3221214640 1131501461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 34699 13086 16 0 209006 0
vsize: 836088
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 90169 74 0 0 25 0 11 0 768099752 856154112 34699 4294967295 134512640 134569956 3221224368 3221214536 1131354067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 34699 13086 16 0 209006 0
vsize: 836088
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 91121 75 0 0 25 0 11 0 768099752 856154112 34700 4294967295 134512640 134569956 3221224368 3221214544 1131239803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 34700 13086 16 0 209006 0
vsize: 836088
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 92104 75 0 0 25 0 11 0 768099752 856154112 35454 4294967295 134512640 134569956 3221224368 3221214640 1131501109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35454 13086 16 0 209006 0
vsize: 836088
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 93103 76 0 0 25 0 11 0 768099752 856154112 35454 4294967295 134512640 134569956 3221224368 3221214544 1131239951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35454 13086 16 0 209006 0
vsize: 836088
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 94101 76 0 0 25 0 11 0 768099752 856154112 35454 4294967295 134512640 134569956 3221224368 3221214640 1131501372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35454 13086 16 0 209006 0
vsize: 836088
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 95100 76 0 0 25 0 11 0 768099752 856154112 35454 4294967295 134512640 134569956 3221224368 3221214544 1131240128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35454 13086 16 0 209006 0
vsize: 836088
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 96098 77 0 0 25 0 11 0 768099752 856154112 35454 4294967295 134512640 134569956 3221224368 3221214536 1131354348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35454 13086 16 0 209006 0
vsize: 836088
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 97082 77 0 0 25 0 11 0 768099752 856154112 35638 4294967295 134512640 134569956 3221224368 3221214544 1131524578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209022 35638 13086 16 0 209006 0
vsize: 836088
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 98082 77 0 0 25 0 11 0 768099752 856154112 35638 4294967295 134512640 134569956 3221224368 3221214544 1131524578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35638 13086 16 0 209006 0
vsize: 836088
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 99078 77 0 0 25 0 11 0 768099752 856154112 35638 4294967295 134512640 134569956 3221224368 3221214540 1131197287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35638 13086 16 0 209006 0
vsize: 836088
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 100069 77 0 0 25 0 11 0 768099752 856154112 35638 4294967295 134512640 134569956 3221224368 3221214544 1131353819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35638 13086 16 0 209006 0
vsize: 836088
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 101061 78 0 0 25 0 11 0 768099752 856154112 35638 4294967295 134512640 134569956 3221224368 3221214544 1131353859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35638 13086 16 0 209006 0
vsize: 836088
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 102055 78 0 0 25 0 11 0 768099752 856154112 35643 4294967295 134512640 134569956 3221224368 3221214648 1131414950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35643 13086 16 0 209006 0
vsize: 836088
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 103050 78 0 0 25 0 11 0 768099752 856154112 35644 4294967295 134512640 134569956 3221224368 3221214496 1131196657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35644 13086 16 0 209006 0
vsize: 836088
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 104035 79 0 0 25 0 11 0 768099752 856154112 35644 4294967295 134512640 134569956 3221224368 3221214688 1131451683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 35644 13086 16 0 209006 0
vsize: 836088
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 105010 79 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214688 1131451715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 105989 79 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214672 1131375113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 106980 79 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214664 1131264936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 107960 79 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214688 1131451730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 108940 80 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214636 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 109930 80 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214592 1131239819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 110910 80 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214660 1131448608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 111889 80 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214688 1131451868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 112878 81 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214688 1131451683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 113858 81 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214640 1131188348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 114838 81 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214592 1131240046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 115817 81 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214664 1131264826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 116807 81 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214660 1131188277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 117786 81 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214672 1131375113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 118766 82 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214592 1131240087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 119745 82 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214660 1131448608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 19276
Raw data (stat): 19266 (java) R 19265 3132 3131 0 -1 0 18075 0 1 0 120725 82 0 0 25 0 11 0 768099752 856154112 36552 4294967295 134512640 134569956 3221224368 3221214664 1131264839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209022 36552 13086 16 0 209006 0
vsize: 836088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 19278
Raw data (stat): 19266 (java) Z 19265 3132 3131 0 -1 1036 18075 21632 1 0 120727 88 5046 76 25 0 1 0 768099752 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1250.16
CPU time (s): 1259.39
CPU user time (s): 1257.74
CPU system time (s): 1.65075
CPU usage (%): 100.738
Max. virtual memory (Kb): 836092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####