PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm2.opb
MD5SUM	3611fc20088602fa99726273d52175c6
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	920
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	274726650
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	52428800000
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	319170501375
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.631903
Number of variables	18280
Total number of constraints	660
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	660
Minimum length of a constraint	20
Maximum length of a constraint	1140
Trace number 16091

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        857352 kB
Buffers:         11532 kB
Cached:         137200 kB
SwapCached:        596 kB
Active:          57760 kB
Inactive:        94448 kB
HighTotal:      131008 kB
HighFree:        20664 kB
LowTotal:       903652 kB
LowFree:        836688 kB
SwapTotal:     2097892 kB
SwapFree:      2097284 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6628 kB
Slab:            19436 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 06:34:35 (client local time) WITH STATUS 143 IN 1238.17 SECONDS
stats: 16220 7 1238.17 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-scfxm2.opb
c reading problem 
c [nbvar=18280]
c [nbconstr=660]
c time 109.277
c #vars     18280
c #clauses  1026
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.79 0.95 0.93 2/55 23379
Raw data (stat): 23379 (runsolver) R 23378 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542841467 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+9.99981 s]
Raw data (loadavg): 0.82 0.95 0.93 2/64 23388
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 801 42 0 0 25 0 10 0 542841467 854974464 20337 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208734 20337 13073 16 0 208718 0
vsize: 834936
[startup+20.0012 s]
Raw data (loadavg): 0.85 0.95 0.93 2/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 1667 43 0 0 19 0 10 0 542841467 854974464 21040 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 21040 13073 16 0 208718 0
vsize: 834936
[startup+30.0024 s]
Raw data (loadavg): 0.87 0.95 0.93 2/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 2538 43 0 0 17 0 10 0 542841467 854974464 21314 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 21314 13073 16 0 208718 0
vsize: 834936
[startup+40.0056 s]
Raw data (loadavg): 0.89 0.95 0.93 2/64 23390
Raw data (stat): 23379 (java) S 23378 20838 20837 0 -1 0 17995 0 1 0 3411 43 0 0 22 0 10 0 542841467 854974464 21853 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 21853 13073 16 0 208718 0
vsize: 834936
[startup+50.0097 s]
Raw data (loadavg): 0.91 0.96 0.93 2/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 4264 43 0 0 16 0 10 0 542841467 854974464 22221 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 22221 13073 16 0 208718 0
vsize: 834936
[startup+60.0131 s]
Raw data (loadavg): 0.92 0.96 0.93 2/64 23390
Raw data (stat): 23379 (java) S 23378 20838 20837 0 -1 0 17995 0 1 0 5124 44 0 0 20 0 10 0 542841467 854974464 22701 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 22702 13073 16 0 208718 0
vsize: 834936
[startup+70.0134 s]
Raw data (loadavg): 0.93 0.96 0.93 2/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 5990 44 0 0 19 0 10 0 542841467 854974464 23022 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 23022 13073 16 0 208718 0
vsize: 834936
[startup+80.0148 s]
Raw data (loadavg): 0.94 0.96 0.93 2/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 6870 44 0 0 19 0 10 0 542841467 854974464 23382 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 23382 13073 16 0 208718 0
vsize: 834936
[startup+90.0152 s]
Raw data (loadavg): 0.95 0.96 0.93 2/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 7769 44 0 0 19 0 10 0 542841467 854974464 23619 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 23619 13073 16 0 208718 0
vsize: 834936
[startup+100.015 s]
Raw data (loadavg): 0.96 0.96 0.93 2/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 17995 0 1 0 8682 44 0 0 21 0 10 0 542841467 854974464 23827 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 23827 13073 16 0 208718 0
vsize: 834936
[startup+110.032 s]
Raw data (loadavg): 0.96 0.96 0.93 3/64 23390
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18016 0 1 0 9595 45 0 0 23 0 10 0 542841467 854974464 24009 4294967295 134512640 134569956 3221224400 3221214972 1130892668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208734 24009 13073 16 0 208718 0
vsize: 834936
[startup+120.072 s]
Raw data (loadavg): 1.34 1.04 0.95 4/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18085 0 1 0 10435 45 0 0 25 0 11 0 542841467 863383552 25788 4294967295 134512640 134569956 3221224400 3221213532 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210787 25788 13073 16 0 210771 0
vsize: 843148
[startup+130.072 s]
Raw data (loadavg): 1.29 1.04 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18086 0 1 0 11351 45 0 0 25 0 11 0 542841467 861302784 25538 4294967295 134512640 134569956 3221224400 3221214576 1131388960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 25538 13073 16 0 210263 0
vsize: 841116
[startup+140.072 s]
Raw data (loadavg): 1.24 1.04 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 12323 45 0 0 25 0 11 0 542841467 861302784 25564 4294967295 134512640 134569956 3221224400 3221214576 1131388960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 25564 13073 16 0 210263 0
vsize: 841116
[startup+150.073 s]
Raw data (loadavg): 1.21 1.04 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 13296 45 0 0 25 0 11 0 542841467 861302784 25599 4294967295 134512640 134569956 3221224400 3221214656 1131614300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 25599 13073 16 0 210263 0
vsize: 841116
[startup+160.074 s]
Raw data (loadavg): 1.17 1.04 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 14271 45 0 0 25 0 11 0 542841467 861302784 25639 4294967295 134512640 134569956 3221224400 3221214656 1131614176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 25639 13073 16 0 210263 0
vsize: 841116
[startup+170.074 s]
Raw data (loadavg): 1.15 1.04 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 15240 45 0 0 25 0 11 0 542841467 861302784 25710 4294967295 134512640 134569956 3221224400 3221214512 1131408673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 25710 13073 16 0 210263 0
vsize: 841116
[startup+180.074 s]
Raw data (loadavg): 1.12 1.03 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 16204 45 0 0 25 0 11 0 542841467 861302784 25790 4294967295 134512640 134569956 3221224400 3221214696 1131369899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 25790 13073 16 0 210263 0
vsize: 841116
[startup+190.075 s]
Raw data (loadavg): 1.10 1.03 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 17176 45 0 0 25 0 11 0 542841467 861302784 26288 4294967295 134512640 134569956 3221224400 3221214776 1131425721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26288 13073 16 0 210263 0
vsize: 841116
[startup+200.076 s]
Raw data (loadavg): 1.09 1.03 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 18161 45 0 0 25 0 11 0 542841467 861302784 26367 4294967295 134512640 134569956 3221224400 3221214776 1131324575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26367 13073 16 0 210263 0
vsize: 841116
[startup+210.079 s]
Raw data (loadavg): 1.07 1.03 0.95 2/65 23391
Raw data (stat): 23379 (java) S 23378 20838 20837 0 -1 0 18087 0 1 0 19148 46 0 0 25 0 11 0 542841467 861302784 26368 4294967295 134512640 134569956 3221224400 3221213216 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26368 13073 16 0 210263 0
vsize: 841116
[startup+220.08 s]
Raw data (loadavg): 1.06 1.03 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 20144 46 0 0 25 0 11 0 542841467 861302784 26368 4294967295 134512640 134569956 3221224400 3221214656 1131614285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26368 13073 16 0 210263 0
vsize: 841116
[startup+230.083 s]
Raw data (loadavg): 1.05 1.03 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 21137 46 0 0 25 0 11 0 542841467 861302784 26368 4294967295 134512640 134569956 3221224400 3221214656 1131614300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26368 13073 16 0 210263 0
vsize: 841116
[startup+240.083 s]
Raw data (loadavg): 1.04 1.03 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 22116 46 0 0 25 0 11 0 542841467 861302784 26438 4294967295 134512640 134569956 3221224400 3221214680 1131218778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26438 13073 16 0 210263 0
vsize: 841116
[startup+250.083 s]
Raw data (loadavg): 1.04 1.02 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 23090 46 0 0 25 0 11 0 542841467 861302784 26469 4294967295 134512640 134569956 3221224400 3221214680 1131218973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26469 13073 16 0 210263 0
vsize: 841116
[startup+260.084 s]
Raw data (loadavg): 1.03 1.02 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 24062 46 0 0 25 0 11 0 542841467 861302784 26586 4294967295 134512640 134569956 3221224400 3221214816 1131341261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26586 13073 16 0 210263 0
vsize: 841116
[startup+270.084 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 25039 46 0 0 25 0 11 0 542841467 861302784 26687 4294967295 134512640 134569956 3221224400 3221214680 1131218973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26687 13073 16 0 210263 0
vsize: 841116
[startup+280.085 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 26017 46 0 0 24 0 11 0 542841467 861302784 26772 4294967295 134512640 134569956 3221224400 3221214680 1131218273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26772 13073 16 0 210263 0
vsize: 841116
[startup+290.086 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 26997 46 0 0 24 0 11 0 542841467 861302784 26874 4294967295 134512640 134569956 3221224400 3221214680 1131219309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26874 13073 16 0 210263 0
vsize: 841116
[startup+300.086 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 23391
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 27978 46 0 0 25 0 11 0 542841467 861302784 26953 4294967295 134512640 134569956 3221224400 3221214776 1131324856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 26953 13073 16 0 210263 0
vsize: 841116
[startup+310.089 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 23391
Raw data (stat): 23379 (java) S 23378 20838 20837 0 -1 0 18087 0 1 0 28957 46 0 0 25 0 11 0 542841467 861302784 27063 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27063 13073 16 0 210263 0
vsize: 841116
[startup+320.089 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 29936 46 0 0 24 0 11 0 542841467 861302784 27154 4294967295 134512640 134569956 3221224400 3221214680 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27154 13073 16 0 210263 0
vsize: 841116
[startup+330.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 30915 46 0 0 24 0 11 0 542841467 861302784 27282 4294967295 134512640 134569956 3221224400 3221214680 1131219117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27282 13073 16 0 210263 0
vsize: 841116
[startup+340.09 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 31893 46 0 0 25 0 11 0 542841467 861302784 27373 4294967295 134512640 134569956 3221224400 3221214680 1131218637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27373 13073 16 0 210263 0
vsize: 841116
[startup+350.099 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 32871 46 0 0 25 0 11 0 542841467 861302784 27498 4294967295 134512640 134569956 3221224400 3221214680 1131219607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27498 13073 16 0 210263 0
vsize: 841116
[startup+360.108 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 33849 46 0 0 25 0 11 0 542841467 861302784 27640 4294967295 134512640 134569956 3221224400 3221214816 1131341738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27640 13073 16 0 210263 0
vsize: 841116
[startup+370.107 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 34827 46 0 0 25 0 11 0 542841467 861302784 27824 4294967295 134512640 134569956 3221224400 3221214680 1131218898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27824 13073 16 0 210263 0
vsize: 841116
[startup+380.109 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 35806 46 0 0 25 0 11 0 542841467 861302784 27970 4294967295 134512640 134569956 3221224400 3221214776 1131324867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 27970 13073 16 0 210263 0
vsize: 841116
[startup+390.108 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 36786 46 0 0 25 0 11 0 542841467 861302784 28070 4294967295 134512640 134569956 3221224400 3221214712 1131247926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28070 13073 16 0 210263 0
vsize: 841116
[startup+400.109 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 37765 46 0 0 25 0 11 0 542841467 861302784 28198 4294967295 134512640 134569956 3221224400 3221214680 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28198 13073 16 0 210263 0
vsize: 841116
[startup+410.109 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 38746 46 0 0 25 0 11 0 542841467 861302784 28288 4294967295 134512640 134569956 3221224400 3221214816 1131340416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28288 13073 16 0 210263 0
vsize: 841116
[startup+420.108 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18087 0 1 0 39726 46 0 0 25 0 11 0 542841467 861302784 28406 4294967295 134512640 134569956 3221224400 3221214680 1131219557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28406 13073 16 0 210263 0
vsize: 841116
[startup+430.117 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 40707 47 0 0 25 0 11 0 542841467 861302784 28492 4294967295 134512640 134569956 3221224400 3221214680 1131218281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28492 13073 16 0 210263 0
vsize: 841116
[startup+440.12 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 41684 47 0 0 25 0 11 0 542841467 861302784 28566 4294967295 134512640 134569956 3221224400 3221214896 1131654300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28566 13073 16 0 210263 0
vsize: 841116
[startup+450.122 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 42664 47 0 0 25 0 11 0 542841467 861302784 28637 4294967295 134512640 134569956 3221224400 3221214776 1131324791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28637 13073 16 0 210263 0
vsize: 841116
[startup+460.122 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 43641 47 0 0 25 0 11 0 542841467 861302784 28719 4294967295 134512640 134569956 3221224400 3221214936 1131165529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28719 13073 16 0 210263 0
vsize: 841116
[startup+470.122 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 44618 47 0 0 25 0 11 0 542841467 861302784 28860 4294967295 134512640 134569956 3221224400 3221214640 1131642453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28860 13073 16 0 210263 0
vsize: 841116
[startup+480.123 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 45601 47 0 0 25 0 11 0 542841467 861302784 28910 4294967295 134512640 134569956 3221224400 3221214712 1131247926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 28910 13073 16 0 210263 0
vsize: 841116
[startup+490.123 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 46583 47 0 0 25 0 11 0 542841467 861302784 29031 4294967295 134512640 134569956 3221224400 3221214680 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29031 13073 16 0 210263 0
vsize: 841116
[startup+500.124 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 47566 47 0 0 25 0 11 0 542841467 861302784 29085 4294967295 134512640 134569956 3221224400 3221214776 1131324791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29085 13073 16 0 210263 0
vsize: 841116
[startup+510.125 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 48545 47 0 0 25 0 11 0 542841467 861302784 29174 4294967295 134512640 134569956 3221224400 3221214368 1131647548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29174 13073 16 0 210263 0
vsize: 841116
[startup+520.125 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 49525 47 0 0 25 0 11 0 542841467 861302784 29273 4294967295 134512640 134569956 3221224400 3221214680 1131219057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29273 13073 16 0 210263 0
vsize: 841116
[startup+530.126 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 50502 48 0 0 25 0 11 0 542841467 861302784 29390 4294967295 134512640 134569956 3221224400 3221214816 1131341225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29390 13073 16 0 210263 0
vsize: 841116
[startup+540.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 51482 48 0 0 25 0 11 0 542841467 861302784 29538 4294967295 134512640 134569956 3221224400 3221214680 1131218959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29538 13073 16 0 210263 0
vsize: 841116
[startup+550.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 52459 48 0 0 25 0 11 0 542841467 861302784 29666 4294967295 134512640 134569956 3221224400 3221214776 1131326066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29666 13073 16 0 210263 0
vsize: 841116
[startup+560.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 53436 48 0 0 24 0 11 0 542841467 861302784 29813 4294967295 134512640 134569956 3221224400 3221214776 1131325882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29813 13073 16 0 210263 0
vsize: 841116
[startup+570.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 54414 48 0 0 25 0 11 0 542841467 861302784 29947 4294967295 134512640 134569956 3221224400 3221214680 1131219557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 29947 13073 16 0 210263 0
vsize: 841116
[startup+580.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 55391 48 0 0 24 0 11 0 542841467 861302784 30080 4294967295 134512640 134569956 3221224400 3221214776 1131325872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30080 13073 16 0 210263 0
vsize: 841116
[startup+590.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 56370 48 0 0 25 0 11 0 542841467 861302784 30218 4294967295 134512640 134569956 3221224400 3221214936 1131165529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30218 13073 16 0 210263 0
vsize: 841116
[startup+600.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 57347 48 0 0 25 0 11 0 542841467 861302784 30357 4294967295 134512640 134569956 3221224400 3221214776 1131326743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30357 13073 16 0 210263 0
vsize: 841116
[startup+610.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23393
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 58328 48 0 0 25 0 11 0 542841467 861302784 30490 4294967295 134512640 134569956 3221224400 3221214680 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30490 13073 16 0 210263 0
vsize: 841116
[startup+620.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 59308 48 0 0 25 0 11 0 542841467 861302784 30632 4294967295 134512640 134569956 3221224400 3221214816 1131341317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30632 13073 16 0 210263 0
vsize: 841116
[startup+630.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 60290 48 0 0 24 0 11 0 542841467 861302784 30714 4294967295 134512640 134569956 3221224400 3221214680 1131218313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30714 13073 16 0 210263 0
vsize: 841116
[startup+640.162 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 61274 48 0 0 25 0 11 0 542841467 861302784 30822 4294967295 134512640 134569956 3221224400 3221214776 1131325879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30822 13073 16 0 210263 0
vsize: 841116
[startup+650.163 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 62254 48 0 0 25 0 11 0 542841467 861302784 30910 4294967295 134512640 134569956 3221224400 3221214680 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 30910 13073 16 0 210263 0
vsize: 841116
[startup+660.164 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 63237 49 0 0 25 0 11 0 542841467 861302784 31010 4294967295 134512640 134569956 3221224400 3221214776 1131327407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31010 13073 16 0 210263 0
vsize: 841116
[startup+670.165 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 64216 49 0 0 25 0 11 0 542841467 861302784 31105 4294967295 134512640 134569956 3221224400 3221214680 1131218273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31105 13073 16 0 210263 0
vsize: 841116
[startup+680.221 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 65202 49 0 0 25 0 11 0 542841467 861302784 31204 4294967295 134512640 134569956 3221224400 3221214776 1131327362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31204 13073 16 0 210263 0
vsize: 841116
[startup+690.248 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 66186 49 0 0 25 0 11 0 542841467 861302784 31287 4294967295 134512640 134569956 3221224400 3221214776 1131327630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31287 13073 16 0 210263 0
vsize: 841116
[startup+700.257 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 67167 49 0 0 25 0 11 0 542841467 861302784 31404 4294967295 134512640 134569956 3221224400 3221214532 1131648736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31404 13073 16 0 210263 0
vsize: 841116
[startup+710.259 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 68144 49 0 0 25 0 11 0 542841467 861302784 31493 4294967295 134512640 134569956 3221224400 3221214680 1131219211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31493 13073 16 0 210263 0
vsize: 841116
[startup+720.258 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 69123 49 0 0 25 0 11 0 542841467 861302784 31564 4294967295 134512640 134569956 3221224400 3221214776 1131357384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31564 13073 16 0 210263 0
vsize: 841116
[startup+730.264 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 70099 49 0 0 25 0 11 0 542841467 861302784 31692 4294967295 134512640 134569956 3221224400 3221214776 1131327588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31692 13073 16 0 210263 0
vsize: 841116
[startup+740.371 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 71087 49 0 0 24 0 11 0 542841467 861302784 31871 4294967295 134512640 134569956 3221224400 3221214680 1131219009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31871 13073 16 0 210263 0
vsize: 841116
[startup+750.371 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 72069 49 0 0 25 0 11 0 542841467 861302784 31956 4294967295 134512640 134569956 3221224400 3221214544 1131648852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 31956 13073 16 0 210263 0
vsize: 841116
[startup+760.371 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 73049 49 0 0 25 0 11 0 542841467 861302784 32052 4294967295 134512640 134569956 3221224400 3221214776 1131324791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32052 13073 16 0 210263 0
vsize: 841116
[startup+770.371 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 74029 49 0 0 25 0 11 0 542841467 861302784 32147 4294967295 134512640 134569956 3221224400 3221214776 1131325940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32147 13073 16 0 210263 0
vsize: 841116
[startup+780.372 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 75012 49 0 0 25 0 11 0 542841467 861302784 32217 4294967295 134512640 134569956 3221224400 3221214680 1131219704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32217 13073 16 0 210263 0
vsize: 841116
[startup+790.371 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 75992 49 0 0 25 0 11 0 542841467 861302784 32316 4294967295 134512640 134569956 3221224400 3221214776 1131328142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32316 13073 16 0 210263 0
vsize: 841116
[startup+800.373 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 76975 49 0 0 25 0 11 0 542841467 861302784 32377 4294967295 134512640 134569956 3221224400 3221214680 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32377 13073 16 0 210263 0
vsize: 841116
[startup+810.373 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 77955 49 0 0 25 0 11 0 542841467 861302784 32456 4294967295 134512640 134569956 3221224400 3221214776 1131326722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32456 13073 16 0 210263 0
vsize: 841116
[startup+820.372 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 78935 49 0 0 25 0 11 0 542841467 861302784 32527 4294967295 134512640 134569956 3221224400 3221214680 1131218973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32527 13073 16 0 210263 0
vsize: 841116
[startup+830.373 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 79916 49 0 0 25 0 11 0 542841467 861302784 32594 4294967295 134512640 134569956 3221224400 3221214776 1131324856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32594 13073 16 0 210263 0
vsize: 841116
[startup+840.373 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 80896 49 0 0 25 0 11 0 542841467 861302784 32681 4294967295 134512640 134569956 3221224400 3221214680 1131219297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32681 13073 16 0 210263 0
vsize: 841116
[startup+850.374 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 81874 49 0 0 25 0 11 0 542841467 861302784 32780 4294967295 134512640 134569956 3221224400 3221214680 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32780 13073 16 0 210263 0
vsize: 841116
[startup+860.374 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 82855 50 0 0 25 0 11 0 542841467 861302784 32861 4294967295 134512640 134569956 3221224400 3221214680 1131218513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32861 13073 16 0 210263 0
vsize: 841116
[startup+870.374 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 83835 50 0 0 25 0 11 0 542841467 861302784 32983 4294967295 134512640 134569956 3221224400 3221214776 1131326645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 32983 13073 16 0 210263 0
vsize: 841116
[startup+880.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 84814 50 0 0 25 0 11 0 542841467 861302784 33071 4294967295 134512640 134569956 3221224400 3221214776 1131326823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33071 13073 16 0 210263 0
vsize: 841116
[startup+890.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 85794 50 0 0 24 0 11 0 542841467 861302784 33158 4294967295 134512640 134569956 3221224400 3221214640 1131218827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33158 13073 16 0 210263 0
vsize: 841116
[startup+900.374 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 86776 50 0 0 25 0 11 0 542841467 861302784 33238 4294967295 134512640 134569956 3221224400 3221214652 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33238 13073 16 0 210263 0
vsize: 841116
[startup+910.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23395
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 87755 50 0 0 25 0 11 0 542841467 861302784 33337 4294967295 134512640 134569956 3221224400 3221214640 1131218778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33337 13073 16 0 210263 0
vsize: 841116
[startup+920.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 88735 50 0 0 24 0 11 0 542841467 861302784 33411 4294967295 134512640 134569956 3221224400 3221214736 1131324791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33411 13073 16 0 210263 0
vsize: 841116
[startup+930.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 89716 50 0 0 25 0 11 0 542841467 861302784 33486 4294967295 134512640 134569956 3221224400 3221214232 1131647506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33486 13073 16 0 210263 0
vsize: 841116
[startup+940.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 90696 50 0 0 25 0 11 0 542841467 861302784 33586 4294967295 134512640 134569956 3221224400 3221214640 1131218973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33586 13073 16 0 210263 0
vsize: 841116
[startup+950.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 91675 50 0 0 25 0 11 0 542841467 861302784 33663 4294967295 134512640 134569956 3221224400 3221214640 1131219023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33663 13073 16 0 210263 0
vsize: 841116
[startup+960.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 92656 50 0 0 25 0 11 0 542841467 861302784 33737 4294967295 134512640 134569956 3221224400 3221214048 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33737 13073 16 0 210263 0
vsize: 841116
[startup+970.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 93634 50 0 0 25 0 11 0 542841467 861302784 33839 4294967295 134512640 134569956 3221224400 3221214608 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33839 13073 16 0 210263 0
vsize: 841116
[startup+980.376 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 94613 50 0 0 25 0 11 0 542841467 861302784 33949 4294967295 134512640 134569956 3221224400 3221214640 1131219017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 33949 13073 16 0 210263 0
vsize: 841116
[startup+990.376 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 95592 50 0 0 25 0 11 0 542841467 861302784 34030 4294967295 134512640 134569956 3221224400 3221214296 1131648836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34030 13073 16 0 210263 0
vsize: 841116
[startup+1000.38 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 96574 50 0 0 25 0 11 0 542841467 861302784 34117 4294967295 134512640 134569956 3221224400 3221214640 1131218778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34117 13073 16 0 210263 0
vsize: 841116
[startup+1010.38 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 97554 51 0 0 25 0 11 0 542841467 861302784 34192 4294967295 134512640 134569956 3221224400 3221214640 1131219612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34192 13073 16 0 210263 0
vsize: 841116
[startup+1020.38 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 98533 51 0 0 25 0 11 0 542841467 861302784 34266 4294967295 134512640 134569956 3221224400 3221214408 1131648757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34266 13073 16 0 210263 0
vsize: 841116
[startup+1030.38 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 99513 51 0 0 25 0 11 0 542841467 861302784 34353 4294967295 134512640 134569956 3221224400 3221214640 1131219106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34353 13073 16 0 210263 0
vsize: 841116
[startup+1040.38 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 100495 51 0 0 25 0 11 0 542841467 861302784 34427 4294967295 134512640 134569956 3221224400 3221214120 1131647593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34427 13073 16 0 210263 0
vsize: 841116
[startup+1050.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 101476 51 0 0 25 0 11 0 542841467 861302784 34490 4294967295 134512640 134569956 3221224400 3221214640 1131219323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34490 13073 16 0 210263 0
vsize: 841116
[startup+1060.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 102455 51 0 0 25 0 11 0 542841467 861302784 34576 4294967295 134512640 134569956 3221224400 3221214680 1131218281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34576 13073 16 0 210263 0
vsize: 841116
[startup+1070.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 103434 51 0 0 25 0 11 0 542841467 861302784 34651 4294967295 134512640 134569956 3221224400 3221214632 1131249377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34651 13073 16 0 210263 0
vsize: 841116
[startup+1080.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 104416 51 0 0 25 0 11 0 542841467 861302784 34740 4294967295 134512640 134569956 3221224400 3221214680 1131218277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34740 13073 16 0 210263 0
vsize: 841116
[startup+1090.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 105395 51 0 0 25 0 11 0 542841467 861302784 34815 4294967295 134512640 134569956 3221224400 3221214776 1131324791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34815 13073 16 0 210263 0
vsize: 841116
[startup+1100.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 106374 51 0 0 25 0 11 0 542841467 861302784 34903 4294967295 134512640 134569956 3221224400 3221214776 1131324591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210279 34903 13073 16 0 210263 0
vsize: 841116
[startup+1110.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 107352 51 0 0 24 0 11 0 542841467 861302784 34965 4294967295 134512640 134569956 3221224400 3221214776 1131326090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 34965 13073 16 0 210263 0
vsize: 841116
[startup+1120.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 108332 51 0 0 25 0 11 0 542841467 861302784 35065 4294967295 134512640 134569956 3221224400 3221214776 1131325892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35065 13073 16 0 210263 0
vsize: 841116
[startup+1130.4 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 109311 51 0 0 25 0 11 0 542841467 861302784 35141 4294967295 134512640 134569956 3221224400 3221214612 1131648912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35141 13073 16 0 210263 0
vsize: 841116
[startup+1140.4 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 110287 51 0 0 18 0 11 0 542841467 861302784 35217 4294967295 134512640 134569956 3221224400 3221214772 1131219738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35217 13073 16 0 210263 0
vsize: 841116
[startup+1150.4 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 111264 51 0 0 25 0 11 0 542841467 861302784 35300 4294967295 134512640 134569956 3221224400 3221214680 1131218277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35300 13073 16 0 210263 0
vsize: 841116
[startup+1160.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 112241 51 0 0 25 0 11 0 542841467 861302784 35398 4294967295 134512640 134569956 3221224400 3221214680 1131218776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35398 13073 16 0 210263 0
vsize: 841116
[startup+1170.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 113220 51 0 0 25 0 11 0 542841467 861302784 35489 4294967295 134512640 134569956 3221224400 3221214656 1131642453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35489 13073 16 0 210263 0
vsize: 841116
[startup+1180.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 114196 52 0 0 25 0 11 0 542841467 861302784 35609 4294967295 134512640 134569956 3221224400 3221214680 1131218277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35609 13073 16 0 210263 0
vsize: 841116
[startup+1190.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 115172 52 0 0 24 0 11 0 542841467 861302784 35683 4294967295 134512640 134569956 3221224400 3221214680 1131219704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35683 13073 16 0 210263 0
vsize: 841116
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 116150 52 0 0 25 0 11 0 542841467 861302784 35769 4294967295 134512640 134569956 3221224400 3221214680 1131219643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35769 13073 16 0 210263 0
vsize: 841116
[startup+1210.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23397
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 117127 52 0 0 25 0 11 0 542841467 861302784 35901 4294967295 134512640 134569956 3221224400 3221214776 1131324575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35901 13073 16 0 210263 0
vsize: 841116
[startup+1220.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23399
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 118105 52 0 0 25 0 11 0 542841467 861302784 35994 4294967295 134512640 134569956 3221224400 3221214680 1131218778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 35994 13073 16 0 210263 0
vsize: 841116
[startup+1230.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23399
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 119081 52 0 0 25 0 11 0 542841467 861302784 36082 4294967295 134512640 134569956 3221224400 3221214776 1131324929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 36082 13073 16 0 210263 0
vsize: 841116
[startup+1240.41 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 23399
Raw data (stat): 23379 (java) R 23378 20838 20837 0 -1 0 18088 0 1 0 120058 52 0 0 24 0 11 0 542841467 861302784 36187 4294967295 134512640 134569956 3221224400 3221214680 1131218769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210279 36187 13073 16 0 210263 0
vsize: 841116
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.5 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 23401
Raw data (stat): 23379 (java) Z 23378 20838 20837 0 -1 1036 18088 16044 1 0 120060 52 3654 49 25 0 1 0 542841467 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.5
CPU time (s): 1238.17
CPU user time (s): 1237.15
CPU system time (s): 1.02184
CPU usage (%): 99.8122
Max. virtual memory (Kb): 843148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####