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/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
Bench Category	optimization, medium integers (OPTMEDINT)
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.120981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 15230

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        848776 kB
Buffers:         18356 kB
Cached:         138732 kB
SwapCached:        604 kB
Active:          30080 kB
Inactive:       129076 kB
HighTotal:      131008 kB
HighFree:        40348 kB
LowTotal:       903652 kB
LowFree:        808428 kB
SwapTotal:     2097892 kB
SwapFree:      2096484 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5236 kB
Slab:            21132 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:45:55 (client local time) WITH STATUS 143 IN 1263.79 SECONDS
stats: 18170 7 1263.79 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-air04.opb
c reading problem 
c [nbvar=8904]
c [nbconstr=9727]
c time 33.079
c #vars     8904
c #clauses  1646
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.84 0.94 0.90 2/54 11416
Raw data (stat): 11416 (runsolver) R 11415 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541817467 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 11425
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 17984 0 1 0 889 42 0 0 25 0 10 0 541817467 853565440 19131 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208390 19131 13073 16 0 208374 0
vsize: 833560
[startup+20.0025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 11425
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 17985 0 1 0 1772 42 0 0 25 0 10 0 541817467 854044672 19757 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208507 19757 13073 16 0 208491 0
vsize: 834028
[startup+30.0033 s]
Raw data (loadavg): 1.17 1.01 0.92 2/63 11425
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18000 0 1 0 2683 43 0 0 25 0 10 0 541817467 862883840 22182 4294967295 134512640 134569956 3221224400 3221214272 1131245627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210665 22182 13073 16 0 210649 0
vsize: 842660
[startup+40.0491 s]
Raw data (loadavg): 1.38 1.05 0.94 3/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18067 0 1 0 3515 45 0 0 25 0 11 0 541817467 863338496 25570 4294967295 134512640 134569956 3221224400 3221214848 1131409196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 25570 13073 16 0 210760 0
vsize: 843104
[startup+50.0505 s]
Raw data (loadavg): 1.32 1.05 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 4475 46 0 0 25 0 11 0 541817467 863174656 25563 4294967295 134512640 134569956 3221224400 3221214848 1131409244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25563 13073 16 0 210720 0
vsize: 842944
[startup+60.0509 s]
Raw data (loadavg): 1.27 1.05 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 5451 46 0 0 25 0 11 0 541817467 863174656 25576 4294967295 134512640 134569956 3221224400 3221214676 1131311148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25576 13073 16 0 210720 0
vsize: 842944
[startup+70.0521 s]
Raw data (loadavg): 1.23 1.05 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 6416 47 0 0 24 0 11 0 541817467 863174656 25576 4294967295 134512640 134569956 3221224400 3221214708 1131366099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25576 13073 16 0 210720 0
vsize: 842944
[startup+80.0526 s]
Raw data (loadavg): 1.19 1.05 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 7384 47 0 0 25 0 11 0 541817467 863174656 25579 4294967295 134512640 134569956 3221224400 3221214784 1131539924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25579 13073 16 0 210720 0
vsize: 842944
[startup+90.0525 s]
Raw data (loadavg): 1.16 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18068 0 1 0 8350 47 0 0 25 0 11 0 541817467 863174656 25656 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25656 13073 16 0 210720 0
vsize: 842944
[startup+100.054 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 9317 47 0 0 24 0 11 0 541817467 863174656 25717 4294967295 134512640 134569956 3221224400 3221214608 1131360960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25717 13073 16 0 210720 0
vsize: 842944
[startup+110.055 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 10281 48 0 0 25 0 11 0 541817467 863174656 25785 4294967295 134512640 134569956 3221224400 3221214664 1131501306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25785 13073 16 0 210720 0
vsize: 842944
[startup+120.056 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 11247 48 0 0 25 0 11 0 541817467 863174656 25814 4294967295 134512640 134569956 3221224400 3221214688 1131539924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 25814 13073 16 0 210720 0
vsize: 842944
[startup+130.056 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 12209 48 0 0 25 0 11 0 541817467 863174656 25905 4294967295 134512640 134569956 3221224400 3221214816 1131409196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25905 13073 16 0 210720 0
vsize: 842944
[startup+140.056 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18068 0 1 0 13174 48 0 0 25 0 11 0 541817467 863174656 25966 4294967295 134512640 134569956 3221224400 3221214784 1131469215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 25966 13073 16 0 210720 0
vsize: 842944
[startup+150.057 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 14143 48 0 0 25 0 11 0 541817467 863174656 26006 4294967295 134512640 134569956 3221224400 3221214784 1131467005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26006 13073 16 0 210720 0
vsize: 842944
[startup+160.057 s]
Raw data (loadavg): 1.12 1.05 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 15098 49 0 0 24 0 11 0 541817467 863174656 26038 4294967295 134512640 134569956 3221224400 3221214676 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26038 13073 16 0 210720 0
vsize: 842944
[startup+170.058 s]
Raw data (loadavg): 1.10 1.05 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 16064 49 0 0 25 0 11 0 541817467 863174656 26151 4294967295 134512640 134569956 3221224400 3221214816 1131409248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26151 13073 16 0 210720 0
vsize: 842944
[startup+180.058 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 17021 49 0 0 24 0 11 0 541817467 863174656 26190 4294967295 134512640 134569956 3221224400 3221214736 1131416976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26190 13073 16 0 210720 0
vsize: 842944
[startup+190.06 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 17980 50 0 0 25 0 11 0 541817467 863174656 26270 4294967295 134512640 134569956 3221224400 3221214816 1131409252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26270 13073 16 0 210720 0
vsize: 842944
[startup+200.06 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 18936 51 0 0 25 0 11 0 541817467 863174656 26318 4294967295 134512640 134569956 3221224400 3221214816 1131409207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26318 13073 16 0 210720 0
vsize: 842944
[startup+210.06 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 19886 51 0 0 25 0 11 0 541817467 863174656 26368 4294967295 134512640 134569956 3221224400 3221214784 1131467449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 26368 13073 16 0 210720 0
vsize: 842944
[startup+220.061 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 20829 51 0 0 24 0 11 0 541817467 863174656 26485 4294967295 134512640 134569956 3221224400 3221214728 1131199696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26485 13073 16 0 210720 0
vsize: 842944
[startup+230.062 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 21785 51 0 0 25 0 11 0 541817467 863174656 26595 4294967295 134512640 134569956 3221224400 3221214816 1131409232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26595 13073 16 0 210720 0
vsize: 842944
[startup+240.063 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18069 0 1 0 22740 51 0 0 25 0 11 0 541817467 863174656 26700 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26700 13073 16 0 210720 0
vsize: 842944
[startup+250.064 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 23696 52 0 0 25 0 11 0 541817467 863174656 26804 4294967295 134512640 134569956 3221224400 3221214816 1131409196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26804 13073 16 0 210720 0
vsize: 842944
[startup+260.064 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 24648 52 0 0 25 0 11 0 541817467 863174656 26851 4294967295 134512640 134569956 3221224400 3221214792 1131451697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26851 13073 16 0 210720 0
vsize: 842944
[startup+270.065 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 25600 52 0 0 25 0 11 0 541817467 863174656 26920 4294967295 134512640 134569956 3221224400 3221214816 1131409196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 26920 13073 16 0 210720 0
vsize: 842944
[startup+280.065 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 26541 52 0 0 25 0 11 0 541817467 863174656 27058 4294967295 134512640 134569956 3221224400 3221214740 1131365344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27058 13073 16 0 210720 0
vsize: 842944
[startup+290.067 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 27483 53 0 0 25 0 11 0 541817467 863174656 27114 4294967295 134512640 134569956 3221224400 3221214816 1131409259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27114 13073 16 0 210720 0
vsize: 842944
[startup+300.071 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18069 0 1 0 28431 53 0 0 25 0 11 0 541817467 863174656 27248 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27248 13073 16 0 210720 0
vsize: 842944
[startup+310.072 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 29383 53 0 0 25 0 11 0 541817467 863174656 27387 4294967295 134512640 134569956 3221224400 3221214816 1131409248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27387 13073 16 0 210720 0
vsize: 842944
[startup+320.073 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18069 0 1 0 30335 54 0 0 24 0 11 0 541817467 863174656 27521 4294967295 134512640 134569956 3221224400 3221214744 1131426411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27521 13073 16 0 210720 0
vsize: 842944
[startup+330.074 s]
Raw data (loadavg): 1.00 1.02 0.94 3/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 31300 54 0 0 25 0 11 0 541817467 863174656 27605 4294967295 134512640 134569956 3221224400 3221214744 1131427591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 27605 13073 16 0 210720 0
vsize: 842944
[startup+340.075 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 32256 54 0 0 25 0 11 0 541817467 863174656 27674 4294967295 134512640 134569956 3221224400 3221214784 1131467069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27674 13073 16 0 210720 0
vsize: 842944
[startup+350.076 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 33216 55 0 0 25 0 11 0 541817467 863174656 27735 4294967295 134512640 134569956 3221224400 3221214472 1131294762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27735 13073 16 0 210720 0
vsize: 842944
[startup+360.076 s]
Raw data (loadavg): 1.00 1.02 0.94 3/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 34176 55 0 0 25 0 11 0 541817467 863174656 27825 4294967295 134512640 134569956 3221224400 3221214744 1131425386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 27825 13073 16 0 210720 0
vsize: 842944
[startup+370.077 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 35122 55 0 0 25 0 11 0 541817467 863174656 27896 4294967295 134512640 134569956 3221224400 3221214568 1131639237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27896 13073 16 0 210720 0
vsize: 842944
[startup+380.078 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 36070 56 0 0 24 0 11 0 541817467 863174656 27962 4294967295 134512640 134569956 3221224400 3221214648 1131359663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 27962 13073 16 0 210720 0
vsize: 842944
[startup+390.078 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 37031 56 0 0 25 0 11 0 541817467 863174656 28025 4294967295 134512640 134569956 3221224400 3221214576 1131543351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28025 13073 16 0 210720 0
vsize: 842944
[startup+400.079 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18070 0 1 0 37978 56 0 0 25 0 11 0 541817467 863174656 28152 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28152 13073 16 0 210720 0
vsize: 842944
[startup+410.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 38932 56 0 0 25 0 11 0 541817467 863174656 28280 4294967295 134512640 134569956 3221224400 3221214816 1131409196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28280 13073 16 0 210720 0
vsize: 842944
[startup+420.081 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18070 0 1 0 39893 57 0 0 25 0 11 0 541817467 863174656 28375 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28375 13073 16 0 210720 0
vsize: 842944
[startup+430.082 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 40849 57 0 0 25 0 11 0 541817467 863174656 28452 4294967295 134512640 134569956 3221224400 3221214736 1131412127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28452 13073 16 0 210720 0
vsize: 842944
[startup+440.081 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 41810 58 0 0 25 0 11 0 541817467 863174656 28525 4294967295 134512640 134569956 3221224400 3221214744 1131426618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28525 13073 16 0 210720 0
vsize: 842944
[startup+450.082 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 42778 58 0 0 25 0 11 0 541817467 863174656 28579 4294967295 134512640 134569956 3221224400 3221214784 1131468427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28579 13073 16 0 210720 0
vsize: 842944
[startup+460.083 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 43743 58 0 0 25 0 11 0 541817467 863174656 28655 4294967295 134512640 134569956 3221224400 3221214736 1131458369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28655 13073 16 0 210720 0
vsize: 842944
[startup+470.084 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 44706 59 0 0 25 0 11 0 541817467 863174656 28677 4294967295 134512640 134569956 3221224400 3221214744 1131431519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28677 13073 16 0 210720 0
vsize: 842944
[startup+480.085 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 45666 59 0 0 25 0 11 0 541817467 863174656 28714 4294967295 134512640 134569956 3221224400 3221214648 1131355482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28714 13073 16 0 210720 0
vsize: 842944
[startup+490.085 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 46627 59 0 0 25 0 11 0 541817467 863174656 28772 4294967295 134512640 134569956 3221224400 3221214664 1131497891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28772 13073 16 0 210720 0
vsize: 842944
[startup+500.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 47583 59 0 0 25 0 11 0 541817467 863174656 28842 4294967295 134512640 134569956 3221224400 3221214688 1131202875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28842 13073 16 0 210720 0
vsize: 842944
[startup+510.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 48540 60 0 0 25 0 11 0 541817467 863174656 28909 4294967295 134512640 134569956 3221224400 3221214784 1131468394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28909 13073 16 0 210720 0
vsize: 842944
[startup+520.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 49496 60 0 0 25 0 11 0 541817467 863174656 28968 4294967295 134512640 134569956 3221224400 3221214624 1131536810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 28968 13073 16 0 210720 0
vsize: 842944
[startup+530.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 50448 60 0 0 25 0 11 0 541817467 863174656 29032 4294967295 134512640 134569956 3221224400 3221214368 1131361107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29032 13073 16 0 210720 0
vsize: 842944
[startup+540.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 51400 61 0 0 25 0 11 0 541817467 863174656 29069 4294967295 134512640 134569956 3221224400 3221214784 1131468735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29069 13073 16 0 210720 0
vsize: 842944
[startup+550.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 52341 61 0 0 25 0 11 0 541817467 863174656 29113 4294967295 134512640 134569956 3221224400 3221214816 1131409248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29113 13073 16 0 210720 0
vsize: 842944
[startup+560.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 53298 61 0 0 25 0 11 0 541817467 863174656 29248 4294967295 134512640 134569956 3221224400 3221214648 1131354617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29248 13073 16 0 210720 0
vsize: 842944
[startup+570.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 54244 62 0 0 25 0 11 0 541817467 863174656 29376 4294967295 134512640 134569956 3221224400 3221214648 1131359589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29376 13073 16 0 210720 0
vsize: 842944
[startup+580.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 55192 62 0 0 25 0 11 0 541817467 863174656 29461 4294967295 134512640 134569956 3221224400 3221214624 1131536802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29461 13073 16 0 210720 0
vsize: 842944
[startup+590.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 56148 62 0 0 25 0 11 0 541817467 863174656 29524 4294967295 134512640 134569956 3221224400 3221214816 1131409217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29524 13073 16 0 210720 0
vsize: 842944
[startup+600.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 57100 62 0 0 25 0 11 0 541817467 863174656 29626 4294967295 134512640 134569956 3221224400 3221214744 1131433759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29626 13073 16 0 210720 0
vsize: 842944
[startup+610.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 58053 63 0 0 25 0 11 0 541817467 863174656 29720 4294967295 134512640 134569956 3221224400 3221214784 1131469115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29720 13073 16 0 210720 0
vsize: 842944
[startup+620.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 59012 63 0 0 25 0 11 0 541817467 863174656 29789 4294967295 134512640 134569956 3221224400 3221214784 1131468822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29789 13073 16 0 210720 0
vsize: 842944
[startup+630.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 59963 63 0 0 25 0 11 0 541817467 863174656 29837 4294967295 134512640 134569956 3221224400 3221214816 1131409196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29837 13073 16 0 210720 0
vsize: 842944
[startup+640.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 60912 63 0 0 25 0 11 0 541817467 863174656 29880 4294967295 134512640 134569956 3221224400 3221214624 1131536877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 29880 13073 16 0 210720 0
vsize: 842944
[startup+650.093 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 61867 64 0 0 25 0 11 0 541817467 863174656 30003 4294967295 134512640 134569956 3221224400 3221214816 1131409476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30003 13073 16 0 210720 0
vsize: 842944
[startup+660.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 62821 64 0 0 25 0 11 0 541817467 863174656 30086 4294967295 134512640 134569956 3221224400 3221214664 1131501335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30086 13073 16 0 210720 0
vsize: 842944
[startup+670.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 63777 64 0 0 25 0 11 0 541817467 863174656 30157 4294967295 134512640 134569956 3221224400 3221214664 1131501306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30157 13073 16 0 210720 0
vsize: 842944
[startup+680.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 64732 64 0 0 25 0 11 0 541817467 863174656 30216 4294967295 134512640 134569956 3221224400 3221214816 1131409418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30216 13073 16 0 210720 0
vsize: 842944
[startup+690.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 65697 64 0 0 25 0 11 0 541817467 863174656 30306 4294967295 134512640 134569956 3221224400 3221214664 1131499554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30306 13073 16 0 210720 0
vsize: 842944
[startup+700.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 66653 65 0 0 25 0 11 0 541817467 863174656 30352 4294967295 134512640 134569956 3221224400 3221214652 1080203744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30352 13073 16 0 210720 0
vsize: 842944
[startup+710.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 67608 65 0 0 25 0 11 0 541817467 863174656 30424 4294967295 134512640 134569956 3221224400 3221214664 1131592042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 30424 13073 16 0 210720 0
vsize: 842944
[startup+720.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 68565 65 0 0 25 0 11 0 541817467 863174656 30480 4294967295 134512640 134569956 3221224400 3221214760 1131457401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30480 13073 16 0 210720 0
vsize: 842944
[startup+730.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 69527 66 0 0 24 0 11 0 541817467 863174656 30510 4294967295 134512640 134569956 3221224400 3221214672 1131597504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30510 13073 16 0 210720 0
vsize: 842944
[startup+740.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 70492 66 0 0 25 0 11 0 541817467 863174656 30587 4294967295 134512640 134569956 3221224400 3221214664 1131497738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30587 13073 16 0 210720 0
vsize: 842944
[startup+750.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 71451 66 0 0 25 0 11 0 541817467 863174656 30754 4294967295 134512640 134569956 3221224400 3221214816 1131409196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30754 13073 16 0 210720 0
vsize: 842944
[startup+760.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 72420 66 0 0 25 0 11 0 541817467 863174656 30814 4294967295 134512640 134569956 3221224400 3221214648 1131451704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30814 13073 16 0 210720 0
vsize: 842944
[startup+770.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 73382 67 0 0 25 0 11 0 541817467 863174656 30870 4294967295 134512640 134569956 3221224400 3221214464 1131361232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30870 13073 16 0 210720 0
vsize: 842944
[startup+780.11 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 74342 67 0 0 25 0 11 0 541817467 863174656 30954 4294967295 134512640 134569956 3221224400 3221214664 1131498165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 30954 13073 16 0 210720 0
vsize: 842944
[startup+790.109 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 75307 67 0 0 25 0 11 0 541817467 863174656 31000 4294967295 134512640 134569956 3221224400 3221214464 1131360960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 31000 13073 16 0 210720 0
vsize: 842944
[startup+800.11 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 76268 67 0 0 25 0 11 0 541817467 863174656 31000 4294967295 134512640 134569956 3221224400 3221214744 1131425386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31000 13073 16 0 210720 0
vsize: 842944
[startup+810.111 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 77219 67 0 0 25 0 11 0 541817467 863174656 31095 4294967295 134512640 134569956 3221224400 3221214648 1131354846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31095 13073 16 0 210720 0
vsize: 842944
[startup+820.112 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 78170 67 0 0 25 0 11 0 541817467 863174656 31214 4294967295 134512640 134569956 3221224400 3221214648 1131354643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31214 13073 16 0 210720 0
vsize: 842944
[startup+830.12 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 79125 68 0 0 25 0 11 0 541817467 863174656 31306 4294967295 134512640 134569956 3221224400 3221214816 1131409196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31306 13073 16 0 210720 0
vsize: 842944
[startup+840.125 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18070 0 1 0 80080 68 0 0 25 0 11 0 541817467 863174656 31389 4294967295 134512640 134569956 3221224400 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31389 13073 16 0 210720 0
vsize: 842944
[startup+850.126 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 81042 68 0 0 25 0 11 0 541817467 863174656 31474 4294967295 134512640 134569956 3221224400 3221214744 1131425379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31474 13073 16 0 210720 0
vsize: 842944
[startup+860.125 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 81997 69 0 0 25 0 11 0 541817467 863174656 31540 4294967295 134512640 134569956 3221224400 3221214736 1131416988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31540 13073 16 0 210720 0
vsize: 842944
[startup+870.126 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 82944 69 0 0 25 0 11 0 541817467 863174656 31593 4294967295 134512640 134569956 3221224400 3221214648 1131354742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31593 13073 16 0 210720 0
vsize: 842944
[startup+880.126 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 83884 69 0 0 25 0 11 0 541817467 863174656 31632 4294967295 134512640 134569956 3221224400 3221214672 1131597519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31632 13073 16 0 210720 0
vsize: 842944
[startup+890.126 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 84840 69 0 0 25 0 11 0 541817467 863174656 31677 4294967295 134512640 134569956 3221224400 3221214672 1131597516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31677 13073 16 0 210720 0
vsize: 842944
[startup+900.127 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18070 0 1 0 85792 70 0 0 25 0 11 0 541817467 863174656 31819 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31822 13073 16 0 210720 0
vsize: 842944
[startup+910.127 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 86763 70 0 0 25 0 11 0 541817467 863174656 31904 4294967295 134512640 134569956 3221224400 3221214576 1131379373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 31904 13073 16 0 210720 0
vsize: 842944
[startup+920.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 87737 70 0 0 25 0 11 0 541817467 863174656 32007 4294967295 134512640 134569956 3221224400 3221214672 1131597620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32007 13073 16 0 210720 0
vsize: 842944
[startup+930.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 88726 70 0 0 25 0 11 0 541817467 863174656 32114 4294967295 134512640 134569956 3221224400 3221214568 1131296928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32114 13073 16 0 210720 0
vsize: 842944
[startup+940.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 89719 70 0 0 25 0 11 0 541817467 863174656 32115 4294967295 134512640 134569956 3221224400 3221214456 1131361037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 32115 13073 16 0 210720 0
vsize: 842944
[startup+950.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 90709 70 0 0 25 0 11 0 541817467 863174656 32115 4294967295 134512640 134569956 3221224400 3221214464 1131361107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32115 13073 16 0 210720 0
vsize: 842944
[startup+960.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 91698 71 0 0 25 0 11 0 541817467 863174656 32115 4294967295 134512640 134569956 3221224400 3221214464 1131361107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32115 13073 16 0 210720 0
vsize: 842944
[startup+970.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 92687 71 0 0 25 0 11 0 541817467 863174656 32115 4294967295 134512640 134569956 3221224400 3221214672 1131597536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32115 13073 16 0 210720 0
vsize: 842944
[startup+980.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 93661 71 0 0 25 0 11 0 541817467 863174656 32135 4294967295 134512640 134569956 3221224400 3221214784 1131468800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32135 13073 16 0 210720 0
vsize: 842944
[startup+990.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 94628 72 0 0 25 0 11 0 541817467 863174656 32154 4294967295 134512640 134569956 3221224400 3221214648 1131354657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32154 13073 16 0 210720 0
vsize: 842944
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 95594 72 0 0 25 0 11 0 541817467 863174656 32154 4294967295 134512640 134569956 3221224400 3221214648 1131355482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32154 13073 16 0 210720 0
vsize: 842944
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 96548 72 0 0 25 0 11 0 541817467 863174656 32172 4294967295 134512640 134569956 3221224400 3221214664 1131500631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32172 13073 16 0 210720 0
vsize: 842944
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 97502 72 0 0 25 0 11 0 541817467 863174656 32277 4294967295 134512640 134569956 3221224400 3221214744 1131425183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32277 13073 16 0 210720 0
vsize: 842944
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) S 11415 18865 18864 0 -1 0 18070 0 1 0 98459 73 0 0 25 0 11 0 541817467 863174656 32313 4294967295 134512640 134569956 3221224400 3221213200 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32314 13073 16 0 210720 0
vsize: 842944
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 99422 73 0 0 25 0 11 0 541817467 863174656 32365 4294967295 134512640 134569956 3221224400 3221214672 1131597516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32365 13073 16 0 210720 0
vsize: 842944
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 100389 73 0 0 25 0 11 0 541817467 863174656 32438 4294967295 134512640 134569956 3221224400 3221214596 1131618931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32438 13073 16 0 210720 0
vsize: 842944
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 101357 73 0 0 25 0 11 0 541817467 863174656 32512 4294967295 134512640 134569956 3221224400 3221214608 1131361164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32512 13073 16 0 210720 0
vsize: 842944
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 102329 74 0 0 25 0 11 0 541817467 863174656 32571 4294967295 134512640 134569956 3221224400 3221214576 1131377525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32571 13073 16 0 210720 0
vsize: 842944
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 103302 74 0 0 25 0 11 0 541817467 863174656 32591 4294967295 134512640 134569956 3221224400 3221214576 1131377548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32591 13073 16 0 210720 0
vsize: 842944
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 104279 75 0 0 25 0 11 0 541817467 863174656 32591 4294967295 134512640 134569956 3221224400 3221214672 1131597527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32591 13073 16 0 210720 0
vsize: 842944
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 105256 75 0 0 25 0 11 0 541817467 863174656 32614 4294967295 134512640 134569956 3221224400 3221214456 1131360943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32614 13073 16 0 210720 0
vsize: 842944
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 106235 76 0 0 25 0 11 0 541817467 863174656 32643 4294967295 134512640 134569956 3221224400 3221214784 1131466912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32643 13073 16 0 210720 0
vsize: 842944
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 107220 76 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214672 1131597504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 108219 77 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214464 1131361021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 109217 77 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214672 1131597519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.95 3/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 110214 77 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221213288 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 111212 77 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214464 1131360960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 112208 77 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214664 1131592032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 113207 78 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214464 1131361979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1190.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 114205 78 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214576 1131377525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 115189 78 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214816 1131409210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1210.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 116159 78 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214784 1131469920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1220.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 117119 78 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214544 1131512565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1230.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 118084 79 0 0 25 0 11 0 541817467 863174656 32739 4294967295 134512640 134569956 3221224400 3221214712 1131296913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32739 13073 16 0 210720 0
vsize: 842944
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 119036 79 0 0 25 0 11 0 541817467 863174656 32869 4294967295 134512640 134569956 3221224400 3221214768 1131455937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32869 13073 16 0 210720 0
vsize: 842944
[startup+1250.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11426
Raw data (stat): 11416 (java) R 11415 18865 18864 0 -1 0 18070 0 1 0 119978 79 0 0 25 0 11 0 541817467 863174656 32912 4294967295 134512640 134569956 3221224400 3221214744 1131428322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210736 32912 13073 16 0 210720 0
vsize: 842944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.33 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 11428
Raw data (stat): 11416 (java) Z 11415 18865 18864 0 -1 1036 18070 19193 1 1 119983 85 6257 51 25 0 1 0 541817467 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.33
CPU time (s): 1263.79
CPU user time (s): 1262.41
CPU system time (s): 1.37679
CPU usage (%): 101.076
Max. virtual memory (Kb): 843104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####