PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
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.12098
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 22374

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-22 03:01:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11657 boxname=wulflinc22 idbench=897 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 11657
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        797032 kB
Buffers:         24420 kB
Cached:         177144 kB
SwapCached:      12296 kB
Active:          32172 kB
Inactive:       183384 kB
HighTotal:      131008 kB
HighFree:        50764 kB
LowTotal:       903652 kB
LowFree:        746268 kB
SwapTotal:     2097892 kB
SwapFree:      2085136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            16372 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:22:17 (client local time) WITH STATUS 143 IN 1273.69 SECONDS
stats: 11657 7 1273.69 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-air04.opb
c reading problem 
c [nbvar=8904]
c [nbconstr=9727]
c time 32.274
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.96 1.00 0.95 2/54 16123
Raw data (stat): 16123 (runsolver) R 16122 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550316935 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.97 1.00 0.95 2/63 16134
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 17997 0 1 0 882 46 0 0 25 0 10 0 550316935 854069248 19215 4294967295 134512640 134569956 3221224400 3221214628 1131093158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 19215 13073 16 0 208497 0
vsize: 834052
[startup+20.0013 s]
Raw data (loadavg): 0.97 1.00 0.95 2/63 16134
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 17998 0 1 0 1764 46 0 0 25 0 10 0 550316935 855150592 19940 4294967295 134512640 134569956 3221224400 3221214824 1131222463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208777 19940 13073 16 0 208761 0
vsize: 835108
[startup+30.0026 s]
Raw data (loadavg): 0.98 1.00 0.95 2/63 16134
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18014 0 1 0 2655 46 0 0 25 0 10 0 550316935 861814784 21877 4294967295 134512640 134569956 3221224400 3221214808 1130883836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210404 21877 13073 16 0 210388 0
vsize: 841616
[startup+40.0297 s]
Raw data (loadavg): 1.21 1.05 0.96 3/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18081 0 1 0 3420 48 0 0 25 0 11 0 550316935 863031296 25557 4294967295 134512640 134569956 3221224400 3221214680 1131346081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25557 13073 16 0 210685 0
vsize: 842804
[startup+50.0564 s]
Raw data (loadavg): 1.17 1.05 0.96 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 4394 48 0 0 25 0 11 0 550316935 863031296 25485 4294967295 134512640 134569956 3221224400 3221214840 1131398478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 25485 13073 16 0 210685 0
vsize: 842804
[startup+60.0576 s]
Raw data (loadavg): 1.22 1.06 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 5362 49 0 0 25 0 11 0 550316935 865628160 26138 4294967295 134512640 134569956 3221224400 3221214592 1131352461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211335 26138 13073 16 0 211319 0
vsize: 845340
[startup+70.0582 s]
Raw data (loadavg): 1.19 1.06 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 6331 49 0 0 25 0 11 0 550316935 865464320 26098 4294967295 134512640 134569956 3221224400 3221214712 1131463837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211295 26098 13073 16 0 211279 0
vsize: 845180
[startup+80.0595 s]
Raw data (loadavg): 1.16 1.06 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 7299 49 0 0 25 0 11 0 550316935 865464320 26101 4294967295 134512640 134569956 3221224400 3221214712 1131465777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211295 26101 13073 16 0 211279 0
vsize: 845180
[startup+90.06 s]
Raw data (loadavg): 1.13 1.06 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 8265 49 0 0 25 0 11 0 550316935 865464320 26180 4294967295 134512640 134569956 3221224400 3221214576 1131404343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211295 26180 13073 16 0 211279 0
vsize: 845180
[startup+100.06 s]
Raw data (loadavg): 1.11 1.05 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 9233 49 0 0 25 0 11 0 550316935 863031296 25647 4294967295 134512640 134569956 3221224400 3221214700 1080203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25647 13073 16 0 210685 0
vsize: 842804
[startup+110.061 s]
Raw data (loadavg): 1.09 1.05 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 10198 49 0 0 25 0 11 0 550316935 863031296 25715 4294967295 134512640 134569956 3221224400 3221214632 1131408875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25715 13073 16 0 210685 0
vsize: 842804
[startup+120.061 s]
Raw data (loadavg): 1.08 1.05 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 11165 49 0 0 25 0 11 0 550316935 863031296 25744 4294967295 134512640 134569956 3221224400 3221214448 1131445825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25744 13073 16 0 210685 0
vsize: 842804
[startup+130.062 s]
Raw data (loadavg): 1.07 1.05 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 12128 49 0 0 25 0 11 0 550316935 863031296 25835 4294967295 134512640 134569956 3221224400 3221214800 1131398478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25835 13073 16 0 210685 0
vsize: 842804
[startup+140.062 s]
Raw data (loadavg): 1.06 1.05 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 13093 49 0 0 25 0 11 0 550316935 863031296 25896 4294967295 134512640 134569956 3221224400 3221214800 1131398497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25896 13073 16 0 210685 0
vsize: 842804
[startup+150.065 s]
Raw data (loadavg): 1.05 1.04 0.97 2/64 16135
Raw data (stat): 16123 (java) S 16122 26298 26297 0 -1 0 18082 0 1 0 14060 49 0 0 25 0 11 0 550316935 863031296 25935 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25935 13073 16 0 210685 0
vsize: 842804
[startup+160.066 s]
Raw data (loadavg): 1.11 1.06 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 15018 50 0 0 25 0 11 0 550316935 863031296 25967 4294967295 134512640 134569956 3221224400 3221214652 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 25967 13073 16 0 210685 0
vsize: 842804
[startup+170.066 s]
Raw data (loadavg): 1.10 1.06 0.97 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 15984 50 0 0 25 0 11 0 550316935 863031296 26080 4294967295 134512640 134569956 3221224400 3221214680 1131356812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26080 13073 16 0 210685 0
vsize: 842804
[startup+180.067 s]
Raw data (loadavg): 1.16 1.07 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 16942 50 0 0 25 0 11 0 550316935 863031296 26119 4294967295 134512640 134569956 3221224400 3221214632 1131408745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26119 13073 16 0 210685 0
vsize: 842804
[startup+190.068 s]
Raw data (loadavg): 1.13 1.07 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18082 0 1 0 17901 50 0 0 25 0 11 0 550316935 863031296 26199 4294967295 134512640 134569956 3221224400 3221214624 1131524082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26199 13073 16 0 210685 0
vsize: 842804
[startup+200.068 s]
Raw data (loadavg): 1.11 1.06 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 18857 50 0 0 25 0 11 0 550316935 863031296 26248 4294967295 134512640 134569956 3221224400 3221214800 1131398263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26248 13073 16 0 210685 0
vsize: 842804
[startup+210.068 s]
Raw data (loadavg): 1.10 1.06 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 19808 50 0 0 25 0 11 0 550316935 863031296 26298 4294967295 134512640 134569956 3221224400 3221214800 1131398252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26298 13073 16 0 210685 0
vsize: 842804
[startup+220.069 s]
Raw data (loadavg): 1.08 1.06 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 20754 50 0 0 25 0 11 0 550316935 863031296 26415 4294967295 134512640 134569956 3221224400 3221214624 1131437473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26415 13073 16 0 210685 0
vsize: 842804
[startup+230.07 s]
Raw data (loadavg): 1.07 1.06 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 21711 50 0 0 25 0 11 0 550316935 863031296 26525 4294967295 134512640 134569956 3221224400 3221214624 1131437476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26525 13073 16 0 210685 0
vsize: 842804
[startup+240.07 s]
Raw data (loadavg): 1.06 1.05 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 22662 50 0 0 24 0 11 0 550316935 863031296 26646 4294967295 134512640 134569956 3221224400 3221214632 1131346293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26646 13073 16 0 210685 0
vsize: 842804
[startup+250.07 s]
Raw data (loadavg): 1.05 1.05 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 23622 50 0 0 25 0 11 0 550316935 863031296 26734 4294967295 134512640 134569956 3221224400 3221214712 1131463837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26734 13073 16 0 210685 0
vsize: 842804
[startup+260.07 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 24573 50 0 0 25 0 11 0 550316935 863031296 26781 4294967295 134512640 134569956 3221224400 3221214800 1131398273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26781 13073 16 0 210685 0
vsize: 842804
[startup+270.071 s]
Raw data (loadavg): 1.03 1.05 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 25525 51 0 0 25 0 11 0 550316935 863031296 26850 4294967295 134512640 134569956 3221224400 3221214624 1131437486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26850 13073 16 0 210685 0
vsize: 842804
[startup+280.071 s]
Raw data (loadavg): 1.03 1.05 0.98 2/64 16135
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 26467 51 0 0 25 0 11 0 550316935 863031296 26988 4294967295 134512640 134569956 3221224400 3221214544 1131449760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 26988 13073 16 0 210685 0
vsize: 842804
[startup+290.071 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 27409 51 0 0 25 0 11 0 550316935 863031296 27044 4294967295 134512640 134569956 3221224400 3221214800 1131398300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27044 13073 16 0 210685 0
vsize: 842804
[startup+300.072 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 28353 51 0 0 24 0 11 0 550316935 863031296 27195 4294967295 134512640 134569956 3221224400 3221214800 1131398252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27195 13073 16 0 210685 0
vsize: 842804
[startup+310.072 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 29309 51 0 0 25 0 11 0 550316935 863031296 27317 4294967295 134512640 134569956 3221224400 3221214712 1131464953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27317 13073 16 0 210685 0
vsize: 842804
[startup+320.073 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 30262 51 0 0 25 0 11 0 550316935 863031296 27451 4294967295 134512640 134569956 3221224400 3221214728 1131418874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27451 13073 16 0 210685 0
vsize: 842804
[startup+330.074 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 31222 51 0 0 25 0 11 0 550316935 863031296 27536 4294967295 134512640 134569956 3221224400 3221214728 1131415280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27536 13073 16 0 210685 0
vsize: 842804
[startup+340.074 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 32184 51 0 0 25 0 11 0 550316935 863031296 27603 4294967295 134512640 134569956 3221224400 3221214616 1131310085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27603 13073 16 0 210685 0
vsize: 842804
[startup+350.075 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 33145 51 0 0 25 0 11 0 550316935 863031296 27664 4294967295 134512640 134569956 3221224400 3221214800 1131398300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 27664 13073 16 0 210685 0
vsize: 842804
[startup+360.076 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 34099 51 0 0 25 0 11 0 550316935 863031296 27766 4294967295 134512640 134569956 3221224400 3221214800 1131398312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27766 13073 16 0 210685 0
vsize: 842804
[startup+370.075 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 35051 51 0 0 25 0 11 0 550316935 863031296 27825 4294967295 134512640 134569956 3221224400 3221214800 1131398255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27825 13073 16 0 210685 0
vsize: 842804
[startup+380.076 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 35999 51 0 0 25 0 11 0 550316935 863031296 27891 4294967295 134512640 134569956 3221224400 3221214712 1131464533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27891 13073 16 0 210685 0
vsize: 842804
[startup+390.077 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 36954 51 0 0 24 0 11 0 550316935 863031296 27978 4294967295 134512640 134569956 3221224400 3221214632 1131408738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 27978 13073 16 0 210685 0
vsize: 842804
[startup+400.078 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 37906 51 0 0 25 0 11 0 550316935 863031296 28101 4294967295 134512640 134569956 3221224400 3221214616 1131310079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 28101 13073 16 0 210685 0
vsize: 842804
[startup+410.078 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 38861 51 0 0 25 0 11 0 550316935 863031296 28209 4294967295 134512640 134569956 3221224400 3221214612 1080204329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210701 28209 13073 16 0 210685 0
vsize: 842804
[startup+420.079 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 39819 51 0 0 25 0 11 0 550316935 863031296 28312 4294967295 134512640 134569956 3221224400 3221214592 1131352461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28312 13073 16 0 210685 0
vsize: 842804
[startup+430.08 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 40779 52 0 0 25 0 11 0 550316935 863031296 28381 4294967295 134512640 134569956 3221224400 3221214800 1131398252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28381 13073 16 0 210685 0
vsize: 842804
[startup+440.08 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 41738 52 0 0 25 0 11 0 550316935 863031296 28454 4294967295 134512640 134569956 3221224400 3221214624 1131524135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28454 13073 16 0 210685 0
vsize: 842804
[startup+450.081 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 42702 52 0 0 25 0 11 0 550316935 863031296 28515 4294967295 134512640 134569956 3221224400 3221214712 1131463336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28515 13073 16 0 210685 0
vsize: 842804
[startup+460.082 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 43665 52 0 0 25 0 11 0 550316935 863031296 28593 4294967295 134512640 134569956 3221224400 3221214632 1131346081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28593 13073 16 0 210685 0
vsize: 842804
[startup+470.082 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 44627 53 0 0 25 0 11 0 550316935 863031296 28618 4294967295 134512640 134569956 3221224400 3221214624 1131437262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28618 13073 16 0 210685 0
vsize: 842804
[startup+480.083 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 45585 53 0 0 25 0 11 0 550316935 863031296 28657 4294967295 134512640 134569956 3221224400 3221214624 1131524066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28657 13073 16 0 210685 0
vsize: 842804
[startup+490.084 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 46547 53 0 0 25 0 11 0 550316935 863031296 28704 4294967295 134512640 134569956 3221224400 3221214724 1131346973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28704 13073 16 0 210685 0
vsize: 842804
[startup+500.083 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 47502 54 0 0 25 0 11 0 550316935 863031296 28779 4294967295 134512640 134569956 3221224400 3221214712 1131466371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28779 13073 16 0 210685 0
vsize: 842804
[startup+510.085 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 48459 54 0 0 25 0 11 0 550316935 863031296 28844 4294967295 134512640 134569956 3221224400 3221214800 1131398308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28844 13073 16 0 210685 0
vsize: 842804
[startup+520.085 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 49406 54 0 0 24 0 11 0 550316935 863031296 28905 4294967295 134512640 134569956 3221224400 3221214544 1131522428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28905 13073 16 0 210685 0
vsize: 842804
[startup+530.087 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 50358 55 0 0 24 0 11 0 550316935 863031296 28966 4294967295 134512640 134569956 3221224400 3221214712 1131465777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 28966 13073 16 0 210685 0
vsize: 842804
[startup+540.087 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 51308 55 0 0 25 0 11 0 550316935 863031296 29004 4294967295 134512640 134569956 3221224400 3221214728 1131419548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29004 13073 16 0 210685 0
vsize: 842804
[startup+550.086 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 52248 55 0 0 25 0 11 0 550316935 863031296 29085 4294967295 134512640 134569956 3221224400 3221214536 1131622433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29085 13073 16 0 210685 0
vsize: 842804
[startup+560.087 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 53199 55 0 0 25 0 11 0 550316935 863031296 29226 4294967295 134512640 134569956 3221224400 3221214624 1131438095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29226 13073 16 0 210685 0
vsize: 842804
[startup+570.087 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 54152 56 0 0 25 0 11 0 550316935 863031296 29333 4294967295 134512640 134569956 3221224400 3221214616 1131310017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29333 13073 16 0 210685 0
vsize: 842804
[startup+580.087 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 55093 56 0 0 24 0 11 0 550316935 863031296 29417 4294967295 134512640 134569956 3221224400 3221214728 1131413932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29417 13073 16 0 210685 0
vsize: 842804
[startup+590.088 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 56049 56 0 0 25 0 11 0 550316935 863031296 29496 4294967295 134512640 134569956 3221224400 3221214800 1131398304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29496 13073 16 0 210685 0
vsize: 842804
[startup+600.089 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 57001 57 0 0 25 0 11 0 550316935 863031296 29582 4294967295 134512640 134569956 3221224400 3221214648 1080204181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29582 13073 16 0 210685 0
vsize: 842804
[startup+610.089 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 57954 57 0 0 25 0 11 0 550316935 863031296 29700 4294967295 134512640 134569956 3221224400 3221214180 1079668353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29700 13073 16 0 210685 0
vsize: 842804
[startup+620.089 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 58905 57 0 0 25 0 11 0 550316935 863031296 29750 4294967295 134512640 134569956 3221224400 3221214712 1131466400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29750 13073 16 0 210685 0
vsize: 842804
[startup+630.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 59854 57 0 0 25 0 11 0 550316935 863031296 29789 4294967295 134512640 134569956 3221224400 3221214664 1131345999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29789 13073 16 0 210685 0
vsize: 842804
[startup+640.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 60808 58 0 0 25 0 11 0 550316935 863031296 29891 4294967295 134512640 134569956 3221224400 3221214728 1131419601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29891 13073 16 0 210685 0
vsize: 842804
[startup+650.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18083 0 1 0 61759 58 0 0 25 0 11 0 550316935 863031296 29975 4294967295 134512640 134569956 3221224400 3221214800 1131398312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 29975 13073 16 0 210685 0
vsize: 842804
[startup+660.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 62714 58 0 0 25 0 11 0 550316935 863031296 30057 4294967295 134512640 134569956 3221224400 3221214712 1131465747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30057 13073 16 0 210685 0
vsize: 842804
[startup+670.091 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 63668 58 0 0 25 0 11 0 550316935 863031296 30106 4294967295 134512640 134569956 3221224400 3221214544 1131522298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30106 13073 16 0 210685 0
vsize: 842804
[startup+680.092 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 64631 59 0 0 25 0 11 0 550316935 863031296 30170 4294967295 134512640 134569956 3221224400 3221214632 1131346365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30170 13073 16 0 210685 0
vsize: 842804
[startup+690.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) S 16122 26298 26297 0 -1 0 18084 0 1 0 65587 59 0 0 25 0 11 0 550316935 863031296 30243 4294967295 134512640 134569956 3221224400 3221213184 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30243 13073 16 0 210685 0
vsize: 842804
[startup+700.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 66527 59 0 0 24 0 11 0 550316935 863031296 30318 4294967295 134512640 134569956 3221224400 3221214640 1131550543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30318 13073 16 0 210685 0
vsize: 842804
[startup+710.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 67490 60 0 0 25 0 11 0 550316935 863031296 30408 4294967295 134512640 134569956 3221224400 3221214728 1131413932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30408 13073 16 0 210685 0
vsize: 842804
[startup+720.093 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 68452 60 0 0 25 0 11 0 550316935 863031296 30412 4294967295 134512640 134569956 3221224400 3221214632 1131553824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30412 13073 16 0 210685 0
vsize: 842804
[startup+730.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) S 16122 26298 26297 0 -1 0 18084 0 1 0 69410 60 0 0 25 0 11 0 550316935 863031296 30469 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30469 13073 16 0 210685 0
vsize: 842804
[startup+740.094 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 70370 61 0 0 25 0 11 0 550316935 863031296 30620 4294967295 134512640 134569956 3221224400 3221214528 1131668284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30620 13073 16 0 210685 0
vsize: 842804
[startup+750.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 71334 62 0 0 25 0 11 0 550316935 863031296 30731 4294967295 134512640 134569956 3221224400 3221214432 1131352386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30731 13073 16 0 210685 0
vsize: 842804
[startup+760.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 72301 62 0 0 25 0 11 0 550316935 863031296 30799 4294967295 134512640 134569956 3221224400 3221214656 1131199888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30799 13073 16 0 210685 0
vsize: 842804
[startup+770.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) S 16122 26298 26297 0 -1 0 18084 0 1 0 73262 62 0 0 25 0 11 0 550316935 863031296 30819 4294967295 134512640 134569956 3221224400 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30820 13073 16 0 210685 0
vsize: 842804
[startup+780.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 74223 62 0 0 25 0 11 0 550316935 863031296 30903 4294967295 134512640 134569956 3221224400 3221214640 1131550543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30903 13073 16 0 210685 0
vsize: 842804
[startup+790.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 75186 63 0 0 25 0 11 0 550316935 863031296 30929 4294967295 134512640 134569956 3221224400 3221214632 1131346081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30929 13073 16 0 210685 0
vsize: 842804
[startup+800.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 76137 63 0 0 25 0 11 0 550316935 863031296 30994 4294967295 134512640 134569956 3221224400 3221214632 1131346081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 30994 13073 16 0 210685 0
vsize: 842804
[startup+810.098 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 77087 63 0 0 25 0 11 0 550316935 863031296 31101 4294967295 134512640 134569956 3221224400 3221214800 1131398317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31101 13073 16 0 210685 0
vsize: 842804
[startup+820.098 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 78041 64 0 0 25 0 11 0 550316935 863031296 31212 4294967295 134512640 134569956 3221224400 3221214632 1131346926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31212 13073 16 0 210685 0
vsize: 842804
[startup+830.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 78995 64 0 0 25 0 11 0 550316935 863031296 31303 4294967295 134512640 134569956 3221224400 3221214632 1131346070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31303 13073 16 0 210685 0
vsize: 842804
[startup+840.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 79957 64 0 0 25 0 11 0 550316935 863031296 31387 4294967295 134512640 134569956 3221224400 3221214728 1131414009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31387 13073 16 0 210685 0
vsize: 842804
[startup+850.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 80913 65 0 0 25 0 11 0 550316935 863031296 31464 4294967295 134512640 134569956 3221224400 3221214712 1131464035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31464 13073 16 0 210685 0
vsize: 842804
[startup+860.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 81854 65 0 0 25 0 11 0 550316935 863031296 31521 4294967295 134512640 134569956 3221224400 3221214700 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31521 13073 16 0 210685 0
vsize: 842804
[startup+870.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 82796 66 0 0 25 0 11 0 550316935 863031296 31560 4294967295 134512640 134569956 3221224400 3221214776 1131497757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31560 13073 16 0 210685 0
vsize: 842804
[startup+880.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 83749 66 0 0 25 0 11 0 550316935 863031296 31600 4294967295 134512640 134569956 3221224400 3221214532 1131317676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31600 13073 16 0 210685 0
vsize: 842804
[startup+890.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 84700 66 0 0 25 0 11 0 550316935 863031296 31706 4294967295 134512640 134569956 3221224400 3221214616 1131497740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31706 13073 16 0 210685 0
vsize: 842804
[startup+900.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 85665 67 0 0 25 0 11 0 550316935 863031296 31833 4294967295 134512640 134569956 3221224400 3221214640 1131550540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31833 13073 16 0 210685 0
vsize: 842804
[startup+910.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 86640 67 0 0 25 0 11 0 550316935 863031296 31936 4294967295 134512640 134569956 3221224400 3221214424 1131352461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 31936 13073 16 0 210685 0
vsize: 842804
[startup+920.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 87628 67 0 0 25 0 11 0 550316935 863031296 32043 4294967295 134512640 134569956 3221224400 3221214432 1131352531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32043 13073 16 0 210685 0
vsize: 842804
[startup+930.102 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 88621 68 0 0 24 0 11 0 550316935 863031296 32044 4294967295 134512640 134569956 3221224400 3221214640 1131550651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32044 13073 16 0 210685 0
vsize: 842804
[startup+940.103 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 89611 68 0 0 25 0 11 0 550316935 863031296 32044 4294967295 134512640 134569956 3221224400 3221214528 1131667058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32044 13073 16 0 210685 0
vsize: 842804
[startup+950.103 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 90601 68 0 0 22 0 11 0 550316935 863031296 32044 4294967295 134512640 134569956 3221224400 3221214640 1131550543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32044 13073 16 0 210685 0
vsize: 842804
[startup+960.104 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 91590 68 0 0 25 0 11 0 550316935 863031296 32044 4294967295 134512640 134569956 3221224400 3221214724 1131345920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32044 13073 16 0 210685 0
vsize: 842804
[startup+970.104 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 92562 69 0 0 25 0 11 0 550316935 863031296 32064 4294967295 134512640 134569956 3221224400 3221214728 1131413932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32064 13073 16 0 210685 0
vsize: 842804
[startup+980.105 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 93525 69 0 0 24 0 11 0 550316935 863031296 32083 4294967295 134512640 134569956 3221224400 3221214800 1131398478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32083 13073 16 0 210685 0
vsize: 842804
[startup+990.106 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 94488 69 0 0 25 0 11 0 550316935 863031296 32083 4294967295 134512640 134569956 3221224400 3221214624 1131437265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32083 13073 16 0 210685 0
vsize: 842804
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 95435 70 0 0 24 0 11 0 550316935 863031296 32149 4294967295 134512640 134569956 3221224400 3221214568 1131405904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32149 13073 16 0 210685 0
vsize: 842804
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 96396 70 0 0 25 0 11 0 550316935 863031296 32223 4294967295 134512640 134569956 3221224400 3221214576 1131401227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32223 13073 16 0 210685 0
vsize: 842804
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 97350 71 0 0 25 0 11 0 550316935 863031296 32265 4294967295 134512640 134569956 3221224400 3221214640 1131550545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32265 13073 16 0 210685 0
vsize: 842804
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 98313 71 0 0 24 0 11 0 550316935 863031296 32325 4294967295 134512640 134569956 3221224400 3221214632 1131553831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32325 13073 16 0 210685 0
vsize: 842804
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 99283 71 0 0 25 0 11 0 550316935 863031296 32385 4294967295 134512640 134569956 3221224400 3221214432 1131352486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32385 13073 16 0 210685 0
vsize: 842804
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 100251 72 0 0 25 0 11 0 550316935 863031296 32465 4294967295 134512640 134569956 3221224400 3221214728 1131413867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32465 13073 16 0 210685 0
vsize: 842804
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 101223 72 0 0 25 0 11 0 550316935 863031296 32520 4294967295 134512640 134569956 3221224400 3221214640 1131550644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32520 13073 16 0 210685 0
vsize: 842804
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 102196 72 0 0 25 0 11 0 550316935 863031296 32520 4294967295 134512640 134569956 3221224400 3221214424 1131352333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32520 13073 16 0 210685 0
vsize: 842804
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 103173 73 0 0 25 0 11 0 550316935 863031296 32520 4294967295 134512640 134569956 3221224400 3221214432 1131352803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32520 13073 16 0 210685 0
vsize: 842804
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 104148 73 0 0 24 0 11 0 550316935 863031296 32558 4294967295 134512640 134569956 3221224400 3221214640 1131550651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32558 13073 16 0 210685 0
vsize: 842804
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 105131 73 0 0 25 0 11 0 550316935 863031296 32605 4294967295 134512640 134569956 3221224400 3221214640 1131550644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32605 13073 16 0 210685 0
vsize: 842804
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 106125 74 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214640 1131550543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 107123 74 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214640 1131550651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 108121 75 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214640 1131550543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 109118 75 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214640 1131550658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 110115 75 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214424 1131352803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 111115 76 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214424 1131352531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 112113 76 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214520 1131317727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 113106 76 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214728 1131413867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 114081 77 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214632 1131346335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 115047 77 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214712 1131464258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 116008 77 0 0 25 0 11 0 550316935 863031296 32668 4294967295 134512640 134569956 3221224400 3221214664 1131346932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32668 13073 16 0 210685 0
vsize: 842804
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 116961 78 0 0 24 0 11 0 550316935 863031296 32775 4294967295 134512640 134569956 3221224400 3221214492 1131445804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32775 13073 16 0 210685 0
vsize: 842804
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 117905 78 0 0 25 0 11 0 550316935 863031296 32832 4294967295 134512640 134569956 3221224400 3221214624 1131437332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32832 13073 16 0 210685 0
vsize: 842804
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 118846 78 0 0 25 0 11 0 550316935 863031296 32882 4294967295 134512640 134569956 3221224400 3221214660 1080203754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32882 13073 16 0 210685 0
vsize: 842804
[startup+1250.36 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 119811 78 0 0 25 0 11 0 550316935 863031296 32910 4294967295 134512640 134569956 3221224400 3221214432 1131352573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 32910 13073 16 0 210685 0
vsize: 842804
[startup+1260.36 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16137
Raw data (stat): 16123 (java) R 16122 26298 26297 0 -1 0 18084 0 1 0 120755 79 0 0 25 0 11 0 550316935 863031296 33105 4294967295 134512640 134569956 3221224400 3221214728 1131415037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210701 33105 13073 16 0 210685 0
vsize: 842804
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.47 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 16139
Raw data (stat): 16123 (java) Z 16122 26298 26297 0 -1 1036 18084 19545 1 0 120758 79 6475 56 25 0 1 0 550316935 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1260.47
CPU time (s): 1273.69
CPU user time (s): 1272.33
CPU system time (s): 1.35479
CPU usage (%): 101.049
Max. virtual memory (Kb): 845340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####