PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM	388cec2ad329df6f021dfbdc92f512ad
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	3774
Biggest coefficient in the objective function	3604480000000000
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	483609165299803395
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	3604480000000000
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	483609165299803395
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05999
Number of variables	6363
Total number of constraints	952
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	113
Number of constraints which are nor clauses,nor cardinality constraints	839
Minimum length of a constraint	1
Maximum length of a constraint	141
Trace number 29616

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        697096 kB
Buffers:         28532 kB
Cached:         279480 kB
SwapCached:       3972 kB
Active:          63188 kB
Inactive:       251724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        696844 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16904 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:55:29 (client local time) WITH STATUS 143 IN 1223.58 SECONDS
stats: 21020 7 1223.58 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/wulflinc1/normalized-mps-v2-20-10-timtab2.opb
c reading problem ... done. Time 15.614 ms.
c #vars     6363
c #constraints  1079
c starts	: 11
c conflicts	: 11662
c decisions	: 13138
c propagations	: 62554
c inspects	: 4253856
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 11662
c root simplifications	: 11
s UNKNOWN
c Total CPU time (ms) : 1229.097
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 20373
Raw data (stat): 20373 (runsolver) R 20372 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 722761621 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.97 0.99 2/64 20382
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18021 0 1 0 868 36 0 0 20 0 10 0 722761621 853860352 19513 4294967295 134512640 134569956 3221224368 3221214336 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 19513 13086 16 0 208446 0
vsize: 833848
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.97 0.99 4/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18111 0 1 0 1736 36 0 0 25 0 11 0 722761621 868675584 23163 4294967295 134512640 134569956 3221224368 3221214616 1130885186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212079 23163 13086 16 0 212063 0
vsize: 848316
[startup+30.0016 s]
Raw data (loadavg): 1.21 1.04 1.01 4/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18123 0 1 0 2353 37 0 0 25 0 11 0 722761621 873816064 26229 4294967295 134512640 134569956 3221224368 3221214464 1131232708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213334 26229 13086 16 0 213318 0
vsize: 853336
[startup+40.0015 s]
Raw data (loadavg): 1.49 1.10 1.03 3/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 3198 37 0 0 25 0 11 0 722761621 877998080 28105 4294967295 134512640 134569956 3221224368 3221214356 1076460978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214355 28105 13086 16 0 214339 0
vsize: 857420
[startup+50.0022 s]
Raw data (loadavg): 1.57 1.13 1.04 3/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 4130 37 0 0 25 0 11 0 722761621 877174784 28084 4294967295 134512640 134569956 3221224368 3221214544 1131326825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214154 28084 13086 16 0 214138 0
vsize: 856616
[startup+60.0018 s]
Raw data (loadavg): 1.55 1.14 1.05 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 5082 37 0 0 25 0 11 0 722761621 874893312 27790 4294967295 134512640 134569956 3221224368 3221214552 1131288231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 27790 13086 16 0 213581 0
vsize: 854388
[startup+70.0022 s]
Raw data (loadavg): 1.47 1.14 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 6051 37 0 0 25 0 11 0 722761621 874893312 28055 4294967295 134512640 134569956 3221224368 3221214340 1131741746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 28055 13086 16 0 213581 0
vsize: 854388
[startup+80.0024 s]
Raw data (loadavg): 1.39 1.13 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 7018 38 0 0 25 0 11 0 722761621 874893312 28454 4294967295 134512640 134569956 3221224368 3221214408 1131741704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 28454 13086 16 0 213581 0
vsize: 854388
[startup+90.0023 s]
Raw data (loadavg): 1.37 1.14 1.05 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 7985 38 0 0 25 0 11 0 722761621 874893312 28751 4294967295 134512640 134569956 3221224368 3221214136 1131741679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 28751 13086 16 0 213581 0
vsize: 854388
[startup+100.003 s]
Raw data (loadavg): 1.32 1.13 1.05 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 8953 38 0 0 25 0 11 0 722761621 874893312 29031 4294967295 134512640 134569956 3221224368 3221213896 1131746001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 29031 13086 16 0 213581 0
vsize: 854388
[startup+110.004 s]
Raw data (loadavg): 1.27 1.13 1.05 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 9932 38 0 0 25 0 11 0 722761621 874893312 29164 4294967295 134512640 134569956 3221224368 3221214312 1131745940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 29164 13086 16 0 213581 0
vsize: 854388
[startup+120.004 s]
Raw data (loadavg): 1.23 1.12 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 10900 39 0 0 25 0 11 0 722761621 874893312 29490 4294967295 134512640 134569956 3221224368 3221214552 1131257697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 29490 13086 16 0 213581 0
vsize: 854388
[startup+130.005 s]
Raw data (loadavg): 1.19 1.12 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 11871 39 0 0 25 0 11 0 722761621 874893312 29690 4294967295 134512640 134569956 3221224368 3221214168 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 29690 13086 16 0 213581 0
vsize: 854388
[startup+140.005 s]
Raw data (loadavg): 1.16 1.12 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 12842 39 0 0 25 0 11 0 722761621 874893312 29870 4294967295 134512640 134569956 3221224368 3221214504 1131485345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 29870 13086 16 0 213581 0
vsize: 854388
[startup+150.006 s]
Raw data (loadavg): 1.14 1.11 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 13822 39 0 0 25 0 11 0 722761621 874893312 30048 4294967295 134512640 134569956 3221224368 3221213776 1131785137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 30048 13086 16 0 213581 0
vsize: 854388
[startup+160.006 s]
Raw data (loadavg): 1.11 1.11 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 14801 39 0 0 25 0 11 0 722761621 874893312 30257 4294967295 134512640 134569956 3221224368 3221214648 1131748925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 30257 13086 16 0 213581 0
vsize: 854388
[startup+170.006 s]
Raw data (loadavg): 1.10 1.10 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 15781 39 0 0 25 0 11 0 722761621 874893312 30414 4294967295 134512640 134569956 3221224368 3221214024 1131741660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 30414 13086 16 0 213581 0
vsize: 854388
[startup+180.006 s]
Raw data (loadavg): 1.08 1.10 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 16760 39 0 0 25 0 11 0 722761621 874893312 30589 4294967295 134512640 134569956 3221224368 3221214552 1131257697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 30589 13086 16 0 213581 0
vsize: 854388
[startup+190.008 s]
Raw data (loadavg): 1.07 1.10 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 17741 39 0 0 25 0 11 0 722761621 874893312 30728 4294967295 134512640 134569956 3221224368 3221213776 1131785412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 30728 13086 16 0 213581 0
vsize: 854388
[startup+200.008 s]
Raw data (loadavg): 1.06 1.09 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 18711 40 0 0 25 0 11 0 722761621 874893312 30937 4294967295 134512640 134569956 3221224368 3221214696 1131256679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 30937 13086 16 0 213581 0
vsize: 854388
[startup+210.008 s]
Raw data (loadavg): 1.05 1.09 1.04 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 19701 40 0 0 25 0 11 0 722761621 874893312 31058 4294967295 134512640 134569956 3221224368 3221214704 1131783599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 31058 13086 16 0 213581 0
vsize: 854388
[startup+220.007 s]
Raw data (loadavg): 1.04 1.08 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 20679 40 0 0 25 0 11 0 722761621 874893312 31172 4294967295 134512640 134569956 3221224368 3221213888 1085679343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 31172 13086 16 0 213581 0
vsize: 854388
[startup+230.007 s]
Raw data (loadavg): 1.03 1.08 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 21667 40 0 0 25 0 11 0 722761621 874893312 31350 4294967295 134512640 134569956 3221224368 3221214424 1131746001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 31350 13086 16 0 213581 0
vsize: 854388
[startup+240.007 s]
Raw data (loadavg): 1.03 1.08 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18129 0 1 0 22646 40 0 0 25 0 11 0 722761621 874893312 31528 4294967295 134512640 134569956 3221224368 3221214056 1085632281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 31528 13086 16 0 213581 0
vsize: 854388
[startup+250.009 s]
Raw data (loadavg): 1.02 1.08 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 23625 40 0 0 25 0 11 0 722761621 874893312 31664 4294967295 134512640 134569956 3221224368 3221214028 1131746000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 31664 13086 16 0 213581 0
vsize: 854388
[startup+260.009 s]
Raw data (loadavg): 1.02 1.07 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 24614 41 0 0 25 0 11 0 722761621 874893312 31733 4294967295 134512640 134569956 3221224368 3221214464 1131783189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 31733 13086 16 0 213581 0
vsize: 854388
[startup+270.008 s]
Raw data (loadavg): 1.02 1.07 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 25593 41 0 0 25 0 11 0 722761621 874893312 31855 4294967295 134512640 134569956 3221224368 3221213916 1131746000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 31855 13086 16 0 213581 0
vsize: 854388
[startup+280.009 s]
Raw data (loadavg): 1.01 1.07 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 26571 41 0 0 25 0 11 0 722761621 874893312 32025 4294967295 134512640 134569956 3221224368 3221214004 1131746000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 32025 13086 16 0 213581 0
vsize: 854388
[startup+290.01 s]
Raw data (loadavg): 1.01 1.06 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 27561 41 0 0 25 0 11 0 722761621 874893312 32138 4294967295 134512640 134569956 3221224368 3221214084 1131746000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 32138 13086 16 0 213581 0
vsize: 854388
[startup+300.011 s]
Raw data (loadavg): 1.01 1.06 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 28540 41 0 0 25 0 11 0 722761621 874893312 32246 4294967295 134512640 134569956 3221224368 3221214552 1131257585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 32246 13086 16 0 213581 0
vsize: 854388
[startup+310.017 s]
Raw data (loadavg): 1.01 1.06 1.03 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 29530 41 0 0 25 0 11 0 722761621 874893312 32341 4294967295 134512640 134569956 3221224368 3221214056 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 32341 13086 16 0 213581 0
vsize: 854388
[startup+320.016 s]
Raw data (loadavg): 1.00 1.06 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 30508 41 0 0 25 0 11 0 722761621 874893312 32415 4294967295 134512640 134569956 3221224368 3221214512 1131732762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 32415 13086 16 0 213581 0
vsize: 854388
[startup+330.03 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 31498 41 0 0 25 0 11 0 722761621 874893312 32487 4294967295 134512640 134569956 3221224368 3221213528 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 32487 13086 16 0 213581 0
vsize: 854388
[startup+340.03 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 32476 41 0 0 25 0 11 0 722761621 874893312 32683 4294967295 134512640 134569956 3221224368 3221214472 1131741482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 32683 13086 16 0 213581 0
vsize: 854388
[startup+350.031 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 33465 41 0 0 25 0 11 0 722761621 874893312 32745 4294967295 134512640 134569956 3221224368 3221213888 1131785412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 32745 13086 16 0 213581 0
vsize: 854388
[startup+360.031 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 34453 41 0 0 25 0 11 0 722761621 874893312 32807 4294967295 134512640 134569956 3221224368 3221213496 1131785376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 32807 13086 16 0 213581 0
vsize: 854388
[startup+370.032 s]
Raw data (loadavg): 1.00 1.05 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 35431 42 0 0 25 0 11 0 722761621 874893312 33000 4294967295 134512640 134569956 3221224368 3221213920 1131745837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33000 13086 16 0 213581 0
vsize: 854388
[startup+380.032 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 36420 42 0 0 25 0 11 0 722761621 874893312 33065 4294967295 134512640 134569956 3221224368 3221213664 1131785137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33065 13086 16 0 213581 0
vsize: 854388
[startup+390.032 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 37408 42 0 0 25 0 11 0 722761621 874893312 33126 4294967295 134512640 134569956 3221224368 3221214200 1131746007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33126 13086 16 0 213581 0
vsize: 854388
[startup+400.033 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 38385 43 0 0 25 0 11 0 722761621 874893312 33284 4294967295 134512640 134569956 3221224368 3221213768 1131783191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33284 13086 16 0 213581 0
vsize: 854388
[startup+410.033 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 39373 43 0 0 25 0 11 0 722761621 874893312 33363 4294967295 134512640 134569956 3221224368 3221214648 1131748957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33363 13086 16 0 213581 0
vsize: 854388
[startup+420.032 s]
Raw data (loadavg): 1.00 1.04 1.02 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 40362 43 0 0 25 0 11 0 722761621 874893312 33437 4294967295 134512640 134569956 3221224368 3221213840 1131745976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33437 13086 16 0 213581 0
vsize: 854388
[startup+430.034 s]
Raw data (loadavg): 1.00 1.04 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 41350 44 0 0 25 0 11 0 722761621 874893312 33517 4294967295 134512640 134569956 3221224368 3221214028 1131746000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 33517 13086 16 0 213581 0
vsize: 854388
[startup+440.034 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 42328 44 0 0 25 0 11 0 722761621 874893312 33672 4294967295 134512640 134569956 3221224368 3221214336 1085679494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33672 13086 16 0 213581 0
vsize: 854388
[startup+450.035 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 43317 44 0 0 25 0 11 0 722761621 874893312 33750 4294967295 134512640 134569956 3221224368 3221213776 1085679750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33750 13086 16 0 213581 0
vsize: 854388
[startup+460.034 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 44306 44 0 0 25 0 11 0 722761621 874893312 33827 4294967295 134512640 134569956 3221224368 3221213472 1085679449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 33827 13086 16 0 213581 0
vsize: 854388
[startup+470.034 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 45284 44 0 0 25 0 11 0 722761621 874893312 33962 4294967295 134512640 134569956 3221224368 3221214552 1131288045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 33962 13086 16 0 213581 0
vsize: 854388
[startup+480.035 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 46273 45 0 0 25 0 11 0 722761621 874893312 34047 4294967295 134512640 134569956 3221224368 3221213976 1131746061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 34047 13086 16 0 213581 0
vsize: 854388
[startup+490.035 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 47262 45 0 0 25 0 11 0 722761621 874893312 34143 4294967295 134512640 134569956 3221224368 3221214360 1131741692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 34143 13086 16 0 213581 0
vsize: 854388
[startup+500.037 s]
Raw data (loadavg): 1.00 1.03 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 48251 45 0 0 25 0 11 0 722761621 874893312 34212 4294967295 134512640 134569956 3221224368 3221214552 1131311597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 34212 13086 16 0 213581 0
vsize: 854388
[startup+510.036 s]
Raw data (loadavg): 1.00 1.02 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 49240 45 0 0 25 0 11 0 722761621 874893312 34302 4294967295 134512640 134569956 3221224368 3221213488 1131783191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 34302 13086 16 0 213581 0
vsize: 854388
[startup+520.036 s]
Raw data (loadavg): 1.00 1.02 1.01 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 50228 45 0 0 25 0 11 0 722761621 874893312 34378 4294967295 134512640 134569956 3221224368 3221214412 1131783177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 34378 13086 16 0 213581 0
vsize: 854388
[startup+530.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 51217 45 0 0 25 0 11 0 722761621 874893312 34447 4294967295 134512640 134569956 3221224368 3221214024 1131741616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 34447 13086 16 0 213581 0
vsize: 854388
[startup+540.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 52205 45 0 0 25 0 11 0 722761621 874893312 34515 4294967295 134512640 134569956 3221224368 3221214336 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 34515 13086 16 0 213581 0
vsize: 854388
[startup+550.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 53193 45 0 0 25 0 11 0 722761621 874893312 34590 4294967295 134512640 134569956 3221224368 3221214408 1131783189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 34590 13086 16 0 213581 0
vsize: 854388
[startup+560.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 54182 45 0 0 25 0 11 0 722761621 874893312 34723 4294967295 134512640 134569956 3221224368 3221213608 1131785412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 34723 13086 16 0 213581 0
vsize: 854388
[startup+570.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 55170 45 0 0 25 0 11 0 722761621 874893312 34791 4294967295 134512640 134569956 3221224368 3221213748 1131746000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 34791 13086 16 0 213581 0
vsize: 854388
[startup+580.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 56158 46 0 0 25 0 11 0 722761621 874893312 34859 4294967295 134512640 134569956 3221224368 3221213896 1131746001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 34859 13086 16 0 213581 0
vsize: 854388
[startup+590.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 57147 46 0 0 25 0 11 0 722761621 874893312 34933 4294967295 134512640 134569956 3221224368 3221214720 1131243768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 34933 13086 16 0 213581 0
vsize: 854388
[startup+600.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 58135 46 0 0 25 0 11 0 722761621 874893312 35094 4294967295 134512640 134569956 3221224368 3221214176 1131732596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 35094 13086 16 0 213581 0
vsize: 854388
[startup+610.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 59124 46 0 0 25 0 11 0 722761621 874893312 35094 4294967295 134512640 134569956 3221224368 3221214016 1131741704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 35094 13086 16 0 213581 0
vsize: 854388
[startup+620.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 60112 46 0 0 25 0 11 0 722761621 874893312 35179 4294967295 134512640 134569956 3221224368 3221214076 1131783168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 35179 13086 16 0 213581 0
vsize: 854388
[startup+630.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 61101 46 0 0 25 0 11 0 722761621 874893312 35261 4294967295 134512640 134569956 3221224368 3221214200 1131746012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 35261 13086 16 0 213581 0
vsize: 854388
[startup+640.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 62089 46 0 0 25 0 11 0 722761621 874893312 35331 4294967295 134512640 134569956 3221224368 3221214552 1131257855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 35331 13086 16 0 213581 0
vsize: 854388
[startup+650.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 63077 46 0 0 25 0 11 0 722761621 874893312 35504 4294967295 134512640 134569956 3221224368 3221214088 1131746001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 35504 13086 16 0 213581 0
vsize: 854388
[startup+660.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 64067 47 0 0 25 0 11 0 722761621 874893312 35504 4294967295 134512640 134569956 3221224368 3221214576 1131389207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 35504 13086 16 0 213581 0
vsize: 854388
[startup+670.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 65056 47 0 0 25 0 11 0 722761621 874893312 35614 4294967295 134512640 134569956 3221224368 3221213440 1131785412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 35614 13086 16 0 213581 0
vsize: 854388
[startup+680.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 66045 47 0 0 25 0 11 0 722761621 874893312 35713 4294967295 134512640 134569956 3221224368 3221214088 1131746001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 35713 13086 16 0 213581 0
vsize: 854388
[startup+690.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 67034 47 0 0 25 0 11 0 722761621 874893312 35713 4294967295 134512640 134569956 3221224368 3221213976 1131746001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 35713 13086 16 0 213581 0
vsize: 854388
[startup+700.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 68022 47 0 0 25 0 11 0 722761621 874893312 35794 4294967295 134512640 134569956 3221224368 3221214416 1131741599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 35794 13086 16 0 213581 0
vsize: 854388
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 69022 47 0 0 25 0 11 0 722761621 874893312 35794 4294967295 134512640 134569956 3221224368 3221214000 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 35794 13086 16 0 213581 0
vsize: 854388
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 70010 48 0 0 25 0 11 0 722761621 874893312 35889 4294967295 134512640 134569956 3221224368 3221213780 1131741449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 35889 13086 16 0 213581 0
vsize: 854388
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 70998 48 0 0 25 0 11 0 722761621 874893312 36050 4294967295 134512640 134569956 3221224368 3221213864 1131745940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36050 13086 16 0 213581 0
vsize: 854388
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 71988 48 0 0 25 0 11 0 722761621 874893312 36050 4294967295 134512640 134569956 3221224368 3221214552 1131311011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36050 13086 16 0 213581 0
vsize: 854388
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 72977 48 0 0 25 0 11 0 722761621 874893312 36210 4294967295 134512640 134569956 3221224368 3221213488 1131785418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 36210 13086 16 0 213581 0
vsize: 854388
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 73967 48 0 0 25 0 11 0 722761621 874893312 36210 4294967295 134512640 134569956 3221224368 3221214736 1131360352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36210 13086 16 0 213581 0
vsize: 854388
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 74956 48 0 0 25 0 11 0 722761621 874893312 36285 4294967295 134512640 134569956 3221224368 3221213688 1131741712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36285 13086 16 0 213581 0
vsize: 854388
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 75944 48 0 0 25 0 11 0 722761621 874893312 36428 4294967295 134512640 134569956 3221224368 3221213888 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36428 13086 16 0 213581 0
vsize: 854388
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 76934 49 0 0 25 0 11 0 722761621 874893312 36504 4294967295 134512640 134569956 3221224368 3221212888 1131745980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36504 13086 16 0 213581 0
vsize: 854388
[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 77923 49 0 0 25 0 11 0 722761621 874893312 36579 4294967295 134512640 134569956 3221224368 3221213400 1131794066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36579 13086 16 0 213581 0
vsize: 854388
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 78912 49 0 0 25 0 11 0 722761621 874893312 36670 4294967295 134512640 134569956 3221224368 3221214648 1131748614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36670 13086 16 0 213581 0
vsize: 854388
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 79902 49 0 0 25 0 11 0 722761621 874893312 36763 4294967295 134512640 134569956 3221224368 3221214288 1131732772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36763 13086 16 0 213581 0
vsize: 854388
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 80892 49 0 0 25 0 11 0 722761621 874893312 36763 4294967295 134512640 134569956 3221224368 3221213640 1085679454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36763 13086 16 0 213581 0
vsize: 854388
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 81881 49 0 0 25 0 11 0 722761621 874893312 36846 4294967295 134512640 134569956 3221224368 3221213448 1131745948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36846 13086 16 0 213581 0
vsize: 854388
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 82871 50 0 0 25 0 11 0 722761621 874893312 36922 4294967295 134512640 134569956 3221224368 3221214508 1131741440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36922 13086 16 0 213581 0
vsize: 854388
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) S 20372 8378 8377 0 -1 0 18130 0 1 0 83861 50 0 0 25 0 11 0 722761621 874893312 36926 4294967295 134512640 134569956 3221224368 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 36926 13086 16 0 213581 0
vsize: 854388
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 84849 50 0 0 25 0 11 0 722761621 874893312 37074 4294967295 134512640 134569956 3221224368 3221214356 1131745824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37074 13086 16 0 213581 0
vsize: 854388
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 85838 51 0 0 25 0 11 0 722761621 874893312 37152 4294967295 134512640 134569956 3221224368 3221213920 1131746061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37152 13086 16 0 213581 0
vsize: 854388
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 86827 51 0 0 25 0 11 0 722761621 874893312 37231 4294967295 134512640 134569956 3221224368 3221214024 1131741660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 37231 13086 16 0 213581 0
vsize: 854388
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 87817 51 0 0 25 0 11 0 722761621 874893312 37317 4294967295 134512640 134569956 3221224368 3221214552 1131257897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 37317 13086 16 0 213581 0
vsize: 854388
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 88806 51 0 0 25 0 11 0 722761621 874893312 37317 4294967295 134512640 134569956 3221224368 3221214504 1131491059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37317 13086 16 0 213581 0
vsize: 854388
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 89796 51 0 0 25 0 11 0 722761621 874893312 37393 4294967295 134512640 134569956 3221224368 3221214056 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37393 13086 16 0 213581 0
vsize: 854388
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 90785 51 0 0 25 0 11 0 722761621 874893312 37467 4294967295 134512640 134569956 3221224368 3221214300 1131745824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37467 13086 16 0 213581 0
vsize: 854388
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 91775 51 0 0 25 0 11 0 722761621 874893312 37538 4294967295 134512640 134569956 3221224368 3221214472 1131741545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 37538 13086 16 0 213581 0
vsize: 854388
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 92764 51 0 0 25 0 11 0 722761621 874893312 37538 4294967295 134512640 134569956 3221224368 3221214448 1131448408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 37538 13086 16 0 213581 0
vsize: 854388
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 93753 52 0 0 25 0 11 0 722761621 874893312 37603 4294967295 134512640 134569956 3221224368 3221214084 1131746000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 37603 13086 16 0 213581 0
vsize: 854388
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 94742 52 0 0 25 0 11 0 722761621 874893312 37666 4294967295 134512640 134569956 3221224368 3221213328 1085679454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 37666 13086 16 0 213581 0
vsize: 854388
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 95731 52 0 0 25 0 11 0 722761621 874893312 37747 4294967295 134512640 134569956 3221224368 3221213560 1131746061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37747 13086 16 0 213581 0
vsize: 854388
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 96720 52 0 0 25 0 11 0 722761621 874893312 37814 4294967295 134512640 134569956 3221224368 3221214080 1131741664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37814 13086 16 0 213581 0
vsize: 854388
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 97708 53 0 0 25 0 11 0 722761621 874893312 37886 4294967295 134512640 134569956 3221224368 3221214736 1131360654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37886 13086 16 0 213581 0
vsize: 854388
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 98698 53 0 0 25 0 11 0 722761621 874893312 37954 4294967295 134512640 134569956 3221224368 3221213752 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 37954 13086 16 0 213581 0
vsize: 854388
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 99697 53 0 0 25 0 11 0 722761621 874893312 37954 4294967295 134512640 134569956 3221224368 3221213916 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 37954 13086 16 0 213581 0
vsize: 854388
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 100686 53 0 0 25 0 11 0 722761621 874893312 38024 4294967295 134512640 134569956 3221224368 3221214424 1131746001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38024 13086 16 0 213581 0
vsize: 854388
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 101676 53 0 0 25 0 11 0 722761621 874893312 38085 4294967295 134512640 134569956 3221224368 3221213672 1131746010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38085 13086 16 0 213581 0
vsize: 854388
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 102665 53 0 0 25 0 11 0 722761621 874893312 38151 4294967295 134512640 134569956 3221224368 3221213944 1085679318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38151 13086 16 0 213581 0
vsize: 854388
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 103654 53 0 0 25 0 11 0 722761621 874893312 38203 4294967295 134512640 134569956 3221224368 3221214000 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 38203 13086 16 0 213581 0
vsize: 854388
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 104643 53 0 0 25 0 11 0 722761621 874893312 38267 4294967295 134512640 134569956 3221224368 3221213888 1131785392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38267 13086 16 0 213581 0
vsize: 854388
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 105633 53 0 0 25 0 11 0 722761621 874893312 38327 4294967295 134512640 134569956 3221224368 3221213664 1131785426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 38327 13086 16 0 213581 0
vsize: 854388
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 106622 54 0 0 25 0 11 0 722761621 874893312 38386 4294967295 134512640 134569956 3221224368 3221214140 1131745995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38386 13086 16 0 213581 0
vsize: 854388
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 107610 54 0 0 25 0 11 0 722761621 874893312 38449 4294967295 134512640 134569956 3221224368 3221214000 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 38449 13086 16 0 213581 0
vsize: 854388
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 108600 54 0 0 25 0 11 0 722761621 874893312 38504 4294967295 134512640 134569956 3221224368 3221213752 1131745932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38504 13086 16 0 213581 0
vsize: 854388
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 109589 54 0 0 25 0 11 0 722761621 874893312 38578 4294967295 134512640 134569956 3221224368 3221214552 1131258239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38578 13086 16 0 213581 0
vsize: 854388
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 110577 54 0 0 25 0 11 0 722761621 874893312 38650 4294967295 134512640 134569956 3221224368 3221213864 1131745940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38650 13086 16 0 213581 0
vsize: 854388
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 111556 54 0 0 25 0 11 0 722761621 874893312 38787 4294967295 134512640 134569956 3221224368 3221213748 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 38787 13086 16 0 213581 0
vsize: 854388
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 112546 54 0 0 25 0 11 0 722761621 874893312 38848 4294967295 134512640 134569956 3221224368 3221213976 1131746001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 38848 13086 16 0 213581 0
vsize: 854388
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 113534 55 0 0 25 0 11 0 722761621 874893312 38917 4294967295 134512640 134569956 3221224368 3221214080 1131741679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 38917 13086 16 0 213581 0
vsize: 854388
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 114534 55 0 0 25 0 11 0 722761621 874893312 38917 4294967295 134512640 134569956 3221224368 3221214504 1131490992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 38917 13086 16 0 213581 0
vsize: 854388
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 115522 55 0 0 25 0 11 0 722761621 874893312 38974 4294967295 134512640 134569956 3221224368 3221214000 1131785504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 38974 13086 16 0 213581 0
vsize: 854388
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 116510 55 0 0 25 0 11 0 722761621 874893312 39092 4294967295 134512640 134569956 3221224368 3221214360 1131741706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 39092 13086 16 0 213581 0
vsize: 854388
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 117499 55 0 0 25 0 11 0 722761621 874893312 39150 4294967295 134512640 134569956 3221224368 3221214120 1131732747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 39150 13086 16 0 213581 0
vsize: 854388
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 118487 56 0 0 25 0 11 0 722761621 874893312 39214 4294967295 134512640 134569956 3221224368 3221214456 1131732535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 39214 13086 16 0 213581 0
vsize: 854388
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 119487 56 0 0 25 0 11 0 722761621 874893312 39214 4294967295 134512640 134569956 3221224368 3221213552 1085679440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213597 39214 13086 16 0 213581 0
vsize: 854388
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20383
Raw data (stat): 20373 (java) R 20372 8378 8377 0 -1 0 18130 0 1 0 120476 56 0 0 25 0 11 0 722761621 874893312 39274 4294967295 134512640 134569956 3221224368 3221213576 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213597 39274 13086 16 0 213581 0
vsize: 854388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 20385
Raw data (stat): 20373 (java) Z 20372 8378 8377 0 -1 1036 18130 15744 1 0 120477 56 1789 34 25 0 1 0 722761621 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.14
CPU time (s): 1223.58
CPU user time (s): 1222.67
CPU system time (s): 0.91586
CPU usage (%): 99.4672
Max. virtual memory (Kb): 857420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####