PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1p.opb
MD5SUM	466386fc28c4adb9c70eb7384ea57208
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	20520
Biggest coefficient in the objective function	1572864
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	1553988150
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	58038681600
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	204926279575
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.268958
Number of variables	31508
Total number of constraints	1026
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	1026
Minimum length of a constraint	14
Maximum length of a constraint	416
Trace number 16213

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 06:26:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15791 boxname=wulflinc6 idbench=1215 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  466386fc28c4adb9c70eb7384ea57208  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fit1p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fit1p.opb
IDLAUNCH: 15791
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        629356 kB
Buffers:         26676 kB
Cached:         356456 kB
SwapCached:        320 kB
Active:         112656 kB
Inactive:       273052 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        629104 kB
SwapTotal:     2097136 kB
SwapFree:      2096448 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            13948 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:47:07 (client local time) WITH STATUS 143 IN 1262.65 SECONDS
stats: 15791 7 1262.65 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fit1p.opb
c reading problem 
c [nbvar=31508]
c [nbconstr=1026]
c time 289.618
c #vars     31508
c #clauses  1653
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.92 0.95 0.90 2/54 8928
Raw data (stat): 8928 (runsolver) R 8927 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484685592 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17978 0 1 0 882 39 0 0 25 0 10 0 484685592 853626880 19172 4294967295 134512640 134569956 3221224400 3221214692 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 19172 13073 16 0 208389 0
vsize: 833620
[startup+20.0039 s]
Raw data (loadavg): 0.94 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) S 8927 29653 29652 0 -1 0 17979 0 1 0 1770 40 0 0 21 0 10 0 484685592 853676032 19677 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208417 19677 13073 16 0 208401 0
vsize: 833668
[startup+30.0047 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 2676 40 0 0 21 0 10 0 484685592 853676032 20118 4294967295 134512640 134569956 3221224400 3221214824 1131207008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208417 20118 13073 16 0 208401 0
vsize: 833668
[startup+40.0076 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) S 8927 29653 29652 0 -1 0 17979 0 1 0 3606 40 0 0 21 0 10 0 484685592 853676032 20349 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208417 20349 13073 16 0 208401 0
vsize: 833668
[startup+50.0083 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 4530 40 0 0 24 0 10 0 484685592 853676032 20478 4294967295 134512640 134569956 3221224400 3221214824 1131207356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 20478 13073 16 0 208401 0
vsize: 833668
[startup+60.0089 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 5464 41 0 0 25 0 10 0 484685592 853676032 20577 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 20577 13073 16 0 208401 0
vsize: 833668
[startup+70.0098 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 6405 41 0 0 25 0 10 0 484685592 853676032 20796 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208417 20796 13073 16 0 208401 0
vsize: 833668
[startup+80.0097 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 7350 41 0 0 25 0 10 0 484685592 853676032 20877 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 20877 13073 16 0 208401 0
vsize: 833668
[startup+90.0103 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 8295 42 0 0 20 0 10 0 484685592 853676032 20951 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 20951 13073 16 0 208401 0
vsize: 833668
[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 9244 42 0 0 25 0 10 0 484685592 853676032 21017 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 21017 13073 16 0 208401 0
vsize: 833668
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17979 0 1 0 10190 43 0 0 25 0 10 0 484685592 853676032 21082 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 21082 13073 16 0 208401 0
vsize: 833668
[startup+120.011 s]
Raw data (loadavg): 1.07 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 11075 43 0 0 21 0 10 0 484685592 856817664 21939 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 21939 13073 16 0 209168 0
vsize: 836736
[startup+130.011 s]
Raw data (loadavg): 1.06 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 12008 43 0 0 17 0 10 0 484685592 856817664 21998 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 21998 13073 16 0 209168 0
vsize: 836736
[startup+140.012 s]
Raw data (loadavg): 1.05 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 12943 43 0 0 17 0 10 0 484685592 856817664 22126 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 22126 13073 16 0 209168 0
vsize: 836736
[startup+150.012 s]
Raw data (loadavg): 1.04 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 13880 44 0 0 18 0 10 0 484685592 856817664 22192 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 22192 13073 16 0 209168 0
vsize: 836736
[startup+160.012 s]
Raw data (loadavg): 1.03 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 14817 44 0 0 20 0 10 0 484685592 856817664 22256 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 22256 13073 16 0 209168 0
vsize: 836736
[startup+170.013 s]
Raw data (loadavg): 1.03 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 15748 44 0 0 20 0 10 0 484685592 856817664 22317 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 22317 13073 16 0 209168 0
vsize: 836736
[startup+180.014 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 16664 44 0 0 20 0 10 0 484685592 856817664 22377 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 22377 13073 16 0 209168 0
vsize: 836736
[startup+190.014 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 17586 44 0 0 25 0 10 0 484685592 856817664 22595 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 22595 13073 16 0 209168 0
vsize: 836736
[startup+200.013 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17985 0 1 0 18498 44 0 0 25 0 10 0 484685592 856817664 22664 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 22664 13073 16 0 209168 0
vsize: 836736
[startup+210.014 s]
Raw data (loadavg): 1.09 1.00 0.92 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 19346 48 0 0 20 0 10 0 484685592 856571904 29388 4294967295 134512640 134569956 3221224400 3221214808 1131152191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209124 29388 13073 16 0 209108 0
vsize: 836496
[startup+220.014 s]
Raw data (loadavg): 1.15 1.02 0.93 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 20235 48 0 0 20 0 10 0 484685592 856571904 29838 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209124 29838 13073 16 0 209108 0
vsize: 836496
[startup+230.014 s]
Raw data (loadavg): 1.13 1.02 0.93 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 21093 49 0 0 17 0 10 0 484685592 856571904 30148 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209124 30148 13073 16 0 209108 0
vsize: 836496
[startup+240.018 s]
Raw data (loadavg): 1.11 1.01 0.93 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 21949 49 0 0 16 0 10 0 484685592 856186880 30429 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209030 30429 13073 16 0 209014 0
vsize: 836120
[startup+250.019 s]
Raw data (loadavg): 1.09 1.01 0.93 2/63 8937
Raw data (stat): 8928 (java) S 8927 29653 29652 0 -1 0 17986 0 1 0 22809 50 0 0 19 0 10 0 484685592 856186880 30736 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209030 30736 13073 16 0 209014 0
vsize: 836120
[startup+260.019 s]
Raw data (loadavg): 1.08 1.01 0.93 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 23670 50 0 0 20 0 10 0 484685592 856186880 31127 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209030 31127 13073 16 0 209014 0
vsize: 836120
[startup+270.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 24526 51 0 0 18 0 10 0 484685592 856186880 31518 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209030 31518 13073 16 0 209014 0
vsize: 836120
[startup+280.022 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 25382 51 0 0 17 0 10 0 484685592 856186880 31905 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209030 31905 13073 16 0 209014 0
vsize: 836120
[startup+290.022 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 8937
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 17986 0 1 0 26239 52 0 0 16 0 10 0 484685592 856186880 32224 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209030 32224 13073 16 0 209014 0
vsize: 836120
[startup+300.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18013 0 1 0 27139 53 0 0 21 0 11 0 484685592 856715264 32357 4294967295 134512640 134569956 3221224400 3221214840 1131489368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209159 32357 13073 16 0 209143 0
vsize: 836636
[startup+310.026 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 8938
Raw data (stat): 8928 (java) S 8927 29653 29652 0 -1 0 18013 0 1 0 28032 53 0 0 23 0 11 0 484685592 856715264 32507 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209159 32507 13073 16 0 209143 0
vsize: 836636
[startup+320.026 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18013 0 1 0 28958 53 0 0 25 0 11 0 484685592 856715264 33238 4294967295 134512640 134569956 3221224400 3221214760 1131355729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209159 33238 13073 16 0 209143 0
vsize: 836636
[startup+330.035 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18013 0 1 0 29937 54 0 0 24 0 11 0 484685592 856715264 33252 4294967295 134512640 134569956 3221224400 3221214860 1131354771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209159 33252 13073 16 0 209143 0
vsize: 836636
[startup+340.036 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18014 0 1 0 30917 55 0 0 19 0 11 0 484685592 856715264 33280 4294967295 134512640 134569956 3221224400 3221214760 1131354833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209159 33280 13073 16 0 209143 0
vsize: 836636
[startup+350.037 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18014 0 1 0 31896 55 0 0 23 0 11 0 484685592 856715264 33321 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209159 33321 13073 16 0 209143 0
vsize: 836636
[startup+360.037 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18014 0 1 0 32878 55 0 0 20 0 11 0 484685592 856715264 33345 4294967295 134512640 134569956 3221224400 3221214632 1131355026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209159 33345 13073 16 0 209143 0
vsize: 836636
[startup+370.05 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18014 0 1 0 33863 55 0 0 21 0 11 0 484685592 856715264 33376 4294967295 134512640 134569956 3221224400 3221214632 1131355920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209159 33376 13073 16 0 209143 0
vsize: 836636
[startup+380.05 s]
Raw data (loadavg): 1.23 1.05 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 34786 56 0 0 19 0 11 0 484685592 860606464 34434 4294967295 134512640 134569956 3221224400 3221214640 1131259386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210109 34434 13073 16 0 210093 0
vsize: 840436
[startup+390.052 s]
Raw data (loadavg): 1.19 1.05 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 35768 56 0 0 19 0 11 0 484685592 859918336 34281 4294967295 134512640 134569956 3221224400 3221214632 1131356199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34281 13073 16 0 209925 0
vsize: 839764
[startup+400.052 s]
Raw data (loadavg): 1.16 1.05 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 36751 56 0 0 20 0 11 0 484685592 859918336 34323 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34323 13073 16 0 209925 0
vsize: 839764
[startup+410.052 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 37735 56 0 0 23 0 11 0 484685592 859918336 34358 4294967295 134512640 134569956 3221224400 3221214736 1131489375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34358 13073 16 0 209925 0
vsize: 839764
[startup+420.057 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 38717 56 0 0 16 0 11 0 484685592 859918336 34396 4294967295 134512640 134569956 3221224400 3221214632 1131354821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34396 13073 16 0 209925 0
vsize: 839764
[startup+430.069 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 39700 56 0 0 21 0 11 0 484685592 859918336 34441 4294967295 134512640 134569956 3221224400 3221214672 1131541507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34441 13073 16 0 209925 0
vsize: 839764
[startup+440.069 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 40681 57 0 0 22 0 11 0 484685592 859918336 34498 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34498 13073 16 0 209925 0
vsize: 839764
[startup+450.069 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 41663 57 0 0 22 0 11 0 484685592 859918336 34538 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34538 13073 16 0 209925 0
vsize: 839764
[startup+460.07 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 42648 57 0 0 16 0 11 0 484685592 859918336 34592 4294967295 134512640 134569956 3221224400 3221214632 1131356069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34592 13073 16 0 209925 0
vsize: 839764
[startup+470.069 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 43639 57 0 0 18 0 11 0 484685592 859918336 34606 4294967295 134512640 134569956 3221224400 3221214632 1131355313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34606 13073 16 0 209925 0
vsize: 839764
[startup+480.07 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 44629 57 0 0 20 0 11 0 484685592 859918336 34622 4294967295 134512640 134569956 3221224400 3221214736 1131491768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34622 13073 16 0 209925 0
vsize: 839764
[startup+490.071 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 45618 57 0 0 22 0 11 0 484685592 859918336 34642 4294967295 134512640 134569956 3221224400 3221214736 1131493020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34642 13073 16 0 209925 0
vsize: 839764
[startup+500.072 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 46605 57 0 0 17 0 11 0 484685592 859918336 34668 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34668 13073 16 0 209925 0
vsize: 839764
[startup+510.077 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18057 0 1 0 47591 57 0 0 18 0 11 0 484685592 859918336 34702 4294967295 134512640 134569956 3221224400 3221214632 1131355788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34702 13073 16 0 209925 0
vsize: 839764
[startup+520.077 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18058 0 1 0 48573 57 0 0 19 0 11 0 484685592 859918336 34742 4294967295 134512640 134569956 3221224400 3221214632 1131356044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34742 13073 16 0 209925 0
vsize: 839764
[startup+530.078 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18058 0 1 0 49555 57 0 0 20 0 11 0 484685592 859918336 34799 4294967295 134512640 134569956 3221224400 3221214632 1131355304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34799 13073 16 0 209925 0
vsize: 839764
[startup+540.079 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18058 0 1 0 50537 57 0 0 23 0 11 0 484685592 859918336 34844 4294967295 134512640 134569956 3221224400 3221214304 1131348992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209941 34844 13073 16 0 209925 0
vsize: 839764
[startup+550.08 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 51519 57 0 0 21 0 11 0 484685592 859295744 34737 4294967295 134512640 134569956 3221224400 3221214640 1131259435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 34737 13073 16 0 209773 0
vsize: 839156
[startup+560.081 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 52502 57 0 0 25 0 11 0 484685592 859295744 34782 4294967295 134512640 134569956 3221224400 3221214488 1131672848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 34782 13073 16 0 209773 0
vsize: 839156
[startup+570.081 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 53481 57 0 0 23 0 11 0 484685592 859295744 34843 4294967295 134512640 134569956 3221224400 3221214640 1131260013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 34843 13073 16 0 209773 0
vsize: 839156
[startup+580.081 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 54466 57 0 0 18 0 11 0 484685592 859295744 34881 4294967295 134512640 134569956 3221224400 3221214632 1131355526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 34881 13073 16 0 209773 0
vsize: 839156
[startup+590.081 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 55451 58 0 0 23 0 11 0 484685592 859295744 34930 4294967295 134512640 134569956 3221224400 3221214736 1131489530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 34930 13073 16 0 209773 0
vsize: 839156
[startup+600.082 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 56437 58 0 0 17 0 11 0 484685592 859295744 34954 4294967295 134512640 134569956 3221224400 3221214632 1131355007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 34954 13073 16 0 209773 0
vsize: 839156
[startup+610.082 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 57424 58 0 0 18 0 11 0 484685592 859295744 34983 4294967295 134512640 134569956 3221224400 3221214632 1131355596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 34983 13073 16 0 209773 0
vsize: 839156
[startup+620.082 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 58415 58 0 0 20 0 11 0 484685592 859295744 35001 4294967295 134512640 134569956 3221224400 3221214632 1131355048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35001 13073 16 0 209773 0
vsize: 839156
[startup+630.083 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 59406 58 0 0 22 0 11 0 484685592 859295744 35021 4294967295 134512640 134569956 3221224400 3221214632 1131355029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35021 13073 16 0 209773 0
vsize: 839156
[startup+640.083 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 60397 58 0 0 17 0 11 0 484685592 859295744 35032 4294967295 134512640 134569956 3221224400 3221214640 1131259316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35032 13073 16 0 209773 0
vsize: 839156
[startup+650.083 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 61387 58 0 0 18 0 11 0 484685592 859295744 35051 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35051 13073 16 0 209773 0
vsize: 839156
[startup+660.083 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 62377 58 0 0 20 0 11 0 484685592 859295744 35065 4294967295 134512640 134569956 3221224400 3221214736 1131490807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35065 13073 16 0 209773 0
vsize: 839156
[startup+670.085 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 63366 58 0 0 23 0 11 0 484685592 859295744 35094 4294967295 134512640 134569956 3221224400 3221214632 1131356122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35094 13073 16 0 209773 0
vsize: 839156
[startup+680.085 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 64352 58 0 0 17 0 11 0 484685592 859295744 35125 4294967295 134512640 134569956 3221224400 3221214640 1131259316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35125 13073 16 0 209773 0
vsize: 839156
[startup+690.086 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 65339 58 0 0 24 0 11 0 484685592 859295744 35153 4294967295 134512640 134569956 3221224400 3221214632 1131355048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35153 13073 16 0 209773 0
vsize: 839156
[startup+700.087 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 66321 59 0 0 17 0 11 0 484685592 859295744 35189 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35189 13073 16 0 209773 0
vsize: 839156
[startup+710.087 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 67306 59 0 0 18 0 11 0 484685592 859295744 35234 4294967295 134512640 134569956 3221224400 3221214736 1131489121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35234 13073 16 0 209773 0
vsize: 839156
[startup+720.087 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 68295 59 0 0 21 0 11 0 484685592 859295744 35280 4294967295 134512640 134569956 3221224400 3221214112 1076460929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35280 13073 16 0 209773 0
vsize: 839156
[startup+730.088 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 69284 59 0 0 22 0 11 0 484685592 859295744 35305 4294967295 134512640 134569956 3221224400 3221214640 1131259386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35305 13073 16 0 209773 0
vsize: 839156
[startup+740.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 70271 59 0 0 16 0 11 0 484685592 859295744 35349 4294967295 134512640 134569956 3221224400 3221214632 1131355299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35349 13073 16 0 209773 0
vsize: 839156
[startup+750.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 71259 59 0 0 17 0 11 0 484685592 859295744 35385 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35385 13073 16 0 209773 0
vsize: 839156
[startup+760.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 72247 59 0 0 19 0 11 0 484685592 859295744 35430 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35430 13073 16 0 209773 0
vsize: 839156
[startup+770.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 73236 59 0 0 17 0 11 0 484685592 859295744 35477 4294967295 134512640 134569956 3221224400 3221214736 1131489722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35477 13073 16 0 209773 0
vsize: 839156
[startup+780.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 74225 59 0 0 17 0 11 0 484685592 859295744 35510 4294967295 134512640 134569956 3221224400 3221214632 1131355250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35510 13073 16 0 209773 0
vsize: 839156
[startup+790.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 75212 59 0 0 17 0 11 0 484685592 859295744 35568 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35568 13073 16 0 209773 0
vsize: 839156
[startup+800.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 76201 59 0 0 18 0 11 0 484685592 859295744 35593 4294967295 134512640 134569956 3221224400 3221214544 1131539927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35593 13073 16 0 209773 0
vsize: 839156
[startup+810.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 77185 59 0 0 17 0 11 0 484685592 859295744 35618 4294967295 134512640 134569956 3221224400 3221214632 1131354821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35618 13073 16 0 209773 0
vsize: 839156
[startup+820.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 78175 59 0 0 17 0 11 0 484685592 859295744 35640 4294967295 134512640 134569956 3221224400 3221214632 1131354821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35640 13073 16 0 209773 0
vsize: 839156
[startup+830.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 79159 60 0 0 17 0 11 0 484685592 859295744 35667 4294967295 134512640 134569956 3221224400 3221214632 1131355550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35667 13073 16 0 209773 0
vsize: 839156
[startup+840.098 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18059 0 1 0 80149 60 0 0 18 0 11 0 484685592 860127232 35944 4294967295 134512640 134569956 3221224400 3221214600 1131592679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209992 35944 13073 16 0 209976 0
vsize: 839968
[startup+850.098 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 81141 60 0 0 19 0 11 0 484685592 860127232 35968 4294967295 134512640 134569956 3221224400 3221214536 1131347505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 35968 13073 16 0 209976 0
vsize: 839968
[startup+860.099 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 82126 60 0 0 17 0 11 0 484685592 859295744 35788 4294967295 134512640 134569956 3221224400 3221214640 1131259414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35788 13073 16 0 209773 0
vsize: 839156
[startup+870.1 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 83112 60 0 0 17 0 11 0 484685592 859295744 35818 4294967295 134512640 134569956 3221224400 3221214632 1131356102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35818 13073 16 0 209773 0
vsize: 839156
[startup+880.101 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 84101 60 0 0 17 0 11 0 484685592 859295744 35855 4294967295 134512640 134569956 3221224400 3221214640 1131259347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35855 13073 16 0 209773 0
vsize: 839156
[startup+890.1 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 85092 60 0 0 17 0 11 0 484685592 859295744 35865 4294967295 134512640 134569956 3221224400 3221214632 1131355415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35865 13073 16 0 209773 0
vsize: 839156
[startup+900.101 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 86078 60 0 0 17 0 11 0 484685592 859295744 35878 4294967295 134512640 134569956 3221224400 3221214632 1131356069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35878 13073 16 0 209773 0
vsize: 839156
[startup+910.102 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 87061 60 0 0 17 0 11 0 484685592 859295744 35904 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35904 13073 16 0 209773 0
vsize: 839156
[startup+920.103 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 88046 60 0 0 17 0 11 0 484685592 859295744 35945 4294967295 134512640 134569956 3221224400 3221214632 1131355483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35945 13073 16 0 209773 0
vsize: 839156
[startup+930.115 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 89037 60 0 0 17 0 11 0 484685592 859295744 35975 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35975 13073 16 0 209773 0
vsize: 839156
[startup+940.116 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 90027 61 0 0 17 0 11 0 484685592 859295744 35983 4294967295 134512640 134569956 3221224400 3221214632 1131355991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35983 13073 16 0 209773 0
vsize: 839156
[startup+950.117 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 91018 61 0 0 17 0 11 0 484685592 859295744 35996 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 35996 13073 16 0 209773 0
vsize: 839156
[startup+960.118 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 92009 61 0 0 17 0 11 0 484685592 859295744 36035 4294967295 134512640 134569956 3221224400 3221214632 1131355052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 36035 13073 16 0 209773 0
vsize: 839156
[startup+970.118 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 92999 61 0 0 17 0 11 0 484685592 859295744 36040 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 36040 13073 16 0 209773 0
vsize: 839156
[startup+980.119 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 93989 61 0 0 17 0 11 0 484685592 859295744 36046 4294967295 134512640 134569956 3221224400 3221214632 1131355311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 36046 13073 16 0 209773 0
vsize: 839156
[startup+990.119 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 94979 61 0 0 17 0 11 0 484685592 859295744 36069 4294967295 134512640 134569956 3221224400 3221214632 1131355550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209789 36069 13073 16 0 209773 0
vsize: 839156
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 95967 62 0 0 25 0 11 0 484685592 859295744 36094 4294967295 134512640 134569956 3221224400 3221214632 1131356193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36094 13073 16 0 209773 0
vsize: 839156
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 96954 62 0 0 25 0 11 0 484685592 859295744 36129 4294967295 134512640 134569956 3221224400 3221214632 1131355311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36129 13073 16 0 209773 0
vsize: 839156
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 97941 62 0 0 25 0 11 0 484685592 859295744 36140 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36140 13073 16 0 209773 0
vsize: 839156
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 98926 63 0 0 25 0 11 0 484685592 859295744 36169 4294967295 134512640 134569956 3221224400 3221214736 1131491763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36169 13073 16 0 209773 0
vsize: 839156
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 99915 63 0 0 25 0 11 0 484685592 859295744 36203 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36203 13073 16 0 209773 0
vsize: 839156
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 100905 63 0 0 25 0 11 0 484685592 859295744 36235 4294967295 134512640 134569956 3221224400 3221214632 1131355060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36235 13073 16 0 209773 0
vsize: 839156
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 101894 63 0 0 17 0 11 0 484685592 859295744 36256 4294967295 134512640 134569956 3221224400 3221214640 1131259335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36256 13073 16 0 209773 0
vsize: 839156
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 102884 64 0 0 25 0 11 0 484685592 859295744 36278 4294967295 134512640 134569956 3221224400 3221214632 1131355355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36278 13073 16 0 209773 0
vsize: 839156
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 103872 64 0 0 25 0 11 0 484685592 859295744 36305 4294967295 134512640 134569956 3221224400 3221214632 1131355313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36305 13073 16 0 209773 0
vsize: 839156
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 104859 65 0 0 25 0 11 0 484685592 859295744 36351 4294967295 134512640 134569956 3221224400 3221214632 1131354821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36351 13073 16 0 209773 0
vsize: 839156
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 105843 66 0 0 20 0 11 0 484685592 859295744 36394 4294967295 134512640 134569956 3221224400 3221214632 1131354821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36394 13073 16 0 209773 0
vsize: 839156
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 106830 66 0 0 25 0 11 0 484685592 859295744 36462 4294967295 134512640 134569956 3221224400 3221214632 1131354781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36462 13073 16 0 209773 0
vsize: 839156
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 107818 66 0 0 25 0 11 0 484685592 859295744 36506 4294967295 134512640 134569956 3221224400 3221214632 1131355299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36506 13073 16 0 209773 0
vsize: 839156
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 108804 67 0 0 25 0 11 0 484685592 859295744 36561 4294967295 134512640 134569956 3221224400 3221214736 1131491768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36561 13073 16 0 209773 0
vsize: 839156
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 109788 67 0 0 21 0 11 0 484685592 859295744 36582 4294967295 134512640 134569956 3221224400 3221214632 1131354814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36582 13073 16 0 209773 0
vsize: 839156
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 110769 67 0 0 24 0 11 0 484685592 859295744 36629 4294967295 134512640 134569956 3221224400 3221214632 1131355800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36629 13073 16 0 209773 0
vsize: 839156
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 111751 68 0 0 20 0 11 0 484685592 859295744 36708 4294967295 134512640 134569956 3221224400 3221214736 1131489225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36708 13073 16 0 209773 0
vsize: 839156
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 112738 68 0 0 16 0 11 0 484685592 859295744 36733 4294967295 134512640 134569956 3221224400 3221214736 1131489498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36733 13073 16 0 209773 0
vsize: 839156
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 113722 69 0 0 25 0 11 0 484685592 859295744 36768 4294967295 134512640 134569956 3221224400 3221214632 1131355040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36768 13073 16 0 209773 0
vsize: 839156
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 114705 69 0 0 25 0 11 0 484685592 859295744 36795 4294967295 134512640 134569956 3221224400 3221214632 1131355378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36795 13073 16 0 209773 0
vsize: 839156
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 115690 70 0 0 25 0 11 0 484685592 859295744 36872 4294967295 134512640 134569956 3221224400 3221214736 1131491763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36872 13073 16 0 209773 0
vsize: 839156
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 116678 70 0 0 19 0 11 0 484685592 859295744 36921 4294967295 134512640 134569956 3221224400 3221214640 1131259313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36921 13073 16 0 209773 0
vsize: 839156
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 117667 71 0 0 25 0 11 0 484685592 859295744 36957 4294967295 134512640 134569956 3221224400 3221214736 1131489368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 36957 13073 16 0 209773 0
vsize: 839156
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 118654 71 0 0 20 0 11 0 484685592 859295744 37010 4294967295 134512640 134569956 3221224400 3221214600 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 37010 13073 16 0 209773 0
vsize: 839156
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 119644 72 0 0 25 0 11 0 484685592 859295744 37043 4294967295 134512640 134569956 3221224400 3221214632 1131355313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 37043 13073 16 0 209773 0
vsize: 839156
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 8938
Raw data (stat): 8928 (java) R 8927 29653 29652 0 -1 0 18060 0 1 0 120633 72 0 0 25 0 11 0 484685592 859295744 37072 4294967295 134512640 134569956 3221224400 3221214736 1131489213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209789 37072 13073 16 0 209773 0
vsize: 839156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.27 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 8940
Raw data (stat): 8928 (java) Z 8927 29653 29652 0 -1 1036 18060 23581 1 0 120638 79 5477 68 25 0 1 0 484685592 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): 1250.27
CPU time (s): 1262.65
CPU user time (s): 1261.17
CPU system time (s): 1.47878
CPU usage (%): 100.99
Max. virtual memory (Kb): 840436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####