PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb
MD5SUM	c56066a13a725fcc9c143db3d9f8cc06
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	24450007
Optimality of the best value was proved	NO
Number of terms in the objective function	28200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	25763487750
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	25763487750
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.2
Number of variables	37600
Total number of constraints	1090
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1090
Minimum length of a constraint	60
Maximum length of a constraint	480
Trace number 19632

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 19:25:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16324 boxname=wulflinc27 idbench=1256 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c56066a13a725fcc9c143db3d9f8cc06  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-sctap2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-sctap2.opb
IDLAUNCH: 16324
/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:        764616 kB
Buffers:         20988 kB
Cached:         225816 kB
SwapCached:        512 kB
Active:          36648 kB
Inactive:       212084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764364 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15656 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:46:11 (client local time) WITH STATUS 143 IN 1264.24 SECONDS
stats: 16324 7 1264.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-sctap2.opb
c reading problem 
c [nbvar=37600]
c [nbconstr=1090]
c time 408.12
c #vars     37600
c #clauses  1504
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=63774720
c Current CPU time (ms) : 432.835
c starts	: 1
c conflicts	: 0
c decisions	: 16590
c propagations	: 37600
c inspects	: 36078
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.91 0.95 0.90 2/54 23866
Raw data (stat): 23866 (runsolver) R 23865 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547579814 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 881 38 0 0 24 0 10 0 547579814 853241856 19136 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208311 19136 13073 16 0 208295 0
vsize: 833244
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 1775 38 0 0 25 0 10 0 547579814 853561344 19640 4294967295 134512640 134569956 3221224400 3221214824 1131215871 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 19640 13073 16 0 208373 0
vsize: 833556
[startup+30.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 2672 38 0 0 25 0 10 0 547579814 853561344 20072 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20072 13073 16 0 208373 0
vsize: 833556
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 3602 39 0 0 25 0 10 0 547579814 853561344 20302 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20302 13073 16 0 208373 0
vsize: 833556
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 4530 39 0 0 25 0 10 0 547579814 853561344 20425 4294967295 134512640 134569956 3221224400 3221214192 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20425 13073 16 0 208373 0
vsize: 833556
[startup+60.0034 s]
Raw data (loadavg): 0.96 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 5459 39 0 0 25 0 10 0 547579814 853561344 20551 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20551 13073 16 0 208373 0
vsize: 833556
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 6403 40 0 0 25 0 10 0 547579814 853561344 20764 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20764 13073 16 0 208373 0
vsize: 833556
[startup+80.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 7347 40 0 0 25 0 10 0 547579814 853561344 20846 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20846 13073 16 0 208373 0
vsize: 833556
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 8296 40 0 0 25 0 10 0 547579814 853561344 20916 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20916 13073 16 0 208373 0
vsize: 833556
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 9242 41 0 0 25 0 10 0 547579814 853561344 20986 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20986 13073 16 0 208373 0
vsize: 833556
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 10191 41 0 0 25 0 10 0 547579814 853561344 21048 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21048 13073 16 0 208373 0
vsize: 833556
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 11138 41 0 0 25 0 10 0 547579814 853561344 21110 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21110 13073 16 0 208373 0
vsize: 833556
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 12086 42 0 0 25 0 10 0 547579814 853561344 21165 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21165 13073 16 0 208373 0
vsize: 833556
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 13032 42 0 0 25 0 10 0 547579814 853561344 21222 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21222 13073 16 0 208373 0
vsize: 833556
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 13981 42 0 0 25 0 10 0 547579814 853561344 21273 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21273 13073 16 0 208373 0
vsize: 833556
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 14926 42 0 0 25 0 10 0 547579814 853561344 21325 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21325 13073 16 0 208373 0
vsize: 833556
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 15863 43 0 0 25 0 10 0 547579814 853561344 21372 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21372 13073 16 0 208373 0
vsize: 833556
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 16789 43 0 0 25 0 10 0 547579814 853561344 21418 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21418 13073 16 0 208373 0
vsize: 833556
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 17721 44 0 0 24 0 10 0 547579814 853561344 21721 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21721 13073 16 0 208373 0
vsize: 833556
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 18666 44 0 0 25 0 10 0 547579814 853561344 21764 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21764 13073 16 0 208373 0
vsize: 833556
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17987 0 1 0 19610 45 0 0 25 0 10 0 547579814 853561344 21806 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 21806 13073 16 0 208373 0
vsize: 833556
[startup+220.01 s]
Raw data (loadavg): 1.15 1.00 0.92 4/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 17996 0 1 0 20538 46 0 0 25 0 10 0 547579814 860311552 23280 4294967295 134512640 134569956 3221224400 3221213520 1076953954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210037 23280 13073 16 0 210021 0
vsize: 840148
[startup+230.009 s]
Raw data (loadavg): 1.13 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18008 0 1 0 21385 47 0 0 25 0 10 0 547579814 859922432 25808 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209942 25808 13073 16 0 209926 0
vsize: 839768
[startup+240.012 s]
Raw data (loadavg): 1.11 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) S 23865 18865 18864 0 -1 0 18008 0 1 0 22317 47 0 0 25 0 10 0 547579814 858816512 25557 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209672 25557 13073 16 0 209656 0
vsize: 838688
[startup+250.013 s]
Raw data (loadavg): 1.09 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18008 0 1 0 23233 48 0 0 25 0 10 0 547579814 858816512 25608 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209672 25608 13073 16 0 209656 0
vsize: 838688
[startup+260.014 s]
Raw data (loadavg): 1.08 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 24152 48 0 0 25 0 10 0 547579814 858816512 25685 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209672 25685 13073 16 0 209656 0
vsize: 838688
[startup+270.014 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 25066 48 0 0 25 0 10 0 547579814 858816512 25764 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209672 25764 13073 16 0 209656 0
vsize: 838688
[startup+280.014 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 25984 48 0 0 25 0 10 0 547579814 858816512 25837 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209672 25837 13073 16 0 209656 0
vsize: 838688
[startup+290.015 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 26901 48 0 0 25 0 10 0 547579814 858587136 25858 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25858 13073 16 0 209600 0
vsize: 838464
[startup+300.014 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 27814 48 0 0 24 0 10 0 547579814 858587136 25934 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25934 13073 16 0 209600 0
vsize: 838464
[startup+310.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 28731 48 0 0 25 0 10 0 547579814 858587136 26004 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26004 13073 16 0 209600 0
vsize: 838464
[startup+320.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 29649 49 0 0 25 0 10 0 547579814 858587136 26071 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26071 13073 16 0 209600 0
vsize: 838464
[startup+330.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 30566 49 0 0 25 0 10 0 547579814 858587136 26139 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26139 13073 16 0 209600 0
vsize: 838464
[startup+340.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 31483 49 0 0 25 0 10 0 547579814 858587136 26204 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26204 13073 16 0 209600 0
vsize: 838464
[startup+350.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 32400 49 0 0 25 0 10 0 547579814 858587136 26269 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26269 13073 16 0 209600 0
vsize: 838464
[startup+360.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 33315 49 0 0 25 0 10 0 547579814 858587136 26334 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26334 13073 16 0 209600 0
vsize: 838464
[startup+370.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 34230 49 0 0 25 0 10 0 547579814 858587136 26397 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26397 13073 16 0 209600 0
vsize: 838464
[startup+380.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 35145 50 0 0 25 0 10 0 547579814 858587136 26458 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26458 13073 16 0 209600 0
vsize: 838464
[startup+390.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18009 0 1 0 36059 50 0 0 25 0 10 0 547579814 858587136 26520 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26520 13073 16 0 209600 0
vsize: 838464
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 23875
Raw data (stat): 23866 (java) S 23865 18865 18864 0 -1 0 18009 0 1 0 36976 50 0 0 25 0 10 0 547579814 858587136 26576 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26576 13073 16 0 209600 0
vsize: 838464
[startup+410.025 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 23876
Raw data (stat): 23866 (java) S 23865 18865 18864 0 -1 0 18037 0 1 0 37884 51 0 0 25 0 11 0 547579814 859115520 26770 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209745 26770 13073 16 0 209729 0
vsize: 838980
[startup+420.026 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 23876
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18037 0 1 0 38835 52 0 0 25 0 11 0 547579814 859115520 29279 4294967295 134512640 134569956 3221224400 3221214680 1131340542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209745 29279 13073 16 0 209729 0
vsize: 838980
[startup+430.025 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 23876
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18037 0 1 0 39821 52 0 0 25 0 11 0 547579814 859115520 29250 4294967295 134512640 134569956 3221224400 3221214680 1131340929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209745 29250 13073 16 0 209729 0
vsize: 838980
[startup+440.026 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18037 3 1 0 40730 52 0 0 25 0 11 0 547579814 859115520 29319 4294967295 134512640 134569956 3221224400 3221214712 1131340929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209745 29319 13073 16 0 209729 0
vsize: 838980
[startup+450.026 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18037 3 1 0 41614 52 0 0 25 0 11 0 547579814 859115520 29327 4294967295 134512640 134569956 3221224400 3221214712 1131340524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209745 29327 13073 16 0 209729 0
vsize: 838980
[startup+460.026 s]
Raw data (loadavg): 1.04 1.01 0.93 3/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18037 3 1 0 42497 52 0 0 25 0 11 0 547579814 859115520 29350 4294967295 134512640 134569956 3221224400 3221214800 1131439092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209745 29350 13073 16 0 209729 0
vsize: 838980
[startup+470.027 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18037 3 1 0 43447 52 0 0 25 0 11 0 547579814 859115520 30129 4294967295 134512640 134569956 3221224400 3221214712 1131340604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209745 30129 13073 16 0 209729 0
vsize: 838980
[startup+480.028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18037 3 1 0 44436 53 0 0 25 0 11 0 547579814 859115520 30164 4294967295 134512640 134569956 3221224400 3221214712 1131341168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209745 30164 13073 16 0 209729 0
vsize: 838980
[startup+490.029 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18080 3 1 0 45351 54 0 0 25 0 11 0 547579814 861212672 30773 4294967295 134512640 134569956 3221224400 3221214136 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 30773 13073 16 0 210241 0
vsize: 841028
[startup+500.029 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18080 3 1 0 46333 54 0 0 25 0 11 0 547579814 861212672 30656 4294967295 134512640 134569956 3221224400 3221214712 1131551945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 30656 13073 16 0 210241 0
vsize: 841028
[startup+510.03 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18080 3 1 0 47321 54 0 0 25 0 11 0 547579814 861212672 30676 4294967295 134512640 134569956 3221224400 3221214728 1131563085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 30676 13073 16 0 210241 0
vsize: 841028
[startup+520.03 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18080 3 1 0 48311 54 0 0 25 0 11 0 547579814 861212672 30701 4294967295 134512640 134569956 3221224400 3221214728 1131565441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 30701 13073 16 0 210241 0
vsize: 841028
[startup+530.03 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18080 3 1 0 49302 55 0 0 25 0 11 0 547579814 861212672 30701 4294967295 134512640 134569956 3221224400 3221214728 1131564178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 30701 13073 16 0 210241 0
vsize: 841028
[startup+540.03 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18080 3 1 0 50293 55 0 0 25 0 11 0 547579814 861212672 30701 4294967295 134512640 134569956 3221224400 3221214728 1131564553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 30701 13073 16 0 210241 0
vsize: 841028
[startup+550.031 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 51221 56 0 0 25 0 11 0 547579814 861212672 30739 4294967295 134512640 134569956 3221224400 3221214728 1131563037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 30739 13073 16 0 210241 0
vsize: 841028
[startup+560.032 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 52167 56 0 0 25 0 11 0 547579814 861212672 31142 4294967295 134512640 134569956 3221224400 3221214408 1074489715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31142 13073 16 0 210241 0
vsize: 841028
[startup+570.032 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 53158 57 0 0 25 0 11 0 547579814 861212672 31142 4294967295 134512640 134569956 3221224400 3221214656 1131531581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31142 13073 16 0 210241 0
vsize: 841028
[startup+580.032 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 54148 57 0 0 25 0 11 0 547579814 861212672 31142 4294967295 134512640 134569956 3221224400 3221214668 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31142 13073 16 0 210241 0
vsize: 841028
[startup+590.033 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 55139 57 0 0 25 0 11 0 547579814 861212672 31142 4294967295 134512640 134569956 3221224400 3221214536 1131601163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31142 13073 16 0 210241 0
vsize: 841028
[startup+600.033 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 56134 57 0 0 25 0 11 0 547579814 861212672 31142 4294967295 134512640 134569956 3221224400 3221214724 1131552361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31142 13073 16 0 210241 0
vsize: 841028
[startup+610.034 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 57125 58 0 0 25 0 11 0 547579814 861212672 31142 4294967295 134512640 134569956 3221224400 3221214656 1131531706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31142 13073 16 0 210241 0
vsize: 841028
[startup+620.035 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18081 3 1 0 58114 58 0 0 25 0 11 0 547579814 861212672 31142 4294967295 134512640 134569956 3221224400 3221214488 1131333649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31142 13073 16 0 210241 0
vsize: 841028
[startup+630.035 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 59102 58 0 0 25 0 11 0 547579814 861212672 31152 4294967295 134512640 134569956 3221224400 3221214648 1131721378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 31152 13073 16 0 210241 0
vsize: 841028
[startup+640.035 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 60101 58 0 0 25 0 11 0 547579814 861212672 31152 4294967295 134512640 134569956 3221224400 3221214688 1131721348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 31152 13073 16 0 210241 0
vsize: 841028
[startup+650.035 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 61033 59 0 0 25 0 11 0 547579814 861212672 31152 4294967295 134512640 134569956 3221224400 3221214832 1131620835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31152 13073 16 0 210241 0
vsize: 841028
[startup+660.036 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 23877
Raw data (stat): 23866 (java) S 23865 18865 18864 0 -1 0 18082 3 1 0 61951 59 0 0 25 0 11 0 547579814 861212672 31152 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31152 13073 16 0 210241 0
vsize: 841028
[startup+670.037 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 62872 59 0 0 25 0 11 0 547579814 861212672 31152 4294967295 134512640 134569956 3221224400 3221214728 1131566054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31152 13073 16 0 210241 0
vsize: 841028
[startup+680.037 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 63830 60 0 0 25 0 11 0 547579814 861212672 31676 4294967295 134512640 134569956 3221224400 3221214652 1131548071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 31676 13073 16 0 210241 0
vsize: 841028
[startup+690.038 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 64822 60 0 0 25 0 11 0 547579814 861212672 31676 4294967295 134512640 134569956 3221224400 3221214728 1131563687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31676 13073 16 0 210241 0
vsize: 841028
[startup+700.038 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 65796 60 0 0 25 0 11 0 547579814 861212672 31676 4294967295 134512640 134569956 3221224400 3221214728 1131565718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31676 13073 16 0 210241 0
vsize: 841028
[startup+710.039 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 66740 61 0 0 25 0 11 0 547579814 861212672 31676 4294967295 134512640 134569956 3221224400 3221214652 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 31676 13073 16 0 210241 0
vsize: 841028
[startup+720.04 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 67726 61 0 0 25 0 11 0 547579814 861212672 32073 4294967295 134512640 134569956 3221224400 3221214656 1131530805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32073 13073 16 0 210241 0
vsize: 841028
[startup+730.04 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 68716 61 0 0 25 0 11 0 547579814 861212672 32073 4294967295 134512640 134569956 3221224400 3221214136 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32073 13073 16 0 210241 0
vsize: 841028
[startup+740.041 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 69706 61 0 0 25 0 11 0 547579814 861212672 32073 4294967295 134512640 134569956 3221224400 3221214728 1131562772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32073 13073 16 0 210241 0
vsize: 841028
[startup+750.041 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 70698 62 0 0 25 0 11 0 547579814 861212672 32073 4294967295 134512640 134569956 3221224400 3221214492 1131093317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32073 13073 16 0 210241 0
vsize: 841028
[startup+760.041 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 71655 62 0 0 25 0 11 0 547579814 861212672 32495 4294967295 134512640 134569956 3221224400 3221214908 1130883104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32495 13073 16 0 210241 0
vsize: 841028
[startup+770.041 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 72645 62 0 0 25 0 11 0 547579814 861212672 32495 4294967295 134512640 134569956 3221224400 3221214832 1131621067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32495 13073 16 0 210241 0
vsize: 841028
[startup+780.041 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 73639 62 0 0 25 0 11 0 547579814 861212672 32495 4294967295 134512640 134569956 3221224400 3221214660 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32495 13073 16 0 210241 0
vsize: 841028
[startup+790.042 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 74626 62 0 0 25 0 11 0 547579814 861212672 32495 4294967295 134512640 134569956 3221224400 3221214488 1131333620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32495 13073 16 0 210241 0
vsize: 841028
[startup+800.045 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) S 23865 18865 18864 0 -1 0 18082 3 1 0 75585 62 0 0 25 0 11 0 547579814 861212672 32495 4294967295 134512640 134569956 3221224400 3221213192 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32495 13073 16 0 210241 0
vsize: 841028
[startup+810.046 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18082 3 1 0 76548 62 0 0 25 0 11 0 547579814 861212672 32495 4294967295 134512640 134569956 3221224400 3221214488 1131333419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32495 13073 16 0 210241 0
vsize: 841028
[startup+820.049 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 77507 62 0 0 24 0 11 0 547579814 861212672 32497 4294967295 134512640 134569956 3221224400 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32497 13073 16 0 210241 0
vsize: 841028
[startup+830.049 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 78470 62 0 0 25 0 11 0 547579814 861212672 32497 4294967295 134512640 134569956 3221224400 3221214592 1131650983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32497 13073 16 0 210241 0
vsize: 841028
[startup+840.049 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 79462 62 0 0 25 0 11 0 547579814 861212672 32967 4294967295 134512640 134569956 3221224400 3221214576 1131656116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32967 13073 16 0 210241 0
vsize: 841028
[startup+850.049 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 80459 62 0 0 25 0 11 0 547579814 861212672 32967 4294967295 134512640 134569956 3221224400 3221214576 1131654308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32967 13073 16 0 210241 0
vsize: 841028
[startup+860.049 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 81456 62 0 0 25 0 11 0 547579814 861212672 32968 4294967295 134512640 134569956 3221224400 3221214488 1131333707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32968 13073 16 0 210241 0
vsize: 841028
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 82454 62 0 0 25 0 11 0 547579814 861212672 32969 4294967295 134512640 134569956 3221224400 3221214576 1131655227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32969 13073 16 0 210241 0
vsize: 841028
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 83451 62 0 0 25 0 11 0 547579814 861212672 32970 4294967295 134512640 134569956 3221224400 3221214488 1131333562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32970 13073 16 0 210241 0
vsize: 841028
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 84448 63 0 0 25 0 11 0 547579814 861212672 32971 4294967295 134512640 134569956 3221224400 3221214488 1131333446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32971 13073 16 0 210241 0
vsize: 841028
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 85446 63 0 0 25 0 11 0 547579814 861212672 32971 4294967295 134512640 134569956 3221224400 3221214488 1131333620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32971 13073 16 0 210241 0
vsize: 841028
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 86444 63 0 0 25 0 11 0 547579814 861212672 32971 4294967295 134512640 134569956 3221224400 3221214488 1131333475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32971 13073 16 0 210241 0
vsize: 841028
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 87442 63 0 0 25 0 11 0 547579814 861212672 32971 4294967295 134512640 134569956 3221224400 3221214488 1131333248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32971 13073 16 0 210241 0
vsize: 841028
[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 88440 63 0 0 25 0 11 0 547579814 861212672 32971 4294967295 134512640 134569956 3221224400 3221214488 1131333298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32971 13073 16 0 210241 0
vsize: 841028
[startup+940.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 89437 63 0 0 25 0 11 0 547579814 861212672 32973 4294967295 134512640 134569956 3221224400 3221214488 1131333331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32973 13073 16 0 210241 0
vsize: 841028
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 90435 63 0 0 25 0 11 0 547579814 861212672 32973 4294967295 134512640 134569956 3221224400 3221214488 1131333620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32973 13073 16 0 210241 0
vsize: 841028
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 91432 63 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131654518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 92429 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 93427 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 94425 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 95422 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131654308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 96420 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214592 1131624112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 97418 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214592 1131650990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 98416 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 99413 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 100411 64 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 101407 65 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131654402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 102404 66 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 103401 66 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131654308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 104397 67 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 105394 67 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 106391 67 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131654541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 107388 67 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131654308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 108385 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 109383 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 110381 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 111379 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131653632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 112377 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214576 1131653676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 113374 68 0 0 17 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 114372 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214592 1131650983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 115370 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 116368 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 117365 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 118363 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214488 1131333223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 119361 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214592 1131650983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 23877
Raw data (stat): 23866 (java) R 23865 18865 18864 0 -1 0 18083 3 1 0 120359 68 0 0 25 0 11 0 547579814 861212672 32975 4294967295 134512640 134569956 3221224400 3221214592 1131650983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210257 32975 13073 16 0 210241 0
vsize: 841028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 23879
Raw data (stat): 23866 (java) Z 23865 18865 18864 0 -1 1036 18083 20498 1 0 120364 74 5927 57 25 0 1 0 547579814 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): 1250.18
CPU time (s): 1264.24
CPU user time (s): 1262.92
CPU system time (s): 1.3188
CPU usage (%): 101.124
Max. virtual memory (Kb): 841028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####