PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-adlittle.opb
MD5SUM	26c59dfe10b55aab1823ecc63146c9e4
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	1640
Biggest coefficient in the objective function	86769664000
Number of bits for the biggest coefficient in the objective function	37
Sum of the numbers in the objective function	3602973954525
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	351272960000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	5928173491850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.230964
Number of variables	1940
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	56
Minimum length of a constraint	20
Maximum length of a constraint	540
Trace number 30205

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        401412 kB
Buffers:         36160 kB
Cached:         575664 kB
SwapCached:        584 kB
Active:          61632 kB
Inactive:       552388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        401160 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13616 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 16:03:02 (client local time) WITH STATUS 143 IN 1274.62 SECONDS
stats: 21578 7 1274.62 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-adlittle.opb
c reading problem ... done. Time 4.347 ms.
c #vars     1940
c #constraints  70
c starts	: 7
c conflicts	: 3100
c decisions	: 7482
c propagations	: 27175
c inspects	: 1558011
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3100
c root simplifications	: 24
s UNKNOWN
c Total CPU time (ms) : 1259.171
#### 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 21195
Raw data (stat): 21195 (runsolver) R 21194 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781819497 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.0071 s]
Raw data (loadavg): 1.14 1.03 1.01 4/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18065 0 1 0 733 41 0 0 25 0 11 0 781819497 861044736 21079 4294967295 134512640 134569956 3221224368 3221213648 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210216 21079 13086 16 0 210200 0
vsize: 840864
[startup+20.0307 s]
Raw data (loadavg): 1.26 1.06 1.02 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18067 0 1 0 1531 41 0 0 24 0 11 0 781819497 862564352 21647 4294967295 134512640 134569956 3221224368 3221214536 1131435424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 21647 13086 16 0 210571 0
vsize: 842348
[startup+30.0312 s]
Raw data (loadavg): 1.22 1.06 1.02 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 2485 41 0 0 25 0 11 0 781819497 862564352 22069 4294967295 134512640 134569956 3221224368 3221214584 1131223152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 22069 13086 16 0 210571 0
vsize: 842348
[startup+40.0314 s]
Raw data (loadavg): 1.19 1.06 1.02 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 3416 42 0 0 16 0 11 0 781819497 862564352 22534 4294967295 134512640 134569956 3221224368 3221214580 1130885147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 22534 13086 16 0 210571 0
vsize: 842348
[startup+50.0317 s]
Raw data (loadavg): 1.16 1.05 1.02 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 4369 42 0 0 25 0 11 0 781819497 862564352 22824 4294967295 134512640 134569956 3221224368 3221214580 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 22824 13086 16 0 210571 0
vsize: 842348
[startup+60.0326 s]
Raw data (loadavg): 1.13 1.05 1.02 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 5327 43 0 0 25 0 11 0 781819497 862564352 22826 4294967295 134512640 134569956 3221224368 3221214576 1078032289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 22826 13086 16 0 210571 0
vsize: 842348
[startup+70.0328 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 6278 43 0 0 25 0 11 0 781819497 862564352 22988 4294967295 134512640 134569956 3221224368 3221214852 1131500771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 22988 13086 16 0 210571 0
vsize: 842348
[startup+80.0334 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 7219 43 0 0 25 0 11 0 781819497 862564352 23143 4294967295 134512640 134569956 3221224368 3221214876 1130919932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 23143 13086 16 0 210571 0
vsize: 842348
[startup+90.0339 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 8170 44 0 0 25 0 11 0 781819497 862564352 23253 4294967295 134512640 134569956 3221224368 3221214536 1131436683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 23253 13086 16 0 210571 0
vsize: 842348
[startup+100.034 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 9120 44 0 0 25 0 11 0 781819497 862564352 23443 4294967295 134512640 134569956 3221224368 3221214608 1131366014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 23443 13086 16 0 210571 0
vsize: 842348
[startup+110.036 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 21205
Raw data (stat): 21195 (java) S 21194 3944 3943 0 -1 0 18068 0 1 0 10068 44 0 0 25 0 11 0 781819497 862564352 23572 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 23572 13086 16 0 210571 0
vsize: 842348
[startup+120.036 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 11010 45 0 0 25 0 11 0 781819497 862564352 23758 4294967295 134512640 134569956 3221224368 3221214672 1131584504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 23758 13086 16 0 210571 0
vsize: 842348
[startup+130.036 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18068 0 1 0 11959 45 0 0 25 0 11 0 781819497 862564352 23932 4294967295 134512640 134569956 3221224368 3221214608 1131365904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 23932 13086 16 0 210571 0
vsize: 842348
[startup+140.037 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 12908 45 0 0 25 0 11 0 781819497 862564352 24114 4294967295 134512640 134569956 3221224368 3221214672 1131587477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 24114 13086 16 0 210571 0
vsize: 842348
[startup+150.038 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 13850 45 0 0 25 0 11 0 781819497 862564352 24200 4294967295 134512640 134569956 3221224368 3221214536 1131252530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 24200 13086 16 0 210571 0
vsize: 842348
[startup+160.038 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 14801 46 0 0 25 0 11 0 781819497 862564352 24350 4294967295 134512640 134569956 3221224368 3221214536 1131252522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 24350 13086 16 0 210571 0
vsize: 842348
[startup+170.038 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) S 21194 3944 3943 0 -1 0 18069 0 1 0 15747 46 0 0 25 0 11 0 781819497 862564352 24491 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 24491 13086 16 0 210571 0
vsize: 842348
[startup+180.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 16694 47 0 0 25 0 11 0 781819497 862564352 24728 4294967295 134512640 134569956 3221224368 3221214640 1131345717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 24728 13086 16 0 210571 0
vsize: 842348
[startup+190.039 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 17647 47 0 0 25 0 11 0 781819497 862564352 24895 4294967295 134512640 134569956 3221224368 3221214608 1131365976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 24895 13086 16 0 210571 0
vsize: 842348
[startup+200.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 18600 47 0 0 25 0 11 0 781819497 862564352 25045 4294967295 134512640 134569956 3221224368 3221214656 1131629708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 25045 13086 16 0 210571 0
vsize: 842348
[startup+210.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 19540 47 0 0 25 0 11 0 781819497 862564352 25120 4294967295 134512640 134569956 3221224368 3221214584 1131304434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 25120 13086 16 0 210571 0
vsize: 842348
[startup+220.041 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 20486 47 0 0 25 0 11 0 781819497 862564352 25298 4294967295 134512640 134569956 3221224368 3221214632 1131303436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 25298 13086 16 0 210571 0
vsize: 842348
[startup+230.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 21432 48 0 0 25 0 11 0 781819497 862564352 25515 4294967295 134512640 134569956 3221224368 3221214560 1131516386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 25515 13086 16 0 210571 0
vsize: 842348
[startup+240.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 22378 48 0 0 25 0 11 0 781819497 862564352 25715 4294967295 134512640 134569956 3221224368 3221214672 1131582547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 25715 13086 16 0 210571 0
vsize: 842348
[startup+250.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 23328 48 0 0 24 0 11 0 781819497 862564352 25783 4294967295 134512640 134569956 3221224368 3221214416 1131205644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 25783 13086 16 0 210571 0
vsize: 842348
[startup+260.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 24277 48 0 0 25 0 11 0 781819497 862564352 25940 4294967295 134512640 134569956 3221224368 3221214520 1131304577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 25940 13086 16 0 210571 0
vsize: 842348
[startup+270.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 25225 48 0 0 25 0 11 0 781819497 862564352 26091 4294967295 134512640 134569956 3221224368 3221214552 1131437465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 26091 13086 16 0 210571 0
vsize: 842348
[startup+280.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 26163 49 0 0 25 0 11 0 781819497 862564352 26263 4294967295 134512640 134569956 3221224368 3221214552 1131252349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 26263 13086 16 0 210571 0
vsize: 842348
[startup+290.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 27111 49 0 0 25 0 11 0 781819497 862564352 26455 4294967295 134512640 134569956 3221224368 3221214552 1131252359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 26455 13086 16 0 210571 0
vsize: 842348
[startup+300.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 28060 49 0 0 25 0 11 0 781819497 862564352 26616 4294967295 134512640 134569956 3221224368 3221214548 1131357347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 26616 13086 16 0 210571 0
vsize: 842348
[startup+310.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) S 21194 3944 3943 0 -1 0 18069 0 1 0 28999 49 0 0 25 0 11 0 781819497 862564352 26734 4294967295 134512640 134569956 3221224368 3221213152 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 26734 13086 16 0 210571 0
vsize: 842348
[startup+320.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) S 21194 3944 3943 0 -1 0 18069 0 1 0 29949 50 0 0 25 0 11 0 781819497 862564352 26913 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 26913 13086 16 0 210571 0
vsize: 842348
[startup+330.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 30897 50 0 0 25 0 11 0 781819497 862564352 27133 4294967295 134512640 134569956 3221224368 3221214676 1077635857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 27133 13086 16 0 210571 0
vsize: 842348
[startup+340.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 31842 50 0 0 25 0 11 0 781819497 862564352 27344 4294967295 134512640 134569956 3221224368 3221214552 1131435461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27344 13086 16 0 210571 0
vsize: 842348
[startup+350.045 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 32786 50 0 0 25 0 11 0 781819497 862564352 27603 4294967295 134512640 134569956 3221224368 3221214552 1131435811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27603 13086 16 0 210571 0
vsize: 842348
[startup+360.047 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 33731 50 0 0 25 0 11 0 781819497 862564352 27822 4294967295 134512640 134569956 3221224368 3221214528 1131357391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 27822 13086 16 0 210571 0
vsize: 842348
[startup+370.046 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 34678 50 0 0 25 0 11 0 781819497 862564352 28004 4294967295 134512640 134569956 3221224368 3221214672 1131583601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28004 13086 16 0 210571 0
vsize: 842348
[startup+380.046 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 35628 51 0 0 25 0 11 0 781819497 862564352 28064 4294967295 134512640 134569956 3221224368 3221214672 1131591232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28064 13086 16 0 210571 0
vsize: 842348
[startup+390.047 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 36549 51 0 0 25 0 11 0 781819497 862564352 28169 4294967295 134512640 134569956 3221224368 3221214672 1131582579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28169 13086 16 0 210571 0
vsize: 842348
[startup+400.048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 37499 51 0 0 25 0 11 0 781819497 862564352 28442 4294967295 134512640 134569956 3221224368 3221214624 1131351955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28442 13086 16 0 210571 0
vsize: 842348
[startup+410.048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 38461 52 0 0 25 0 11 0 781819497 862564352 28666 4294967295 134512640 134569956 3221224368 3221214584 1131305713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28666 13086 16 0 210571 0
vsize: 842348
[startup+420.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 39421 52 0 0 25 0 11 0 781819497 862564352 28882 4294967295 134512640 134569956 3221224368 3221214552 1131435523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28882 13086 16 0 210571 0
vsize: 842348
[startup+430.048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 40384 52 0 0 25 0 11 0 781819497 862564352 28926 4294967295 134512640 134569956 3221224368 3221214632 1131303473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28926 13086 16 0 210571 0
vsize: 842348
[startup+440.049 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 41333 52 0 0 25 0 11 0 781819497 862564352 28979 4294967295 134512640 134569956 3221224368 3221214552 1131435320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 28979 13086 16 0 210571 0
vsize: 842348
[startup+450.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 42281 53 0 0 25 0 11 0 781819497 862564352 29075 4294967295 134512640 134569956 3221224368 3221214552 1131252415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29075 13086 16 0 210571 0
vsize: 842348
[startup+460.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 43225 54 0 0 25 0 11 0 781819497 862564352 29377 4294967295 134512640 134569956 3221224368 3221214552 1131435548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29377 13086 16 0 210571 0
vsize: 842348
[startup+470.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 44171 54 0 0 25 0 11 0 781819497 862564352 29570 4294967295 134512640 134569956 3221224368 3221214624 1131365881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29570 13086 16 0 210571 0
vsize: 842348
[startup+480.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 45107 54 0 0 24 0 11 0 781819497 862564352 29813 4294967295 134512640 134569956 3221224368 3221214568 1131291127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 29813 13086 16 0 210571 0
vsize: 842348
[startup+490.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 46054 55 0 0 25 0 11 0 781819497 862564352 30005 4294967295 134512640 134569956 3221224368 3221214584 1131305513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30005 13086 16 0 210571 0
vsize: 842348
[startup+500.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 47001 55 0 0 25 0 11 0 781819497 862564352 30175 4294967295 134512640 134569956 3221224368 3221214656 1131299107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30175 13086 16 0 210571 0
vsize: 842348
[startup+510.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 47946 56 0 0 25 0 11 0 781819497 862564352 30367 4294967295 134512640 134569956 3221224368 3221214552 1131252659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30367 13086 16 0 210571 0
vsize: 842348
[startup+520.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) S 21194 3944 3943 0 -1 0 18069 0 1 0 48883 56 0 0 25 0 11 0 781819497 862564352 30544 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30544 13086 16 0 210571 0
vsize: 842348
[startup+530.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 49827 56 0 0 25 0 11 0 781819497 862564352 30739 4294967295 134512640 134569956 3221224368 3221214440 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30739 13086 16 0 210571 0
vsize: 842348
[startup+540.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 50770 56 0 0 25 0 11 0 781819497 862564352 30919 4294967295 134512640 134569956 3221224368 3221214584 1131304434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 30919 13086 16 0 210571 0
vsize: 842348
[startup+550.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 51714 57 0 0 25 0 11 0 781819497 862564352 31138 4294967295 134512640 134569956 3221224368 3221214632 1131303473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31138 13086 16 0 210571 0
vsize: 842348
[startup+560.055 s]
Raw data (loadavg): 1.00 1.01 1.00 3/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 52660 57 0 0 25 0 11 0 781819497 862564352 31317 4294967295 134512640 134569956 3221224368 3221214396 1078128056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31317 13086 16 0 210571 0
vsize: 842348
[startup+570.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 53606 57 0 0 25 0 11 0 781819497 862564352 31489 4294967295 134512640 134569956 3221224368 3221214408 1131532569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31489 13086 16 0 210571 0
vsize: 842348
[startup+580.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 54553 58 0 0 25 0 11 0 781819497 862564352 31628 4294967295 134512640 134569956 3221224368 3221214584 1131305652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31628 13086 16 0 210571 0
vsize: 842348
[startup+590.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 55502 58 0 0 25 0 11 0 781819497 862564352 31661 4294967295 134512640 134569956 3221224368 3221214568 1131290989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31661 13086 16 0 210571 0
vsize: 842348
[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 56454 58 0 0 25 0 11 0 781819497 862564352 31814 4294967295 134512640 134569956 3221224368 3221214584 1131304538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 31814 13086 16 0 210571 0
vsize: 842348
[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 57415 58 0 0 25 0 11 0 781819497 862564352 32024 4294967295 134512640 134569956 3221224368 3221214304 1131666958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32024 13086 16 0 210571 0
vsize: 842348
[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 58386 58 0 0 25 0 11 0 781819497 862564352 32166 4294967295 134512640 134569956 3221224368 3221213992 1131642616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32166 13086 16 0 210571 0
vsize: 842348
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 59359 58 0 0 25 0 11 0 781819497 862564352 32310 4294967295 134512640 134569956 3221224368 3221214552 1131252790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 32310 13086 16 0 210571 0
vsize: 842348
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 60325 59 0 0 25 0 11 0 781819497 862564352 32512 4294967295 134512640 134569956 3221224368 3221214584 1131304410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32512 13086 16 0 210571 0
vsize: 842348
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 61286 59 0 0 25 0 11 0 781819497 862564352 32523 4294967295 134512640 134569956 3221224368 3221214672 1131582547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32523 13086 16 0 210571 0
vsize: 842348
[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 62251 59 0 0 25 0 11 0 781819497 862564352 32553 4294967295 134512640 134569956 3221224368 3221214100 1131642640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32553 13086 16 0 210571 0
vsize: 842348
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 63209 60 0 0 25 0 11 0 781819497 862564352 32577 4294967295 134512640 134569956 3221224368 3221214192 1131671160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32577 13086 16 0 210571 0
vsize: 842348
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) S 21194 3944 3943 0 -1 0 18069 0 1 0 64160 60 0 0 25 0 11 0 781819497 862564352 32691 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32691 13086 16 0 210571 0
vsize: 842348
[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 65120 61 0 0 25 0 11 0 781819497 862564352 32828 4294967295 134512640 134569956 3221224368 3221214584 1131304534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 32828 13086 16 0 210571 0
vsize: 842348
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 66071 61 0 0 25 0 11 0 781819497 862564352 33030 4294967295 134512640 134569956 3221224368 3221214220 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33030 13086 16 0 210571 0
vsize: 842348
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 67047 62 0 0 25 0 11 0 781819497 862564352 33070 4294967295 134512640 134569956 3221224368 3221214192 1131673056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33070 13086 16 0 210571 0
vsize: 842348
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 68008 62 0 0 25 0 11 0 781819497 862564352 33343 4294967295 134512640 134569956 3221224368 3221214672 1131583956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33343 13086 16 0 210571 0
vsize: 842348
[startup+730.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 68979 62 0 0 25 0 11 0 781819497 862564352 33374 4294967295 134512640 134569956 3221224368 3221214672 1131589914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33374 13086 16 0 210571 0
vsize: 842348
[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 69948 63 0 0 25 0 11 0 781819497 862564352 33430 4294967295 134512640 134569956 3221224368 3221214552 1131252588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33430 13086 16 0 210571 0
vsize: 842348
[startup+750.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 70917 63 0 0 25 0 11 0 781819497 862564352 33499 4294967295 134512640 134569956 3221224368 3221214552 1131206106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33499 13086 16 0 210571 0
vsize: 842348
[startup+760.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 71892 64 0 0 25 0 11 0 781819497 862564352 33557 4294967295 134512640 134569956 3221224368 3221214552 1131435888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33557 13086 16 0 210571 0
vsize: 842348
[startup+770.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 72859 64 0 0 25 0 11 0 781819497 862564352 33609 4294967295 134512640 134569956 3221224368 3221214672 1131584504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33609 13086 16 0 210571 0
vsize: 842348
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 73825 65 0 0 24 0 11 0 781819497 862564352 33678 4294967295 134512640 134569956 3221224368 3221214656 1131299161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33678 13086 16 0 210571 0
vsize: 842348
[startup+790.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 74795 65 0 0 25 0 11 0 781819497 862564352 33745 4294967295 134512640 134569956 3221224368 3221214672 1131584504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33745 13086 16 0 210571 0
vsize: 842348
[startup+800.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 75761 66 0 0 25 0 11 0 781819497 862564352 33824 4294967295 134512640 134569956 3221224368 3221214584 1131304434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33824 13086 16 0 210571 0
vsize: 842348
[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 76727 66 0 0 25 0 11 0 781819497 862564352 33923 4294967295 134512640 134569956 3221224368 3221214584 1131304581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33923 13086 16 0 210571 0
vsize: 842348
[startup+820.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 77698 67 0 0 25 0 11 0 781819497 862564352 33986 4294967295 134512640 134569956 3221224368 3221214584 1131305703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 33986 13086 16 0 210571 0
vsize: 842348
[startup+830.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 78664 67 0 0 25 0 11 0 781819497 862564352 34046 4294967295 134512640 134569956 3221224368 3221214584 1131304347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34046 13086 16 0 210571 0
vsize: 842348
[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 79629 67 0 0 25 0 11 0 781819497 862564352 34125 4294967295 134512640 134569956 3221224368 3221214584 1131304289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34125 13086 16 0 210571 0
vsize: 842348
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 80594 68 0 0 25 0 11 0 781819497 862564352 34204 4294967295 134512640 134569956 3221224368 3221214672 1131582579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34204 13086 16 0 210571 0
vsize: 842348
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 81560 68 0 0 25 0 11 0 781819497 862564352 34293 4294967295 134512640 134569956 3221224368 3221214584 1131304434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34293 13086 16 0 210571 0
vsize: 842348
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 82529 69 0 0 25 0 11 0 781819497 862564352 34365 4294967295 134512640 134569956 3221224368 3221214624 1131351929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34365 13086 16 0 210571 0
vsize: 842348
[startup+880.077 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 83493 69 0 0 24 0 11 0 781819497 862564352 34460 4294967295 134512640 134569956 3221224368 3221214028 1131642640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 34460 13086 16 0 210571 0
vsize: 842348
[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 84463 69 0 0 25 0 11 0 781819497 862564352 34521 4294967295 134512640 134569956 3221224368 3221214568 1131290989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34521 13086 16 0 210571 0
vsize: 842348
[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 85434 70 0 0 25 0 11 0 781819497 862564352 34609 4294967295 134512640 134569956 3221224368 3221214656 1131299107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34609 13086 16 0 210571 0
vsize: 842348
[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 86406 70 0 0 25 0 11 0 781819497 862564352 34670 4294967295 134512640 134569956 3221224368 3221214624 1131351962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34670 13086 16 0 210571 0
vsize: 842348
[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 87375 70 0 0 25 0 11 0 781819497 862564352 34735 4294967295 134512640 134569956 3221224368 3221214552 1131252731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34735 13086 16 0 210571 0
vsize: 842348
[startup+930.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 88347 71 0 0 25 0 11 0 781819497 862564352 34788 4294967295 134512640 134569956 3221224368 3221214584 1131304379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34788 13086 16 0 210571 0
vsize: 842348
[startup+940.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 89318 71 0 0 25 0 11 0 781819497 862564352 34859 4294967295 134512640 134569956 3221224368 3221214584 1131305744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34859 13086 16 0 210571 0
vsize: 842348
[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 90286 72 0 0 24 0 11 0 781819497 862564352 34921 4294967295 134512640 134569956 3221224368 3221214672 1131584504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34921 13086 16 0 210571 0
vsize: 842348
[startup+960.081 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 91259 72 0 0 25 0 11 0 781819497 862564352 34966 4294967295 134512640 134569956 3221224368 3221214672 1131582506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 34966 13086 16 0 210571 0
vsize: 842348
[startup+970.081 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 92225 72 0 0 25 0 11 0 781819497 862564352 35039 4294967295 134512640 134569956 3221224368 3221214584 1131305513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35039 13086 16 0 210571 0
vsize: 842348
[startup+980.082 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 93195 73 0 0 25 0 11 0 781819497 862564352 35100 4294967295 134512640 134569956 3221224368 3221214672 1131584504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35100 13086 16 0 210571 0
vsize: 842348
[startup+990.083 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 94162 73 0 0 24 0 11 0 781819497 862564352 35187 4294967295 134512640 134569956 3221224368 3221214672 1131583956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35187 13086 16 0 210571 0
vsize: 842348
[startup+1000.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 95134 74 0 0 25 0 11 0 781819497 862564352 35250 4294967295 134512640 134569956 3221224368 3221214672 1131589440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35250 13086 16 0 210571 0
vsize: 842348
[startup+1010.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 96106 74 0 0 25 0 11 0 781819497 862564352 35303 4294967295 134512640 134569956 3221224368 3221214640 1131234967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35303 13086 16 0 210571 0
vsize: 842348
[startup+1020.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 97077 74 0 0 25 0 11 0 781819497 862564352 35368 4294967295 134512640 134569956 3221224368 3221214656 1131299216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35368 13086 16 0 210571 0
vsize: 842348
[startup+1030.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 98046 75 0 0 25 0 11 0 781819497 862564352 35434 4294967295 134512640 134569956 3221224368 3221214792 1131647455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35434 13086 16 0 210571 0
vsize: 842348
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 99018 75 0 0 25 0 11 0 781819497 862564352 35494 4294967295 134512640 134569956 3221224368 3221214672 1131589544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35494 13086 16 0 210571 0
vsize: 842348
[startup+1050.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 99990 76 0 0 25 0 11 0 781819497 862564352 35554 4294967295 134512640 134569956 3221224368 3221214584 1131304567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35554 13086 16 0 210571 0
vsize: 842348
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 100959 76 0 0 25 0 11 0 781819497 862564352 35608 4294967295 134512640 134569956 3221224368 3221214672 1131583844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35608 13086 16 0 210571 0
vsize: 842348
[startup+1070.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 101930 77 0 0 25 0 11 0 781819497 862564352 35650 4294967295 134512640 134569956 3221224368 3221214568 1131291024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35650 13086 16 0 210571 0
vsize: 842348
[startup+1080.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 21205
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 102900 77 0 0 25 0 11 0 781819497 862564352 35722 4294967295 134512640 134569956 3221224368 3221214624 1131351939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35722 13086 16 0 210571 0
vsize: 842348
[startup+1090.09 s]
Raw data (loadavg): 1.09 1.02 1.01 2/64 21258
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 103868 78 0 0 25 0 11 0 781819497 862564352 35779 4294967295 134512640 134569956 3221224368 3221214584 1131304605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35779 13086 16 0 210571 0
vsize: 842348
[startup+1100.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 21258
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 104836 79 0 0 25 0 11 0 781819497 862564352 35832 4294967295 134512640 134569956 3221224368 3221214632 1131223129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 35832 13086 16 0 210571 0
vsize: 842348
[startup+1110.09 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 21258
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 105801 79 0 0 25 0 11 0 781819497 862564352 35918 4294967295 134512640 134569956 3221224368 3221214552 1131436661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 35918 13086 16 0 210571 0
vsize: 842348
[startup+1120.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 21258
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 106771 79 0 0 25 0 11 0 781819497 862564352 35980 4294967295 134512640 134569956 3221224368 3221214584 1131304355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 35980 13086 16 0 210571 0
vsize: 842348
[startup+1130.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 21258
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 107738 80 0 0 25 0 11 0 781819497 862564352 36044 4294967295 134512640 134569956 3221224368 3221214584 1131305521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36044 13086 16 0 210571 0
vsize: 842348
[startup+1140.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 21258
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 108708 80 0 0 25 0 11 0 781819497 862564352 36112 4294967295 134512640 134569956 3221224368 3221214664 1131198332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36112 13086 16 0 210571 0
vsize: 842348
[startup+1150.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 21258
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 109679 80 0 0 25 0 11 0 781819497 862564352 36169 4294967295 134512640 134569956 3221224368 3221214672 1131583956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36169 13086 16 0 210571 0
vsize: 842348
[startup+1160.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 110646 80 0 0 25 0 11 0 781819497 862564352 36231 4294967295 134512640 134569956 3221224368 3221214584 1131304412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36231 13086 16 0 210571 0
vsize: 842348
[startup+1170.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 111617 81 0 0 25 0 11 0 781819497 862564352 36288 4294967295 134512640 134569956 3221224368 3221214584 1131304402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36288 13086 16 0 210571 0
vsize: 842348
[startup+1180.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 112588 81 0 0 25 0 11 0 781819497 862564352 36363 4294967295 134512640 134569956 3221224368 3221214632 1131303473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36363 13086 16 0 210571 0
vsize: 842348
[startup+1190.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 113556 81 0 0 25 0 11 0 781819497 862564352 36419 4294967295 134512640 134569956 3221224368 3221214584 1131304434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36419 13086 16 0 210571 0
vsize: 842348
[startup+1200.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 114526 82 0 0 25 0 11 0 781819497 862564352 36472 4294967295 134512640 134569956 3221224368 3221214584 1131304558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36472 13086 16 0 210571 0
vsize: 842348
[startup+1210.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 115493 82 0 0 25 0 11 0 781819497 862564352 36519 4294967295 134512640 134569956 3221224368 3221214568 1131291003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36519 13086 16 0 210571 0
vsize: 842348
[startup+1220.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 116476 83 0 0 25 0 11 0 781819497 862564352 36558 4294967295 134512640 134569956 3221224368 3221214672 1131589737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36558 13086 16 0 210571 0
vsize: 842348
[startup+1230.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 117445 83 0 0 25 0 11 0 781819497 862564352 36602 4294967295 134512640 134569956 3221224368 3221214584 1131304487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36602 13086 16 0 210571 0
vsize: 842348
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 118411 83 0 0 25 0 11 0 781819497 862564352 36679 4294967295 134512640 134569956 3221224368 3221214600 1131252603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36679 13086 16 0 210571 0
vsize: 842348
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 119373 84 0 0 25 0 11 0 781819497 862564352 36769 4294967295 134512640 134569956 3221224368 3221214672 1131582547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210587 36769 13086 16 0 210571 0
vsize: 842348
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 21260
Raw data (stat): 21195 (java) R 21194 3944 3943 0 -1 0 18069 0 1 0 120342 84 0 0 25 0 11 0 781819497 862564352 36849 4294967295 134512640 134569956 3221224368 3221214672 1131582579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210587 36849 13086 16 0 210571 0
vsize: 842348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 21262
Raw data (stat): 21195 (java) Z 21194 3944 3943 0 -1 1036 18069 26052 1 0 120343 91 6962 63 25 0 1 0 781819497 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.22
CPU time (s): 1274.62
CPU user time (s): 1273.06
CPU system time (s): 1.55276
CPU usage (%): 101.142
Max. virtual memory (Kb): 842348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####