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-boeing2.opb
MD5SUM	9d4981de84e8fd488c4493c292301fa3
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	3114
Biggest coefficient in the objective function	40265318400000
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	2533036563346675
Number of bits of the sum of numbers in the objective function	52
Biggest number in a constraint	431563682611200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	17042207919312540
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.033994
Number of variables	3371
Total number of constraints	213
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	213
Minimum length of a constraint	12
Maximum length of a constraint	2370
Trace number 23132

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-22 04:24:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10591 boxname=wulflinc2 idbench=815 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9d4981de84e8fd488c4493c292301fa3  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-boeing2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-boeing2.opb
IDLAUNCH: 10591
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        785652 kB
Buffers:         12276 kB
Cached:         216384 kB
SwapCached:        840 kB
Active:          56660 kB
Inactive:       174012 kB
HighTotal:      131008 kB
HighFree:        15428 kB
LowTotal:       903652 kB
LowFree:        770224 kB
SwapTotal:     2097136 kB
SwapFree:      2095356 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           4944 kB
Slab:            12724 kB
Committed_AS:    71816 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:45:11 (client local time) WITH STATUS 143 IN 1280.9 SECONDS
stats: 10591 7 1280.9 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-boeing2.opb
c reading problem 
c [nbvar=3371]
c [nbconstr=213]
c time 8.669
c #vars     3371
c #clauses  208
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.86 0.97 0.98 2/54 20708
Raw data (stat): 20708 (runsolver) R 20707 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492597709 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.0006 s]
Raw data (loadavg): 1.11 1.02 1.00 4/63 20717
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18052 0 1 0 809 40 0 0 25 0 10 0 492597709 876482560 23818 4294967295 134512640 134569956 3221224400 3221214932 1130910667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213985 23819 13073 16 0 213969 0
vsize: 855940
[startup+20.0013 s]
Raw data (loadavg): 1.40 1.08 1.02 4/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18099 0 1 0 1370 41 0 0 25 0 11 0 492597709 876457984 25249 4294967295 134512640 134569956 3221224400 3221214608 1130896321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213979 25249 13073 16 0 213963 0
vsize: 855916
[startup+30.0015 s]
Raw data (loadavg): 1.34 1.08 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18111 0 1 0 2121 41 0 0 25 0 11 0 492597709 880586752 26720 4294967295 134512640 134569956 3221224400 3221214776 1131461919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214987 26720 13073 16 0 214971 0
vsize: 859948
[startup+40.002 s]
Raw data (loadavg): 1.36 1.09 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18112 0 1 0 3014 41 0 0 25 0 11 0 492597709 878153728 26370 4294967295 134512640 134569956 3221224400 3221214348 1130917148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214393 26370 13073 16 0 214377 0
vsize: 857572
[startup+50.0022 s]
Raw data (loadavg): 1.31 1.09 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18112 0 1 0 3934 41 0 0 25 0 11 0 492597709 878153728 26665 4294967295 134512640 134569956 3221224400 3221214688 1131849434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 26665 13073 16 0 214377 0
vsize: 857572
[startup+60.0035 s]
Raw data (loadavg): 1.26 1.09 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 4887 41 0 0 24 0 11 0 492597709 878153728 27089 4294967295 134512640 134569956 3221224400 3221214728 1131433791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 27089 13073 16 0 214377 0
vsize: 857572
[startup+70.0037 s]
Raw data (loadavg): 1.22 1.08 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 5847 41 0 0 25 0 11 0 492597709 878153728 27090 4294967295 134512640 134569956 3221224400 3221214680 1131315548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 27090 13073 16 0 214377 0
vsize: 857572
[startup+80.0034 s]
Raw data (loadavg): 1.26 1.10 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 6792 41 0 0 25 0 11 0 492597709 878153728 27169 4294967295 134512640 134569956 3221224400 3221214688 1131849420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 27169 13073 16 0 214377 0
vsize: 857572
[startup+90.0046 s]
Raw data (loadavg): 1.22 1.09 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 7737 41 0 0 25 0 11 0 492597709 878153728 27294 4294967295 134512640 134569956 3221224400 3221214680 1131315719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214393 27294 13073 16 0 214377 0
vsize: 857572
[startup+100.005 s]
Raw data (loadavg): 1.18 1.09 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 8692 41 0 0 25 0 11 0 492597709 878153728 27447 4294967295 134512640 134569956 3221224400 3221214576 1131366031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 27447 13073 16 0 214377 0
vsize: 857572
[startup+110.006 s]
Raw data (loadavg): 1.16 1.08 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 9647 42 0 0 25 0 11 0 492597709 878153728 27621 4294967295 134512640 134569956 3221224400 3221214584 1131983396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 27621 13073 16 0 214377 0
vsize: 857572
[startup+120.007 s]
Raw data (loadavg): 1.13 1.08 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 10604 42 0 0 25 0 11 0 492597709 878153728 27768 4294967295 134512640 134569956 3221224400 3221214308 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 27768 13073 16 0 214377 0
vsize: 857572
[startup+130.006 s]
Raw data (loadavg): 1.11 1.08 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 11560 42 0 0 25 0 11 0 492597709 878153728 27894 4294967295 134512640 134569956 3221224400 3221214352 1131868604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 27894 13073 16 0 214377 0
vsize: 857572
[startup+140.01 s]
Raw data (loadavg): 1.09 1.08 1.02 2/64 20718
Raw data (stat): 20708 (java) S 20707 20937 20936 0 -1 0 18113 0 1 0 12525 42 0 0 25 0 11 0 492597709 878153728 28026 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28026 13073 16 0 214377 0
vsize: 857572
[startup+150.011 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 13481 42 0 0 25 0 11 0 492597709 878153728 28153 4294967295 134512640 134569956 3221224400 3221214720 1131434796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28153 13073 16 0 214377 0
vsize: 857572
[startup+160.01 s]
Raw data (loadavg): 1.07 1.07 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 14446 42 0 0 25 0 11 0 492597709 878153728 28272 4294967295 134512640 134569956 3221224400 3221214680 1131849565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28272 13073 16 0 214377 0
vsize: 857572
[startup+170.011 s]
Raw data (loadavg): 1.06 1.07 1.02 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 15403 42 0 0 25 0 11 0 492597709 878153728 28425 4294967295 134512640 134569956 3221224400 3221214680 1131849424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28425 13073 16 0 214377 0
vsize: 857572
[startup+180.02 s]
Raw data (loadavg): 1.05 1.06 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 16368 42 0 0 25 0 11 0 492597709 878153728 28501 4294967295 134512640 134569956 3221224400 3221214648 1131306993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28501 13073 16 0 214377 0
vsize: 857572
[startup+190.025 s]
Raw data (loadavg): 1.04 1.06 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 17324 42 0 0 25 0 11 0 492597709 878153728 28638 4294967295 134512640 134569956 3221224400 3221214720 1131433813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28638 13073 16 0 214377 0
vsize: 857572
[startup+200.025 s]
Raw data (loadavg): 1.03 1.06 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 18290 42 0 0 25 0 11 0 492597709 878153728 28806 4294967295 134512640 134569956 3221224400 3221214680 1131849577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28806 13073 16 0 214377 0
vsize: 857572
[startup+210.025 s]
Raw data (loadavg): 1.03 1.06 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 19256 42 0 0 25 0 11 0 492597709 878153728 28933 4294967295 134512640 134569956 3221224400 3221214752 1131461804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 28933 13073 16 0 214377 0
vsize: 857572
[startup+220.026 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 20223 42 0 0 25 0 11 0 492597709 878153728 29028 4294967295 134512640 134569956 3221224400 3221214680 1131849424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29028 13073 16 0 214377 0
vsize: 857572
[startup+230.025 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 21198 42 0 0 25 0 11 0 492597709 878153728 29112 4294967295 134512640 134569956 3221224400 3221214680 1131849424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29112 13073 16 0 214377 0
vsize: 857572
[startup+240.026 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 22165 42 0 0 25 0 11 0 492597709 878153728 29202 4294967295 134512640 134569956 3221224400 3221214024 1085632284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29202 13073 16 0 214377 0
vsize: 857572
[startup+250.025 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 23130 42 0 0 25 0 11 0 492597709 878153728 29288 4294967295 134512640 134569956 3221224400 3221214448 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29288 13073 16 0 214377 0
vsize: 857572
[startup+260.029 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 20718
Raw data (stat): 20708 (java) S 20707 20937 20936 0 -1 0 18113 0 1 0 24097 42 0 0 25 0 11 0 492597709 878153728 29377 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29377 13073 16 0 214377 0
vsize: 857572
[startup+270.029 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 25070 42 0 0 25 0 11 0 492597709 878153728 29473 4294967295 134512640 134569956 3221224400 3221214752 1131461907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29473 13073 16 0 214377 0
vsize: 857572
[startup+280.029 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 26043 42 0 0 25 0 11 0 492597709 878153728 29567 4294967295 134512640 134569956 3221224400 3221214576 1131646564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29567 13073 16 0 214377 0
vsize: 857572
[startup+290.03 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 27007 42 0 0 25 0 11 0 492597709 878153728 29671 4294967295 134512640 134569956 3221224400 3221214680 1131849569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29671 13073 16 0 214377 0
vsize: 857572
[startup+300.03 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 27979 42 0 0 25 0 11 0 492597709 878153728 29745 4294967295 134512640 134569956 3221224400 3221214680 1131849434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29745 13073 16 0 214377 0
vsize: 857572
[startup+310.03 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 28943 42 0 0 24 0 11 0 492597709 878153728 29845 4294967295 134512640 134569956 3221224400 3221214752 1131462137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29845 13073 16 0 214377 0
vsize: 857572
[startup+320.029 s]
Raw data (loadavg): 1.00 1.04 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 29915 42 0 0 25 0 11 0 492597709 878153728 29920 4294967295 134512640 134569956 3221224400 3221214656 1131315710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29920 13073 16 0 214377 0
vsize: 857572
[startup+330.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 30888 42 0 0 25 0 11 0 492597709 878153728 29996 4294967295 134512640 134569956 3221224400 3221214696 1132016556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 29996 13073 16 0 214377 0
vsize: 857572
[startup+340.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 31853 42 0 0 25 0 11 0 492597709 878153728 30107 4294967295 134512640 134569956 3221224400 3221214536 1131867917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30107 13073 16 0 214377 0
vsize: 857572
[startup+350.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 32817 42 0 0 25 0 11 0 492597709 878153728 30237 4294967295 134512640 134569956 3221224400 3221214060 1131867680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30237 13073 16 0 214377 0
vsize: 857572
[startup+360.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 33784 42 0 0 25 0 11 0 492597709 878153728 30342 4294967295 134512640 134569956 3221224400 3221214680 1131849569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30342 13073 16 0 214377 0
vsize: 857572
[startup+370.031 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 34751 42 0 0 25 0 11 0 492597709 878153728 30459 4294967295 134512640 134569956 3221224400 3221214576 1131366071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30459 13073 16 0 214377 0
vsize: 857572
[startup+380.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 35720 42 0 0 25 0 11 0 492597709 878153728 30555 4294967295 134512640 134569956 3221224400 3221214680 1131849424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30555 13073 16 0 214377 0
vsize: 857572
[startup+390.031 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 36683 42 0 0 25 0 11 0 492597709 878153728 30704 4294967295 134512640 134569956 3221224400 3221214248 1131867719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30704 13073 16 0 214377 0
vsize: 857572
[startup+400.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 37661 42 0 0 25 0 11 0 492597709 878153728 30786 4294967295 134512640 134569956 3221224400 3221214064 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30786 13073 16 0 214377 0
vsize: 857572
[startup+410.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 38634 42 0 0 25 0 11 0 492597709 878153728 30896 4294967295 134512640 134569956 3221224400 3221214656 1131315761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 30896 13073 16 0 214377 0
vsize: 857572
[startup+420.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 39602 43 0 0 25 0 11 0 492597709 878153728 31009 4294967295 134512640 134569956 3221224400 3221214680 1131849408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31009 13073 16 0 214377 0
vsize: 857572
[startup+430.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 40577 43 0 0 25 0 11 0 492597709 878153728 31084 4294967295 134512640 134569956 3221224400 3221214680 1131849427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31084 13073 16 0 214377 0
vsize: 857572
[startup+440.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 41547 43 0 0 25 0 11 0 492597709 878153728 31177 4294967295 134512640 134569956 3221224400 3221214288 1131983908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31177 13073 16 0 214377 0
vsize: 857572
[startup+450.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 42523 43 0 0 25 0 11 0 492597709 878153728 31258 4294967295 134512640 134569956 3221224400 3221214680 1131849408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31258 13073 16 0 214377 0
vsize: 857572
[startup+460.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 43492 43 0 0 25 0 11 0 492597709 878153728 31350 4294967295 134512640 134569956 3221224400 3221214576 1131647876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31350 13073 16 0 214377 0
vsize: 857572
[startup+470.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 44463 43 0 0 25 0 11 0 492597709 878153728 31426 4294967295 134512640 134569956 3221224400 3221214656 1131315878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31426 13073 16 0 214377 0
vsize: 857572
[startup+480.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 45435 43 0 0 24 0 11 0 492597709 878153728 31519 4294967295 134512640 134569956 3221224400 3221214848 1131878867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31519 13073 16 0 214377 0
vsize: 857572
[startup+490.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 46414 43 0 0 25 0 11 0 492597709 878153728 31583 4294967295 134512640 134569956 3221224400 3221214656 1131315761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31583 13073 16 0 214377 0
vsize: 857572
[startup+500.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 47391 43 0 0 25 0 11 0 492597709 878153728 31669 4294967295 134512640 134569956 3221224400 3221214656 1131315445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31669 13073 16 0 214377 0
vsize: 857572
[startup+510.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) S 20707 20937 20936 0 -1 0 18113 0 1 0 48368 43 0 0 25 0 11 0 492597709 878153728 31737 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31737 13073 16 0 214377 0
vsize: 857572
[startup+520.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 49339 43 0 0 25 0 11 0 492597709 878153728 31818 4294967295 134512640 134569956 3221224400 3221214656 1131315849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31818 13073 16 0 214377 0
vsize: 857572
[startup+530.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 50310 43 0 0 25 0 11 0 492597709 878153728 31906 4294967295 134512640 134569956 3221224400 3221214576 1131366071 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31906 13073 16 0 214377 0
vsize: 857572
[startup+540.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 51281 43 0 0 25 0 11 0 492597709 878153728 31969 4294967295 134512640 134569956 3221224400 3221214744 1131574794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 31969 13073 16 0 214377 0
vsize: 857572
[startup+550.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 52258 43 0 0 25 0 11 0 492597709 878153728 32017 4294967295 134512640 134569956 3221224400 3221214628 1131867856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32017 13073 16 0 214377 0
vsize: 857572
[startup+560.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 53234 43 0 0 25 0 11 0 492597709 878153728 32091 4294967295 134512640 134569956 3221224400 3221214656 1131315702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32091 13073 16 0 214377 0
vsize: 857572
[startup+570.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 54211 43 0 0 25 0 11 0 492597709 878153728 32170 4294967295 134512640 134569956 3221224400 3221214680 1131849424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32170 13073 16 0 214377 0
vsize: 857572
[startup+580.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 55188 43 0 0 25 0 11 0 492597709 878153728 32252 4294967295 134512640 134569956 3221224400 3221214656 1131317021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32252 13073 16 0 214377 0
vsize: 857572
[startup+590.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 56166 43 0 0 25 0 11 0 492597709 878153728 32337 4294967295 134512640 134569956 3221224400 3221214640 1131845621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32337 13073 16 0 214377 0
vsize: 857572
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 57138 43 0 0 25 0 11 0 492597709 878153728 32406 4294967295 134512640 134569956 3221224400 3221214656 1131315611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32406 13073 16 0 214377 0
vsize: 857572
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 58110 43 0 0 25 0 11 0 492597709 878153728 32470 4294967295 134512640 134569956 3221224400 3221214696 1131864532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32470 13073 16 0 214377 0
vsize: 857572
[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 59088 43 0 0 25 0 11 0 492597709 878153728 32529 4294967295 134512640 134569956 3221224400 3221214744 1131575459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32529 13073 16 0 214377 0
vsize: 857572
[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 60070 43 0 0 25 0 11 0 492597709 878153728 32573 4294967295 134512640 134569956 3221224400 3221214256 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32573 13073 16 0 214377 0
vsize: 857572
[startup+640.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 61052 43 0 0 25 0 11 0 492597709 878153728 32615 4294967295 134512640 134569956 3221224400 3221214496 1131756709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32615 13073 16 0 214377 0
vsize: 857572
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 62033 43 0 0 25 0 11 0 492597709 878153728 32657 4294967295 134512640 134569956 3221224400 3221213736 1085679438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32657 13073 16 0 214377 0
vsize: 857572
[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 63012 43 0 0 25 0 11 0 492597709 878153728 32698 4294967295 134512640 134569956 3221224400 3221214672 1131985544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32698 13073 16 0 214377 0
vsize: 857572
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 63998 43 0 0 25 0 11 0 492597709 878153728 32726 4294967295 134512640 134569956 3221224400 3221214752 1131463245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32726 13073 16 0 214377 0
vsize: 857572
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 64976 43 0 0 25 0 11 0 492597709 878153728 32764 4294967295 134512640 134569956 3221224400 3221214680 1131849416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32764 13073 16 0 214377 0
vsize: 857572
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 65953 43 0 0 25 0 11 0 492597709 878153728 32819 4294967295 134512640 134569956 3221224400 3221214680 1131982791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32819 13073 16 0 214377 0
vsize: 857572
[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) S 20707 20937 20936 0 -1 0 18113 0 1 0 66936 43 0 0 25 0 11 0 492597709 878153728 32847 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32847 13073 16 0 214377 0
vsize: 857572
[startup+710.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 67914 43 0 0 25 0 11 0 492597709 878153728 32889 4294967295 134512640 134569956 3221224400 3221214752 1131463302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32889 13073 16 0 214377 0
vsize: 857572
[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 68888 43 0 0 25 0 11 0 492597709 878153728 32935 4294967295 134512640 134569956 3221224400 3221214752 1131461919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32935 13073 16 0 214377 0
vsize: 857572
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 69861 43 0 0 25 0 11 0 492597709 878153728 32976 4294967295 134512640 134569956 3221224400 3221214576 1131366842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 32976 13073 16 0 214377 0
vsize: 857572
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 70843 43 0 0 25 0 11 0 492597709 878153728 33012 4294967295 134512640 134569956 3221224400 3221214576 1131365816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33012 13073 16 0 214377 0
vsize: 857572
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 71814 43 0 0 25 0 11 0 492597709 878153728 33093 4294967295 134512640 134569956 3221224400 3221214680 1131849427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33093 13073 16 0 214377 0
vsize: 857572
[startup+760.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 72786 43 0 0 25 0 11 0 492597709 878153728 33171 4294967295 134512640 134569956 3221224400 3221214680 1131849424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33171 13073 16 0 214377 0
vsize: 857572
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 73759 43 0 0 25 0 11 0 492597709 878153728 33259 4294967295 134512640 134569956 3221224400 3221213720 1131868610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33259 13073 16 0 214377 0
vsize: 857572
[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 74741 43 0 0 25 0 11 0 492597709 878153728 33304 4294967295 134512640 134569956 3221224400 3221214752 1131462252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33304 13073 16 0 214377 0
vsize: 857572
[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 75715 43 0 0 25 0 11 0 492597709 878153728 33391 4294967295 134512640 134569956 3221224400 3221214148 1131867856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33391 13073 16 0 214377 0
vsize: 857572
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 76689 43 0 0 25 0 11 0 492597709 878153728 33469 4294967295 134512640 134569956 3221224400 3221214580 1131867337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33469 13073 16 0 214377 0
vsize: 857572
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 77663 43 0 0 25 0 11 0 492597709 878153728 33539 4294967295 134512640 134569956 3221224400 3221214656 1131535869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33539 13073 16 0 214377 0
vsize: 857572
[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 78638 44 0 0 25 0 11 0 492597709 878153728 33635 4294967295 134512640 134569956 3221224400 3221214488 1131988264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33635 13073 16 0 214377 0
vsize: 857572
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 79613 44 0 0 25 0 11 0 492597709 878153728 33704 4294967295 134512640 134569956 3221224400 3221213680 1131867857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33704 13073 16 0 214377 0
vsize: 857572
[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 80597 44 0 0 25 0 11 0 492597709 878153728 33766 4294967295 134512640 134569956 3221224400 3221213980 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33766 13073 16 0 214377 0
vsize: 857572
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 81572 44 0 0 25 0 11 0 492597709 878153728 33856 4294967295 134512640 134569956 3221224400 3221214680 1131982996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33856 13073 16 0 214377 0
vsize: 857572
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 82556 44 0 0 25 0 11 0 492597709 878153728 33910 4294967295 134512640 134569956 3221224400 3221214116 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214393 33910 13073 16 0 214377 0
vsize: 857572
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 83532 44 0 0 25 0 11 0 492597709 878153728 33975 4294967295 134512640 134569956 3221224400 3221214104 1131983297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 33975 13073 16 0 214377 0
vsize: 857572
[startup+880.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 84507 44 0 0 25 0 11 0 492597709 878153728 34037 4294967295 134512640 134569956 3221224400 3221213816 1131985327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34037 13073 16 0 214377 0
vsize: 857572
[startup+890.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 85491 44 0 0 25 0 11 0 492597709 878153728 34083 4294967295 134512640 134569956 3221224400 3221214576 1131366031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34083 13073 16 0 214377 0
vsize: 857572
[startup+900.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 86466 44 0 0 25 0 11 0 492597709 878153728 34137 4294967295 134512640 134569956 3221224400 3221214680 1131849424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34137 13073 16 0 214377 0
vsize: 857572
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 87441 44 0 0 25 0 11 0 492597709 878153728 34209 4294967295 134512640 134569956 3221224400 3221214632 1131867857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34209 13073 16 0 214377 0
vsize: 857572
[startup+920.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 88416 44 0 0 25 0 11 0 492597709 878153728 34293 4294967295 134512640 134569956 3221224400 3221214584 1131982976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34293 13073 16 0 214377 0
vsize: 857572
[startup+930.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 89392 44 0 0 25 0 11 0 492597709 878153728 34365 4294967295 134512640 134569956 3221224400 3221214480 1131867351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34365 13073 16 0 214377 0
vsize: 857572
[startup+940.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 90376 44 0 0 25 0 11 0 492597709 878153728 34425 4294967295 134512640 134569956 3221224400 3221214256 1085679446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34425 13073 16 0 214377 0
vsize: 857572
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 91351 44 0 0 25 0 11 0 492597709 878153728 34498 4294967295 134512640 134569956 3221224400 3221214752 1131463285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34498 13073 16 0 214377 0
vsize: 857572
[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 92327 44 0 0 25 0 11 0 492597709 878153728 34580 4294967295 134512640 134569956 3221224400 3221214056 1131867808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34580 13073 16 0 214377 0
vsize: 857572
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 93311 44 0 0 25 0 11 0 492597709 878153728 34652 4294967295 134512640 134569956 3221224400 3221214680 1131849559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34652 13073 16 0 214377 0
vsize: 857572
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 94286 44 0 0 25 0 11 0 492597709 878153728 34745 4294967295 134512640 134569956 3221224400 3221214632 1131867796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34745 13073 16 0 214377 0
vsize: 857572
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 95263 44 0 0 25 0 11 0 492597709 878153728 34841 4294967295 134512640 134569956 3221224400 3221214296 1131985776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34841 13073 16 0 214377 0
vsize: 857572
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 96240 44 0 0 25 0 11 0 492597709 878153728 34931 4294967295 134512640 134569956 3221224400 3221214248 1131867857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 34931 13073 16 0 214377 0
vsize: 857572
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 97217 44 0 0 25 0 11 0 492597709 878153728 35029 4294967295 134512640 134569956 3221224400 3221214488 1131988170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35029 13073 16 0 214377 0
vsize: 857572
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) S 20707 20937 20936 0 -1 0 18113 0 1 0 98195 44 0 0 25 0 11 0 492597709 878153728 35092 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35092 13073 16 0 214377 0
vsize: 857572
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 99179 44 0 0 25 0 11 0 492597709 878153728 35159 4294967295 134512640 134569956 3221224400 3221214656 1131316223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35159 13073 16 0 214377 0
vsize: 857572
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 100156 44 0 0 25 0 11 0 492597709 878153728 35224 4294967295 134512640 134569956 3221224400 3221214752 1131462201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35224 13073 16 0 214377 0
vsize: 857572
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 101133 44 0 0 25 0 11 0 492597709 878153728 35301 4294967295 134512640 134569956 3221224400 3221214536 1131867784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35301 13073 16 0 214377 0
vsize: 857572
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 102118 44 0 0 25 0 11 0 492597709 878153728 35341 4294967295 134512640 134569956 3221224400 3221213960 1131867832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35341 13073 16 0 214377 0
vsize: 857572
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 103094 44 0 0 25 0 11 0 492597709 878153728 35399 4294967295 134512640 134569956 3221224400 3221214292 1131867328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35399 13073 16 0 214377 0
vsize: 857572
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 104086 44 0 0 25 0 11 0 492597709 878153728 35419 4294967295 134512640 134569956 3221224400 3221214168 1085679321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35419 13073 16 0 214377 0
vsize: 857572
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 105060 44 0 0 24 0 11 0 492597709 878153728 35486 4294967295 134512640 134569956 3221224400 3221214656 1131315975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35486 13073 16 0 214377 0
vsize: 857572
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 106043 44 0 0 25 0 11 0 492597709 878153728 35523 4294967295 134512640 134569956 3221224400 3221214716 1131541831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35523 13073 16 0 214377 0
vsize: 857572
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 107017 44 0 0 25 0 11 0 492597709 878153728 35580 4294967295 134512640 134569956 3221224400 3221214752 1131462214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35580 13073 16 0 214377 0
vsize: 857572
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 107991 44 0 0 25 0 11 0 492597709 878153728 35632 4294967295 134512640 134569956 3221224400 3221214208 1131867857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35632 13073 16 0 214377 0
vsize: 857572
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 108973 44 0 0 25 0 11 0 492597709 878153728 35671 4294967295 134512640 134569956 3221224400 3221214680 1131849577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35671 13073 16 0 214377 0
vsize: 857572
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 109947 44 0 0 25 0 11 0 492597709 878153728 35731 4294967295 134512640 134569956 3221224400 3221214192 1131984251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35731 13073 16 0 214377 0
vsize: 857572
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 110930 44 0 0 25 0 11 0 492597709 878153728 35782 4294967295 134512640 134569956 3221224400 3221214392 1131986708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35782 13073 16 0 214377 0
vsize: 857572
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 111903 44 0 0 25 0 11 0 492597709 878153728 35852 4294967295 134512640 134569956 3221224400 3221214480 1131867349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35852 13073 16 0 214377 0
vsize: 857572
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 112886 44 0 0 25 0 11 0 492597709 878153728 35886 4294967295 134512640 134569956 3221224400 3221214484 1131867328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35886 13073 16 0 214377 0
vsize: 857572
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 113859 44 0 0 25 0 11 0 492597709 878153728 35970 4294967295 134512640 134569956 3221224400 3221214656 1131315473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 35970 13073 16 0 214377 0
vsize: 857572
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 114842 44 0 0 25 0 11 0 492597709 878153728 36017 4294967295 134512640 134569956 3221224400 3221213976 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 36017 13073 16 0 214377 0
vsize: 857572
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 115816 44 0 0 25 0 11 0 492597709 878153728 36097 4294967295 134512640 134569956 3221224400 3221214248 1131867914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 36097 13073 16 0 214377 0
vsize: 857572
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 116799 44 0 0 25 0 11 0 492597709 878153728 36178 4294967295 134512640 134569956 3221224400 3221214672 1131867349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 36178 13073 16 0 214377 0
vsize: 857572
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 117776 44 0 0 25 0 11 0 492597709 878153728 36248 4294967295 134512640 134569956 3221224400 3221213832 1085679502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 36248 13073 16 0 214377 0
vsize: 857572
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 118760 44 0 0 25 0 11 0 492597709 878153728 36290 4294967295 134512640 134569956 3221224400 3221214676 1131867328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 36290 13073 16 0 214377 0
vsize: 857572
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 119737 44 0 0 25 0 11 0 492597709 878153728 36349 4294967295 134512640 134569956 3221224400 3221214716 1131849331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 36349 13073 16 0 214377 0
vsize: 857572
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20718
Raw data (stat): 20708 (java) R 20707 20937 20936 0 -1 0 18113 0 1 0 120722 44 0 0 25 0 11 0 492597709 878153728 36393 4294967295 134512640 134569956 3221224400 3221214064 1085679337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214393 36393 13073 16 0 214377 0
vsize: 857572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20720
Raw data (stat): 20708 (java) Z 20707 20937 20936 0 -1 1036 18113 36502 1 0 120727 51 7219 91 25 0 1 0 492597709 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.19
CPU time (s): 1280.9
CPU user time (s): 1279.47
CPU system time (s): 1.43178
CPU usage (%): 102.456
Max. virtual memory (Kb): 859948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####