PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-modglob.opb
MD5SUM	2de26b7af333f64c2208bd35d6d5a979
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	9818
Biggest coefficient in the objective function	22009559908352000000
Number of bits for the biggest coefficient in the objective function	65
Sum of the numbers in the objective function	1485172925553747165184
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	22009559908352000000
Number of bits of the biggest number in a constraint	65
Biggest sum of numbers in a constraint	1485172925553747165184
Number of bits of the biggest sum of numbers	71
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.087985
Number of variables	9818
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	270
Trace number 22136

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-22 02:13:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12073 boxname=wulflinc21 idbench=929 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2de26b7af333f64c2208bd35d6d5a979  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-modglob.opb
IDLAUNCH: 12073
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        811076 kB
Buffers:          1800 kB
Cached:         201300 kB
SwapCached:       1444 kB
Active:          42004 kB
Inactive:       163432 kB
HighTotal:      131008 kB
HighFree:        39732 kB
LowTotal:       903652 kB
LowFree:        771344 kB
SwapTotal:     2097892 kB
SwapFree:      2095700 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           4940 kB
Slab:            12584 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 02:34:02 (client local time) WITH STATUS 143 IN 1216.24 SECONDS
stats: 12073 7 1216.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-modglob.opb
c reading problem 
c [nbvar=9818]
c [nbconstr=389]
c time 34.356
c #vars     9818
c #clauses  385
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.56 0.84 0.88 2/55 27635
Raw data (stat): 27635 (runsolver) R 27634 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 427296722 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.0001 s]
Raw data (loadavg): 0.63 0.84 0.88 2/64 27644
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 17979 0 1 0 890 40 0 0 25 0 10 0 427296722 853348352 19113 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208337 19113 13073 16 0 208321 0
vsize: 833348
[startup+20.0011 s]
Raw data (loadavg): 0.68 0.85 0.88 2/64 27644
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 17979 0 1 0 1786 40 0 0 25 0 10 0 427296722 853827584 19681 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 19681 13073 16 0 208438 0
vsize: 833816
[startup+30.0013 s]
Raw data (loadavg): 0.73 0.85 0.88 4/64 27644
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 17990 0 1 0 2684 40 0 0 25 0 10 0 427296722 856412160 20617 4294967295 134512640 134569956 3221224400 3221214496 1130905572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209085 20617 13073 16 0 209069 0
vsize: 836340
[startup+40.0021 s]
Raw data (loadavg): 1.08 0.92 0.90 4/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18070 0 1 0 3619 41 0 0 25 0 11 0 427296722 877568000 27602 4294967295 134512640 134569956 3221224400 3221214904 1130895217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214250 27602 13073 16 0 214234 0
vsize: 857000
[startup+50.0028 s]
Raw data (loadavg): 1.21 0.96 0.91 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18083 0 1 0 4606 41 0 0 25 0 11 0 427296722 869482496 25837 4294967295 134512640 134569956 3221224400 3221214664 1131296805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212276 25837 13073 16 0 212260 0
vsize: 849104
[startup+60.0025 s]
Raw data (loadavg): 1.34 0.99 0.92 4/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18124 0 1 0 5347 42 0 0 25 0 11 0 427296722 869625856 26006 4294967295 134512640 134569956 3221224400 3221214400 1130904010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212311 26006 13073 16 0 212295 0
vsize: 849244
[startup+70.0033 s]
Raw data (loadavg): 1.44 1.02 0.93 4/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18130 0 1 0 6281 42 0 0 25 0 11 0 427296722 876929024 27672 4294967295 134512640 134569956 3221224400 3221214816 1131524424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214094 27672 13073 16 0 214078 0
vsize: 856376
[startup+80.0043 s]
Raw data (loadavg): 1.45 1.04 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18130 0 1 0 7259 42 0 0 25 0 11 0 427296722 879247360 28560 4294967295 134512640 134569956 3221224400 3221214608 1131615426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214660 28560 13073 16 0 214644 0
vsize: 858640
[startup+90.0045 s]
Raw data (loadavg): 1.38 1.04 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 8245 42 0 0 25 0 11 0 427296722 872628224 26878 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 26878 13073 16 0 213028 0
vsize: 852176
[startup+100.004 s]
Raw data (loadavg): 1.32 1.04 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 9230 42 0 0 25 0 11 0 427296722 872628224 26878 4294967295 134512640 134569956 3221224400 3221214472 1131660929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 26878 13073 16 0 213028 0
vsize: 852176
[startup+110.004 s]
Raw data (loadavg): 1.27 1.03 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 10211 42 0 0 25 0 11 0 427296722 872628224 26878 4294967295 134512640 134569956 3221224400 3221214816 1131555936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 26878 13073 16 0 213028 0
vsize: 852176
[startup+120.005 s]
Raw data (loadavg): 1.23 1.03 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 11187 42 0 0 25 0 11 0 427296722 872628224 27012 4294967295 134512640 134569956 3221224400 3221214768 1131716880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 27012 13073 16 0 213028 0
vsize: 852176
[startup+130.004 s]
Raw data (loadavg): 1.20 1.03 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 12161 43 0 0 25 0 11 0 427296722 872628224 27148 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 27148 13073 16 0 213028 0
vsize: 852176
[startup+140.006 s]
Raw data (loadavg): 1.16 1.03 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 13134 43 0 0 25 0 11 0 427296722 872628224 27312 4294967295 134512640 134569956 3221224400 3221214712 1131520255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 27312 13073 16 0 213028 0
vsize: 852176
[startup+150.006 s]
Raw data (loadavg): 1.14 1.03 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 14115 43 0 0 25 0 11 0 427296722 872628224 27407 4294967295 134512640 134569956 3221224400 3221214768 1131716885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 27407 13073 16 0 213028 0
vsize: 852176
[startup+160.006 s]
Raw data (loadavg): 1.12 1.03 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 15088 43 0 0 25 0 11 0 427296722 872628224 27564 4294967295 134512640 134569956 3221224400 3221214768 1131717025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 27564 13073 16 0 213028 0
vsize: 852176
[startup+170.006 s]
Raw data (loadavg): 1.10 1.03 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 16070 43 0 0 25 0 11 0 427296722 872628224 27669 4294967295 134512640 134569956 3221224400 3221214584 1131677975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 27669 13073 16 0 213028 0
vsize: 852176
[startup+180.006 s]
Raw data (loadavg): 1.08 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 17041 43 0 0 25 0 11 0 427296722 872628224 27826 4294967295 134512640 134569956 3221224400 3221214768 1131717015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 27826 13073 16 0 213028 0
vsize: 852176
[startup+190.007 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 18012 43 0 0 25 0 11 0 427296722 872628224 28009 4294967295 134512640 134569956 3221224400 3221214768 1131716880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 28009 13073 16 0 213028 0
vsize: 852176
[startup+200.007 s]
Raw data (loadavg): 1.06 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 18993 44 0 0 25 0 11 0 427296722 872628224 28105 4294967295 134512640 134569956 3221224400 3221214720 1131297293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 28105 13073 16 0 213028 0
vsize: 852176
[startup+210.006 s]
Raw data (loadavg): 1.05 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 19965 44 0 0 25 0 11 0 427296722 872628224 28261 4294967295 134512640 134569956 3221224400 3221214680 1131705905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 28261 13073 16 0 213028 0
vsize: 852176
[startup+220.007 s]
Raw data (loadavg): 1.04 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 20946 44 0 0 25 0 11 0 427296722 872628224 28358 4294967295 134512640 134569956 3221224400 3221214768 1131716885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 28358 13073 16 0 213028 0
vsize: 852176
[startup+230.006 s]
Raw data (loadavg): 1.03 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 21918 44 0 0 25 0 11 0 427296722 872628224 28474 4294967295 134512640 134569956 3221224400 3221214352 1131905548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 28474 13073 16 0 213028 0
vsize: 852176
[startup+240.007 s]
Raw data (loadavg): 1.03 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 22898 44 0 0 25 0 11 0 427296722 872628224 28636 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 28636 13073 16 0 213028 0
vsize: 852176
[startup+250.007 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 23869 44 0 0 25 0 11 0 427296722 872628224 28797 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 28797 13073 16 0 213028 0
vsize: 852176
[startup+260.008 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 24850 44 0 0 25 0 11 0 427296722 872628224 28920 4294967295 134512640 134569956 3221224400 3221214640 1131620888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 28920 13073 16 0 213028 0
vsize: 852176
[startup+270.008 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 25821 44 0 0 25 0 11 0 427296722 872628224 29044 4294967295 134512640 134569956 3221224400 3221214488 1131541523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29044 13073 16 0 213028 0
vsize: 852176
[startup+280.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 26801 44 0 0 25 0 11 0 427296722 872628224 29140 4294967295 134512640 134569956 3221224400 3221214656 1131494003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29140 13073 16 0 213028 0
vsize: 852176
[startup+290.009 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 27782 44 0 0 25 0 11 0 427296722 872628224 29264 4294967295 134512640 134569956 3221224400 3221214168 1131905674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29264 13073 16 0 213028 0
vsize: 852176
[startup+300.009 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 28752 45 0 0 25 0 11 0 427296722 872628224 29408 4294967295 134512640 134569956 3221224400 3221214768 1131717033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29408 13073 16 0 213028 0
vsize: 852176
[startup+310.008 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 29723 45 0 0 24 0 11 0 427296722 872628224 29587 4294967295 134512640 134569956 3221224400 3221214264 1085679529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29587 13073 16 0 213028 0
vsize: 852176
[startup+320.009 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 30703 45 0 0 25 0 11 0 427296722 872628224 29722 4294967295 134512640 134569956 3221224400 3221214768 1131716890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29722 13073 16 0 213028 0
vsize: 852176
[startup+330.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 31683 45 0 0 25 0 11 0 427296722 872628224 29834 4294967295 134512640 134569956 3221224400 3221214768 1131716872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29834 13073 16 0 213028 0
vsize: 852176
[startup+340.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 32663 45 0 0 25 0 11 0 427296722 872628224 29941 4294967295 134512640 134569956 3221224400 3221214664 1131258592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 29941 13073 16 0 213028 0
vsize: 852176
[startup+350.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 33634 46 0 0 25 0 11 0 427296722 872628224 30040 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30040 13073 16 0 213028 0
vsize: 852176
[startup+360.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 34616 46 0 0 25 0 11 0 427296722 872628224 30099 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30099 13073 16 0 213028 0
vsize: 852176
[startup+370.012 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 35590 46 0 0 25 0 11 0 427296722 872628224 30099 4294967295 134512640 134569956 3221224400 3221214488 1131540756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30099 13073 16 0 213028 0
vsize: 852176
[startup+380.012 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 36563 46 0 0 25 0 11 0 427296722 872628224 30152 4294967295 134512640 134569956 3221224400 3221214768 1131716880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30152 13073 16 0 213028 0
vsize: 852176
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 37538 46 0 0 25 0 11 0 427296722 872628224 30152 4294967295 134512640 134569956 3221224400 3221214488 1131540363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30152 13073 16 0 213028 0
vsize: 852176
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 38520 46 0 0 25 0 11 0 427296722 872628224 30152 4294967295 134512640 134569956 3221224400 3221214712 1131259024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30152 13073 16 0 213028 0
vsize: 852176
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 39494 46 0 0 25 0 11 0 427296722 872628224 30197 4294967295 134512640 134569956 3221224400 3221214848 1131502359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30197 13073 16 0 213028 0
vsize: 852176
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 40471 46 0 0 25 0 11 0 427296722 872628224 30350 4294967295 134512640 134569956 3221224400 3221214768 1131716864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30350 13073 16 0 213028 0
vsize: 852176
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 41451 46 0 0 25 0 11 0 427296722 872628224 30514 4294967295 134512640 134569956 3221224400 3221214064 1131905538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30514 13073 16 0 213028 0
vsize: 852176
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 42437 46 0 0 25 0 11 0 427296722 872628224 30683 4294967295 134512640 134569956 3221224400 3221214768 1131716872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30683 13073 16 0 213028 0
vsize: 852176
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 43427 46 0 0 25 0 11 0 427296722 872628224 30880 4294967295 134512640 134569956 3221224400 3221214712 1131520556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30880 13073 16 0 213028 0
vsize: 852176
[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 44421 46 0 0 25 0 11 0 427296722 872628224 30946 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30946 13073 16 0 213028 0
vsize: 852176
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 45416 46 0 0 25 0 11 0 427296722 872628224 30971 4294967295 134512640 134569956 3221224400 3221214664 1131259424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30971 13073 16 0 213028 0
vsize: 852176
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 46411 46 0 0 25 0 11 0 427296722 872628224 30995 4294967295 134512640 134569956 3221224400 3221214688 1131598645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 30995 13073 16 0 213028 0
vsize: 852176
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 47406 46 0 0 25 0 11 0 427296722 872628224 31012 4294967295 134512640 134569956 3221224400 3221214768 1131716876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31012 13073 16 0 213028 0
vsize: 852176
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 48401 47 0 0 25 0 11 0 427296722 872628224 31023 4294967295 134512640 134569956 3221224400 3221214448 1080216949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31023 13073 16 0 213028 0
vsize: 852176
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 49396 47 0 0 25 0 11 0 427296722 872628224 31032 4294967295 134512640 134569956 3221224400 3221214768 1131717033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31032 13073 16 0 213028 0
vsize: 852176
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 50390 47 0 0 25 0 11 0 427296722 872628224 31041 4294967295 134512640 134569956 3221224400 3221214440 1080216972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31041 13073 16 0 213028 0
vsize: 852176
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 51385 47 0 0 25 0 11 0 427296722 872628224 31049 4294967295 134512640 134569956 3221224400 3221214560 1131585111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31049 13073 16 0 213028 0
vsize: 852176
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 52380 47 0 0 25 0 11 0 427296722 872628224 31073 4294967295 134512640 134569956 3221224400 3221214560 1131585058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31073 13073 16 0 213028 0
vsize: 852176
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 53375 47 0 0 25 0 11 0 427296722 872628224 31084 4294967295 134512640 134569956 3221224400 3221214848 1131502594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31084 13073 16 0 213028 0
vsize: 852176
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 54370 48 0 0 25 0 11 0 427296722 872628224 31104 4294967295 134512640 134569956 3221224400 3221214768 1131716880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31104 13073 16 0 213028 0
vsize: 852176
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 55364 48 0 0 25 0 11 0 427296722 872628224 31118 4294967295 134512640 134569956 3221224400 3221214544 1131541001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31118 13073 16 0 213028 0
vsize: 852176
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 56358 48 0 0 25 0 11 0 427296722 872628224 31133 4294967295 134512640 134569956 3221224400 3221214688 1131598563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31133 13073 16 0 213028 0
vsize: 852176
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 57353 48 0 0 25 0 11 0 427296722 872628224 31147 4294967295 134512640 134569956 3221224400 3221214528 1079721549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31147 13073 16 0 213028 0
vsize: 852176
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 58348 48 0 0 25 0 11 0 427296722 872628224 31176 4294967295 134512640 134569956 3221224400 3221214656 1131494288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31176 13073 16 0 213028 0
vsize: 852176
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 59343 49 0 0 25 0 11 0 427296722 872628224 31182 4294967295 134512640 134569956 3221224400 3221214488 1131540388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31182 13073 16 0 213028 0
vsize: 852176
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 60339 49 0 0 25 0 11 0 427296722 872628224 31203 4294967295 134512640 134569956 3221224400 3221214560 1131584630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31203 13073 16 0 213028 0
vsize: 852176
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 61335 49 0 0 25 0 11 0 427296722 872628224 31220 4294967295 134512640 134569956 3221224400 3221214560 1131585043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31220 13073 16 0 213028 0
vsize: 852176
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 62333 49 0 0 25 0 11 0 427296722 872628224 31222 4294967295 134512640 134569956 3221224400 3221214560 1131584255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31222 13073 16 0 213028 0
vsize: 852176
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 63329 50 0 0 25 0 11 0 427296722 872628224 31235 4294967295 134512640 134569956 3221224400 3221214640 1131620960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31235 13073 16 0 213028 0
vsize: 852176
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 64325 50 0 0 25 0 11 0 427296722 872628224 31239 4294967295 134512640 134569956 3221224400 3221214488 1131612232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31239 13073 16 0 213028 0
vsize: 852176
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 65321 50 0 0 25 0 11 0 427296722 872628224 31276 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31276 13073 16 0 213028 0
vsize: 852176
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 66318 50 0 0 25 0 11 0 427296722 872628224 31282 4294967295 134512640 134569956 3221224400 3221214560 1131583585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31282 13073 16 0 213028 0
vsize: 852176
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 67315 50 0 0 25 0 11 0 427296722 872628224 31290 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31290 13073 16 0 213028 0
vsize: 852176
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 68312 50 0 0 25 0 11 0 427296722 872628224 31295 4294967295 134512640 134569956 3221224400 3221214412 1080217184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31295 13073 16 0 213028 0
vsize: 852176
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 69308 51 0 0 25 0 11 0 427296722 872628224 31300 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31300 13073 16 0 213028 0
vsize: 852176
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 70305 51 0 0 25 0 11 0 427296722 872628224 31307 4294967295 134512640 134569956 3221224400 3221214488 1131611861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31307 13073 16 0 213028 0
vsize: 852176
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 71300 51 0 0 25 0 11 0 427296722 872628224 31311 4294967295 134512640 134569956 3221224400 3221214352 1080217219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31311 13073 16 0 213028 0
vsize: 852176
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 72296 51 0 0 25 0 11 0 427296722 872628224 31317 4294967295 134512640 134569956 3221224400 3221214768 1131717025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31317 13073 16 0 213028 0
vsize: 852176
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 73292 51 0 0 25 0 11 0 427296722 872628224 31321 4294967295 134512640 134569956 3221224400 3221214640 1131620960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31321 13073 16 0 213028 0
vsize: 852176
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 74288 51 0 0 25 0 11 0 427296722 872628224 31337 4294967295 134512640 134569956 3221224400 3221214488 1131540585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31337 13073 16 0 213028 0
vsize: 852176
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 75284 51 0 0 25 0 11 0 427296722 872628224 31345 4294967295 134512640 134569956 3221224400 3221214632 1131619374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31345 13073 16 0 213028 0
vsize: 852176
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 76281 51 0 0 25 0 11 0 427296722 872628224 31351 4294967295 134512640 134569956 3221224400 3221214632 1131619580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31351 13073 16 0 213028 0
vsize: 852176
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 77277 51 0 0 25 0 11 0 427296722 872628224 31358 4294967295 134512640 134569956 3221224400 3221214768 1131717025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31358 13073 16 0 213028 0
vsize: 852176
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 78273 51 0 0 25 0 11 0 427296722 872628224 31362 4294967295 134512640 134569956 3221224400 3221214768 1131716883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31362 13073 16 0 213028 0
vsize: 852176
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 79268 52 0 0 25 0 11 0 427296722 872628224 31365 4294967295 134512640 134569956 3221224400 3221214384 1080217052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31365 13073 16 0 213028 0
vsize: 852176
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 80264 52 0 0 25 0 11 0 427296722 872628224 31391 4294967295 134512640 134569956 3221224400 3221214768 1131716880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31391 13073 16 0 213028 0
vsize: 852176
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 81259 52 0 0 25 0 11 0 427296722 872628224 31402 4294967295 134512640 134569956 3221224400 3221214768 1131717015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31402 13073 16 0 213028 0
vsize: 852176
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 82255 52 0 0 25 0 11 0 427296722 872628224 31407 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31407 13073 16 0 213028 0
vsize: 852176
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 83251 52 0 0 25 0 11 0 427296722 872628224 31422 4294967295 134512640 134569956 3221224400 3221214768 1131716890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31422 13073 16 0 213028 0
vsize: 852176
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 84246 52 0 0 25 0 11 0 427296722 872628224 31427 4294967295 134512640 134569956 3221224400 3221214320 1080217202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31427 13073 16 0 213028 0
vsize: 852176
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 85243 52 0 0 25 0 11 0 427296722 872628224 31433 4294967295 134512640 134569956 3221224400 3221214768 1131716876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31433 13073 16 0 213028 0
vsize: 852176
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 86240 53 0 0 25 0 11 0 427296722 872628224 31436 4294967295 134512640 134569956 3221224400 3221214752 1131467730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31436 13073 16 0 213028 0
vsize: 852176
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 87236 53 0 0 25 0 11 0 427296722 872628224 31443 4294967295 134512640 134569956 3221224400 3221214768 1131716890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31443 13073 16 0 213028 0
vsize: 852176
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 88231 53 0 0 25 0 11 0 427296722 872628224 31450 4294967295 134512640 134569956 3221224400 3221214488 1078032826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31450 13073 16 0 213028 0
vsize: 852176
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 89228 53 0 0 25 0 11 0 427296722 872628224 31477 4294967295 134512640 134569956 3221224400 3221214560 1131585863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31477 13073 16 0 213028 0
vsize: 852176
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 90223 54 0 0 25 0 11 0 427296722 872628224 31498 4294967295 134512640 134569956 3221224400 3221214884 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31498 13073 16 0 213028 0
vsize: 852176
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 91218 54 0 0 25 0 11 0 427296722 872628224 31501 4294967295 134512640 134569956 3221224400 3221214488 1131540797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31501 13073 16 0 213028 0
vsize: 852176
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 92214 54 0 0 25 0 11 0 427296722 872628224 31510 4294967295 134512640 134569956 3221224400 3221214584 1131678410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31510 13073 16 0 213028 0
vsize: 852176
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 93208 54 0 0 25 0 11 0 427296722 872628224 31519 4294967295 134512640 134569956 3221224400 3221214768 1131716864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31519 13073 16 0 213028 0
vsize: 852176
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 94204 54 0 0 25 0 11 0 427296722 872628224 31523 4294967295 134512640 134569956 3221224400 3221214488 1131540830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31523 13073 16 0 213028 0
vsize: 852176
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 95201 54 0 0 25 0 11 0 427296722 872628224 31529 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31529 13073 16 0 213028 0
vsize: 852176
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 96196 54 0 0 25 0 11 0 427296722 872628224 31533 4294967295 134512640 134569956 3221224400 3221214532 1079721552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31533 13073 16 0 213028 0
vsize: 852176
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 97191 55 0 0 25 0 11 0 427296722 872628224 31536 4294967295 134512640 134569956 3221224400 3221214488 1131540657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31536 13073 16 0 213028 0
vsize: 852176
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 98188 55 0 0 25 0 11 0 427296722 872628224 31538 4294967295 134512640 134569956 3221224400 3221214560 1131585103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31538 13073 16 0 213028 0
vsize: 852176
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 99184 55 0 0 25 0 11 0 427296722 872628224 31558 4294967295 134512640 134569956 3221224400 3221214560 1131585111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31558 13073 16 0 213028 0
vsize: 852176
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 100182 55 0 0 25 0 11 0 427296722 872628224 31572 4294967295 134512640 134569956 3221224400 3221214560 1131585152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31572 13073 16 0 213028 0
vsize: 852176
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 101178 55 0 0 25 0 11 0 427296722 872628224 31602 4294967295 134512640 134569956 3221224400 3221214560 1131585179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31602 13073 16 0 213028 0
vsize: 852176
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 102175 55 0 0 25 0 11 0 427296722 872628224 31611 4294967295 134512640 134569956 3221224400 3221214344 1080217313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31611 13073 16 0 213028 0
vsize: 852176
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 103171 55 0 0 25 0 11 0 427296722 872628224 31625 4294967295 134512640 134569956 3221224400 3221214748 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31625 13073 16 0 213028 0
vsize: 852176
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 104169 55 0 0 25 0 11 0 427296722 872628224 31636 4294967295 134512640 134569956 3221224400 3221214760 1131207824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31636 13073 16 0 213028 0
vsize: 852176
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 105166 55 0 0 25 0 11 0 427296722 872628224 31652 4294967295 134512640 134569956 3221224400 3221214688 1131672029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31652 13073 16 0 213028 0
vsize: 852176
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 106164 55 0 0 25 0 11 0 427296722 872628224 31666 4294967295 134512640 134569956 3221224400 3221214560 1131585274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31666 13073 16 0 213028 0
vsize: 852176
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 107161 55 0 0 25 0 11 0 427296722 872628224 31670 4294967295 134512640 134569956 3221224400 3221214560 1131585058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31670 13073 16 0 213028 0
vsize: 852176
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 108159 55 0 0 25 0 11 0 427296722 872628224 31673 4294967295 134512640 134569956 3221224400 3221214384 1080217018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31673 13073 16 0 213028 0
vsize: 852176
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 109156 55 0 0 25 0 11 0 427296722 872628224 31676 4294967295 134512640 134569956 3221224400 3221214628 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31676 13073 16 0 213028 0
vsize: 852176
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 110154 55 0 0 25 0 11 0 427296722 872628224 31682 4294967295 134512640 134569956 3221224400 3221214560 1131585653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31682 13073 16 0 213028 0
vsize: 852176
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 111152 55 0 0 25 0 11 0 427296722 872628224 31686 4294967295 134512640 134569956 3221224400 3221214488 1131540348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31686 13073 16 0 213028 0
vsize: 852176
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 112148 55 0 0 25 0 11 0 427296722 872628224 31689 4294967295 134512640 134569956 3221224400 3221214488 1131540648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31689 13073 16 0 213028 0
vsize: 852176
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 113146 55 0 0 25 0 11 0 427296722 872628224 31694 4294967295 134512640 134569956 3221224400 3221214384 1080217052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31694 13073 16 0 213028 0
vsize: 852176
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 114144 55 0 0 25 0 11 0 427296722 872628224 31704 4294967295 134512640 134569956 3221224400 3221214416 1080217008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31704 13073 16 0 213028 0
vsize: 852176
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 115142 55 0 0 25 0 11 0 427296722 872628224 31708 4294967295 134512640 134569956 3221224400 3221214656 1131297566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31708 13073 16 0 213028 0
vsize: 852176
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 116138 55 0 0 24 0 11 0 427296722 872628224 31712 4294967295 134512640 134569956 3221224400 3221214560 1131585123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213044 31712 13073 16 0 213028 0
vsize: 852176
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 117134 56 0 0 25 0 11 0 427296722 872628224 31719 4294967295 134512640 134569956 3221224400 3221214544 1131585210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31719 13073 16 0 213028 0
vsize: 852176
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 118131 56 0 0 25 0 11 0 427296722 872628224 31720 4294967295 134512640 134569956 3221224400 3221214768 1131717015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31720 13073 16 0 213028 0
vsize: 852176
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 119128 56 0 0 25 0 11 0 427296722 872628224 31722 4294967295 134512640 134569956 3221224400 3221214688 1131671955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31722 13073 16 0 213028 0
vsize: 852176
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 27645
Raw data (stat): 27635 (java) R 27634 30927 30926 0 -1 0 18131 0 1 0 120125 56 0 0 25 0 11 0 427296722 872628224 31726 4294967295 134512640 134569956 3221224400 3221214488 1131540482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213044 31726 13073 16 0 213028 0
vsize: 852176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 27647
Raw data (stat): 27635 (java) Z 27634 30927 30926 0 -1 1036 18131 8644 1 0 120129 56 1411 26 25 0 1 0 427296722 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): 1220.14
CPU time (s): 1216.24
CPU user time (s): 1215.41
CPU system time (s): 0.833873
CPU usage (%): 99.6809
Max. virtual memory (Kb): 858640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####