PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
MD5SUM	0f9e797b4b986a37159e9b1332a4b629
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	39844
Biggest coefficient in the objective function	2101312749568
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	249967315526150
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	2101312749568
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	249967315526150
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.398939
Number of variables	45231
Total number of constraints	653
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	653
Minimum length of a constraint	19
Maximum length of a constraint	1560
Trace number 29486

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 08:09:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20889 boxname=wulflinc31 idbench=877 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0f9e797b4b986a37159e9b1332a4b629  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-shell.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-shell.opb
IDLAUNCH: 20889
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        477672 kB
Buffers:         22008 kB
Cached:         504276 kB
SwapCached:       1056 kB
Active:          58884 kB
Inactive:       469552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        477420 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22956 kB
Committed_AS:    63800 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:30:49 (client local time) WITH STATUS 143 IN 1267.57 SECONDS
stats: 20889 7 1267.57 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/wulflinc31/normalized-mps-v2-20-10-shell.opb
c reading problem ... done. Time 585.577 ms.
c #vars     45231
c #constraints  1187
c starts	: 6
c conflicts	: 1940
c decisions	: 13171
c propagations	: 63923
c inspects	: 1985033
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1940
c root simplifications	: 70
s UNKNOWN
c Total CPU time (ms) : 1269.152
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 12481
Raw data (stat): 12481 (runsolver) R 12480 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837307624 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.0001 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12490
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18015 0 1 0 878 38 0 0 25 0 10 0 837307624 854355968 19345 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208583 19345 13086 16 0 208567 0
vsize: 834332
[startup+20.001 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12492
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 1768 38 0 0 25 0 10 0 837307624 855961600 20195 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208975 20195 13086 16 0 208959 0
vsize: 835900
[startup+30.0019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12492
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 2663 39 0 0 25 0 10 0 837307624 855961600 20685 4294967295 134512640 134569956 3221224368 3221214648 1131189325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208975 20685 13086 16 0 208959 0
vsize: 835900
[startup+40.0018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12492
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 3575 39 0 0 25 0 10 0 837307624 854769664 20746 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208684 20746 13086 16 0 208668 0
vsize: 834736
[startup+50.0028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12492
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 4501 39 0 0 25 0 10 0 837307624 854769664 20907 4294967295 134512640 134569956 3221224368 3221214768 1131247110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208684 20907 13086 16 0 208668 0
vsize: 834736
[startup+60.0031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12492
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 5414 40 0 0 25 0 10 0 837307624 854769664 21044 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208684 21044 13086 16 0 208668 0
vsize: 834736
[startup+70.0037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12492
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 6343 40 0 0 25 0 10 0 837307624 854564864 21257 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21257 13086 16 0 208618 0
vsize: 834536
[startup+80.0047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12494
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 7283 40 0 0 25 0 10 0 837307624 854564864 21356 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21356 13086 16 0 208618 0
vsize: 834536
[startup+90.0045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12494
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 8224 41 0 0 25 0 10 0 837307624 854564864 21448 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21448 13086 16 0 208618 0
vsize: 834536
[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12494
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 9166 42 0 0 25 0 10 0 837307624 854564864 21532 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21532 13086 16 0 208618 0
vsize: 834536
[startup+110.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12494
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 10106 42 0 0 24 0 10 0 837307624 854564864 21617 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21617 13086 16 0 208618 0
vsize: 834536
[startup+120.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12494
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 11051 43 0 0 25 0 10 0 837307624 854564864 21692 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21692 13086 16 0 208618 0
vsize: 834536
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12494
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 11995 43 0 0 25 0 10 0 837307624 854564864 21762 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21762 13086 16 0 208618 0
vsize: 834536
[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12496
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 12939 43 0 0 25 0 10 0 837307624 854564864 21829 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21829 13086 16 0 208618 0
vsize: 834536
[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12496
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 13880 44 0 0 24 0 10 0 837307624 854564864 21898 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21898 13086 16 0 208618 0
vsize: 834536
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12496
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 14824 45 0 0 25 0 10 0 837307624 854564864 21959 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 21959 13086 16 0 208618 0
vsize: 834536
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12496
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 15768 46 0 0 25 0 10 0 837307624 854564864 22019 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22019 13086 16 0 208618 0
vsize: 834536
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12496
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 16690 46 0 0 25 0 10 0 837307624 854564864 22076 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22076 13086 16 0 208618 0
vsize: 834536
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12496
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 17607 47 0 0 25 0 10 0 837307624 854564864 22133 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22133 13086 16 0 208618 0
vsize: 834536
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12498
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 18541 48 0 0 25 0 10 0 837307624 854564864 22443 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22443 13086 16 0 208618 0
vsize: 834536
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12498
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 19482 48 0 0 25 0 10 0 837307624 854564864 22495 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22495 13086 16 0 208618 0
vsize: 834536
[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12498
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 20422 49 0 0 25 0 10 0 837307624 854564864 22546 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22546 13086 16 0 208618 0
vsize: 834536
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12498
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 21363 49 0 0 25 0 10 0 837307624 854564864 22596 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22596 13086 16 0 208618 0
vsize: 834536
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12498
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 22303 49 0 0 25 0 10 0 837307624 854564864 22646 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22646 13086 16 0 208618 0
vsize: 834536
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12498
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 23239 50 0 0 24 0 10 0 837307624 854564864 22696 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22696 13086 16 0 208618 0
vsize: 834536
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12500
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 24178 51 0 0 25 0 10 0 837307624 854564864 22742 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22742 13086 16 0 208618 0
vsize: 834536
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12500
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 25117 51 0 0 25 0 10 0 837307624 854564864 22788 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22788 13086 16 0 208618 0
vsize: 834536
[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12500
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 26056 51 0 0 25 0 10 0 837307624 854564864 22832 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22832 13086 16 0 208618 0
vsize: 834536
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12500
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 26994 52 0 0 25 0 10 0 837307624 854564864 22876 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22876 13086 16 0 208618 0
vsize: 834536
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12500
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 27931 52 0 0 25 0 10 0 837307624 854564864 22919 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22919 13086 16 0 208618 0
vsize: 834536
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12500
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 28869 53 0 0 25 0 10 0 837307624 854564864 22961 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 22961 13086 16 0 208618 0
vsize: 834536
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12502
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 29805 54 0 0 25 0 10 0 837307624 854564864 23002 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23002 13086 16 0 208618 0
vsize: 834536
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12502
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 30742 54 0 0 25 0 10 0 837307624 854564864 23043 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23043 13086 16 0 208618 0
vsize: 834536
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12502
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 31678 54 0 0 25 0 10 0 837307624 854564864 23082 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23082 13086 16 0 208618 0
vsize: 834536
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12502
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 32614 55 0 0 25 0 10 0 837307624 854564864 23122 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23122 13086 16 0 208618 0
vsize: 834536
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12502
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 33549 55 0 0 25 0 10 0 837307624 854564864 23161 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23161 13086 16 0 208618 0
vsize: 834536
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12502
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 34484 55 0 0 25 0 10 0 837307624 854564864 23200 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23200 13086 16 0 208618 0
vsize: 834536
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12504
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 35418 56 0 0 25 0 10 0 837307624 854564864 23237 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23237 13086 16 0 208618 0
vsize: 834536
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12504
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 36352 56 0 0 25 0 10 0 837307624 854564864 23274 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23274 13086 16 0 208618 0
vsize: 834536
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12504
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 37286 57 0 0 25 0 10 0 837307624 854564864 23311 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23311 13086 16 0 208618 0
vsize: 834536
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12504
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 38219 57 0 0 25 0 10 0 837307624 854564864 23347 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23347 13086 16 0 208618 0
vsize: 834536
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12504
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 39152 57 0 0 25 0 10 0 837307624 854564864 23383 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23383 13086 16 0 208618 0
vsize: 834536
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12504
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 40084 57 0 0 25 0 10 0 837307624 854564864 23418 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23418 13086 16 0 208618 0
vsize: 834536
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12506
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18016 0 1 0 41016 58 0 0 25 0 10 0 837307624 854564864 23453 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23453 13086 16 0 208618 0
vsize: 834536
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12506
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18032 0 1 0 41930 58 0 0 25 0 10 0 837307624 855678976 23595 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208906 23595 13086 16 0 208890 0
vsize: 835624
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12506
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18033 0 1 0 42844 59 0 0 25 0 10 0 837307624 854564864 23548 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208634 23548 13086 16 0 208618 0
vsize: 834536
[startup+470.03 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 12506
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 43668 59 0 0 25 0 10 0 837307624 860864512 25243 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210172 25243 13086 16 0 210156 0
vsize: 840688
[startup+480.031 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 12506
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 44546 60 0 0 25 0 10 0 837307624 857468928 24735 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209343 24735 13086 16 0 209327 0
vsize: 837372
[startup+490.031 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 12506
Raw data (stat): 12481 (java) S 12480 29618 29617 0 -1 0 18034 0 1 0 45454 60 0 0 25 0 10 0 837307624 857468928 25049 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209343 25049 13086 16 0 209327 0
vsize: 837372
[startup+500.033 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 12508
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 46374 61 0 0 25 0 10 0 837307624 857468928 25168 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209343 25168 13086 16 0 209327 0
vsize: 837372
[startup+510.034 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 12508
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 47297 62 0 0 25 0 10 0 837307624 858517504 25405 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209599 25405 13086 16 0 209583 0
vsize: 838396
[startup+520.035 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 12508
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 48190 62 0 0 25 0 10 0 837307624 857485312 25194 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209347 25194 13086 16 0 209331 0
vsize: 837388
[startup+530.039 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12508
Raw data (stat): 12481 (java) S 12480 29618 29617 0 -1 0 18034 0 1 0 49068 62 0 0 25 0 10 0 837307624 857485312 25410 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209347 25410 13086 16 0 209331 0
vsize: 837388
[startup+540.04 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 12508
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 49939 63 0 0 24 0 10 0 837307624 857485312 26250 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209347 26250 13086 16 0 209331 0
vsize: 837388
[startup+550.041 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 12508
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 50828 63 0 0 25 0 10 0 837307624 857485312 26614 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209347 26614 13086 16 0 209331 0
vsize: 837388
[startup+560.041 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12510
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 51700 64 0 0 24 0 10 0 837307624 857485312 27108 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209347 27108 13086 16 0 209331 0
vsize: 837388
[startup+570.048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 12510
Raw data (stat): 12481 (java) S 12480 29618 29617 0 -1 0 18034 0 1 0 52596 64 0 0 25 0 10 0 837307624 856436736 27227 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209091 27227 13086 16 0 209075 0
vsize: 836364
[startup+580.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 12510
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18034 0 1 0 53484 64 0 0 25 0 10 0 837307624 856436736 27393 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209091 27393 13086 16 0 209075 0
vsize: 836364
[startup+590.049 s]
Raw data (loadavg): 1.02 1.02 1.00 3/65 12511
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18098 0 1 0 54333 66 0 0 25 0 11 0 837307624 859734016 28518 4294967295 134512640 134569956 3221224368 3221214752 1130919274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 28518 13086 16 0 209880 0
vsize: 839584
[startup+600.05 s]
Raw data (loadavg): 1.09 1.03 1.00 2/65 12511
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18099 0 1 0 55246 66 0 0 25 0 11 0 837307624 858054656 28306 4294967295 134512640 134569956 3221224368 3221214504 1131296070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 28306 13086 16 0 209470 0
vsize: 837944
[startup+610.05 s]
Raw data (loadavg): 1.15 1.05 1.01 2/65 12511
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18101 0 1 0 56192 66 0 0 25 0 11 0 837307624 859103232 29499 4294967295 134512640 134569956 3221224368 3221214604 1131343115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209742 29499 13086 16 0 209726 0
vsize: 838968
[startup+620.052 s]
Raw data (loadavg): 1.13 1.05 1.01 2/65 12513
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18101 0 1 0 57178 67 0 0 25 0 11 0 837307624 858054656 29190 4294967295 134512640 134569956 3221224368 3221214600 1131531292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29190 13086 16 0 209470 0
vsize: 837944
[startup+630.053 s]
Raw data (loadavg): 1.11 1.04 1.01 2/65 12513
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18102 0 1 0 58150 67 0 0 24 0 11 0 837307624 858054656 29193 4294967295 134512640 134569956 3221224368 3221214504 1131296243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29193 13086 16 0 209470 0
vsize: 837944
[startup+640.053 s]
Raw data (loadavg): 1.09 1.04 1.01 2/65 12513
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18102 0 1 0 59122 67 0 0 25 0 11 0 837307624 858054656 29288 4294967295 134512640 134569956 3221224368 3221214600 1131387873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 29288 13086 16 0 209470 0
vsize: 837944
[startup+650.054 s]
Raw data (loadavg): 1.08 1.04 1.01 2/65 12513
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 60097 67 0 0 25 0 11 0 837307624 858054656 29308 4294967295 134512640 134569956 3221224368 3221214488 1131565221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29308 13086 16 0 209470 0
vsize: 837944
[startup+660.056 s]
Raw data (loadavg): 1.07 1.04 1.00 2/65 12513
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 61076 67 0 0 25 0 11 0 837307624 858054656 29398 4294967295 134512640 134569956 3221224368 3221214600 1131388252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29398 13086 16 0 209470 0
vsize: 837944
[startup+670.056 s]
Raw data (loadavg): 1.06 1.04 1.00 2/65 12513
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 62055 67 0 0 25 0 11 0 837307624 858054656 29435 4294967295 134512640 134569956 3221224368 3221214600 1131387809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29435 13086 16 0 209470 0
vsize: 837944
[startup+680.057 s]
Raw data (loadavg): 1.05 1.04 1.00 2/65 12515
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 63033 67 0 0 24 0 11 0 837307624 858054656 29486 4294967295 134512640 134569956 3221224368 3221214512 1131281511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29486 13086 16 0 209470 0
vsize: 837944
[startup+690.058 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 12515
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 64003 67 0 0 25 0 11 0 837307624 858054656 29512 4294967295 134512640 134569956 3221224368 3221214608 1131525859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29512 13086 16 0 209470 0
vsize: 837944
[startup+700.059 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12515
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 64968 67 0 0 25 0 11 0 837307624 858054656 29557 4294967295 134512640 134569956 3221224368 3221214504 1131342343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29557 13086 16 0 209470 0
vsize: 837944
[startup+710.06 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 12515
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 65934 68 0 0 25 0 11 0 837307624 858054656 29625 4294967295 134512640 134569956 3221224368 3221214504 1131341721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29625 13086 16 0 209470 0
vsize: 837944
[startup+720.061 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12515
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 66895 68 0 0 25 0 11 0 837307624 858054656 29713 4294967295 134512640 134569956 3221224368 3221214504 1131296129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29713 13086 16 0 209470 0
vsize: 837944
[startup+730.061 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12515
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 67858 68 0 0 25 0 11 0 837307624 858054656 29815 4294967295 134512640 134569956 3221224368 3221214608 1131525859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29815 13086 16 0 209470 0
vsize: 837944
[startup+740.062 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 12517
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18103 0 1 0 68818 68 0 0 25 0 11 0 837307624 858054656 29915 4294967295 134512640 134569956 3221224368 3221214808 1131475556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 29915 13086 16 0 209470 0
vsize: 837944
[startup+750.064 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 12517
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 69790 68 0 0 24 0 11 0 837307624 858054656 30052 4294967295 134512640 134569956 3221224368 3221214704 1131208284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30052 13086 16 0 209470 0
vsize: 837944
[startup+760.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12517
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 70765 68 0 0 25 0 11 0 837307624 858054656 30162 4294967295 134512640 134569956 3221224368 3221214664 1131491513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30162 13086 16 0 209470 0
vsize: 837944
[startup+770.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12517
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 71746 69 0 0 25 0 11 0 837307624 858054656 30164 4294967295 134512640 134569956 3221224368 3221214504 1131296053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30164 13086 16 0 209470 0
vsize: 837944
[startup+780.067 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 12517
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 72727 69 0 0 25 0 11 0 837307624 858054656 30221 4294967295 134512640 134569956 3221224368 3221214600 1131388100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30221 13086 16 0 209470 0
vsize: 837944
[startup+790.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12517
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 73707 69 0 0 25 0 11 0 837307624 858054656 30291 4294967295 134512640 134569956 3221224368 3221214600 1131530402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30291 13086 16 0 209470 0
vsize: 837944
[startup+800.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12519
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 74669 69 0 0 25 0 11 0 837307624 858054656 30300 4294967295 134512640 134569956 3221224368 3221214504 1131296297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30300 13086 16 0 209470 0
vsize: 837944
[startup+810.069 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12519
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 75619 69 0 0 25 0 11 0 837307624 858054656 30312 4294967295 134512640 134569956 3221224368 3221214504 1131296053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30312 13086 16 0 209470 0
vsize: 837944
[startup+820.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12519
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 76561 69 0 0 25 0 11 0 837307624 858054656 30486 4294967295 134512640 134569956 3221224368 3221214600 1131387891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30486 13086 16 0 209470 0
vsize: 837944
[startup+830.073 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12519
Raw data (stat): 12481 (java) S 12480 29618 29617 0 -1 0 18104 0 1 0 77508 69 0 0 25 0 11 0 837307624 858054656 30708 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30708 13086 16 0 209470 0
vsize: 837944
[startup+840.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12519
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 78461 69 0 0 25 0 11 0 837307624 858054656 30881 4294967295 134512640 134569956 3221224368 3221214504 1131296053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 30881 13086 16 0 209470 0
vsize: 837944
[startup+850.076 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 12519
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 79416 69 0 0 25 0 11 0 837307624 858054656 31047 4294967295 134512640 134569956 3221224368 3221214664 1131491710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 31047 13086 16 0 209470 0
vsize: 837944
[startup+860.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12521
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 80377 70 0 0 25 0 11 0 837307624 858054656 31182 4294967295 134512640 134569956 3221224368 3221214504 1131296639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 31182 13086 16 0 209470 0
vsize: 837944
[startup+870.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12521
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 81340 70 0 0 25 0 11 0 837307624 858054656 31308 4294967295 134512640 134569956 3221224368 3221214664 1131493711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 31308 13086 16 0 209470 0
vsize: 837944
[startup+880.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12521
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 82302 70 0 0 25 0 11 0 837307624 858054656 31425 4294967295 134512640 134569956 3221224368 3221214504 1131342124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209486 31425 13086 16 0 209470 0
vsize: 837944
[startup+890.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12521
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 83266 71 0 0 25 0 11 0 837307624 858054656 31518 4294967295 134512640 134569956 3221224368 3221214664 1131493744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 31518 13086 16 0 209470 0
vsize: 837944
[startup+900.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12521
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 84238 71 0 0 25 0 11 0 837307624 858054656 31614 4294967295 134512640 134569956 3221224368 3221214600 1131387834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 31614 13086 16 0 209470 0
vsize: 837944
[startup+910.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12521
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 85206 71 0 0 25 0 11 0 837307624 858054656 31724 4294967295 134512640 134569956 3221224368 3221214664 1131493711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 31724 13086 16 0 209470 0
vsize: 837944
[startup+920.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12523
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 86175 72 0 0 25 0 11 0 837307624 858054656 31831 4294967295 134512640 134569956 3221224368 3221214664 1131497505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 31831 13086 16 0 209470 0
vsize: 837944
[startup+930.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12523
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 87148 72 0 0 25 0 11 0 837307624 859664384 32273 4294967295 134512640 134569956 3221224368 3221214664 1131491749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209879 32273 13086 16 0 209863 0
vsize: 839516
[startup+940.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12523
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 88115 73 0 0 25 0 11 0 837307624 858873856 32155 4294967295 134512640 134569956 3221224368 3221214504 1131296129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 32155 13086 16 0 209670 0
vsize: 838744
[startup+950.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 12523
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 89089 73 0 0 25 0 11 0 837307624 858873856 32235 4294967295 134512640 134569956 3221224368 3221214504 1131297314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 32235 13086 16 0 209670 0
vsize: 838744
[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12523
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 90064 73 0 0 25 0 11 0 837307624 858873856 32312 4294967295 134512640 134569956 3221224368 3221214664 1131496504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 32312 13086 16 0 209670 0
vsize: 838744
[startup+970.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12523
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 91044 74 0 0 25 0 11 0 837307624 858873856 32405 4294967295 134512640 134569956 3221224368 3221214600 1131388214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 32405 13086 16 0 209670 0
vsize: 838744
[startup+980.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12525
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 92020 74 0 0 25 0 11 0 837307624 858873856 32518 4294967295 134512640 134569956 3221224368 3221214504 1131296887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 32518 13086 16 0 209670 0
vsize: 838744
[startup+990.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12525
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 93003 75 0 0 25 0 11 0 837307624 858873856 32571 4294967295 134512640 134569956 3221224368 3221214664 1131493121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 32571 13086 16 0 209670 0
vsize: 838744
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12525
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 93987 75 0 0 25 0 11 0 837307624 858873856 32602 4294967295 134512640 134569956 3221224368 3221214424 1131646677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209686 32602 13086 16 0 209670 0
vsize: 838744
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12525
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 94971 76 0 0 25 0 11 0 837307624 858054656 32467 4294967295 134512640 134569956 3221224368 3221214504 1131296593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32467 13086 16 0 209470 0
vsize: 837944
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12525
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 95950 76 0 0 25 0 11 0 837307624 858054656 32555 4294967295 134512640 134569956 3221224368 3221214664 1131493789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32555 13086 16 0 209470 0
vsize: 837944
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12525
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 96927 76 0 0 25 0 11 0 837307624 858054656 32582 4294967295 134512640 134569956 3221224368 3221214664 1131497445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32582 13086 16 0 209470 0
vsize: 837944
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12527
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 97905 77 0 0 25 0 11 0 837307624 858054656 32618 4294967295 134512640 134569956 3221224368 3221214504 1131296053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32618 13086 16 0 209470 0
vsize: 837944
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12527
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 98882 77 0 0 25 0 11 0 837307624 858054656 32667 4294967295 134512640 134569956 3221224368 3221214424 1131647624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32667 13086 16 0 209470 0
vsize: 837944
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12527
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 99863 77 0 0 25 0 11 0 837307624 858054656 32739 4294967295 134512640 134569956 3221224368 3221214384 1131646193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32739 13086 16 0 209470 0
vsize: 837944
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12527
Raw data (stat): 12481 (java) S 12480 29618 29617 0 -1 0 18104 0 1 0 100843 78 0 0 25 0 11 0 837307624 858054656 32837 4294967295 134512640 134569956 3221224368 3221213240 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32837 13086 16 0 209470 0
vsize: 837944
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12527
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 101820 78 0 0 25 0 11 0 837307624 858054656 32868 4294967295 134512640 134569956 3221224368 3221214504 1131296427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32868 13086 16 0 209470 0
vsize: 837944
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12527
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 102793 78 0 0 25 0 11 0 837307624 858054656 32926 4294967295 134512640 134569956 3221224368 3221214504 1131296593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32926 13086 16 0 209470 0
vsize: 837944
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12529
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 103769 79 0 0 25 0 11 0 837307624 858054656 32956 4294967295 134512640 134569956 3221224368 3221214664 1131493006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 32956 13086 16 0 209470 0
vsize: 837944
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12529
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 104736 79 0 0 25 0 11 0 837307624 858054656 33063 4294967295 134512640 134569956 3221224368 3221214504 1131297278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33063 13086 16 0 209470 0
vsize: 837944
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12529
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 105712 79 0 0 25 0 11 0 837307624 858054656 33142 4294967295 134512640 134569956 3221224368 3221214504 1131296070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33142 13086 16 0 209470 0
vsize: 837944
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12529
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 106683 79 0 0 25 0 11 0 837307624 858054656 33255 4294967295 134512640 134569956 3221224368 3221214376 1131296053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33255 13086 16 0 209470 0
vsize: 837944
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12529
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 107663 80 0 0 25 0 11 0 837307624 858054656 33351 4294967295 134512640 134569956 3221224368 3221214664 1131491694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33351 13086 16 0 209470 0
vsize: 837944
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12529
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 108645 80 0 0 25 0 11 0 837307624 858054656 33410 4294967295 134512640 134569956 3221224368 3221214664 1131491717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33410 13086 16 0 209470 0
vsize: 837944
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12531
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 109630 80 0 0 25 0 11 0 837307624 858054656 33446 4294967295 134512640 134569956 3221224368 3221214600 1131388214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33446 13086 16 0 209470 0
vsize: 837944
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12531
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 110613 81 0 0 25 0 11 0 837307624 858054656 33514 4294967295 134512640 134569956 3221224368 3221214504 1131296521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33514 13086 16 0 209470 0
vsize: 837944
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12531
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 111596 81 0 0 25 0 11 0 837307624 858054656 33563 4294967295 134512640 134569956 3221224368 3221214664 1131492764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33563 13086 16 0 209470 0
vsize: 837944
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12531
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 112574 82 0 0 25 0 11 0 837307624 858054656 33581 4294967295 134512640 134569956 3221224368 3221214664 1131493718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33581 13086 16 0 209470 0
vsize: 837944
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12531
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 113550 82 0 0 25 0 11 0 837307624 858054656 33588 4294967295 134512640 134569956 3221224368 3221214644 1130920592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33588 13086 16 0 209470 0
vsize: 837944
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12531
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 114527 83 0 0 25 0 11 0 837307624 858054656 33641 4294967295 134512640 134569956 3221224368 3221214664 1131491717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33641 13086 16 0 209470 0
vsize: 837944
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12533
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 115505 83 0 0 25 0 11 0 837307624 858054656 33697 4294967295 134512640 134569956 3221224368 3221214596 1131295879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33697 13086 16 0 209470 0
vsize: 837944
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12533
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 116485 83 0 0 25 0 11 0 837307624 858054656 33777 4294967295 134512640 134569956 3221224368 3221214664 1131496612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33777 13086 16 0 209470 0
vsize: 837944
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12533
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 117463 84 0 0 25 0 11 0 837307624 858054656 33845 4294967295 134512640 134569956 3221224368 3221213992 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33845 13086 16 0 209470 0
vsize: 837944
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12533
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 118443 84 0 0 25 0 11 0 837307624 858054656 33872 4294967295 134512640 134569956 3221224368 3221214504 1131296639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33872 13086 16 0 209470 0
vsize: 837944
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12533
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 119416 84 0 0 25 0 11 0 837307624 858054656 33929 4294967295 134512640 134569956 3221224368 3221214504 1131565201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33929 13086 16 0 209470 0
vsize: 837944
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 12533
Raw data (stat): 12481 (java) R 12480 29618 29617 0 -1 0 18104 0 1 0 120395 85 0 0 25 0 11 0 837307624 858054656 33954 4294967295 134512640 134569956 3221224368 3221214664 1131491717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209486 33954 13086 16 0 209470 0
vsize: 837944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 12535
Raw data (stat): 12481 (java) Z 12480 29618 29617 0 -1 1036 18104 14739 1 0 120397 85 6225 49 25 0 1 0 837307624 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): 1270.21
CPU time (s): 1267.57
CPU user time (s): 1266.23
CPU system time (s): 1.3468
CPU usage (%): 99.7921
Max. virtual memory (Kb): 840688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####