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/miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.28
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 22305

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-22 02:39:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11904 boxname=wulflinc11 idbench=916 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 11904
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        327628 kB
Buffers:         34952 kB
Cached:         649740 kB
SwapCached:          0 kB
Active:         232448 kB
Inactive:       454976 kB
HighTotal:      131008 kB
HighFree:        29792 kB
LowTotal:       903652 kB
LowFree:        297836 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            13784 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:00:18 (client local time) WITH STATUS 143 IN 1246.85 SECONDS
stats: 11904 7 1246.85 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-l152lav.opb
c reading problem 
c [nbvar=1989]
c [nbconstr=2086]
c time 5.761
c #vars     1989
c #clauses  193
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=5796
c Current CPU time (ms) : 14.785
c starts	: 1
c conflicts	: 24
c decisions	: 2237
c propagations	: 7010
c inspects	: 2375
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 1
#### 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.94 0.90 2/54 16405
Raw data (stat): 16405 (runsolver) R 16404 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491963780 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99957 s]
Raw data (loadavg): 1.18 1.01 0.92 4/64 16415
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18098 0 1 0 707 38 0 0 25 0 11 0 491963780 864260096 21280 4294967295 134512640 134569956 3221224400 3221214652 1130920035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211001 21280 13073 16 0 210985 0
vsize: 844004
[startup+20.0003 s]
Raw data (loadavg): 1.15 1.01 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18100 4 1 0 1606 39 0 0 25 0 11 0 491963780 861241344 21547 4294967295 134512640 134569956 3221224400 3221214736 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210264 21547 13073 16 0 210248 0
vsize: 841056
[startup+30.0007 s]
Raw data (loadavg): 1.13 1.00 0.92 3/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18101 4 1 0 2514 39 0 0 25 0 11 0 491963780 860160000 21930 4294967295 134512640 134569956 3221224400 3221214596 1130893176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210000 21930 13073 16 0 209984 0
vsize: 840000
[startup+40.0009 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18101 4 1 0 3424 39 0 0 24 0 11 0 491963780 860160000 22186 4294967295 134512640 134569956 3221224400 3221214768 1131406788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210000 22186 13073 16 0 209984 0
vsize: 840000
[startup+50.0018 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18101 4 1 0 4341 39 0 0 25 0 11 0 491963780 860160000 22400 4294967295 134512640 134569956 3221224400 3221214568 1131387908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210000 22400 13073 16 0 209984 0
vsize: 840000
[startup+60.002 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18102 4 1 0 5283 40 0 0 25 0 11 0 491963780 860160000 22750 4294967295 134512640 134569956 3221224400 3221214720 1131546952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210000 22750 13073 16 0 209984 0
vsize: 840000
[startup+70.0023 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18102 4 1 0 6215 40 0 0 25 0 11 0 491963780 860160000 22962 4294967295 134512640 134569956 3221224400 3221214744 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210000 22962 13073 16 0 209984 0
vsize: 840000
[startup+80.0032 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18102 4 1 0 7131 40 0 0 25 0 11 0 491963780 862257152 23761 4294967295 134512640 134569956 3221224400 3221214768 1131406525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 23761 13073 16 0 210496 0
vsize: 842048
[startup+90.0044 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18102 4 1 0 8060 40 0 0 24 0 11 0 491963780 862257152 23909 4294967295 134512640 134569956 3221224400 3221214808 1131406183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 23909 13073 16 0 210496 0
vsize: 842048
[startup+100.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 9006 40 0 0 24 0 11 0 491963780 862257152 24230 4294967295 134512640 134569956 3221224400 3221214392 1078032986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210512 24230 13073 16 0 210496 0
vsize: 842048
[startup+110.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 9950 40 0 0 19 0 11 0 491963780 861208576 24021 4294967295 134512640 134569956 3221224400 3221214552 1131594092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 24021 13073 16 0 210240 0
vsize: 841024
[startup+120.006 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 10886 41 0 0 25 0 11 0 491963780 861208576 24028 4294967295 134512640 134569956 3221224400 3221214544 1131326566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 24028 13073 16 0 210240 0
vsize: 841024
[startup+130.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 11814 41 0 0 25 0 11 0 491963780 861208576 24125 4294967295 134512640 134569956 3221224400 3221214544 1131326647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 24125 13073 16 0 210240 0
vsize: 841024
[startup+140.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 12732 41 0 0 25 0 11 0 491963780 861208576 24402 4294967295 134512640 134569956 3221224400 3221214696 1131466233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 24402 13073 16 0 210240 0
vsize: 841024
[startup+150.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) S 16404 32461 32460 0 -1 0 18103 4 1 0 13650 41 0 0 25 0 11 0 491963780 861208576 24592 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 24592 13073 16 0 210240 0
vsize: 841024
[startup+160.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 14591 42 0 0 25 0 11 0 491963780 861208576 24785 4294967295 134512640 134569956 3221224400 3221214672 1131311122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 24785 13073 16 0 210240 0
vsize: 841024
[startup+170.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 15511 42 0 0 25 0 11 0 491963780 861208576 25096 4294967295 134512640 134569956 3221224400 3221214648 1131625443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 25096 13073 16 0 210240 0
vsize: 841024
[startup+180.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 16457 42 0 0 25 0 11 0 491963780 861208576 25181 4294967295 134512640 134569956 3221224400 3221214808 1131406100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 25181 13073 16 0 210240 0
vsize: 841024
[startup+190.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 17381 43 0 0 25 0 11 0 491963780 861208576 25390 4294967295 134512640 134569956 3221224400 3221214776 1131363873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 25390 13073 16 0 210240 0
vsize: 841024
[startup+200.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 18318 43 0 0 25 0 11 0 491963780 861208576 25538 4294967295 134512640 134569956 3221224400 3221214776 1131370000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 25538 13073 16 0 210240 0
vsize: 841024
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 19231 43 0 0 20 0 11 0 491963780 861208576 25651 4294967295 134512640 134569956 3221224400 3221214796 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 25651 13073 16 0 210240 0
vsize: 841024
[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 20163 43 0 0 25 0 11 0 491963780 861208576 25908 4294967295 134512640 134569956 3221224400 3221214648 1131625440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 25908 13073 16 0 210240 0
vsize: 841024
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 21113 44 0 0 24 0 11 0 491963780 861208576 26140 4294967295 134512640 134569956 3221224400 3221214648 1131625443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26140 13073 16 0 210240 0
vsize: 841024
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 22089 44 0 0 25 0 11 0 491963780 861208576 26331 4294967295 134512640 134569956 3221224400 3221214544 1131326576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26331 13073 16 0 210240 0
vsize: 841024
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 23085 45 0 0 25 0 11 0 491963780 861208576 26331 4294967295 134512640 134569956 3221224400 3221214544 1131326675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26331 13073 16 0 210240 0
vsize: 841024
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 24082 45 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 25080 46 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214648 1131625450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 26077 46 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214648 1131625461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 27074 47 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 28071 47 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214648 1131621600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 29066 47 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214552 1131592695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 30062 47 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214544 1131326872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 31058 48 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214552 1131592718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 32047 48 0 0 25 0 11 0 491963780 861208576 26351 4294967295 134512640 134569956 3221224400 3221214680 1131306356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26351 13073 16 0 210240 0
vsize: 841024
[startup+350.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 33001 48 0 0 25 0 11 0 491963780 861208576 26366 4294967295 134512640 134569956 3221224400 3221214768 1131175182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26366 13073 16 0 210240 0
vsize: 841024
[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 33931 48 0 0 25 0 11 0 491963780 861208576 26370 4294967295 134512640 134569956 3221224400 3221214552 1131593901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26370 13073 16 0 210240 0
vsize: 841024
[startup+370.033 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 34851 49 0 0 24 0 11 0 491963780 861208576 26370 4294967295 134512640 134569956 3221224400 3221214552 1131592755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26370 13073 16 0 210240 0
vsize: 841024
[startup+380.033 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 35773 50 0 0 24 0 11 0 491963780 861208576 26746 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 26746 13073 16 0 210240 0
vsize: 841024
[startup+390.034 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 36724 51 0 0 25 0 11 0 491963780 861208576 27010 4294967295 134512640 134569956 3221224400 3221214840 1131346659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27010 13073 16 0 210240 0
vsize: 841024
[startup+400.034 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 37683 51 0 0 25 0 11 0 491963780 861208576 27100 4294967295 134512640 134569956 3221224400 3221214648 1131621656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27100 13073 16 0 210240 0
vsize: 841024
[startup+410.035 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 38647 51 0 0 25 0 11 0 491963780 861208576 27205 4294967295 134512640 134569956 3221224400 3221214544 1131326927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27205 13073 16 0 210240 0
vsize: 841024
[startup+420.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 39620 52 0 0 25 0 11 0 491963780 861208576 27244 4294967295 134512640 134569956 3221224400 3221214808 1131405715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27244 13073 16 0 210240 0
vsize: 841024
[startup+430.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 40562 52 0 0 25 0 11 0 491963780 861208576 27353 4294967295 134512640 134569956 3221224400 3221214744 1131395260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27353 13073 16 0 210240 0
vsize: 841024
[startup+440.037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 41497 52 0 0 24 0 11 0 491963780 861208576 27423 4294967295 134512640 134569956 3221224400 3221214732 1080203695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27423 13073 16 0 210240 0
vsize: 841024
[startup+450.037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 42449 53 0 0 25 0 11 0 491963780 861208576 27550 4294967295 134512640 134569956 3221224400 3221214344 1131575095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27550 13073 16 0 210240 0
vsize: 841024
[startup+460.037 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 43416 54 0 0 25 0 11 0 491963780 861208576 27752 4294967295 134512640 134569956 3221224400 3221214576 1131438051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27752 13073 16 0 210240 0
vsize: 841024
[startup+470.039 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 44365 54 0 0 25 0 11 0 491963780 861208576 27799 4294967295 134512640 134569956 3221224400 3221214760 1131359924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27799 13073 16 0 210240 0
vsize: 841024
[startup+480.039 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 45314 54 0 0 25 0 11 0 491963780 861208576 27850 4294967295 134512640 134569956 3221224400 3221214776 1131364100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27850 13073 16 0 210240 0
vsize: 841024
[startup+490.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 46286 55 0 0 25 0 11 0 491963780 861208576 27955 4294967295 134512640 134569956 3221224400 3221214776 1131364100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 27955 13073 16 0 210240 0
vsize: 841024
[startup+500.041 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 47233 55 0 0 24 0 11 0 491963780 861208576 28069 4294967295 134512640 134569956 3221224400 3221214576 1131438133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28069 13073 16 0 210240 0
vsize: 841024
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 48177 55 0 0 25 0 11 0 491963780 861208576 28132 4294967295 134512640 134569956 3221224400 3221214648 1131625443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28132 13073 16 0 210240 0
vsize: 841024
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 49111 56 0 0 25 0 11 0 491963780 861208576 28172 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28172 13073 16 0 210240 0
vsize: 841024
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 50055 56 0 0 25 0 11 0 491963780 861208576 28421 4294967295 134512640 134569956 3221224400 3221214648 1131625450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28421 13073 16 0 210240 0
vsize: 841024
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 51026 57 0 0 25 0 11 0 491963780 861208576 28588 4294967295 134512640 134569956 3221224400 3221214680 1131305717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28588 13073 16 0 210240 0
vsize: 841024
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 52001 57 0 0 25 0 11 0 491963780 861208576 28683 4294967295 134512640 134569956 3221224400 3221214648 1131625464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28683 13073 16 0 210240 0
vsize: 841024
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 52976 57 0 0 25 0 11 0 491963780 861208576 28683 4294967295 134512640 134569956 3221224400 3221214648 1131625454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28683 13073 16 0 210240 0
vsize: 841024
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 53952 58 0 0 25 0 11 0 491963780 861208576 28683 4294967295 134512640 134569956 3221224400 3221214680 1131305420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28683 13073 16 0 210240 0
vsize: 841024
[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 54929 58 0 0 25 0 11 0 491963780 861208576 28798 4294967295 134512640 134569956 3221224400 3221214544 1131326650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28798 13073 16 0 210240 0
vsize: 841024
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 55911 59 0 0 25 0 11 0 491963780 861208576 28798 4294967295 134512640 134569956 3221224400 3221214648 1131621476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28798 13073 16 0 210240 0
vsize: 841024
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 56881 59 0 0 25 0 11 0 491963780 861208576 28798 4294967295 134512640 134569956 3221224400 3221214544 1131326475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28798 13073 16 0 210240 0
vsize: 841024
[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 57860 60 0 0 25 0 11 0 491963780 861208576 28865 4294967295 134512640 134569956 3221224400 3221214544 1131326763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28865 13073 16 0 210240 0
vsize: 841024
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 58837 60 0 0 25 0 11 0 491963780 861208576 28886 4294967295 134512640 134569956 3221224400 3221214552 1131592685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28886 13073 16 0 210240 0
vsize: 841024
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 59816 61 0 0 24 0 11 0 491963780 861208576 28953 4294967295 134512640 134569956 3221224400 3221214648 1131621526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28953 13073 16 0 210240 0
vsize: 841024
[startup+640.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 60800 62 0 0 25 0 11 0 491963780 861208576 28973 4294967295 134512640 134569956 3221224400 3221214552 1131592759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 28973 13073 16 0 210240 0
vsize: 841024
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 61776 62 0 0 25 0 11 0 491963780 861208576 29014 4294967295 134512640 134569956 3221224400 3221214804 1131396899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29014 13073 16 0 210240 0
vsize: 841024
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 62755 63 0 0 25 0 11 0 491963780 861208576 29031 4294967295 134512640 134569956 3221224400 3221214648 1131625458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29031 13073 16 0 210240 0
vsize: 841024
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 63738 63 0 0 25 0 11 0 491963780 861208576 29031 4294967295 134512640 134569956 3221224400 3221214544 1131326823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29031 13073 16 0 210240 0
vsize: 841024
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 64729 64 0 0 25 0 11 0 491963780 861208576 29085 4294967295 134512640 134569956 3221224400 3221214544 1131326757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29085 13073 16 0 210240 0
vsize: 841024
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 65720 65 0 0 25 0 11 0 491963780 861208576 29101 4294967295 134512640 134569956 3221224400 3221214544 1131326872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29101 13073 16 0 210240 0
vsize: 841024
[startup+700.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 66709 65 0 0 25 0 11 0 491963780 861208576 29101 4294967295 134512640 134569956 3221224400 3221214888 1131636177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29101 13073 16 0 210240 0
vsize: 841024
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 67694 65 0 0 25 0 11 0 491963780 861208576 29101 4294967295 134512640 134569956 3221224400 3221214544 1131326763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29101 13073 16 0 210240 0
vsize: 841024
[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 68680 66 0 0 25 0 11 0 491963780 861208576 29110 4294967295 134512640 134569956 3221224400 3221214648 1131625454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29110 13073 16 0 210240 0
vsize: 841024
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 69664 66 0 0 25 0 11 0 491963780 861208576 29122 4294967295 134512640 134569956 3221224400 3221214648 1131625458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29122 13073 16 0 210240 0
vsize: 841024
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 70647 67 0 0 22 0 11 0 491963780 861208576 29122 4294967295 134512640 134569956 3221224400 3221214648 1131625443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29122 13073 16 0 210240 0
vsize: 841024
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 71631 67 0 0 25 0 11 0 491963780 861208576 29133 4294967295 134512640 134569956 3221224400 3221214544 1131326618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29133 13073 16 0 210240 0
vsize: 841024
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 72615 67 0 0 25 0 11 0 491963780 861208576 29154 4294967295 134512640 134569956 3221224400 3221214888 1131636691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29154 13073 16 0 210240 0
vsize: 841024
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 73599 68 0 0 25 0 11 0 491963780 861208576 29163 4294967295 134512640 134569956 3221224400 3221214544 1131326791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29163 13073 16 0 210240 0
vsize: 841024
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 74578 68 0 0 25 0 11 0 491963780 861208576 29177 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29177 13073 16 0 210240 0
vsize: 841024
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) S 16404 32461 32460 0 -1 0 18103 4 1 0 75563 69 0 0 25 0 11 0 491963780 861208576 29178 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29178 13073 16 0 210240 0
vsize: 841024
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 76558 69 0 0 25 0 11 0 491963780 861208576 29197 4294967295 134512640 134569956 3221224400 3221214544 1131326791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29197 13073 16 0 210240 0
vsize: 841024
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 77550 69 0 0 25 0 11 0 491963780 861208576 29197 4294967295 134512640 134569956 3221224400 3221214648 1131621635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29197 13073 16 0 210240 0
vsize: 841024
[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 78533 69 0 0 25 0 11 0 491963780 861208576 29197 4294967295 134512640 134569956 3221224400 3221214552 1131593095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29197 13073 16 0 210240 0
vsize: 841024
[startup+830.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 79516 69 0 0 24 0 11 0 491963780 861208576 29212 4294967295 134512640 134569956 3221224400 3221214544 1131326791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29212 13073 16 0 210240 0
vsize: 841024
[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 80504 69 0 0 25 0 11 0 491963780 861208576 29234 4294967295 134512640 134569956 3221224400 3221214544 1131326883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29234 13073 16 0 210240 0
vsize: 841024
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) S 16404 32461 32460 0 -1 0 18103 4 1 0 81499 69 0 0 25 0 11 0 491963780 861208576 29234 4294967295 134512640 134569956 3221224400 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29234 13073 16 0 210240 0
vsize: 841024
[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 82488 69 0 0 25 0 11 0 491963780 861208576 29250 4294967295 134512640 134569956 3221224400 3221214680 1131305697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29250 13073 16 0 210240 0
vsize: 841024
[startup+870.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 83467 69 0 0 25 0 11 0 491963780 861208576 29250 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29250 13073 16 0 210240 0
vsize: 841024
[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 84441 69 0 0 25 0 11 0 491963780 861208576 29257 4294967295 134512640 134569956 3221224400 3221214544 1131326791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29257 13073 16 0 210240 0
vsize: 841024
[startup+890.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 85415 69 0 0 25 0 11 0 491963780 861208576 29285 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29285 13073 16 0 210240 0
vsize: 841024
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 86399 69 0 0 24 0 11 0 491963780 861208576 29364 4294967295 134512640 134569956 3221224400 3221214544 1131326566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29364 13073 16 0 210240 0
vsize: 841024
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 87388 70 0 0 25 0 11 0 491963780 861208576 29392 4294967295 134512640 134569956 3221224400 3221214544 1131326442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29392 13073 16 0 210240 0
vsize: 841024
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 88376 70 0 0 25 0 11 0 491963780 861208576 29392 4294967295 134512640 134569956 3221224400 3221214624 1131584325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29392 13073 16 0 210240 0
vsize: 841024
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 89357 70 0 0 25 0 11 0 491963780 861208576 29392 4294967295 134512640 134569956 3221224400 3221214544 1131326746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29392 13073 16 0 210240 0
vsize: 841024
[startup+940.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 90338 70 0 0 25 0 11 0 491963780 861208576 29392 4294967295 134512640 134569956 3221224400 3221214544 1131326596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29392 13073 16 0 210240 0
vsize: 841024
[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 91317 70 0 0 25 0 11 0 491963780 861208576 29447 4294967295 134512640 134569956 3221224400 3221214648 1131625443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29447 13073 16 0 210240 0
vsize: 841024
[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 92306 70 0 0 25 0 11 0 491963780 861208576 29479 4294967295 134512640 134569956 3221224400 3221214648 1131621631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29479 13073 16 0 210240 0
vsize: 841024
[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 93295 70 0 0 25 0 11 0 491963780 861208576 29479 4294967295 134512640 134569956 3221224400 3221214648 1131625440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29479 13073 16 0 210240 0
vsize: 841024
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 94287 70 0 0 25 0 11 0 491963780 861208576 29507 4294967295 134512640 134569956 3221224400 3221214544 1131326887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29507 13073 16 0 210240 0
vsize: 841024
[startup+990.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 95274 70 0 0 25 0 11 0 491963780 861208576 29507 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29507 13073 16 0 210240 0
vsize: 841024
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 96261 70 0 0 25 0 11 0 491963780 861208576 29507 4294967295 134512640 134569956 3221224400 3221214644 1131326412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29507 13073 16 0 210240 0
vsize: 841024
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 97241 70 0 0 25 0 11 0 491963780 861208576 29523 4294967295 134512640 134569956 3221224400 3221214648 1131625443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29523 13073 16 0 210240 0
vsize: 841024
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 98226 70 0 0 25 0 11 0 491963780 861208576 29548 4294967295 134512640 134569956 3221224400 3221214776 1131365693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29548 13073 16 0 210240 0
vsize: 841024
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 99209 71 0 0 25 0 11 0 491963780 861208576 29548 4294967295 134512640 134569956 3221224400 3221214760 1131233807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29548 13073 16 0 210240 0
vsize: 841024
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 100193 71 0 0 25 0 11 0 491963780 861208576 29577 4294967295 134512640 134569956 3221224400 3221214552 1131593970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29577 13073 16 0 210240 0
vsize: 841024
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 101179 71 0 0 25 0 11 0 491963780 861208576 29593 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29593 13073 16 0 210240 0
vsize: 841024
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 102166 71 0 0 25 0 11 0 491963780 861208576 29608 4294967295 134512640 134569956 3221224400 3221214544 1131326791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29608 13073 16 0 210240 0
vsize: 841024
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 103151 71 0 0 25 0 11 0 491963780 861208576 29608 4294967295 134512640 134569956 3221224400 3221214544 1131326650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29608 13073 16 0 210240 0
vsize: 841024
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 104134 71 0 0 25 0 11 0 491963780 861208576 29640 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29640 13073 16 0 210240 0
vsize: 841024
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 105120 71 0 0 25 0 11 0 491963780 861208576 29658 4294967295 134512640 134569956 3221224400 3221214648 1131621656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29658 13073 16 0 210240 0
vsize: 841024
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 106105 71 0 0 25 0 11 0 491963780 861208576 29671 4294967295 134512640 134569956 3221224400 3221214544 1131326627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29671 13073 16 0 210240 0
vsize: 841024
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 107092 71 0 0 25 0 11 0 491963780 861208576 29671 4294967295 134512640 134569956 3221224400 3221214544 1131326823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29671 13073 16 0 210240 0
vsize: 841024
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 108077 71 0 0 25 0 11 0 491963780 861208576 29689 4294967295 134512640 134569956 3221224400 3221214552 1131592917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29689 13073 16 0 210240 0
vsize: 841024
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 109064 71 0 0 25 0 11 0 491963780 861208576 29689 4294967295 134512640 134569956 3221224400 3221214776 1131364100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29689 13073 16 0 210240 0
vsize: 841024
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 110043 71 0 0 25 0 11 0 491963780 861208576 29689 4294967295 134512640 134569956 3221224400 3221214552 1131593003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29689 13073 16 0 210240 0
vsize: 841024
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 111026 72 0 0 25 0 11 0 491963780 861208576 29720 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29720 13073 16 0 210240 0
vsize: 841024
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 112008 72 0 0 25 0 11 0 491963780 861208576 29720 4294967295 134512640 134569956 3221224400 3221214644 1131326412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29720 13073 16 0 210240 0
vsize: 841024
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 112992 72 0 0 25 0 11 0 491963780 861208576 29774 4294967295 134512640 134569956 3221224400 3221214544 1131326660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29774 13073 16 0 210240 0
vsize: 841024
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 113979 72 0 0 25 0 11 0 491963780 861208576 29787 4294967295 134512640 134569956 3221224400 3221214544 1131326791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29787 13073 16 0 210240 0
vsize: 841024
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 114966 72 0 0 25 0 11 0 491963780 861208576 29787 4294967295 134512640 134569956 3221224400 3221214544 1131326763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29787 13073 16 0 210240 0
vsize: 841024
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 115951 72 0 0 25 0 11 0 491963780 861208576 29787 4294967295 134512640 134569956 3221224400 3221214544 1131327015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29787 13073 16 0 210240 0
vsize: 841024
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 116939 72 0 0 25 0 11 0 491963780 861208576 29803 4294967295 134512640 134569956 3221224400 3221214544 1131326450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29803 13073 16 0 210240 0
vsize: 841024
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 117929 72 0 0 25 0 11 0 491963780 861208576 29817 4294967295 134512640 134569956 3221224400 3221214552 1131592656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29817 13073 16 0 210240 0
vsize: 841024
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16416
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 118915 72 0 0 25 0 11 0 491963780 861208576 29817 4294967295 134512640 134569956 3221224400 3221214544 1131326788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29817 13073 16 0 210240 0
vsize: 841024
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.93 4/68 16450
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 119898 72 0 0 25 0 11 0 491963780 861208576 29832 4294967295 134512640 134569956 3221224400 3221214544 1131326872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210256 29832 13073 16 0 210240 0
vsize: 841024
[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16469
Raw data (stat): 16405 (java) R 16404 32461 32460 0 -1 0 18103 4 1 0 120872 82 0 0 25 0 11 0 491963780 861208576 29833 4294967295 134512640 134569956 3221224400 3221214648 1131625440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210256 29833 13073 16 0 210240 0
vsize: 841024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 16471
Raw data (stat): 16405 (java) Z 16404 32461 32460 0 -1 1036 18103 9645 1 0 120873 82 3697 30 25 0 1 0 491963780 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): 1250.17
CPU time (s): 1246.85
CPU user time (s): 1245.71
CPU system time (s): 1.13183
CPU usage (%): 99.7344
Max. virtual memory (Kb): 844004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####