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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
MD5SUMcfa1bf2f1dd2df0f424e37a2971f8ba1
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 65500
Biggest coefficient in the objective function 16110321664000
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 32674140101032650
Number of bits of the sum of numbers in the objective function 55
Biggest number in a constraint 16110321664000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 32674140101032650
Number of bits of the biggest sum of numbers55
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.588909
Number of variables65880
Total number of constraints927
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints927
Minimum length of a constraint20
Maximum length of a constraint7460

Trace number 29822

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        636592 kB
Buffers:         33864 kB
Cached:         342216 kB
SwapCached:        640 kB
Active:          91460 kB
Inactive:       287088 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        636340 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13860 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:13:47 (client local time) WITH STATUS 143 IN 1316.68 SECONDS
stats: 21216 7 1316.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/wulflinc23/normalized-mps-v2-13-7-czprob.opb
c reading problem ... done. Time 1235.899 ms.
c #vars     65880
c #constraints  1777
c starts	: 1
c conflicts	: 1
c decisions	: 22726
c propagations	: 62339
c inspects	: 17879
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 1
s UNKNOWN
c Total CPU time (ms) : 1309.117
#### 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): 1.07 1.02 1.00 2/54 16013
Raw data (stat): 16013 (runsolver) R 16012 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838663456 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.14 1.03 1.01 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 877 36 0 0 25 0 10 0 838663456 854331392 19517 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208577 19517 13086 16 0 208561 0
vsize: 834308
[startup+20.0014 s]
Raw data (loadavg): 1.11 1.03 1.01 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 1773 36 0 0 25 0 10 0 838663456 854331392 20043 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208577 20043 13086 16 0 208561 0
vsize: 834308
[startup+30.001 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 2664 37 0 0 25 0 10 0 838663456 854331392 20546 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208577 20546 13086 16 0 208561 0
vsize: 834308
[startup+40.0022 s]
Raw data (loadavg): 1.08 1.03 1.01 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 3575 37 0 0 25 0 10 0 838663456 854949888 20993 4294967295 134512640 134569956 3221224368 3221214136 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208728 20993 13086 16 0 208712 0
vsize: 834912
[startup+50.0023 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 4499 37 0 0 25 0 10 0 838663456 854949888 21165 4294967295 134512640 134569956 3221224368 3221214768 1131239294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208728 21165 13086 16 0 208712 0
vsize: 834912
[startup+60.0059 s]
Raw data (loadavg): 1.06 1.03 1.00 2/63 16022
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 5414 37 0 0 25 0 10 0 838663456 854949888 21307 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208728 21307 13086 16 0 208712 0
vsize: 834912
[startup+70.0066 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 6344 37 0 0 25 0 10 0 838663456 854679552 21574 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 21574 13086 16 0 208646 0
vsize: 834648
[startup+80.0074 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 7280 38 0 0 24 0 10 0 838663456 854679552 21684 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 21684 13086 16 0 208646 0
vsize: 834648
[startup+90.0081 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 8222 38 0 0 25 0 10 0 838663456 854679552 21779 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 21779 13086 16 0 208646 0
vsize: 834648
[startup+100.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 9165 38 0 0 25 0 10 0 838663456 854679552 21866 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 21866 13086 16 0 208646 0
vsize: 834648
[startup+110.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 10108 38 0 0 25 0 10 0 838663456 854679552 21949 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 21949 13086 16 0 208646 0
vsize: 834648
[startup+120.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 11049 38 0 0 25 0 10 0 838663456 854679552 22031 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22031 13086 16 0 208646 0
vsize: 834648
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 11992 39 0 0 22 0 10 0 838663456 854679552 22103 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22103 13086 16 0 208646 0
vsize: 834648
[startup+140.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 12936 39 0 0 25 0 10 0 838663456 854679552 22173 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22173 13086 16 0 208646 0
vsize: 834648
[startup+150.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 13877 39 0 0 25 0 10 0 838663456 854679552 22243 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22243 13086 16 0 208646 0
vsize: 834648
[startup+160.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 14822 39 0 0 25 0 10 0 838663456 854679552 22307 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22307 13086 16 0 208646 0
vsize: 834648
[startup+170.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 15766 39 0 0 25 0 10 0 838663456 854679552 22369 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22369 13086 16 0 208646 0
vsize: 834648
[startup+180.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 16689 40 0 0 25 0 10 0 838663456 854679552 22429 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22429 13086 16 0 208646 0
vsize: 834648
[startup+190.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 17607 40 0 0 25 0 10 0 838663456 854679552 22487 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22487 13086 16 0 208646 0
vsize: 834648
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 18542 40 0 0 25 0 10 0 838663456 854679552 22799 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22799 13086 16 0 208646 0
vsize: 834648
[startup+210.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 19480 40 0 0 25 0 10 0 838663456 854679552 22857 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22857 13086 16 0 208646 0
vsize: 834648
[startup+220.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 20421 40 0 0 25 0 10 0 838663456 854679552 22910 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22910 13086 16 0 208646 0
vsize: 834648
[startup+230.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 21362 40 0 0 25 0 10 0 838663456 854679552 22962 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 22962 13086 16 0 208646 0
vsize: 834648
[startup+240.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 22299 40 0 0 24 0 10 0 838663456 854679552 23015 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23015 13086 16 0 208646 0
vsize: 834648
[startup+250.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 23239 40 0 0 25 0 10 0 838663456 854679552 23064 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23064 13086 16 0 208646 0
vsize: 834648
[startup+260.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 24178 41 0 0 25 0 10 0 838663456 854679552 23112 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23112 13086 16 0 208646 0
vsize: 834648
[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 25118 41 0 0 25 0 10 0 838663456 854679552 23159 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23159 13086 16 0 208646 0
vsize: 834648
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 26052 41 0 0 24 0 10 0 838663456 854679552 23208 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23208 13086 16 0 208646 0
vsize: 834648
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 26991 41 0 0 25 0 10 0 838663456 854679552 23253 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23253 13086 16 0 208646 0
vsize: 834648
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 27929 41 0 0 25 0 10 0 838663456 854679552 23297 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23297 13086 16 0 208646 0
vsize: 834648
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 28866 42 0 0 25 0 10 0 838663456 854679552 23341 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 23341 13086 16 0 208646 0
vsize: 834648
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 29799 42 0 0 24 0 10 0 838663456 854679552 23386 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23386 13086 16 0 208646 0
vsize: 834648
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 30734 42 0 0 25 0 10 0 838663456 854679552 23429 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23429 13086 16 0 208646 0
vsize: 834648
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 31669 42 0 0 21 0 10 0 838663456 854679552 23470 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23470 13086 16 0 208646 0
vsize: 834648
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 32603 43 0 0 25 0 10 0 838663456 854679552 23511 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23511 13086 16 0 208646 0
vsize: 834648
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 33537 43 0 0 25 0 10 0 838663456 854679552 23551 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23551 13086 16 0 208646 0
vsize: 834648
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 34467 43 0 0 24 0 10 0 838663456 854679552 23593 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23593 13086 16 0 208646 0
vsize: 834648
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 35401 43 0 0 25 0 10 0 838663456 854679552 23632 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23632 13086 16 0 208646 0
vsize: 834648
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 36333 44 0 0 25 0 10 0 838663456 854679552 23670 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23670 13086 16 0 208646 0
vsize: 834648
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 37265 44 0 0 25 0 10 0 838663456 854679552 23708 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23708 13086 16 0 208646 0
vsize: 834648
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 38196 45 0 0 25 0 10 0 838663456 854679552 23745 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23745 13086 16 0 208646 0
vsize: 834648
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 39126 46 0 0 25 0 10 0 838663456 854679552 23782 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23782 13086 16 0 208646 0
vsize: 834648
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 40057 46 0 0 25 0 10 0 838663456 854679552 23818 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23818 13086 16 0 208646 0
vsize: 834648
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 40988 46 0 0 25 0 10 0 838663456 854679552 23854 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23854 13086 16 0 208646 0
vsize: 834648
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 41914 47 0 0 24 0 10 0 838663456 854679552 23892 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23892 13086 16 0 208646 0
vsize: 834648
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 42844 48 0 0 24 0 10 0 838663456 854679552 23928 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23928 13086 16 0 208646 0
vsize: 834648
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 43774 48 0 0 25 0 10 0 838663456 854679552 23962 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23962 13086 16 0 208646 0
vsize: 834648
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16022
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 44705 48 0 0 25 0 10 0 838663456 854679552 23997 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 23997 13086 16 0 208646 0
vsize: 834648
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16023
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 45630 52 0 0 24 0 10 0 838663456 854679552 24031 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24031 13086 16 0 208646 0
vsize: 834648
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16075
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 46556 53 0 0 24 0 10 0 838663456 854679552 24064 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24064 13086 16 0 208646 0
vsize: 834648
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16075
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 47484 53 0 0 24 0 10 0 838663456 854679552 24097 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24097 13086 16 0 208646 0
vsize: 834648
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16075
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 48412 54 0 0 24 0 10 0 838663456 854679552 24130 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24130 13086 16 0 208646 0
vsize: 834648
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16075
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 49340 54 0 0 25 0 10 0 838663456 854679552 24162 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24162 13086 16 0 208646 0
vsize: 834648
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16075
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 50267 54 0 0 25 0 10 0 838663456 854679552 24195 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24195 13086 16 0 208646 0
vsize: 834648
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16075
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 51195 54 0 0 24 0 10 0 838663456 854679552 24226 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24226 13086 16 0 208646 0
vsize: 834648
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 52121 54 0 0 24 0 10 0 838663456 854679552 24258 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24258 13086 16 0 208646 0
vsize: 834648
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 53047 54 0 0 24 0 10 0 838663456 854679552 24289 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24289 13086 16 0 208646 0
vsize: 834648
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 53973 55 0 0 24 0 10 0 838663456 854679552 24320 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208662 24320 13086 16 0 208646 0
vsize: 834648
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 54900 55 0 0 25 0 10 0 838663456 854679552 24350 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24350 13086 16 0 208646 0
vsize: 834648
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 55828 56 0 0 25 0 10 0 838663456 854679552 24380 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24380 13086 16 0 208646 0
vsize: 834648
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 56753 56 0 0 25 0 10 0 838663456 854679552 24409 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24409 13086 16 0 208646 0
vsize: 834648
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 57677 56 0 0 25 0 10 0 838663456 854679552 24440 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24440 13086 16 0 208646 0
vsize: 834648
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 58601 56 0 0 25 0 10 0 838663456 854679552 24470 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24470 13086 16 0 208646 0
vsize: 834648
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 59526 57 0 0 25 0 10 0 838663456 854679552 24500 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24500 13086 16 0 208646 0
vsize: 834648
[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 60450 57 0 0 25 0 10 0 838663456 854679552 24529 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24529 13086 16 0 208646 0
vsize: 834648
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 61373 57 0 0 25 0 10 0 838663456 854679552 24558 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24558 13086 16 0 208646 0
vsize: 834648
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 62296 58 0 0 25 0 10 0 838663456 854679552 24587 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 24587 13086 16 0 208646 0
vsize: 834648
[startup+680.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 63213 58 0 0 25 0 10 0 838663456 854679552 25461 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25461 13086 16 0 208646 0
vsize: 834648
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 64136 58 0 0 24 0 10 0 838663456 854679552 25461 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25461 13086 16 0 208646 0
vsize: 834648
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 65055 59 0 0 25 0 10 0 838663456 854679552 25473 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25473 13086 16 0 208646 0
vsize: 834648
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 65968 59 0 0 25 0 10 0 838663456 854679552 25501 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25501 13086 16 0 208646 0
vsize: 834648
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 66881 59 0 0 25 0 10 0 838663456 854679552 25529 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25529 13086 16 0 208646 0
vsize: 834648
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 67793 60 0 0 25 0 10 0 838663456 854679552 25555 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25555 13086 16 0 208646 0
vsize: 834648
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 68710 60 0 0 25 0 10 0 838663456 854679552 25582 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25582 13086 16 0 208646 0
vsize: 834648
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 69621 61 0 0 25 0 10 0 838663456 854679552 25609 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25609 13086 16 0 208646 0
vsize: 834648
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 70533 61 0 0 25 0 10 0 838663456 854679552 25636 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25636 13086 16 0 208646 0
vsize: 834648
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 71448 62 0 0 25 0 10 0 838663456 854679552 25661 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25661 13086 16 0 208646 0
vsize: 834648
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 72359 62 0 0 25 0 10 0 838663456 854679552 25688 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25688 13086 16 0 208646 0
vsize: 834648
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 73269 63 0 0 25 0 10 0 838663456 854679552 25714 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25714 13086 16 0 208646 0
vsize: 834648
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 74182 63 0 0 25 0 10 0 838663456 854679552 25739 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25739 13086 16 0 208646 0
vsize: 834648
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 75094 63 0 0 25 0 10 0 838663456 854679552 25766 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25766 13086 16 0 208646 0
vsize: 834648
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16077
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 76003 64 0 0 25 0 10 0 838663456 854679552 25792 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25792 13086 16 0 208646 0
vsize: 834648
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 76912 64 0 0 24 0 10 0 838663456 854679552 25818 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25818 13086 16 0 208646 0
vsize: 834648
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 77826 65 0 0 25 0 10 0 838663456 854679552 25842 4294967295 134512640 134569956 3221224368 3221214152 1076460984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25842 13086 16 0 208646 0
vsize: 834648
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 78735 65 0 0 25 0 10 0 838663456 854679552 25867 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25867 13086 16 0 208646 0
vsize: 834648
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 79646 66 0 0 25 0 10 0 838663456 854679552 25891 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25891 13086 16 0 208646 0
vsize: 834648
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 80557 66 0 0 25 0 10 0 838663456 854679552 25916 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25916 13086 16 0 208646 0
vsize: 834648
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 81465 67 0 0 25 0 10 0 838663456 854679552 25941 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25941 13086 16 0 208646 0
vsize: 834648
[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 82377 67 0 0 25 0 10 0 838663456 854679552 25965 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25965 13086 16 0 208646 0
vsize: 834648
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 83286 67 0 0 25 0 10 0 838663456 854679552 25989 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 25989 13086 16 0 208646 0
vsize: 834648
[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 84193 67 0 0 24 0 10 0 838663456 854679552 26014 4294967295 134512640 134569956 3221224368 3221214216 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26014 13086 16 0 208646 0
vsize: 834648
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 85105 68 0 0 25 0 10 0 838663456 854679552 26037 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26037 13086 16 0 208646 0
vsize: 834648
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 86010 68 0 0 25 0 10 0 838663456 854679552 26061 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26061 13086 16 0 208646 0
vsize: 834648
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 86923 68 0 0 25 0 10 0 838663456 854679552 26084 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26084 13086 16 0 208646 0
vsize: 834648
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 87828 69 0 0 25 0 10 0 838663456 854679552 26108 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26108 13086 16 0 208646 0
vsize: 834648
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 88735 69 0 0 25 0 10 0 838663456 854679552 26131 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26131 13086 16 0 208646 0
vsize: 834648
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 89644 70 0 0 25 0 10 0 838663456 854679552 26155 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26155 13086 16 0 208646 0
vsize: 834648
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 90547 70 0 0 24 0 10 0 838663456 854679552 26178 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26178 13086 16 0 208646 0
vsize: 834648
[startup+990.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 91456 71 0 0 25 0 10 0 838663456 854679552 26201 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26201 13086 16 0 208646 0
vsize: 834648
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 92359 72 0 0 25 0 10 0 838663456 854679552 26224 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26224 13086 16 0 208646 0
vsize: 834648
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 93269 72 0 0 25 0 10 0 838663456 854679552 26246 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26246 13086 16 0 208646 0
vsize: 834648
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 94172 73 0 0 25 0 10 0 838663456 854679552 26270 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26270 13086 16 0 208646 0
vsize: 834648
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 95082 73 0 0 25 0 10 0 838663456 854679552 26292 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26292 13086 16 0 208646 0
vsize: 834648
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 95985 74 0 0 25 0 10 0 838663456 854679552 26315 4294967295 134512640 134569956 3221224368 3221214752 1131239644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26315 13086 16 0 208646 0
vsize: 834648
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 96893 74 0 0 25 0 10 0 838663456 854679552 26336 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26336 13086 16 0 208646 0
vsize: 834648
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 97796 75 0 0 25 0 10 0 838663456 854679552 26359 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26359 13086 16 0 208646 0
vsize: 834648
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 98704 75 0 0 25 0 10 0 838663456 854679552 26380 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26380 13086 16 0 208646 0
vsize: 834648
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 99607 76 0 0 25 0 10 0 838663456 854679552 26403 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26403 13086 16 0 208646 0
vsize: 834648
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 100513 76 0 0 25 0 10 0 838663456 854679552 26424 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26424 13086 16 0 208646 0
vsize: 834648
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 101413 77 0 0 25 0 10 0 838663456 854679552 26447 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26447 13086 16 0 208646 0
vsize: 834648
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 102320 77 0 0 25 0 10 0 838663456 854679552 26472 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26472 13086 16 0 208646 0
vsize: 834648
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 103222 77 0 0 25 0 10 0 838663456 854679552 26498 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26498 13086 16 0 208646 0
vsize: 834648
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 104129 78 0 0 25 0 10 0 838663456 854679552 26521 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26521 13086 16 0 208646 0
vsize: 834648
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 105028 79 0 0 24 0 10 0 838663456 854679552 26548 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26548 13086 16 0 208646 0
vsize: 834648
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 105933 79 0 0 25 0 10 0 838663456 854679552 26572 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26572 13086 16 0 208646 0
vsize: 834648
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 106838 79 0 0 25 0 10 0 838663456 854679552 26594 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26594 13086 16 0 208646 0
vsize: 834648
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 107738 79 0 0 25 0 10 0 838663456 854679552 26616 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26616 13086 16 0 208646 0
vsize: 834648
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 108643 80 0 0 25 0 10 0 838663456 854679552 26643 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26643 13086 16 0 208646 0
vsize: 834648
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 109541 81 0 0 25 0 10 0 838663456 854679552 26669 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26669 13086 16 0 208646 0
vsize: 834648
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18009 0 1 0 110446 81 0 0 25 0 10 0 838663456 854679552 26689 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26689 13086 16 0 208646 0
vsize: 834648
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16079
Raw data (stat): 16013 (java) S 16012 5562 5561 0 -1 0 18009 0 1 0 111346 81 0 0 25 0 10 0 838663456 854679552 26715 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 26715 13086 16 0 208646 0
vsize: 834648
[startup+1220.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18027 0 1 0 112169 83 0 0 25 0 10 0 838663456 854679552 28813 4294967295 134512640 134569956 3221224368 3221214248 1131316100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 28813 13086 16 0 208646 0
vsize: 834648
[startup+1230.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 16079
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18027 0 1 0 113047 84 0 0 25 0 10 0 838663456 854679552 30242 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208662 30242 13086 16 0 208646 0
vsize: 834648
[startup+1240.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18054 0 1 0 113903 86 0 0 25 0 11 0 838663456 857305088 34686 4294967295 134512640 134569956 3221224368 3221214504 1131322220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209303 34686 13086 16 0 209287 0
vsize: 837212
[startup+1250.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 114895 86 0 0 25 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214560 1131437530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 34708 13086 16 0 209287 0
vsize: 837212
[startup+1260.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 115886 86 0 0 25 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214504 1131322169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 34708 13086 16 0 209287 0
vsize: 837212
[startup+1270.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 116868 86 0 0 25 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214504 1131323438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 34708 13086 16 0 209287 0
vsize: 837212
[startup+1280.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 117849 86 0 0 24 0 11 0 838663456 857305088 34708 4294967295 134512640 134569956 3221224368 3221214504 1131322064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209303 34708 13086 16 0 209287 0
vsize: 837212
[startup+1290.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 118831 87 0 0 25 0 11 0 838663456 856256512 34618 4294967295 134512640 134569956 3221224368 3221214656 1131403996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209047 34618 13086 16 0 209031 0
vsize: 836188
[startup+1300.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 119823 87 0 0 25 0 11 0 838663456 856256512 34618 4294967295 134512640 134569956 3221224368 3221214424 1131229044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209047 34618 13086 16 0 209031 0
vsize: 836188
[startup+1310.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16080
Raw data (stat): 16013 (java) R 16012 5562 5561 0 -1 0 18064 0 1 0 120814 87 0 0 25 0 11 0 838663456 856256512 34620 4294967295 134512640 134569956 3221224368 3221214424 1131228614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209047 34620 13086 16 0 209031 0
vsize: 836188
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.18 s]
Raw data (loadavg): 1.01 1.01 1.00 1/54 16082
Raw data (stat): 16013 (java) Z 16012 5562 5561 0 -1 1036 18064 19078 1 0 120816 94 10689 68 25 0 1 0 838663456 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.18
CPU time (s): 1316.68
CPU user time (s): 1315.06
CPU system time (s): 1.62275
CPU usage (%): 100.496
Max. virtual memory (Kb): 837212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####