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/miplib2003/normalized-mps-v2-20-10-dano3mip.opb
MD5SUM	07b8540d5ec185750fee03977f8da675
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	67108864000
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	569083166190
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	17.1024
Number of variables	399966
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	15900
Trace number 29574

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 09:07:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20974 boxname=wulflinc15 idbench=962 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  07b8540d5ec185750fee03977f8da675  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dano3mip.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dano3mip.opb
IDLAUNCH: 20974
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        711632 kB
Buffers:         28412 kB
Cached:         272224 kB
SwapCached:        672 kB
Active:          95532 kB
Inactive:       207236 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        711380 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14456 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:28:54 (client local time) WITH STATUS 143 IN 1314.5 SECONDS
stats: 20974 7 1314.5 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/wulflinc15/normalized-mps-v2-20-10-dano3mip.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.316
#### 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.88 0.97 0.99 2/54 6915
Raw data (stat): 6915 (runsolver) R 6914 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779444342 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 856 38 0 0 25 0 10 0 779444342 855613440 19782 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208890 19782 13086 16 0 208874 0
vsize: 835560
[startup+20.0014 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 1754 39 0 0 25 0 10 0 779444342 855121920 20206 4294967295 134512640 134569956 3221224368 3221214696 1131280705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208770 20206 13086 16 0 208754 0
vsize: 835080
[startup+30.0018 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 2633 40 0 0 24 0 10 0 779444342 854282240 20567 4294967295 134512640 134569956 3221224368 3221214472 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208565 20567 13086 16 0 208549 0
vsize: 834260
[startup+40.003 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 3538 40 0 0 25 0 10 0 779444342 854007808 20775 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208498 20775 13086 16 0 208482 0
vsize: 833992
[startup+50.0039 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 4461 40 0 0 25 0 10 0 779444342 853975040 20962 4294967295 134512640 134569956 3221224368 3221214776 1131321282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20962 13086 16 0 208474 0
vsize: 833960
[startup+60.0038 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 5380 40 0 0 25 0 10 0 779444342 853975040 21095 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21095 13086 16 0 208474 0
vsize: 833960
[startup+70.0047 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 6309 40 0 0 25 0 10 0 779444342 853975040 21306 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21306 13086 16 0 208474 0
vsize: 833960
[startup+80.0056 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 7246 40 0 0 25 0 10 0 779444342 853975040 21413 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21413 13086 16 0 208474 0
vsize: 833960
[startup+90.0058 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 8188 41 0 0 25 0 10 0 779444342 853975040 21497 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21497 13086 16 0 208474 0
vsize: 833960
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 9125 41 0 0 25 0 10 0 779444342 853975040 21592 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21592 13086 16 0 208474 0
vsize: 833960
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 10068 41 0 0 25 0 10 0 779444342 853975040 21693 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21693 13086 16 0 208474 0
vsize: 833960
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 11009 41 0 0 25 0 10 0 779444342 853975040 21769 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21769 13086 16 0 208474 0
vsize: 833960
[startup+130.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 11953 41 0 0 25 0 10 0 779444342 853975040 21836 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21836 13086 16 0 208474 0
vsize: 833960
[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 12895 42 0 0 25 0 10 0 779444342 853975040 21916 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21916 13086 16 0 208474 0
vsize: 833960
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 13837 42 0 0 25 0 10 0 779444342 853975040 21982 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21982 13086 16 0 208474 0
vsize: 833960
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 14782 42 0 0 25 0 10 0 779444342 853975040 22043 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22043 13086 16 0 208474 0
vsize: 833960
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 15720 42 0 0 25 0 10 0 779444342 853975040 22116 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22116 13086 16 0 208474 0
vsize: 833960
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 16643 42 0 0 25 0 10 0 779444342 853975040 22174 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22174 13086 16 0 208474 0
vsize: 833960
[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 17571 42 0 0 25 0 10 0 779444342 853975040 22404 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22404 13086 16 0 208474 0
vsize: 833960
[startup+200.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 18509 42 0 0 25 0 10 0 779444342 853975040 22461 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22461 13086 16 0 208474 0
vsize: 833960
[startup+210.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 19450 42 0 0 20 0 10 0 779444342 853975040 22515 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22515 13086 16 0 208474 0
vsize: 833960
[startup+220.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 20389 43 0 0 25 0 10 0 779444342 853975040 22570 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22570 13086 16 0 208474 0
vsize: 833960
[startup+230.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 21326 43 0 0 24 0 10 0 779444342 853975040 22624 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22624 13086 16 0 208474 0
vsize: 833960
[startup+240.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 22267 43 0 0 25 0 10 0 779444342 853975040 22675 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22675 13086 16 0 208474 0
vsize: 833960
[startup+250.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 23204 43 0 0 24 0 10 0 779444342 853975040 22728 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22728 13086 16 0 208474 0
vsize: 833960
[startup+260.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 24144 43 0 0 25 0 10 0 779444342 853975040 22776 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22776 13086 16 0 208474 0
vsize: 833960
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 25079 43 0 0 24 0 10 0 779444342 853975040 22826 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22826 13086 16 0 208474 0
vsize: 833960
[startup+280.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 26018 43 0 0 25 0 10 0 779444342 853975040 22873 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22873 13086 16 0 208474 0
vsize: 833960
[startup+290.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 26950 43 0 0 17 0 10 0 779444342 853975040 22921 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22921 13086 16 0 208474 0
vsize: 833960
[startup+300.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 27886 43 0 0 25 0 10 0 779444342 853975040 22981 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 22981 13086 16 0 208474 0
vsize: 833960
[startup+310.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 28824 43 0 0 25 0 10 0 779444342 853975040 23014 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23014 13086 16 0 208474 0
vsize: 833960
[startup+320.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 29758 43 0 0 25 0 10 0 779444342 853975040 23061 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23061 13086 16 0 208474 0
vsize: 833960
[startup+330.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 30695 44 0 0 25 0 10 0 779444342 853975040 23105 4294967295 134512640 134569956 3221224368 3221213976 1077101170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23105 13086 16 0 208474 0
vsize: 833960
[startup+340.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 31627 44 0 0 25 0 10 0 779444342 853975040 23150 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23150 13086 16 0 208474 0
vsize: 833960
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 32563 44 0 0 25 0 10 0 779444342 853975040 23193 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23193 13086 16 0 208474 0
vsize: 833960
[startup+360.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 33496 44 0 0 25 0 10 0 779444342 853975040 23227 4294967295 134512640 134569956 3221224368 3221214224 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23227 13086 16 0 208474 0
vsize: 833960
[startup+370.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 34431 44 0 0 25 0 10 0 779444342 853975040 23269 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23269 13086 16 0 208474 0
vsize: 833960
[startup+380.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 35366 44 0 0 25 0 10 0 779444342 853975040 23310 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23310 13086 16 0 208474 0
vsize: 833960
[startup+390.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 36296 44 0 0 16 0 10 0 779444342 853975040 23353 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23353 13086 16 0 208474 0
vsize: 833960
[startup+400.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 37230 44 0 0 25 0 10 0 779444342 853975040 23382 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23382 13086 16 0 208474 0
vsize: 833960
[startup+410.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 38165 44 0 0 25 0 10 0 779444342 853975040 23423 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23423 13086 16 0 208474 0
vsize: 833960
[startup+420.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 39093 45 0 0 24 0 10 0 779444342 853975040 23465 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23465 13086 16 0 208474 0
vsize: 833960
[startup+430.045 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 40025 45 0 0 25 0 10 0 779444342 853975040 23494 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23494 13086 16 0 208474 0
vsize: 833960
[startup+440.045 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 40955 45 0 0 25 0 10 0 779444342 853975040 23533 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23533 13086 16 0 208474 0
vsize: 833960
[startup+450.047 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 41885 45 0 0 25 0 10 0 779444342 853975040 23585 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23585 13086 16 0 208474 0
vsize: 833960
[startup+460.05 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 42814 45 0 0 25 0 10 0 779444342 853975040 23613 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23613 13086 16 0 208474 0
vsize: 833960
[startup+470.051 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 43744 45 0 0 25 0 10 0 779444342 853975040 23653 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23653 13086 16 0 208474 0
vsize: 833960
[startup+480.052 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 44675 45 0 0 25 0 10 0 779444342 853975040 23691 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 23691 13086 16 0 208474 0
vsize: 833960
[startup+490.052 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 45605 45 0 0 25 0 10 0 779444342 853975040 23717 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23717 13086 16 0 208474 0
vsize: 833960
[startup+500.053 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 46529 46 0 0 24 0 10 0 779444342 853975040 23758 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23758 13086 16 0 208474 0
vsize: 833960
[startup+510.053 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 47457 46 0 0 25 0 10 0 779444342 853975040 23795 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23795 13086 16 0 208474 0
vsize: 833960
[startup+520.054 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 48384 47 0 0 25 0 10 0 779444342 853975040 23820 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23820 13086 16 0 208474 0
vsize: 833960
[startup+530.055 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 49312 47 0 0 25 0 10 0 779444342 853975040 23857 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23857 13086 16 0 208474 0
vsize: 833960
[startup+540.056 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 50232 47 0 0 24 0 10 0 779444342 853975040 23895 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23895 13086 16 0 208474 0
vsize: 833960
[startup+550.057 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 51159 48 0 0 25 0 10 0 779444342 853975040 23919 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23919 13086 16 0 208474 0
vsize: 833960
[startup+560.057 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 52085 48 0 0 25 0 10 0 779444342 853975040 23955 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23955 13086 16 0 208474 0
vsize: 833960
[startup+570.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 53010 49 0 0 25 0 10 0 779444342 853975040 23991 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 23991 13086 16 0 208474 0
vsize: 833960
[startup+580.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 53932 49 0 0 25 0 10 0 779444342 853975040 24016 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24016 13086 16 0 208474 0
vsize: 833960
[startup+590.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 54856 50 0 0 25 0 10 0 779444342 853975040 24052 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 24052 13086 16 0 208474 0
vsize: 833960
[startup+600.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 55781 50 0 0 25 0 10 0 779444342 853975040 24075 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24075 13086 16 0 208474 0
vsize: 833960
[startup+610.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 56703 51 0 0 25 0 10 0 779444342 853975040 24110 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24110 13086 16 0 208474 0
vsize: 833960
[startup+620.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 57625 52 0 0 25 0 10 0 779444342 853975040 24159 4294967295 134512640 134569956 3221224368 3221214764 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24159 13086 16 0 208474 0
vsize: 833960
[startup+630.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 58549 52 0 0 25 0 10 0 779444342 853975040 24182 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24182 13086 16 0 208474 0
vsize: 833960
[startup+640.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 59471 52 0 0 25 0 10 0 779444342 853975040 24216 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24216 13086 16 0 208474 0
vsize: 833960
[startup+650.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 60390 53 0 0 25 0 10 0 779444342 853975040 24241 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24241 13086 16 0 208474 0
vsize: 833960
[startup+660.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 61312 53 0 0 25 0 10 0 779444342 853975040 24275 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24275 13086 16 0 208474 0
vsize: 833960
[startup+670.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 62231 54 0 0 25 0 10 0 779444342 853975040 24876 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24876 13086 16 0 208474 0
vsize: 833960
[startup+680.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 63153 54 0 0 25 0 10 0 779444342 853975040 24876 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24876 13086 16 0 208474 0
vsize: 833960
[startup+690.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 64066 55 0 0 25 0 10 0 779444342 853975040 24887 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 24887 13086 16 0 208474 0
vsize: 833960
[startup+700.067 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 64979 55 0 0 25 0 10 0 779444342 853975040 24921 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 24921 13086 16 0 208474 0
vsize: 833960
[startup+710.067 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 65892 55 0 0 25 0 10 0 779444342 853975040 24942 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 24942 13086 16 0 208474 0
vsize: 833960
[startup+720.069 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 66804 55 0 0 25 0 10 0 779444342 853975040 24977 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 24977 13086 16 0 208474 0
vsize: 833960
[startup+730.069 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 67717 56 0 0 24 0 10 0 779444342 853975040 24998 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 24998 13086 16 0 208474 0
vsize: 833960
[startup+740.073 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 68635 56 0 0 25 0 10 0 779444342 853975040 25030 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25030 13086 16 0 208474 0
vsize: 833960
[startup+750.073 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 69548 56 0 0 25 0 10 0 779444342 853975040 25051 4294967295 134512640 134569956 3221224368 3221214736 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25051 13086 16 0 208474 0
vsize: 833960
[startup+760.074 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 70461 56 0 0 25 0 10 0 779444342 853975040 25083 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25083 13086 16 0 208474 0
vsize: 833960
[startup+770.075 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 71373 56 0 0 25 0 10 0 779444342 853975040 25104 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25104 13086 16 0 208474 0
vsize: 833960
[startup+780.076 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 72284 56 0 0 25 0 10 0 779444342 853975040 25136 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25136 13086 16 0 208474 0
vsize: 833960
[startup+790.077 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 73195 56 0 0 25 0 10 0 779444342 853975040 25156 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25156 13086 16 0 208474 0
vsize: 833960
[startup+800.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 74106 56 0 0 25 0 10 0 779444342 853975040 25188 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25188 13086 16 0 208474 0
vsize: 833960
[startup+810.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 75015 56 0 0 24 0 10 0 779444342 853975040 25220 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25220 13086 16 0 208474 0
vsize: 833960
[startup+820.082 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 75928 57 0 0 25 0 10 0 779444342 853975040 25239 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25239 13086 16 0 208474 0
vsize: 833960
[startup+830.082 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 76838 57 0 0 25 0 10 0 779444342 853975040 25285 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25285 13086 16 0 208474 0
vsize: 833960
[startup+840.084 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 77747 57 0 0 25 0 10 0 779444342 853975040 25304 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25304 13086 16 0 208474 0
vsize: 833960
[startup+850.084 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 78656 57 0 0 25 0 10 0 779444342 853975040 25336 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25336 13086 16 0 208474 0
vsize: 833960
[startup+860.084 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 79565 57 0 0 25 0 10 0 779444342 853975040 25356 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25356 13086 16 0 208474 0
vsize: 833960
[startup+870.089 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 80475 57 0 0 25 0 10 0 779444342 853975040 25387 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25387 13086 16 0 208474 0
vsize: 833960
[startup+880.09 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 81385 57 0 0 25 0 10 0 779444342 853975040 25406 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25406 13086 16 0 208474 0
vsize: 833960
[startup+890.09 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 82293 57 0 0 25 0 10 0 779444342 853975040 25438 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25438 13086 16 0 208474 0
vsize: 833960
[startup+900.091 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 83201 57 0 0 21 0 10 0 779444342 853975040 25457 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25457 13086 16 0 208474 0
vsize: 833960
[startup+910.091 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 84107 58 0 0 19 0 10 0 779444342 853975040 25489 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25489 13086 16 0 208474 0
vsize: 833960
[startup+920.091 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 85020 58 0 0 23 0 10 0 779444342 853975040 25507 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25507 13086 16 0 208474 0
vsize: 833960
[startup+930.092 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 85926 58 0 0 22 0 10 0 779444342 853975040 25526 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25526 13086 16 0 208474 0
vsize: 833960
[startup+940.094 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 86833 58 0 0 20 0 10 0 779444342 853975040 25558 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25558 13086 16 0 208474 0
vsize: 833960
[startup+950.094 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 87739 58 0 0 17 0 10 0 779444342 853975040 25576 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25576 13086 16 0 208474 0
vsize: 833960
[startup+960.095 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 88650 58 0 0 23 0 10 0 779444342 853975040 25607 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25607 13086 16 0 208474 0
vsize: 833960
[startup+970.095 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 89554 58 0 0 22 0 10 0 779444342 853975040 25625 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25625 13086 16 0 208474 0
vsize: 833960
[startup+980.095 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 90459 58 0 0 19 0 10 0 779444342 853975040 25656 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25656 13086 16 0 208474 0
vsize: 833960
[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 91370 58 0 0 24 0 10 0 779444342 853975040 25678 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25678 13086 16 0 208474 0
vsize: 833960
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 92273 58 0 0 21 0 10 0 779444342 853975040 25704 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25704 13086 16 0 208474 0
vsize: 833960
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 93178 58 0 0 20 0 10 0 779444342 853975040 25735 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25735 13086 16 0 208474 0
vsize: 833960
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 94085 58 0 0 24 0 10 0 779444342 853975040 25752 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25752 13086 16 0 208474 0
vsize: 833960
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 94993 59 0 0 22 0 10 0 779444342 853975040 25794 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25794 13086 16 0 208474 0
vsize: 833960
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 95896 59 0 0 21 0 10 0 779444342 853975040 25812 4294967295 134512640 134569956 3221224368 3221214144 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25812 13086 16 0 208474 0
vsize: 833960
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 96799 59 0 0 19 0 10 0 779444342 853975040 25842 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25842 13086 16 0 208474 0
vsize: 833960
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 97706 59 0 0 22 0 10 0 779444342 853975040 25880 4294967295 134512640 134569956 3221224368 3221214240 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25880 13086 16 0 208474 0
vsize: 833960
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 98605 59 0 0 20 0 10 0 779444342 853975040 25930 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25930 13086 16 0 208474 0
vsize: 833960
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 99505 59 0 0 18 0 10 0 779444342 853975040 25949 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25949 13086 16 0 208474 0
vsize: 833960
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 100414 59 0 0 23 0 10 0 779444342 853975040 25965 4294967295 134512640 134569956 3221224368 3221214240 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25965 13086 16 0 208474 0
vsize: 833960
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 101316 59 0 0 21 0 10 0 779444342 853975040 25996 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 25996 13086 16 0 208474 0
vsize: 833960
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 102217 59 0 0 19 0 10 0 779444342 853975040 26014 4294967295 134512640 134569956 3221224368 3221214772 1080204149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26014 13086 16 0 208474 0
vsize: 833960
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 103124 60 0 0 22 0 10 0 779444342 853975040 26046 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26046 13086 16 0 208474 0
vsize: 833960
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 104036 60 0 0 22 0 10 0 779444342 853975040 26064 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26064 13086 16 0 208474 0
vsize: 833960
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 104937 60 0 0 19 0 10 0 779444342 853975040 26081 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26081 13086 16 0 208474 0
vsize: 833960
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 105845 60 0 0 22 0 10 0 779444342 853975040 26110 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26110 13086 16 0 208474 0
vsize: 833960
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 106744 60 0 0 20 0 10 0 779444342 853975040 26139 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26139 13086 16 0 208474 0
vsize: 833960
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 107643 60 0 0 19 0 10 0 779444342 853975040 26172 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26172 13086 16 0 208474 0
vsize: 833960
[startup+1180.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 108550 60 0 0 23 0 10 0 779444342 853975040 26190 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26190 13086 16 0 208474 0
vsize: 833960
[startup+1190.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 109449 60 0 0 20 0 10 0 779444342 853975040 26211 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26211 13086 16 0 208474 0
vsize: 833960
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 110353 60 0 0 23 0 10 0 779444342 853975040 26240 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26240 13086 16 0 208474 0
vsize: 833960
[startup+1210.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 111254 61 0 0 22 0 10 0 779444342 853975040 26257 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26257 13086 16 0 208474 0
vsize: 833960
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 112152 61 0 0 19 0 10 0 779444342 853975040 26288 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26288 13086 16 0 208474 0
vsize: 833960
[startup+1230.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 113057 61 0 0 23 0 10 0 779444342 853975040 26315 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26315 13086 16 0 208474 0
vsize: 833960
[startup+1240.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 113955 61 0 0 20 0 10 0 779444342 853975040 26339 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26339 13086 16 0 208474 0
vsize: 833960
[startup+1250.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) S 6914 23514 23513 0 -1 0 18025 0 1 0 114859 61 0 0 23 0 10 0 779444342 853975040 26365 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26365 13086 16 0 208474 0
vsize: 833960
[startup+1260.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 115759 61 0 0 21 0 10 0 779444342 853975040 26392 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26392 13086 16 0 208474 0
vsize: 833960
[startup+1270.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 116660 61 0 0 19 0 10 0 779444342 853975040 26412 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26412 13086 16 0 208474 0
vsize: 833960
[startup+1280.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 117565 61 0 0 23 0 10 0 779444342 853975040 26445 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26445 13086 16 0 208474 0
vsize: 833960
[startup+1290.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 118470 62 0 0 20 0 10 0 779444342 853975040 26469 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26469 13086 16 0 208474 0
vsize: 833960
[startup+1300.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 119371 62 0 0 19 0 10 0 779444342 853975040 26488 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26488 13086 16 0 208474 0
vsize: 833960
[startup+1310.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 6924
Raw data (stat): 6915 (java) R 6914 23514 23513 0 -1 0 18025 0 1 0 120281 62 0 0 24 0 10 0 779444342 853975040 26530 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 26530 13086 16 0 208474 0
vsize: 833960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.36 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6926
Raw data (stat): 6915 (java) Z 6914 23514 23513 0 -1 1036 18025 10203 1 0 120284 66 11049 49 25 0 1 0 779444342 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.36
CPU time (s): 1314.5
CPU user time (s): 1313.33
CPU system time (s): 1.16582
CPU usage (%): 100.316
Max. virtual memory (Kb): 835560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####