PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1c.opb
MD5SUM	52ee1c9a03c9aae47fd9a079818acfac
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	41560
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	6649307310053731437
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	6777307310053731437
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1264.1
Number of variables	41560
Total number of constraints	10029
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	8381
Number of constraints which are nor clauses,nor cardinality constraints	1648
Minimum length of a constraint	1
Maximum length of a constraint	41560
Trace number 14386

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-20 23:45:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20081 boxname=wulflinc8 idbench=1545 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  52ee1c9a03c9aae47fd9a079818acfac  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-dc1c.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-dc1c.opb
IDLAUNCH: 20081
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        648104 kB
Buffers:         33844 kB
Cached:         329616 kB
SwapCached:          0 kB
Active:         128488 kB
Inactive:       237872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        647852 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            14556 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 00:06:16 (client local time) WITH STATUS 143 IN 1258.47 SECONDS
stats: 20081 7 1258.47 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-dc1c.opb
c reading problem 
c [nbvar=41560]
c [nbconstr=10029]
c time 490.599
c #vars     41560
c #clauses  3285
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=1624187168
c Current CPU time (ms) : 1149.184
c starts	: 1
c conflicts	: 0
c decisions	: 8256
c propagations	: 41560
c inspects	: 117086
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 18726
Raw data (stat): 18726 (runsolver) R 18725 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 468715943 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 866 40 0 0 24 0 10 0 468715943 853643264 19266 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 19266 13073 16 0 208393 0
vsize: 833636
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 1760 40 0 0 25 0 10 0 468715943 854691840 19890 4294967295 134512640 134569956 3221224400 3221214824 1131224319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 19890 13073 16 0 208649 0
vsize: 834660
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 2659 40 0 0 25 0 10 0 468715943 854691840 20329 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 20329 13073 16 0 208649 0
vsize: 834660
[startup+40.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 3588 41 0 0 25 0 10 0 468715943 854691840 20558 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 20558 13073 16 0 208649 0
vsize: 834660
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 4516 41 0 0 25 0 10 0 468715943 854691840 20678 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 20678 13073 16 0 208649 0
vsize: 834660
[startup+60.0063 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 5449 41 0 0 25 0 10 0 468715943 854691840 20841 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 20841 13073 16 0 208649 0
vsize: 834660
[startup+70.0063 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 6390 42 0 0 25 0 10 0 468715943 854691840 21034 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 21034 13073 16 0 208649 0
vsize: 834660
[startup+80.0086 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 7335 43 0 0 24 0 10 0 468715943 854691840 21113 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 21113 13073 16 0 208649 0
vsize: 834660
[startup+90.0096 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 8284 43 0 0 25 0 10 0 468715943 854691840 21182 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21182 13073 16 0 208649 0
vsize: 834660
[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 9231 43 0 0 25 0 10 0 468715943 854691840 21249 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21249 13073 16 0 208649 0
vsize: 834660
[startup+110.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 10179 43 0 0 25 0 10 0 468715943 854691840 21312 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21312 13073 16 0 208649 0
vsize: 834660
[startup+120.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) S 18725 26667 26666 0 -1 0 17971 0 1 0 11127 43 0 0 25 0 10 0 468715943 854691840 21370 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21370 13073 16 0 208649 0
vsize: 834660
[startup+130.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 12076 43 0 0 25 0 10 0 468715943 854691840 21426 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21426 13073 16 0 208649 0
vsize: 834660
[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 13023 44 0 0 25 0 10 0 468715943 854691840 21480 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21480 13073 16 0 208649 0
vsize: 834660
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 13969 44 0 0 25 0 10 0 468715943 854691840 21532 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21532 13073 16 0 208649 0
vsize: 834660
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 14915 44 0 0 24 0 10 0 468715943 854691840 21583 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21583 13073 16 0 208649 0
vsize: 834660
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 15850 44 0 0 25 0 10 0 468715943 854691840 21628 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21628 13073 16 0 208649 0
vsize: 834660
[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) S 18725 26667 26666 0 -1 0 17971 0 1 0 16776 45 0 0 25 0 10 0 468715943 854691840 21673 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21673 13073 16 0 208649 0
vsize: 834660
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 17712 45 0 0 25 0 10 0 468715943 854691840 21974 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 21974 13073 16 0 208649 0
vsize: 834660
[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 18654 45 0 0 25 0 10 0 468715943 854691840 22019 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22019 13073 16 0 208649 0
vsize: 834660
[startup+210.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) S 18725 26667 26666 0 -1 0 17971 0 1 0 19597 45 0 0 25 0 10 0 468715943 854691840 22062 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22062 13073 16 0 208649 0
vsize: 834660
[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 20541 45 0 0 25 0 10 0 468715943 854691840 22103 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22103 13073 16 0 208649 0
vsize: 834660
[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 21482 45 0 0 25 0 10 0 468715943 854691840 22144 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22144 13073 16 0 208649 0
vsize: 834660
[startup+240.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 22422 45 0 0 24 0 10 0 468715943 854691840 22184 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22184 13073 16 0 208649 0
vsize: 834660
[startup+250.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 23365 46 0 0 25 0 10 0 468715943 854691840 22221 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22221 13073 16 0 208649 0
vsize: 834660
[startup+260.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 24305 46 0 0 25 0 10 0 468715943 854691840 22260 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22260 13073 16 0 208649 0
vsize: 834660
[startup+270.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 25244 46 0 0 25 0 10 0 468715943 854691840 22297 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22297 13073 16 0 208649 0
vsize: 834660
[startup+280.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 26186 46 0 0 25 0 10 0 468715943 854691840 22332 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22332 13073 16 0 208649 0
vsize: 834660
[startup+290.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 27124 46 0 0 25 0 10 0 468715943 854691840 22368 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22368 13073 16 0 208649 0
vsize: 834660
[startup+300.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 28061 47 0 0 24 0 10 0 468715943 854691840 22404 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22404 13073 16 0 208649 0
vsize: 834660
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 29002 47 0 0 25 0 10 0 468715943 854691840 22437 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22437 13073 16 0 208649 0
vsize: 834660
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 29938 47 0 0 25 0 10 0 468715943 854691840 22471 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22471 13073 16 0 208649 0
vsize: 834660
[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 30878 47 0 0 25 0 10 0 468715943 854691840 22503 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22503 13073 16 0 208649 0
vsize: 834660
[startup+340.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 31813 47 0 0 25 0 10 0 468715943 854691840 22536 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22536 13073 16 0 208649 0
vsize: 834660
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 32748 47 0 0 25 0 10 0 468715943 854691840 22570 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22570 13073 16 0 208649 0
vsize: 834660
[startup+360.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 33686 47 0 0 25 0 10 0 468715943 854691840 22600 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22600 13073 16 0 208649 0
vsize: 834660
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 34620 47 0 0 25 0 10 0 468715943 854691840 22632 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22632 13073 16 0 208649 0
vsize: 834660
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 35558 47 0 0 25 0 10 0 468715943 854691840 22661 4294967295 134512640 134569956 3221224400 3221214808 1131222583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22661 13073 16 0 208649 0
vsize: 834660
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 36490 48 0 0 25 0 10 0 468715943 854691840 22692 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208665 22692 13073 16 0 208649 0
vsize: 834660
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 37423 48 0 0 24 0 10 0 468715943 854691840 22722 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22722 13073 16 0 208649 0
vsize: 834660
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 38358 48 0 0 25 0 10 0 468715943 854691840 22750 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22750 13073 16 0 208649 0
vsize: 834660
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 39290 48 0 0 24 0 10 0 468715943 854691840 22780 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22780 13073 16 0 208649 0
vsize: 834660
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 40224 49 0 0 25 0 10 0 468715943 854691840 22808 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22808 13073 16 0 208649 0
vsize: 834660
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 41155 49 0 0 24 0 10 0 468715943 854691840 22836 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22836 13073 16 0 208649 0
vsize: 834660
[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 42089 49 0 0 25 0 10 0 468715943 854691840 22863 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22863 13073 16 0 208649 0
vsize: 834660
[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17971 0 1 0 43022 50 0 0 25 0 10 0 468715943 854691840 22890 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208665 22890 13073 16 0 208649 0
vsize: 834660
[startup+470.034 s]
Raw data (loadavg): 1.07 0.99 0.91 4/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17981 0 1 0 43843 50 0 0 25 0 10 0 468715943 857829376 23739 4294967295 134512640 134569956 3221224400 3221213684 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 23739 13073 16 0 209415 0
vsize: 837724
[startup+480.036 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17982 0 1 0 44836 50 0 0 25 0 10 0 468715943 857829376 23743 4294967295 134512640 134569956 3221224400 3221214320 1131275382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209431 23743 13073 16 0 209415 0
vsize: 837724
[startup+490.036 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 17983 0 1 0 45731 54 0 0 25 0 10 0 468715943 856817664 29459 4294967295 134512640 134569956 3221224400 3221214872 1131168310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 29459 13073 16 0 209168 0
vsize: 836736
[startup+500.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18003 0 1 0 46651 55 0 0 25 0 10 0 468715943 856784896 32643 4294967295 134512640 134569956 3221224400 3221214936 1131491368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209176 32643 13073 16 0 209160 0
vsize: 836704
[startup+510.035 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18004 0 1 0 47643 55 0 0 25 0 10 0 468715943 856784896 32645 4294967295 134512640 134569956 3221224400 3221214936 1131492518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209176 32645 13073 16 0 209160 0
vsize: 836704
[startup+520.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18004 0 1 0 48633 55 0 0 25 0 10 0 468715943 856784896 32645 4294967295 134512640 134569956 3221224400 3221214848 1131310578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209176 32645 13073 16 0 209160 0
vsize: 836704
[startup+530.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18004 0 1 0 49624 55 0 0 25 0 10 0 468715943 856784896 32647 4294967295 134512640 134569956 3221224400 3221214936 1131491368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209176 32647 13073 16 0 209160 0
vsize: 836704
[startup+540.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18004 0 1 0 50612 55 0 0 25 0 10 0 468715943 856784896 32656 4294967295 134512640 134569956 3221224400 3221214936 1131492601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209176 32656 13073 16 0 209160 0
vsize: 836704
[startup+550.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 18735
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18004 0 1 0 51602 55 0 0 25 0 10 0 468715943 856784896 32664 4294967295 134512640 134569956 3221224400 3221214848 1131311467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209176 32664 13073 16 0 209160 0
vsize: 836704
[startup+560.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 52587 55 0 0 24 0 11 0 468715943 857313280 32681 4294967295 134512640 134569956 3221224400 3221214832 1131269062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 32681 13073 16 0 209289 0
vsize: 837220
[startup+570.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 53569 55 0 0 25 0 11 0 468715943 857313280 32692 4294967295 134512640 134569956 3221224400 3221214888 1131491368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32692 13073 16 0 209289 0
vsize: 837220
[startup+580.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 54548 55 0 0 25 0 11 0 468715943 857313280 32706 4294967295 134512640 134569956 3221224400 3221214800 1131310578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32706 13073 16 0 209289 0
vsize: 837220
[startup+590.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 55524 55 0 0 25 0 11 0 468715943 857313280 32717 4294967295 134512640 134569956 3221224400 3221214832 1131269057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32717 13073 16 0 209289 0
vsize: 837220
[startup+600.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 56501 55 0 0 25 0 11 0 468715943 857313280 32736 4294967295 134512640 134569956 3221224400 3221214800 1131310682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32736 13073 16 0 209289 0
vsize: 837220
[startup+610.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 57475 55 0 0 25 0 11 0 468715943 857313280 32767 4294967295 134512640 134569956 3221224400 3221214884 1131269237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32767 13073 16 0 209289 0
vsize: 837220
[startup+620.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 58453 55 0 0 25 0 11 0 468715943 857313280 32786 4294967295 134512640 134569956 3221224400 3221214888 1131492601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32786 13073 16 0 209289 0
vsize: 837220
[startup+630.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 59429 55 0 0 25 0 11 0 468715943 857313280 32813 4294967295 134512640 134569956 3221224400 3221214888 1131492601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32813 13073 16 0 209289 0
vsize: 837220
[startup+640.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18010 0 1 0 60409 55 0 0 25 0 11 0 468715943 857313280 32839 4294967295 134512640 134569956 3221224400 3221214888 1131491190 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32839 13073 16 0 209289 0
vsize: 837220
[startup+650.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 61386 55 0 0 25 0 11 0 468715943 857313280 32869 4294967295 134512640 134569956 3221224400 3221214888 1131492364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32869 13073 16 0 209289 0
vsize: 837220
[startup+660.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 62367 56 0 0 25 0 11 0 468715943 857313280 32895 4294967295 134512640 134569956 3221224400 3221214800 1131310525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32895 13073 16 0 209289 0
vsize: 837220
[startup+670.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 63345 56 0 0 25 0 11 0 468715943 857313280 32917 4294967295 134512640 134569956 3221224400 3221214832 1131269677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32917 13073 16 0 209289 0
vsize: 837220
[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 64326 56 0 0 25 0 11 0 468715943 857313280 32941 4294967295 134512640 134569956 3221224400 3221214832 1131269723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32941 13073 16 0 209289 0
vsize: 837220
[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 65304 56 0 0 25 0 11 0 468715943 857313280 32964 4294967295 134512640 134569956 3221224400 3221214888 1131491928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32964 13073 16 0 209289 0
vsize: 837220
[startup+700.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 66285 56 0 0 25 0 11 0 468715943 857313280 32989 4294967295 134512640 134569956 3221224400 3221214832 1131269054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 32989 13073 16 0 209289 0
vsize: 837220
[startup+710.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 67266 56 0 0 25 0 11 0 468715943 857313280 33018 4294967295 134512640 134569956 3221224400 3221214800 1131310546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33018 13073 16 0 209289 0
vsize: 837220
[startup+720.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 68249 56 0 0 25 0 11 0 468715943 857313280 33040 4294967295 134512640 134569956 3221224400 3221214800 1131311541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33040 13073 16 0 209289 0
vsize: 837220
[startup+730.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 69231 56 0 0 25 0 11 0 468715943 857313280 33068 4294967295 134512640 134569956 3221224400 3221214888 1131492348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33068 13073 16 0 209289 0
vsize: 837220
[startup+740.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 70215 57 0 0 25 0 11 0 468715943 857313280 33086 4294967295 134512640 134569956 3221224400 3221214880 1131254239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33086 13073 16 0 209289 0
vsize: 837220
[startup+750.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 71200 57 0 0 25 0 11 0 468715943 857313280 33108 4294967295 134512640 134569956 3221224400 3221214888 1131491368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33108 13073 16 0 209289 0
vsize: 837220
[startup+760.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 72183 57 0 0 25 0 11 0 468715943 857313280 33123 4294967295 134512640 134569956 3221224400 3221214832 1131269057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33123 13073 16 0 209289 0
vsize: 837220
[startup+770.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 73168 57 0 0 25 0 11 0 468715943 857313280 33143 4294967295 134512640 134569956 3221224400 3221214888 1131491928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33143 13073 16 0 209289 0
vsize: 837220
[startup+780.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 74152 57 0 0 25 0 11 0 468715943 857313280 33164 4294967295 134512640 134569956 3221224400 3221214888 1131492364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33164 13073 16 0 209289 0
vsize: 837220
[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 75139 57 0 0 25 0 11 0 468715943 857313280 33178 4294967295 134512640 134569956 3221224400 3221214800 1131311796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33178 13073 16 0 209289 0
vsize: 837220
[startup+800.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 76125 57 0 0 25 0 11 0 468715943 857313280 33192 4294967295 134512640 134569956 3221224400 3221214832 1131269057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33192 13073 16 0 209289 0
vsize: 837220
[startup+810.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 77110 57 0 0 24 0 11 0 468715943 857313280 33207 4294967295 134512640 134569956 3221224400 3221214888 1131491928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33207 13073 16 0 209289 0
vsize: 837220
[startup+820.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 78097 57 0 0 25 0 11 0 468715943 857313280 33218 4294967295 134512640 134569956 3221224400 3221214800 1131310757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33218 13073 16 0 209289 0
vsize: 837220
[startup+830.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 79082 57 0 0 25 0 11 0 468715943 857313280 33234 4294967295 134512640 134569956 3221224400 3221214800 1131311621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33234 13073 16 0 209289 0
vsize: 837220
[startup+840.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 80068 57 0 0 25 0 11 0 468715943 857313280 33247 4294967295 134512640 134569956 3221224400 3221214884 1131254188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33247 13073 16 0 209289 0
vsize: 837220
[startup+850.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 81053 57 0 0 25 0 11 0 468715943 857313280 33263 4294967295 134512640 134569956 3221224400 3221214888 1131491928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33263 13073 16 0 209289 0
vsize: 837220
[startup+860.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 82039 57 0 0 25 0 11 0 468715943 857313280 33282 4294967295 134512640 134569956 3221224400 3221214800 1131310578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33282 13073 16 0 209289 0
vsize: 837220
[startup+870.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 18736
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 83027 57 0 0 25 0 11 0 468715943 857313280 33296 4294967295 134512640 134569956 3221224400 3221214800 1131310757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33296 13073 16 0 209289 0
vsize: 837220
[startup+880.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/67 18739
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 84014 57 0 0 25 0 11 0 468715943 857313280 33309 4294967295 134512640 134569956 3221224400 3221214888 1131491368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33309 13073 16 0 209289 0
vsize: 837220
[startup+890.06 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 18789
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 84999 58 0 0 25 0 11 0 468715943 857313280 33321 4294967295 134512640 134569956 3221224400 3221214800 1131310578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33321 13073 16 0 209289 0
vsize: 837220
[startup+900.061 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 18789
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 85988 58 0 0 25 0 11 0 468715943 857313280 33334 4294967295 134512640 134569956 3221224400 3221214832 1131269057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 33334 13073 16 0 209289 0
vsize: 837220
[startup+910.062 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 18789
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 86976 58 0 0 25 0 11 0 468715943 857313280 33346 4294967295 134512640 134569956 3221224400 3221214884 1131310400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33346 13073 16 0 209289 0
vsize: 837220
[startup+920.062 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 18789
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 87964 58 0 0 25 0 11 0 468715943 857313280 33355 4294967295 134512640 134569956 3221224400 3221214888 1131492422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33355 13073 16 0 209289 0
vsize: 837220
[startup+930.063 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 18789
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 88954 58 0 0 25 0 11 0 468715943 857313280 33365 4294967295 134512640 134569956 3221224400 3221214800 1131310741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33365 13073 16 0 209289 0
vsize: 837220
[startup+940.064 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 18789
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 89944 58 0 0 25 0 11 0 468715943 857313280 33375 4294967295 134512640 134569956 3221224400 3221214800 1131310657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33375 13073 16 0 209289 0
vsize: 837220
[startup+950.063 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 90936 58 0 0 25 0 11 0 468715943 857313280 33383 4294967295 134512640 134569956 3221224400 3221214800 1131310578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33383 13073 16 0 209289 0
vsize: 837220
[startup+960.064 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 91928 58 0 0 25 0 11 0 468715943 857313280 33392 4294967295 134512640 134569956 3221224400 3221214800 1131311382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33392 13073 16 0 209289 0
vsize: 837220
[startup+970.065 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 92919 58 0 0 25 0 11 0 468715943 857313280 33398 4294967295 134512640 134569956 3221224400 3221214888 1131491912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33398 13073 16 0 209289 0
vsize: 837220
[startup+980.067 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 93911 59 0 0 25 0 11 0 468715943 857313280 33404 4294967295 134512640 134569956 3221224400 3221214800 1131310831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33404 13073 16 0 209289 0
vsize: 837220
[startup+990.067 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 94900 59 0 0 25 0 11 0 468715943 857313280 33413 4294967295 134512640 134569956 3221224400 3221214800 1131310657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33413 13073 16 0 209289 0
vsize: 837220
[startup+1000.07 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 95890 59 0 0 25 0 11 0 468715943 857313280 33423 4294967295 134512640 134569956 3221224400 3221214832 1131269037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33423 13073 16 0 209289 0
vsize: 837220
[startup+1010.07 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 96881 59 0 0 25 0 11 0 468715943 857313280 33430 4294967295 134512640 134569956 3221224400 3221214800 1131310725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33430 13073 16 0 209289 0
vsize: 837220
[startup+1020.07 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 97874 59 0 0 25 0 11 0 468715943 857313280 33436 4294967295 134512640 134569956 3221224400 3221214888 1131492601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33436 13073 16 0 209289 0
vsize: 837220
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 98866 59 0 0 25 0 11 0 468715943 857313280 33443 4294967295 134512640 134569956 3221224400 3221214800 1131310692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33443 13073 16 0 209289 0
vsize: 837220
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 99859 59 0 0 25 0 11 0 468715943 857313280 33446 4294967295 134512640 134569956 3221224400 3221214800 1131310741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33446 13073 16 0 209289 0
vsize: 837220
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 100851 59 0 0 25 0 11 0 468715943 857313280 33451 4294967295 134512640 134569956 3221224400 3221214800 1131310643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33451 13073 16 0 209289 0
vsize: 837220
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 101845 59 0 0 25 0 11 0 468715943 857313280 33458 4294967295 134512640 134569956 3221224400 3221214832 1131269057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33458 13073 16 0 209289 0
vsize: 837220
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 102838 59 0 0 25 0 11 0 468715943 857313280 33463 4294967295 134512640 134569956 3221224400 3221214800 1131310499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33463 13073 16 0 209289 0
vsize: 837220
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 103831 59 0 0 25 0 11 0 468715943 857313280 33466 4294967295 134512640 134569956 3221224400 3221214888 1131492364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33466 13073 16 0 209289 0
vsize: 837220
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 104824 59 0 0 25 0 11 0 468715943 857313280 33469 4294967295 134512640 134569956 3221224400 3221214800 1131311818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33469 13073 16 0 209289 0
vsize: 837220
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 105817 60 0 0 25 0 11 0 468715943 857313280 33474 4294967295 134512640 134569956 3221224400 3221214888 1131491912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33474 13073 16 0 209289 0
vsize: 837220
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 106811 60 0 0 25 0 11 0 468715943 857313280 33480 4294967295 134512640 134569956 3221224400 3221214888 1131491368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33480 13073 16 0 209289 0
vsize: 837220
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 107805 60 0 0 25 0 11 0 468715943 857313280 33483 4294967295 134512640 134569956 3221224400 3221214800 1131310430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33483 13073 16 0 209289 0
vsize: 837220
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 108797 60 0 0 25 0 11 0 468715943 857313280 33486 4294967295 134512640 134569956 3221224400 3221214832 1131269057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33486 13073 16 0 209289 0
vsize: 837220
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18791
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 0 1 0 109788 60 0 0 25 0 11 0 468715943 857313280 33489 4294967295 134512640 134569956 3221224400 3221214888 1131492601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33489 13073 16 0 209289 0
vsize: 837220
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18792
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 110760 60 0 0 25 0 11 0 468715943 857313280 33504 4294967295 134512640 134569956 3221224400 3221214880 1131492601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 33504 13073 16 0 209289 0
vsize: 837220
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18792
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 111723 61 0 0 25 0 11 0 468715943 857313280 34507 4294967295 134512640 134569956 3221224400 3221214880 1131492364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34507 13073 16 0 209289 0
vsize: 837220
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18792
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 112715 61 0 0 25 0 11 0 468715943 857313280 34507 4294967295 134512640 134569956 3221224400 3221214792 1131311476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34507 13073 16 0 209289 0
vsize: 837220
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18792
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 113704 61 0 0 25 0 11 0 468715943 857313280 34507 4294967295 134512640 134569956 3221224400 3221214832 1131266680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34507 13073 16 0 209289 0
vsize: 837220
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18792
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 114694 61 0 0 25 0 11 0 468715943 857313280 34524 4294967295 134512640 134569956 3221224400 3221214880 1131492364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34524 13073 16 0 209289 0
vsize: 837220
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18794
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 115682 61 0 0 25 0 11 0 468715943 857313280 34544 4294967295 134512640 134569956 3221224400 3221214880 1131492518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34544 13073 16 0 209289 0
vsize: 837220
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18794
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 116672 62 0 0 25 0 11 0 468715943 857313280 34565 4294967295 134512640 134569956 3221224400 3221214824 1131269043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34565 13073 16 0 209289 0
vsize: 837220
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18794
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 117663 62 0 0 25 0 11 0 468715943 857313280 34590 4294967295 134512640 134569956 3221224400 3221214880 1131491928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34590 13073 16 0 209289 0
vsize: 837220
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18794
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 118653 62 0 0 25 0 11 0 468715943 857313280 34605 4294967295 134512640 134569956 3221224400 3221214792 1131304020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34605 13073 16 0 209289 0
vsize: 837220
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18794
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 119645 62 0 0 25 0 11 0 468715943 857313280 34614 4294967295 134512640 134569956 3221224400 3221214792 1131310666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209305 34614 13073 16 0 209289 0
vsize: 837220
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 18794
Raw data (stat): 18726 (java) R 18725 26667 26666 0 -1 0 18011 4 1 0 120635 62 0 0 25 0 11 0 468715943 857313280 34631 4294967295 134512640 134569956 3221224400 3221214880 1131492518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209305 34631 13073 16 0 209289 0
vsize: 837220
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 18795
Raw data (stat): 18726 (java) Z 18725 26667 26666 0 -1 1036 18011 20144 1 0 120639 68 5074 64 25 0 1 0 468715943 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.21
CPU time (s): 1258.47
CPU user time (s): 1257.13
CPU system time (s): 1.3358
CPU usage (%): 100.661
Max. virtual memory (Kb): 837724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####