PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb
MD5SUM	44022c506f5e075b1877fcb50aa96dbc
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	13134
Biggest coefficient in the objective function	3456331981783040
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	2106245048465744992
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	3456331981783040
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	2106245048465744992
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.169973
Number of variables	19038
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	264
Trace number 21378

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 23:31:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13386 boxname=wulflinc2 idbench=1030 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  44022c506f5e075b1877fcb50aa96dbc  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gen.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gen.opb
IDLAUNCH: 13386
/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:        485784 kB
Buffers:         31908 kB
Cached:         493196 kB
SwapCached:       3324 kB
Active:         242648 kB
Inactive:       287184 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        485532 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13300 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 23:52:35 (client local time) WITH STATUS 143 IN 1237.91 SECONDS
stats: 13386 7 1237.91 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gen.opb
c reading problem 
c [nbvar=19038]
c [nbconstr=1074]
c time 108.006
c #vars     19038
c #clauses  1081
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.72 0.89 0.89 2/54 16532
Raw data (stat): 16532 (runsolver) R 16531 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490842895 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.76 0.89 0.89 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17972 0 1 0 880 42 0 0 24 0 10 0 490842895 853565440 19221 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 19221 13073 16 0 208374 0
vsize: 833560
[startup+20.0009 s]
Raw data (loadavg): 0.80 0.89 0.89 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17972 0 1 0 1769 43 0 0 25 0 10 0 490842895 853565440 19742 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 19742 13073 16 0 208374 0
vsize: 833560
[startup+30.0017 s]
Raw data (loadavg): 0.83 0.89 0.89 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17972 0 1 0 2664 43 0 0 24 0 10 0 490842895 853565440 20213 4294967295 134512640 134569956 3221224400 3221214824 1131214860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 20213 13073 16 0 208374 0
vsize: 833560
[startup+40.0014 s]
Raw data (loadavg): 0.85 0.90 0.89 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17972 0 1 0 3592 43 0 0 24 0 10 0 490842895 853565440 20459 4294967295 134512640 134569956 3221224400 3221214824 1131215310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208390 20459 13073 16 0 208374 0
vsize: 833560
[startup+50.0032 s]
Raw data (loadavg): 1.04 0.93 0.90 4/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17978 0 1 0 4508 43 0 0 25 0 10 0 490842895 858857472 21795 4294967295 134512640 134569956 3221224400 3221213964 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209682 21795 13073 16 0 209666 0
vsize: 838728
[startup+60.0039 s]
Raw data (loadavg): 1.03 0.94 0.91 2/63 16541
Raw data (stat): 16532 (java) S 16531 20937 20936 0 -1 0 17998 0 1 0 5372 44 0 0 25 0 10 0 490842895 860303360 22414 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 22414 13073 16 0 210019 0
vsize: 840140
[startup+70.0049 s]
Raw data (loadavg): 1.03 0.94 0.91 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17998 0 1 0 6252 44 0 0 24 0 10 0 490842895 860303360 22681 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 22681 13073 16 0 210019 0
vsize: 840140
[startup+80.0063 s]
Raw data (loadavg): 1.02 0.94 0.91 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17998 0 1 0 7170 44 0 0 24 0 10 0 490842895 860303360 23066 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 23066 13073 16 0 210019 0
vsize: 840140
[startup+90.007 s]
Raw data (loadavg): 1.02 0.94 0.91 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17998 0 1 0 8107 45 0 0 25 0 10 0 490842895 860303360 23168 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 23168 13073 16 0 210019 0
vsize: 840140
[startup+100.008 s]
Raw data (loadavg): 1.01 0.94 0.91 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 17998 0 1 0 9045 45 0 0 25 0 10 0 490842895 860303360 23253 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210035 23253 13073 16 0 210019 0
vsize: 840140
[startup+110.008 s]
Raw data (loadavg): 1.01 0.94 0.91 2/63 16541
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18020 0 1 0 9956 47 0 0 25 0 10 0 490842895 858984448 24563 4294967295 134512640 134569956 3221224400 3221214904 1131247168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 24563 13073 16 0 209697 0
vsize: 838852
[startup+120.009 s]
Raw data (loadavg): 1.01 0.94 0.91 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18026 0 1 0 10929 47 0 0 25 0 11 0 490842895 859512832 24578 4294967295 134512640 134569956 3221224400 3221214856 1131247231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 24578 13073 16 0 209826 0
vsize: 839368
[startup+130.01 s]
Raw data (loadavg): 1.01 0.95 0.91 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18027 0 1 0 11902 47 0 0 25 0 11 0 490842895 859512832 24579 4294967295 134512640 134569956 3221224400 3221214808 1131317358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 24579 13073 16 0 209826 0
vsize: 839368
[startup+140.01 s]
Raw data (loadavg): 1.09 0.96 0.91 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18067 0 1 0 12795 48 0 0 25 0 11 0 490842895 862658560 25301 4294967295 134512640 134569956 3221224400 3221214744 1131503665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 25301 13073 16 0 210594 0
vsize: 842440
[startup+150.012 s]
Raw data (loadavg): 1.15 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 13766 48 0 0 24 0 11 0 490842895 862658560 25646 4294967295 134512640 134569956 3221224400 3221214592 1131549502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25646 13073 16 0 210594 0
vsize: 842440
[startup+160.013 s]
Raw data (loadavg): 1.12 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 14759 48 0 0 25 0 11 0 490842895 862658560 25600 4294967295 134512640 134569956 3221224400 3221214512 1131641620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25600 13073 16 0 210594 0
vsize: 842440
[startup+170.012 s]
Raw data (loadavg): 1.10 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 15752 48 0 0 25 0 11 0 490842895 862658560 25600 4294967295 134512640 134569956 3221224400 3221214592 1131428791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25600 13073 16 0 210594 0
vsize: 842440
[startup+180.013 s]
Raw data (loadavg): 1.09 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 16748 48 0 0 25 0 11 0 490842895 862658560 25602 4294967295 134512640 134569956 3221224400 3221214736 1131460404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25602 13073 16 0 210594 0
vsize: 842440
[startup+190.014 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 17740 48 0 0 25 0 11 0 490842895 862658560 25603 4294967295 134512640 134569956 3221224400 3221214688 1131491718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25603 13073 16 0 210594 0
vsize: 842440
[startup+200.015 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 18727 48 0 0 25 0 11 0 490842895 862658560 25606 4294967295 134512640 134569956 3221224400 3221214512 1131652187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 25606 13073 16 0 210594 0
vsize: 842440
[startup+210.015 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 19712 49 0 0 25 0 11 0 490842895 862658560 25608 4294967295 134512640 134569956 3221224400 3221214856 1131247378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25608 13073 16 0 210594 0
vsize: 842440
[startup+220.016 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 20678 49 0 0 25 0 11 0 490842895 862658560 25610 4294967295 134512640 134569956 3221224400 3221214808 1131317980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 25610 13073 16 0 210594 0
vsize: 842440
[startup+230.017 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 21632 49 0 0 25 0 11 0 490842895 862658560 25677 4294967295 134512640 134569956 3221224400 3221214856 1131247168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25677 13073 16 0 210594 0
vsize: 842440
[startup+240.016 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 22591 49 0 0 25 0 11 0 490842895 862658560 25830 4294967295 134512640 134569956 3221224400 3221214856 1131247204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 25830 13073 16 0 210594 0
vsize: 842440
[startup+250.017 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 23548 49 0 0 25 0 11 0 490842895 862658560 26006 4294967295 134512640 134569956 3221224400 3221214688 1131678180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 26006 13073 16 0 210594 0
vsize: 842440
[startup+260.02 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 24490 49 0 0 25 0 11 0 490842895 862658560 26237 4294967295 134512640 134569956 3221224400 3221214688 1131678165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 26237 13073 16 0 210594 0
vsize: 842440
[startup+270.021 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 25451 49 0 0 25 0 11 0 490842895 862658560 26395 4294967295 134512640 134569956 3221224400 3221214688 1131678032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 26395 13073 16 0 210594 0
vsize: 842440
[startup+280.021 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 26408 49 0 0 24 0 11 0 490842895 862658560 26535 4294967295 134512640 134569956 3221224400 3221214688 1131678041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 26535 13073 16 0 210594 0
vsize: 842440
[startup+290.022 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 27373 49 0 0 25 0 11 0 490842895 862658560 26647 4294967295 134512640 134569956 3221224400 3221214688 1131678032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 26647 13073 16 0 210594 0
vsize: 842440
[startup+300.022 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 28331 49 0 0 24 0 11 0 490842895 862658560 26826 4294967295 134512640 134569956 3221224400 3221214632 1131491783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 26826 13073 16 0 210594 0
vsize: 842440
[startup+310.022 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 29299 49 0 0 25 0 11 0 490842895 862658560 26978 4294967295 134512640 134569956 3221224400 3221214688 1131678016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 26978 13073 16 0 210594 0
vsize: 842440
[startup+320.023 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 30265 49 0 0 25 0 11 0 490842895 862658560 27071 4294967295 134512640 134569956 3221224400 3221214904 1131391524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 27071 13073 16 0 210594 0
vsize: 842440
[startup+330.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 31233 49 0 0 25 0 11 0 490842895 862658560 27167 4294967295 134512640 134569956 3221224400 3221214840 1131430360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 27167 13073 16 0 210594 0
vsize: 842440
[startup+340.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 32182 49 0 0 25 0 11 0 490842895 862658560 27336 4294967295 134512640 134569956 3221224400 3221214808 1131317773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 27336 13073 16 0 210594 0
vsize: 842440
[startup+350.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 33138 49 0 0 25 0 11 0 490842895 862658560 27504 4294967295 134512640 134569956 3221224400 3221214856 1131247168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 27504 13073 16 0 210594 0
vsize: 842440
[startup+360.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 34099 49 0 0 25 0 11 0 490842895 862658560 27705 4294967295 134512640 134569956 3221224400 3221214808 1131318594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 27705 13073 16 0 210594 0
vsize: 842440
[startup+370.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 35067 49 0 0 25 0 11 0 490842895 862658560 27892 4294967295 134512640 134569956 3221224400 3221214688 1131678032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 27892 13073 16 0 210594 0
vsize: 842440
[startup+380.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 36039 49 0 0 25 0 11 0 490842895 862658560 28010 4294967295 134512640 134569956 3221224400 3221214808 1131317381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28010 13073 16 0 210594 0
vsize: 842440
[startup+390.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 37009 49 0 0 25 0 11 0 490842895 862658560 28065 4294967295 134512640 134569956 3221224400 3221214808 1131317553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28065 13073 16 0 210594 0
vsize: 842440
[startup+400.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 37979 49 0 0 25 0 11 0 490842895 862658560 28150 4294967295 134512640 134569956 3221224400 3221214808 1131318067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28150 13073 16 0 210594 0
vsize: 842440
[startup+410.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 38952 49 0 0 25 0 11 0 490842895 862658560 28280 4294967295 134512640 134569956 3221224400 3221214728 1131441829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28280 13073 16 0 210594 0
vsize: 842440
[startup+420.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 39927 50 0 0 25 0 11 0 490842895 862658560 28375 4294967295 134512640 134569956 3221224400 3221214808 1131318579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 28375 13073 16 0 210594 0
vsize: 842440
[startup+430.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 40902 50 0 0 25 0 11 0 490842895 862658560 28487 4294967295 134512640 134569956 3221224400 3221214444 1131314787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28487 13073 16 0 210594 0
vsize: 842440
[startup+440.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 41879 50 0 0 24 0 11 0 490842895 862658560 28557 4294967295 134512640 134569956 3221224400 3221214808 1131317667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28557 13073 16 0 210594 0
vsize: 842440
[startup+450.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 42858 50 0 0 25 0 11 0 490842895 862658560 28606 4294967295 134512640 134569956 3221224400 3221214808 1131318018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28606 13073 16 0 210594 0
vsize: 842440
[startup+460.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 43833 50 0 0 25 0 11 0 490842895 862658560 28723 4294967295 134512640 134569956 3221224400 3221214808 1131317781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28723 13073 16 0 210594 0
vsize: 842440
[startup+470.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 44810 50 0 0 25 0 11 0 490842895 862658560 28905 4294967295 134512640 134569956 3221224400 3221214728 1131441217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28905 13073 16 0 210594 0
vsize: 842440
[startup+480.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 45783 50 0 0 25 0 11 0 490842895 862658560 28967 4294967295 134512640 134569956 3221224400 3221214688 1131678032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 28967 13073 16 0 210594 0
vsize: 842440
[startup+490.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 46752 50 0 0 25 0 11 0 490842895 862658560 29033 4294967295 134512640 134569956 3221224400 3221214808 1131317732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29033 13073 16 0 210594 0
vsize: 842440
[startup+500.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 47721 50 0 0 25 0 11 0 490842895 862658560 29130 4294967295 134512640 134569956 3221224400 3221214856 1131247168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29130 13073 16 0 210594 0
vsize: 842440
[startup+510.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 48690 50 0 0 25 0 11 0 490842895 862658560 29240 4294967295 134512640 134569956 3221224400 3221214904 1131390929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29240 13073 16 0 210594 0
vsize: 842440
[startup+520.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 49658 50 0 0 25 0 11 0 490842895 862658560 29333 4294967295 134512640 134569956 3221224400 3221214808 1131317773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29333 13073 16 0 210594 0
vsize: 842440
[startup+530.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 50626 50 0 0 25 0 11 0 490842895 862658560 29415 4294967295 134512640 134569956 3221224400 3221214392 1080217243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29415 13073 16 0 210594 0
vsize: 842440
[startup+540.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 51595 51 0 0 25 0 11 0 490842895 862658560 29505 4294967295 134512640 134569956 3221224400 3221214808 1131317899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29505 13073 16 0 210594 0
vsize: 842440
[startup+550.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 52561 51 0 0 25 0 11 0 490842895 862658560 29683 4294967295 134512640 134569956 3221224400 3221214808 1131317438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29683 13073 16 0 210594 0
vsize: 842440
[startup+560.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 53527 51 0 0 25 0 11 0 490842895 862658560 29803 4294967295 134512640 134569956 3221224400 3221214856 1131247168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 29803 13073 16 0 210594 0
vsize: 842440
[startup+570.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 54495 51 0 0 25 0 11 0 490842895 862658560 29975 4294967295 134512640 134569956 3221224400 3221214808 1131317773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 29975 13073 16 0 210594 0
vsize: 842440
[startup+580.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 55462 51 0 0 24 0 11 0 490842895 862658560 30100 4294967295 134512640 134569956 3221224400 3221214808 1131317826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30100 13073 16 0 210594 0
vsize: 842440
[startup+590.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 56435 51 0 0 25 0 11 0 490842895 862658560 30178 4294967295 134512640 134569956 3221224400 3221214840 1131430372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30178 13073 16 0 210594 0
vsize: 842440
[startup+600.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 57409 51 0 0 25 0 11 0 490842895 862658560 30265 4294967295 134512640 134569956 3221224400 3221214808 1131317649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30265 13073 16 0 210594 0
vsize: 842440
[startup+610.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 58385 51 0 0 25 0 11 0 490842895 862658560 30435 4294967295 134512640 134569956 3221224400 3221214808 1131318266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30435 13073 16 0 210594 0
vsize: 842440
[startup+620.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 59362 51 0 0 25 0 11 0 490842895 862658560 30490 4294967295 134512640 134569956 3221224400 3221214808 1131317358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30490 13073 16 0 210594 0
vsize: 842440
[startup+630.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 60342 52 0 0 25 0 11 0 490842895 862658560 30573 4294967295 134512640 134569956 3221224400 3221214808 1131317990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30573 13073 16 0 210594 0
vsize: 842440
[startup+640.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 61319 52 0 0 25 0 11 0 490842895 862658560 30632 4294967295 134512640 134569956 3221224400 3221214856 1131247193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30632 13073 16 0 210594 0
vsize: 842440
[startup+650.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 62297 52 0 0 25 0 11 0 490842895 862658560 30728 4294967295 134512640 134569956 3221224400 3221214688 1131678039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 30728 13073 16 0 210594 0
vsize: 842440
[startup+660.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 63278 52 0 0 25 0 11 0 490842895 862658560 30849 4294967295 134512640 134569956 3221224400 3221214496 1079721531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30849 13073 16 0 210594 0
vsize: 842440
[startup+670.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 64265 52 0 0 25 0 11 0 490842895 862658560 30893 4294967295 134512640 134569956 3221224400 3221214512 1131641635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30893 13073 16 0 210594 0
vsize: 842440
[startup+680.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 65249 52 0 0 24 0 11 0 490842895 862658560 30955 4294967295 134512640 134569956 3221224400 3221214808 1131317405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 30955 13073 16 0 210594 0
vsize: 842440
[startup+690.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 66236 52 0 0 25 0 11 0 490842895 862658560 31005 4294967295 134512640 134569956 3221224400 3221214932 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31005 13073 16 0 210594 0
vsize: 842440
[startup+700.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 67219 52 0 0 25 0 11 0 490842895 862658560 31056 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31056 13073 16 0 210594 0
vsize: 842440
[startup+710.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 68202 52 0 0 25 0 11 0 490842895 862658560 31195 4294967295 134512640 134569956 3221224400 3221214592 1131549896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31195 13073 16 0 210594 0
vsize: 842440
[startup+720.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 69189 53 0 0 25 0 11 0 490842895 862658560 31252 4294967295 134512640 134569956 3221224400 3221214808 1131317839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31252 13073 16 0 210594 0
vsize: 842440
[startup+730.047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 70177 53 0 0 25 0 11 0 490842895 862658560 31318 4294967295 134512640 134569956 3221224400 3221214736 1131459969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31318 13073 16 0 210594 0
vsize: 842440
[startup+740.056 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 71165 53 0 0 25 0 11 0 490842895 862658560 31412 4294967295 134512640 134569956 3221224400 3221214808 1131317990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31412 13073 16 0 210594 0
vsize: 842440
[startup+750.056 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 72155 53 0 0 25 0 11 0 490842895 862658560 31446 4294967295 134512640 134569956 3221224400 3221214512 1131641474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31446 13073 16 0 210594 0
vsize: 842440
[startup+760.055 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 73144 53 0 0 25 0 11 0 490842895 862658560 31489 4294967295 134512640 134569956 3221224400 3221214808 1131317980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31489 13073 16 0 210594 0
vsize: 842440
[startup+770.056 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 74133 53 0 0 25 0 11 0 490842895 862658560 31508 4294967295 134512640 134569956 3221224400 3221214808 1131317667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31508 13073 16 0 210594 0
vsize: 842440
[startup+780.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) S 16531 20937 20936 0 -1 0 18068 0 1 0 75124 53 0 0 25 0 11 0 490842895 862658560 31530 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31530 13073 16 0 210594 0
vsize: 842440
[startup+790.061 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 76113 53 0 0 25 0 11 0 490842895 862658560 31619 4294967295 134512640 134569956 3221224400 3221214904 1131390517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31619 13073 16 0 210594 0
vsize: 842440
[startup+800.061 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 77105 53 0 0 25 0 11 0 490842895 862658560 31636 4294967295 134512640 134569956 3221224400 3221214592 1131549641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31636 13073 16 0 210594 0
vsize: 842440
[startup+810.061 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 78095 53 0 0 25 0 11 0 490842895 862658560 31663 4294967295 134512640 134569956 3221224400 3221214592 1131547346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31663 13073 16 0 210594 0
vsize: 842440
[startup+820.061 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 79086 53 0 0 25 0 11 0 490842895 862658560 31685 4294967295 134512640 134569956 3221224400 3221214592 1131546754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31685 13073 16 0 210594 0
vsize: 842440
[startup+830.061 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 80074 53 0 0 24 0 11 0 490842895 862658560 31720 4294967295 134512640 134569956 3221224400 3221214900 1131247417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31720 13073 16 0 210594 0
vsize: 842440
[startup+840.061 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 81063 53 0 0 25 0 11 0 490842895 862658560 31730 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31730 13073 16 0 210594 0
vsize: 842440
[startup+850.061 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 82052 54 0 0 25 0 11 0 490842895 862658560 31743 4294967295 134512640 134569956 3221224400 3221214856 1131247359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31743 13073 16 0 210594 0
vsize: 842440
[startup+860.061 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 83039 54 0 0 25 0 11 0 490842895 862658560 31850 4294967295 134512640 134569956 3221224400 3221214728 1131442698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31850 13073 16 0 210594 0
vsize: 842440
[startup+870.061 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 84030 54 0 0 25 0 11 0 490842895 862658560 31880 4294967295 134512640 134569956 3221224400 3221214808 1131317381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31880 13073 16 0 210594 0
vsize: 842440
[startup+880.062 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 85020 54 0 0 25 0 11 0 490842895 862658560 31941 4294967295 134512640 134569956 3221224400 3221214512 1131641773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 31941 13073 16 0 210594 0
vsize: 842440
[startup+890.062 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 86008 54 0 0 25 0 11 0 490842895 862658560 32000 4294967295 134512640 134569956 3221224400 3221214808 1131318685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32000 13073 16 0 210594 0
vsize: 842440
[startup+900.064 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 86999 54 0 0 25 0 11 0 490842895 862658560 32064 4294967295 134512640 134569956 3221224400 3221214856 1131247165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32064 13073 16 0 210594 0
vsize: 842440
[startup+910.064 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 87993 54 0 0 25 0 11 0 490842895 862658560 32087 4294967295 134512640 134569956 3221224400 3221214384 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32087 13073 16 0 210594 0
vsize: 842440
[startup+920.064 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 88984 54 0 0 25 0 11 0 490842895 862658560 32099 4294967295 134512640 134569956 3221224400 3221214808 1131318000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32099 13073 16 0 210594 0
vsize: 842440
[startup+930.064 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 89976 54 0 0 25 0 11 0 490842895 862658560 32121 4294967295 134512640 134569956 3221224400 3221214544 1131584090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32121 13073 16 0 210594 0
vsize: 842440
[startup+940.064 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 90969 54 0 0 25 0 11 0 490842895 862658560 32161 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32161 13073 16 0 210594 0
vsize: 842440
[startup+950.067 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) S 16531 20937 20936 0 -1 0 18068 0 1 0 91959 54 0 0 25 0 11 0 490842895 862658560 32198 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32198 13073 16 0 210594 0
vsize: 842440
[startup+960.068 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 92949 55 0 0 25 0 11 0 490842895 862658560 32208 4294967295 134512640 134569956 3221224400 3221214688 1131678039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32208 13073 16 0 210594 0
vsize: 842440
[startup+970.069 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 93941 55 0 0 25 0 11 0 490842895 862658560 32219 4294967295 134512640 134569956 3221224400 3221214588 1131642420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32219 13073 16 0 210594 0
vsize: 842440
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 94929 55 0 0 25 0 11 0 490842895 862658560 32263 4294967295 134512640 134569956 3221224400 3221214592 1131552480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32263 13073 16 0 210594 0
vsize: 842440
[startup+990.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 95920 55 0 0 25 0 11 0 490842895 862658560 32270 4294967295 134512640 134569956 3221224400 3221214888 1131603643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32270 13073 16 0 210594 0
vsize: 842440
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 96908 55 0 0 25 0 11 0 490842895 862658560 32296 4294967295 134512640 134569956 3221224400 3221214512 1131641743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32296 13073 16 0 210594 0
vsize: 842440
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 97896 55 0 0 25 0 11 0 490842895 862658560 32322 4294967295 134512640 134569956 3221224400 3221214584 1131534441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32322 13073 16 0 210594 0
vsize: 842440
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 98880 55 0 0 25 0 11 0 490842895 862658560 32349 4294967295 134512640 134569956 3221224400 3221214688 1131678180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32349 13073 16 0 210594 0
vsize: 842440
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 99868 55 0 0 25 0 11 0 490842895 862658560 32404 4294967295 134512640 134569956 3221224400 3221214544 1079721521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32404 13073 16 0 210594 0
vsize: 842440
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 100852 55 0 0 25 0 11 0 490842895 862658560 32435 4294967295 134512640 134569956 3221224400 3221214808 1131318574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32435 13073 16 0 210594 0
vsize: 842440
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 101837 55 0 0 24 0 11 0 490842895 862658560 32488 4294967295 134512640 134569956 3221224400 3221214808 1131317491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32488 13073 16 0 210594 0
vsize: 842440
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 102824 55 0 0 25 0 11 0 490842895 862658560 32523 4294967295 134512640 134569956 3221224400 3221214592 1131549399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32523 13073 16 0 210594 0
vsize: 842440
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 103809 55 0 0 25 0 11 0 490842895 862658560 32647 4294967295 134512640 134569956 3221224400 3221214752 1131206480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32647 13073 16 0 210594 0
vsize: 842440
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 104797 56 0 0 25 0 11 0 490842895 862658560 32825 4294967295 134512640 134569956 3221224400 3221214688 1131678173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32825 13073 16 0 210594 0
vsize: 842440
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 105787 56 0 0 25 0 11 0 490842895 862658560 32868 4294967295 134512640 134569956 3221224400 3221214728 1131441847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32868 13073 16 0 210594 0
vsize: 842440
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 106777 56 0 0 25 0 11 0 490842895 862658560 32884 4294967295 134512640 134569956 3221224400 3221214512 1131641765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32884 13073 16 0 210594 0
vsize: 842440
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 107766 56 0 0 25 0 11 0 490842895 862658560 32922 4294967295 134512640 134569956 3221224400 3221214848 1131224876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32922 13073 16 0 210594 0
vsize: 842440
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 108752 56 0 0 25 0 11 0 490842895 862658560 32987 4294967295 134512640 134569956 3221224400 3221214808 1131317349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 32987 13073 16 0 210594 0
vsize: 842440
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 109745 56 0 0 25 0 11 0 490842895 862658560 33006 4294967295 134512640 134569956 3221224400 3221214808 1131318291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33006 13073 16 0 210594 0
vsize: 842440
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 110732 56 0 0 25 0 11 0 490842895 862658560 33045 4294967295 134512640 134569956 3221224400 3221214584 1131534383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33045 13073 16 0 210594 0
vsize: 842440
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 111721 56 0 0 25 0 11 0 490842895 862658560 33076 4294967295 134512640 134569956 3221224400 3221214592 1131552476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33076 13073 16 0 210594 0
vsize: 842440
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 112709 57 0 0 25 0 11 0 490842895 862658560 33121 4294967295 134512640 134569956 3221224400 3221214512 1131641392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33121 13073 16 0 210594 0
vsize: 842440
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 113699 57 0 0 25 0 11 0 490842895 862658560 33146 4294967295 134512640 134569956 3221224400 3221214584 1131534504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33146 13073 16 0 210594 0
vsize: 842440
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 114687 57 0 0 25 0 11 0 490842895 862658560 33184 4294967295 134512640 134569956 3221224400 3221214444 1080217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33184 13073 16 0 210594 0
vsize: 842440
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 115677 57 0 0 25 0 11 0 490842895 862658560 33207 4294967295 134512640 134569956 3221224400 3221214432 1080217189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33207 13073 16 0 210594 0
vsize: 842440
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 116665 57 0 0 25 0 11 0 490842895 862658560 33234 4294967295 134512640 134569956 3221224400 3221214808 1131317423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33234 13073 16 0 210594 0
vsize: 842440
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 117650 57 0 0 25 0 11 0 490842895 862658560 33257 4294967295 134512640 134569956 3221224400 3221214808 1131317730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210610 33257 13073 16 0 210594 0
vsize: 842440
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 118632 57 0 0 25 0 11 0 490842895 862658560 33290 4294967295 134512640 134569956 3221224400 3221214904 1131390693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33290 13073 16 0 210594 0
vsize: 842440
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 119614 57 0 0 25 0 11 0 490842895 862658560 33361 4294967295 134512640 134569956 3221224400 3221214840 1131430360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33361 13073 16 0 210594 0
vsize: 842440
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 16542
Raw data (stat): 16532 (java) R 16531 20937 20936 0 -1 0 18068 0 1 0 120600 57 0 0 24 0 11 0 490842895 862658560 33476 4294967295 134512640 134569956 3221224400 3221214512 1131652501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210610 33476 13073 16 0 210594 0
vsize: 842440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 16544
Raw data (stat): 16532 (java) Z 16531 20937 20936 0 -1 1036 18068 12899 1 0 120602 57 3093 37 25 0 1 0 490842895 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.16
CPU time (s): 1237.91
CPU user time (s): 1236.96
CPU system time (s): 0.950855
CPU usage (%): 99.8186
Max. virtual memory (Kb): 842440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####