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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
MD5SUM	8afff0cc8710524125079d5ef00fedc0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	450
Total number of constraints	1505
Number of constraints which are clauses	1505
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 4330

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-13 16:29:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1359 boxname=wulflinc9 idbench=151 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8afff0cc8710524125079d5ef00fedc0  /oldhome/oroussel/tmp/wulflinc9/normalized-ii32c1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-ii32c1.opb
IDLAUNCH: 1359
/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:        936108 kB
Buffers:         32172 kB
Cached:          46552 kB
SwapCached:        564 kB
Active:          42996 kB
Inactive:        39128 kB
HighTotal:      131008 kB
HighFree:        80556 kB
LowTotal:       903652 kB
LowFree:        855552 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10836 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:50:45 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1359 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-ii32c1.opb
c reading problem 
c [nbvar=450]
c [nbconstr=1505]
c time 2.249
c #vars     450
c #clauses  1505
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=192
c Current CPU time (ms) : 3.302
c starts	: 1
c conflicts	: 7
c decisions	: 75
c propagations	: 508
c inspects	: 1848
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7
c root simplifications	: 1
c 
c CURRENT OPTIMUM=191
c Current CPU time (ms) : 40.582
c starts	: 3
c conflicts	: 112
c decisions	: 579
c propagations	: 7068
c inspects	: 43058
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 112
c root simplifications	: 3
c 
c CURRENT OPTIMUM=182
c Current CPU time (ms) : 43.177
c starts	: 4
c conflicts	: 130
c decisions	: 758
c propagations	: 8086
c inspects	: 52437
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 130
c root simplifications	: 4
#### 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.92 0.98 0.87 2/54 31271
Raw data (stat): 31271 (runsolver) R 31270 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419179267 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0018 s]
Raw data (loadavg): 1.09 1.02 0.88 4/64 31282
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 17227 3 1 0 517 43 0 0 25 0 11 0 419179267 874004480 22325 4294967295 134512640 134569956 3221224416 3221214696 1131215741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213380 22325 13073 16 0 213364 0
vsize: 853520
[startup+20.0047 s]
Raw data (loadavg): 1.22 1.05 0.89 2/64 31282
Raw data (stat): 31271 (java) S 31270 30854 30853 0 -1 0 18095 3 1 0 1393 46 0 0 25 0 11 0 419179267 873549824 23960 4294967295 134512640 134569956 3221224416 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 23960 13073 16 0 213253 0
vsize: 853076
[startup+30.0048 s]
Raw data (loadavg): 1.19 1.05 0.89 2/64 31282
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18095 3 1 0 2345 46 0 0 18 0 11 0 419179267 873549824 24211 4294967295 134512640 134569956 3221224416 3221214568 1131233890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 24211 13073 16 0 213253 0
vsize: 853076
[startup+40.006 s]
Raw data (loadavg): 1.16 1.04 0.89 2/64 31282
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18095 3 1 0 3304 46 0 0 25 0 11 0 419179267 873549824 24334 4294967295 134512640 134569956 3221224416 3221214584 1131641557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 24334 13073 16 0 213253 0
vsize: 853076
[startup+50.0067 s]
Raw data (loadavg): 1.13 1.04 0.89 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 4243 47 0 0 25 0 11 0 419179267 873549824 24747 4294967295 134512640 134569956 3221224416 3221214696 1131215559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 24747 13073 16 0 213253 0
vsize: 853076
[startup+60.0072 s]
Raw data (loadavg): 1.11 1.04 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 5187 47 0 0 24 0 11 0 419179267 873549824 25115 4294967295 134512640 134569956 3221224416 3221214744 1131365284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 25115 13073 16 0 213253 0
vsize: 853076
[startup+70.0083 s]
Raw data (loadavg): 1.10 1.04 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 6141 47 0 0 25 0 11 0 419179267 873549824 25233 4294967295 134512640 134569956 3221224416 3221214696 1131211658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 25233 13073 16 0 213253 0
vsize: 853076
[startup+80.0091 s]
Raw data (loadavg): 1.08 1.04 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 7095 47 0 0 25 0 11 0 419179267 873549824 25339 4294967295 134512640 134569956 3221224416 3221214744 1131363278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 25339 13073 16 0 213253 0
vsize: 853076
[startup+90.0098 s]
Raw data (loadavg): 1.07 1.03 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 8050 47 0 0 25 0 11 0 419179267 873549824 25531 4294967295 134512640 134569956 3221224416 3221214792 1131292237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 25531 13073 16 0 213253 0
vsize: 853076
[startup+100.01 s]
Raw data (loadavg): 1.06 1.03 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 9007 47 0 0 25 0 11 0 419179267 873549824 25658 4294967295 134512640 134569956 3221224416 3221214568 1131233769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 25658 13073 16 0 213253 0
vsize: 853076
[startup+110.011 s]
Raw data (loadavg): 1.05 1.03 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 9957 47 0 0 25 0 11 0 419179267 873549824 25759 4294967295 134512640 134569956 3221224416 3221214528 1131278317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 25759 13073 16 0 213253 0
vsize: 853076
[startup+120.012 s]
Raw data (loadavg): 1.04 1.03 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 10910 47 0 0 25 0 11 0 419179267 873549824 25856 4294967295 134512640 134569956 3221224416 3221214840 1131248480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 25856 13073 16 0 213253 0
vsize: 853076
[startup+130.014 s]
Raw data (loadavg): 1.03 1.03 0.90 2/64 31284
Raw data (stat): 31271 (java) S 31270 30854 30853 0 -1 0 18096 3 1 0 11863 47 0 0 25 0 11 0 419179267 873549824 26000 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26000 13073 16 0 213253 0
vsize: 853076
[startup+140.015 s]
Raw data (loadavg): 1.03 1.03 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 12812 47 0 0 25 0 11 0 419179267 873549824 26138 4294967295 134512640 134569956 3221224416 3221214640 1131147801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26138 13073 16 0 213253 0
vsize: 853076
[startup+150.016 s]
Raw data (loadavg): 1.02 1.03 0.90 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 13767 48 0 0 24 0 11 0 419179267 873549824 26242 4294967295 134512640 134569956 3221224416 3221214696 1131284849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26242 13073 16 0 213253 0
vsize: 853076
[startup+160.016 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 14719 48 0 0 25 0 11 0 419179267 873549824 26432 4294967295 134512640 134569956 3221224416 3221214560 1131233948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26432 13073 16 0 213253 0
vsize: 853076
[startup+170.016 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 15676 48 0 0 25 0 11 0 419179267 873549824 26567 4294967295 134512640 134569956 3221224416 3221214696 1131216435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26567 13073 16 0 213253 0
vsize: 853076
[startup+180.016 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 16636 48 0 0 25 0 11 0 419179267 873549824 26664 4294967295 134512640 134569956 3221224416 3221214792 1131292244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26664 13073 16 0 213253 0
vsize: 853076
[startup+190.016 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 17581 48 0 0 25 0 11 0 419179267 873549824 26757 4294967295 134512640 134569956 3221224416 3221214744 1131233748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26757 13073 16 0 213253 0
vsize: 853076
[startup+200.017 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 18528 48 0 0 25 0 11 0 419179267 873549824 26916 4294967295 134512640 134569956 3221224416 3221214696 1131215817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 26916 13073 16 0 213253 0
vsize: 853076
[startup+210.018 s]
Raw data (loadavg): 1.07 1.04 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 19480 48 0 0 25 0 11 0 419179267 873549824 27024 4294967295 134512640 134569956 3221224416 3221214696 1131215417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27024 13073 16 0 213253 0
vsize: 853076
[startup+220.018 s]
Raw data (loadavg): 1.06 1.03 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 20427 48 0 0 25 0 11 0 419179267 873549824 27112 4294967295 134512640 134569956 3221224416 3221214792 1131292324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27112 13073 16 0 213253 0
vsize: 853076
[startup+230.018 s]
Raw data (loadavg): 1.05 1.03 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 21386 49 0 0 25 0 11 0 419179267 873549824 27368 4294967295 134512640 134569956 3221224416 3221214696 1131215928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27368 13073 16 0 213253 0
vsize: 853076
[startup+240.019 s]
Raw data (loadavg): 1.04 1.03 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 22351 49 0 0 25 0 11 0 419179267 873549824 27418 4294967295 134512640 134569956 3221224416 3221214776 1131292237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27418 13073 16 0 213253 0
vsize: 853076
[startup+250.02 s]
Raw data (loadavg): 1.04 1.03 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 23315 49 0 0 25 0 11 0 419179267 873549824 27584 4294967295 134512640 134569956 3221224416 3221214568 1131234522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27584 13073 16 0 213253 0
vsize: 853076
[startup+260.021 s]
Raw data (loadavg): 1.03 1.03 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 24288 49 0 0 25 0 11 0 419179267 873549824 27659 4294967295 134512640 134569956 3221224416 3221214680 1131215817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27659 13073 16 0 213253 0
vsize: 853076
[startup+270.022 s]
Raw data (loadavg): 1.02 1.03 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 25260 49 0 0 24 0 11 0 419179267 873549824 27729 4294967295 134512640 134569956 3221224416 3221214680 1131215817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27729 13073 16 0 213253 0
vsize: 853076
[startup+280.021 s]
Raw data (loadavg): 1.02 1.03 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 26234 49 0 0 25 0 11 0 419179267 873549824 27767 4294967295 134512640 134569956 3221224416 3221214776 1131292305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27767 13073 16 0 213253 0
vsize: 853076
[startup+290.022 s]
Raw data (loadavg): 1.02 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 27204 49 0 0 24 0 11 0 419179267 873549824 27840 4294967295 134512640 134569956 3221224416 3221214680 1131215698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27840 13073 16 0 213253 0
vsize: 853076
[startup+300.023 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 28178 49 0 0 25 0 11 0 419179267 873549824 27903 4294967295 134512640 134569956 3221224416 3221214632 1131402222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27903 13073 16 0 213253 0
vsize: 853076
[startup+310.024 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 29150 49 0 0 25 0 11 0 419179267 873549824 27975 4294967295 134512640 134569956 3221224416 3221214776 1131292244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 27975 13073 16 0 213253 0
vsize: 853076
[startup+320.024 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 30126 49 0 0 25 0 11 0 419179267 873549824 28030 4294967295 134512640 134569956 3221224416 3221214776 1131292305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28030 13073 16 0 213253 0
vsize: 853076
[startup+330.025 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 31098 49 0 0 25 0 11 0 419179267 873549824 28116 4294967295 134512640 134569956 3221224416 3221214656 1131425630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28116 13073 16 0 213253 0
vsize: 853076
[startup+340.025 s]
Raw data (loadavg): 1.01 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 32077 49 0 0 25 0 11 0 419179267 873549824 28164 4294967295 134512640 134569956 3221224416 3221214224 1131589049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28164 13073 16 0 213253 0
vsize: 853076
[startup+350.026 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 33048 49 0 0 24 0 11 0 419179267 873549824 28209 4294967295 134512640 134569956 3221224416 3221214776 1131292081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28209 13073 16 0 213253 0
vsize: 853076
[startup+360.028 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 34022 49 0 0 25 0 11 0 419179267 873549824 28277 4294967295 134512640 134569956 3221224416 3221214680 1131215421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28277 13073 16 0 213253 0
vsize: 853076
[startup+370.028 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 34996 50 0 0 25 0 11 0 419179267 873549824 28352 4294967295 134512640 134569956 3221224416 3221214680 1131215698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28352 13073 16 0 213253 0
vsize: 853076
[startup+380.028 s]
Raw data (loadavg): 1.00 1.02 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 35969 50 0 0 25 0 11 0 419179267 873549824 28432 4294967295 134512640 134569956 3221224416 3221214680 1131215867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28432 13073 16 0 213253 0
vsize: 853076
[startup+390.029 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 36954 50 0 0 25 0 11 0 419179267 873549824 28484 4294967295 134512640 134569956 3221224416 3221214680 1131215433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28484 13073 16 0 213253 0
vsize: 853076
[startup+400.03 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 37926 50 0 0 25 0 11 0 419179267 873549824 28547 4294967295 134512640 134569956 3221224416 3221214568 1131233862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28547 13073 16 0 213253 0
vsize: 853076
[startup+410.031 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 38903 50 0 0 25 0 11 0 419179267 873549824 28615 4294967295 134512640 134569956 3221224416 3221214776 1131292324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28615 13073 16 0 213253 0
vsize: 853076
[startup+420.032 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 39881 50 0 0 25 0 11 0 419179267 873549824 28684 4294967295 134512640 134569956 3221224416 3221214832 1131347373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28684 13073 16 0 213253 0
vsize: 853076
[startup+430.032 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 40854 50 0 0 25 0 11 0 419179267 873549824 28771 4294967295 134512640 134569956 3221224416 3221214776 1131294200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28771 13073 16 0 213253 0
vsize: 853076
[startup+440.033 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 41830 50 0 0 25 0 11 0 419179267 873549824 28856 4294967295 134512640 134569956 3221224416 3221214560 1131616591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28856 13073 16 0 213253 0
vsize: 853076
[startup+450.034 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 42811 50 0 0 25 0 11 0 419179267 873549824 28887 4294967295 134512640 134569956 3221224416 3221214560 1131234086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28887 13073 16 0 213253 0
vsize: 853076
[startup+460.034 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 43790 50 0 0 25 0 11 0 419179267 873549824 28927 4294967295 134512640 134569956 3221224416 3221214568 1131234027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28927 13073 16 0 213253 0
vsize: 853076
[startup+470.035 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 44775 50 0 0 25 0 11 0 419179267 873549824 28972 4294967295 134512640 134569956 3221224416 3221214776 1131296639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 28972 13073 16 0 213253 0
vsize: 853076
[startup+480.036 s]
Raw data (loadavg): 1.00 1.01 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 45758 50 0 0 25 0 11 0 419179267 873549824 29028 4294967295 134512640 134569956 3221224416 3221214680 1131342117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29028 13073 16 0 213253 0
vsize: 853076
[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 46739 50 0 0 25 0 11 0 419179267 873549824 29093 4294967295 134512640 134569956 3221224416 3221214776 1131292244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29093 13073 16 0 213253 0
vsize: 853076
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 47722 50 0 0 25 0 11 0 419179267 873549824 29139 4294967295 134512640 134569956 3221224416 3221214560 1131616238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29139 13073 16 0 213253 0
vsize: 853076
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 48705 50 0 0 25 0 11 0 419179267 873549824 29174 4294967295 134512640 134569956 3221224416 3221214680 1131215436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213269 29174 13073 16 0 213253 0
vsize: 853076
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 49681 51 0 0 25 0 11 0 419179267 873549824 29221 4294967295 134512640 134569956 3221224416 3221214776 1131292305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213269 29221 13073 16 0 213253 0
vsize: 853076
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 50663 51 0 0 25 0 11 0 419179267 873549824 29280 4294967295 134512640 134569956 3221224416 3221214472 1131657960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29280 13073 16 0 213253 0
vsize: 853076
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 51643 51 0 0 25 0 11 0 419179267 873549824 29331 4294967295 134512640 134569956 3221224416 3221214568 1131234027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29331 13073 16 0 213253 0
vsize: 853076
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 52629 51 0 0 25 0 11 0 419179267 873549824 29380 4294967295 134512640 134569956 3221224416 3221214744 1131363871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29380 13073 16 0 213253 0
vsize: 853076
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 53616 51 0 0 25 0 11 0 419179267 873549824 29411 4294967295 134512640 134569956 3221224416 3221214776 1131293763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29411 13073 16 0 213253 0
vsize: 853076
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 54596 51 0 0 25 0 11 0 419179267 873549824 29466 4294967295 134512640 134569956 3221224416 3221214568 1131234046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29466 13073 16 0 213253 0
vsize: 853076
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 55580 51 0 0 25 0 11 0 419179267 873549824 29537 4294967295 134512640 134569956 3221224416 3221214576 1131668004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29537 13073 16 0 213253 0
vsize: 853076
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 56566 51 0 0 25 0 11 0 419179267 873549824 29575 4294967295 134512640 134569956 3221224416 3221214432 1131667638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29575 13073 16 0 213253 0
vsize: 853076
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 57553 51 0 0 25 0 11 0 419179267 873549824 29599 4294967295 134512640 134569956 3221224416 3221214432 1131667875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29599 13073 16 0 213253 0
vsize: 853076
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 58542 51 0 0 25 0 11 0 419179267 873549824 29623 4294967295 134512640 134569956 3221224416 3221214480 1131658150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29623 13073 16 0 213253 0
vsize: 853076
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 59534 51 0 0 25 0 11 0 419179267 873549824 29627 4294967295 134512640 134569956 3221224416 3221214656 1131425504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29627 13073 16 0 213253 0
vsize: 853076
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 60521 51 0 0 25 0 11 0 419179267 873549824 29668 4294967295 134512640 134569956 3221224416 3221214648 1131646250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29668 13073 16 0 213253 0
vsize: 853076
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 61506 51 0 0 25 0 11 0 419179267 873549824 29721 4294967295 134512640 134569956 3221224416 3221214400 1131677362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29721 13073 16 0 213253 0
vsize: 853076
[startup+650.045 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 62485 51 0 0 25 0 11 0 419179267 873549824 29782 4294967295 134512640 134569956 3221224416 3221214568 1131233862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29782 13073 16 0 213253 0
vsize: 853076
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 63465 51 0 0 25 0 11 0 419179267 873549824 29847 4294967295 134512640 134569956 3221224416 3221214776 1131294234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29847 13073 16 0 213253 0
vsize: 853076
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 64443 51 0 0 25 0 11 0 419179267 873549824 29913 4294967295 134512640 134569956 3221224416 3221214776 1131292244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29913 13073 16 0 213253 0
vsize: 853076
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 65414 52 0 0 25 0 11 0 419179267 873549824 29955 4294967295 134512640 134569956 3221224416 3221214456 1131668291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29955 13073 16 0 213253 0
vsize: 853076
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 66384 52 0 0 25 0 11 0 419179267 873549824 29994 4294967295 134512640 134569956 3221224416 3221214776 1131293387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 29994 13073 16 0 213253 0
vsize: 853076
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 67344 52 0 0 25 0 11 0 419179267 873549824 30043 4294967295 134512640 134569956 3221224416 3221214672 1131349851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30043 13073 16 0 213253 0
vsize: 853076
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 68298 52 0 0 24 0 11 0 419179267 873549824 30157 4294967295 134512640 134569956 3221224416 3221214632 1131400973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30157 13073 16 0 213253 0
vsize: 853076
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) S 31270 30854 30853 0 -1 0 18096 3 1 0 69254 52 0 0 25 0 11 0 419179267 873549824 30278 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30278 13073 16 0 213253 0
vsize: 853076
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 70215 52 0 0 25 0 11 0 419179267 873549824 30352 4294967295 134512640 134569956 3221224416 3221214696 1131231641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30352 13073 16 0 213253 0
vsize: 853076
[startup+740.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 71178 52 0 0 25 0 11 0 419179267 873549824 30463 4294967295 134512640 134569956 3221224416 3221214776 1131292305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30463 13073 16 0 213253 0
vsize: 853076
[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 72137 52 0 0 25 0 11 0 419179267 873549824 30585 4294967295 134512640 134569956 3221224416 3221214560 1131234556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30585 13073 16 0 213253 0
vsize: 853076
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 73103 52 0 0 25 0 11 0 419179267 873549824 30660 4294967295 134512640 134569956 3221224416 3221214776 1131292045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30660 13073 16 0 213253 0
vsize: 853076
[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 74063 53 0 0 25 0 11 0 419179267 873549824 30743 4294967295 134512640 134569956 3221224416 3221214568 1131233905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30743 13073 16 0 213253 0
vsize: 853076
[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 75024 53 0 0 25 0 11 0 419179267 873549824 30827 4294967295 134512640 134569956 3221224416 3221214568 1131233797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30827 13073 16 0 213253 0
vsize: 853076
[startup+790.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 75978 53 0 0 25 0 11 0 419179267 873549824 30929 4294967295 134512640 134569956 3221224416 3221214632 1131399730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 30929 13073 16 0 213253 0
vsize: 853076
[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 76932 53 0 0 25 0 11 0 419179267 873549824 31012 4294967295 134512640 134569956 3221224416 3221214776 1131292305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31012 13073 16 0 213253 0
vsize: 853076
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 77893 53 0 0 25 0 11 0 419179267 873549824 31164 4294967295 134512640 134569956 3221224416 3221214776 1131292244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31164 13073 16 0 213253 0
vsize: 853076
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 78859 53 0 0 25 0 11 0 419179267 873549824 31253 4294967295 134512640 134569956 3221224416 3221214776 1131292241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31253 13073 16 0 213253 0
vsize: 853076
[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 79824 53 0 0 25 0 11 0 419179267 873549824 31341 4294967295 134512640 134569956 3221224416 3221214632 1131399518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31341 13073 16 0 213253 0
vsize: 853076
[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 80786 53 0 0 25 0 11 0 419179267 873549824 31450 4294967295 134512640 134569956 3221224416 3221214632 1131400195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31450 13073 16 0 213253 0
vsize: 853076
[startup+850.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 81748 53 0 0 25 0 11 0 419179267 873549824 31509 4294967295 134512640 134569956 3221224416 3221214776 1131292081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31509 13073 16 0 213253 0
vsize: 853076
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 82708 53 0 0 24 0 11 0 419179267 873549824 31611 4294967295 134512640 134569956 3221224416 3221214568 1131233905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31611 13073 16 0 213253 0
vsize: 853076
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 83665 53 0 0 25 0 11 0 419179267 873549824 31715 4294967295 134512640 134569956 3221224416 3221214656 1131684551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31715 13073 16 0 213253 0
vsize: 853076
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 84624 53 0 0 25 0 11 0 419179267 873549824 31821 4294967295 134512640 134569956 3221224416 3221214568 1131233905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31821 13073 16 0 213253 0
vsize: 853076
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 85585 53 0 0 25 0 11 0 419179267 873549824 31912 4294967295 134512640 134569956 3221224416 3221214696 1131285281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 31912 13073 16 0 213253 0
vsize: 853076
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 86548 53 0 0 25 0 11 0 419179267 873549824 32058 4294967295 134512640 134569956 3221224416 3221214632 1131402986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32058 13073 16 0 213253 0
vsize: 853076
[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 87517 53 0 0 25 0 11 0 419179267 873549824 32156 4294967295 134512640 134569956 3221224416 3221214620 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32156 13073 16 0 213253 0
vsize: 853076
[startup+920.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 88487 53 0 0 25 0 11 0 419179267 873549824 32223 4294967295 134512640 134569956 3221224416 3221214744 1131362356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32223 13073 16 0 213253 0
vsize: 853076
[startup+930.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 89457 54 0 0 25 0 11 0 419179267 873549824 32298 4294967295 134512640 134569956 3221224416 3221214680 1131216496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32298 13073 16 0 213253 0
vsize: 853076
[startup+940.064 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 90427 54 0 0 25 0 11 0 419179267 873549824 32360 4294967295 134512640 134569956 3221224416 3221214740 1131285307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32360 13073 16 0 213253 0
vsize: 853076
[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 91396 54 0 0 25 0 11 0 419179267 873549824 32436 4294967295 134512640 134569956 3221224416 3221214680 1131216015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32436 13073 16 0 213253 0
vsize: 853076
[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 92361 54 0 0 25 0 11 0 419179267 873549824 32505 4294967295 134512640 134569956 3221224416 3221214632 1131401093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32505 13073 16 0 213253 0
vsize: 853076
[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 93330 54 0 0 25 0 11 0 419179267 873549824 32588 4294967295 134512640 134569956 3221224416 3221214744 1131362196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32588 13073 16 0 213253 0
vsize: 853076
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 94297 54 0 0 25 0 11 0 419179267 873549824 32672 4294967295 134512640 134569956 3221224416 3221214632 1131399523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32672 13073 16 0 213253 0
vsize: 853076
[startup+990.067 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 95264 54 0 0 25 0 11 0 419179267 873549824 32728 4294967295 134512640 134569956 3221224416 3221214776 1131292262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32728 13073 16 0 213253 0
vsize: 853076
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 96230 54 0 0 25 0 11 0 419179267 873549824 32809 4294967295 134512640 134569956 3221224416 3221214680 1131215680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32809 13073 16 0 213253 0
vsize: 853076
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 97200 54 0 0 25 0 11 0 419179267 873549824 32870 4294967295 134512640 134569956 3221224416 3221214744 1131361819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32870 13073 16 0 213253 0
vsize: 853076
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 98166 54 0 0 25 0 11 0 419179267 873549824 32947 4294967295 134512640 134569956 3221224416 3221214704 1131317435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 32947 13073 16 0 213253 0
vsize: 853076
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 99128 54 0 0 25 0 11 0 419179267 873549824 33038 4294967295 134512640 134569956 3221224416 3221214632 1131402986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33038 13073 16 0 213253 0
vsize: 853076
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 100099 54 0 0 25 0 11 0 419179267 873549824 33128 4294967295 134512640 134569956 3221224416 3221213936 1131716527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33128 13073 16 0 213253 0
vsize: 853076
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 101068 54 0 0 25 0 11 0 419179267 873549824 33190 4294967295 134512640 134569956 3221224416 3221214888 1131489276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33190 13073 16 0 213253 0
vsize: 853076
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 102031 54 0 0 25 0 11 0 419179267 873549824 33282 4294967295 134512640 134569956 3221224416 3221214560 1131617367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33282 13073 16 0 213253 0
vsize: 853076
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 102998 54 0 0 25 0 11 0 419179267 873549824 33344 4294967295 134512640 134569956 3221224416 3221214680 1131215425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33344 13073 16 0 213253 0
vsize: 853076
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 103958 54 0 0 25 0 11 0 419179267 873549824 33423 4294967295 134512640 134569956 3221224416 3221214680 1131215817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33423 13073 16 0 213253 0
vsize: 853076
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 104926 54 0 0 25 0 11 0 419179267 873549824 33558 4294967295 134512640 134569956 3221224416 3221214776 1131292069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33558 13073 16 0 213253 0
vsize: 853076
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 105901 54 0 0 25 0 11 0 419179267 873549824 33604 4294967295 134512640 134569956 3221224416 3221214056 1131709780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33604 13073 16 0 213253 0
vsize: 853076
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 106878 54 0 0 25 0 11 0 419179267 873549824 33671 4294967295 134512640 134569956 3221224416 3221214776 1131292955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33671 13073 16 0 213253 0
vsize: 853076
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 107849 54 0 0 25 0 11 0 419179267 873549824 33737 4294967295 134512640 134569956 3221224416 3221214680 1131215604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33737 13073 16 0 213253 0
vsize: 853076
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 108823 54 0 0 25 0 11 0 419179267 873549824 33810 4294967295 134512640 134569956 3221224416 3221214776 1131293394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33810 13073 16 0 213253 0
vsize: 853076
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 109803 54 0 0 25 0 11 0 419179267 873549824 33829 4294967295 134512640 134569956 3221224416 3221214776 1131293357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33829 13073 16 0 213253 0
vsize: 853076
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 110784 55 0 0 25 0 11 0 419179267 873549824 33867 4294967295 134512640 134569956 3221224416 3221214160 1131716330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33867 13073 16 0 213253 0
vsize: 853076
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 111767 55 0 0 25 0 11 0 419179267 873549824 33897 4294967295 134512640 134569956 3221224416 3221214776 1131292081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33897 13073 16 0 213253 0
vsize: 853076
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 112740 55 0 0 25 0 11 0 419179267 873549824 33944 4294967295 134512640 134569956 3221224416 3221214456 1131668711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33944 13073 16 0 213253 0
vsize: 853076
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 113718 55 0 0 25 0 11 0 419179267 873549824 33992 4294967295 134512640 134569956 3221224416 3221214544 1131638614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 33992 13073 16 0 213253 0
vsize: 853076
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 114695 55 0 0 25 0 11 0 419179267 873549824 34021 4294967295 134512640 134569956 3221224416 3221214776 1131294157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 34021 13073 16 0 213253 0
vsize: 853076
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 115673 55 0 0 25 0 11 0 419179267 873549824 34078 4294967295 134512640 134569956 3221224416 3221214072 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 34078 13073 16 0 213253 0
vsize: 853076
[startup+1210.08 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 116652 55 0 0 25 0 11 0 419179267 873549824 34127 4294967295 134512640 134569956 3221224416 3221214744 1131367202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 34127 13073 16 0 213253 0
vsize: 853076
[startup+1220.08 s]
Raw data (loadavg): 1.13 1.03 0.93 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 117634 55 0 0 25 0 11 0 419179267 873549824 34170 4294967295 134512640 134569956 3221224416 3221213992 1131716480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 34170 13073 16 0 213253 0
vsize: 853076
[startup+1230.08 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 118614 55 0 0 25 0 11 0 419179267 873549824 34214 4294967295 134512640 134569956 3221224416 3221214812 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 34214 13073 16 0 213253 0
vsize: 853076
[startup+1240.08 s]
Raw data (loadavg): 1.25 1.06 0.94 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 119594 55 0 0 25 0 11 0 419179267 873549824 34260 4294967295 134512640 134569956 3221224416 3221214488 1131672248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 34260 13073 16 0 213253 0
vsize: 853076
[startup+1250.08 s]
Raw data (loadavg): 1.21 1.06 0.94 2/64 31284
Raw data (stat): 31271 (java) R 31270 30854 30853 0 -1 0 18096 3 1 0 120578 55 0 0 25 0 11 0 419179267 873549824 34293 4294967295 134512640 134569956 3221224416 3221214680 1131215429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213269 34293 13073 16 0 213253 0
vsize: 853076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.21 1.06 0.94 1/54 31286
Raw data (stat): 31271 (java) Z 31270 30854 30853 0 -1 1036 18096 11154 1 0 120580 55 3820 38 25 0 1 0 419179267 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.16
CPU time (s): 1244.94
CPU user time (s): 1244.01
CPU system time (s): 0.935857
CPU usage (%): 99.5825
Max. virtual memory (Kb): 853520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####