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/unibo/normalized-mps-v2-20-10-van.opb
MD5SUM	d28d6112d880a2aec142bea33a4150fb
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	192
Biggest coefficient in the objective function	2427002644
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	319999999936
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	226795425792
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	973128929893
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	207.441
Number of variables	135360
Total number of constraints	39811
Number of constraints which are clauses	128
Number of constraints which are cardinality constraints (but not clauses)	195
Number of constraints which are nor clauses,nor cardinality constraints	39488
Minimum length of a constraint	1
Maximum length of a constraint	496
Trace number 29806

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        266152 kB
Buffers:         34404 kB
Cached:         712648 kB
SwapCached:        608 kB
Active:         245292 kB
Inactive:       504380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        265900 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            13172 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:00:19 (client local time) WITH STATUS 143 IN 1313.15 SECONDS
stats: 21192 7 1313.15 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-van.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) : 1309.115
#### 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.09 1.02 1.00 2/54 12438
Raw data (stat): 12438 (runsolver) R 12437 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780365627 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+9.99993 s]
Raw data (loadavg): 1.08 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 873 40 0 0 25 0 10 0 780365627 853827584 19464 4294967295 134512640 134569956 3221224368 3221214644 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 19464 13086 16 0 208438 0
vsize: 833816
[startup+20.0035 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 1764 40 0 0 24 0 10 0 780365627 853827584 20036 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 20036 13086 16 0 208438 0
vsize: 833816
[startup+30.0032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 2648 41 0 0 25 0 10 0 780365627 853827584 20580 4294967295 134512640 134569956 3221224368 3221213780 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 20580 13086 16 0 208438 0
vsize: 833816
[startup+40.003 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 3560 41 0 0 25 0 10 0 780365627 853893120 20931 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 20931 13086 16 0 208454 0
vsize: 833880
[startup+50.0037 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 4479 41 0 0 25 0 10 0 780365627 853893120 21134 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 21134 13086 16 0 208454 0
vsize: 833880
[startup+60.0034 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 5400 41 0 0 25 0 10 0 780365627 853893120 21284 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 21284 13086 16 0 208454 0
vsize: 833880
[startup+70.004 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 6322 42 0 0 25 0 10 0 780365627 853893120 21422 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 21422 13086 16 0 208454 0
vsize: 833880
[startup+80.0047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 7258 42 0 0 25 0 10 0 780365627 853893120 21617 4294967295 134512640 134569956 3221224368 3221214160 1076461499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 21617 13086 16 0 208454 0
vsize: 833880
[startup+90.0043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 8194 42 0 0 25 0 10 0 780365627 853893120 21729 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 21729 13086 16 0 208454 0
vsize: 833880
[startup+100.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 9130 42 0 0 25 0 10 0 780365627 853893120 21833 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 21833 13086 16 0 208454 0
vsize: 833880
[startup+110.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 10072 43 0 0 25 0 10 0 780365627 853893120 21923 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208470 21923 13086 16 0 208454 0
vsize: 833880
[startup+120.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 11011 43 0 0 25 0 10 0 780365627 853893120 22016 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22016 13086 16 0 208454 0
vsize: 833880
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 11950 43 0 0 25 0 10 0 780365627 853893120 22101 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22101 13086 16 0 208454 0
vsize: 833880
[startup+140.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 12889 44 0 0 25 0 10 0 780365627 853893120 22183 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22183 13086 16 0 208454 0
vsize: 833880
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 13830 44 0 0 25 0 10 0 780365627 853893120 22260 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22260 13086 16 0 208454 0
vsize: 833880
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 14770 45 0 0 25 0 10 0 780365627 853893120 22336 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22336 13086 16 0 208454 0
vsize: 833880
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 15711 45 0 0 25 0 10 0 780365627 853893120 22404 4294967295 134512640 134569956 3221224368 3221213376 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22404 13086 16 0 208454 0
vsize: 833880
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 16651 45 0 0 25 0 10 0 780365627 853893120 22472 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22472 13086 16 0 208454 0
vsize: 833880
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 17572 46 0 0 25 0 10 0 780365627 853893120 22539 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22539 13086 16 0 208454 0
vsize: 833880
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 18496 46 0 0 25 0 10 0 780365627 853893120 22764 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22764 13086 16 0 208454 0
vsize: 833880
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 19434 46 0 0 25 0 10 0 780365627 853893120 22827 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22827 13086 16 0 208454 0
vsize: 833880
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 20373 47 0 0 24 0 10 0 780365627 853893120 22890 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22890 13086 16 0 208454 0
vsize: 833880
[startup+230.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 21310 47 0 0 24 0 10 0 780365627 853893120 22949 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 22949 13086 16 0 208454 0
vsize: 833880
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 22250 48 0 0 25 0 10 0 780365627 853893120 23005 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23005 13086 16 0 208454 0
vsize: 833880
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 23188 48 0 0 25 0 10 0 780365627 853893120 23061 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23061 13086 16 0 208454 0
vsize: 833880
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 24124 49 0 0 25 0 10 0 780365627 853893120 23117 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23117 13086 16 0 208454 0
vsize: 833880
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 25060 50 0 0 25 0 10 0 780365627 853893120 23171 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23171 13086 16 0 208454 0
vsize: 833880
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 25996 51 0 0 25 0 10 0 780365627 853893120 23225 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23225 13086 16 0 208454 0
vsize: 833880
[startup+290.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 26931 51 0 0 25 0 10 0 780365627 853893120 23277 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23277 13086 16 0 208454 0
vsize: 833880
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 27867 52 0 0 25 0 10 0 780365627 853893120 23328 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23328 13086 16 0 208454 0
vsize: 833880
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 28802 52 0 0 25 0 10 0 780365627 853893120 23380 4294967295 134512640 134569956 3221224368 3221214772 1131203379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23380 13086 16 0 208454 0
vsize: 833880
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 29737 53 0 0 24 0 10 0 780365627 853893120 23429 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23429 13086 16 0 208454 0
vsize: 833880
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 30676 53 0 0 25 0 10 0 780365627 853893120 23474 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23474 13086 16 0 208454 0
vsize: 833880
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 31609 54 0 0 25 0 10 0 780365627 853893120 23522 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23522 13086 16 0 208454 0
vsize: 833880
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 32543 54 0 0 25 0 10 0 780365627 853893120 23569 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23569 13086 16 0 208454 0
vsize: 833880
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 33476 54 0 0 25 0 10 0 780365627 853893120 23621 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23621 13086 16 0 208454 0
vsize: 833880
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 34409 55 0 0 25 0 10 0 780365627 853893120 23666 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23666 13086 16 0 208454 0
vsize: 833880
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 35342 56 0 0 25 0 10 0 780365627 853893120 23711 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23711 13086 16 0 208454 0
vsize: 833880
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 36274 56 0 0 24 0 10 0 780365627 853893120 23755 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23755 13086 16 0 208454 0
vsize: 833880
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 37210 57 0 0 25 0 10 0 780365627 853893120 23796 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23796 13086 16 0 208454 0
vsize: 833880
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 38142 57 0 0 25 0 10 0 780365627 853893120 23839 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23839 13086 16 0 208454 0
vsize: 833880
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 39073 58 0 0 25 0 10 0 780365627 853893120 23883 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23883 13086 16 0 208454 0
vsize: 833880
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 40004 58 0 0 25 0 10 0 780365627 853893120 23925 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23925 13086 16 0 208454 0
vsize: 833880
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 40934 59 0 0 25 0 10 0 780365627 853893120 23966 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 23966 13086 16 0 208454 0
vsize: 833880
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 41865 59 0 0 25 0 10 0 780365627 853893120 24007 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24007 13086 16 0 208454 0
vsize: 833880
[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 42799 59 0 0 25 0 10 0 780365627 853893120 24045 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24045 13086 16 0 208454 0
vsize: 833880
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 43728 60 0 0 25 0 10 0 780365627 853893120 24085 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24085 13086 16 0 208454 0
vsize: 833880
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 44658 60 0 0 25 0 10 0 780365627 853893120 24125 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24125 13086 16 0 208454 0
vsize: 833880
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 45585 61 0 0 25 0 10 0 780365627 853893120 24164 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24164 13086 16 0 208454 0
vsize: 833880
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 46514 62 0 0 24 0 10 0 780365627 853893120 24203 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24203 13086 16 0 208454 0
vsize: 833880
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 47446 62 0 0 25 0 10 0 780365627 853893120 24239 4294967295 134512640 134569956 3221224368 3221214804 1131187239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24239 13086 16 0 208454 0
vsize: 833880
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 48373 62 0 0 25 0 10 0 780365627 853893120 24277 4294967295 134512640 134569956 3221224368 3221214336 1079668418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24277 13086 16 0 208454 0
vsize: 833880
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 49301 63 0 0 25 0 10 0 780365627 853893120 24314 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24314 13086 16 0 208454 0
vsize: 833880
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 50227 63 0 0 24 0 10 0 780365627 853893120 24352 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24352 13086 16 0 208454 0
vsize: 833880
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 51158 64 0 0 25 0 10 0 780365627 853893120 24387 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24387 13086 16 0 208454 0
vsize: 833880
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 52083 65 0 0 25 0 10 0 780365627 853893120 24424 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24424 13086 16 0 208454 0
vsize: 833880
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 53009 65 0 0 25 0 10 0 780365627 853893120 24460 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24460 13086 16 0 208454 0
vsize: 833880
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 53933 66 0 0 24 0 10 0 780365627 853893120 24496 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24496 13086 16 0 208454 0
vsize: 833880
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 54863 66 0 0 25 0 10 0 780365627 853893120 24529 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24529 13086 16 0 208454 0
vsize: 833880
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 55788 66 0 0 25 0 10 0 780365627 853893120 24564 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24564 13086 16 0 208454 0
vsize: 833880
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 56711 67 0 0 24 0 10 0 780365627 853893120 24599 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24599 13086 16 0 208454 0
vsize: 833880
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 57640 67 0 0 25 0 10 0 780365627 853893120 24632 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24632 13086 16 0 208454 0
vsize: 833880
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 58562 68 0 0 25 0 10 0 780365627 853893120 24666 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24666 13086 16 0 208454 0
vsize: 833880
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 59485 68 0 0 24 0 10 0 780365627 853893120 24700 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24700 13086 16 0 208454 0
vsize: 833880
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 60413 68 0 0 25 0 10 0 780365627 853893120 24732 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24732 13086 16 0 208454 0
vsize: 833880
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 61335 69 0 0 25 0 10 0 780365627 853893120 24765 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24765 13086 16 0 208454 0
vsize: 833880
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 62262 69 0 0 25 0 10 0 780365627 853893120 24796 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24796 13086 16 0 208454 0
vsize: 833880
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 63184 70 0 0 25 0 10 0 780365627 853893120 24829 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24829 13086 16 0 208454 0
vsize: 833880
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 64105 71 0 0 25 0 10 0 780365627 853893120 24862 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 24862 13086 16 0 208454 0
vsize: 833880
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 65028 71 0 0 25 0 10 0 780365627 853893120 25335 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25335 13086 16 0 208454 0
vsize: 833880
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 65947 72 0 0 25 0 10 0 780365627 853893120 25335 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25335 13086 16 0 208454 0
vsize: 833880
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 66864 73 0 0 25 0 10 0 780365627 853893120 25359 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25359 13086 16 0 208454 0
vsize: 833880
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 67776 73 0 0 24 0 10 0 780365627 853893120 25391 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25391 13086 16 0 208454 0
vsize: 833880
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 68692 74 0 0 25 0 10 0 780365627 853893120 25421 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25421 13086 16 0 208454 0
vsize: 833880
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 69609 74 0 0 25 0 10 0 780365627 853893120 25450 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25450 13086 16 0 208454 0
vsize: 833880
[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 70519 75 0 0 25 0 10 0 780365627 853893120 25482 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25482 13086 16 0 208454 0
vsize: 833880
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 71435 75 0 0 25 0 10 0 780365627 853893120 25511 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25511 13086 16 0 208454 0
vsize: 833880
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 72344 76 0 0 25 0 10 0 780365627 853893120 25542 4294967295 134512640 134569956 3221224368 3221214048 1077559891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25542 13086 16 0 208454 0
vsize: 833880
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 73259 76 0 0 25 0 10 0 780365627 853893120 25571 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25571 13086 16 0 208454 0
vsize: 833880
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 74172 77 0 0 25 0 10 0 780365627 853893120 25599 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25599 13086 16 0 208454 0
vsize: 833880
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 75081 77 0 0 25 0 10 0 780365627 853893120 25629 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25629 13086 16 0 208454 0
vsize: 833880
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 75993 77 0 0 25 0 10 0 780365627 853893120 25657 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25657 13086 16 0 208454 0
vsize: 833880
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 76907 78 0 0 25 0 10 0 780365627 853893120 25685 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25685 13086 16 0 208454 0
vsize: 833880
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 77815 78 0 0 25 0 10 0 780365627 853893120 25715 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25715 13086 16 0 208454 0
vsize: 833880
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 78728 78 0 0 25 0 10 0 780365627 853893120 25742 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25742 13086 16 0 208454 0
vsize: 833880
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 79638 79 0 0 25 0 10 0 780365627 853893120 25770 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25770 13086 16 0 208454 0
vsize: 833880
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 80546 80 0 0 25 0 10 0 780365627 853893120 25799 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25799 13086 16 0 208454 0
vsize: 833880
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 81459 81 0 0 25 0 10 0 780365627 853893120 25826 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25826 13086 16 0 208454 0
vsize: 833880
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 82371 82 0 0 25 0 10 0 780365627 853893120 25853 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25853 13086 16 0 208454 0
vsize: 833880
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 83275 82 0 0 24 0 10 0 780365627 853893120 25881 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25881 13086 16 0 208454 0
vsize: 833880
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 84186 83 0 0 25 0 10 0 780365627 853893120 25908 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25908 13086 16 0 208454 0
vsize: 833880
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 85098 83 0 0 25 0 10 0 780365627 853893120 25934 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25934 13086 16 0 208454 0
vsize: 833880
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 86005 83 0 0 25 0 10 0 780365627 853893120 25961 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25961 13086 16 0 208454 0
vsize: 833880
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 86913 84 0 0 24 0 10 0 780365627 853893120 25989 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 25989 13086 16 0 208454 0
vsize: 833880
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 87823 85 0 0 21 0 10 0 780365627 853893120 26016 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26016 13086 16 0 208454 0
vsize: 833880
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 88734 85 0 0 22 0 10 0 780365627 853893120 26042 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26042 13086 16 0 208454 0
vsize: 833880
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 89644 86 0 0 24 0 10 0 780365627 853893120 26067 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26067 13086 16 0 208454 0
vsize: 833880
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 90547 86 0 0 19 0 10 0 780365627 853893120 26095 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26095 13086 16 0 208454 0
vsize: 833880
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 91456 86 0 0 20 0 10 0 780365627 853893120 26120 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26120 13086 16 0 208454 0
vsize: 833880
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 92362 87 0 0 23 0 10 0 780365627 853893120 26146 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26146 13086 16 0 208454 0
vsize: 833880
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 93269 87 0 0 23 0 10 0 780365627 853893120 26171 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208470 26171 13086 16 0 208454 0
vsize: 833880
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 94171 88 0 0 19 0 10 0 780365627 853893120 26198 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26198 13086 16 0 208454 0
vsize: 833880
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 95079 88 0 0 19 0 10 0 780365627 853893120 26223 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26223 13086 16 0 208454 0
vsize: 833880
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 95987 88 0 0 21 0 10 0 780365627 853893120 26247 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26247 13086 16 0 208454 0
vsize: 833880
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 96894 89 0 0 22 0 10 0 780365627 853893120 26272 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26272 13086 16 0 208454 0
vsize: 833880
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 97802 89 0 0 24 0 10 0 780365627 853893120 26297 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26297 13086 16 0 208454 0
vsize: 833880
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 98702 89 0 0 19 0 10 0 780365627 853893120 26323 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26323 13086 16 0 208454 0
vsize: 833880
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 99608 90 0 0 19 0 10 0 780365627 853893120 26347 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26347 13086 16 0 208454 0
vsize: 833880
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 100514 90 0 0 20 0 10 0 780365627 853893120 26372 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26372 13086 16 0 208454 0
vsize: 833880
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 101421 91 0 0 22 0 10 0 780365627 853893120 26396 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26396 13086 16 0 208454 0
vsize: 833880
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 102326 91 0 0 22 0 10 0 780365627 853893120 26420 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26420 13086 16 0 208454 0
vsize: 833880
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 103229 91 0 0 23 0 10 0 780365627 853893120 26444 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26444 13086 16 0 208454 0
vsize: 833880
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) S 12437 1269 1268 0 -1 0 18027 0 1 0 104129 92 0 0 23 0 10 0 780365627 853893120 26468 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26468 13086 16 0 208454 0
vsize: 833880
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 105032 93 0 0 19 0 10 0 780365627 853893120 26493 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26493 13086 16 0 208454 0
vsize: 833880
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 105937 94 0 0 20 0 10 0 780365627 853893120 26518 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26518 13086 16 0 208454 0
vsize: 833880
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 106841 94 0 0 20 0 10 0 780365627 853893120 26542 4294967295 134512640 134569956 3221224368 3221214668 1079677981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26542 13086 16 0 208454 0
vsize: 833880
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 107746 95 0 0 21 0 10 0 780365627 853893120 26565 4294967295 134512640 134569956 3221224368 3221214164 1077559820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26565 13086 16 0 208454 0
vsize: 833880
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 108651 95 0 0 22 0 10 0 780365627 853893120 26589 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26589 13086 16 0 208454 0
vsize: 833880
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 109554 96 0 0 23 0 10 0 780365627 853893120 26612 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208470 26612 13086 16 0 208454 0
vsize: 833880
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 110452 96 0 0 18 0 10 0 780365627 853893120 26636 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26636 13086 16 0 208454 0
vsize: 833880
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 111354 96 0 0 19 0 10 0 780365627 853893120 26659 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26659 13086 16 0 208454 0
vsize: 833880
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 112257 97 0 0 19 0 10 0 780365627 853893120 26682 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26682 13086 16 0 208454 0
vsize: 833880
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 113160 97 0 0 19 0 10 0 780365627 853893120 26705 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26705 13086 16 0 208454 0
vsize: 833880
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 114062 98 0 0 20 0 10 0 780365627 853893120 26727 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26727 13086 16 0 208454 0
vsize: 833880
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 114965 98 0 0 20 0 10 0 780365627 853893120 26750 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26750 13086 16 0 208454 0
vsize: 833880
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 115868 99 0 0 22 0 10 0 780365627 853893120 26772 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26772 13086 16 0 208454 0
vsize: 833880
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 116771 99 0 0 22 0 10 0 780365627 853893120 26803 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26803 13086 16 0 208454 0
vsize: 833880
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 117672 100 0 0 22 0 10 0 780365627 853893120 26830 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26830 13086 16 0 208454 0
vsize: 833880
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12447
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 118575 100 0 0 21 0 10 0 780365627 853893120 26859 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26859 13086 16 0 208454 0
vsize: 833880
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 12486
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 119474 102 0 0 21 0 10 0 780365627 853893120 26884 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208470 26884 13086 16 0 208454 0
vsize: 833880
[startup+1310.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12500
Raw data (stat): 12438 (java) R 12437 1269 1268 0 -1 0 18027 0 1 0 120374 105 0 0 21 0 10 0 780365627 853893120 26909 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208470 26909 13086 16 0 208454 0
vsize: 833880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12502
Raw data (stat): 12438 (java) Z 12437 1269 1268 0 -1 1036 18027 9524 1 0 120375 110 10782 45 23 0 1 0 780365627 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): 1310.14
CPU time (s): 1313.15
CPU user time (s): 1311.58
CPU system time (s): 1.56076
CPU usage (%): 100.229
Max. virtual memory (Kb): 833880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####