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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb
MD5SUM	1d23f02bf686681d1b293e114d3bb612
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39177236543
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39177236543
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30072

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 14:29:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21476 boxname=wulflinc25 idbench=1464 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 21476
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        326832 kB
Buffers:         34208 kB
Cached:         649012 kB
SwapCached:        588 kB
Active:         112460 kB
Inactive:       573008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        326580 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16516 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:51:12 (client local time) WITH STATUS 143 IN 1309.68 SECONDS
stats: 21476 7 1309.68 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/wulflinc25/normalized-mps-v2-13-7-n3702.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.219
#### 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.86 0.97 0.99 2/54 14359
Raw data (stat): 14359 (runsolver) R 14358 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839620479 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+9.99992 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18009 0 1 0 880 35 0 0 25 0 10 0 839620479 853475328 19243 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208368 19243 13086 16 0 208352 0
vsize: 833472
[startup+20.0004 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 1783 35 0 0 25 0 10 0 839620479 854577152 19998 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208637 19998 13086 16 0 208621 0
vsize: 834548
[startup+30.0001 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 2674 35 0 0 25 0 10 0 839620479 853475328 20273 4294967295 134512640 134569956 3221224368 3221214364 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208368 20273 13086 16 0 208352 0
vsize: 833472
[startup+39.9997 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 3591 35 0 0 25 0 10 0 839620479 853934080 20678 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208480 20678 13086 16 0 208464 0
vsize: 833920
[startup+50.0022 s]
Raw data (loadavg): 1.15 1.02 1.01 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 4508 36 0 0 24 0 10 0 839620479 853934080 20849 4294967295 134512640 134569956 3221224368 3221214768 1131241021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208480 20849 13086 16 0 208464 0
vsize: 833920
[startup+60.0019 s]
Raw data (loadavg): 1.13 1.02 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 5430 36 0 0 25 0 10 0 839620479 853934080 20972 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208480 20972 13086 16 0 208464 0
vsize: 833920
[startup+70.0031 s]
Raw data (loadavg): 1.11 1.02 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 6360 36 0 0 25 0 10 0 839620479 853667840 21153 4294967295 134512640 134569956 3221224368 3221214768 1131239878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21153 13086 16 0 208399 0
vsize: 833660
[startup+80.003 s]
Raw data (loadavg): 1.09 1.02 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 7299 36 0 0 25 0 10 0 839620479 853667840 21254 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21254 13086 16 0 208399 0
vsize: 833660
[startup+90.0028 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 8240 36 0 0 25 0 10 0 839620479 853667840 21346 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21346 13086 16 0 208399 0
vsize: 833660
[startup+100.003 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 9184 36 0 0 25 0 10 0 839620479 853667840 21426 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21426 13086 16 0 208399 0
vsize: 833660
[startup+110.004 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 10126 36 0 0 25 0 10 0 839620479 853667840 21506 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21506 13086 16 0 208399 0
vsize: 833660
[startup+120.005 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 11068 36 0 0 25 0 10 0 839620479 853667840 21582 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21582 13086 16 0 208399 0
vsize: 833660
[startup+130.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 12010 37 0 0 24 0 10 0 839620479 853667840 21654 4294967295 134512640 134569956 3221224368 3221214644 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21654 13086 16 0 208399 0
vsize: 833660
[startup+140.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 12956 37 0 0 25 0 10 0 839620479 853667840 21718 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21718 13086 16 0 208399 0
vsize: 833660
[startup+150.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 13899 37 0 0 25 0 10 0 839620479 853667840 21784 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21784 13086 16 0 208399 0
vsize: 833660
[startup+160.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 14841 37 0 0 25 0 10 0 839620479 853667840 21847 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21847 13086 16 0 208399 0
vsize: 833660
[startup+170.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 15778 37 0 0 25 0 10 0 839620479 853667840 21906 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21906 13086 16 0 208399 0
vsize: 833660
[startup+180.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 16693 37 0 0 24 0 10 0 839620479 853667840 21964 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 21964 13086 16 0 208399 0
vsize: 833660
[startup+190.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 17619 37 0 0 25 0 10 0 839620479 853667840 22275 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22275 13086 16 0 208399 0
vsize: 833660
[startup+200.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 18558 37 0 0 25 0 10 0 839620479 853667840 22330 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22330 13086 16 0 208399 0
vsize: 833660
[startup+210.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 19500 37 0 0 25 0 10 0 839620479 853667840 22381 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22381 13086 16 0 208399 0
vsize: 833660
[startup+220.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 20439 38 0 0 25 0 10 0 839620479 853667840 22433 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22433 13086 16 0 208399 0
vsize: 833660
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 21378 38 0 0 24 0 10 0 839620479 853667840 22484 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22484 13086 16 0 208399 0
vsize: 833660
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 22319 38 0 0 25 0 10 0 839620479 853667840 22531 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22531 13086 16 0 208399 0
vsize: 833660
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 23256 39 0 0 25 0 10 0 839620479 853667840 22581 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22581 13086 16 0 208399 0
vsize: 833660
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 24197 39 0 0 25 0 10 0 839620479 853667840 22626 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22626 13086 16 0 208399 0
vsize: 833660
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 25133 39 0 0 25 0 10 0 839620479 853667840 22673 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22673 13086 16 0 208399 0
vsize: 833660
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 26069 39 0 0 25 0 10 0 839620479 853667840 22717 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22717 13086 16 0 208399 0
vsize: 833660
[startup+290.019 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 27008 39 0 0 25 0 10 0 839620479 853667840 22760 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22760 13086 16 0 208399 0
vsize: 833660
[startup+300.019 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 27944 39 0 0 24 0 10 0 839620479 853667840 22804 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22804 13086 16 0 208399 0
vsize: 833660
[startup+310.019 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 28882 39 0 0 25 0 10 0 839620479 853667840 22845 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22845 13086 16 0 208399 0
vsize: 833660
[startup+320.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 29816 39 0 0 24 0 10 0 839620479 853667840 22888 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22888 13086 16 0 208399 0
vsize: 833660
[startup+330.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 30754 39 0 0 25 0 10 0 839620479 853667840 22927 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22927 13086 16 0 208399 0
vsize: 833660
[startup+340.02 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 31687 39 0 0 25 0 10 0 839620479 853667840 22968 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 22968 13086 16 0 208399 0
vsize: 833660
[startup+350.02 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 32624 39 0 0 25 0 10 0 839620479 853667840 23006 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23006 13086 16 0 208399 0
vsize: 833660
[startup+360.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 33557 39 0 0 25 0 10 0 839620479 853667840 23046 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23046 13086 16 0 208399 0
vsize: 833660
[startup+370.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 34493 39 0 0 25 0 10 0 839620479 853667840 23084 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23084 13086 16 0 208399 0
vsize: 833660
[startup+380.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 35425 39 0 0 25 0 10 0 839620479 853667840 23122 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23122 13086 16 0 208399 0
vsize: 833660
[startup+390.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 36359 40 0 0 25 0 10 0 839620479 853667840 23159 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23159 13086 16 0 208399 0
vsize: 833660
[startup+400.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 37291 40 0 0 21 0 10 0 839620479 853667840 23196 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23196 13086 16 0 208399 0
vsize: 833660
[startup+410.027 s]
Raw data (loadavg): 1.01 1.00 1.00 3/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 38223 40 0 0 25 0 10 0 839620479 853667840 23232 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23232 13086 16 0 208399 0
vsize: 833660
[startup+420.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 39156 40 0 0 25 0 10 0 839620479 853667840 23268 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23268 13086 16 0 208399 0
vsize: 833660
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 40087 40 0 0 25 0 10 0 839620479 853667840 23302 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23302 13086 16 0 208399 0
vsize: 833660
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 41017 40 0 0 25 0 10 0 839620479 853667840 23337 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23337 13086 16 0 208399 0
vsize: 833660
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 41948 40 0 0 25 0 10 0 839620479 853667840 23371 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23371 13086 16 0 208399 0
vsize: 833660
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 42874 41 0 0 25 0 10 0 839620479 853667840 23405 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23405 13086 16 0 208399 0
vsize: 833660
[startup+470.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 43805 41 0 0 25 0 10 0 839620479 853667840 23438 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 23438 13086 16 0 208399 0
vsize: 833660
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 44736 41 0 0 25 0 10 0 839620479 853667840 23470 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23470 13086 16 0 208399 0
vsize: 833660
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 45661 41 0 0 25 0 10 0 839620479 853667840 23504 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23504 13086 16 0 208399 0
vsize: 833660
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 46590 42 0 0 25 0 10 0 839620479 853667840 23535 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23535 13086 16 0 208399 0
vsize: 833660
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 47518 42 0 0 25 0 10 0 839620479 853667840 23566 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23566 13086 16 0 208399 0
vsize: 833660
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 48442 42 0 0 25 0 10 0 839620479 853667840 23600 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23600 13086 16 0 208399 0
vsize: 833660
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 3/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 49370 43 0 0 25 0 10 0 839620479 853667840 23631 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23631 13086 16 0 208399 0
vsize: 833660
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 50298 43 0 0 25 0 10 0 839620479 853667840 23661 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23661 13086 16 0 208399 0
vsize: 833660
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 51220 43 0 0 24 0 10 0 839620479 853667840 23693 4294967295 134512640 134569956 3221224368 3221214216 1080019619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23693 13086 16 0 208399 0
vsize: 833660
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 52147 44 0 0 25 0 10 0 839620479 853667840 23722 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23722 13086 16 0 208399 0
vsize: 833660
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 53074 44 0 0 25 0 10 0 839620479 853667840 23752 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23752 13086 16 0 208399 0
vsize: 833660
[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 54000 45 0 0 25 0 10 0 839620479 853667840 23781 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23781 13086 16 0 208399 0
vsize: 833660
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 54922 45 0 0 25 0 10 0 839620479 853667840 23811 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23811 13086 16 0 208399 0
vsize: 833660
[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 55847 45 0 0 24 0 10 0 839620479 853667840 23840 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23840 13086 16 0 208399 0
vsize: 833660
[startup+610.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 56772 46 0 0 25 0 10 0 839620479 853667840 23868 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23868 13086 16 0 208399 0
vsize: 833660
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 57696 46 0 0 25 0 10 0 839620479 853667840 23896 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23896 13086 16 0 208399 0
vsize: 833660
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 58621 47 0 0 25 0 10 0 839620479 853667840 23924 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23924 13086 16 0 208399 0
vsize: 833660
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 59541 47 0 0 25 0 10 0 839620479 853667840 23952 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23952 13086 16 0 208399 0
vsize: 833660
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 60464 48 0 0 24 0 10 0 839620479 853667840 23981 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 23981 13086 16 0 208399 0
vsize: 833660
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 61388 48 0 0 25 0 10 0 839620479 853667840 24008 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 24008 13086 16 0 208399 0
vsize: 833660
[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 62306 48 0 0 25 0 10 0 839620479 853667840 24921 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 24921 13086 16 0 208399 0
vsize: 833660
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 63224 48 0 0 25 0 10 0 839620479 853667840 24921 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 24921 13086 16 0 208399 0
vsize: 833660
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 64138 49 0 0 25 0 10 0 839620479 853667840 24948 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 24948 13086 16 0 208399 0
vsize: 833660
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 65051 49 0 0 25 0 10 0 839620479 853667840 24975 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 24975 13086 16 0 208399 0
vsize: 833660
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 65962 49 0 0 25 0 10 0 839620479 853667840 25001 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25001 13086 16 0 208399 0
vsize: 833660
[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 66874 50 0 0 25 0 10 0 839620479 853667840 25027 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25027 13086 16 0 208399 0
vsize: 833660
[startup+730.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 67785 50 0 0 24 0 10 0 839620479 853667840 25053 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25053 13086 16 0 208399 0
vsize: 833660
[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 68697 50 0 0 24 0 10 0 839620479 853667840 25079 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25079 13086 16 0 208399 0
vsize: 833660
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 69608 51 0 0 24 0 10 0 839620479 853667840 25104 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25104 13086 16 0 208399 0
vsize: 833660
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 70523 51 0 0 25 0 10 0 839620479 853667840 25128 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25128 13086 16 0 208399 0
vsize: 833660
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 71435 52 0 0 25 0 10 0 839620479 853667840 25153 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25153 13086 16 0 208399 0
vsize: 833660
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 72345 52 0 0 25 0 10 0 839620479 853667840 25178 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25178 13086 16 0 208399 0
vsize: 833660
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 73255 53 0 0 25 0 10 0 839620479 853667840 25203 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25203 13086 16 0 208399 0
vsize: 833660
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 74164 53 0 0 25 0 10 0 839620479 853667840 25228 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25228 13086 16 0 208399 0
vsize: 833660
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 75074 53 0 0 25 0 10 0 839620479 853667840 25252 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25252 13086 16 0 208399 0
vsize: 833660
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 75982 54 0 0 25 0 10 0 839620479 853667840 25276 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25276 13086 16 0 208399 0
vsize: 833660
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 76891 54 0 0 24 0 10 0 839620479 853667840 25301 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25301 13086 16 0 208399 0
vsize: 833660
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 77805 54 0 0 25 0 10 0 839620479 853667840 25323 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25323 13086 16 0 208399 0
vsize: 833660
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 78713 55 0 0 25 0 10 0 839620479 853667840 25347 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25347 13086 16 0 208399 0
vsize: 833660
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 79621 55 0 0 21 0 10 0 839620479 853667840 25371 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25371 13086 16 0 208399 0
vsize: 833660
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 80530 55 0 0 25 0 10 0 839620479 853667840 25395 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25395 13086 16 0 208399 0
vsize: 833660
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 81437 56 0 0 25 0 10 0 839620479 853667840 25418 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25418 13086 16 0 208399 0
vsize: 833660
[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 82344 56 0 0 24 0 10 0 839620479 853667840 25441 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25441 13086 16 0 208399 0
vsize: 833660
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 83256 57 0 0 25 0 10 0 839620479 853667840 25464 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25464 13086 16 0 208399 0
vsize: 833660
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 84163 57 0 0 25 0 10 0 839620479 853667840 25488 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25488 13086 16 0 208399 0
vsize: 833660
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 85068 58 0 0 25 0 10 0 839620479 853667840 25517 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25517 13086 16 0 208399 0
vsize: 833660
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 85973 58 0 0 25 0 10 0 839620479 853667840 25542 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25542 13086 16 0 208399 0
vsize: 833660
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 86884 58 0 0 25 0 10 0 839620479 853667840 25564 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25564 13086 16 0 208399 0
vsize: 833660
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 87789 59 0 0 25 0 10 0 839620479 853667840 25594 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25594 13086 16 0 208399 0
vsize: 833660
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 88692 59 0 0 25 0 10 0 839620479 853667840 25623 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25623 13086 16 0 208399 0
vsize: 833660
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 89596 59 0 0 19 0 10 0 839620479 853667840 25645 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25645 13086 16 0 208399 0
vsize: 833660
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 90505 60 0 0 23 0 10 0 839620479 853667840 25666 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25666 13086 16 0 208399 0
vsize: 833660
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 91409 60 0 0 22 0 10 0 839620479 853667840 25688 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25688 13086 16 0 208399 0
vsize: 833660
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 92312 60 0 0 20 0 10 0 839620479 853667840 25724 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25724 13086 16 0 208399 0
vsize: 833660
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 93216 61 0 0 24 0 10 0 839620479 853667840 25745 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25745 13086 16 0 208399 0
vsize: 833660
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 94124 62 0 0 22 0 10 0 839620479 853667840 25767 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25767 13086 16 0 208399 0
vsize: 833660
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 95026 63 0 0 21 0 10 0 839620479 853667840 25800 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25800 13086 16 0 208399 0
vsize: 833660
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 95929 63 0 0 16 0 10 0 839620479 853667840 25821 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25821 13086 16 0 208399 0
vsize: 833660
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 96837 63 0 0 22 0 10 0 839620479 853667840 25847 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25847 13086 16 0 208399 0
vsize: 833660
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 97738 64 0 0 21 0 10 0 839620479 853667840 25874 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25874 13086 16 0 208399 0
vsize: 833660
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 98637 64 0 0 19 0 10 0 839620479 853667840 25898 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25898 13086 16 0 208399 0
vsize: 833660
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 99544 65 0 0 22 0 10 0 839620479 853667840 25920 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25920 13086 16 0 208399 0
vsize: 833660
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 100445 65 0 0 19 0 10 0 839620479 853667840 25946 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25946 13086 16 0 208399 0
vsize: 833660
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 101350 66 0 0 23 0 10 0 839620479 853667840 25969 4294967295 134512640 134569956 3221224368 3221213336 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25969 13086 16 0 208399 0
vsize: 833660
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 102251 66 0 0 21 0 10 0 839620479 853667840 25992 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 25992 13086 16 0 208399 0
vsize: 833660
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 103150 67 0 0 19 0 10 0 839620479 853667840 26019 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26019 13086 16 0 208399 0
vsize: 833660
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 104055 67 0 0 22 0 10 0 839620479 853667840 26041 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 26041 13086 16 0 208399 0
vsize: 833660
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 104954 68 0 0 21 0 10 0 839620479 853667840 26065 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26065 13086 16 0 208399 0
vsize: 833660
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 105855 68 0 0 24 0 10 0 839620479 853667840 26084 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26084 13086 16 0 208399 0
vsize: 833660
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 106759 68 0 0 21 0 10 0 839620479 853667840 26113 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26113 13086 16 0 208399 0
vsize: 833660
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 107657 68 0 0 19 0 10 0 839620479 853667840 26135 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26135 13086 16 0 208399 0
vsize: 833660
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 108562 68 0 0 22 0 10 0 839620479 853667840 26156 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26156 13086 16 0 208399 0
vsize: 833660
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 109460 69 0 0 20 0 10 0 839620479 853667840 26183 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26183 13086 16 0 208399 0
vsize: 833660
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 110363 69 0 0 23 0 10 0 839620479 853667840 26204 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26204 13086 16 0 208399 0
vsize: 833660
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 111258 70 0 0 20 0 10 0 839620479 853667840 26228 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26228 13086 16 0 208399 0
vsize: 833660
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 112161 70 0 0 24 0 10 0 839620479 853667840 26250 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26250 13086 16 0 208399 0
vsize: 833660
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 113059 70 0 0 21 0 10 0 839620479 853667840 26270 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26270 13086 16 0 208399 0
vsize: 833660
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 113956 71 0 0 19 0 10 0 839620479 853667840 26290 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26290 13086 16 0 208399 0
vsize: 833660
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 114860 71 0 0 22 0 10 0 839620479 853667840 26308 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26308 13086 16 0 208399 0
vsize: 833660
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 115757 71 0 0 19 0 10 0 839620479 853667840 26341 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26341 13086 16 0 208399 0
vsize: 833660
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 116660 72 0 0 21 0 10 0 839620479 853667840 26358 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26358 13086 16 0 208399 0
vsize: 833660
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 117557 72 0 0 19 0 10 0 839620479 853667840 26393 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26393 13086 16 0 208399 0
vsize: 833660
[startup+1290.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) S 14358 1586 1585 0 -1 0 18010 0 1 0 118471 72 0 0 23 0 10 0 839620479 853667840 26413 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26413 13086 16 0 208399 0
vsize: 833660
[startup+1300.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 119370 73 0 0 21 0 10 0 839620479 853667840 26441 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26441 13086 16 0 208399 0
vsize: 833660
[startup+1310.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 14368
Raw data (stat): 14359 (java) R 14358 1586 1585 0 -1 0 18010 0 1 0 120272 73 0 0 19 0 10 0 839620479 853667840 26463 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 26463 13086 16 0 208399 0
vsize: 833660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 14370
Raw data (stat): 14359 (java) Z 14358 1586 1585 0 -1 1036 18010 8137 1 0 120277 73 10573 43 20 0 1 0 839620479 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.3
CPU time (s): 1309.68
CPU user time (s): 1308.51
CPU system time (s): 1.16982
CPU usage (%): 99.953
Max. virtual memory (Kb): 834548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####