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/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
Bench Category	optimization, medium integers (OPTMEDINT)
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	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.13683
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 29669

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 10:10:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21065 boxname=wulflinc7 idbench=1053 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 21065
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        697800 kB
Buffers:         26492 kB
Cached:         289700 kB
SwapCached:        756 kB
Active:          72264 kB
Inactive:       246116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        697548 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            12708 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:32:34 (client local time) WITH STATUS 143 IN 1309.57 SECONDS
stats: 21065 7 1309.57 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-nw04.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.089
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 8128
Raw data (stat): 8128 (runsolver) R 8127 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779840713 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18014 0 1 0 882 38 0 0 25 0 10 0 779840713 853630976 19295 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208406 19295 13086 16 0 208390 0
vsize: 833624
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 1778 38 0 0 25 0 10 0 779840713 854601728 19996 4294967295 134512640 134569956 3221224368 3221214648 1131184605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208643 19996 13086 16 0 208627 0
vsize: 834572
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 2666 38 0 0 25 0 10 0 779840713 853630976 20301 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20301 13086 16 0 208390 0
vsize: 833624
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 3580 39 0 0 25 0 10 0 779840713 853966848 20675 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208488 20675 13086 16 0 208472 0
vsize: 833952
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 4501 39 0 0 25 0 10 0 779840713 853966848 20837 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208488 20837 13086 16 0 208472 0
vsize: 833952
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 5415 39 0 0 23 0 10 0 779840713 853966848 20971 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208488 20971 13086 16 0 208472 0
vsize: 833952
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 6344 40 0 0 25 0 10 0 779840713 853733376 21157 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21157 13086 16 0 208415 0
vsize: 833724
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 7281 40 0 0 25 0 10 0 779840713 853733376 21261 4294967295 134512640 134569956 3221224368 3221213968 1077101153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21261 13086 16 0 208415 0
vsize: 833724
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 8221 40 0 0 25 0 10 0 779840713 853733376 21356 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21356 13086 16 0 208415 0
vsize: 833724
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 9163 41 0 0 25 0 10 0 779840713 853733376 21439 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21439 13086 16 0 208415 0
vsize: 833724
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 10104 41 0 0 25 0 10 0 779840713 853733376 21521 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21521 13086 16 0 208415 0
vsize: 833724
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 11043 42 0 0 25 0 10 0 779840713 853733376 21600 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21600 13086 16 0 208415 0
vsize: 833724
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 11987 42 0 0 25 0 10 0 779840713 853733376 21669 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21669 13086 16 0 208415 0
vsize: 833724
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 12928 43 0 0 25 0 10 0 779840713 853733376 21739 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21739 13086 16 0 208415 0
vsize: 833724
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 13869 43 0 0 17 0 10 0 779840713 853733376 21806 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21806 13086 16 0 208415 0
vsize: 833724
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 14814 44 0 0 25 0 10 0 779840713 853733376 21867 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21867 13086 16 0 208415 0
vsize: 833724
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 15750 44 0 0 25 0 10 0 779840713 853733376 21929 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21929 13086 16 0 208415 0
vsize: 833724
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 16666 45 0 0 25 0 10 0 779840713 853733376 21985 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 21985 13086 16 0 208415 0
vsize: 833724
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 17588 46 0 0 25 0 10 0 779840713 853733376 22297 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22297 13086 16 0 208415 0
vsize: 833724
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 18526 46 0 0 25 0 10 0 779840713 853733376 22353 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22353 13086 16 0 208415 0
vsize: 833724
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 19464 46 0 0 24 0 10 0 779840713 853733376 22408 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22408 13086 16 0 208415 0
vsize: 833724
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 20405 47 0 0 25 0 10 0 779840713 853733376 22458 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22458 13086 16 0 208415 0
vsize: 833724
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 21342 47 0 0 25 0 10 0 779840713 853733376 22510 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22510 13086 16 0 208415 0
vsize: 833724
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 22281 48 0 0 25 0 10 0 779840713 853733376 22559 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22559 13086 16 0 208415 0
vsize: 833724
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 23216 49 0 0 25 0 10 0 779840713 853733376 22608 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22608 13086 16 0 208415 0
vsize: 833724
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 24156 49 0 0 25 0 10 0 779840713 853733376 22654 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22654 13086 16 0 208415 0
vsize: 833724
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 25091 50 0 0 25 0 10 0 779840713 853733376 22701 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22701 13086 16 0 208415 0
vsize: 833724
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 26025 50 0 0 25 0 10 0 779840713 853733376 22746 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22746 13086 16 0 208415 0
vsize: 833724
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 26962 51 0 0 25 0 10 0 779840713 853733376 22791 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22791 13086 16 0 208415 0
vsize: 833724
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 27895 52 0 0 24 0 10 0 779840713 853733376 22835 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22835 13086 16 0 208415 0
vsize: 833724
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 28832 52 0 0 25 0 10 0 779840713 853733376 22877 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 22877 13086 16 0 208415 0
vsize: 833724
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 29765 52 0 0 25 0 10 0 779840713 853733376 22920 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22920 13086 16 0 208415 0
vsize: 833724
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 30702 53 0 0 25 0 10 0 779840713 853733376 22960 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 22960 13086 16 0 208415 0
vsize: 833724
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 31633 53 0 0 24 0 10 0 779840713 853733376 23001 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23001 13086 16 0 208415 0
vsize: 833724
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 32570 53 0 0 25 0 10 0 779840713 853733376 23040 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23040 13086 16 0 208415 0
vsize: 833724
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 33501 54 0 0 24 0 10 0 779840713 853733376 23081 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23081 13086 16 0 208415 0
vsize: 833724
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 34435 54 0 0 25 0 10 0 779840713 853733376 23119 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23119 13086 16 0 208415 0
vsize: 833724
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 35369 55 0 0 25 0 10 0 779840713 853733376 23156 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23156 13086 16 0 208415 0
vsize: 833724
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 36299 55 0 0 25 0 10 0 779840713 853733376 23195 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23195 13086 16 0 208415 0
vsize: 833724
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 37233 56 0 0 25 0 10 0 779840713 853733376 23231 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23231 13086 16 0 208415 0
vsize: 833724
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 38162 56 0 0 25 0 10 0 779840713 853733376 23268 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 23268 13086 16 0 208415 0
vsize: 833724
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 39094 57 0 0 25 0 10 0 779840713 853733376 23303 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23303 13086 16 0 208415 0
vsize: 833724
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 40022 57 0 0 24 0 10 0 779840713 853733376 23340 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23340 13086 16 0 208415 0
vsize: 833724
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 40954 58 0 0 25 0 10 0 779840713 853733376 23374 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23374 13086 16 0 208415 0
vsize: 833724
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 41885 58 0 0 25 0 10 0 779840713 853733376 23408 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23408 13086 16 0 208415 0
vsize: 833724
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 42812 59 0 0 25 0 10 0 779840713 853733376 23443 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23443 13086 16 0 208415 0
vsize: 833724
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 43743 59 0 0 25 0 10 0 779840713 853733376 23476 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23476 13086 16 0 208415 0
vsize: 833724
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 44674 59 0 0 25 0 10 0 779840713 853733376 23509 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23509 13086 16 0 208415 0
vsize: 833724
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 45599 60 0 0 24 0 10 0 779840713 853733376 23543 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23543 13086 16 0 208415 0
vsize: 833724
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 46530 60 0 0 25 0 10 0 779840713 853733376 23575 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23575 13086 16 0 208415 0
vsize: 833724
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 47459 61 0 0 25 0 10 0 779840713 853733376 23608 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23608 13086 16 0 208415 0
vsize: 833724
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 48385 62 0 0 25 0 10 0 779840713 853733376 23640 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23640 13086 16 0 208415 0
vsize: 833724
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 49313 63 0 0 25 0 10 0 779840713 853733376 23672 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23672 13086 16 0 208415 0
vsize: 833724
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 50241 63 0 0 25 0 10 0 779840713 853733376 23703 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23703 13086 16 0 208415 0
vsize: 833724
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 51168 63 0 0 25 0 10 0 779840713 853733376 23733 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23733 13086 16 0 208415 0
vsize: 833724
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 52091 64 0 0 25 0 10 0 779840713 853733376 23765 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23765 13086 16 0 208415 0
vsize: 833724
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 53018 65 0 0 25 0 10 0 779840713 853733376 23795 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23795 13086 16 0 208415 0
vsize: 833724
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 53945 65 0 0 25 0 10 0 779840713 853733376 23824 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23824 13086 16 0 208415 0
vsize: 833724
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 54871 66 0 0 25 0 10 0 779840713 853733376 23854 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23854 13086 16 0 208415 0
vsize: 833724
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 55793 66 0 0 17 0 10 0 779840713 853733376 23884 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23884 13086 16 0 208415 0
vsize: 833724
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 56718 67 0 0 25 0 10 0 779840713 853733376 23913 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23913 13086 16 0 208415 0
vsize: 833724
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 57644 67 0 0 25 0 10 0 779840713 853733376 23942 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23942 13086 16 0 208415 0
vsize: 833724
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 58569 68 0 0 25 0 10 0 779840713 853733376 23970 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 23970 13086 16 0 208415 0
vsize: 833724
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 59490 68 0 0 25 0 10 0 779840713 853733376 24000 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 24000 13086 16 0 208415 0
vsize: 833724
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 60415 68 0 0 25 0 10 0 779840713 853733376 24028 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 24028 13086 16 0 208415 0
vsize: 833724
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 61339 69 0 0 25 0 10 0 779840713 853733376 24055 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 24055 13086 16 0 208415 0
vsize: 833724
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 62258 70 0 0 25 0 10 0 779840713 853733376 24998 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 24998 13086 16 0 208415 0
vsize: 833724
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 63179 70 0 0 25 0 10 0 779840713 853733376 24998 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 24998 13086 16 0 208415 0
vsize: 833724
[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 64093 70 0 0 25 0 10 0 779840713 853733376 25019 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25019 13086 16 0 208415 0
vsize: 833724
[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 65007 70 0 0 25 0 10 0 779840713 853733376 25045 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25045 13086 16 0 208415 0
vsize: 833724
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 65919 70 0 0 25 0 10 0 779840713 853733376 25072 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25072 13086 16 0 208415 0
vsize: 833724
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 66830 71 0 0 25 0 10 0 779840713 853733376 25098 4294967295 134512640 134569956 3221224368 3221214160 1076879009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25098 13086 16 0 208415 0
vsize: 833724
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 67743 71 0 0 25 0 10 0 779840713 853733376 25125 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25125 13086 16 0 208415 0
vsize: 833724
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 68655 71 0 0 25 0 10 0 779840713 853733376 25151 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25151 13086 16 0 208415 0
vsize: 833724
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 69567 71 0 0 25 0 10 0 779840713 853733376 25177 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25177 13086 16 0 208415 0
vsize: 833724
[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 70478 72 0 0 25 0 10 0 779840713 853733376 25202 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25202 13086 16 0 208415 0
vsize: 833724
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 71389 72 0 0 25 0 10 0 779840713 853733376 25228 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25228 13086 16 0 208415 0
vsize: 833724
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 72299 72 0 0 25 0 10 0 779840713 853733376 25253 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25253 13086 16 0 208415 0
vsize: 833724
[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 73209 72 0 0 25 0 10 0 779840713 853733376 25278 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25278 13086 16 0 208415 0
vsize: 833724
[startup+800.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 74119 73 0 0 25 0 10 0 779840713 853733376 25303 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25303 13086 16 0 208415 0
vsize: 833724
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 75029 73 0 0 25 0 10 0 779840713 853733376 25328 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25328 13086 16 0 208415 0
vsize: 833724
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 75938 73 0 0 25 0 10 0 779840713 853733376 25353 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25353 13086 16 0 208415 0
vsize: 833724
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 76847 73 0 0 25 0 10 0 779840713 853733376 25377 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25377 13086 16 0 208415 0
vsize: 833724
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 77755 73 0 0 25 0 10 0 779840713 853733376 25402 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25402 13086 16 0 208415 0
vsize: 833724
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 78664 73 0 0 24 0 10 0 779840713 853733376 25426 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25426 13086 16 0 208415 0
vsize: 833724
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 79572 73 0 0 24 0 10 0 779840713 853733376 25450 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25450 13086 16 0 208415 0
vsize: 833724
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 80482 73 0 0 25 0 10 0 779840713 853733376 25473 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25473 13086 16 0 208415 0
vsize: 833724
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 81393 73 0 0 25 0 10 0 779840713 853733376 25498 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25498 13086 16 0 208415 0
vsize: 833724
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 82301 74 0 0 25 0 10 0 779840713 853733376 25521 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25521 13086 16 0 208415 0
vsize: 833724
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 83208 74 0 0 25 0 10 0 779840713 853733376 25545 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25545 13086 16 0 208415 0
vsize: 833724
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 84115 74 0 0 25 0 10 0 779840713 853733376 25568 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25568 13086 16 0 208415 0
vsize: 833724
[startup+920.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 85022 74 0 0 25 0 10 0 779840713 853733376 25592 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25592 13086 16 0 208415 0
vsize: 833724
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 85927 75 0 0 25 0 10 0 779840713 853733376 25615 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25615 13086 16 0 208415 0
vsize: 833724
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 86837 75 0 0 25 0 10 0 779840713 853733376 25642 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25642 13086 16 0 208415 0
vsize: 833724
[startup+950.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 87744 75 0 0 25 0 10 0 779840713 853733376 25668 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25668 13086 16 0 208415 0
vsize: 833724
[startup+960.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 88647 76 0 0 25 0 10 0 779840713 853733376 25695 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25695 13086 16 0 208415 0
vsize: 833724
[startup+970.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 89552 76 0 0 25 0 10 0 779840713 853733376 25722 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25722 13086 16 0 208415 0
vsize: 833724
[startup+980.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 90457 76 0 0 24 0 10 0 779840713 853733376 25748 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25748 13086 16 0 208415 0
vsize: 833724
[startup+990.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 91367 77 0 0 25 0 10 0 779840713 853733376 25773 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25773 13086 16 0 208415 0
vsize: 833724
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 92270 77 0 0 25 0 10 0 779840713 853733376 25797 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25797 13086 16 0 208415 0
vsize: 833724
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 93174 77 0 0 25 0 10 0 779840713 853733376 25822 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25822 13086 16 0 208415 0
vsize: 833724
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 94078 78 0 0 25 0 10 0 779840713 853733376 25849 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25849 13086 16 0 208415 0
vsize: 833724
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 94981 78 0 0 24 0 10 0 779840713 853733376 25875 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25875 13086 16 0 208415 0
vsize: 833724
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 95890 78 0 0 25 0 10 0 779840713 853733376 25900 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25900 13086 16 0 208415 0
vsize: 833724
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 96793 79 0 0 25 0 10 0 779840713 853733376 25926 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25926 13086 16 0 208415 0
vsize: 833724
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 97695 79 0 0 19 0 10 0 779840713 853733376 25951 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 25951 13086 16 0 208415 0
vsize: 833724
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 98597 79 0 0 19 0 10 0 779840713 853733376 25976 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25976 13086 16 0 208415 0
vsize: 833724
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 99504 79 0 0 23 0 10 0 779840713 853733376 25998 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 25998 13086 16 0 208415 0
vsize: 833724
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 100406 80 0 0 21 0 10 0 779840713 853733376 26022 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26022 13086 16 0 208415 0
vsize: 833724
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 101307 80 0 0 20 0 10 0 779840713 853733376 26043 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26043 13086 16 0 208415 0
vsize: 833724
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 102207 81 0 0 24 0 10 0 779840713 853733376 26073 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26073 13086 16 0 208415 0
vsize: 833724
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 103115 81 0 0 22 0 10 0 779840713 853733376 26097 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26097 13086 16 0 208415 0
vsize: 833724
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 104015 81 0 0 21 0 10 0 779840713 853733376 26120 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26120 13086 16 0 208415 0
vsize: 833724
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 104916 82 0 0 19 0 10 0 779840713 853733376 26141 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26141 13086 16 0 208415 0
vsize: 833724
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 105822 82 0 0 23 0 10 0 779840713 853733376 26170 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26170 13086 16 0 208415 0
vsize: 833724
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 106721 83 0 0 22 0 10 0 779840713 853733376 26193 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26193 13086 16 0 208415 0
vsize: 833724
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 107620 83 0 0 20 0 10 0 779840713 853733376 26214 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26214 13086 16 0 208415 0
vsize: 833724
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 108523 84 0 0 23 0 10 0 779840713 853733376 26242 4294967295 134512640 134569956 3221224368 3221213352 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26242 13086 16 0 208415 0
vsize: 833724
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 109424 84 0 0 22 0 10 0 779840713 853733376 26265 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26265 13086 16 0 208415 0
vsize: 833724
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 110321 84 0 0 18 0 10 0 779840713 853733376 26289 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26289 13086 16 0 208415 0
vsize: 833724
[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 111223 84 0 0 23 0 10 0 779840713 853733376 26311 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26311 13086 16 0 208415 0
vsize: 833724
[startup+1220.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 112121 85 0 0 21 0 10 0 779840713 853733376 26331 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26331 13086 16 0 208415 0
vsize: 833724
[startup+1230.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 113019 85 0 0 19 0 10 0 779840713 853733376 26358 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26358 13086 16 0 208415 0
vsize: 833724
[startup+1240.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 113922 86 0 0 23 0 10 0 779840713 853733376 26381 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26381 13086 16 0 208415 0
vsize: 833724
[startup+1250.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 114820 86 0 0 20 0 10 0 779840713 853733376 26403 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26403 13086 16 0 208415 0
vsize: 833724
[startup+1260.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 115717 87 0 0 19 0 10 0 779840713 853733376 26424 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26424 13086 16 0 208415 0
vsize: 833724
[startup+1270.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 116620 87 0 0 21 0 10 0 779840713 853733376 26443 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26443 13086 16 0 208415 0
vsize: 833724
[startup+1280.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 117520 87 0 0 20 0 10 0 779840713 853733376 26473 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26473 13086 16 0 208415 0
vsize: 833724
[startup+1290.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) S 8127 24300 24299 0 -1 0 18015 0 1 0 118422 88 0 0 23 0 10 0 779840713 853733376 26501 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26501 13086 16 0 208415 0
vsize: 833724
[startup+1300.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 119325 88 0 0 21 0 10 0 779840713 853733376 26525 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208431 26525 13086 16 0 208415 0
vsize: 833724
[startup+1310.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 8137
Raw data (stat): 8128 (java) R 8127 24300 24299 0 -1 0 18015 0 1 0 120228 89 0 0 20 0 10 0 779840713 853733376 26546 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208431 26546 13086 16 0 208415 0
vsize: 833724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 8139
Raw data (stat): 8128 (java) Z 8127 24300 24299 0 -1 1036 18015 8202 1 0 120234 89 10591 42 22 0 1 0 779840713 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.17
CPU time (s): 1309.57
CPU user time (s): 1308.26
CPU system time (s): 1.3198
CPU usage (%): 99.9545
Max. virtual memory (Kb): 834572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####