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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb
MD5SUM18d2c1f575fe90b4288795c634aa1a5b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 37494
Biggest coefficient in the objective function 6251324899328
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 5652283493428566
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 6251324899328
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 5652283493428566
Number of bits of the biggest sum of numbers53
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1208.43
Number of variables38297
Total number of constraints126
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints102
Minimum length of a constraint1
Maximum length of a constraint1530

Trace number 22306

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-22 02:40:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11891 boxname=wulflinc22 idbench=915 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  18d2c1f575fe90b4288795c634aa1a5b  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-khb05250.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-khb05250.opb
IDLAUNCH: 11891
/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:        797844 kB
Buffers:         24112 kB
Cached:         176432 kB
SwapCached:      12296 kB
Active:          33064 kB
Inactive:       181536 kB
HighTotal:      131008 kB
HighFree:        51352 kB
LowTotal:       903652 kB
LowFree:        746492 kB
SwapTotal:     2097892 kB
SwapFree:      2085136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            16424 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:01:06 (client local time) WITH STATUS 143 IN 1237.67 SECONDS
stats: 11891 7 1237.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-khb05250.opb
c reading problem 
c [nbvar=38297]
c [nbconstr=126]
c time 433.871
c #vars     38297
c #clauses  180
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.87 0.97 0.91 2/54 15968
Raw data (stat): 15968 (runsolver) R 15967 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550191859 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.0009 s]
Raw data (loadavg): 0.89 0.97 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 885 46 0 0 25 0 10 0 550191859 853606400 19220 4294967295 134512640 134569956 3221224400 3221214784 1130863203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208400 19220 13073 16 0 208384 0
vsize: 833600
[startup+20.0015 s]
Raw data (loadavg): 0.98 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 1779 46 0 0 25 0 10 0 550191859 853655552 19755 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 19755 13073 16 0 208396 0
vsize: 833648
[startup+30.0018 s]
Raw data (loadavg): 0.98 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 2678 46 0 0 25 0 10 0 550191859 853655552 20231 4294967295 134512640 134569956 3221224400 3221214824 1131215036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 20231 13073 16 0 208396 0
vsize: 833648
[startup+40.002 s]
Raw data (loadavg): 0.98 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 3609 46 0 0 25 0 10 0 550191859 853655552 20476 4294967295 134512640 134569956 3221224400 3221214824 1131214688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 20476 13073 16 0 208396 0
vsize: 833648
[startup+50.0026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 4543 47 0 0 25 0 10 0 550191859 853655552 20606 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 20606 13073 16 0 208396 0
vsize: 833648
[startup+60.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 5475 47 0 0 25 0 10 0 550191859 853655552 20714 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 20714 13073 16 0 208396 0
vsize: 833648
[startup+70.0036 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 6419 47 0 0 25 0 10 0 550191859 853655552 20934 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 20934 13073 16 0 208396 0
vsize: 833648
[startup+80.0167 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 7368 47 0 0 25 0 10 0 550191859 853655552 21019 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208412 21019 13073 16 0 208396 0
vsize: 833648
[startup+90.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) S 15967 26298 26297 0 -1 0 17978 0 1 0 8319 47 0 0 25 0 10 0 550191859 853655552 21094 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21094 13073 16 0 208396 0
vsize: 833648
[startup+100.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 9269 47 0 0 25 0 10 0 550191859 853655552 21165 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21165 13073 16 0 208396 0
vsize: 833648
[startup+110.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 10218 47 0 0 25 0 10 0 550191859 853655552 21234 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21234 13073 16 0 208396 0
vsize: 833648
[startup+120.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 11171 47 0 0 25 0 10 0 550191859 853655552 21294 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21294 13073 16 0 208396 0
vsize: 833648
[startup+130.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 12121 48 0 0 25 0 10 0 550191859 853655552 21355 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21355 13073 16 0 208396 0
vsize: 833648
[startup+140.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 13074 48 0 0 25 0 10 0 550191859 853655552 21411 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21411 13073 16 0 208396 0
vsize: 833648
[startup+150.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 14023 48 0 0 25 0 10 0 550191859 853655552 21467 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21467 13073 16 0 208396 0
vsize: 833648
[startup+160.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 14976 48 0 0 25 0 10 0 550191859 853655552 21518 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21518 13073 16 0 208396 0
vsize: 833648
[startup+170.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 15925 48 0 0 25 0 10 0 550191859 853655552 21570 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21570 13073 16 0 208396 0
vsize: 833648
[startup+180.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 16865 48 0 0 25 0 10 0 550191859 853655552 21617 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21617 13073 16 0 208396 0
vsize: 833648
[startup+190.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 17796 48 0 0 25 0 10 0 550191859 853655552 21663 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21663 13073 16 0 208396 0
vsize: 833648
[startup+200.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 18732 48 0 0 25 0 10 0 550191859 853655552 21967 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 21967 13073 16 0 208396 0
vsize: 833648
[startup+210.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 19681 48 0 0 25 0 10 0 550191859 853655552 22010 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22010 13073 16 0 208396 0
vsize: 833648
[startup+220.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 20626 48 0 0 25 0 10 0 550191859 853655552 22055 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22055 13073 16 0 208396 0
vsize: 833648
[startup+230.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 21575 49 0 0 25 0 10 0 550191859 853655552 22096 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22096 13073 16 0 208396 0
vsize: 833648
[startup+240.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 22520 49 0 0 25 0 10 0 550191859 853655552 22139 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22139 13073 16 0 208396 0
vsize: 833648
[startup+250.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 23467 49 0 0 25 0 10 0 550191859 853655552 22178 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22178 13073 16 0 208396 0
vsize: 833648
[startup+260.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 24411 49 0 0 24 0 10 0 550191859 853655552 22219 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22219 13073 16 0 208396 0
vsize: 833648
[startup+270.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 25358 49 0 0 25 0 10 0 550191859 853655552 22256 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22256 13073 16 0 208396 0
vsize: 833648
[startup+280.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 26305 49 0 0 25 0 10 0 550191859 853655552 22293 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22293 13073 16 0 208396 0
vsize: 833648
[startup+290.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 27248 49 0 0 25 0 10 0 550191859 853655552 22331 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22331 13073 16 0 208396 0
vsize: 833648
[startup+300.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 28193 49 0 0 25 0 10 0 550191859 853655552 22367 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22367 13073 16 0 208396 0
vsize: 833648
[startup+310.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 29139 49 0 0 25 0 10 0 550191859 853655552 22401 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22401 13073 16 0 208396 0
vsize: 833648
[startup+320.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 30080 49 0 0 25 0 10 0 550191859 853655552 22439 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22439 13073 16 0 208396 0
vsize: 833648
[startup+330.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 31024 49 0 0 25 0 10 0 550191859 853655552 22472 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22472 13073 16 0 208396 0
vsize: 833648
[startup+340.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 31969 49 0 0 25 0 10 0 550191859 853655552 22506 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22506 13073 16 0 208396 0
vsize: 833648
[startup+350.033 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 32909 50 0 0 25 0 10 0 550191859 853655552 22540 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22540 13073 16 0 208396 0
vsize: 833648
[startup+360.033 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 33852 50 0 0 25 0 10 0 550191859 853655552 22572 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22572 13073 16 0 208396 0
vsize: 833648
[startup+370.033 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 34795 50 0 0 25 0 10 0 550191859 853655552 22604 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22604 13073 16 0 208396 0
vsize: 833648
[startup+380.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 35734 50 0 0 25 0 10 0 550191859 853655552 22637 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22637 13073 16 0 208396 0
vsize: 833648
[startup+390.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 36676 50 0 0 25 0 10 0 550191859 853655552 22668 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22668 13073 16 0 208396 0
vsize: 833648
[startup+400.034 s]
Raw data (loadavg): 0.99 0.99 0.91 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17978 0 1 0 37618 50 0 0 25 0 10 0 550191859 853655552 22698 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208412 22698 13073 16 0 208396 0
vsize: 833648
[startup+410.046 s]
Raw data (loadavg): 1.23 1.04 0.93 3/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17997 0 1 0 38497 50 0 0 24 0 10 0 550191859 860491776 25255 4294967295 134512640 134569956 3221224400 3221213212 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210081 25255 13073 16 0 210065 0
vsize: 840324
[startup+420.045 s]
Raw data (loadavg): 1.20 1.03 0.93 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17999 0 1 0 39328 51 0 0 25 0 10 0 550191859 858877952 27277 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209687 27277 13073 16 0 209671 0
vsize: 838748
[startup+430.046 s]
Raw data (loadavg): 1.17 1.03 0.93 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 17999 0 1 0 40272 52 0 0 25 0 10 0 550191859 858877952 27277 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209687 27277 13073 16 0 209671 0
vsize: 838748
[startup+440.051 s]
Raw data (loadavg): 1.21 1.05 0.94 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18023 0 1 0 41181 53 0 0 17 0 10 0 550191859 859926528 28728 4294967295 134512640 134569956 3221224400 3221214744 1131346753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209943 28728 13073 16 0 209927 0
vsize: 839772
[startup+450.051 s]
Raw data (loadavg): 1.18 1.04 0.94 2/63 15977
Raw data (stat): 15968 (java) S 15967 26298 26297 0 -1 0 18023 0 1 0 42097 54 0 0 25 0 10 0 550191859 858877952 28517 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209687 28517 13073 16 0 209671 0
vsize: 838748
[startup+460.051 s]
Raw data (loadavg): 1.15 1.04 0.94 2/63 15977
Raw data (stat): 15968 (java) S 15967 26298 26297 0 -1 0 18023 0 1 0 43013 54 0 0 25 0 10 0 550191859 858877952 28510 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209687 28510 13073 16 0 209671 0
vsize: 838748
[startup+470.051 s]
Raw data (loadavg): 1.13 1.04 0.94 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18023 0 1 0 43946 54 0 0 25 0 10 0 550191859 858877952 29111 4294967295 134512640 134569956 3221224400 3221214744 1131346765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209687 29111 13073 16 0 209671 0
vsize: 838748
[startup+480.052 s]
Raw data (loadavg): 1.11 1.04 0.94 2/63 15977
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18023 0 1 0 44942 54 0 0 25 0 10 0 550191859 858877952 29111 4294967295 134512640 134569956 3221224400 3221214840 1131400235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209687 29111 13073 16 0 209671 0
vsize: 838748
[startup+490.051 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 45936 54 0 0 25 0 11 0 550191859 859406336 29122 4294967295 134512640 134569956 3221224400 3221214696 1131347608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29122 13073 16 0 209800 0
vsize: 839264
[startup+500.051 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 46931 54 0 0 25 0 11 0 550191859 859406336 29122 4294967295 134512640 134569956 3221224400 3221214696 1131347373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29122 13073 16 0 209800 0
vsize: 839264
[startup+510.052 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 47927 54 0 0 25 0 11 0 550191859 859406336 29123 4294967295 134512640 134569956 3221224400 3221214696 1131347337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29123 13073 16 0 209800 0
vsize: 839264
[startup+520.051 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 48923 55 0 0 25 0 11 0 550191859 859406336 29127 4294967295 134512640 134569956 3221224400 3221214792 1131400409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29127 13073 16 0 209800 0
vsize: 839264
[startup+530.052 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 49919 55 0 0 25 0 11 0 550191859 859406336 29132 4294967295 134512640 134569956 3221224400 3221214696 1131347331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29132 13073 16 0 209800 0
vsize: 839264
[startup+540.052 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 50914 55 0 0 25 0 11 0 550191859 859406336 29136 4294967295 134512640 134569956 3221224400 3221214696 1131347373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29136 13073 16 0 209800 0
vsize: 839264
[startup+550.052 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 51910 55 0 0 25 0 11 0 550191859 859406336 29141 4294967295 134512640 134569956 3221224400 3221214696 1131347373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29141 13073 16 0 209800 0
vsize: 839264
[startup+560.052 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18029 0 1 0 52905 55 0 0 25 0 11 0 550191859 859406336 29144 4294967295 134512640 134569956 3221224400 3221214696 1131347564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29144 13073 16 0 209800 0
vsize: 839264
[startup+570.052 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18067 0 1 0 53896 55 0 0 25 0 11 0 550191859 859406336 29196 4294967295 134512640 134569956 3221224400 3221214696 1131348225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29196 13073 16 0 209800 0
vsize: 839264
[startup+580.053 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18067 0 1 0 54892 55 0 0 25 0 11 0 550191859 859406336 29200 4294967295 134512640 134569956 3221224400 3221214696 1131348212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29200 13073 16 0 209800 0
vsize: 839264
[startup+590.052 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18067 0 1 0 55887 56 0 0 25 0 11 0 550191859 859406336 29208 4294967295 134512640 134569956 3221224400 3221214696 1131347373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29208 13073 16 0 209800 0
vsize: 839264
[startup+600.052 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18067 0 1 0 56883 56 0 0 25 0 11 0 550191859 859406336 29217 4294967295 134512640 134569956 3221224400 3221214792 1131402175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29217 13073 16 0 209800 0
vsize: 839264
[startup+610.052 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18067 0 1 0 57879 56 0 0 25 0 11 0 550191859 859406336 29226 4294967295 134512640 134569956 3221224400 3221214792 1131402097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209816 29226 13073 16 0 209800 0
vsize: 839264
[startup+620.052 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18072 0 1 0 58813 56 0 0 25 0 11 0 550191859 860454912 29690 4294967295 134512640 134569956 3221224400 3221214664 1131454903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 29690 13073 16 0 210056 0
vsize: 840288
[startup+630.052 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18073 0 1 0 59793 56 0 0 25 0 11 0 550191859 860454912 29703 4294967295 134512640 134569956 3221224400 3221214616 1131592055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 29703 13073 16 0 210056 0
vsize: 840288
[startup+640.053 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 60773 57 0 0 24 0 11 0 550191859 860454912 29713 4294967295 134512640 134569956 3221224400 3221214752 1131561624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 29713 13073 16 0 210056 0
vsize: 840288
[startup+650.053 s]
Raw data (loadavg): 1.05 1.03 0.94 3/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 61756 57 0 0 25 0 11 0 550191859 860454912 29718 4294967295 134512640 134569956 3221224400 3221214696 1131346732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 29718 13073 16 0 210056 0
vsize: 840288
[startup+660.053 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 62728 57 0 0 25 0 11 0 550191859 863219712 30408 4294967295 134512640 134569956 3221224400 3221214880 1131659402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210747 30408 13073 16 0 210731 0
vsize: 842988
[startup+670.054 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) S 15967 26298 26297 0 -1 0 18074 0 1 0 63690 57 0 0 25 0 11 0 550191859 862203904 30174 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210499 30174 13073 16 0 210483 0
vsize: 841996
[startup+680.056 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 64659 57 0 0 25 0 11 0 550191859 862203904 30315 4294967295 134512640 134569956 3221224400 3221214736 1131347425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210499 30315 13073 16 0 210483 0
vsize: 841996
[startup+690.056 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 65634 58 0 0 25 0 11 0 550191859 860454912 30053 4294967295 134512640 134569956 3221224400 3221214792 1131400235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30053 13073 16 0 210056 0
vsize: 840288
[startup+700.055 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 66620 58 0 0 25 0 11 0 550191859 860454912 30179 4294967295 134512640 134569956 3221224400 3221214696 1131347036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30179 13073 16 0 210056 0
vsize: 840288
[startup+710.057 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 67611 58 0 0 25 0 11 0 550191859 860454912 30179 4294967295 134512640 134569956 3221224400 3221214696 1131348252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30179 13073 16 0 210056 0
vsize: 840288
[startup+720.057 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 68602 59 0 0 25 0 11 0 550191859 860454912 30190 4294967295 134512640 134569956 3221224400 3221214696 1131348167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30190 13073 16 0 210056 0
vsize: 840288
[startup+730.057 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 69595 59 0 0 25 0 11 0 550191859 860454912 30199 4294967295 134512640 134569956 3221224400 3221214696 1131348139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30199 13073 16 0 210056 0
vsize: 840288
[startup+740.059 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18074 0 1 0 70591 60 0 0 25 0 11 0 550191859 860454912 30220 4294967295 134512640 134569956 3221224400 3221214696 1131346732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30220 13073 16 0 210056 0
vsize: 840288
[startup+750.059 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 71585 60 0 0 25 0 11 0 550191859 860454912 30229 4294967295 134512640 134569956 3221224400 3221214832 1131465803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30229 13073 16 0 210056 0
vsize: 840288
[startup+760.06 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 72578 61 0 0 25 0 11 0 550191859 860454912 30236 4294967295 134512640 134569956 3221224400 3221214800 1131512544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30236 13073 16 0 210056 0
vsize: 840288
[startup+770.06 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 73575 61 0 0 25 0 11 0 550191859 860454912 30236 4294967295 134512640 134569956 3221224400 3221214728 1131454818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30236 13073 16 0 210056 0
vsize: 840288
[startup+780.06 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 74564 62 0 0 25 0 11 0 550191859 860454912 30237 4294967295 134512640 134569956 3221224400 3221214696 1131347162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30237 13073 16 0 210056 0
vsize: 840288
[startup+790.06 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 75554 62 0 0 25 0 11 0 550191859 860454912 30237 4294967295 134512640 134569956 3221224400 3221214792 1131400290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30237 13073 16 0 210056 0
vsize: 840288
[startup+800.06 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 76539 63 0 0 25 0 11 0 550191859 860454912 30237 4294967295 134512640 134569956 3221224400 3221214800 1131510971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30237 13073 16 0 210056 0
vsize: 840288
[startup+810.061 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 77524 63 0 0 25 0 11 0 550191859 860454912 30237 4294967295 134512640 134569956 3221224400 3221214728 1131454788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30237 13073 16 0 210056 0
vsize: 840288
[startup+820.061 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 78497 63 0 0 25 0 11 0 550191859 860454912 30279 4294967295 134512640 134569956 3221224400 3221214792 1131400235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30279 13073 16 0 210056 0
vsize: 840288
[startup+830.062 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 79478 63 0 0 25 0 11 0 550191859 860454912 30296 4294967295 134512640 134569956 3221224400 3221214728 1131454861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30296 13073 16 0 210056 0
vsize: 840288
[startup+840.061 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 80465 64 0 0 25 0 11 0 550191859 860454912 30314 4294967295 134512640 134569956 3221224400 3221214608 1131558447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30314 13073 16 0 210056 0
vsize: 840288
[startup+850.061 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 81449 64 0 0 24 0 11 0 550191859 860454912 30364 4294967295 134512640 134569956 3221224400 3221214696 1131346983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30364 13073 16 0 210056 0
vsize: 840288
[startup+860.061 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 82430 64 0 0 25 0 11 0 550191859 860454912 30434 4294967295 134512640 134569956 3221224400 3221214728 1131454818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30434 13073 16 0 210056 0
vsize: 840288
[startup+870.061 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 83414 64 0 0 25 0 11 0 550191859 860454912 30436 4294967295 134512640 134569956 3221224400 3221214648 1131379710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30436 13073 16 0 210056 0
vsize: 840288
[startup+880.062 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 84387 64 0 0 25 0 11 0 550191859 860454912 30437 4294967295 134512640 134569956 3221224400 3221214696 1131346732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30437 13073 16 0 210056 0
vsize: 840288
[startup+890.062 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 85359 65 0 0 25 0 11 0 550191859 860454912 30539 4294967295 134512640 134569956 3221224400 3221214696 1131346983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30539 13073 16 0 210056 0
vsize: 840288
[startup+900.062 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 86339 65 0 0 25 0 11 0 550191859 860454912 30579 4294967295 134512640 134569956 3221224400 3221214696 1131346721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30579 13073 16 0 210056 0
vsize: 840288
[startup+910.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 87331 66 0 0 25 0 11 0 550191859 860454912 30631 4294967295 134512640 134569956 3221224400 3221214696 1131347791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30631 13073 16 0 210056 0
vsize: 840288
[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 88326 66 0 0 25 0 11 0 550191859 860454912 30645 4294967295 134512640 134569956 3221224400 3221214696 1131347389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30645 13073 16 0 210056 0
vsize: 840288
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 89321 66 0 0 25 0 11 0 550191859 860454912 30645 4294967295 134512640 134569956 3221224400 3221214788 1131348293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30645 13073 16 0 210056 0
vsize: 840288
[startup+940.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 90315 67 0 0 25 0 11 0 550191859 860454912 30661 4294967295 134512640 134569956 3221224400 3221214696 1131347315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30661 13073 16 0 210056 0
vsize: 840288
[startup+950.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 91311 67 0 0 25 0 11 0 550191859 860454912 30676 4294967295 134512640 134569956 3221224400 3221214608 1131558447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30676 13073 16 0 210056 0
vsize: 840288
[startup+960.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 92302 67 0 0 25 0 11 0 550191859 860454912 30682 4294967295 134512640 134569956 3221224400 3221214792 1131401102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30682 13073 16 0 210056 0
vsize: 840288
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 93291 68 0 0 25 0 11 0 550191859 860454912 30695 4294967295 134512640 134569956 3221224400 3221214696 1131347733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30695 13073 16 0 210056 0
vsize: 840288
[startup+980.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 94278 68 0 0 25 0 11 0 550191859 860454912 30704 4294967295 134512640 134569956 3221224400 3221214744 1131282446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30704 13073 16 0 210056 0
vsize: 840288
[startup+990.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 95271 69 0 0 25 0 11 0 550191859 860454912 30740 4294967295 134512640 134569956 3221224400 3221214696 1131347379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30740 13073 16 0 210056 0
vsize: 840288
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 96266 69 0 0 25 0 11 0 550191859 860454912 30757 4294967295 134512640 134569956 3221224400 3221214696 1131347373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30757 13073 16 0 210056 0
vsize: 840288
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 97262 69 0 0 25 0 11 0 550191859 860454912 30757 4294967295 134512640 134569956 3221224400 3221214696 1131348167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30757 13073 16 0 210056 0
vsize: 840288
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 98257 70 0 0 25 0 11 0 550191859 860454912 30758 4294967295 134512640 134569956 3221224400 3221214792 1131401333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30758 13073 16 0 210056 0
vsize: 840288
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 99254 70 0 0 25 0 11 0 550191859 860454912 30758 4294967295 134512640 134569956 3221224400 3221214728 1131454796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30758 13073 16 0 210056 0
vsize: 840288
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 100244 70 0 0 24 0 11 0 550191859 860454912 30759 4294967295 134512640 134569956 3221224400 3221214792 1131404745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30759 13073 16 0 210056 0
vsize: 840288
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 101231 71 0 0 25 0 11 0 550191859 860454912 30773 4294967295 134512640 134569956 3221224400 3221214788 1131346707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30773 13073 16 0 210056 0
vsize: 840288
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 102222 71 0 0 25 0 11 0 550191859 860454912 30775 4294967295 134512640 134569956 3221224400 3221214608 1131558447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30775 13073 16 0 210056 0
vsize: 840288
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 103210 71 0 0 25 0 11 0 550191859 860454912 30804 4294967295 134512640 134569956 3221224400 3221214644 1131398569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30804 13073 16 0 210056 0
vsize: 840288
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 104193 71 0 0 24 0 11 0 550191859 860454912 30835 4294967295 134512640 134569956 3221224400 3221214792 1131400235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30835 13073 16 0 210056 0
vsize: 840288
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 105184 72 0 0 25 0 11 0 550191859 860454912 30838 4294967295 134512640 134569956 3221224400 3221214728 1131454768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30838 13073 16 0 210056 0
vsize: 840288
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 106165 72 0 0 25 0 11 0 550191859 860454912 30839 4294967295 134512640 134569956 3221224400 3221214728 1131454796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30839 13073 16 0 210056 0
vsize: 840288
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 107135 72 0 0 25 0 11 0 550191859 860454912 30898 4294967295 134512640 134569956 3221224400 3221214744 1131444325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30898 13073 16 0 210056 0
vsize: 840288
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 108107 73 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214624 1131398641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1130.07 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 109107 73 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214648 1131379699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1140.07 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 110107 73 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1150.07 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 111107 74 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1160.07 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 112106 74 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1170.07 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 15978
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 113106 74 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1180.08 s]
Raw data (loadavg): 1.03 1.01 0.95 2/65 15979
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 114106 74 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1190.08 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 16031
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 115092 75 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214632 1131468745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1200.08 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 16031
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 116092 75 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214624 1131398641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1210.08 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 16031
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 117091 75 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1220.08 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 16031
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 118091 75 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1230.08 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 16031
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 119091 75 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
[startup+1240.08 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 16031
Raw data (stat): 15968 (java) R 15967 26298 26297 0 -1 0 18075 0 1 0 120091 75 0 0 25 0 11 0 550191859 860454912 31591 4294967295 134512640 134569956 3221224400 3221214728 1131454818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 31591 13073 16 0 210056 0
vsize: 840288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.29 s]
Raw data (loadavg): 1.04 1.02 0.95 1/54 16033
Raw data (stat): 15968 (java) Z 15967 26298 26297 0 -1 1036 18075 11459 1 0 120094 75 3554 41 25 0 1 0 550191859 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): 1240.29
CPU time (s): 1237.67
CPU user time (s): 1236.49
CPU system time (s): 1.17582
CPU usage (%): 99.7886
Max. virtual memory (Kb): 842988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####