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/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	28123830d5f7e3646d18978bb347487c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.085986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 18298

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 14:14:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18287 boxname=wulflinc28 idbench=1407 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  28123830d5f7e3646d18978bb347487c  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 18287
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        521408 kB
Buffers:         31932 kB
Cached:         454028 kB
SwapCached:        104 kB
Active:         193088 kB
Inactive:       295268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        521156 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19132 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 14:34:58 (client local time) WITH STATUS 143 IN 1275.18 SECONDS
stats: 18287 7 1275.18 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-dcmulti.opb
c reading problem 
c [nbvar=9535]
c [nbconstr=365]
c time 30.956
c #vars     9535
c #clauses  369
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
#### 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.75 0.88 0.88 2/54 27861
Raw data (stat): 27861 (runsolver) R 27860 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545720843 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.79 0.88 0.88 2/63 27870
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 17988 0 1 0 884 37 0 0 25 0 10 0 545720843 853155840 19159 4294967295 134512640 134569956 3221224400 3221214424 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208290 19159 13073 16 0 208274 0
vsize: 833160
[startup+20.0033 s]
Raw data (loadavg): 0.82 0.89 0.88 2/63 27870
Raw data (stat): 27861 (java) S 27860 10614 10613 0 -1 0 17989 0 1 0 1775 37 0 0 25 0 10 0 545720843 853557248 19692 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208388 19692 13073 16 0 208372 0
vsize: 833552
[startup+30.0039 s]
Raw data (loadavg): 0.85 0.89 0.89 4/63 27870
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18049 0 1 0 2584 38 0 0 24 0 10 0 545720843 870477824 23799 4294967295 134512640 134569956 3221224400 3221214784 1131149332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212519 23799 13073 16 0 212503 0
vsize: 850076
[startup+40.0051 s]
Raw data (loadavg): 1.18 0.96 0.91 4/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18121 0 1 0 3351 39 0 0 25 0 11 0 545720843 871907328 24915 4294967295 134512640 134569956 3221224400 3221214648 1131530882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212868 24915 13073 16 0 212852 0
vsize: 851472
[startup+50.0053 s]
Raw data (loadavg): 1.38 1.01 0.92 3/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18132 0 1 0 4220 39 0 0 25 0 11 0 545720843 872574976 25537 4294967295 134512640 134569956 3221224400 3221214624 1131530753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213031 25537 13073 16 0 213015 0
vsize: 852124
[startup+60.0049 s]
Raw data (loadavg): 1.39 1.02 0.93 3/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18132 0 1 0 5137 39 0 0 25 0 11 0 545720843 870834176 25329 4294967295 134512640 134569956 3221224400 3221214736 1131489539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212606 25329 13073 16 0 212590 0
vsize: 850424
[startup+70.0061 s]
Raw data (loadavg): 1.41 1.04 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18133 0 1 0 6074 39 0 0 25 0 11 0 545720843 879394816 28288 4294967295 134512640 134569956 3221224400 3221214480 1131300569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214696 28288 13073 16 0 214680 0
vsize: 858784
[startup+80.0063 s]
Raw data (loadavg): 1.34 1.04 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18133 0 1 0 7041 39 0 0 25 0 11 0 545720843 875843584 27427 4294967295 134512640 134569956 3221224400 3221214688 1131800931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 27427 13073 16 0 213813 0
vsize: 855316
[startup+90.007 s]
Raw data (loadavg): 1.29 1.03 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18133 0 1 0 8006 40 0 0 25 0 11 0 545720843 875843584 27428 4294967295 134512640 134569956 3221224400 3221214844 1131461235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 27428 13073 16 0 213813 0
vsize: 855316
[startup+100.007 s]
Raw data (loadavg): 1.25 1.03 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18133 0 1 0 8968 40 0 0 25 0 11 0 545720843 875843584 27517 4294967295 134512640 134569956 3221224400 3221214816 1131274719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 27517 13073 16 0 213813 0
vsize: 855316
[startup+110.007 s]
Raw data (loadavg): 1.21 1.03 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 9928 40 0 0 25 0 11 0 545720843 875843584 27650 4294967295 134512640 134569956 3221224400 3221214856 1131579762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 27650 13073 16 0 213813 0
vsize: 855316
[startup+120.008 s]
Raw data (loadavg): 1.17 1.03 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 10903 41 0 0 25 0 11 0 545720843 875843584 27714 4294967295 134512640 134569956 3221224400 3221214696 1131800800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213829 27714 13073 16 0 213813 0
vsize: 855316
[startup+130.008 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 11871 41 0 0 24 0 11 0 545720843 875843584 27805 4294967295 134512640 134569956 3221224400 3221214816 1131274761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 27805 13073 16 0 213813 0
vsize: 855316
[startup+140.008 s]
Raw data (loadavg): 1.12 1.03 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 12848 41 0 0 25 0 11 0 545720843 875843584 27860 4294967295 134512640 134569956 3221224400 3221214600 1131908588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 27860 13073 16 0 213813 0
vsize: 855316
[startup+150.01 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 13774 42 0 0 25 0 11 0 545720843 875843584 27958 4294967295 134512640 134569956 3221224400 3221214564 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 27958 13073 16 0 213813 0
vsize: 855316
[startup+160.01 s]
Raw data (loadavg): 1.09 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 14725 42 0 0 25 0 11 0 545720843 875843584 28004 4294967295 134512640 134569956 3221224400 3221214584 1131670067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28004 13073 16 0 213813 0
vsize: 855316
[startup+170.009 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 15686 42 0 0 25 0 11 0 545720843 875843584 28134 4294967295 134512640 134569956 3221224400 3221214640 1131530997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28134 13073 16 0 213813 0
vsize: 855316
[startup+180.01 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 16660 42 0 0 25 0 11 0 545720843 875843584 28370 4294967295 134512640 134569956 3221224400 3221214840 1131475951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28370 13073 16 0 213813 0
vsize: 855316
[startup+190.01 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 17633 43 0 0 25 0 11 0 545720843 875843584 28605 4294967295 134512640 134569956 3221224400 3221214816 1131274613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28605 13073 16 0 213813 0
vsize: 855316
[startup+200.011 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 18593 43 0 0 25 0 11 0 545720843 875843584 28633 4294967295 134512640 134569956 3221224400 3221214816 1131274783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28633 13073 16 0 213813 0
vsize: 855316
[startup+210.011 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 19560 43 0 0 25 0 11 0 545720843 875843584 28678 4294967295 134512640 134569956 3221224400 3221214816 1131274569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28678 13073 16 0 213813 0
vsize: 855316
[startup+220.012 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 20530 44 0 0 25 0 11 0 545720843 875843584 28822 4294967295 134512640 134569956 3221224400 3221214716 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28822 13073 16 0 213813 0
vsize: 855316
[startup+230.012 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 21509 44 0 0 25 0 11 0 545720843 875843584 28960 4294967295 134512640 134569956 3221224400 3221214816 1131274719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 28960 13073 16 0 213813 0
vsize: 855316
[startup+240.013 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 22488 44 0 0 25 0 11 0 545720843 875843584 29051 4294967295 134512640 134569956 3221224400 3221214856 1131242784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29051 13073 16 0 213813 0
vsize: 855316
[startup+250.013 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 23469 44 0 0 25 0 11 0 545720843 875843584 29127 4294967295 134512640 134569956 3221224400 3221214364 1131908105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29127 13073 16 0 213813 0
vsize: 855316
[startup+260.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 24454 45 0 0 25 0 11 0 545720843 875843584 29153 4294967295 134512640 134569956 3221224400 3221214628 1131909641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29153 13073 16 0 213813 0
vsize: 855316
[startup+270.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 25440 45 0 0 25 0 11 0 545720843 875843584 29188 4294967295 134512640 134569956 3221224400 3221214680 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29188 13073 16 0 213813 0
vsize: 855316
[startup+280.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 26419 46 0 0 25 0 11 0 545720843 875843584 29266 4294967295 134512640 134569956 3221224400 3221214816 1131274736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29266 13073 16 0 213813 0
vsize: 855316
[startup+290.015 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 27403 46 0 0 25 0 11 0 545720843 875843584 29304 4294967295 134512640 134569956 3221224400 3221214904 1131379607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29304 13073 16 0 213813 0
vsize: 855316
[startup+300.015 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 28389 46 0 0 25 0 11 0 545720843 875843584 29331 4294967295 134512640 134569956 3221224400 3221214840 1131475948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29331 13073 16 0 213813 0
vsize: 855316
[startup+310.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 29374 46 0 0 25 0 11 0 545720843 875843584 29363 4294967295 134512640 134569956 3221224400 3221214720 1131437545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29363 13073 16 0 213813 0
vsize: 855316
[startup+320.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 30360 47 0 0 25 0 11 0 545720843 875843584 29392 4294967295 134512640 134569956 3221224400 3221214816 1131274081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29392 13073 16 0 213813 0
vsize: 855316
[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 31345 47 0 0 25 0 11 0 545720843 875843584 29425 4294967295 134512640 134569956 3221224400 3221214720 1131436698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29425 13073 16 0 213813 0
vsize: 855316
[startup+340.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 32323 47 0 0 25 0 11 0 545720843 875843584 29454 4294967295 134512640 134569956 3221224400 3221214816 1131274081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29454 13073 16 0 213813 0
vsize: 855316
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 33304 47 0 0 25 0 11 0 545720843 875843584 29466 4294967295 134512640 134569956 3221224400 3221214680 1131800815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29466 13073 16 0 213813 0
vsize: 855316
[startup+360.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 34282 47 0 0 25 0 11 0 545720843 875843584 29491 4294967295 134512640 134569956 3221224400 3221214408 1132036888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213829 29491 13073 16 0 213813 0
vsize: 855316
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 35252 47 0 0 25 0 11 0 545720843 875843584 29540 4294967295 134512640 134569956 3221224400 3221214344 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29540 13073 16 0 213813 0
vsize: 855316
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 36228 48 0 0 25 0 11 0 545720843 875843584 29611 4294967295 134512640 134569956 3221224400 3221214504 1131810273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29611 13073 16 0 213813 0
vsize: 855316
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 37198 48 0 0 25 0 11 0 545720843 875843584 29705 4294967295 134512640 134569956 3221224400 3221214568 1131301287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29705 13073 16 0 213813 0
vsize: 855316
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 38175 48 0 0 25 0 11 0 545720843 875843584 29771 4294967295 134512640 134569956 3221224400 3221214680 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29771 13073 16 0 213813 0
vsize: 855316
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 39146 48 0 0 25 0 11 0 545720843 875843584 29862 4294967295 134512640 134569956 3221224400 3221214528 1131563968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29862 13073 16 0 213813 0
vsize: 855316
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 40124 49 0 0 25 0 11 0 545720843 875843584 29946 4294967295 134512640 134569956 3221224400 3221214840 1131475936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 29946 13073 16 0 213813 0
vsize: 855316
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 41101 49 0 0 25 0 11 0 545720843 875843584 30035 4294967295 134512640 134569956 3221224400 3221214680 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30035 13073 16 0 213813 0
vsize: 855316
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 42073 49 0 0 25 0 11 0 545720843 875843584 30114 4294967295 134512640 134569956 3221224400 3221214840 1131476172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30114 13073 16 0 213813 0
vsize: 855316
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 43050 49 0 0 25 0 11 0 545720843 875843584 30194 4294967295 134512640 134569956 3221224400 3221214680 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30194 13073 16 0 213813 0
vsize: 855316
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 44028 50 0 0 25 0 11 0 545720843 875843584 30277 4294967295 134512640 134569956 3221224400 3221214840 1131476090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30277 13073 16 0 213813 0
vsize: 855316
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 45000 50 0 0 25 0 11 0 545720843 875843584 30352 4294967295 134512640 134569956 3221224400 3221214552 1131453474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30352 13073 16 0 213813 0
vsize: 855316
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 45977 51 0 0 25 0 11 0 545720843 875843584 30417 4294967295 134512640 134569956 3221224400 3221214680 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30417 13073 16 0 213813 0
vsize: 855316
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 46954 51 0 0 25 0 11 0 545720843 875843584 30476 4294967295 134512640 134569956 3221224400 3221214568 1131669878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30476 13073 16 0 213813 0
vsize: 855316
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 47925 51 0 0 25 0 11 0 545720843 875843584 30560 4294967295 134512640 134569956 3221224400 3221214680 1131800924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30560 13073 16 0 213813 0
vsize: 855316
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18134 0 1 0 48902 52 0 0 25 0 11 0 545720843 875843584 30625 4294967295 134512640 134569956 3221224400 3221214840 1131476331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30625 13073 16 0 213813 0
vsize: 855316
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 49872 52 0 0 25 0 11 0 545720843 875843584 30720 4294967295 134512640 134569956 3221224400 3221214760 1131275449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30720 13073 16 0 213813 0
vsize: 855316
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 50839 52 0 0 25 0 11 0 545720843 875843584 30840 4294967295 134512640 134569956 3221224400 3221214528 1131671029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30840 13073 16 0 213813 0
vsize: 855316
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 51814 53 0 0 25 0 11 0 545720843 875843584 30925 4294967295 134512640 134569956 3221224400 3221214760 1131274081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 30925 13073 16 0 213813 0
vsize: 855316
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 52787 53 0 0 25 0 11 0 545720843 875843584 31025 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31025 13073 16 0 213813 0
vsize: 855316
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 53765 54 0 0 25 0 11 0 545720843 875843584 31125 4294967295 134512640 134569956 3221224400 3221214688 1131487399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31125 13073 16 0 213813 0
vsize: 855316
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 54746 54 0 0 25 0 11 0 545720843 875843584 31215 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31215 13073 16 0 213813 0
vsize: 855316
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 55724 54 0 0 25 0 11 0 545720843 875843584 31297 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31297 13073 16 0 213813 0
vsize: 855316
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 56705 55 0 0 25 0 11 0 545720843 875843584 31309 4294967295 134512640 134569956 3221224400 3221214688 1131487089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31309 13073 16 0 213813 0
vsize: 855316
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 57684 55 0 0 25 0 11 0 545720843 875843584 31328 4294967295 134512640 134569956 3221224400 3221214528 1131670303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31328 13073 16 0 213813 0
vsize: 855316
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 58664 55 0 0 25 0 11 0 545720843 875843584 31388 4294967295 134512640 134569956 3221224400 3221214640 1131800817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31388 13073 16 0 213813 0
vsize: 855316
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 59643 55 0 0 25 0 11 0 545720843 875843584 31442 4294967295 134512640 134569956 3221224400 3221214640 1131800909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31442 13073 16 0 213813 0
vsize: 855316
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 60623 55 0 0 25 0 11 0 545720843 875843584 31494 4294967295 134512640 134569956 3221224400 3221214488 1131564162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31494 13073 16 0 213813 0
vsize: 855316
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 61597 56 0 0 25 0 11 0 545720843 875843584 31565 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31565 13073 16 0 213813 0
vsize: 855316
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 62575 56 0 0 25 0 11 0 545720843 875843584 31623 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31623 13073 16 0 213813 0
vsize: 855316
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 63553 57 0 0 25 0 11 0 545720843 875843584 31680 4294967295 134512640 134569956 3221224400 3221214800 1131476321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31680 13073 16 0 213813 0
vsize: 855316
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 64535 57 0 0 25 0 11 0 545720843 875843584 31725 4294967295 134512640 134569956 3221224400 3221214680 1131436073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31725 13073 16 0 213813 0
vsize: 855316
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 65508 57 0 0 25 0 11 0 545720843 875843584 31788 4294967295 134512640 134569956 3221224400 3221214640 1131800817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31788 13073 16 0 213813 0
vsize: 855316
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 66485 58 0 0 25 0 11 0 545720843 875843584 31844 4294967295 134512640 134569956 3221224400 3221214640 1131800909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31844 13073 16 0 213813 0
vsize: 855316
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 67453 58 0 0 25 0 11 0 545720843 875843584 31919 4294967295 134512640 134569956 3221224400 3221214800 1131475948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 31919 13073 16 0 213813 0
vsize: 855316
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 68427 58 0 0 25 0 11 0 545720843 875843584 32005 4294967295 134512640 134569956 3221224400 3221214680 1131436760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32005 13073 16 0 213813 0
vsize: 855316
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 69404 58 0 0 25 0 11 0 545720843 875843584 32067 4294967295 134512640 134569956 3221224400 3221214688 1131489307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32067 13073 16 0 213813 0
vsize: 855316
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 70379 59 0 0 25 0 11 0 545720843 875843584 32142 4294967295 134512640 134569956 3221224400 3221214800 1131242752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32142 13073 16 0 213813 0
vsize: 855316
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 71353 59 0 0 25 0 11 0 545720843 875843584 32217 4294967295 134512640 134569956 3221224400 3221214640 1131800909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32217 13073 16 0 213813 0
vsize: 855316
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 72324 59 0 0 25 0 11 0 545720843 875843584 32292 4294967295 134512640 134569956 3221224400 3221214760 1131274657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32292 13073 16 0 213813 0
vsize: 855316
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 73295 59 0 0 25 0 11 0 545720843 875843584 32360 4294967295 134512640 134569956 3221224400 3221214760 1131275413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32360 13073 16 0 213813 0
vsize: 855316
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 74266 60 0 0 25 0 11 0 545720843 875843584 32431 4294967295 134512640 134569956 3221224400 3221214800 1131242773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32431 13073 16 0 213813 0
vsize: 855316
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 75242 60 0 0 25 0 11 0 545720843 875843584 32500 4294967295 134512640 134569956 3221224400 3221214760 1131274838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32500 13073 16 0 213813 0
vsize: 855316
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 76210 60 0 0 25 0 11 0 545720843 875843584 32619 4294967295 134512640 134569956 3221224400 3221214640 1131800920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32619 13073 16 0 213813 0
vsize: 855316
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 77182 60 0 0 24 0 11 0 545720843 875843584 32735 4294967295 134512640 134569956 3221224400 3221214152 1131908625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32735 13073 16 0 213813 0
vsize: 855316
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 78161 61 0 0 25 0 11 0 545720843 875843584 32815 4294967295 134512640 134569956 3221224400 3221214848 1131378952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32815 13073 16 0 213813 0
vsize: 855316
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 79141 61 0 0 25 0 11 0 545720843 875843584 32884 4294967295 134512640 134569956 3221224400 3221214760 1131275427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32884 13073 16 0 213813 0
vsize: 855316
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 80121 61 0 0 25 0 11 0 545720843 875843584 32985 4294967295 134512640 134569956 3221224400 3221214760 1131275503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 32985 13073 16 0 213813 0
vsize: 855316
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 81103 61 0 0 25 0 11 0 545720843 875843584 33056 4294967295 134512640 134569956 3221224400 3221214848 1131378473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33056 13073 16 0 213813 0
vsize: 855316
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 82084 61 0 0 25 0 11 0 545720843 875843584 33136 4294967295 134512640 134569956 3221224400 3221214640 1131800817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33136 13073 16 0 213813 0
vsize: 855316
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 83064 62 0 0 25 0 11 0 545720843 875843584 33171 4294967295 134512640 134569956 3221224400 3221214848 1131379067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33171 13073 16 0 213813 0
vsize: 855316
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 84042 62 0 0 24 0 11 0 545720843 875843584 33207 4294967295 134512640 134569956 3221224400 3221214800 1131242752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33207 13073 16 0 213813 0
vsize: 855316
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 85021 62 0 0 25 0 11 0 545720843 875843584 33241 4294967295 134512640 134569956 3221224400 3221214640 1131800815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33241 13073 16 0 213813 0
vsize: 855316
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 85996 63 0 0 25 0 11 0 545720843 875843584 33324 4294967295 134512640 134569956 3221224400 3221214800 1131242745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33324 13073 16 0 213813 0
vsize: 855316
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 86972 63 0 0 24 0 11 0 545720843 875843584 33411 4294967295 134512640 134569956 3221224400 3221214688 1131491784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33411 13073 16 0 213813 0
vsize: 855316
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) S 27860 10614 10613 0 -1 0 18135 0 1 0 87951 64 0 0 25 0 11 0 545720843 875843584 33476 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33476 13073 16 0 213813 0
vsize: 855316
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 88923 64 0 0 25 0 11 0 545720843 875843584 33565 4294967295 134512640 134569956 3221224400 3221214760 1131274121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33565 13073 16 0 213813 0
vsize: 855316
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 89903 65 0 0 25 0 11 0 545720843 875843584 33615 4294967295 134512640 134569956 3221224400 3221214800 1131242757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33615 13073 16 0 213813 0
vsize: 855316
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 90882 65 0 0 25 0 11 0 545720843 875843584 33672 4294967295 134512640 134569956 3221224400 3221214800 1131476321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33672 13073 16 0 213813 0
vsize: 855316
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 91859 65 0 0 25 0 11 0 545720843 875843584 33733 4294967295 134512640 134569956 3221224400 3221214760 1131274657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33733 13073 16 0 213813 0
vsize: 855316
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 92839 65 0 0 25 0 11 0 545720843 875843584 33789 4294967295 134512640 134569956 3221224400 3221214760 1131274812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33789 13073 16 0 213813 0
vsize: 855316
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 93814 66 0 0 24 0 11 0 545720843 875843584 33842 4294967295 134512640 134569956 3221224400 3221214760 1131275427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33842 13073 16 0 213813 0
vsize: 855316
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 94791 66 0 0 25 0 11 0 545720843 875843584 33893 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33893 13073 16 0 213813 0
vsize: 855316
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 95767 67 0 0 24 0 11 0 545720843 875843584 33946 4294967295 134512640 134569956 3221224400 3221214648 1131909674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 33946 13073 16 0 213813 0
vsize: 855316
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 96743 67 0 0 25 0 11 0 545720843 875843584 34007 4294967295 134512640 134569956 3221224400 3221214848 1131378581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34007 13073 16 0 213813 0
vsize: 855316
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 97720 67 0 0 25 0 11 0 545720843 875843584 34079 4294967295 134512640 134569956 3221224400 3221214800 1131242752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34079 13073 16 0 213813 0
vsize: 855316
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 98697 68 0 0 25 0 11 0 545720843 875843584 34193 4294967295 134512640 134569956 3221224400 3221214680 1131436683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34193 13073 16 0 213813 0
vsize: 855316
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 99675 68 0 0 25 0 11 0 545720843 875843584 34290 4294967295 134512640 134569956 3221224400 3221214800 1131475948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34290 13073 16 0 213813 0
vsize: 855316
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 100653 68 0 0 25 0 11 0 545720843 875843584 34363 4294967295 134512640 134569956 3221224400 3221214640 1131800924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34363 13073 16 0 213813 0
vsize: 855316
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 101632 69 0 0 25 0 11 0 545720843 875843584 34415 4294967295 134512640 134569956 3221224400 3221214800 1131475948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34415 13073 16 0 213813 0
vsize: 855316
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 102605 69 0 0 25 0 11 0 545720843 875843584 34474 4294967295 134512640 134569956 3221224400 3221214760 1131274657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34474 13073 16 0 213813 0
vsize: 855316
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 103577 69 0 0 25 0 11 0 545720843 875843584 34516 4294967295 134512640 134569956 3221224400 3221214528 1131300493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34516 13073 16 0 213813 0
vsize: 855316
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 104548 69 0 0 24 0 11 0 545720843 875843584 34586 4294967295 134512640 134569956 3221224400 3221214760 1131274680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34586 13073 16 0 213813 0
vsize: 855316
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 105524 70 0 0 25 0 11 0 545720843 875843584 34696 4294967295 134512640 134569956 3221224400 3221214624 1131427121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34696 13073 16 0 213813 0
vsize: 855316
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 106500 70 0 0 25 0 11 0 545720843 875843584 34881 4294967295 134512640 134569956 3221224400 3221214476 1131908096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34881 13073 16 0 213813 0
vsize: 855316
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 107477 70 0 0 25 0 11 0 545720843 875843584 34968 4294967295 134512640 134569956 3221224400 3221214688 1131488235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 34968 13073 16 0 213813 0
vsize: 855316
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 108455 70 0 0 25 0 11 0 545720843 875843584 35019 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35019 13073 16 0 213813 0
vsize: 855316
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 109432 71 0 0 25 0 11 0 545720843 875843584 35078 4294967295 134512640 134569956 3221224400 3221214640 1131800924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35078 13073 16 0 213813 0
vsize: 855316
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 110412 71 0 0 25 0 11 0 545720843 875843584 35130 4294967295 134512640 134569956 3221224400 3221214800 1131476172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35130 13073 16 0 213813 0
vsize: 855316
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 111389 72 0 0 25 0 11 0 545720843 875843584 35186 4294967295 134512640 134569956 3221224400 3221214640 1131800931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35186 13073 16 0 213813 0
vsize: 855316
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 112365 72 0 0 25 0 11 0 545720843 875843584 35247 4294967295 134512640 134569956 3221224400 3221214640 1131800812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35247 13073 16 0 213813 0
vsize: 855316
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 113341 73 0 0 25 0 11 0 545720843 875843584 35315 4294967295 134512640 134569956 3221224400 3221214848 1131378849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35315 13073 16 0 213813 0
vsize: 855316
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 114318 73 0 0 25 0 11 0 545720843 875843584 35416 4294967295 134512640 134569956 3221224400 3221214680 1131436683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35416 13073 16 0 213813 0
vsize: 855316
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 115294 73 0 0 24 0 11 0 545720843 875843584 35474 4294967295 134512640 134569956 3221224400 3221214504 1131817888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35474 13073 16 0 213813 0
vsize: 855316
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 116275 74 0 0 25 0 11 0 545720843 875843584 35532 4294967295 134512640 134569956 3221224400 3221214420 1131908108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35532 13073 16 0 213813 0
vsize: 855316
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 117251 74 0 0 25 0 11 0 545720843 875843584 35589 4294967295 134512640 134569956 3221224400 3221214488 1131561109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35589 13073 16 0 213813 0
vsize: 855316
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 118227 74 0 0 25 0 11 0 545720843 875843584 35640 4294967295 134512640 134569956 3221224400 3221214760 1131274657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35640 13073 16 0 213813 0
vsize: 855316
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 119206 75 0 0 25 0 11 0 545720843 875843584 35697 4294967295 134512640 134569956 3221224400 3221213824 1131908634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213829 35697 13073 16 0 213813 0
vsize: 855316
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 27871
Raw data (stat): 27861 (java) R 27860 10614 10613 0 -1 0 18135 0 1 0 120184 75 0 0 25 0 11 0 545720843 875843584 35799 4294967295 134512640 134569956 3221224400 3221214640 1131800909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213829 35799 13073 16 0 213813 0
vsize: 855316
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 27873
Raw data (stat): 27861 (java) Z 27860 10614 10613 0 -1 1036 18135 39768 1 0 120186 81 7149 100 25 0 1 0 545720843 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): 1240.15
CPU time (s): 1275.18
CPU user time (s): 1273.36
CPU system time (s): 1.82072
CPU usage (%): 102.825
Max. virtual memory (Kb): 858784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####