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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow7.opb
MD5SUMdfed840c6e02b292405d0ba5eb62b075
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 560
Biggest coefficient in the objective function 469762048
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 8589934514
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 109773592723456
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 511403730649348
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1252.73
Number of variables6944
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint19
Maximum length of a constraint416

Trace number 19877 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 19:49:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15921 boxname=wulflinc25 idbench=1225 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  dfed840c6e02b292405d0ba5eb62b075  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-grow7.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-grow7.opb
IDLAUNCH: 15921
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        831404 kB
Buffers:         23224 kB
Cached:         159716 kB
SwapCached:        728 kB
Active:          40308 kB
Inactive:       144620 kB
HighTotal:      131008 kB
HighFree:         6860 kB
LowTotal:       903652 kB
LowFree:        824544 kB
SwapTotal:     2097892 kB
SwapFree:      2096236 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            12720 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:10:07 (client local time) WITH STATUS 143 IN 1257.92 SECONDS
stats: 15921 7 1257.92 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-grow7.opb
c reading problem 
c [nbvar=6944]
c [nbconstr=420]
c time 18.837
c #vars     6944
c #clauses  560
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=0
c Current CPU time (ms) : 21.565
c starts	: 1
c conflicts	: 0
c decisions	: 6020
c propagations	: 6944
c inspects	: 6745
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-67108864
c Current CPU time (ms) : 22.505
c starts	: 2
c conflicts	: 0
c decisions	: 12039
c propagations	: 13888
c inspects	: 7948
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
#### 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.66 0.86 0.86 2/54 13254
Raw data (stat): 13254 (runsolver) R 13253 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547737824 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.0001 s]
Raw data (loadavg): 0.87 0.89 0.87 3/63 13263
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18009 0 1 0 853 38 0 0 25 0 10 0 547737824 865366016 21969 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211271 21969 13073 16 0 211255 0
vsize: 845084
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.90 0.87 2/64 13264
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18040 0 1 0 1728 39 0 0 25 0 11 0 547737824 861917184 22123 4294967295 134512640 134569956 3221224400 3221214872 1131396869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210429 22123 13073 16 0 210413 0
vsize: 841716
[startup+30.0011 s]
Raw data (loadavg): 1.21 0.96 0.90 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 2483 40 0 0 25 0 11 0 547737824 862244864 25279 4294967295 134512640 134569956 3221224400 3221214608 1131494875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210509 25279 13073 16 0 210493 0
vsize: 842036
[startup+40.0008 s]
Raw data (loadavg): 1.25 0.98 0.90 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 3465 40 0 0 25 0 11 0 547737824 862146560 25278 4294967295 134512640 134569956 3221224400 3221214816 1131532518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25278 13073 16 0 210469 0
vsize: 841940
[startup+50.001 s]
Raw data (loadavg): 1.22 0.98 0.90 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 4456 40 0 0 25 0 11 0 547737824 862146560 25278 4294967295 134512640 134569956 3221224400 3221214696 1131589174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 25278 13073 16 0 210469 0
vsize: 841940
[startup+60.0009 s]
Raw data (loadavg): 1.18 0.98 0.90 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 5441 40 0 0 25 0 11 0 547737824 862146560 25280 4294967295 134512640 134569956 3221224400 3221214424 1131543373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 25280 13073 16 0 210469 0
vsize: 841940
[startup+70.0016 s]
Raw data (loadavg): 1.15 0.98 0.90 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 6426 40 0 0 25 0 11 0 547737824 862146560 25280 4294967295 134512640 134569956 3221224400 3221214640 1131246338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25280 13073 16 0 210469 0
vsize: 841940
[startup+80.0027 s]
Raw data (loadavg): 1.13 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 7400 40 0 0 25 0 11 0 547737824 862146560 25293 4294967295 134512640 134569956 3221224400 3221214632 1131247064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 25293 13073 16 0 210469 0
vsize: 841940
[startup+90.0026 s]
Raw data (loadavg): 1.11 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 8378 40 0 0 25 0 11 0 547737824 862146560 25293 4294967295 134512640 134569956 3221224400 3221214768 1131697379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 25293 13073 16 0 210469 0
vsize: 841940
[startup+100.002 s]
Raw data (loadavg): 1.09 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) S 13253 28099 28098 0 -1 0 18088 3 1 0 9351 40 0 0 25 0 11 0 547737824 862146560 25296 4294967295 134512640 134569956 3221224400 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25296 13073 16 0 210469 0
vsize: 841940
[startup+110.011 s]
Raw data (loadavg): 1.08 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 10320 40 0 0 25 0 11 0 547737824 862146560 25392 4294967295 134512640 134569956 3221224400 3221214736 1131545825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25392 13073 16 0 210469 0
vsize: 841940
[startup+120.011 s]
Raw data (loadavg): 1.06 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 11293 41 0 0 25 0 11 0 547737824 862146560 25473 4294967295 134512640 134569956 3221224400 3221214264 1131700785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25473 13073 16 0 210469 0
vsize: 841940
[startup+130.011 s]
Raw data (loadavg): 1.05 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 12258 41 0 0 24 0 11 0 547737824 862146560 25597 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25597 13073 16 0 210469 0
vsize: 841940
[startup+140.011 s]
Raw data (loadavg): 1.05 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 13231 41 0 0 25 0 11 0 547737824 862146560 25706 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25706 13073 16 0 210469 0
vsize: 841940
[startup+150.011 s]
Raw data (loadavg): 1.04 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 14205 41 0 0 25 0 11 0 547737824 862146560 25791 4294967295 134512640 134569956 3221224400 3221214816 1131555470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25791 13073 16 0 210469 0
vsize: 841940
[startup+160.018 s]
Raw data (loadavg): 1.03 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 15179 42 0 0 25 0 11 0 547737824 862146560 25921 4294967295 134512640 134569956 3221224400 3221214632 1131246016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 25921 13073 16 0 210469 0
vsize: 841940
[startup+170.02 s]
Raw data (loadavg): 1.03 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 16144 42 0 0 25 0 11 0 547737824 862146560 26024 4294967295 134512640 134569956 3221224400 3221214744 1131386717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26024 13073 16 0 210469 0
vsize: 841940
[startup+180.02 s]
Raw data (loadavg): 1.02 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 17117 42 0 0 25 0 11 0 547737824 862146560 26139 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26139 13073 16 0 210469 0
vsize: 841940
[startup+190.023 s]
Raw data (loadavg): 1.02 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 18090 43 0 0 25 0 11 0 547737824 862146560 26272 4294967295 134512640 134569956 3221224400 3221214640 1131246157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26272 13073 16 0 210469 0
vsize: 841940
[startup+200.022 s]
Raw data (loadavg): 1.02 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 19054 43 0 0 25 0 11 0 547737824 862146560 26402 4294967295 134512640 134569956 3221224400 3221214544 1131700881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26402 13073 16 0 210469 0
vsize: 841940
[startup+210.023 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) S 13253 28099 28098 0 -1 0 18088 3 1 0 20016 44 0 0 25 0 11 0 547737824 862146560 26557 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26559 13073 16 0 210469 0
vsize: 841940
[startup+220.024 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 20988 44 0 0 25 0 11 0 547737824 862146560 26670 4294967295 134512640 134569956 3221224400 3221214168 1131700874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26670 13073 16 0 210469 0
vsize: 841940
[startup+230.025 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 21961 44 0 0 25 0 11 0 547737824 862146560 26764 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26764 13073 16 0 210469 0
vsize: 841940
[startup+240.025 s]
Raw data (loadavg): 1.01 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 22934 45 0 0 25 0 11 0 547737824 862146560 26828 4294967295 134512640 134569956 3221224400 3221214744 1131374292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26828 13073 16 0 210469 0
vsize: 841940
[startup+250.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 23905 45 0 0 25 0 11 0 547737824 862146560 26987 4294967295 134512640 134569956 3221224400 3221214664 1131495649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 26987 13073 16 0 210469 0
vsize: 841940
[startup+260.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 24867 46 0 0 25 0 11 0 547737824 862146560 27152 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 27152 13073 16 0 210469 0
vsize: 841940
[startup+270.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 25839 46 0 0 25 0 11 0 547737824 862146560 27290 4294967295 134512640 134569956 3221224400 3221214768 1131697379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 27290 13073 16 0 210469 0
vsize: 841940
[startup+280.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 26801 47 0 0 25 0 11 0 547737824 862146560 27443 4294967295 134512640 134569956 3221224400 3221214472 1131620080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 27443 13073 16 0 210469 0
vsize: 841940
[startup+290.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 27772 47 0 0 25 0 11 0 547737824 862146560 27591 4294967295 134512640 134569956 3221224400 3221214840 1131772783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 27591 13073 16 0 210469 0
vsize: 841940
[startup+300.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 28735 47 0 0 25 0 11 0 547737824 862146560 27782 4294967295 134512640 134569956 3221224400 3221214736 1131377474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 27782 13073 16 0 210469 0
vsize: 841940
[startup+310.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 29707 48 0 0 25 0 11 0 547737824 862146560 27831 4294967295 134512640 134569956 3221224400 3221214552 1131673758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 27831 13073 16 0 210469 0
vsize: 841940
[startup+320.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 30670 48 0 0 25 0 11 0 547737824 862146560 28016 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28016 13073 16 0 210469 0
vsize: 841940
[startup+330.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 31643 48 0 0 25 0 11 0 547737824 862146560 28134 4294967295 134512640 134569956 3221224400 3221214384 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28134 13073 16 0 210469 0
vsize: 841940
[startup+340.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) S 13253 28099 28098 0 -1 0 18088 3 1 0 32613 49 0 0 25 0 11 0 547737824 862146560 28254 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28254 13073 16 0 210469 0
vsize: 841940
[startup+350.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 33586 49 0 0 25 0 11 0 547737824 862146560 28387 4294967295 134512640 134569956 3221224400 3221214516 1080217097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28387 13073 16 0 210469 0
vsize: 841940
[startup+360.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 34558 49 0 0 25 0 11 0 547737824 862146560 28464 4294967295 134512640 134569956 3221224400 3221214808 1131476120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28464 13073 16 0 210469 0
vsize: 841940
[startup+370.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 35529 49 0 0 25 0 11 0 547737824 862146560 28586 4294967295 134512640 134569956 3221224400 3221214832 1131377157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28586 13073 16 0 210469 0
vsize: 841940
[startup+380.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 36501 50 0 0 25 0 11 0 547737824 862146560 28727 4294967295 134512640 134569956 3221224400 3221214224 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28727 13073 16 0 210469 0
vsize: 841940
[startup+390.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 37473 50 0 0 25 0 11 0 547737824 862146560 28835 4294967295 134512640 134569956 3221224400 3221214216 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28835 13073 16 0 210469 0
vsize: 841940
[startup+400.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 38436 50 0 0 25 0 11 0 547737824 862146560 28925 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28925 13073 16 0 210469 0
vsize: 841940
[startup+410.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 39408 50 0 0 25 0 11 0 547737824 862146560 28971 4294967295 134512640 134569956 3221224400 3221214768 1131697263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 28971 13073 16 0 210469 0
vsize: 841940
[startup+420.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 40380 50 0 0 25 0 11 0 547737824 862146560 29088 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29088 13073 16 0 210469 0
vsize: 841940
[startup+430.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 41352 51 0 0 25 0 11 0 547737824 862146560 29131 4294967295 134512640 134569956 3221224400 3221214636 1080203733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 29131 13073 16 0 210469 0
vsize: 841940
[startup+440.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 42314 51 0 0 25 0 11 0 547737824 862146560 29301 4294967295 134512640 134569956 3221224400 3221214744 1131374464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29301 13073 16 0 210469 0
vsize: 841940
[startup+450.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 43287 51 0 0 25 0 11 0 547737824 862146560 29364 4294967295 134512640 134569956 3221224400 3221214784 1131369973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29364 13073 16 0 210469 0
vsize: 841940
[startup+460.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 44250 51 0 0 25 0 11 0 547737824 862146560 29487 4294967295 134512640 134569956 3221224400 3221214824 1131503509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29487 13073 16 0 210469 0
vsize: 841940
[startup+470.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 45223 51 0 0 25 0 11 0 547737824 862146560 29602 4294967295 134512640 134569956 3221224400 3221214720 1131528754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29602 13073 16 0 210469 0
vsize: 841940
[startup+480.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 46198 51 0 0 25 0 11 0 547737824 862146560 29703 4294967295 134512640 134569956 3221224400 3221214696 1131586026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29703 13073 16 0 210469 0
vsize: 841940
[startup+490.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 47166 52 0 0 25 0 11 0 547737824 862146560 29796 4294967295 134512640 134569956 3221224400 3221214640 1131248140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29796 13073 16 0 210469 0
vsize: 841940
[startup+500.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 48141 52 0 0 25 0 11 0 547737824 862146560 29865 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 29865 13073 16 0 210469 0
vsize: 841940
[startup+510.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 49117 52 0 0 25 0 11 0 547737824 862146560 29960 4294967295 134512640 134569956 3221224400 3221214160 1131700826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 29960 13073 16 0 210469 0
vsize: 841940
[startup+520.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 50081 52 0 0 25 0 11 0 547737824 862146560 30049 4294967295 134512640 134569956 3221224400 3221214592 1131521757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30049 13073 16 0 210469 0
vsize: 841940
[startup+530.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 51055 53 0 0 25 0 11 0 547737824 862146560 30163 4294967295 134512640 134569956 3221224400 3221214384 1080217376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 30163 13073 16 0 210469 0
vsize: 841940
[startup+540.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 52030 53 0 0 25 0 11 0 547737824 862146560 30244 4294967295 134512640 134569956 3221224400 3221214396 1131700902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 30244 13073 16 0 210469 0
vsize: 841940
[startup+550.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 52996 53 0 0 25 0 11 0 547737824 862146560 30341 4294967295 134512640 134569956 3221224400 3221214328 1080216959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30341 13073 16 0 210469 0
vsize: 841940
[startup+560.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 53970 53 0 0 25 0 11 0 547737824 862146560 30400 4294967295 134512640 134569956 3221224400 3221214744 1131374361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30400 13073 16 0 210469 0
vsize: 841940
[startup+570.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 54935 54 0 0 25 0 11 0 547737824 862146560 30488 4294967295 134512640 134569956 3221224400 3221214752 1131473472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30488 13073 16 0 210469 0
vsize: 841940
[startup+580.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 55910 54 0 0 25 0 11 0 547737824 862146560 30545 4294967295 134512640 134569956 3221224400 3221214264 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30545 13073 16 0 210469 0
vsize: 841940
[startup+590.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 56884 54 0 0 25 0 11 0 547737824 862146560 30618 4294967295 134512640 134569956 3221224400 3221214212 1131701577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30618 13073 16 0 210469 0
vsize: 841940
[startup+600.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 57858 55 0 0 25 0 11 0 547737824 862146560 30738 4294967295 134512640 134569956 3221224400 3221214016 1131782356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30738 13073 16 0 210469 0
vsize: 841940
[startup+610.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 58841 55 0 0 25 0 11 0 547737824 862146560 30803 4294967295 134512640 134569956 3221224400 3221214768 1131697368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30803 13073 16 0 210469 0
vsize: 841940
[startup+620.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 59815 55 0 0 25 0 11 0 547737824 862146560 30890 4294967295 134512640 134569956 3221224400 3221214120 1131701488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30890 13073 16 0 210469 0
vsize: 841940
[startup+630.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/64 13266
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 60787 56 0 0 25 0 11 0 547737824 862146560 30976 4294967295 134512640 134569956 3221224400 3221214768 1131697372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 30976 13073 16 0 210469 0
vsize: 841940
[startup+640.062 s]
Raw data (loadavg): 1.16 1.01 0.92 3/65 13267
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 61769 56 0 0 25 0 11 0 547737824 862146560 31029 4294967295 134512640 134569956 3221224400 3221214768 1131697379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 31029 13073 16 0 210469 0
vsize: 841940
[startup+650.062 s]
Raw data (loadavg): 1.21 1.03 0.93 2/64 13319
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 62738 57 0 0 25 0 11 0 547737824 862146560 31169 4294967295 134512640 134569956 3221224400 3221214400 1131782376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31169 13073 16 0 210469 0
vsize: 841940
[startup+660.062 s]
Raw data (loadavg): 1.18 1.03 0.93 2/64 13319
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 63709 57 0 0 25 0 11 0 547737824 862146560 31290 4294967295 134512640 134569956 3221224400 3221214768 1131697263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31290 13073 16 0 210469 0
vsize: 841940
[startup+670.063 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 13319
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 64680 57 0 0 25 0 11 0 547737824 862146560 31408 4294967295 134512640 134569956 3221224400 3221214584 1131700119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31408 13073 16 0 210469 0
vsize: 841940
[startup+680.069 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 13319
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 65651 57 0 0 25 0 11 0 547737824 862146560 31483 4294967295 134512640 134569956 3221224400 3221214656 1131613220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31483 13073 16 0 210469 0
vsize: 841940
[startup+690.069 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 13319
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 66622 57 0 0 25 0 11 0 547737824 862146560 31592 4294967295 134512640 134569956 3221224400 3221214512 1131615779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31592 13073 16 0 210469 0
vsize: 841940
[startup+700.069 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 13319
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 67593 57 0 0 25 0 11 0 547737824 862146560 31708 4294967295 134512640 134569956 3221224400 3221214832 1131377139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31708 13073 16 0 210469 0
vsize: 841940
[startup+710.069 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 68563 57 0 0 25 0 11 0 547737824 862146560 31849 4294967295 134512640 134569956 3221224400 3221214592 1131784640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31849 13073 16 0 210469 0
vsize: 841940
[startup+720.07 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 69534 57 0 0 25 0 11 0 547737824 862146560 31962 4294967295 134512640 134569956 3221224400 3221214592 1131521835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 31962 13073 16 0 210469 0
vsize: 841940
[startup+730.07 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 70505 57 0 0 25 0 11 0 547737824 862146560 32093 4294967295 134512640 134569956 3221224400 3221214316 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32093 13073 16 0 210469 0
vsize: 841940
[startup+740.071 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 71476 57 0 0 25 0 11 0 547737824 862146560 32185 4294967295 134512640 134569956 3221224400 3221214768 1131697372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 32185 13073 16 0 210469 0
vsize: 841940
[startup+750.071 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 72447 58 0 0 25 0 11 0 547737824 862146560 32282 4294967295 134512640 134569956 3221224400 3221214300 1131700128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32282 13073 16 0 210469 0
vsize: 841940
[startup+760.072 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 73418 58 0 0 25 0 11 0 547737824 862146560 32374 4294967295 134512640 134569956 3221224400 3221214680 1131671125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 32374 13073 16 0 210469 0
vsize: 841940
[startup+770.072 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 74389 58 0 0 25 0 11 0 547737824 862146560 32478 4294967295 134512640 134569956 3221224400 3221214768 1131697260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32478 13073 16 0 210469 0
vsize: 841940
[startup+780.072 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 75360 58 0 0 25 0 11 0 547737824 862146560 32558 4294967295 134512640 134569956 3221224400 3221214168 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32558 13073 16 0 210469 0
vsize: 841940
[startup+790.073 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 76331 58 0 0 25 0 11 0 547737824 862146560 32673 4294967295 134512640 134569956 3221224400 3221214072 1085679438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32673 13073 16 0 210469 0
vsize: 841940
[startup+800.074 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 77302 58 0 0 25 0 11 0 547737824 862146560 32820 4294967295 134512640 134569956 3221224400 3221214840 1131216785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32820 13073 16 0 210469 0
vsize: 841940
[startup+810.074 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 78274 58 0 0 25 0 11 0 547737824 862146560 32858 4294967295 134512640 134569956 3221224400 3221214640 1131246977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32858 13073 16 0 210469 0
vsize: 841940
[startup+820.074 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 79245 58 0 0 25 0 11 0 547737824 862146560 32984 4294967295 134512640 134569956 3221224400 3221214072 1131701532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 32984 13073 16 0 210469 0
vsize: 841940
[startup+830.074 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 80217 58 0 0 25 0 11 0 547737824 862146560 33059 4294967295 134512640 134569956 3221224400 3221214392 1131783922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33059 13073 16 0 210469 0
vsize: 841940
[startup+840.074 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 81189 58 0 0 25 0 11 0 547737824 862146560 33154 4294967295 134512640 134569956 3221224400 3221214472 1131617661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33154 13073 16 0 210469 0
vsize: 841940
[startup+850.074 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 82160 58 0 0 25 0 11 0 547737824 862146560 33226 4294967295 134512640 134569956 3221224400 3221214768 1131697248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33226 13073 16 0 210469 0
vsize: 841940
[startup+860.074 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 83123 58 0 0 25 0 11 0 547737824 862146560 33326 4294967295 134512640 134569956 3221224400 3221214744 1131374292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33326 13073 16 0 210469 0
vsize: 841940
[startup+870.075 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 84093 58 0 0 25 0 11 0 547737824 862146560 33437 4294967295 134512640 134569956 3221224400 3221214020 1131700816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33437 13073 16 0 210469 0
vsize: 841940
[startup+880.075 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 85064 58 0 0 25 0 11 0 547737824 862146560 33552 4294967295 134512640 134569956 3221224400 3221214488 1131700117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33552 13073 16 0 210469 0
vsize: 841940
[startup+890.075 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 86036 58 0 0 25 0 11 0 547737824 862146560 33632 4294967295 134512640 134569956 3221224400 3221214800 1131232505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33632 13073 16 0 210469 0
vsize: 841940
[startup+900.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 87008 58 0 0 25 0 11 0 547737824 862146560 33722 4294967295 134512640 134569956 3221224400 3221214024 1131700792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33722 13073 16 0 210469 0
vsize: 841940
[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 87979 58 0 0 25 0 11 0 547737824 862146560 33813 4294967295 134512640 134569956 3221224400 3221214768 1131697379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33813 13073 16 0 210469 0
vsize: 841940
[startup+920.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 88950 58 0 0 25 0 11 0 547737824 862146560 33909 4294967295 134512640 134569956 3221224400 3221214632 1131246016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33909 13073 16 0 210469 0
vsize: 841940
[startup+930.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 89921 58 0 0 25 0 11 0 547737824 862146560 33988 4294967295 134512640 134569956 3221224400 3221214592 1131782151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 33988 13073 16 0 210469 0
vsize: 841940
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 90882 58 0 0 25 0 11 0 547737824 862146560 34116 4294967295 134512640 134569956 3221224400 3221214592 1131788441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34116 13073 16 0 210469 0
vsize: 841940
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 91853 58 0 0 25 0 11 0 547737824 862146560 34185 4294967295 134512640 134569956 3221224400 3221214768 1131697372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34185 13073 16 0 210469 0
vsize: 841940
[startup+960.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 92825 58 0 0 25 0 11 0 547737824 862146560 34254 4294967295 134512640 134569956 3221224400 3221214840 1131216789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34254 13073 16 0 210469 0
vsize: 841940
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13321
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 93815 59 0 0 25 0 11 0 547737824 862146560 34254 4294967295 134512640 134569956 3221224400 3221214072 1131700817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34254 13073 16 0 210469 0
vsize: 841940
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 94785 59 0 0 25 0 11 0 547737824 862146560 34394 4294967295 134512640 134569956 3221224400 3221213888 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34394 13073 16 0 210469 0
vsize: 841940
[startup+990.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 95766 59 0 0 25 0 11 0 547737824 862146560 34442 4294967295 134512640 134569956 3221224400 3221214888 1131396693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 34442 13073 16 0 210469 0
vsize: 841940
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 96737 59 0 0 25 0 11 0 547737824 862146560 34555 4294967295 134512640 134569956 3221224400 3221214640 1131246103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34555 13073 16 0 210469 0
vsize: 841940
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 97707 59 0 0 25 0 11 0 547737824 862146560 34654 4294967295 134512640 134569956 3221224400 3221214736 1131513006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34654 13073 16 0 210469 0
vsize: 841940
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 98687 59 0 0 25 0 11 0 547737824 862146560 34719 4294967295 134512640 134569956 3221224400 3221214840 1131772545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34719 13073 16 0 210469 0
vsize: 841940
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 99657 59 0 0 25 0 11 0 547737824 862146560 34830 4294967295 134512640 134569956 3221224400 3221214768 1131697248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34830 13073 16 0 210469 0
vsize: 841940
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 100638 59 0 0 25 0 11 0 547737824 862146560 34916 4294967295 134512640 134569956 3221224400 3221214768 1131697263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34916 13073 16 0 210469 0
vsize: 841940
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 101618 59 0 0 25 0 11 0 547737824 862146560 34970 4294967295 134512640 134569956 3221224400 3221214840 1131216768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 34970 13073 16 0 210469 0
vsize: 841940
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 102588 59 0 0 25 0 11 0 547737824 862146560 35084 4294967295 134512640 134569956 3221224400 3221214768 1131697368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35084 13073 16 0 210469 0
vsize: 841940
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 103568 59 0 0 25 0 11 0 547737824 862146560 35175 4294967295 134512640 134569956 3221224400 3221214680 1131671076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35175 13073 16 0 210469 0
vsize: 841940
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 104539 59 0 0 25 0 11 0 547737824 862146560 35231 4294967295 134512640 134569956 3221224400 3221213888 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35231 13073 16 0 210469 0
vsize: 841940
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 105519 59 0 0 25 0 11 0 547737824 862146560 35297 4294967295 134512640 134569956 3221224400 3221214768 1131697248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35297 13073 16 0 210469 0
vsize: 841940
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 106490 59 0 0 25 0 11 0 547737824 862146560 35392 4294967295 134512640 134569956 3221224400 3221214392 1131782362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35392 13073 16 0 210469 0
vsize: 841940
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 107461 59 0 0 25 0 11 0 547737824 862146560 35486 4294967295 134512640 134569956 3221224400 3221214768 1131697368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35486 13073 16 0 210469 0
vsize: 841940
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 108442 59 0 0 25 0 11 0 547737824 862146560 35565 4294967295 134512640 134569956 3221224400 3221214744 1131386744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35565 13073 16 0 210469 0
vsize: 841940
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 109413 59 0 0 25 0 11 0 547737824 862146560 35651 4294967295 134512640 134569956 3221224400 3221214832 1130895201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35651 13073 16 0 210469 0
vsize: 841940
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 110384 59 0 0 25 0 11 0 547737824 862146560 35759 4294967295 134512640 134569956 3221224400 3221214768 1131697263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35759 13073 16 0 210469 0
vsize: 841940
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 111356 59 0 0 24 0 11 0 547737824 862146560 35825 4294967295 134512640 134569956 3221224400 3221214768 1131697372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35825 13073 16 0 210469 0
vsize: 841940
[startup+1160.08 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 112336 59 0 0 25 0 11 0 547737824 862146560 35882 4294967295 134512640 134569956 3221224400 3221214696 1131586301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35882 13073 16 0 210469 0
vsize: 841940
[startup+1170.08 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 113307 59 0 0 25 0 11 0 547737824 862146560 35981 4294967295 134512640 134569956 3221224400 3221214024 1131701417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 35981 13073 16 0 210469 0
vsize: 841940
[startup+1180.08 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 114279 59 0 0 25 0 11 0 547737824 862146560 36085 4294967295 134512640 134569956 3221224400 3221214448 1131700792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 36085 13073 16 0 210469 0
vsize: 841940
[startup+1190.08 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 115250 59 0 0 25 0 11 0 547737824 862146560 36143 4294967295 134512640 134569956 3221224400 3221214768 1131697263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 36143 13073 16 0 210469 0
vsize: 841940
[startup+1200.08 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 116231 59 0 0 25 0 11 0 547737824 862146560 36216 4294967295 134512640 134569956 3221224400 3221214024 1131701494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 36216 13073 16 0 210469 0
vsize: 841940
[startup+1210.08 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 117202 59 0 0 25 0 11 0 547737824 862146560 36296 4294967295 134512640 134569956 3221224400 3221214632 1131246555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 36296 13073 16 0 210469 0
vsize: 841940
[startup+1220.08 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 118182 59 0 0 25 0 11 0 547737824 862146560 36364 4294967295 134512640 134569956 3221224400 3221214160 1131703528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210485 36364 13073 16 0 210469 0
vsize: 841940
[startup+1230.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 119153 59 0 0 25 0 11 0 547737824 862146560 36459 4294967295 134512640 134569956 3221224400 3221214768 1131697379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 36459 13073 16 0 210469 0
vsize: 841940
[startup+1240.08 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 13323
Raw data (stat): 13254 (java) R 13253 28099 28098 0 -1 0 18088 3 1 0 120124 59 0 0 25 0 11 0 547737824 862146560 36549 4294967295 134512640 134569956 3221224400 3221214768 1131697265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210485 36549 13073 16 0 210469 0
vsize: 841940
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.02 1.01 0.93 1/54 13325
Raw data (stat): 13254 (java) Z 13253 28099 28098 0 -1 1036 18088 26645 1 0 120127 65 5533 64 25 0 1 0 547737824 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.17
CPU time (s): 1257.92
CPU user time (s): 1256.61
CPU system time (s): 1.3058
CPU usage (%): 101.431
Max. virtual memory (Kb): 845084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####