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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb
MD5SUM	1a92e09c7ec9849a6357a8d28097331d
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	90
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3221225469
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	6170044790734848
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	1104744513968841438
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.486925
Number of variables	17153
Total number of constraints	320
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	320
Minimum length of a constraint	11
Maximum length of a constraint	3360
Trace number 22553

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-22 03:22:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11566 boxname=wulflinc27 idbench=890 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1a92e09c7ec9849a6357a8d28097331d  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-tuff.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-tuff.opb
IDLAUNCH: 11566
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        577256 kB
Buffers:         19048 kB
Cached:         415628 kB
SwapCached:        524 kB
Active:         139116 kB
Inactive:       297444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        577004 kB
SwapTotal:     2097892 kB
SwapFree:      2096420 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            15208 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:42:47 (client local time) WITH STATUS 143 IN 1228.03 SECONDS
stats: 11566 7 1228.03 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-tuff.opb
c reading problem 
c [nbvar=17153]
c [nbconstr=320]
c time 93.441
c #vars     17153
c #clauses  568
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.78 0.88 0.88 2/54 1700
Raw data (stat): 1700 (runsolver) R 1699 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550441783 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+9.99993 s]
Raw data (loadavg): 0.81 0.88 0.88 2/63 1709
Raw data (stat): 1700 (java) S 1699 18865 18864 0 -1 0 17990 0 1 0 802 37 0 0 25 0 10 0 550441783 857698304 20328 4294967295 134512640 134569956 3221224400 3221213656 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209399 20328 13073 16 0 209383 0
vsize: 837596
[startup+20.0005 s]
Raw data (loadavg): 0.84 0.88 0.89 2/63 1709
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 17991 0 1 0 1673 37 0 0 25 0 10 0 550441783 856887296 21041 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209201 21041 13073 16 0 209185 0
vsize: 836804
[startup+30.0004 s]
Raw data (loadavg): 0.86 0.89 0.89 2/63 1709
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 17991 0 1 0 2534 37 0 0 25 0 10 0 550441783 855601152 21278 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208887 21278 13073 16 0 208871 0
vsize: 835548
[startup+40.0002 s]
Raw data (loadavg): 0.88 0.89 0.89 2/63 1709
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 17991 0 1 0 3415 38 0 0 25 0 10 0 550441783 855601152 21633 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208887 21633 13073 16 0 208871 0
vsize: 835548
[startup+50.0057 s]
Raw data (loadavg): 0.90 0.89 0.89 2/63 1709
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 17991 0 1 0 4288 38 0 0 25 0 10 0 550441783 855601152 21806 4294967295 134512640 134569956 3221224400 3221214824 1131324929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208887 21806 13073 16 0 208871 0
vsize: 835548
[startup+60.0058 s]
Raw data (loadavg): 0.92 0.90 0.89 2/63 1709
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 17991 0 1 0 5142 39 0 0 24 0 10 0 550441783 855601152 22474 4294967295 134512640 134569956 3221224400 3221214096 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208887 22474 13073 16 0 208871 0
vsize: 835548
[startup+70.0067 s]
Raw data (loadavg): 0.93 0.90 0.89 2/63 1709
Raw data (stat): 1700 (java) S 1699 18865 18864 0 -1 0 17991 0 1 0 6021 40 0 0 21 0 10 0 550441783 855601152 22615 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208887 22615 13073 16 0 208871 0
vsize: 835548
[startup+80.011 s]
Raw data (loadavg): 0.94 0.90 0.89 2/63 1709
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 17991 0 1 0 6881 40 0 0 16 0 10 0 550441783 855601152 22999 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208887 22999 13073 16 0 208871 0
vsize: 835548
[startup+90.0143 s]
Raw data (loadavg): 0.95 0.90 0.89 2/63 1709
Raw data (stat): 1700 (java) S 1699 18865 18864 0 -1 0 17991 0 1 0 7747 41 0 0 25 0 10 0 550441783 855601152 23868 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208887 23869 13073 16 0 208871 0
vsize: 835548
[startup+100.014 s]
Raw data (loadavg): 0.95 0.91 0.89 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18018 0 2 0 8630 43 0 0 25 0 11 0 550441783 856752128 26598 4294967295 134512640 134569956 3221224400 3221214656 1131270029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209168 26598 13073 16 0 209152 0
vsize: 836672
[startup+110.02 s]
Raw data (loadavg): 0.96 0.91 0.89 2/64 1710
Raw data (stat): 1700 (java) S 1699 18865 18864 0 -1 0 18018 0 2 0 9539 43 0 0 25 0 11 0 550441783 856129536 26502 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209016 26502 13073 16 0 209000 0
vsize: 836064
[startup+120.026 s]
Raw data (loadavg): 0.97 0.91 0.90 3/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18057 0 2 0 10402 44 0 0 24 0 11 0 550441783 859484160 27209 4294967295 134512640 134569956 3221224400 3221214744 1130915029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209835 27209 13073 16 0 209819 0
vsize: 839340
[startup+130.026 s]
Raw data (loadavg): 1.12 0.95 0.91 3/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 11325 44 0 0 25 0 11 0 550441783 858447872 27058 4294967295 134512640 134569956 3221224400 3221214388 1076879009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27058 13073 16 0 209566 0
vsize: 838328
[startup+140.025 s]
Raw data (loadavg): 1.11 0.95 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 12281 45 0 0 25 0 11 0 550441783 858447872 27752 4294967295 134512640 134569956 3221224400 3221214648 1131417774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27752 13073 16 0 209566 0
vsize: 838328
[startup+150.027 s]
Raw data (loadavg): 1.09 0.95 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 13256 45 0 0 25 0 11 0 550441783 858447872 27797 4294967295 134512640 134569956 3221224400 3221214848 1131389608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27797 13073 16 0 209566 0
vsize: 838328
[startup+160.027 s]
Raw data (loadavg): 1.07 0.95 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 14243 45 0 0 25 0 11 0 550441783 858447872 27853 4294967295 134512640 134569956 3221224400 3221214848 1131389344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27853 13073 16 0 209566 0
vsize: 838328
[startup+170.028 s]
Raw data (loadavg): 1.06 0.95 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 15239 45 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214728 1131430246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+180.028 s]
Raw data (loadavg): 1.05 0.95 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 16237 46 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214800 1131430368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+190.027 s]
Raw data (loadavg): 1.04 0.95 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 17234 46 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214752 1131269731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+200.027 s]
Raw data (loadavg): 1.04 0.95 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 18231 46 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214704 1131405729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+210.028 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 19227 47 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214656 1131211282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+220.029 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 20224 47 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214764 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+230.029 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 21222 48 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214848 1131389340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+240.029 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 22219 48 0 0 25 0 11 0 550441783 858447872 27900 4294967295 134512640 134569956 3221224400 3221214704 1131407577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27900 13073 16 0 209566 0
vsize: 838328
[startup+250.029 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 23217 48 0 0 25 0 11 0 550441783 858447872 27901 4294967295 134512640 134569956 3221224400 3221214672 1131488084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27901 13073 16 0 209566 0
vsize: 838328
[startup+260.03 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18058 0 2 0 24215 48 0 0 25 0 11 0 550441783 858447872 27901 4294967295 134512640 134569956 3221224400 3221214704 1131407589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27901 13073 16 0 209566 0
vsize: 838328
[startup+270.031 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18059 0 2 0 25204 49 0 0 25 0 11 0 550441783 858447872 27913 4294967295 134512640 134569956 3221224400 3221214600 1131423298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27913 13073 16 0 209566 0
vsize: 838328
[startup+280.032 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18061 0 2 0 26177 49 0 0 25 0 11 0 550441783 859496448 28161 4294967295 134512640 134569956 3221224400 3221214656 1131519273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209838 28161 13073 16 0 209822 0
vsize: 839352
[startup+290.032 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 27169 49 0 0 25 0 11 0 550441783 858447872 27934 4294967295 134512640 134569956 3221224400 3221214656 1131519152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 27934 13073 16 0 209566 0
vsize: 838328
[startup+300.032 s]
Raw data (loadavg): 1.00 0.96 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 28149 49 0 0 25 0 11 0 550441783 858447872 27934 4294967295 134512640 134569956 3221224400 3221214680 1131269795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 27934 13073 16 0 209566 0
vsize: 838328
[startup+310.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 29135 49 0 0 25 0 11 0 550441783 858447872 28005 4294967295 134512640 134569956 3221224400 3221214648 1131594656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28005 13073 16 0 209566 0
vsize: 838328
[startup+320.033 s]
Raw data (loadavg): 1.00 0.97 0.91 3/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 30131 50 0 0 25 0 11 0 550441783 858447872 28005 4294967295 134512640 134569956 3221224400 3221214656 1131519152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28005 13073 16 0 209566 0
vsize: 838328
[startup+330.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 31123 50 0 0 25 0 11 0 550441783 858447872 28018 4294967295 134512640 134569956 3221224400 3221214744 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28018 13073 16 0 209566 0
vsize: 838328
[startup+340.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 32118 51 0 0 25 0 11 0 550441783 858447872 28021 4294967295 134512640 134569956 3221224400 3221214648 1131593171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28021 13073 16 0 209566 0
vsize: 838328
[startup+350.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 33116 51 0 0 25 0 11 0 550441783 858447872 28022 4294967295 134512640 134569956 3221224400 3221214704 1131430313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28022 13073 16 0 209566 0
vsize: 838328
[startup+360.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 34110 51 0 0 25 0 11 0 550441783 858447872 28028 4294967295 134512640 134569956 3221224400 3221214784 1131488084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28028 13073 16 0 209566 0
vsize: 838328
[startup+370.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 35104 51 0 0 25 0 11 0 550441783 858447872 28028 4294967295 134512640 134569956 3221224400 3221214752 1131439321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28028 13073 16 0 209566 0
vsize: 838328
[startup+380.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 36095 52 0 0 25 0 11 0 550441783 858447872 28028 4294967295 134512640 134569956 3221224400 3221214636 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28028 13073 16 0 209566 0
vsize: 838328
[startup+390.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 37090 52 0 0 25 0 11 0 550441783 858447872 28046 4294967295 134512640 134569956 3221224400 3221214648 1131488084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28046 13073 16 0 209566 0
vsize: 838328
[startup+400.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 38085 52 0 0 25 0 11 0 550441783 858447872 28046 4294967295 134512640 134569956 3221224400 3221214752 1131439237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28046 13073 16 0 209566 0
vsize: 838328
[startup+410.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 39080 53 0 0 25 0 11 0 550441783 858447872 28051 4294967295 134512640 134569956 3221224400 3221214696 1080203753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28051 13073 16 0 209566 0
vsize: 838328
[startup+420.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 40075 53 0 0 25 0 11 0 550441783 858447872 28059 4294967295 134512640 134569956 3221224400 3221214680 1131406418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28059 13073 16 0 209566 0
vsize: 838328
[startup+430.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 41069 53 0 0 25 0 11 0 550441783 858447872 28064 4294967295 134512640 134569956 3221224400 3221214680 1131405853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28064 13073 16 0 209566 0
vsize: 838328
[startup+440.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 42065 54 0 0 25 0 11 0 550441783 858447872 28067 4294967295 134512640 134569956 3221224400 3221214832 1131389340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28067 13073 16 0 209566 0
vsize: 838328
[startup+450.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 43061 54 0 0 25 0 11 0 550441783 858447872 28070 4294967295 134512640 134569956 3221224400 3221214680 1131407589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209582 28070 13073 16 0 209566 0
vsize: 838328
[startup+460.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 44055 55 0 0 25 0 11 0 550441783 858447872 28075 4294967295 134512640 134569956 3221224400 3221214680 1131405620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28075 13073 16 0 209566 0
vsize: 838328
[startup+470.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 45052 55 0 0 25 0 11 0 550441783 858447872 28081 4294967295 134512640 134569956 3221224400 3221214680 1131405697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28081 13073 16 0 209566 0
vsize: 838328
[startup+480.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 46047 55 0 0 25 0 11 0 550441783 858447872 28083 4294967295 134512640 134569956 3221224400 3221214636 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28083 13073 16 0 209566 0
vsize: 838328
[startup+490.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 47043 55 0 0 25 0 11 0 550441783 858447872 28085 4294967295 134512640 134569956 3221224400 3221214712 1131392605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28085 13073 16 0 209566 0
vsize: 838328
[startup+500.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 48038 55 0 0 25 0 11 0 550441783 858447872 28088 4294967295 134512640 134569956 3221224400 3221214624 1131417771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28088 13073 16 0 209566 0
vsize: 838328
[startup+510.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 49033 55 0 0 25 0 11 0 550441783 858447872 28091 4294967295 134512640 134569956 3221224400 3221214704 1131430209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28091 13073 16 0 209566 0
vsize: 838328
[startup+520.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 50028 55 0 0 25 0 11 0 550441783 858447872 28107 4294967295 134512640 134569956 3221224400 3221214668 1080204232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28107 13073 16 0 209566 0
vsize: 838328
[startup+530.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 51024 55 0 0 25 0 11 0 550441783 858447872 28114 4294967295 134512640 134569956 3221224400 3221214752 1131438170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28114 13073 16 0 209566 0
vsize: 838328
[startup+540.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 52019 55 0 0 25 0 11 0 550441783 858447872 28116 4294967295 134512640 134569956 3221224400 3221214640 1131211203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28116 13073 16 0 209566 0
vsize: 838328
[startup+550.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 53015 55 0 0 25 0 11 0 550441783 858447872 28117 4294967295 134512640 134569956 3221224400 3221214680 1131405031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28117 13073 16 0 209566 0
vsize: 838328
[startup+560.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 54013 55 0 0 25 0 11 0 550441783 858447872 28117 4294967295 134512640 134569956 3221224400 3221214752 1131438932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28117 13073 16 0 209566 0
vsize: 838328
[startup+570.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 55007 55 0 0 25 0 11 0 550441783 858447872 28121 4294967295 134512640 134569956 3221224400 3221214552 1131211282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28121 13073 16 0 209566 0
vsize: 838328
[startup+580.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 56001 55 0 0 25 0 11 0 550441783 858447872 28125 4294967295 134512640 134569956 3221224400 3221214752 1131615660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28125 13073 16 0 209566 0
vsize: 838328
[startup+590.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 56993 56 0 0 25 0 11 0 550441783 858447872 28128 4294967295 134512640 134569956 3221224400 3221214748 1131380499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28128 13073 16 0 209566 0
vsize: 838328
[startup+600.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 57990 56 0 0 25 0 11 0 550441783 858447872 28129 4294967295 134512640 134569956 3221224400 3221214648 1131573378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28129 13073 16 0 209566 0
vsize: 838328
[startup+610.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 58982 56 0 0 25 0 11 0 550441783 858447872 28164 4294967295 134512640 134569956 3221224400 3221214752 1131440399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28164 13073 16 0 209566 0
vsize: 838328
[startup+620.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 59976 56 0 0 25 0 11 0 550441783 858447872 28176 4294967295 134512640 134569956 3221224400 3221214624 1131417764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28176 13073 16 0 209566 0
vsize: 838328
[startup+630.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 60970 56 0 0 25 0 11 0 550441783 858447872 28190 4294967295 134512640 134569956 3221224400 3221214536 1131601393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28190 13073 16 0 209566 0
vsize: 838328
[startup+640.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 61964 57 0 0 25 0 11 0 550441783 858447872 28229 4294967295 134512640 134569956 3221224400 3221214752 1131438988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28229 13073 16 0 209566 0
vsize: 838328
[startup+650.066 s]
Raw data (loadavg): 1.08 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 62960 57 0 0 25 0 11 0 550441783 858447872 28229 4294967295 134512640 134569956 3221224400 3221214752 1131439237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28229 13073 16 0 209566 0
vsize: 838328
[startup+660.065 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 63955 57 0 0 25 0 11 0 550441783 858447872 28237 4294967295 134512640 134569956 3221224400 3221214664 1131431526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28237 13073 16 0 209566 0
vsize: 838328
[startup+670.066 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 64951 57 0 0 25 0 11 0 550441783 858447872 28240 4294967295 134512640 134569956 3221224400 3221214624 1131417771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28240 13073 16 0 209566 0
vsize: 838328
[startup+680.067 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 65947 57 0 0 25 0 11 0 550441783 858447872 28243 4294967295 134512640 134569956 3221224400 3221214708 1131431577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28243 13073 16 0 209566 0
vsize: 838328
[startup+690.067 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 66942 57 0 0 25 0 11 0 550441783 858447872 28245 4294967295 134512640 134569956 3221224400 3221214544 1131396786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28245 13073 16 0 209566 0
vsize: 838328
[startup+700.067 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 67938 58 0 0 25 0 11 0 550441783 858447872 28246 4294967295 134512640 134569956 3221224400 3221214748 1131380499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28246 13073 16 0 209566 0
vsize: 838328
[startup+710.069 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 68929 58 0 0 25 0 11 0 550441783 858447872 28251 4294967295 134512640 134569956 3221224400 3221214752 1131438244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28251 13073 16 0 209566 0
vsize: 838328
[startup+720.069 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 69921 58 0 0 25 0 11 0 550441783 858447872 28251 4294967295 134512640 134569956 3221224400 3221214304 1080217328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28251 13073 16 0 209566 0
vsize: 838328
[startup+730.07 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 70913 58 0 0 25 0 11 0 550441783 858447872 28272 4294967295 134512640 134569956 3221224400 3221214624 1131417771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28272 13073 16 0 209566 0
vsize: 838328
[startup+740.07 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 71908 58 0 0 25 0 11 0 550441783 858447872 28314 4294967295 134512640 134569956 3221224400 3221214648 1131319489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28314 13073 16 0 209566 0
vsize: 838328
[startup+750.077 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 72899 58 0 0 25 0 11 0 550441783 858447872 28328 4294967295 134512640 134569956 3221224400 3221214636 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28328 13073 16 0 209566 0
vsize: 838328
[startup+760.077 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 73894 58 0 0 25 0 11 0 550441783 858447872 28328 4294967295 134512640 134569956 3221224400 3221214680 1131270124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28328 13073 16 0 209566 0
vsize: 838328
[startup+770.079 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 74885 58 0 0 25 0 11 0 550441783 858447872 28359 4294967295 134512640 134569956 3221224400 3221214832 1131389509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28359 13073 16 0 209566 0
vsize: 838328
[startup+780.079 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 75880 58 0 0 24 0 11 0 550441783 858447872 28360 4294967295 134512640 134569956 3221224400 3221214680 1131405627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28360 13073 16 0 209566 0
vsize: 838328
[startup+790.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 76869 58 0 0 25 0 11 0 550441783 858447872 28402 4294967295 134512640 134569956 3221224400 3221214832 1131389509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28402 13073 16 0 209566 0
vsize: 838328
[startup+800.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 77861 58 0 0 25 0 11 0 550441783 858447872 28439 4294967295 134512640 134569956 3221224400 3221214248 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28439 13073 16 0 209566 0
vsize: 838328
[startup+810.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 78855 58 0 0 25 0 11 0 550441783 858447872 28482 4294967295 134512640 134569956 3221224400 3221214624 1131417815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28482 13073 16 0 209566 0
vsize: 838328
[startup+820.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 79853 58 0 0 25 0 11 0 550441783 858447872 28482 4294967295 134512640 134569956 3221224400 3221214832 1131389608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28482 13073 16 0 209566 0
vsize: 838328
[startup+830.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 80850 59 0 0 25 0 11 0 550441783 858447872 28482 4294967295 134512640 134569956 3221224400 3221214408 1080217037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28482 13073 16 0 209566 0
vsize: 838328
[startup+840.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 81848 59 0 0 25 0 11 0 550441783 858447872 28482 4294967295 134512640 134569956 3221224400 3221214832 1131389596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28482 13073 16 0 209566 0
vsize: 838328
[startup+850.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 82844 59 0 0 25 0 11 0 550441783 858447872 28482 4294967295 134512640 134569956 3221224400 3221214752 1131438136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28482 13073 16 0 209566 0
vsize: 838328
[startup+860.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 83840 59 0 0 25 0 11 0 550441783 858447872 28482 4294967295 134512640 134569956 3221224400 3221214752 1131439321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28482 13073 16 0 209566 0
vsize: 838328
[startup+870.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 84836 59 0 0 25 0 11 0 550441783 858447872 28482 4294967295 134512640 134569956 3221224400 3221214680 1131406508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28482 13073 16 0 209566 0
vsize: 838328
[startup+880.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 85831 59 0 0 25 0 11 0 550441783 858447872 28484 4294967295 134512640 134569956 3221224400 3221214680 1131405729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28484 13073 16 0 209566 0
vsize: 838328
[startup+890.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 86826 59 0 0 25 0 11 0 550441783 858447872 28491 4294967295 134512640 134569956 3221224400 3221214600 1131423352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28491 13073 16 0 209566 0
vsize: 838328
[startup+900.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 87821 59 0 0 25 0 11 0 550441783 858447872 28496 4294967295 134512640 134569956 3221224400 3221214680 1131406387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28496 13073 16 0 209566 0
vsize: 838328
[startup+910.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 88816 59 0 0 25 0 11 0 550441783 858447872 28506 4294967295 134512640 134569956 3221224400 3221214704 1131430403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28506 13073 16 0 209566 0
vsize: 838328
[startup+920.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 89812 59 0 0 25 0 11 0 550441783 858447872 28507 4294967295 134512640 134569956 3221224400 3221214684 1080203728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28507 13073 16 0 209566 0
vsize: 838328
[startup+930.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 90808 59 0 0 25 0 11 0 550441783 858447872 28512 4294967295 134512640 134569956 3221224400 3221214832 1131389344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28512 13073 16 0 209566 0
vsize: 838328
[startup+940.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 91804 59 0 0 25 0 11 0 550441783 858447872 28515 4294967295 134512640 134569956 3221224400 3221214752 1131440318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28515 13073 16 0 209566 0
vsize: 838328
[startup+950.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 92800 59 0 0 25 0 11 0 550441783 858447872 28519 4294967295 134512640 134569956 3221224400 3221214752 1131438444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28519 13073 16 0 209566 0
vsize: 838328
[startup+960.101 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 93797 59 0 0 25 0 11 0 550441783 858447872 28524 4294967295 134512640 134569956 3221224400 3221214624 1131417896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28524 13073 16 0 209566 0
vsize: 838328
[startup+970.102 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 94794 60 0 0 25 0 11 0 550441783 858447872 28524 4294967295 134512640 134569956 3221224400 3221214680 1131406418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28524 13073 16 0 209566 0
vsize: 838328
[startup+980.108 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 95792 60 0 0 25 0 11 0 550441783 858447872 28524 4294967295 134512640 134569956 3221224400 3221214472 1131608610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28524 13073 16 0 209566 0
vsize: 838328
[startup+990.109 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 96788 60 0 0 25 0 11 0 550441783 858447872 28524 4294967295 134512640 134569956 3221224400 3221214736 1131400393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28524 13073 16 0 209566 0
vsize: 838328
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 97784 60 0 0 25 0 11 0 550441783 858447872 28524 4294967295 134512640 134569956 3221224400 3221214648 1131319512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28524 13073 16 0 209566 0
vsize: 838328
[startup+1010.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 98780 60 0 0 25 0 11 0 550441783 858447872 28524 4294967295 134512640 134569956 3221224400 3221214748 1131404972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28524 13073 16 0 209566 0
vsize: 838328
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 99777 60 0 0 25 0 11 0 550441783 858447872 28530 4294967295 134512640 134569956 3221224400 3221214548 1131585570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28530 13073 16 0 209566 0
vsize: 838328
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 100775 60 0 0 25 0 11 0 550441783 858447872 28535 4294967295 134512640 134569956 3221224400 3221214752 1131440777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28535 13073 16 0 209566 0
vsize: 838328
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 101772 60 0 0 25 0 11 0 550441783 858447872 28535 4294967295 134512640 134569956 3221224400 3221214752 1131438895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28535 13073 16 0 209566 0
vsize: 838328
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 102769 60 0 0 25 0 11 0 550441783 858447872 28535 4294967295 134512640 134569956 3221224400 3221214752 1131440761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28535 13073 16 0 209566 0
vsize: 838328
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 103765 60 0 0 25 0 11 0 550441783 858447872 28535 4294967295 134512640 134569956 3221224400 3221214668 1080203730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28535 13073 16 0 209566 0
vsize: 838328
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 104761 60 0 0 25 0 11 0 550441783 858447872 28535 4294967295 134512640 134569956 3221224400 3221214680 1131406245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28535 13073 16 0 209566 0
vsize: 838328
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 105757 60 0 0 25 0 11 0 550441783 858447872 28536 4294967295 134512640 134569956 3221224400 3221214832 1131389588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28536 13073 16 0 209566 0
vsize: 838328
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 106753 60 0 0 25 0 11 0 550441783 858447872 28542 4294967295 134512640 134569956 3221224400 3221214740 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28542 13073 16 0 209566 0
vsize: 838328
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 107749 61 0 0 25 0 11 0 550441783 858447872 28542 4294967295 134512640 134569956 3221224400 3221214704 1131488084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28542 13073 16 0 209566 0
vsize: 838328
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 108745 61 0 0 25 0 11 0 550441783 858447872 28552 4294967295 134512640 134569956 3221224400 3221214712 1131392768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28552 13073 16 0 209566 0
vsize: 838328
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 109741 61 0 0 25 0 11 0 550441783 858447872 28552 4294967295 134512640 134569956 3221224400 3221214832 1131389344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28552 13073 16 0 209566 0
vsize: 838328
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 110737 61 0 0 25 0 11 0 550441783 858447872 28552 4294967295 134512640 134569956 3221224400 3221214832 1131389344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28552 13073 16 0 209566 0
vsize: 838328
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 111733 61 0 0 25 0 11 0 550441783 858447872 28557 4294967295 134512640 134569956 3221224400 3221214752 1131439601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28557 13073 16 0 209566 0
vsize: 838328
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 112730 61 0 0 25 0 11 0 550441783 858447872 28562 4294967295 134512640 134569956 3221224400 3221214552 1131470959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28562 13073 16 0 209566 0
vsize: 838328
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 113727 61 0 0 25 0 11 0 550441783 858447872 28562 4294967295 134512640 134569956 3221224400 3221214740 1080203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28562 13073 16 0 209566 0
vsize: 838328
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 114725 61 0 0 25 0 11 0 550441783 858447872 28562 4294967295 134512640 134569956 3221224400 3221214680 1131405155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28562 13073 16 0 209566 0
vsize: 838328
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 115722 61 0 0 25 0 11 0 550441783 858447872 28562 4294967295 134512640 134569956 3221224400 3221214552 1131471247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28562 13073 16 0 209566 0
vsize: 838328
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 116718 61 0 0 25 0 11 0 550441783 858447872 28562 4294967295 134512640 134569956 3221224400 3221214752 1131437799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28562 13073 16 0 209566 0
vsize: 838328
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 117716 61 0 0 25 0 11 0 550441783 858447872 28565 4294967295 134512640 134569956 3221224400 3221214752 1131439956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28565 13073 16 0 209566 0
vsize: 838328
[startup+1210.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 118713 61 0 0 25 0 11 0 550441783 858447872 28565 4294967295 134512640 134569956 3221224400 3221214832 1131389519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28565 13073 16 0 209566 0
vsize: 838328
[startup+1220.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 119711 61 0 0 25 0 11 0 550441783 858447872 28565 4294967295 134512640 134569956 3221224400 3221214336 1080217322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28565 13073 16 0 209566 0
vsize: 838328
[startup+1230.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 1710
Raw data (stat): 1700 (java) R 1699 18865 18864 0 -1 0 18062 0 2 0 120709 61 0 0 25 0 11 0 550441783 858447872 28565 4294967295 134512640 134569956 3221224400 3221214752 1131438214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209582 28565 13073 16 0 209566 0
vsize: 838328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.23 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 1712
Raw data (stat): 1700 (java) Z 1699 18865 18864 0 -1 1036 18062 9081 2 0 120714 61 1993 32 16 0 1 0 550441783 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.23
CPU time (s): 1228.03
CPU user time (s): 1227.08
CPU system time (s): 0.948855
CPU usage (%): 99.8214
Max. virtual memory (Kb): 839352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####