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_5.opb
MD5SUM	abd9a9e69fc2f9c2b3fcc7867082243f
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.3847
Number of variables	404336
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	120
Number of constraints which are nor clauses,nor cardinality constraints	3658
Minimum length of a constraint	1
Maximum length of a constraint	15900
Trace number 29726

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 10:53:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21125 boxname=wulflinc25 idbench=1113 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  abd9a9e69fc2f9c2b3fcc7867082243f  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-dano3_5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-dano3_5.opb
IDLAUNCH: 21125
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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:        348512 kB
Buffers:         31668 kB
Cached:         630132 kB
SwapCached:        588 kB
Active:         136336 kB
Inactive:       527728 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348260 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16504 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 11:15:27 (client local time) WITH STATUS 143 IN 1319.43 SECONDS
stats: 21125 7 1319.43 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/wulflinc25/normalized-mps-v2-20-10-dano3_5.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.129
#### 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.02 1.00 1.00 2/54 12970
Raw data (stat): 12970 (runsolver) R 12969 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838324759 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 857 37 0 0 24 0 10 0 838324759 853794816 19440 4294967295 134512640 134569956 3221224368 3221214636 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208446 19440 13086 16 0 208430 0
vsize: 833784
[startup+20.0011 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 1745 37 0 0 25 0 10 0 838324759 854179840 20025 4294967295 134512640 134569956 3221224368 3221214456 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208540 20025 13086 16 0 208524 0
vsize: 834160
[startup+30.0019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 2616 38 0 0 25 0 10 0 838324759 855912448 21016 4294967295 134512640 134569956 3221224368 3221214680 1131215297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208963 21016 13086 16 0 208947 0
vsize: 835852
[startup+40.0029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 3522 38 0 0 25 0 10 0 838324759 854081536 20929 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 20929 13086 16 0 208500 0
vsize: 834064
[startup+50.003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 4430 38 0 0 25 0 10 0 838324759 854081536 21112 4294967295 134512640 134569956 3221224368 3221214760 1131337568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 21112 13086 16 0 208500 0
vsize: 834064
[startup+60.0055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 5335 39 0 0 25 0 10 0 838324759 854081536 21309 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 21309 13086 16 0 208500 0
vsize: 834064
[startup+70.0057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 6251 39 0 0 25 0 10 0 838324759 854081536 21526 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 21526 13086 16 0 208500 0
vsize: 834064
[startup+80.0072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 7177 39 0 0 25 0 10 0 838324759 854081536 21696 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 21696 13086 16 0 208500 0
vsize: 834064
[startup+90.0074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 8101 39 0 0 25 0 10 0 838324759 854081536 21815 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 21815 13086 16 0 208500 0
vsize: 834064
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 9026 39 0 0 25 0 10 0 838324759 854081536 21973 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 21973 13086 16 0 208500 0
vsize: 834064
[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 9946 39 0 0 24 0 10 0 838324759 854081536 22084 4294967295 134512640 134569956 3221224368 3221214320 1079668415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 22084 13086 16 0 208500 0
vsize: 834064
[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 10865 39 0 0 25 0 10 0 838324759 854081536 22234 4294967295 134512640 134569956 3221224368 3221214756 1131244259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 22234 13086 16 0 208500 0
vsize: 834064
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 11775 40 0 0 24 0 10 0 838324759 854081536 22382 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 22382 13086 16 0 208500 0
vsize: 834064
[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 12676 40 0 0 25 0 10 0 838324759 854081536 22523 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 22523 13086 16 0 208500 0
vsize: 834064
[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 13585 40 0 0 25 0 10 0 838324759 854081536 22710 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 22710 13086 16 0 208500 0
vsize: 834064
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 14518 40 0 0 25 0 10 0 838324759 854081536 22900 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 22900 13086 16 0 208500 0
vsize: 834064
[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 15452 40 0 0 24 0 10 0 838324759 854081536 22995 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 22995 13086 16 0 208500 0
vsize: 834064
[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 16377 40 0 0 25 0 10 0 838324759 854081536 23041 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23041 13086 16 0 208500 0
vsize: 834064
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 17297 40 0 0 25 0 10 0 838324759 854081536 23130 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23130 13086 16 0 208500 0
vsize: 834064
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 18225 40 0 0 25 0 10 0 838324759 854081536 23335 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23335 13086 16 0 208500 0
vsize: 834064
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 19160 40 0 0 25 0 10 0 838324759 854081536 23423 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23423 13086 16 0 208500 0
vsize: 834064
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 20090 40 0 0 25 0 10 0 838324759 854081536 23511 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23511 13086 16 0 208500 0
vsize: 834064
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 21025 40 0 0 25 0 10 0 838324759 854081536 23550 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23550 13086 16 0 208500 0
vsize: 834064
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 21954 40 0 0 25 0 10 0 838324759 854081536 23636 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23636 13086 16 0 208500 0
vsize: 834064
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 22885 40 0 0 25 0 10 0 838324759 854081536 23719 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23719 13086 16 0 208500 0
vsize: 834064
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 23815 40 0 0 25 0 10 0 838324759 854081536 23758 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23758 13086 16 0 208500 0
vsize: 834064
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 24746 40 0 0 25 0 10 0 838324759 854081536 23839 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23839 13086 16 0 208500 0
vsize: 834064
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 25670 40 0 0 25 0 10 0 838324759 854081536 23923 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23923 13086 16 0 208500 0
vsize: 834064
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 26602 41 0 0 25 0 10 0 838324759 854081536 23957 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 23957 13086 16 0 208500 0
vsize: 834064
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 27527 41 0 0 24 0 10 0 838324759 854081536 24038 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24038 13086 16 0 208500 0
vsize: 834064
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 28453 41 0 0 25 0 10 0 838324759 854081536 24117 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24117 13086 16 0 208500 0
vsize: 834064
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 29381 41 0 0 25 0 10 0 838324759 854081536 24149 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24149 13086 16 0 208500 0
vsize: 834064
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 30303 41 0 0 24 0 10 0 838324759 854081536 24229 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24229 13086 16 0 208500 0
vsize: 834064
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 31227 41 0 0 25 0 10 0 838324759 854081536 24306 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24306 13086 16 0 208500 0
vsize: 834064
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 32150 41 0 0 25 0 10 0 838324759 854081536 24383 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24383 13086 16 0 208500 0
vsize: 834064
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 33070 41 0 0 25 0 10 0 838324759 854081536 24459 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24459 13086 16 0 208500 0
vsize: 834064
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 33983 41 0 0 24 0 10 0 838324759 854081536 24536 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24536 13086 16 0 208500 0
vsize: 834064
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 34894 41 0 0 24 0 10 0 838324759 854081536 24612 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24612 13086 16 0 208500 0
vsize: 834064
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12979
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 35799 41 0 0 25 0 10 0 838324759 854081536 24685 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24685 13086 16 0 208500 0
vsize: 834064
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12982
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 36699 42 0 0 25 0 10 0 838324759 854081536 24805 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 24805 13086 16 0 208500 0
vsize: 834064
[startup+410.017 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 13032
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 37614 44 0 0 25 0 10 0 838324759 854081536 25021 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25021 13086 16 0 208500 0
vsize: 834064
[startup+420.017 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 13032
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 38541 44 0 0 25 0 10 0 838324759 854081536 25054 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25054 13086 16 0 208500 0
vsize: 834064
[startup+430.018 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 13032
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 39467 44 0 0 25 0 10 0 838324759 854081536 25081 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25081 13086 16 0 208500 0
vsize: 834064
[startup+440.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 13032
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 40396 44 0 0 25 0 10 0 838324759 854081536 25160 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25160 13086 16 0 208500 0
vsize: 834064
[startup+450.019 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 13032
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 41319 44 0 0 25 0 10 0 838324759 854081536 25190 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25190 13086 16 0 208500 0
vsize: 834064
[startup+460.02 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 13032
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 42244 44 0 0 25 0 10 0 838324759 854081536 25217 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25217 13086 16 0 208500 0
vsize: 834064
[startup+470.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 43174 44 0 0 25 0 10 0 838324759 854081536 25297 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25297 13086 16 0 208500 0
vsize: 834064
[startup+480.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 44094 44 0 0 25 0 10 0 838324759 854081536 25324 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25324 13086 16 0 208500 0
vsize: 834064
[startup+490.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 45018 45 0 0 25 0 10 0 838324759 854081536 25400 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25400 13086 16 0 208500 0
vsize: 834064
[startup+500.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 45947 45 0 0 25 0 10 0 838324759 854081536 25430 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25430 13086 16 0 208500 0
vsize: 834064
[startup+510.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13034
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 46868 45 0 0 25 0 10 0 838324759 854081536 25456 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25456 13086 16 0 208500 0
vsize: 834064
[startup+520.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 47791 45 0 0 25 0 10 0 838324759 854081536 25535 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25535 13086 16 0 208500 0
vsize: 834064
[startup+530.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 48714 45 0 0 25 0 10 0 838324759 854081536 25561 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25561 13086 16 0 208500 0
vsize: 834064
[startup+540.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 49635 46 0 0 25 0 10 0 838324759 854081536 25585 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25585 13086 16 0 208500 0
vsize: 834064
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 50561 46 0 0 25 0 10 0 838324759 854081536 25664 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25664 13086 16 0 208500 0
vsize: 834064
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 51477 46 0 0 24 0 10 0 838324759 854081536 25689 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25689 13086 16 0 208500 0
vsize: 834064
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 52398 46 0 0 25 0 10 0 838324759 854081536 25767 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25767 13086 16 0 208500 0
vsize: 834064
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 53320 46 0 0 25 0 10 0 838324759 854081536 25791 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25791 13086 16 0 208500 0
vsize: 834064
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 54239 46 0 0 25 0 10 0 838324759 854081536 25814 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25814 13086 16 0 208500 0
vsize: 834064
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 55161 46 0 0 25 0 10 0 838324759 854081536 25892 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25892 13086 16 0 208500 0
vsize: 834064
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 56078 47 0 0 25 0 10 0 838324759 854081536 25915 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25915 13086 16 0 208500 0
vsize: 834064
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 56996 47 0 0 25 0 10 0 838324759 854081536 25994 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 25994 13086 16 0 208500 0
vsize: 834064
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 57912 47 0 0 25 0 10 0 838324759 854081536 26018 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 26018 13086 16 0 208500 0
vsize: 834064
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 58830 47 0 0 25 0 10 0 838324759 854081536 26096 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 26096 13086 16 0 208500 0
vsize: 834064
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 59747 47 0 0 25 0 10 0 838324759 854081536 26118 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 26118 13086 16 0 208500 0
vsize: 834064
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 60663 47 0 0 25 0 10 0 838324759 854081536 26188 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 26188 13086 16 0 208500 0
vsize: 834064
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 61579 47 0 0 25 0 10 0 838324759 854081536 26210 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 26210 13086 16 0 208500 0
vsize: 834064
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 62498 47 0 0 25 0 10 0 838324759 854081536 26786 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 26786 13086 16 0 208500 0
vsize: 834064
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 63408 48 0 0 25 0 10 0 838324759 854081536 26786 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 26786 13086 16 0 208500 0
vsize: 834064
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 64312 49 0 0 25 0 10 0 838324759 854081536 26851 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 26851 13086 16 0 208500 0
vsize: 834064
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13034
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 65217 49 0 0 25 0 10 0 838324759 854081536 26872 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 26872 13086 16 0 208500 0
vsize: 834064
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 66117 50 0 0 25 0 10 0 838324759 854081536 26939 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 26939 13086 16 0 208500 0
vsize: 834064
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 67024 50 0 0 25 0 10 0 838324759 854081536 26959 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 26959 13086 16 0 208500 0
vsize: 834064
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 67928 50 0 0 25 0 10 0 838324759 854081536 27025 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27025 13086 16 0 208500 0
vsize: 834064
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 68827 51 0 0 25 0 10 0 838324759 854081536 27092 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27092 13086 16 0 208500 0
vsize: 834064
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 69724 51 0 0 25 0 10 0 838324759 854081536 27158 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 27158 13086 16 0 208500 0
vsize: 834064
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 70621 51 0 0 25 0 10 0 838324759 854081536 27178 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27178 13086 16 0 208500 0
vsize: 834064
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 71517 52 0 0 25 0 10 0 838324759 854081536 27243 4294967295 134512640 134569956 3221224368 3221213928 1131313096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27243 13086 16 0 208500 0
vsize: 834064
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 72394 52 0 0 25 0 10 0 838324759 854081536 27396 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27396 13086 16 0 208500 0
vsize: 834064
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 73288 53 0 0 25 0 10 0 838324759 854081536 27454 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27454 13086 16 0 208500 0
vsize: 834064
[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 74192 54 0 0 25 0 10 0 838324759 854081536 27614 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27614 13086 16 0 208500 0
vsize: 834064
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 75101 54 0 0 25 0 10 0 838324759 854081536 27640 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208516 27640 13086 16 0 208500 0
vsize: 834064
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 76008 55 0 0 25 0 10 0 838324759 854081536 27661 4294967295 134512640 134569956 3221224368 3221214756 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27661 13086 16 0 208500 0
vsize: 834064
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 76912 55 0 0 25 0 10 0 838324759 854081536 27681 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27681 13086 16 0 208500 0
vsize: 834064
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 77818 55 0 0 22 0 10 0 838324759 854081536 27750 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27750 13086 16 0 208500 0
vsize: 834064
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 78727 55 0 0 25 0 10 0 838324759 854081536 27774 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27774 13086 16 0 208500 0
vsize: 834064
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 79632 56 0 0 25 0 10 0 838324759 854081536 27795 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27795 13086 16 0 208500 0
vsize: 834064
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 80532 56 0 0 25 0 10 0 838324759 854081536 27814 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27814 13086 16 0 208500 0
vsize: 834064
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 81437 57 0 0 24 0 10 0 838324759 854081536 27884 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27884 13086 16 0 208500 0
vsize: 834064
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 82347 57 0 0 25 0 10 0 838324759 854081536 27906 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27906 13086 16 0 208500 0
vsize: 834064
[startup+910.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 83252 58 0 0 25 0 10 0 838324759 854081536 27926 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27926 13086 16 0 208500 0
vsize: 834064
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 84152 58 0 0 25 0 10 0 838324759 854081536 27945 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 27945 13086 16 0 208500 0
vsize: 834064
[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 85056 58 0 0 25 0 10 0 838324759 854081536 28015 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28015 13086 16 0 208500 0
vsize: 834064
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 85963 59 0 0 25 0 10 0 838324759 854081536 28038 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28038 13086 16 0 208500 0
vsize: 834064
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 86864 59 0 0 19 0 10 0 838324759 854081536 28057 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28057 13086 16 0 208500 0
vsize: 834064
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 87769 60 0 0 23 0 10 0 838324759 854081536 28074 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28074 13086 16 0 208500 0
vsize: 834064
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 88674 61 0 0 23 0 10 0 838324759 854081536 28145 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28145 13086 16 0 208500 0
vsize: 834064
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 89579 61 0 0 20 0 10 0 838324759 854081536 28168 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28168 13086 16 0 208500 0
vsize: 834064
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 90477 61 0 0 19 0 10 0 838324759 854081536 28186 4294967295 134512640 134569956 3221224368 3221214224 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28186 13086 16 0 208500 0
vsize: 834064
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 91376 61 0 0 24 0 10 0 838324759 854081536 28255 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28255 13086 16 0 208500 0
vsize: 834064
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 92286 61 0 0 23 0 10 0 838324759 854081536 28276 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28276 13086 16 0 208500 0
vsize: 834064
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 93186 62 0 0 20 0 10 0 838324759 854081536 28295 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28295 13086 16 0 208500 0
vsize: 834064
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 94082 63 0 0 19 0 10 0 838324759 854081536 28313 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28313 13086 16 0 208500 0
vsize: 834064
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 94983 63 0 0 23 0 10 0 838324759 854081536 28384 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28384 13086 16 0 208500 0
vsize: 834064
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 95890 64 0 0 21 0 10 0 838324759 854081536 28404 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28404 13086 16 0 208500 0
vsize: 834064
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 96786 64 0 0 20 0 10 0 838324759 854081536 28421 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28421 13086 16 0 208500 0
vsize: 834064
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 97682 65 0 0 17 0 10 0 838324759 854081536 28492 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28492 13086 16 0 208500 0
vsize: 834064
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 98585 65 0 0 24 0 10 0 838324759 854081536 28512 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28512 13086 16 0 208500 0
vsize: 834064
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 99486 65 0 0 21 0 10 0 838324759 854081536 28529 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28529 13086 16 0 208500 0
vsize: 834064
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 100380 65 0 0 19 0 10 0 838324759 854081536 28546 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28546 13086 16 0 208500 0
vsize: 834064
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 101281 66 0 0 19 0 10 0 838324759 854081536 28620 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28620 13086 16 0 208500 0
vsize: 834064
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 102182 66 0 0 22 0 10 0 838324759 854081536 28638 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28638 13086 16 0 208500 0
vsize: 834064
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 103079 66 0 0 20 0 10 0 838324759 854081536 28708 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28708 13086 16 0 208500 0
vsize: 834064
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 103979 66 0 0 19 0 10 0 838324759 854081536 28731 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28731 13086 16 0 208500 0
vsize: 834064
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 104880 67 0 0 22 0 10 0 838324759 854081536 28747 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28747 13086 16 0 208500 0
vsize: 834064
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 105779 67 0 0 21 0 10 0 838324759 854081536 28823 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28823 13086 16 0 208500 0
vsize: 834064
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 106677 67 0 0 20 0 10 0 838324759 854081536 28857 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28857 13086 16 0 208500 0
vsize: 834064
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 107578 67 0 0 19 0 10 0 838324759 854081536 28924 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28924 13086 16 0 208500 0
vsize: 834064
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 108486 68 0 0 23 0 10 0 838324759 854081536 28935 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 28935 13086 16 0 208500 0
vsize: 834064
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 109380 68 0 0 20 0 10 0 838324759 854081536 29024 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29024 13086 16 0 208500 0
vsize: 834064
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 110283 68 0 0 19 0 10 0 838324759 854081536 29024 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29024 13086 16 0 208500 0
vsize: 834064
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 111182 69 0 0 22 0 10 0 838324759 854081536 29042 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29042 13086 16 0 208500 0
vsize: 834064
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 112081 69 0 0 22 0 10 0 838324759 854081536 29119 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29119 13086 16 0 208500 0
vsize: 834064
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 112979 70 0 0 20 0 10 0 838324759 854081536 29132 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29132 13086 16 0 208500 0
vsize: 834064
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 113886 70 0 0 25 0 10 0 838324759 854081536 29211 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29211 13086 16 0 208500 0
vsize: 834064
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 114791 71 0 0 25 0 10 0 838324759 854081536 29213 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29213 13086 16 0 208500 0
vsize: 834064
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 115688 71 0 0 25 0 10 0 838324759 854081536 29290 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29290 13086 16 0 208500 0
vsize: 834064
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 116585 71 0 0 24 0 10 0 838324759 854081536 29352 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29352 13086 16 0 208500 0
vsize: 834064
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 117492 72 0 0 25 0 10 0 838324759 854081536 29440 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29440 13086 16 0 208500 0
vsize: 834064
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 118390 72 0 0 25 0 10 0 838324759 854081536 29508 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29508 13086 16 0 208500 0
vsize: 834064
[startup+1310.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) R 12969 1586 1585 0 -1 0 18039 0 1 0 119293 73 0 0 25 0 10 0 838324759 854081536 29605 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29605 13086 16 0 208500 0
vsize: 834064
[startup+1320.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 13036
Raw data (stat): 12970 (java) S 12969 1586 1585 0 -1 0 18039 0 1 0 120194 74 0 0 25 0 10 0 838324759 854081536 29608 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 29608 13086 16 0 208500 0
vsize: 834064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13038
Raw data (stat): 12970 (java) Z 12969 1586 1585 0 -1 1036 18039 11136 1 0 120196 74 11621 50 23 0 1 0 838324759 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.18
CPU time (s): 1319.43
CPU user time (s): 1318.18
CPU system time (s): 1.25281
CPU usage (%): 99.9428
Max. virtual memory (Kb): 835852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####