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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb
MD5SUMbafd5f2a91d0ace4ec9dc114753d5b3e
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 66480
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 35987090508169210757120
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 35987192908169210757120
Number of bits of the biggest sum of numbers75
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.632903
Number of variables66480
Total number of constraints11523
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9721
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint1
Maximum length of a constraint66480

Trace number 20416

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-21 20:48:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15115 boxname=wulflinc12 idbench=1163 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bafd5f2a91d0ace4ec9dc114753d5b3e  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-dolom1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-dolom1.opb
IDLAUNCH: 15115
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        500728 kB
Buffers:         32936 kB
Cached:         479004 kB
SwapCached:        508 kB
Active:         105240 kB
Inactive:       408832 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        500476 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14104 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:10:24 (client local time) WITH STATUS 143 IN 1321.4 SECONDS
stats: 15115 7 1321.4 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-dolom1.opb
c reading problem 
c [nbvar=66480]
c [nbconstr=11523]
c time 1270.863
c #vars     66480
c #clauses  3496
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.83 0.94 0.90 1/54 5125
Raw data (stat): 5125 (runsolver) D 5124 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 489857033 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.85 0.94 0.90 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 877 37 0 0 25 0 10 0 489857033 853389312 19117 4294967295 134512640 134569956 3221224400 3221214468 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208347 19117 13073 16 0 208331 0
vsize: 833388
[startup+20.0034 s]
Raw data (loadavg): 0.87 0.94 0.90 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 1765 37 0 0 19 0 10 0 489857033 853626880 19670 4294967295 134512640 134569956 3221224400 3221214820 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 19670 13073 16 0 208389 0
vsize: 833620
[startup+30.0135 s]
Raw data (loadavg): 0.89 0.94 0.90 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 2663 38 0 0 25 0 10 0 489857033 853626880 20108 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 20108 13073 16 0 208389 0
vsize: 833620
[startup+40.0314 s]
Raw data (loadavg): 0.91 0.94 0.90 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 3594 38 0 0 25 0 10 0 489857033 853626880 20338 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 20338 13073 16 0 208389 0
vsize: 833620
[startup+50.0403 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 4524 38 0 0 25 0 10 0 489857033 853626880 20460 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 20460 13073 16 0 208389 0
vsize: 833620
[startup+60.0408 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 5453 38 0 0 25 0 10 0 489857033 853659648 20569 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208413 20569 13073 16 0 208397 0
vsize: 833652
[startup+70.0412 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 6395 39 0 0 24 0 10 0 489857033 853626880 20777 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 20777 13073 16 0 208389 0
vsize: 833620
[startup+80.0426 s]
Raw data (loadavg): 1.00 0.96 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 7344 39 0 0 25 0 10 0 489857033 853626880 20851 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 20851 13073 16 0 208389 0
vsize: 833620
[startup+90.0444 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 8290 39 0 0 25 0 10 0 489857033 853626880 20924 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 20924 13073 16 0 208389 0
vsize: 833620
[startup+100.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 9237 39 0 0 24 0 10 0 489857033 853626880 20991 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 20991 13073 16 0 208389 0
vsize: 833620
[startup+110.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 10184 40 0 0 24 0 10 0 489857033 853626880 21055 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21055 13073 16 0 208389 0
vsize: 833620
[startup+120.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 11134 40 0 0 25 0 10 0 489857033 853626880 21111 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21111 13073 16 0 208389 0
vsize: 833620
[startup+130.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 12081 40 0 0 25 0 10 0 489857033 853626880 21168 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21168 13073 16 0 208389 0
vsize: 833620
[startup+140.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 13028 40 0 0 25 0 10 0 489857033 853626880 21222 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21222 13073 16 0 208389 0
vsize: 833620
[startup+150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 13974 40 0 0 24 0 10 0 489857033 853626880 21275 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21275 13073 16 0 208389 0
vsize: 833620
[startup+160.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 14924 40 0 0 21 0 10 0 489857033 853626880 21322 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21322 13073 16 0 208389 0
vsize: 833620
[startup+170.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 15853 41 0 0 25 0 10 0 489857033 853626880 21370 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21370 13073 16 0 208389 0
vsize: 833620
[startup+180.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 16780 41 0 0 25 0 10 0 489857033 853626880 21414 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21414 13073 16 0 208389 0
vsize: 833620
[startup+190.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 17717 41 0 0 25 0 10 0 489857033 853626880 21715 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21715 13073 16 0 208389 0
vsize: 833620
[startup+200.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 18659 41 0 0 25 0 10 0 489857033 853626880 21759 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21759 13073 16 0 208389 0
vsize: 833620
[startup+210.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 19605 41 0 0 25 0 10 0 489857033 853626880 21800 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21800 13073 16 0 208389 0
vsize: 833620
[startup+220.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 20546 42 0 0 25 0 10 0 489857033 853626880 21842 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21842 13073 16 0 208389 0
vsize: 833620
[startup+230.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 21487 42 0 0 24 0 10 0 489857033 853626880 21882 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 21882 13073 16 0 208389 0
vsize: 833620
[startup+240.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 22431 42 0 0 25 0 10 0 489857033 853626880 21919 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 21919 13073 16 0 208389 0
vsize: 833620
[startup+250.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 23372 42 0 0 25 0 10 0 489857033 853626880 21958 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 21958 13073 16 0 208389 0
vsize: 833620
[startup+260.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 24315 43 0 0 25 0 10 0 489857033 853626880 21994 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 21994 13073 16 0 208389 0
vsize: 833620
[startup+270.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 25254 43 0 0 25 0 10 0 489857033 853626880 22031 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22031 13073 16 0 208389 0
vsize: 833620
[startup+280.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 26193 44 0 0 25 0 10 0 489857033 853626880 22066 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22066 13073 16 0 208389 0
vsize: 833620
[startup+290.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 27134 44 0 0 25 0 10 0 489857033 853626880 22101 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22101 13073 16 0 208389 0
vsize: 833620
[startup+300.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 28071 45 0 0 24 0 10 0 489857033 853626880 22137 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22137 13073 16 0 208389 0
vsize: 833620
[startup+310.079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 29011 45 0 0 25 0 10 0 489857033 853626880 22170 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22170 13073 16 0 208389 0
vsize: 833620
[startup+320.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 29950 45 0 0 25 0 10 0 489857033 853626880 22203 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22203 13073 16 0 208389 0
vsize: 833620
[startup+330.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 30887 46 0 0 25 0 10 0 489857033 853626880 22236 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22236 13073 16 0 208389 0
vsize: 833620
[startup+340.082 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 31826 46 0 0 25 0 10 0 489857033 853626880 22268 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 22268 13073 16 0 208389 0
vsize: 833620
[startup+350.082 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 32762 46 0 0 25 0 10 0 489857033 853626880 22302 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22302 13073 16 0 208389 0
vsize: 833620
[startup+360.083 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 33700 47 0 0 25 0 10 0 489857033 853626880 22332 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22332 13073 16 0 208389 0
vsize: 833620
[startup+370.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 34634 47 0 0 25 0 10 0 489857033 853626880 22364 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22364 13073 16 0 208389 0
vsize: 833620
[startup+380.086 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 35572 47 0 0 25 0 10 0 489857033 853626880 22394 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22394 13073 16 0 208389 0
vsize: 833620
[startup+390.087 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 36509 48 0 0 25 0 10 0 489857033 853626880 22423 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22423 13073 16 0 208389 0
vsize: 833620
[startup+400.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 37440 49 0 0 25 0 10 0 489857033 853626880 22454 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22454 13073 16 0 208389 0
vsize: 833620
[startup+410.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 38375 49 0 0 19 0 10 0 489857033 853626880 22482 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22482 13073 16 0 208389 0
vsize: 833620
[startup+420.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 39311 49 0 0 25 0 10 0 489857033 853626880 22510 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22510 13073 16 0 208389 0
vsize: 833620
[startup+430.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 40242 49 0 0 25 0 10 0 489857033 853626880 22539 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22539 13073 16 0 208389 0
vsize: 833620
[startup+440.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 41177 49 0 0 25 0 10 0 489857033 853626880 22567 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22567 13073 16 0 208389 0
vsize: 833620
[startup+450.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 42112 50 0 0 25 0 10 0 489857033 853626880 22594 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22594 13073 16 0 208389 0
vsize: 833620
[startup+460.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 43042 50 0 0 25 0 10 0 489857033 853626880 22622 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22622 13073 16 0 208389 0
vsize: 833620
[startup+470.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 43975 51 0 0 25 0 10 0 489857033 853626880 22649 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22649 13073 16 0 208389 0
vsize: 833620
[startup+480.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 44908 51 0 0 25 0 10 0 489857033 853626880 22675 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22675 13073 16 0 208389 0
vsize: 833620
[startup+490.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 45837 51 0 0 24 0 10 0 489857033 853626880 22703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22703 13073 16 0 208389 0
vsize: 833620
[startup+500.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 46769 52 0 0 25 0 10 0 489857033 853626880 22728 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22728 13073 16 0 208389 0
vsize: 833620
[startup+510.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 47701 52 0 0 25 0 10 0 489857033 853626880 22754 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22754 13073 16 0 208389 0
vsize: 833620
[startup+520.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 48628 52 0 0 24 0 10 0 489857033 853626880 22780 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22780 13073 16 0 208389 0
vsize: 833620
[startup+530.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 49558 52 0 0 25 0 10 0 489857033 853626880 22805 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22805 13073 16 0 208389 0
vsize: 833620
[startup+540.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 50488 53 0 0 25 0 10 0 489857033 853626880 22831 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22831 13073 16 0 208389 0
vsize: 833620
[startup+550.107 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 51419 53 0 0 25 0 10 0 489857033 853626880 22855 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22855 13073 16 0 208389 0
vsize: 833620
[startup+560.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 52344 54 0 0 25 0 10 0 489857033 853626880 22881 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22881 13073 16 0 208389 0
vsize: 833620
[startup+570.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 53275 54 0 0 25 0 10 0 489857033 853626880 22905 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22905 13073 16 0 208389 0
vsize: 833620
[startup+580.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 54203 55 0 0 25 0 10 0 489857033 853626880 22928 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22928 13073 16 0 208389 0
vsize: 833620
[startup+590.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 55131 56 0 0 25 0 10 0 489857033 853626880 22952 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22952 13073 16 0 208389 0
vsize: 833620
[startup+600.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 56054 56 0 0 25 0 10 0 489857033 853626880 22977 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 22977 13073 16 0 208389 0
vsize: 833620
[startup+610.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 56982 57 0 0 25 0 10 0 489857033 853626880 23000 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 23000 13073 16 0 208389 0
vsize: 833620
[startup+620.113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 57909 57 0 0 25 0 10 0 489857033 853626880 23023 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 23023 13073 16 0 208389 0
vsize: 833620
[startup+630.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 58837 58 0 0 25 0 10 0 489857033 853626880 23045 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 23045 13073 16 0 208389 0
vsize: 833620
[startup+640.113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 59760 58 0 0 24 0 10 0 489857033 853626880 23069 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 23069 13073 16 0 208389 0
vsize: 833620
[startup+650.116 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 60686 59 0 0 25 0 10 0 489857033 853626880 23092 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 23092 13073 16 0 208389 0
vsize: 833620
[startup+660.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 61605 59 0 0 25 0 10 0 489857033 853626880 24112 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24112 13073 16 0 208389 0
vsize: 833620
[startup+670.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 62533 60 0 0 25 0 10 0 489857033 853626880 24112 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24112 13073 16 0 208389 0
vsize: 833620
[startup+680.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 63451 60 0 0 25 0 10 0 489857033 853626880 24119 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24119 13073 16 0 208389 0
vsize: 833620
[startup+690.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 5134
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 64367 61 0 0 25 0 10 0 489857033 853626880 24147 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24147 13073 16 0 208389 0
vsize: 833620
[startup+700.136 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 5187
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 65280 62 0 0 25 0 10 0 489857033 853626880 24174 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24174 13073 16 0 208389 0
vsize: 833620
[startup+710.136 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 5187
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 66194 62 0 0 25 0 10 0 489857033 853626880 24200 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24200 13073 16 0 208389 0
vsize: 833620
[startup+720.137 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 5187
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 67110 62 0 0 25 0 10 0 489857033 853626880 24226 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24226 13073 16 0 208389 0
vsize: 833620
[startup+730.145 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 5187
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 68025 63 0 0 25 0 10 0 489857033 853626880 24250 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24250 13073 16 0 208389 0
vsize: 833620
[startup+740.145 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 5187
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 68939 63 0 0 25 0 10 0 489857033 853626880 24271 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24271 13073 16 0 208389 0
vsize: 833620
[startup+750.146 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 5187
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 69853 63 0 0 25 0 10 0 489857033 853626880 24302 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24302 13073 16 0 208389 0
vsize: 833620
[startup+760.146 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 5187
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 70767 64 0 0 25 0 10 0 489857033 853626880 24327 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24327 13073 16 0 208389 0
vsize: 833620
[startup+770.147 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 71680 64 0 0 25 0 10 0 489857033 853626880 24351 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24351 13073 16 0 208389 0
vsize: 833620
[startup+780.147 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 72598 64 0 0 25 0 10 0 489857033 853626880 24370 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24370 13073 16 0 208389 0
vsize: 833620
[startup+790.147 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 73513 65 0 0 25 0 10 0 489857033 853626880 24400 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24400 13073 16 0 208389 0
vsize: 833620
[startup+800.148 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 74426 65 0 0 25 0 10 0 489857033 853626880 24423 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24423 13073 16 0 208389 0
vsize: 833620
[startup+810.148 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 75338 65 0 0 25 0 10 0 489857033 853626880 24448 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24448 13073 16 0 208389 0
vsize: 833620
[startup+820.149 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 76250 66 0 0 25 0 10 0 489857033 853626880 24468 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208405 24468 13073 16 0 208389 0
vsize: 833620
[startup+830.149 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 77161 66 0 0 25 0 10 0 489857033 853626880 24495 4294967295 134512640 134569956 3221224400 3221214832 1131165240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24495 13073 16 0 208389 0
vsize: 833620
[startup+840.149 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 78072 66 0 0 25 0 10 0 489857033 853626880 24517 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24517 13073 16 0 208389 0
vsize: 833620
[startup+850.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 78983 66 0 0 24 0 10 0 489857033 853626880 24541 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24541 13073 16 0 208389 0
vsize: 833620
[startup+860.151 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 79893 67 0 0 24 0 10 0 489857033 853626880 24561 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24561 13073 16 0 208389 0
vsize: 833620
[startup+870.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 80809 67 0 0 25 0 10 0 489857033 853626880 24587 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24587 13073 16 0 208389 0
vsize: 833620
[startup+880.154 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 81718 67 0 0 25 0 10 0 489857033 853626880 24610 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24610 13073 16 0 208389 0
vsize: 833620
[startup+890.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 82627 67 0 0 25 0 10 0 489857033 853626880 24629 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24629 13073 16 0 208389 0
vsize: 833620
[startup+900.154 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 83536 67 0 0 25 0 10 0 489857033 853626880 24657 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24657 13073 16 0 208389 0
vsize: 833620
[startup+910.155 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 84444 68 0 0 25 0 10 0 489857033 853626880 24681 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24681 13073 16 0 208389 0
vsize: 833620
[startup+920.156 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 85352 68 0 0 17 0 10 0 489857033 853626880 24704 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24704 13073 16 0 208389 0
vsize: 833620
[startup+930.157 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 86265 68 0 0 23 0 10 0 489857033 853626880 24721 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24721 13073 16 0 208389 0
vsize: 833620
[startup+940.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 87173 68 0 0 22 0 10 0 489857033 853626880 24740 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24740 13073 16 0 208389 0
vsize: 833620
[startup+950.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 88080 68 0 0 21 0 10 0 489857033 853626880 24769 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24769 13073 16 0 208389 0
vsize: 833620
[startup+960.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 88985 68 0 0 20 0 10 0 489857033 853626880 24791 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24791 13073 16 0 208389 0
vsize: 833620
[startup+970.263 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 89902 68 0 0 19 0 10 0 489857033 853626880 24814 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24814 13073 16 0 208389 0
vsize: 833620
[startup+980.264 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 90809 69 0 0 20 0 10 0 489857033 853626880 24833 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24833 13073 16 0 208389 0
vsize: 833620
[startup+990.264 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 91721 69 0 0 23 0 10 0 489857033 853626880 24855 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24855 13073 16 0 208389 0
vsize: 833620
[startup+1000.26 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 92626 69 0 0 21 0 10 0 489857033 853626880 24876 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24876 13073 16 0 208389 0
vsize: 833620
[startup+1010.26 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 93533 69 0 0 21 0 10 0 489857033 853626880 24894 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24894 13073 16 0 208389 0
vsize: 833620
[startup+1020.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5189
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 94439 70 0 0 19 0 10 0 489857033 853626880 24921 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24921 13073 16 0 208389 0
vsize: 833620
[startup+1030.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 95350 70 0 0 23 0 10 0 489857033 853626880 24940 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24940 13073 16 0 208389 0
vsize: 833620
[startup+1040.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 96254 70 0 0 21 0 10 0 489857033 853626880 24959 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24959 13073 16 0 208389 0
vsize: 833620
[startup+1050.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 97158 70 0 0 19 0 10 0 489857033 853626880 24986 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 24986 13073 16 0 208389 0
vsize: 833620
[startup+1060.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 98067 70 0 0 23 0 10 0 489857033 853626880 25006 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25006 13073 16 0 208389 0
vsize: 833620
[startup+1070.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 98968 71 0 0 22 0 10 0 489857033 853626880 25026 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25026 13073 16 0 208389 0
vsize: 833620
[startup+1080.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 99871 71 0 0 20 0 10 0 489857033 853626880 25045 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25045 13073 16 0 208389 0
vsize: 833620
[startup+1090.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 100780 71 0 0 24 0 10 0 489857033 853626880 25067 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25067 13073 16 0 208389 0
vsize: 833620
[startup+1100.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 101683 71 0 0 21 0 10 0 489857033 853626880 25088 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25088 13073 16 0 208389 0
vsize: 833620
[startup+1110.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 102585 71 0 0 20 0 10 0 489857033 853626880 25110 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25110 13073 16 0 208389 0
vsize: 833620
[startup+1120.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 103494 71 0 0 23 0 10 0 489857033 853626880 25128 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25128 13073 16 0 208389 0
vsize: 833620
[startup+1130.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 104395 72 0 0 21 0 10 0 489857033 853626880 25149 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25149 13073 16 0 208389 0
vsize: 833620
[startup+1140.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 105298 72 0 0 19 0 10 0 489857033 853626880 25167 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25167 13073 16 0 208389 0
vsize: 833620
[startup+1150.28 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 106206 72 0 0 23 0 10 0 489857033 853626880 25189 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25189 13073 16 0 208389 0
vsize: 833620
[startup+1160.28 s]
Raw data (loadavg): 1.08 1.00 0.92 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 107107 72 0 0 21 0 10 0 489857033 853626880 25207 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25207 13073 16 0 208389 0
vsize: 833620
[startup+1170.29 s]
Raw data (loadavg): 1.14 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 108008 72 0 0 19 0 10 0 489857033 853626880 25228 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25228 13073 16 0 208389 0
vsize: 833620
[startup+1180.29 s]
Raw data (loadavg): 1.12 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 108914 73 0 0 22 0 10 0 489857033 853626880 25243 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25243 13073 16 0 208389 0
vsize: 833620
[startup+1190.29 s]
Raw data (loadavg): 1.10 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 109813 73 0 0 20 0 10 0 489857033 853626880 25269 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25269 13073 16 0 208389 0
vsize: 833620
[startup+1200.29 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) S 5124 25285 25284 0 -1 0 17978 0 1 0 110716 73 0 0 23 0 10 0 489857033 853626880 25289 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25289 13073 16 0 208389 0
vsize: 833620
[startup+1210.29 s]
Raw data (loadavg): 1.07 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 111616 73 0 0 21 0 10 0 489857033 853626880 25307 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25307 13073 16 0 208389 0
vsize: 833620
[startup+1220.29 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17978 0 1 0 112516 73 0 0 19 0 10 0 489857033 853626880 25326 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208405 25326 13073 16 0 208389 0
vsize: 833620
[startup+1230.29 s]
Raw data (loadavg): 1.13 1.03 0.93 3/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17993 0 1 0 113331 73 0 0 25 0 10 0 489857033 870567936 29278 4294967295 134512640 134569956 3221224400 3221214360 1131302002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212541 29278 13073 16 0 212525 0
vsize: 850164
[startup+1240.29 s]
Raw data (loadavg): 1.11 1.03 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17994 0 1 0 114327 74 0 0 25 0 10 0 489857033 865755136 28334 4294967295 134512640 134569956 3221224400 3221214360 1131302002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211366 28334 13073 16 0 211350 0
vsize: 845464
[startup+1250.29 s]
Raw data (loadavg): 1.09 1.03 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17994 0 1 0 115324 74 0 0 25 0 10 0 489857033 865755136 28308 4294967295 134512640 134569956 3221224400 3221214248 1131301999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211366 28308 13073 16 0 211350 0
vsize: 845464
[startup+1260.29 s]
Raw data (loadavg): 1.08 1.03 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17995 0 1 0 116270 76 0 0 25 0 10 0 489857033 865755136 30924 4294967295 134512640 134569956 3221224400 3221213880 1131412253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211366 30924 13073 16 0 211350 0
vsize: 845464
[startup+1270.29 s]
Raw data (loadavg): 1.07 1.03 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 17995 0 1 0 117204 80 0 0 25 0 10 0 489857033 865755136 34811 4294967295 134512640 134569956 3221224400 3221214808 1131151948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211366 34811 13073 16 0 211350 0
vsize: 845464
[startup+1280.29 s]
Raw data (loadavg): 1.06 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 118036 81 0 0 25 0 10 0 489857033 865755136 39050 4294967295 134512640 134569956 3221224400 3221214744 1131348041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211366 39050 13073 16 0 211350 0
vsize: 845464
[startup+1290.29 s]
Raw data (loadavg): 1.05 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 118919 81 0 0 24 0 10 0 489857033 865755136 39050 4294967295 134512640 134569956 3221224400 3221214744 1131348816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211366 39050 13073 16 0 211350 0
vsize: 845464
[startup+1300.29 s]
Raw data (loadavg): 1.04 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 119816 81 0 0 25 0 10 0 489857033 865755136 39051 4294967295 134512640 134569956 3221224400 3221214744 1131347837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211366 39051 13073 16 0 211350 0
vsize: 845464
[startup+1310.29 s]
Raw data (loadavg): 1.03 1.02 0.93 2/63 5191
Raw data (stat): 5125 (java) R 5124 25285 25284 0 -1 0 18016 0 1 0 120700 81 0 0 25 0 10 0 489857033 865755136 39051 4294967295 134512640 134569956 3221224400 3221214832 1131534163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211366 39051 13073 16 0 211350 0
vsize: 845464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.41 s]
Raw data (loadavg): 1.03 1.02 0.93 1/54 5192
Raw data (stat): 5125 (java) Z 5124 25285 25284 0 -1 1036 18016 26062 1 0 120704 81 11263 90 25 0 1 0 489857033 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.41
CPU time (s): 1321.4
CPU user time (s): 1319.68
CPU system time (s): 1.72074
CPU usage (%): 100.839
Max. virtual memory (Kb): 850164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####