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/ttp/normalized-data6_3.opb
MD5SUM	3ce91e964f348d481da3f7741c5768eb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25102
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	116904
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	116904
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 4447

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-13 17:17:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2358 boxname=wulflinc18 idbench=262 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc18/normalized-data6_3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-data6_3.opb
IDLAUNCH: 2358
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        925268 kB
Buffers:         33060 kB
Cached:          40604 kB
SwapCached:        320 kB
Active:          44008 kB
Inactive:        32760 kB
HighTotal:      131008 kB
HighFree:        86492 kB
LowTotal:       903652 kB
LowFree:        838776 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27124 kB
Committed_AS:    63700 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:38:56 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2358 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-data6_3.opb
c reading problem 
c [nbvar=540]
c [nbconstr=4476]
c time 3.539
c #vars     540
c #clauses  4626
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=27858
c Current CPU time (ms) : 7.771
c starts	: 1
c conflicts	: 38
c decisions	: 416
c propagations	: 3091
c inspects	: 13614
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 38
c root simplifications	: 1
c 
c CURRENT OPTIMUM=27836
c Current CPU time (ms) : 139.502
c starts	: 6
c conflicts	: 1312
c decisions	: 3681
c propagations	: 83534
c inspects	: 1046937
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1312
c root simplifications	: 6
c 
c CURRENT OPTIMUM=27174
c Current CPU time (ms) : 511.394
c starts	: 13
c conflicts	: 3449
c decisions	: 9158
c propagations	: 213782
c inspects	: 5241801
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3449
c root simplifications	: 13
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.94 2/55 21152
Raw data (stat): 21152 (runsolver) R 21151 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477679119 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.0006 s]
Raw data (loadavg): 1.18 1.03 0.96 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18091 3 1 0 651 41 0 0 25 0 11 0 477679119 865566720 21877 4294967295 134512640 134569956 3221224416 3221214792 1131365408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211320 21877 13073 16 0 211304 0
vsize: 845280
[startup+20.0024 s]
Raw data (loadavg): 1.31 1.06 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18092 3 1 0 1551 41 0 0 25 0 11 0 477679119 865206272 23612 4294967295 134512640 134569956 3221224416 3221214640 1131398151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 23612 13073 16 0 211216 0
vsize: 844928
[startup+30.0028 s]
Raw data (loadavg): 1.26 1.06 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 2497 41 0 0 25 0 11 0 477679119 865206272 23614 4294967295 134512640 134569956 3221224416 3221214784 1131365431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 23614 13073 16 0 211216 0
vsize: 844928
[startup+40.0031 s]
Raw data (loadavg): 1.22 1.06 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 3423 41 0 0 25 0 11 0 477679119 865206272 23810 4294967295 134512640 134569956 3221224416 3221214640 1131399879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 23810 13073 16 0 211216 0
vsize: 844928
[startup+50.0083 s]
Raw data (loadavg): 1.19 1.06 0.97 2/65 21163
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 4339 41 0 0 25 0 11 0 477679119 865206272 24077 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 24077 13073 16 0 211216 0
vsize: 844928
[startup+60.0086 s]
Raw data (loadavg): 1.16 1.05 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 5259 41 0 0 25 0 11 0 477679119 865206272 24389 4294967295 134512640 134569956 3221224416 3221214760 1131231983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 24389 13073 16 0 211216 0
vsize: 844928
[startup+70.0156 s]
Raw data (loadavg): 1.13 1.05 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 6185 41 0 0 25 0 11 0 477679119 865206272 24606 4294967295 134512640 134569956 3221224416 3221214688 1131218130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 24606 13073 16 0 211216 0
vsize: 844928
[startup+80.1188 s]
Raw data (loadavg): 1.11 1.05 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 7120 41 0 0 25 0 11 0 477679119 865206272 24823 4294967295 134512640 134569956 3221224416 3221214688 1131218477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 24823 13073 16 0 211216 0
vsize: 844928
[startup+90.1183 s]
Raw data (loadavg): 1.09 1.05 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 8032 42 0 0 25 0 11 0 477679119 865206272 25136 4294967295 134512640 134569956 3221224416 3221214704 1131260581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 25136 13073 16 0 211216 0
vsize: 844928
[startup+100.139 s]
Raw data (loadavg): 1.08 1.05 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 8959 42 0 0 25 0 11 0 477679119 865206272 25382 4294967295 134512640 134569956 3221224416 3221214688 1131217924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 25382 13073 16 0 211216 0
vsize: 844928
[startup+110.364 s]
Raw data (loadavg): 1.07 1.04 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 9896 42 0 0 25 0 11 0 477679119 865206272 25655 4294967295 134512640 134569956 3221224416 3221214688 1131218099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 25655 13073 16 0 211216 0
vsize: 844928
[startup+120.364 s]
Raw data (loadavg): 1.06 1.04 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 10820 42 0 0 25 0 11 0 477679119 865206272 25900 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 25900 13073 16 0 211216 0
vsize: 844928
[startup+130.364 s]
Raw data (loadavg): 1.05 1.04 0.97 2/65 21163
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 11746 42 0 0 25 0 11 0 477679119 865206272 26096 4294967295 134512640 134569956 3221224416 3221214688 1131218477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 26096 13073 16 0 211216 0
vsize: 844928
[startup+140.365 s]
Raw data (loadavg): 1.04 1.04 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 12663 42 0 0 25 0 11 0 477679119 865206272 26280 4294967295 134512640 134569956 3221224416 3221214784 1131365585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 26280 13073 16 0 211216 0
vsize: 844928
[startup+150.366 s]
Raw data (loadavg): 1.03 1.04 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 13588 42 0 0 25 0 11 0 477679119 865206272 26497 4294967295 134512640 134569956 3221224416 3221214760 1131232023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 26497 13073 16 0 211216 0
vsize: 844928
[startup+160.366 s]
Raw data (loadavg): 1.03 1.04 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 14514 42 0 0 25 0 11 0 477679119 865206272 26719 4294967295 134512640 134569956 3221224416 3221214784 1131366507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 26719 13073 16 0 211216 0
vsize: 844928
[startup+170.368 s]
Raw data (loadavg): 1.02 1.03 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 15439 42 0 0 25 0 11 0 477679119 865206272 26928 4294967295 134512640 134569956 3221224416 3221214688 1131218835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 26928 13073 16 0 211216 0
vsize: 844928
[startup+180.368 s]
Raw data (loadavg): 1.02 1.03 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 16365 42 0 0 25 0 11 0 477679119 865206272 27081 4294967295 134512640 134569956 3221224416 3221214640 1131398151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 27081 13073 16 0 211216 0
vsize: 844928
[startup+190.372 s]
Raw data (loadavg): 1.02 1.03 0.97 2/65 21164
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 17285 42 0 0 25 0 11 0 477679119 865206272 27306 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 27306 13073 16 0 211216 0
vsize: 844928
[startup+200.374 s]
Raw data (loadavg): 1.01 1.03 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 18204 42 0 0 25 0 11 0 477679119 865206272 27491 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 27491 13073 16 0 211216 0
vsize: 844928
[startup+210.374 s]
Raw data (loadavg): 1.01 1.03 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 19129 42 0 0 25 0 11 0 477679119 865206272 27704 4294967295 134512640 134569956 3221224416 3221214784 1131365496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 27704 13073 16 0 211216 0
vsize: 844928
[startup+220.378 s]
Raw data (loadavg): 1.01 1.03 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 20055 42 0 0 25 0 11 0 477679119 865206272 27871 4294967295 134512640 134569956 3221224416 3221214784 1131365225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 27871 13073 16 0 211216 0
vsize: 844928
[startup+230.383 s]
Raw data (loadavg): 1.01 1.03 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 20991 42 0 0 25 0 11 0 477679119 865206272 28066 4294967295 134512640 134569956 3221224416 3221214640 1131398375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 28066 13073 16 0 211216 0
vsize: 844928
[startup+240.383 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 21919 42 0 0 25 0 11 0 477679119 865206272 28255 4294967295 134512640 134569956 3221224416 3221214688 1131218716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 28255 13073 16 0 211216 0
vsize: 844928
[startup+250.384 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21164
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 22848 42 0 0 25 0 11 0 477679119 865206272 28423 4294967295 134512640 134569956 3221224416 3221214856 1131305011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 28423 13073 16 0 211216 0
vsize: 844928
[startup+260.389 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 23772 42 0 0 25 0 11 0 477679119 865206272 28615 4294967295 134512640 134569956 3221224416 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 28615 13073 16 0 211216 0
vsize: 844928
[startup+270.39 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 24699 42 0 0 25 0 11 0 477679119 865206272 28811 4294967295 134512640 134569956 3221224416 3221214756 1130883836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 28811 13073 16 0 211216 0
vsize: 844928
[startup+280.39 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 25629 42 0 0 25 0 11 0 477679119 865206272 29002 4294967295 134512640 134569956 3221224416 3221214624 1131550805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 29002 13073 16 0 211216 0
vsize: 844928
[startup+290.391 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 26555 42 0 0 25 0 11 0 477679119 865206272 29161 4294967295 134512640 134569956 3221224416 3221214592 1131414848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 29161 13073 16 0 211216 0
vsize: 844928
[startup+300.391 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 27480 43 0 0 25 0 11 0 477679119 865206272 29326 4294967295 134512640 134569956 3221224416 3221214784 1131366466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 29326 13073 16 0 211216 0
vsize: 844928
[startup+310.392 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 28406 43 0 0 25 0 11 0 477679119 865206272 29503 4294967295 134512640 134569956 3221224416 3221214688 1131218021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 29503 13073 16 0 211216 0
vsize: 844928
[startup+320.398 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 29332 43 0 0 25 0 11 0 477679119 865206272 29706 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 29706 13073 16 0 211216 0
vsize: 844928
[startup+330.398 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 21166
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 30261 43 0 0 25 0 11 0 477679119 865206272 29933 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 29933 13073 16 0 211216 0
vsize: 844928
[startup+340.398 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 31202 43 0 0 25 0 11 0 477679119 865206272 30116 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 30116 13073 16 0 211216 0
vsize: 844928
[startup+350.402 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 32130 43 0 0 25 0 11 0 477679119 865206272 30270 4294967295 134512640 134569956 3221224416 3221214680 1131152153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 30270 13073 16 0 211216 0
vsize: 844928
[startup+360.403 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 33063 43 0 0 25 0 11 0 477679119 865206272 30420 4294967295 134512640 134569956 3221224416 3221214784 1131365265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 30420 13073 16 0 211216 0
vsize: 844928
[startup+370.404 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 33995 43 0 0 25 0 11 0 477679119 865206272 30577 4294967295 134512640 134569956 3221224416 3221214688 1131217789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 30577 13073 16 0 211216 0
vsize: 844928
[startup+380.405 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 34920 43 0 0 25 0 11 0 477679119 865206272 30785 4294967295 134512640 134569956 3221224416 3221214784 1131365424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 30785 13073 16 0 211216 0
vsize: 844928
[startup+390.405 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 35855 43 0 0 25 0 11 0 477679119 865206272 30929 4294967295 134512640 134569956 3221224416 3221214688 1131217793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 30929 13073 16 0 211216 0
vsize: 844928
[startup+400.406 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 36789 43 0 0 25 0 11 0 477679119 865206272 31097 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 31097 13073 16 0 211216 0
vsize: 844928
[startup+410.407 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 37724 44 0 0 25 0 11 0 477679119 865206272 31252 4294967295 134512640 134569956 3221224416 3221214784 1131367519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 31252 13073 16 0 211216 0
vsize: 844928
[startup+420.408 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 38659 44 0 0 25 0 11 0 477679119 865206272 31388 4294967295 134512640 134569956 3221224416 3221214784 1131365261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 31388 13073 16 0 211216 0
vsize: 844928
[startup+430.413 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 21166
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 39587 44 0 0 25 0 11 0 477679119 865206272 31554 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 31554 13073 16 0 211216 0
vsize: 844928
[startup+440.413 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 40522 44 0 0 25 0 11 0 477679119 865206272 31738 4294967295 134512640 134569956 3221224416 3221214856 1131304551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 31738 13073 16 0 211216 0
vsize: 844928
[startup+450.414 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 41460 44 0 0 25 0 11 0 477679119 865206272 31889 4294967295 134512640 134569956 3221224416 3221214784 1131365265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 31889 13073 16 0 211216 0
vsize: 844928
[startup+460.414 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 42398 44 0 0 25 0 11 0 477679119 865206272 32038 4294967295 134512640 134569956 3221224416 3221214784 1131365496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 32038 13073 16 0 211216 0
vsize: 844928
[startup+470.415 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 43337 44 0 0 25 0 11 0 477679119 865206272 32190 4294967295 134512640 134569956 3221224416 3221214784 1131365431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 32190 13073 16 0 211216 0
vsize: 844928
[startup+480.416 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 44275 44 0 0 25 0 11 0 477679119 865206272 32336 4294967295 134512640 134569956 3221224416 3221214760 1131218835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 32336 13073 16 0 211216 0
vsize: 844928
[startup+490.416 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 45214 44 0 0 25 0 11 0 477679119 865206272 32482 4294967295 134512640 134569956 3221224416 3221214920 1131421705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 32482 13073 16 0 211216 0
vsize: 844928
[startup+500.421 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 46145 44 0 0 24 0 11 0 477679119 865206272 32631 4294967295 134512640 134569956 3221224416 3221214688 1131217789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 32631 13073 16 0 211216 0
vsize: 844928
[startup+510.421 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21166
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 47084 44 0 0 25 0 11 0 477679119 865206272 32770 4294967295 134512640 134569956 3221224416 3221214784 1131367495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 32770 13073 16 0 211216 0
vsize: 844928
[startup+520.423 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21167
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 48039 44 0 0 25 0 11 0 477679119 865206272 32896 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 32896 13073 16 0 211216 0
vsize: 844928
[startup+530.423 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21167
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 48994 44 0 0 25 0 11 0 477679119 865206272 32992 4294967295 134512640 134569956 3221224416 3221214056 1131323863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 32992 13073 16 0 211216 0
vsize: 844928
[startup+540.423 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21167
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 49959 44 0 0 25 0 11 0 477679119 865206272 33044 4294967295 134512640 134569956 3221224416 3221213912 1131648722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 33044 13073 16 0 211216 0
vsize: 844928
[startup+550.424 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21167
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 50930 45 0 0 25 0 11 0 477679119 865206272 33120 4294967295 134512640 134569956 3221224416 3221214448 1131323964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33120 13073 16 0 211216 0
vsize: 844928
[startup+560.424 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 51903 45 0 0 25 0 11 0 477679119 865206272 33177 4294967295 134512640 134569956 3221224416 3221213944 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33177 13073 16 0 211216 0
vsize: 844928
[startup+570.425 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 52858 45 0 0 25 0 11 0 477679119 865206272 33260 4294967295 134512640 134569956 3221224416 3221213496 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 33260 13073 16 0 211216 0
vsize: 844928
[startup+580.425 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 53804 45 0 0 25 0 11 0 477679119 865206272 33385 4294967295 134512640 134569956 3221224416 3221214600 1131317589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33385 13073 16 0 211216 0
vsize: 844928
[startup+590.426 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 54760 46 0 0 25 0 11 0 477679119 865206272 33490 4294967295 134512640 134569956 3221224416 3221214544 1131317589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33490 13073 16 0 211216 0
vsize: 844928
[startup+600.426 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 55709 46 0 0 25 0 11 0 477679119 865206272 33613 4294967295 134512640 134569956 3221224416 3221214188 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33613 13073 16 0 211216 0
vsize: 844928
[startup+610.427 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 56676 47 0 0 25 0 11 0 477679119 865206272 33711 4294967295 134512640 134569956 3221224416 3221214688 1131218754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33711 13073 16 0 211216 0
vsize: 844928
[startup+620.429 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 57635 47 0 0 25 0 11 0 477679119 865206272 33793 4294967295 134512640 134569956 3221224416 3221214336 1131323991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33793 13073 16 0 211216 0
vsize: 844928
[startup+630.429 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 58593 47 0 0 25 0 11 0 477679119 865206272 33871 4294967295 134512640 134569956 3221224416 3221214608 1131316138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 33871 13073 16 0 211216 0
vsize: 844928
[startup+640.429 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 59542 48 0 0 25 0 11 0 477679119 865206272 33992 4294967295 134512640 134569956 3221224416 3221213964 1131317571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 33992 13073 16 0 211216 0
vsize: 844928
[startup+650.43 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 60515 48 0 0 25 0 11 0 477679119 865206272 34057 4294967295 134512640 134569956 3221224416 3221214688 1131232023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34057 13073 16 0 211216 0
vsize: 844928
[startup+660.431 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 61480 48 0 0 25 0 11 0 477679119 865206272 34129 4294967295 134512640 134569956 3221224416 3221214592 1131542863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34129 13073 16 0 211216 0
vsize: 844928
[startup+670.432 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 62436 48 0 0 25 0 11 0 477679119 865206272 34210 4294967295 134512640 134569956 3221224416 3221213944 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34210 13073 16 0 211216 0
vsize: 844928
[startup+680.433 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 63401 49 0 0 25 0 11 0 477679119 865206272 34284 4294967295 134512640 134569956 3221224416 3221214776 1131487664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34284 13073 16 0 211216 0
vsize: 844928
[startup+690.434 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 64356 49 0 0 25 0 11 0 477679119 865206272 34388 4294967295 134512640 134569956 3221224416 3221214300 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34388 13073 16 0 211216 0
vsize: 844928
[startup+700.435 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 65312 49 0 0 25 0 11 0 477679119 865206272 34486 4294967295 134512640 134569956 3221224416 3221214784 1131365424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34486 13073 16 0 211216 0
vsize: 844928
[startup+710.436 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 66267 50 0 0 25 0 11 0 477679119 865206272 34597 4294967295 134512640 134569956 3221224416 3221214192 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34597 13073 16 0 211216 0
vsize: 844928
[startup+720.437 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 67216 51 0 0 25 0 11 0 477679119 865206272 34719 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34719 13073 16 0 211216 0
vsize: 844928
[startup+730.438 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 68174 51 0 0 25 0 11 0 477679119 865206272 34812 4294967295 134512640 134569956 3221224416 3221214688 1131218800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34812 13073 16 0 211216 0
vsize: 844928
[startup+740.438 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 69123 51 0 0 25 0 11 0 477679119 865206272 34929 4294967295 134512640 134569956 3221224416 3221214688 1131218805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 34929 13073 16 0 211216 0
vsize: 844928
[startup+750.438 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 70074 51 0 0 25 0 11 0 477679119 865206272 35022 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35022 13073 16 0 211216 0
vsize: 844928
[startup+760.439 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 71032 51 0 0 25 0 11 0 477679119 865206272 35120 4294967295 134512640 134569956 3221224416 3221214784 1131366537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35120 13073 16 0 211216 0
vsize: 844928
[startup+770.44 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 71999 52 0 0 25 0 11 0 477679119 865206272 35198 4294967295 134512640 134569956 3221224416 3221214784 1131365424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35198 13073 16 0 211216 0
vsize: 844928
[startup+780.441 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 72957 52 0 0 25 0 11 0 477679119 865206272 35273 4294967295 134512640 134569956 3221224416 3221214416 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35273 13073 16 0 211216 0
vsize: 844928
[startup+790.441 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 73907 52 0 0 25 0 11 0 477679119 865206272 35398 4294967295 134512640 134569956 3221224416 3221214608 1131316138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35398 13073 16 0 211216 0
vsize: 844928
[startup+800.442 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 74859 52 0 0 25 0 11 0 477679119 865206272 35504 4294967295 134512640 134569956 3221224416 3221213912 1131648652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35504 13073 16 0 211216 0
vsize: 844928
[startup+810.442 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 75818 53 0 0 25 0 11 0 477679119 865206272 35581 4294967295 134512640 134569956 3221224416 3221214272 1131316201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35581 13073 16 0 211216 0
vsize: 844928
[startup+820.444 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 76778 53 0 0 25 0 11 0 477679119 865206272 35678 4294967295 134512640 134569956 3221224416 3221214784 1131365431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35678 13073 16 0 211216 0
vsize: 844928
[startup+830.445 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 77729 54 0 0 25 0 11 0 477679119 865206272 35780 4294967295 134512640 134569956 3221224416 3221214784 1131365496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35780 13073 16 0 211216 0
vsize: 844928
[startup+840.444 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 78678 54 0 0 25 0 11 0 477679119 865206272 35884 4294967295 134512640 134569956 3221224416 3221214784 1131365431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35884 13073 16 0 211216 0
vsize: 844928
[startup+850.445 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21169
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 79636 55 0 0 25 0 11 0 477679119 865206272 35959 4294967295 134512640 134569956 3221224416 3221214784 1131365424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 35959 13073 16 0 211216 0
vsize: 844928
[startup+860.447 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 80593 55 0 0 25 0 11 0 477679119 865206272 36043 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36043 13073 16 0 211216 0
vsize: 844928
[startup+870.448 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 81546 56 0 0 25 0 11 0 477679119 865206272 36154 4294967295 134512640 134569956 3221224416 3221214216 1131316316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36154 13073 16 0 211216 0
vsize: 844928
[startup+880.448 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 82491 56 0 0 25 0 11 0 477679119 865206272 36269 4294967295 134512640 134569956 3221224416 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36269 13073 16 0 211216 0
vsize: 844928
[startup+890.448 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 83451 57 0 0 25 0 11 0 477679119 865206272 36388 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36388 13073 16 0 211216 0
vsize: 844928
[startup+900.449 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 84405 57 0 0 25 0 11 0 477679119 865206272 36491 4294967295 134512640 134569956 3221224416 3221214784 1131367398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36491 13073 16 0 211216 0
vsize: 844928
[startup+910.449 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 85352 57 0 0 25 0 11 0 477679119 865206272 36589 4294967295 134512640 134569956 3221224416 3221214200 1131323908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36589 13073 16 0 211216 0
vsize: 844928
[startup+920.45 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 86313 57 0 0 25 0 11 0 477679119 865206272 36672 4294967295 134512640 134569956 3221224416 3221214784 1131366507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36672 13073 16 0 211216 0
vsize: 844928
[startup+930.451 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 87282 57 0 0 25 0 11 0 477679119 865206272 36743 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36743 13073 16 0 211216 0
vsize: 844928
[startup+940.45 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 88250 58 0 0 25 0 11 0 477679119 865206272 36800 4294967295 134512640 134569956 3221224416 3221214380 1131317580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36800 13073 16 0 211216 0
vsize: 844928
[startup+950.452 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 89208 58 0 0 25 0 11 0 477679119 865206272 36892 4294967295 134512640 134569956 3221224416 3221214688 1131217785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36892 13073 16 0 211216 0
vsize: 844928
[startup+960.452 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 90167 58 0 0 25 0 11 0 477679119 865206272 36984 4294967295 134512640 134569956 3221224416 3221214608 1131232023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 36984 13073 16 0 211216 0
vsize: 844928
[startup+970.453 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 91118 59 0 0 25 0 11 0 477679119 865206272 37071 4294967295 134512640 134569956 3221224416 3221214752 1131441848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37071 13073 16 0 211216 0
vsize: 844928
[startup+980.454 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 92077 59 0 0 25 0 11 0 477679119 865206272 37142 4294967295 134512640 134569956 3221224416 3221214904 1131590339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37142 13073 16 0 211216 0
vsize: 844928
[startup+990.454 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 93037 59 0 0 25 0 11 0 477679119 865206272 37240 4294967295 134512640 134569956 3221224416 3221214632 1131482456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37240 13073 16 0 211216 0
vsize: 844928
[startup+1000.45 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 93996 60 0 0 25 0 11 0 477679119 865206272 37337 4294967295 134512640 134569956 3221224416 3221214784 1131365431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37337 13073 16 0 211216 0
vsize: 844928
[startup+1010.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 94963 60 0 0 25 0 11 0 477679119 865206272 37417 4294967295 134512640 134569956 3221224416 3221214784 1131365265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37417 13073 16 0 211216 0
vsize: 844928
[startup+1020.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 95916 60 0 0 25 0 11 0 477679119 865206272 37511 4294967295 134512640 134569956 3221224416 3221214688 1131217992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37511 13073 16 0 211216 0
vsize: 844928
[startup+1030.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 96877 60 0 0 25 0 11 0 477679119 865206272 37580 4294967295 134512640 134569956 3221224416 3221214968 1131356040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37580 13073 16 0 211216 0
vsize: 844928
[startup+1040.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 97829 61 0 0 25 0 11 0 477679119 865206272 37675 4294967295 134512640 134569956 3221224416 3221214688 1131218371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37675 13073 16 0 211216 0
vsize: 844928
[startup+1050.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 98796 61 0 0 25 0 11 0 477679119 865206272 37741 4294967295 134512640 134569956 3221224416 3221214784 1131366566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37741 13073 16 0 211216 0
vsize: 844928
[startup+1060.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 99756 61 0 0 25 0 11 0 477679119 865206272 37837 4294967295 134512640 134569956 3221224416 3221214688 1131218209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 37837 13073 16 0 211216 0
vsize: 844928
[startup+1070.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 100715 62 0 0 25 0 11 0 477679119 865206272 37916 4294967295 134512640 134569956 3221224416 3221213664 1085679356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37916 13073 16 0 211216 0
vsize: 844928
[startup+1080.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 101690 62 0 0 25 0 11 0 477679119 865206272 37959 4294967295 134512640 134569956 3221224416 3221214784 1131365293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 37959 13073 16 0 211216 0
vsize: 844928
[startup+1090.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 102657 62 0 0 25 0 11 0 477679119 865206272 38003 4294967295 134512640 134569956 3221224416 3221213976 1131323932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38003 13073 16 0 211216 0
vsize: 844928
[startup+1100.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 103617 62 0 0 25 0 11 0 477679119 865206272 38070 4294967295 134512640 134569956 3221224416 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38070 13073 16 0 211216 0
vsize: 844928
[startup+1110.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 104573 63 0 0 25 0 11 0 477679119 865206272 38175 4294967295 134512640 134569956 3221224416 3221214748 1131228531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38175 13073 16 0 211216 0
vsize: 844928
[startup+1120.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 105531 63 0 0 25 0 11 0 477679119 865206272 38247 4294967295 134512640 134569956 3221224416 3221214784 1131365556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38247 13073 16 0 211216 0
vsize: 844928
[startup+1130.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 106497 63 0 0 25 0 11 0 477679119 865206272 38322 4294967295 134512640 134569956 3221224416 3221213832 1131323877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38322 13073 16 0 211216 0
vsize: 844928
[startup+1140.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 107464 63 0 0 25 0 11 0 477679119 865206272 38393 4294967295 134512640 134569956 3221224416 3221214784 1131365496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 38393 13073 16 0 211216 0
vsize: 844928
[startup+1150.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21171
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 108423 63 0 0 25 0 11 0 477679119 865206272 38493 4294967295 134512640 134569956 3221224416 3221214688 1131217914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38493 13073 16 0 211216 0
vsize: 844928
[startup+1160.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 109374 64 0 0 25 0 11 0 477679119 865206272 38586 4294967295 134512640 134569956 3221224416 3221214784 1131365431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38586 13073 16 0 211216 0
vsize: 844928
[startup+1170.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 110326 65 0 0 25 0 11 0 477679119 865206272 38684 4294967295 134512640 134569956 3221224416 3221214784 1131365428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211232 38684 13073 16 0 211216 0
vsize: 844928
[startup+1180.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 111287 65 0 0 25 0 11 0 477679119 865206272 38755 4294967295 134512640 134569956 3221224416 3221214784 1131365431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38755 13073 16 0 211216 0
vsize: 844928
[startup+1190.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 112246 65 0 0 25 0 11 0 477679119 865206272 38825 4294967295 134512640 134569956 3221224416 3221214784 1131365496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38825 13073 16 0 211216 0
vsize: 844928
[startup+1200.46 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 113203 66 0 0 24 0 11 0 477679119 865206272 38916 4294967295 134512640 134569956 3221224416 3221214784 1131367504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 38916 13073 16 0 211216 0
vsize: 844928
[startup+1210.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 114145 66 0 0 25 0 11 0 477679119 865206272 39054 4294967295 134512640 134569956 3221224416 3221214608 1131232108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39054 13073 16 0 211216 0
vsize: 844928
[startup+1220.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 115104 67 0 0 25 0 11 0 477679119 865206272 39121 4294967295 134512640 134569956 3221224416 3221214688 1131218708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39121 13073 16 0 211216 0
vsize: 844928
[startup+1230.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 116063 67 0 0 25 0 11 0 477679119 865206272 39190 4294967295 134512640 134569956 3221224416 3221214784 1131365496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39190 13073 16 0 211216 0
vsize: 844928
[startup+1240.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 117007 68 0 0 25 0 11 0 477679119 865206272 39326 4294967295 134512640 134569956 3221224416 3221214608 1131253595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39326 13073 16 0 211216 0
vsize: 844928
[startup+1250.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) S 21151 20024 20023 0 -1 0 18093 3 1 0 117964 68 0 0 25 0 11 0 477679119 865206272 39443 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39443 13073 16 0 211216 0
vsize: 844928
[startup+1260.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 118922 69 0 0 25 0 11 0 477679119 865206272 39524 4294967295 134512640 134569956 3221224416 3221214784 1131365496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39524 13073 16 0 211216 0
vsize: 844928
[startup+1270.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 119876 69 0 0 24 0 11 0 477679119 865206272 39586 4294967295 134512640 134569956 3221224416 3221214212 1131316331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39586 13073 16 0 211216 0
vsize: 844928
[startup+1280.47 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 21173
Raw data (stat): 21152 (java) R 21151 20024 20023 0 -1 0 18093 3 1 0 120837 69 0 0 25 0 11 0 477679119 865206272 39666 4294967295 134512640 134569956 3221224416 3221214168 1131324045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211232 39666 13073 16 0 211216 0
vsize: 844928
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.56 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 21175
Raw data (stat): 21152 (java) Z 21151 20024 20023 0 -1 1036 18093 26012 1 0 120839 76 8186 66 25 0 1 0 477679119 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1280.56
CPU time (s): 1291.69
CPU user time (s): 1290.25
CPU system time (s): 1.43378
CPU usage (%): 100.869
Max. virtual memory (Kb): 845280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####