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-markshare1.opb
MD5SUM	10386fd19d9976c249ce2be861b38a70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
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	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 29583

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        520884 kB
Buffers:         32148 kB
Cached:         460540 kB
SwapCached:        584 kB
Active:          46040 kB
Inactive:       448752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        520632 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13436 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:33:00 (client local time) WITH STATUS 143 IN 1237.79 SECONDS
stats: 20985 7 1237.79 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/wulflinc9/normalized-mps-v2-20-10-markshare1.opb
c reading problem ... done. Time 0.528 ms.
c #vars     230
c #constraints  12
c starts	: 4
c conflicts	: 618
c decisions	: 8167
c propagations	: 20602
c inspects	: 3016687
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 618
c root simplifications	: 622
s UNKNOWN
c Total CPU time (ms) : 1219.32
#### 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.94 1.00 0.99 2/54 18607
Raw data (stat): 18607 (runsolver) R 18606 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779482950 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.0001 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18109 0 1 0 665 42 0 0 25 0 11 0 779482950 870174720 22493 4294967295 134512640 134569956 3221224368 3221214576 1131179011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212445 22493 13086 16 0 212429 0
vsize: 849780
[startup+20.0243 s]
Raw data (loadavg): 1.10 1.03 1.00 3/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18109 0 1 0 1622 42 0 0 25 0 11 0 779482950 871112704 22905 4294967295 134512640 134569956 3221224368 3221213924 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212674 22905 13086 16 0 212658 0
vsize: 850696
[startup+30.0246 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 2596 42 0 0 25 0 11 0 779482950 869994496 22764 4294967295 134512640 134569956 3221224368 3221214648 1131498702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 22764 13086 16 0 212385 0
vsize: 849604
[startup+40.0244 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 3566 42 0 0 25 0 11 0 779482950 869994496 22843 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 22843 13086 16 0 212385 0
vsize: 849604
[startup+50.0247 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 4543 42 0 0 25 0 11 0 779482950 869994496 23038 4294967295 134512640 134569956 3221224368 3221214648 1131501261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23038 13086 16 0 212385 0
vsize: 849604
[startup+60.0251 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 5527 42 0 0 24 0 11 0 779482950 869994496 23091 4294967295 134512640 134569956 3221224368 3221214648 1131498734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23091 13086 16 0 212385 0
vsize: 849604
[startup+70.0257 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 6516 42 0 0 25 0 11 0 779482950 869994496 23132 4294967295 134512640 134569956 3221224368 3221214648 1131506650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23132 13086 16 0 212385 0
vsize: 849604
[startup+80.027 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 7505 42 0 0 25 0 11 0 779482950 869994496 23183 4294967295 134512640 134569956 3221224368 3221214552 1131170213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23183 13086 16 0 212385 0
vsize: 849604
[startup+90.0273 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 8493 42 0 0 25 0 11 0 779482950 869994496 23213 4294967295 134512640 134569956 3221224368 3221214552 1131170170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23213 13086 16 0 212385 0
vsize: 849604
[startup+100.027 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 9484 43 0 0 25 0 11 0 779482950 869994496 23238 4294967295 134512640 134569956 3221224368 3221214552 1131170079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23238 13086 16 0 212385 0
vsize: 849604
[startup+110.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 10475 43 0 0 25 0 11 0 779482950 869994496 23262 4294967295 134512640 134569956 3221224368 3221214528 1131565806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23262 13086 16 0 212385 0
vsize: 849604
[startup+120.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 11466 43 0 0 25 0 11 0 779482950 869994496 23284 4294967295 134512640 134569956 3221224368 3221214552 1131170735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23284 13086 16 0 212385 0
vsize: 849604
[startup+130.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 12457 43 0 0 25 0 11 0 779482950 869994496 23302 4294967295 134512640 134569956 3221224368 3221214648 1131508656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23302 13086 16 0 212385 0
vsize: 849604
[startup+140.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 13446 43 0 0 25 0 11 0 779482950 869994496 23320 4294967295 134512640 134569956 3221224368 3221214552 1131169975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23320 13086 16 0 212385 0
vsize: 849604
[startup+150.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 14434 43 0 0 25 0 11 0 779482950 869994496 23338 4294967295 134512640 134569956 3221224368 3221214552 1131171518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23338 13086 16 0 212385 0
vsize: 849604
[startup+160.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 15422 43 0 0 25 0 11 0 779482950 869994496 23367 4294967295 134512640 134569956 3221224368 3221214552 1131170158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23367 13086 16 0 212385 0
vsize: 849604
[startup+170.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18110 0 1 0 16413 43 0 0 25 0 11 0 779482950 869994496 23424 4294967295 134512640 134569956 3221224368 3221214648 1131498695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23424 13086 16 0 212385 0
vsize: 849604
[startup+180.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 17404 44 0 0 25 0 11 0 779482950 869994496 23441 4294967295 134512640 134569956 3221224368 3221214552 1131169975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23441 13086 16 0 212385 0
vsize: 849604
[startup+190.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 18396 44 0 0 25 0 11 0 779482950 869994496 23454 4294967295 134512640 134569956 3221224368 3221214552 1131171680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23454 13086 16 0 212385 0
vsize: 849604
[startup+200.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 19387 44 0 0 25 0 11 0 779482950 869994496 23468 4294967295 134512640 134569956 3221224368 3221214552 1131170850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23468 13086 16 0 212385 0
vsize: 849604
[startup+210.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 20380 44 0 0 25 0 11 0 779482950 869994496 23482 4294967295 134512640 134569956 3221224368 3221214648 1131502268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23482 13086 16 0 212385 0
vsize: 849604
[startup+220.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 21372 44 0 0 25 0 11 0 779482950 869994496 23496 4294967295 134512640 134569956 3221224368 3221214552 1131171744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23496 13086 16 0 212385 0
vsize: 849604
[startup+230.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 22363 44 0 0 25 0 11 0 779482950 869994496 23508 4294967295 134512640 134569956 3221224368 3221214648 1131501270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23508 13086 16 0 212385 0
vsize: 849604
[startup+240.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 23355 44 0 0 25 0 11 0 779482950 869994496 23520 4294967295 134512640 134569956 3221224368 3221214552 1131170704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23520 13086 16 0 212385 0
vsize: 849604
[startup+250.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 24346 44 0 0 25 0 11 0 779482950 869994496 23537 4294967295 134512640 134569956 3221224368 3221214552 1131170154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23537 13086 16 0 212385 0
vsize: 849604
[startup+260.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 25339 44 0 0 25 0 11 0 779482950 869994496 23550 4294967295 134512640 134569956 3221224368 3221214648 1131502299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23550 13086 16 0 212385 0
vsize: 849604
[startup+270.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 26330 44 0 0 25 0 11 0 779482950 869994496 23564 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23564 13086 16 0 212385 0
vsize: 849604
[startup+280.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 27323 45 0 0 25 0 11 0 779482950 869994496 23572 4294967295 134512640 134569956 3221224368 3221214648 1131501184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23572 13086 16 0 212385 0
vsize: 849604
[startup+290.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 28314 45 0 0 25 0 11 0 779482950 869994496 23585 4294967295 134512640 134569956 3221224368 3221214552 1131170102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23585 13086 16 0 212385 0
vsize: 849604
[startup+300.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 29307 45 0 0 25 0 11 0 779482950 869994496 23595 4294967295 134512640 134569956 3221224368 3221214552 1131169937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23595 13086 16 0 212385 0
vsize: 849604
[startup+310.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 30299 45 0 0 25 0 11 0 779482950 869994496 23607 4294967295 134512640 134569956 3221224368 3221214648 1131499752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23607 13086 16 0 212385 0
vsize: 849604
[startup+320.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 31292 45 0 0 25 0 11 0 779482950 869994496 23619 4294967295 134512640 134569956 3221224368 3221214552 1131170716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23619 13086 16 0 212385 0
vsize: 849604
[startup+330.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 32283 45 0 0 25 0 11 0 779482950 869994496 23627 4294967295 134512640 134569956 3221224368 3221214648 1131507426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23627 13086 16 0 212385 0
vsize: 849604
[startup+340.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 33276 45 0 0 25 0 11 0 779482950 869994496 23639 4294967295 134512640 134569956 3221224368 3221214552 1131170771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23639 13086 16 0 212385 0
vsize: 849604
[startup+350.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 34268 45 0 0 25 0 11 0 779482950 869994496 23649 4294967295 134512640 134569956 3221224368 3221214648 1131509376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23649 13086 16 0 212385 0
vsize: 849604
[startup+360.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 35260 45 0 0 25 0 11 0 779482950 869994496 23659 4294967295 134512640 134569956 3221224368 3221214552 1131170743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23659 13086 16 0 212385 0
vsize: 849604
[startup+370.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 36253 45 0 0 25 0 11 0 779482950 869994496 23667 4294967295 134512640 134569956 3221224368 3221214648 1131502268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23667 13086 16 0 212385 0
vsize: 849604
[startup+380.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 37244 45 0 0 25 0 11 0 779482950 869994496 23679 4294967295 134512640 134569956 3221224368 3221214648 1131501023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23679 13086 16 0 212385 0
vsize: 849604
[startup+390.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 38237 45 0 0 25 0 11 0 779482950 869994496 23689 4294967295 134512640 134569956 3221224368 3221214552 1131169937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23689 13086 16 0 212385 0
vsize: 849604
[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 39229 45 0 0 25 0 11 0 779482950 869994496 23699 4294967295 134512640 134569956 3221224368 3221214648 1131508684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23699 13086 16 0 212385 0
vsize: 849604
[startup+410.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 40221 45 0 0 25 0 11 0 779482950 869994496 23707 4294967295 134512640 134569956 3221224368 3221214552 1131170045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23707 13086 16 0 212385 0
vsize: 849604
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 41212 45 0 0 25 0 11 0 779482950 869994496 23715 4294967295 134512640 134569956 3221224368 3221214552 1131170113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23715 13086 16 0 212385 0
vsize: 849604
[startup+430.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 42205 45 0 0 25 0 11 0 779482950 869994496 23725 4294967295 134512640 134569956 3221224368 3221214648 1131499759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23725 13086 16 0 212385 0
vsize: 849604
[startup+440.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 43195 46 0 0 25 0 11 0 779482950 869994496 23735 4294967295 134512640 134569956 3221224368 3221214648 1131500863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23735 13086 16 0 212385 0
vsize: 849604
[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 44186 46 0 0 25 0 11 0 779482950 869994496 23743 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23743 13086 16 0 212385 0
vsize: 849604
[startup+460.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 45177 47 0 0 25 0 11 0 779482950 869994496 23753 4294967295 134512640 134569956 3221224368 3221214648 1131499806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23753 13086 16 0 212385 0
vsize: 849604
[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 46166 47 0 0 25 0 11 0 779482950 869994496 23763 4294967295 134512640 134569956 3221224368 3221214648 1131506710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23763 13086 16 0 212385 0
vsize: 849604
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 47156 48 0 0 25 0 11 0 779482950 869994496 23771 4294967295 134512640 134569956 3221224368 3221214648 1131498734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23771 13086 16 0 212385 0
vsize: 849604
[startup+490.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 48141 48 0 0 25 0 11 0 779482950 869994496 23780 4294967295 134512640 134569956 3221224368 3221214552 1131171670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23780 13086 16 0 212385 0
vsize: 849604
[startup+500.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 49125 49 0 0 25 0 11 0 779482950 869994496 23805 4294967295 134512640 134569956 3221224368 3221214648 1131500961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23805 13086 16 0 212385 0
vsize: 849604
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 50109 49 0 0 25 0 11 0 779482950 869994496 23818 4294967295 134512640 134569956 3221224368 3221214552 1131170805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23818 13086 16 0 212385 0
vsize: 849604
[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 51097 49 0 0 25 0 11 0 779482950 869994496 23894 4294967295 134512640 134569956 3221224368 3221214648 1131501188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23894 13086 16 0 212385 0
vsize: 849604
[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 52087 50 0 0 25 0 11 0 779482950 869994496 23912 4294967295 134512640 134569956 3221224368 3221214552 1131170154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23912 13086 16 0 212385 0
vsize: 849604
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 53077 50 0 0 25 0 11 0 779482950 869994496 23920 4294967295 134512640 134569956 3221224368 3221214552 1131170667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23920 13086 16 0 212385 0
vsize: 849604
[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 54069 50 0 0 25 0 11 0 779482950 869994496 23928 4294967295 134512640 134569956 3221224368 3221214552 1131169977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23928 13086 16 0 212385 0
vsize: 849604
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 55059 51 0 0 25 0 11 0 779482950 869994496 23936 4294967295 134512640 134569956 3221224368 3221214552 1131170823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23936 13086 16 0 212385 0
vsize: 849604
[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 56051 51 0 0 25 0 11 0 779482950 869994496 23944 4294967295 134512640 134569956 3221224368 3221214832 1131164953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23944 13086 16 0 212385 0
vsize: 849604
[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 57041 52 0 0 25 0 11 0 779482950 869994496 23951 4294967295 134512640 134569956 3221224368 3221214552 1131170154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23951 13086 16 0 212385 0
vsize: 849604
[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 58032 52 0 0 25 0 11 0 779482950 869994496 23959 4294967295 134512640 134569956 3221224368 3221214648 1131498702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23959 13086 16 0 212385 0
vsize: 849604
[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 59022 53 0 0 25 0 11 0 779482950 869994496 23967 4294967295 134512640 134569956 3221224368 3221214552 1131170253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 23967 13086 16 0 212385 0
vsize: 849604
[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 60013 53 0 0 25 0 11 0 779482950 869994496 23975 4294967295 134512640 134569956 3221224368 3221214560 1131166617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23975 13086 16 0 212385 0
vsize: 849604
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 61005 53 0 0 25 0 11 0 779482950 869994496 23983 4294967295 134512640 134569956 3221224368 3221214648 1131507712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23983 13086 16 0 212385 0
vsize: 849604
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 61996 53 0 0 25 0 11 0 779482950 869994496 23989 4294967295 134512640 134569956 3221224368 3221214648 1131499956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23989 13086 16 0 212385 0
vsize: 849604
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 62987 53 0 0 25 0 11 0 779482950 869994496 23997 4294967295 134512640 134569956 3221224368 3221214648 1131502349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 23997 13086 16 0 212385 0
vsize: 849604
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 63978 53 0 0 25 0 11 0 779482950 869994496 24003 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24003 13086 16 0 212385 0
vsize: 849604
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 64969 53 0 0 25 0 11 0 779482950 869994496 24011 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24011 13086 16 0 212385 0
vsize: 849604
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 65960 53 0 0 25 0 11 0 779482950 869994496 24017 4294967295 134512640 134569956 3221224368 3221214552 1131169876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24017 13086 16 0 212385 0
vsize: 849604
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 66952 53 0 0 25 0 11 0 779482950 869994496 24025 4294967295 134512640 134569956 3221224368 3221214552 1131171722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24025 13086 16 0 212385 0
vsize: 849604
[startup+690.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 67943 54 0 0 25 0 11 0 779482950 869994496 24031 4294967295 134512640 134569956 3221224368 3221214552 1131170259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24031 13086 16 0 212385 0
vsize: 849604
[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 68934 54 0 0 25 0 11 0 779482950 869994496 24039 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24039 13086 16 0 212385 0
vsize: 849604
[startup+710.163 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 69935 54 0 0 25 0 11 0 779482950 869994496 24047 4294967295 134512640 134569956 3221224368 3221214648 1131507708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24047 13086 16 0 212385 0
vsize: 849604
[startup+720.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 70926 54 0 0 25 0 11 0 779482950 869994496 24055 4294967295 134512640 134569956 3221224368 3221214552 1131170743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24055 13086 16 0 212385 0
vsize: 849604
[startup+730.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 71917 54 0 0 25 0 11 0 779482950 869994496 24061 4294967295 134512640 134569956 3221224368 3221214528 1131566184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24061 13086 16 0 212385 0
vsize: 849604
[startup+740.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 72908 55 0 0 25 0 11 0 779482950 869994496 24065 4294967295 134512640 134569956 3221224368 3221214560 1131165568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24065 13086 16 0 212385 0
vsize: 849604
[startup+750.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 73899 55 0 0 25 0 11 0 779482950 869994496 24073 4294967295 134512640 134569956 3221224368 3221214552 1131169926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24073 13086 16 0 212385 0
vsize: 849604
[startup+760.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 74890 55 0 0 25 0 11 0 779482950 869994496 24079 4294967295 134512640 134569956 3221224368 3221214648 1131498734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24079 13086 16 0 212385 0
vsize: 849604
[startup+770.166 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 75881 55 0 0 25 0 11 0 779482950 869994496 24087 4294967295 134512640 134569956 3221224368 3221214648 1131501019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24087 13086 16 0 212385 0
vsize: 849604
[startup+780.168 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 76872 55 0 0 25 0 11 0 779482950 869994496 24093 4294967295 134512640 134569956 3221224368 3221214648 1131500868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24093 13086 16 0 212385 0
vsize: 849604
[startup+790.168 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 77863 55 0 0 25 0 11 0 779482950 869994496 24101 4294967295 134512640 134569956 3221224368 3221214552 1131169975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24101 13086 16 0 212385 0
vsize: 849604
[startup+800.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 78855 55 0 0 25 0 11 0 779482950 869994496 24105 4294967295 134512640 134569956 3221224368 3221214552 1131170113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24105 13086 16 0 212385 0
vsize: 849604
[startup+810.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 79845 55 0 0 25 0 11 0 779482950 869994496 24113 4294967295 134512640 134569956 3221224368 3221214648 1131508635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24113 13086 16 0 212385 0
vsize: 849604
[startup+820.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 80838 55 0 0 25 0 11 0 779482950 869994496 24119 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24119 13086 16 0 212385 0
vsize: 849604
[startup+830.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) S 18606 3944 3943 0 -1 0 18111 0 1 0 81829 55 0 0 25 0 11 0 779482950 869994496 24125 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24125 13086 16 0 212385 0
vsize: 849604
[startup+840.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 82819 55 0 0 25 0 11 0 779482950 869994496 24133 4294967295 134512640 134569956 3221224368 3221214648 1131508464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24133 13086 16 0 212385 0
vsize: 849604
[startup+850.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 83810 55 0 0 25 0 11 0 779482950 869994496 24137 4294967295 134512640 134569956 3221224368 3221214648 1131502112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24137 13086 16 0 212385 0
vsize: 849604
[startup+860.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 84800 55 0 0 25 0 11 0 779482950 869994496 24143 4294967295 134512640 134569956 3221224368 3221214644 1131169856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24143 13086 16 0 212385 0
vsize: 849604
[startup+870.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 85791 55 0 0 25 0 11 0 779482950 869994496 24157 4294967295 134512640 134569956 3221224368 3221214552 1131170667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24157 13086 16 0 212385 0
vsize: 849604
[startup+880.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 86781 56 0 0 25 0 11 0 779482950 869994496 24163 4294967295 134512640 134569956 3221224368 3221214648 1131498345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24163 13086 16 0 212385 0
vsize: 849604
[startup+890.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 87772 56 0 0 25 0 11 0 779482950 869994496 24169 4294967295 134512640 134569956 3221224368 3221214560 1131166004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24169 13086 16 0 212385 0
vsize: 849604
[startup+900.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 88762 56 0 0 25 0 11 0 779482950 869994496 24175 4294967295 134512640 134569956 3221224368 3221214648 1131501064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24175 13086 16 0 212385 0
vsize: 849604
[startup+910.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 89753 56 0 0 25 0 11 0 779482950 869994496 24181 4294967295 134512640 134569956 3221224368 3221214644 1131165536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24181 13086 16 0 212385 0
vsize: 849604
[startup+920.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) S 18606 3944 3943 0 -1 0 18111 0 1 0 90744 56 0 0 25 0 11 0 779482950 869994496 24187 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24187 13086 16 0 212385 0
vsize: 849604
[startup+930.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 91734 56 0 0 25 0 11 0 779482950 869994496 24193 4294967295 134512640 134569956 3221224368 3221214832 1131164953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24193 13086 16 0 212385 0
vsize: 849604
[startup+940.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 92726 56 0 0 25 0 11 0 779482950 869994496 24197 4294967295 134512640 134569956 3221224368 3221214648 1131498702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24197 13086 16 0 212385 0
vsize: 849604
[startup+950.203 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 93716 56 0 0 25 0 11 0 779482950 869994496 24205 4294967295 134512640 134569956 3221224368 3221214552 1131170170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24205 13086 16 0 212385 0
vsize: 849604
[startup+960.204 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 94707 56 0 0 25 0 11 0 779482950 869994496 24211 4294967295 134512640 134569956 3221224368 3221214552 1131169973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24211 13086 16 0 212385 0
vsize: 849604
[startup+970.204 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 95697 56 0 0 25 0 11 0 779482950 869994496 24217 4294967295 134512640 134569956 3221224368 3221214552 1131170842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24217 13086 16 0 212385 0
vsize: 849604
[startup+980.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 96687 57 0 0 25 0 11 0 779482950 869994496 24221 4294967295 134512640 134569956 3221224368 3221214552 1131169937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24221 13086 16 0 212385 0
vsize: 849604
[startup+990.206 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 97678 57 0 0 25 0 11 0 779482950 869994496 24229 4294967295 134512640 134569956 3221224368 3221214648 1131508456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24229 13086 16 0 212385 0
vsize: 849604
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 98668 57 0 0 25 0 11 0 779482950 869994496 24235 4294967295 134512640 134569956 3221224368 3221214648 1131500861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24235 13086 16 0 212385 0
vsize: 849604
[startup+1010.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 99659 57 0 0 25 0 11 0 779482950 869994496 24239 4294967295 134512640 134569956 3221224368 3221214648 1131508464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24239 13086 16 0 212385 0
vsize: 849604
[startup+1020.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 100650 57 0 0 25 0 11 0 779482950 869994496 24245 4294967295 134512640 134569956 3221224368 3221214644 1131165536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24245 13086 16 0 212385 0
vsize: 849604
[startup+1030.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 101641 57 0 0 25 0 11 0 779482950 869994496 24251 4294967295 134512640 134569956 3221224368 3221214552 1131170154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24251 13086 16 0 212385 0
vsize: 849604
[startup+1040.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 102631 57 0 0 25 0 11 0 779482950 869994496 24257 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24257 13086 16 0 212385 0
vsize: 849604
[startup+1050.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 103621 58 0 0 25 0 11 0 779482950 869994496 24261 4294967295 134512640 134569956 3221224368 3221214648 1131508405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24261 13086 16 0 212385 0
vsize: 849604
[startup+1060.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 104612 58 0 0 25 0 11 0 779482950 869994496 24269 4294967295 134512640 134569956 3221224368 3221214552 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24269 13086 16 0 212385 0
vsize: 849604
[startup+1070.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 105602 58 0 0 25 0 11 0 779482950 869994496 24273 4294967295 134512640 134569956 3221224368 3221214552 1131170075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24273 13086 16 0 212385 0
vsize: 849604
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 106592 58 0 0 25 0 11 0 779482950 869994496 24279 4294967295 134512640 134569956 3221224368 3221214648 1131498702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24279 13086 16 0 212385 0
vsize: 849604
[startup+1090.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 107583 58 0 0 25 0 11 0 779482950 869994496 24285 4294967295 134512640 134569956 3221224368 3221214648 1131506495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24285 13086 16 0 212385 0
vsize: 849604
[startup+1100.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 108573 58 0 0 25 0 11 0 779482950 869994496 24291 4294967295 134512640 134569956 3221224368 3221214648 1131507682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24291 13086 16 0 212385 0
vsize: 849604
[startup+1110.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 109563 58 0 0 25 0 11 0 779482950 869994496 24295 4294967295 134512640 134569956 3221224368 3221214648 1131500773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24295 13086 16 0 212385 0
vsize: 849604
[startup+1120.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 110553 58 0 0 25 0 11 0 779482950 869994496 24301 4294967295 134512640 134569956 3221224368 3221214648 1131498734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24301 13086 16 0 212385 0
vsize: 849604
[startup+1130.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 111543 58 0 0 25 0 11 0 779482950 869994496 24307 4294967295 134512640 134569956 3221224368 3221214560 1131166617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24307 13086 16 0 212385 0
vsize: 849604
[startup+1140.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 112531 59 0 0 25 0 11 0 779482950 869994496 24311 4294967295 134512640 134569956 3221224368 3221214552 1131170006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24311 13086 16 0 212385 0
vsize: 849604
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 113521 59 0 0 25 0 11 0 779482950 869994496 24317 4294967295 134512640 134569956 3221224368 3221214552 1131170003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24317 13086 16 0 212385 0
vsize: 849604
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 114509 59 0 0 25 0 11 0 779482950 869994496 24323 4294967295 134512640 134569956 3221224368 3221214648 1131502328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24323 13086 16 0 212385 0
vsize: 849604
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 115498 60 0 0 25 0 11 0 779482950 869994496 24327 4294967295 134512640 134569956 3221224368 3221214552 1131171670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212401 24327 13086 16 0 212385 0
vsize: 849604
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 116487 60 0 0 25 0 11 0 779482950 869994496 24333 4294967295 134512640 134569956 3221224368 3221214648 1131498711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24333 13086 16 0 212385 0
vsize: 849604
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 117477 60 0 0 25 0 11 0 779482950 869994496 24339 4294967295 134512640 134569956 3221224368 3221214552 1131169929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24339 13086 16 0 212385 0
vsize: 849604
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 118464 61 0 0 25 0 11 0 779482950 869994496 24343 4294967295 134512640 134569956 3221224368 3221214648 1131507708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24343 13086 16 0 212385 0
vsize: 849604
[startup+1210.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 119454 61 0 0 25 0 11 0 779482950 869994496 24349 4294967295 134512640 134569956 3221224368 3221214552 1131170775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24349 13086 16 0 212385 0
vsize: 849604
[startup+1220.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18617
Raw data (stat): 18607 (java) R 18606 3944 3943 0 -1 0 18111 0 1 0 120444 61 0 0 25 0 11 0 779482950 869994496 24354 4294967295 134512640 134569956 3221224368 3221214560 1131165572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212401 24354 13086 16 0 212385 0
vsize: 849604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.35 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18619
Raw data (stat): 18607 (java) Z 18606 3944 3943 0 -1 1036 18111 15173 1 0 120447 66 3216 47 24 0 1 0 779482950 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): 1220.35
CPU time (s): 1237.79
CPU user time (s): 1236.65
CPU system time (s): 1.13983
CPU usage (%): 101.429
Max. virtual memory (Kb): 850696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####