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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-qiu.opb
MD5SUM	3d2c1e8e1ac719fa835886a3b753eac3
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	5328
Biggest coefficient in the objective function	8885108736
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	4692033563496
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	8885108736
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	4692033563496
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.136978
Number of variables	15888
Total number of constraints	1192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	21
Maximum length of a constraint	3960
Trace number 29935

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 12:58:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21336 boxname=wulflinc4 idbench=1324 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3d2c1e8e1ac719fa835886a3b753eac3  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-qiu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-qiu.opb
IDLAUNCH: 21336
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        651560 kB
Buffers:         34604 kB
Cached:         327848 kB
SwapCached:        600 kB
Active:          75076 kB
Inactive:       289824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        651308 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12552 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 13:19:15 (client local time) WITH STATUS 143 IN 1228.54 SECONDS
stats: 21336 7 1228.54 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/wulflinc4/normalized-mps-v2-13-7-qiu.opb
c reading problem ... done. Time 78.33 ms.
c #vars     15888
c #constraints  1324
c starts	: 5
c conflicts	: 1073
c decisions	: 8883
c propagations	: 54125
c inspects	: 3518501
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1073
c root simplifications	: 1053
s UNKNOWN
c Total CPU time (ms) : 1229.118
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 1606
Raw data (stat): 1606 (runsolver) R 1605 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780832439 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.0013 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 1615
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18008 0 1 0 870 35 0 0 24 0 10 0 780832439 853315584 19352 4294967295 134512640 134569956 3221224384 3221214660 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208329 19352 13086 16 0 208313 0
vsize: 833316
[startup+20.0026 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 1615
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18017 0 1 0 1767 35 0 0 25 0 10 0 780832439 855629824 20405 4294967295 134512640 134569956 3221224384 3221214664 1131183581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208894 20405 13086 16 0 208878 0
vsize: 835576
[startup+30.0037 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 1615
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18018 0 1 0 2652 35 0 0 25 0 10 0 780832439 856055808 21069 4294967295 134512640 134569956 3221224384 3221214384 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208998 21069 13086 16 0 208982 0
vsize: 835992
[startup+40.0039 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 1615
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18019 0 1 0 3539 36 0 0 19 0 10 0 780832439 854929408 21137 4294967295 134512640 134569956 3221224384 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208723 21137 13086 16 0 208707 0
vsize: 834892
[startup+50.0052 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 1615
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18019 0 1 0 4448 36 0 0 25 0 10 0 780832439 854929408 21332 4294967295 134512640 134569956 3221224384 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208723 21332 13086 16 0 208707 0
vsize: 834892
[startup+60.006 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 1615
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18019 0 1 0 5352 36 0 0 25 0 10 0 780832439 854929408 21527 4294967295 134512640 134569956 3221224384 3221214272 1080019622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208723 21527 13086 16 0 208707 0
vsize: 834892
[startup+70.0065 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 1615
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18019 0 1 0 6267 37 0 0 25 0 10 0 780832439 854929408 21749 4294967295 134512640 134569956 3221224384 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208723 21749 13086 16 0 208707 0
vsize: 834892
[startup+80.0069 s]
Raw data (loadavg): 0.96 0.97 0.99 3/63 1615
Raw data (stat): 1606 (java) S 1605 21152 21151 0 -1 0 18041 0 1 0 7185 38 0 0 25 0 10 0 780832439 856350720 22450 4294967295 134512640 134569956 3221224384 3221213392 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 22451 13086 16 0 209054 0
vsize: 836280
[startup+90.0076 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 1676
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18060 0 1 0 8094 44 0 0 25 0 11 0 780832439 856219648 23734 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23734 13086 16 0 209022 0
vsize: 836152
[startup+100.008 s]
Raw data (loadavg): 1.10 1.00 1.00 2/64 1676
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18061 0 1 0 9086 44 0 0 25 0 11 0 780832439 856449024 23773 4294967295 134512640 134569956 3221224384 3221214576 1131329984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209094 23773 13086 16 0 209078 0
vsize: 836376
[startup+110.009 s]
Raw data (loadavg): 1.09 1.00 1.00 2/64 1676
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18062 0 1 0 10077 45 0 0 25 0 11 0 780832439 856219648 23744 4294967295 134512640 134569956 3221224384 3221214576 1131329516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23744 13086 16 0 209022 0
vsize: 836152
[startup+120.01 s]
Raw data (loadavg): 1.22 1.03 1.01 2/64 1676
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18063 0 1 0 11055 45 0 0 25 0 11 0 780832439 856219648 23770 4294967295 134512640 134569956 3221224384 3221214576 1131329827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23770 13086 16 0 209022 0
vsize: 836152
[startup+130.01 s]
Raw data (loadavg): 1.19 1.03 1.01 2/64 1676
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18063 0 1 0 12042 45 0 0 25 0 11 0 780832439 856219648 23795 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23795 13086 16 0 209022 0
vsize: 836152
[startup+140.011 s]
Raw data (loadavg): 1.16 1.03 1.01 2/64 1676
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18063 0 1 0 13029 46 0 0 25 0 11 0 780832439 856219648 23821 4294967295 134512640 134569956 3221224384 3221214576 1131329919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23821 13086 16 0 209022 0
vsize: 836152
[startup+150.012 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 1676
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18063 0 1 0 14017 46 0 0 25 0 11 0 780832439 856219648 23872 4294967295 134512640 134569956 3221224384 3221214576 1131330067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23872 13086 16 0 209022 0
vsize: 836152
[startup+160.012 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18063 0 1 0 14995 47 0 0 25 0 11 0 780832439 856219648 23900 4294967295 134512640 134569956 3221224384 3221214576 1131330469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23900 13086 16 0 209022 0
vsize: 836152
[startup+170.013 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18063 0 1 0 15986 47 0 0 25 0 11 0 780832439 856219648 23920 4294967295 134512640 134569956 3221224384 3221214680 1131371368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23920 13086 16 0 209022 0
vsize: 836152
[startup+180.012 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18063 0 1 0 16976 47 0 0 25 0 11 0 780832439 856219648 23951 4294967295 134512640 134569956 3221224384 3221214576 1131329647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23951 13086 16 0 209022 0
vsize: 836152
[startup+190.013 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 17966 48 0 0 25 0 11 0 780832439 856219648 23970 4294967295 134512640 134569956 3221224384 3221214680 1131374136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23970 13086 16 0 209022 0
vsize: 836152
[startup+200.013 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 18958 48 0 0 25 0 11 0 780832439 856219648 23989 4294967295 134512640 134569956 3221224384 3221214632 1131229174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 23989 13086 16 0 209022 0
vsize: 836152
[startup+210.014 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 19947 49 0 0 25 0 11 0 780832439 856219648 24010 4294967295 134512640 134569956 3221224384 3221214680 1131370299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24010 13086 16 0 209022 0
vsize: 836152
[startup+220.014 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 20937 49 0 0 25 0 11 0 780832439 856219648 24028 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24028 13086 16 0 209022 0
vsize: 836152
[startup+230.015 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 21926 50 0 0 25 0 11 0 780832439 856219648 24046 4294967295 134512640 134569956 3221224384 3221214576 1131330551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24046 13086 16 0 209022 0
vsize: 836152
[startup+240.015 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 22917 50 0 0 25 0 11 0 780832439 856219648 24060 4294967295 134512640 134569956 3221224384 3221214576 1131329647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24060 13086 16 0 209022 0
vsize: 836152
[startup+250.016 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 23906 50 0 0 25 0 11 0 780832439 856219648 24096 4294967295 134512640 134569956 3221224384 3221214576 1131330548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24096 13086 16 0 209022 0
vsize: 836152
[startup+260.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 24898 50 0 0 25 0 11 0 780832439 856219648 24113 4294967295 134512640 134569956 3221224384 3221214576 1131329501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24113 13086 16 0 209022 0
vsize: 836152
[startup+270.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 25889 51 0 0 25 0 11 0 780832439 856219648 24127 4294967295 134512640 134569956 3221224384 3221214576 1131330239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24127 13086 16 0 209022 0
vsize: 836152
[startup+280.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 26880 51 0 0 25 0 11 0 780832439 856219648 24143 4294967295 134512640 134569956 3221224384 3221214528 1131230119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24143 13086 16 0 209022 0
vsize: 836152
[startup+290.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18064 0 1 0 27871 51 0 0 25 0 11 0 780832439 856219648 24156 4294967295 134512640 134569956 3221224384 3221214576 1131329595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24156 13086 16 0 209022 0
vsize: 836152
[startup+300.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 28861 52 0 0 25 0 11 0 780832439 856219648 24172 4294967295 134512640 134569956 3221224384 3221214680 1131371319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24172 13086 16 0 209022 0
vsize: 836152
[startup+310.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 29852 52 0 0 25 0 11 0 780832439 856219648 24185 4294967295 134512640 134569956 3221224384 3221214576 1131329889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24185 13086 16 0 209022 0
vsize: 836152
[startup+320.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 30843 52 0 0 25 0 11 0 780832439 856219648 24199 4294967295 134512640 134569956 3221224384 3221214680 1131369921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24199 13086 16 0 209022 0
vsize: 836152
[startup+330.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 31834 53 0 0 25 0 11 0 780832439 856219648 24212 4294967295 134512640 134569956 3221224384 3221214576 1131329530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24212 13086 16 0 209022 0
vsize: 836152
[startup+340.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 32824 53 0 0 25 0 11 0 780832439 856219648 24224 4294967295 134512640 134569956 3221224384 3221214576 1131330566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24224 13086 16 0 209022 0
vsize: 836152
[startup+350.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 33815 54 0 0 25 0 11 0 780832439 856219648 24238 4294967295 134512640 134569956 3221224384 3221214680 1131371113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24238 13086 16 0 209022 0
vsize: 836152
[startup+360.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 34805 54 0 0 25 0 11 0 780832439 856219648 24251 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24251 13086 16 0 209022 0
vsize: 836152
[startup+370.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 35796 55 0 0 25 0 11 0 780832439 856219648 24265 4294967295 134512640 134569956 3221224384 3221214572 1131230048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24265 13086 16 0 209022 0
vsize: 836152
[startup+380.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 36786 55 0 0 25 0 11 0 780832439 856219648 24278 4294967295 134512640 134569956 3221224384 3221214576 1131330548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24278 13086 16 0 209022 0
vsize: 836152
[startup+390.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 37776 55 0 0 25 0 11 0 780832439 856219648 24292 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24292 13086 16 0 209022 0
vsize: 836152
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1678
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 38766 56 0 0 25 0 11 0 780832439 856219648 24305 4294967295 134512640 134569956 3221224384 3221214576 1131330429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24305 13086 16 0 209022 0
vsize: 836152
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 39750 56 0 0 25 0 11 0 780832439 856219648 24320 4294967295 134512640 134569956 3221224384 3221214680 1131372348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24320 13086 16 0 209022 0
vsize: 836152
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 40736 57 0 0 25 0 11 0 780832439 856219648 24335 4294967295 134512640 134569956 3221224384 3221214680 1131372319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24335 13086 16 0 209022 0
vsize: 836152
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 41721 58 0 0 25 0 11 0 780832439 856219648 24351 4294967295 134512640 134569956 3221224384 3221214576 1131329505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24351 13086 16 0 209022 0
vsize: 836152
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 42708 58 0 0 25 0 11 0 780832439 856219648 24411 4294967295 134512640 134569956 3221224384 3221214680 1131371350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24411 13086 16 0 209022 0
vsize: 836152
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 43695 59 0 0 25 0 11 0 780832439 856219648 24429 4294967295 134512640 134569956 3221224384 3221214576 1131329623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24429 13086 16 0 209022 0
vsize: 836152
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 44684 60 0 0 25 0 11 0 780832439 856219648 24445 4294967295 134512640 134569956 3221224384 3221214576 1131329715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24445 13086 16 0 209022 0
vsize: 836152
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 45671 60 0 0 24 0 11 0 780832439 856219648 24464 4294967295 134512640 134569956 3221224384 3221214680 1131370240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24464 13086 16 0 209022 0
vsize: 836152
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 46660 60 0 0 25 0 11 0 780832439 856219648 24484 4294967295 134512640 134569956 3221224384 3221214576 1131329505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24484 13086 16 0 209022 0
vsize: 836152
[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 47649 60 0 0 25 0 11 0 780832439 856219648 24498 4294967295 134512640 134569956 3221224384 3221214576 1131330510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24498 13086 16 0 209022 0
vsize: 836152
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 48637 61 0 0 25 0 11 0 780832439 856219648 24516 4294967295 134512640 134569956 3221224384 3221214680 1131371334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24516 13086 16 0 209022 0
vsize: 836152
[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 49627 61 0 0 25 0 11 0 780832439 856219648 24529 4294967295 134512640 134569956 3221224384 3221214680 1131372166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24529 13086 16 0 209022 0
vsize: 836152
[startup+520.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 50615 62 0 0 25 0 11 0 780832439 856219648 24542 4294967295 134512640 134569956 3221224384 3221214576 1131329931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24542 13086 16 0 209022 0
vsize: 836152
[startup+530.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 51603 62 0 0 25 0 11 0 780832439 856219648 24558 4294967295 134512640 134569956 3221224384 3221214680 1131370240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24558 13086 16 0 209022 0
vsize: 836152
[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 52592 62 0 0 25 0 11 0 780832439 856219648 24570 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209038 24570 13086 16 0 209022 0
vsize: 836152
[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 53580 62 0 0 24 0 11 0 780832439 856219648 24584 4294967295 134512640 134569956 3221224384 3221214636 1131230055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24584 13086 16 0 209022 0
vsize: 836152
[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 54569 63 0 0 25 0 11 0 780832439 856219648 24597 4294967295 134512640 134569956 3221224384 3221214576 1131330450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24597 13086 16 0 209022 0
vsize: 836152
[startup+570.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 55557 63 0 0 25 0 11 0 780832439 856219648 24610 4294967295 134512640 134569956 3221224384 3221214576 1131329509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24610 13086 16 0 209022 0
vsize: 836152
[startup+580.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 56544 64 0 0 24 0 11 0 780832439 856219648 24623 4294967295 134512640 134569956 3221224384 3221214792 1131394924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24623 13086 16 0 209022 0
vsize: 836152
[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 57533 64 0 0 25 0 11 0 780832439 856219648 24636 4294967295 134512640 134569956 3221224384 3221214576 1131330158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24636 13086 16 0 209022 0
vsize: 836152
[startup+600.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 58521 64 0 0 25 0 11 0 780832439 856219648 24647 4294967295 134512640 134569956 3221224384 3221214680 1131371346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24647 13086 16 0 209022 0
vsize: 836152
[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 59509 65 0 0 25 0 11 0 780832439 856219648 24660 4294967295 134512640 134569956 3221224384 3221214632 1131270279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24660 13086 16 0 209022 0
vsize: 836152
[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 60497 65 0 0 25 0 11 0 780832439 856219648 24672 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24672 13086 16 0 209022 0
vsize: 836152
[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 61485 65 0 0 25 0 11 0 780832439 856219648 24684 4294967295 134512640 134569956 3221224384 3221214676 1131233267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24684 13086 16 0 209022 0
vsize: 836152
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 62473 66 0 0 25 0 11 0 780832439 856219648 24695 4294967295 134512640 134569956 3221224384 3221214576 1131330154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24695 13086 16 0 209022 0
vsize: 836152
[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 63461 66 0 0 25 0 11 0 780832439 856219648 24706 4294967295 134512640 134569956 3221224384 3221214680 1131370397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24706 13086 16 0 209022 0
vsize: 836152
[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 64448 67 0 0 24 0 11 0 780832439 856219648 24719 4294967295 134512640 134569956 3221224384 3221214576 1131330429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24719 13086 16 0 209022 0
vsize: 836152
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 65436 67 0 0 25 0 11 0 780832439 856219648 24731 4294967295 134512640 134569956 3221224384 3221214680 1131371364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24731 13086 16 0 209022 0
vsize: 836152
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 66424 67 0 0 25 0 11 0 780832439 856219648 24741 4294967295 134512640 134569956 3221224384 3221214576 1131330420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24741 13086 16 0 209022 0
vsize: 836152
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 67410 68 0 0 25 0 11 0 780832439 856219648 24754 4294967295 134512640 134569956 3221224384 3221214680 1131374223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24754 13086 16 0 209022 0
vsize: 836152
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 68398 68 0 0 25 0 11 0 780832439 856219648 24764 4294967295 134512640 134569956 3221224384 3221214680 1131370240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24764 13086 16 0 209022 0
vsize: 836152
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 69385 68 0 0 24 0 11 0 780832439 856219648 24775 4294967295 134512640 134569956 3221224384 3221214576 1131330019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24775 13086 16 0 209022 0
vsize: 836152
[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 70372 69 0 0 25 0 11 0 780832439 856219648 24789 4294967295 134512640 134569956 3221224384 3221214680 1131370240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24789 13086 16 0 209022 0
vsize: 836152
[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 71358 69 0 0 25 0 11 0 780832439 856219648 24802 4294967295 134512640 134569956 3221224384 3221214576 1131329595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24802 13086 16 0 209022 0
vsize: 836152
[startup+740.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 72344 70 0 0 25 0 11 0 780832439 856219648 24816 4294967295 134512640 134569956 3221224384 3221214528 1131230109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24816 13086 16 0 209022 0
vsize: 836152
[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 73332 70 0 0 25 0 11 0 780832439 856219648 24826 4294967295 134512640 134569956 3221224384 3221214576 1131330054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24826 13086 16 0 209022 0
vsize: 836152
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 74319 71 0 0 25 0 11 0 780832439 856219648 24838 4294967295 134512640 134569956 3221224384 3221214528 1131230084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24838 13086 16 0 209022 0
vsize: 836152
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 75305 71 0 0 25 0 11 0 780832439 856219648 24848 4294967295 134512640 134569956 3221224384 3221214576 1131329737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24848 13086 16 0 209022 0
vsize: 836152
[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 76293 71 0 0 25 0 11 0 780832439 856219648 24860 4294967295 134512640 134569956 3221224384 3221214676 1131458035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24860 13086 16 0 209022 0
vsize: 836152
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 77279 71 0 0 24 0 11 0 780832439 856219648 24871 4294967295 134512640 134569956 3221224384 3221214576 1131329595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24871 13086 16 0 209022 0
vsize: 836152
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 78262 72 0 0 25 0 11 0 780832439 856219648 24883 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24883 13086 16 0 209022 0
vsize: 836152
[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 79243 73 0 0 25 0 11 0 780832439 856219648 24892 4294967295 134512640 134569956 3221224384 3221214576 1131329509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24892 13086 16 0 209022 0
vsize: 836152
[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 80220 73 0 0 24 0 11 0 780832439 856219648 24905 4294967295 134512640 134569956 3221224384 3221214576 1131329984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24905 13086 16 0 209022 0
vsize: 836152
[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 81203 74 0 0 25 0 11 0 780832439 856219648 24994 4294967295 134512640 134569956 3221224384 3221214632 1131270435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 24994 13086 16 0 209022 0
vsize: 836152
[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 82190 74 0 0 25 0 11 0 780832439 856219648 25005 4294967295 134512640 134569956 3221224384 3221214680 1131374155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25005 13086 16 0 209022 0
vsize: 836152
[startup+850.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 83175 74 0 0 25 0 11 0 780832439 856219648 25016 4294967295 134512640 134569956 3221224384 3221214576 1131329853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25016 13086 16 0 209022 0
vsize: 836152
[startup+860.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 84163 75 0 0 25 0 11 0 780832439 856219648 25025 4294967295 134512640 134569956 3221224384 3221214680 1131370303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25025 13086 16 0 209022 0
vsize: 836152
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 85150 75 0 0 25 0 11 0 780832439 856219648 25034 4294967295 134512640 134569956 3221224384 3221214680 1131372336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25034 13086 16 0 209022 0
vsize: 836152
[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 86135 76 0 0 25 0 11 0 780832439 856219648 25046 4294967295 134512640 134569956 3221224384 3221214576 1131330551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25046 13086 16 0 209022 0
vsize: 836152
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 87121 76 0 0 25 0 11 0 780832439 856219648 25055 4294967295 134512640 134569956 3221224384 3221214576 1131330545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25055 13086 16 0 209022 0
vsize: 836152
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) S 1605 21152 21151 0 -1 0 18065 0 1 0 88108 77 0 0 25 0 11 0 780832439 856219648 25065 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25065 13086 16 0 209022 0
vsize: 836152
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 89094 77 0 0 25 0 11 0 780832439 856219648 25075 4294967295 134512640 134569956 3221224384 3221214680 1131372308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25075 13086 16 0 209022 0
vsize: 836152
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 90080 78 0 0 25 0 11 0 780832439 856219648 25082 4294967295 134512640 134569956 3221224384 3221214576 1131329671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25082 13086 16 0 209022 0
vsize: 836152
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 91066 78 0 0 25 0 11 0 780832439 856219648 25092 4294967295 134512640 134569956 3221224384 3221214680 1131370352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25092 13086 16 0 209022 0
vsize: 836152
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 92052 78 0 0 25 0 11 0 780832439 856219648 25101 4294967295 134512640 134569956 3221224384 3221214680 1131370233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25101 13086 16 0 209022 0
vsize: 836152
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 93039 79 0 0 25 0 11 0 780832439 856219648 25109 4294967295 134512640 134569956 3221224384 3221214680 1131369907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25109 13086 16 0 209022 0
vsize: 836152
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 94023 79 0 0 25 0 11 0 780832439 856219648 25119 4294967295 134512640 134569956 3221224384 3221214576 1131330200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25119 13086 16 0 209022 0
vsize: 836152
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 95009 79 0 0 25 0 11 0 780832439 856219648 25130 4294967295 134512640 134569956 3221224384 3221214680 1131371350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25130 13086 16 0 209022 0
vsize: 836152
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 95994 80 0 0 24 0 11 0 780832439 856219648 25142 4294967295 134512640 134569956 3221224384 3221214576 1131330054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25142 13086 16 0 209022 0
vsize: 836152
[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 96980 80 0 0 25 0 11 0 780832439 856219648 25150 4294967295 134512640 134569956 3221224384 3221214576 1131329927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25150 13086 16 0 209022 0
vsize: 836152
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 97966 81 0 0 25 0 11 0 780832439 856219648 25158 4294967295 134512640 134569956 3221224384 3221214576 1131329931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25158 13086 16 0 209022 0
vsize: 836152
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 98951 82 0 0 25 0 11 0 780832439 856219648 25168 4294967295 134512640 134569956 3221224384 3221214680 1131371330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25168 13086 16 0 209022 0
vsize: 836152
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 99937 82 0 0 25 0 11 0 780832439 856219648 25177 4294967295 134512640 134569956 3221224384 3221214680 1131370240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25177 13086 16 0 209022 0
vsize: 836152
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 100923 83 0 0 25 0 11 0 780832439 856219648 25184 4294967295 134512640 134569956 3221224384 3221214576 1131329680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25184 13086 16 0 209022 0
vsize: 836152
[startup+1040.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 101907 83 0 0 25 0 11 0 780832439 856219648 25195 4294967295 134512640 134569956 3221224384 3221214576 1131329717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25195 13086 16 0 209022 0
vsize: 836152
[startup+1050.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18065 0 1 0 102893 84 0 0 25 0 11 0 780832439 856219648 25205 4294967295 134512640 134569956 3221224384 3221214576 1131329637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25205 13086 16 0 209022 0
vsize: 836152
[startup+1060.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 103875 85 0 0 25 0 11 0 780832439 856219648 25219 4294967295 134512640 134569956 3221224384 3221214576 1131329891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25219 13086 16 0 209022 0
vsize: 836152
[startup+1070.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 104861 85 0 0 25 0 11 0 780832439 856219648 25228 4294967295 134512640 134569956 3221224384 3221214528 1131230101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25228 13086 16 0 209022 0
vsize: 836152
[startup+1080.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 105847 85 0 0 25 0 11 0 780832439 856219648 25239 4294967295 134512640 134569956 3221224384 3221214576 1131329965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25239 13086 16 0 209022 0
vsize: 836152
[startup+1090.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 106832 86 0 0 25 0 11 0 780832439 856219648 25246 4294967295 134512640 134569956 3221224384 3221214680 1131372215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25246 13086 16 0 209022 0
vsize: 836152
[startup+1100.08 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 107819 86 0 0 25 0 11 0 780832439 856219648 25260 4294967295 134512640 134569956 3221224384 3221214576 1131330206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25260 13086 16 0 209022 0
vsize: 836152
[startup+1110.08 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 108804 86 0 0 25 0 11 0 780832439 856219648 25269 4294967295 134512640 134569956 3221224384 3221214680 1131371251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25269 13086 16 0 209022 0
vsize: 836152
[startup+1120.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 109790 87 0 0 25 0 11 0 780832439 856219648 25278 4294967295 134512640 134569956 3221224384 3221214680 1131372222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25278 13086 16 0 209022 0
vsize: 836152
[startup+1130.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 110776 87 0 0 25 0 11 0 780832439 856219648 25285 4294967295 134512640 134569956 3221224384 3221214576 1131329954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25285 13086 16 0 209022 0
vsize: 836152
[startup+1140.08 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 111761 88 0 0 25 0 11 0 780832439 856219648 25293 4294967295 134512640 134569956 3221224384 3221214576 1131329958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25293 13086 16 0 209022 0
vsize: 836152
[startup+1150.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 112747 88 0 0 25 0 11 0 780832439 856219648 25301 4294967295 134512640 134569956 3221224384 3221214576 1131329931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25301 13086 16 0 209022 0
vsize: 836152
[startup+1160.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 113732 89 0 0 25 0 11 0 780832439 856219648 25308 4294967295 134512640 134569956 3221224384 3221214600 1131388890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25308 13086 16 0 209022 0
vsize: 836152
[startup+1170.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 114717 89 0 0 25 0 11 0 780832439 856219648 25316 4294967295 134512640 134569956 3221224384 3221214576 1131330200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25316 13086 16 0 209022 0
vsize: 836152
[startup+1180.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 115703 89 0 0 25 0 11 0 780832439 856219648 25323 4294967295 134512640 134569956 3221224384 3221214600 1131389780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25323 13086 16 0 209022 0
vsize: 836152
[startup+1190.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 116689 89 0 0 25 0 11 0 780832439 856219648 25331 4294967295 134512640 134569956 3221224384 3221214576 1131329729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25331 13086 16 0 209022 0
vsize: 836152
[startup+1200.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 117674 90 0 0 25 0 11 0 780832439 856219648 25338 4294967295 134512640 134569956 3221224384 3221214376 1131564604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25338 13086 16 0 209022 0
vsize: 836152
[startup+1210.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 118658 91 0 0 25 0 11 0 780832439 856219648 25345 4294967295 134512640 134569956 3221224384 3221214576 1131330444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25345 13086 16 0 209022 0
vsize: 836152
[startup+1220.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 119644 91 0 0 25 0 11 0 780832439 856219648 25352 4294967295 134512640 134569956 3221224384 3221214680 1131370240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25352 13086 16 0 209022 0
vsize: 836152
[startup+1230.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1680
Raw data (stat): 1606 (java) R 1605 21152 21151 0 -1 0 18066 0 1 0 120628 92 0 0 25 0 11 0 780832439 856219648 25360 4294967295 134512640 134569956 3221224384 3221214576 1131329588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 25360 13086 16 0 209022 0
vsize: 836152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.01 1.01 1.00 1/54 1682
Raw data (stat): 1606 (java) Z 1605 21152 21151 0 -1 1036 18066 6311 1 0 120631 92 2103 26 25 0 1 0 780832439 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.16
CPU time (s): 1228.54
CPU user time (s): 1227.35
CPU system time (s): 1.18882
CPU usage (%): 99.8677
Max. virtual memory (Kb): 836376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####