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/fctp/normalized-mps-v2-20-10-n3705.opb
MD5SUM	8eea845826d64e6d5753fad916c185c9
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29593306649763
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29593306649763
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43278
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29691

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 10:30:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21095 boxname=wulflinc13 idbench=1083 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8eea845826d64e6d5753fad916c185c9  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3705.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3705.opb
IDLAUNCH: 21095
/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:        634232 kB
Buffers:         34356 kB
Cached:         345020 kB
SwapCached:        608 kB
Active:          79204 kB
Inactive:       302812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        633980 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12680 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:52:49 (client local time) WITH STATUS 143 IN 1309.94 SECONDS
stats: 21095 7 1309.94 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-n3705.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.246
#### 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.01 1.00 1.00 2/54 12072
Raw data (stat): 12072 (runsolver) R 12071 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779960535 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18020 0 1 0 872 38 0 0 25 0 10 0 779960535 853843968 19353 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208458 19353 13086 16 0 208442 0
vsize: 833832
[startup+20.0048 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 1766 38 0 0 25 0 10 0 779960535 855187456 20154 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208786 20154 13086 16 0 208770 0
vsize: 835144
[startup+30.0045 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 2659 38 0 0 25 0 10 0 779960535 853712896 20337 4294967295 134512640 134569956 3221224368 3221214532 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208426 20337 13086 16 0 208410 0
vsize: 833704
[startup+40.0051 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 3571 39 0 0 25 0 10 0 779960535 853950464 20686 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 20686 13086 16 0 208468 0
vsize: 833936
[startup+50.0058 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 4488 39 0 0 24 0 10 0 779960535 853950464 20854 4294967295 134512640 134569956 3221224368 3221214768 1131244288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 20854 13086 16 0 208468 0
vsize: 833936
[startup+60.0057 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 5407 39 0 0 25 0 10 0 779960535 853950464 20976 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208484 20976 13086 16 0 208468 0
vsize: 833936
[startup+70.0062 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 6334 40 0 0 25 0 10 0 779960535 853880832 21206 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21206 13086 16 0 208451 0
vsize: 833868
[startup+80.0068 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 7271 41 0 0 25 0 10 0 779960535 853880832 21307 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21307 13086 16 0 208451 0
vsize: 833868
[startup+90.0074 s]
Raw data (loadavg): 1.10 1.03 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 8210 41 0 0 24 0 10 0 779960535 853880832 21399 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21399 13086 16 0 208451 0
vsize: 833868
[startup+100.008 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 9153 42 0 0 25 0 10 0 779960535 853880832 21480 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21480 13086 16 0 208451 0
vsize: 833868
[startup+110.009 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 10093 42 0 0 25 0 10 0 779960535 853880832 21560 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 21560 13086 16 0 208451 0
vsize: 833868
[startup+120.01 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 11034 43 0 0 25 0 10 0 779960535 853880832 21636 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21636 13086 16 0 208451 0
vsize: 833868
[startup+130.01 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 11975 44 0 0 25 0 10 0 779960535 853880832 21707 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21707 13086 16 0 208451 0
vsize: 833868
[startup+140.01 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 12916 44 0 0 25 0 10 0 779960535 853880832 21775 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21775 13086 16 0 208451 0
vsize: 833868
[startup+150.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 13860 45 0 0 25 0 10 0 779960535 853880832 21836 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21836 13086 16 0 208451 0
vsize: 833868
[startup+160.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 14801 45 0 0 25 0 10 0 779960535 853880832 21899 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 21899 13086 16 0 208451 0
vsize: 833868
[startup+170.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 15734 46 0 0 25 0 10 0 779960535 853880832 21959 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 21959 13086 16 0 208451 0
vsize: 833868
[startup+180.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 16650 46 0 0 25 0 10 0 779960535 853880832 22014 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22014 13086 16 0 208451 0
vsize: 833868
[startup+190.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 17571 47 0 0 25 0 10 0 779960535 853880832 22327 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22327 13086 16 0 208451 0
vsize: 833868
[startup+200.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 18509 47 0 0 25 0 10 0 779960535 853880832 22382 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22382 13086 16 0 208451 0
vsize: 833868
[startup+210.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 19449 47 0 0 25 0 10 0 779960535 853880832 22432 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22432 13086 16 0 208451 0
vsize: 833868
[startup+220.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 20387 48 0 0 25 0 10 0 779960535 853880832 22484 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22484 13086 16 0 208451 0
vsize: 833868
[startup+230.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 21323 48 0 0 25 0 10 0 779960535 853880832 22534 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22534 13086 16 0 208451 0
vsize: 833868
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 22260 48 0 0 25 0 10 0 779960535 853880832 22583 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22583 13086 16 0 208451 0
vsize: 833868
[startup+250.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 23199 49 0 0 25 0 10 0 779960535 853880832 22629 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22629 13086 16 0 208451 0
vsize: 833868
[startup+260.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 24134 49 0 0 25 0 10 0 779960535 853880832 22676 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22676 13086 16 0 208451 0
vsize: 833868
[startup+270.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 25069 50 0 0 25 0 10 0 779960535 853880832 22723 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22723 13086 16 0 208451 0
vsize: 833868
[startup+280.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 26006 50 0 0 25 0 10 0 779960535 853880832 22767 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22767 13086 16 0 208451 0
vsize: 833868
[startup+290.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 26942 51 0 0 25 0 10 0 779960535 853880832 22811 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22811 13086 16 0 208451 0
vsize: 833868
[startup+300.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 27875 51 0 0 25 0 10 0 779960535 853880832 22855 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22855 13086 16 0 208451 0
vsize: 833868
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 28811 51 0 0 25 0 10 0 779960535 853880832 22896 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22896 13086 16 0 208451 0
vsize: 833868
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 29746 52 0 0 22 0 10 0 779960535 853880832 22938 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22938 13086 16 0 208451 0
vsize: 833868
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 30678 52 0 0 25 0 10 0 779960535 853880832 22980 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 22980 13086 16 0 208451 0
vsize: 833868
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 31614 52 0 0 25 0 10 0 779960535 853880832 23019 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23019 13086 16 0 208451 0
vsize: 833868
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 32545 53 0 0 25 0 10 0 779960535 853880832 23059 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23059 13086 16 0 208451 0
vsize: 833868
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 33475 53 0 0 25 0 10 0 779960535 853880832 23099 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23099 13086 16 0 208451 0
vsize: 833868
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 34410 54 0 0 25 0 10 0 779960535 853880832 23137 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23137 13086 16 0 208451 0
vsize: 833868
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 35340 54 0 0 25 0 10 0 779960535 853880832 23176 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23176 13086 16 0 208451 0
vsize: 833868
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 36274 55 0 0 25 0 10 0 779960535 853880832 23212 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23212 13086 16 0 208451 0
vsize: 833868
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 37202 56 0 0 25 0 10 0 779960535 853880832 23250 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23250 13086 16 0 208451 0
vsize: 833868
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 38135 56 0 0 25 0 10 0 779960535 853880832 23285 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23285 13086 16 0 208451 0
vsize: 833868
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 39064 56 0 0 25 0 10 0 779960535 853880832 23321 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23321 13086 16 0 208451 0
vsize: 833868
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 39994 57 0 0 25 0 10 0 779960535 853880832 23356 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23356 13086 16 0 208451 0
vsize: 833868
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 40923 57 0 0 25 0 10 0 779960535 853880832 23391 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23391 13086 16 0 208451 0
vsize: 833868
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 41855 58 0 0 25 0 10 0 779960535 853880832 23424 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23424 13086 16 0 208451 0
vsize: 833868
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 42782 58 0 0 25 0 10 0 779960535 853880832 23460 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23460 13086 16 0 208451 0
vsize: 833868
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 43712 59 0 0 25 0 10 0 779960535 853880832 23492 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23492 13086 16 0 208451 0
vsize: 833868
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 44638 59 0 0 25 0 10 0 779960535 853880832 23526 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23526 13086 16 0 208451 0
vsize: 833868
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 45567 60 0 0 25 0 10 0 779960535 853880832 23558 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23558 13086 16 0 208451 0
vsize: 833868
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 46492 61 0 0 25 0 10 0 779960535 853880832 23592 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23592 13086 16 0 208451 0
vsize: 833868
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 47420 61 0 0 25 0 10 0 779960535 853880832 23624 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23624 13086 16 0 208451 0
vsize: 833868
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 48344 62 0 0 25 0 10 0 779960535 853880832 23657 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23657 13086 16 0 208451 0
vsize: 833868
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 49273 62 0 0 25 0 10 0 779960535 853880832 23687 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23687 13086 16 0 208451 0
vsize: 833868
[startup+540.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 50197 63 0 0 24 0 10 0 779960535 853880832 23719 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23719 13086 16 0 208451 0
vsize: 833868
[startup+550.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 51124 63 0 0 25 0 10 0 779960535 853880832 23749 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23749 13086 16 0 208451 0
vsize: 833868
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 52051 64 0 0 25 0 10 0 779960535 853880832 23779 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23779 13086 16 0 208451 0
vsize: 833868
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 52973 64 0 0 25 0 10 0 779960535 853880832 23810 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23810 13086 16 0 208451 0
vsize: 833868
[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 53899 65 0 0 25 0 10 0 779960535 853880832 23839 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 23839 13086 16 0 208451 0
vsize: 833868
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 54825 65 0 0 25 0 10 0 779960535 853880832 23868 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23868 13086 16 0 208451 0
vsize: 833868
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 55746 65 0 0 25 0 10 0 779960535 853880832 23899 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23899 13086 16 0 208451 0
vsize: 833868
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 56672 65 0 0 25 0 10 0 779960535 853880832 23927 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23927 13086 16 0 208451 0
vsize: 833868
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 57598 65 0 0 25 0 10 0 779960535 853880832 23955 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23955 13086 16 0 208451 0
vsize: 833868
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 58523 66 0 0 25 0 10 0 779960535 853880832 23983 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 23983 13086 16 0 208451 0
vsize: 833868
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 59447 66 0 0 25 0 10 0 779960535 853880832 24011 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 24011 13086 16 0 208451 0
vsize: 833868
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 60370 66 0 0 25 0 10 0 779960535 853880832 24040 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 24040 13086 16 0 208451 0
vsize: 833868
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 61287 66 0 0 25 0 10 0 779960535 853880832 24980 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 24980 13086 16 0 208451 0
vsize: 833868
[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 62214 66 0 0 25 0 10 0 779960535 853880832 24982 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 24982 13086 16 0 208451 0
vsize: 833868
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 63131 66 0 0 25 0 10 0 779960535 853880832 24990 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 24990 13086 16 0 208451 0
vsize: 833868
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 64046 66 0 0 25 0 10 0 779960535 853880832 25018 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25018 13086 16 0 208451 0
vsize: 833868
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 64961 66 0 0 25 0 10 0 779960535 853880832 25044 4294967295 134512640 134569956 3221224368 3221214320 1079668498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25044 13086 16 0 208451 0
vsize: 833868
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 65874 66 0 0 25 0 10 0 779960535 853880832 25070 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25070 13086 16 0 208451 0
vsize: 833868
[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 66788 66 0 0 25 0 10 0 779960535 853880832 25097 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25097 13086 16 0 208451 0
vsize: 833868
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 67700 67 0 0 25 0 10 0 779960535 853880832 25122 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25122 13086 16 0 208451 0
vsize: 833868
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 68612 67 0 0 25 0 10 0 779960535 853880832 25148 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25148 13086 16 0 208451 0
vsize: 833868
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 69523 68 0 0 25 0 10 0 779960535 853880832 25174 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25174 13086 16 0 208451 0
vsize: 833868
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 70432 68 0 0 25 0 10 0 779960535 853880832 25200 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25200 13086 16 0 208451 0
vsize: 833868
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 71341 69 0 0 25 0 10 0 779960535 853880832 25225 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25225 13086 16 0 208451 0
vsize: 833868
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 72249 70 0 0 24 0 10 0 779960535 853880832 25251 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25251 13086 16 0 208451 0
vsize: 833868
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 73159 71 0 0 25 0 10 0 779960535 853880832 25276 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25276 13086 16 0 208451 0
vsize: 833868
[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 74068 72 0 0 24 0 10 0 779960535 853880832 25301 4294967295 134512640 134569956 3221224368 3221214756 1080204153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25301 13086 16 0 208451 0
vsize: 833868
[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 74977 72 0 0 24 0 10 0 779960535 853880832 25325 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25325 13086 16 0 208451 0
vsize: 833868
[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 75886 72 0 0 25 0 10 0 779960535 853880832 25348 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25348 13086 16 0 208451 0
vsize: 833868
[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 76795 73 0 0 25 0 10 0 779960535 853880832 25373 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25373 13086 16 0 208451 0
vsize: 833868
[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 77706 73 0 0 25 0 10 0 779960535 853880832 25396 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25396 13086 16 0 208451 0
vsize: 833868
[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 78615 73 0 0 25 0 10 0 779960535 853880832 25420 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25420 13086 16 0 208451 0
vsize: 833868
[startup+860.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 79524 74 0 0 25 0 10 0 779960535 853880832 25444 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25444 13086 16 0 208451 0
vsize: 833868
[startup+870.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 80431 74 0 0 24 0 10 0 779960535 853880832 25468 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25468 13086 16 0 208451 0
vsize: 833868
[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 81338 74 0 0 23 0 10 0 779960535 853880832 25492 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25492 13086 16 0 208451 0
vsize: 833868
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 82245 74 0 0 22 0 10 0 779960535 853880832 25515 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25515 13086 16 0 208451 0
vsize: 833868
[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 83152 75 0 0 21 0 10 0 779960535 853880832 25539 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25539 13086 16 0 208451 0
vsize: 833868
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 84059 75 0 0 22 0 10 0 779960535 853880832 25566 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25566 13086 16 0 208451 0
vsize: 833868
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 84965 75 0 0 21 0 10 0 779960535 853880832 25594 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25594 13086 16 0 208451 0
vsize: 833868
[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 85870 76 0 0 19 0 10 0 779960535 853880832 25616 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25616 13086 16 0 208451 0
vsize: 833868
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 86775 76 0 0 19 0 10 0 779960535 853880832 25647 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25647 13086 16 0 208451 0
vsize: 833868
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 87680 77 0 0 19 0 10 0 779960535 853880832 25674 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25674 13086 16 0 208451 0
vsize: 833868
[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 88589 77 0 0 23 0 10 0 779960535 853880832 25698 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25698 13086 16 0 208451 0
vsize: 833868
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 89493 78 0 0 23 0 10 0 779960535 853880832 25724 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25724 13086 16 0 208451 0
vsize: 833868
[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 90398 78 0 0 22 0 10 0 779960535 853880832 25748 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25748 13086 16 0 208451 0
vsize: 833868
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 91302 78 0 0 21 0 10 0 779960535 853880832 25776 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25776 13086 16 0 208451 0
vsize: 833868
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 92206 78 0 0 19 0 10 0 779960535 853880832 25800 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 25800 13086 16 0 208451 0
vsize: 833868
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 93110 79 0 0 19 0 10 0 779960535 853880832 25822 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25822 13086 16 0 208451 0
vsize: 833868
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 94012 79 0 0 19 0 10 0 779960535 853880832 25854 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25854 13086 16 0 208451 0
vsize: 833868
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 94921 80 0 0 23 0 10 0 779960535 853880832 25875 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25875 13086 16 0 208451 0
vsize: 833868
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 95824 80 0 0 23 0 10 0 779960535 853880832 25897 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25897 13086 16 0 208451 0
vsize: 833868
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 96726 81 0 0 21 0 10 0 779960535 853880832 25928 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25928 13086 16 0 208451 0
vsize: 833868
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 97626 81 0 0 21 0 10 0 779960535 853880832 25953 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25953 13086 16 0 208451 0
vsize: 833868
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 98525 81 0 0 19 0 10 0 779960535 853880832 25979 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25979 13086 16 0 208451 0
vsize: 833868
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 99432 82 0 0 23 0 10 0 779960535 853880832 25998 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 25998 13086 16 0 208451 0
vsize: 833868
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 100333 82 0 0 22 0 10 0 779960535 853880832 26025 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26025 13086 16 0 208451 0
vsize: 833868
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 101233 83 0 0 21 0 10 0 779960535 853880832 26050 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26050 13086 16 0 208451 0
vsize: 833868
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 102133 84 0 0 19 0 10 0 779960535 853880832 26075 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26075 13086 16 0 208451 0
vsize: 833868
[startup+1120.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 103037 85 0 0 24 0 10 0 779960535 853880832 26097 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26097 13086 16 0 208451 0
vsize: 833868
[startup+1130.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 103938 85 0 0 23 0 10 0 779960535 853880832 26123 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26123 13086 16 0 208451 0
vsize: 833868
[startup+1140.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 104837 86 0 0 20 0 10 0 779960535 853880832 26144 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26144 13086 16 0 208451 0
vsize: 833868
[startup+1150.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 105736 86 0 0 18 0 10 0 779960535 853880832 26171 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26171 13086 16 0 208451 0
vsize: 833868
[startup+1160.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 106639 87 0 0 23 0 10 0 779960535 853880832 26194 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26194 13086 16 0 208451 0
vsize: 833868
[startup+1170.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 107541 87 0 0 22 0 10 0 779960535 853880832 26216 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26216 13086 16 0 208451 0
vsize: 833868
[startup+1180.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 108450 88 0 0 21 0 10 0 779960535 853880832 26241 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26241 13086 16 0 208451 0
vsize: 833868
[startup+1190.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 109346 88 0 0 19 0 10 0 779960535 853880832 26266 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26266 13086 16 0 208451 0
vsize: 833868
[startup+1200.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) S 12071 1269 1268 0 -1 0 18021 0 1 0 110242 88 0 0 23 0 10 0 779960535 853880832 26288 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26288 13086 16 0 208451 0
vsize: 833868
[startup+1210.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 111144 89 0 0 21 0 10 0 779960535 853880832 26310 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26310 13086 16 0 208451 0
vsize: 833868
[startup+1220.19 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 112041 89 0 0 20 0 10 0 779960535 853880832 26332 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26332 13086 16 0 208451 0
vsize: 833868
[startup+1230.19 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 112939 89 0 0 18 0 10 0 779960535 853880832 26352 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26352 13086 16 0 208451 0
vsize: 833868
[startup+1240.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 113843 90 0 0 21 0 10 0 779960535 853880832 26370 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208467 26370 13086 16 0 208451 0
vsize: 833868
[startup+1250.2 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 114739 90 0 0 20 0 10 0 779960535 853880832 26403 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26403 13086 16 0 208451 0
vsize: 833868
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 115636 90 0 0 18 0 10 0 779960535 853880832 26422 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26422 13086 16 0 208451 0
vsize: 833868
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 116540 90 0 0 22 0 10 0 779960535 853880832 26455 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26455 13086 16 0 208451 0
vsize: 833868
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 117438 91 0 0 21 0 10 0 779960535 853880832 26467 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26467 13086 16 0 208451 0
vsize: 833868
[startup+1290.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 118337 92 0 0 20 0 10 0 779960535 853880832 26497 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26497 13086 16 0 208451 0
vsize: 833868
[startup+1300.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 119239 92 0 0 19 0 10 0 779960535 853880832 26524 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26524 13086 16 0 208451 0
vsize: 833868
[startup+1310.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12081
Raw data (stat): 12072 (java) R 12071 1269 1268 0 -1 0 18021 0 1 0 120148 92 0 0 23 0 10 0 779960535 853880832 26544 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208467 26544 13086 16 0 208451 0
vsize: 833868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.31 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12083
Raw data (stat): 12072 (java) Z 12071 1269 1268 0 -1 1036 18021 8154 1 0 120153 92 10705 42 24 0 1 0 779960535 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.31
CPU time (s): 1309.94
CPU user time (s): 1308.59
CPU system time (s): 1.34879
CPU usage (%): 99.9718
Max. virtual memory (Kb): 835144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####