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/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUM9a33380ca74da1778d689b1fccd15cfc
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 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29764190431236
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29764190431236
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.42078
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000

Trace number 20949

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 22:16:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14101 boxname=wulflinc2 idbench=1085 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 14101
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        547528 kB
Buffers:         29840 kB
Cached:         433384 kB
SwapCached:       3324 kB
Active:         191852 kB
Inactive:       276168 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        547276 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13448 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:37:57 (client local time) WITH STATUS 143 IN 1309.89 SECONDS
stats: 14101 7 1309.89 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3707.opb
c reading problem 
c [nbvar=155000]
c [nbconstr=5150]
#### 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.77 0.94 0.91 2/54 11988
Raw data (stat): 11988 (runsolver) R 11987 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490387999 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+9.99997 s]
Raw data (loadavg): 0.88 0.95 0.91 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17985 0 1 0 890 37 0 0 24 0 10 0 490387999 853725184 19135 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 19135 13073 16 0 208413 0
vsize: 833716
[startup+20.0015 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 1777 38 0 0 25 0 10 0 490387999 854859776 19857 4294967295 134512640 134569956 3221224400 3221214824 1131214403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208706 19857 13073 16 0 208690 0
vsize: 834824
[startup+30.0018 s]
Raw data (loadavg): 0.97 0.97 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 2678 38 0 0 25 0 10 0 490387999 854630400 20229 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 20229 13073 16 0 208634 0
vsize: 834600
[startup+40.0031 s]
Raw data (loadavg): 0.98 0.97 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 3609 38 0 0 25 0 10 0 490387999 854630400 20454 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 20454 13073 16 0 208634 0
vsize: 834600
[startup+50.0042 s]
Raw data (loadavg): 0.98 0.97 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 4538 39 0 0 25 0 10 0 490387999 854630400 20573 4294967295 134512640 134569956 3221224400 3221214824 1131212428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 20573 13073 16 0 208634 0
vsize: 834600
[startup+60.005 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 5469 39 0 0 25 0 10 0 490387999 854630400 20676 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 20676 13073 16 0 208634 0
vsize: 834600
[startup+70.0052 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 6415 40 0 0 25 0 10 0 490387999 854630400 20886 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 20886 13073 16 0 208634 0
vsize: 834600
[startup+80.0068 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 7361 41 0 0 25 0 10 0 490387999 854630400 20966 4294967295 134512640 134569956 3221224400 3221214224 1076461273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 20966 13073 16 0 208634 0
vsize: 834600
[startup+90.0082 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 8307 41 0 0 24 0 10 0 490387999 854630400 21039 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21039 13073 16 0 208634 0
vsize: 834600
[startup+100.009 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 9257 42 0 0 25 0 10 0 490387999 854630400 21102 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21102 13073 16 0 208634 0
vsize: 834600
[startup+110.01 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 10206 42 0 0 25 0 10 0 490387999 854630400 21166 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21166 13073 16 0 208634 0
vsize: 834600
[startup+120.011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 11153 42 0 0 25 0 10 0 490387999 854630400 21225 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21225 13073 16 0 208634 0
vsize: 834600
[startup+130.012 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 12101 42 0 0 25 0 10 0 490387999 854630400 21282 4294967295 134512640 134569956 3221224400 3221214204 1076461603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21282 13073 16 0 208634 0
vsize: 834600
[startup+140.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 13048 43 0 0 24 0 10 0 490387999 854630400 21336 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21336 13073 16 0 208634 0
vsize: 834600
[startup+150.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 13999 43 0 0 25 0 10 0 490387999 854630400 21385 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21385 13073 16 0 208634 0
vsize: 834600
[startup+160.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 14946 44 0 0 25 0 10 0 490387999 854630400 21436 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21436 13073 16 0 208634 0
vsize: 834600
[startup+170.016 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 15876 44 0 0 24 0 10 0 490387999 854630400 21484 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21484 13073 16 0 208634 0
vsize: 834600
[startup+180.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 16804 44 0 0 25 0 10 0 490387999 854630400 21528 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21528 13073 16 0 208634 0
vsize: 834600
[startup+190.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 17741 45 0 0 24 0 10 0 490387999 854630400 21830 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21830 13073 16 0 208634 0
vsize: 834600
[startup+200.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 18687 45 0 0 25 0 10 0 490387999 854630400 21871 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21871 13073 16 0 208634 0
vsize: 834600
[startup+210.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 19630 46 0 0 25 0 10 0 490387999 854630400 21914 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21914 13073 16 0 208634 0
vsize: 834600
[startup+220.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 20572 46 0 0 25 0 10 0 490387999 854630400 21956 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21956 13073 16 0 208634 0
vsize: 834600
[startup+230.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 21517 47 0 0 25 0 10 0 490387999 854630400 21994 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21994 13073 16 0 208634 0
vsize: 834600
[startup+240.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 22458 47 0 0 25 0 10 0 490387999 854630400 22034 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22034 13073 16 0 208634 0
vsize: 834600
[startup+250.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 23398 48 0 0 25 0 10 0 490387999 854630400 22072 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22072 13073 16 0 208634 0
vsize: 834600
[startup+260.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 24341 49 0 0 25 0 10 0 490387999 854630400 22108 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22108 13073 16 0 208634 0
vsize: 834600
[startup+270.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 25280 49 0 0 25 0 10 0 490387999 854630400 22146 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22146 13073 16 0 208634 0
vsize: 834600
[startup+280.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 26219 50 0 0 25 0 10 0 490387999 854630400 22183 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22183 13073 16 0 208634 0
vsize: 834600
[startup+290.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 27161 50 0 0 25 0 10 0 490387999 854630400 22217 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22217 13073 16 0 208634 0
vsize: 834600
[startup+300.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 28099 51 0 0 25 0 10 0 490387999 854630400 22253 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22253 13073 16 0 208634 0
vsize: 834600
[startup+310.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 29037 51 0 0 25 0 10 0 490387999 854630400 22286 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22286 13073 16 0 208634 0
vsize: 834600
[startup+320.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 29977 51 0 0 25 0 10 0 490387999 854630400 22320 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22320 13073 16 0 208634 0
vsize: 834600
[startup+330.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 30913 51 0 0 25 0 10 0 490387999 854630400 22354 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22354 13073 16 0 208634 0
vsize: 834600
[startup+340.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 31853 52 0 0 25 0 10 0 490387999 854630400 22386 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22386 13073 16 0 208634 0
vsize: 834600
[startup+350.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 32787 52 0 0 25 0 10 0 490387999 854630400 22418 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22418 13073 16 0 208634 0
vsize: 834600
[startup+360.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 33726 53 0 0 25 0 10 0 490387999 854630400 22450 4294967295 134512640 134569956 3221224400 3221214368 1079668490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22450 13073 16 0 208634 0
vsize: 834600
[startup+370.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 34661 53 0 0 25 0 10 0 490387999 854630400 22482 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22482 13073 16 0 208634 0
vsize: 834600
[startup+380.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 35594 54 0 0 24 0 10 0 490387999 854630400 22513 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22513 13073 16 0 208634 0
vsize: 834600
[startup+390.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 36531 55 0 0 25 0 10 0 490387999 854630400 22542 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22542 13073 16 0 208634 0
vsize: 834600
[startup+400.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 37465 55 0 0 25 0 10 0 490387999 854630400 22573 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22573 13073 16 0 208634 0
vsize: 834600
[startup+410.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 38396 55 0 0 24 0 10 0 490387999 854630400 22603 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22603 13073 16 0 208634 0
vsize: 834600
[startup+420.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 39333 56 0 0 25 0 10 0 490387999 854630400 22631 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22631 13073 16 0 208634 0
vsize: 834600
[startup+430.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 40264 56 0 0 25 0 10 0 490387999 854630400 22660 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22660 13073 16 0 208634 0
vsize: 834600
[startup+440.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 41199 56 0 0 25 0 10 0 490387999 854630400 22688 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22688 13073 16 0 208634 0
vsize: 834600
[startup+450.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 42131 57 0 0 25 0 10 0 490387999 854630400 22716 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22716 13073 16 0 208634 0
vsize: 834600
[startup+460.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 43064 57 0 0 25 0 10 0 490387999 854630400 22743 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22743 13073 16 0 208634 0
vsize: 834600
[startup+470.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 43994 58 0 0 25 0 10 0 490387999 854630400 22771 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22771 13073 16 0 208634 0
vsize: 834600
[startup+480.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 44927 58 0 0 25 0 10 0 490387999 854630400 22797 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22797 13073 16 0 208634 0
vsize: 834600
[startup+490.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 45856 58 0 0 25 0 10 0 490387999 854630400 22825 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22825 13073 16 0 208634 0
vsize: 834600
[startup+500.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 46789 59 0 0 25 0 10 0 490387999 854630400 22850 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22850 13073 16 0 208634 0
vsize: 834600
[startup+510.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 47716 59 0 0 25 0 10 0 490387999 854630400 22877 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22877 13073 16 0 208634 0
vsize: 834600
[startup+520.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 48649 59 0 0 25 0 10 0 490387999 854630400 22902 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22902 13073 16 0 208634 0
vsize: 834600
[startup+530.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 49576 60 0 0 25 0 10 0 490387999 854630400 22928 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22928 13073 16 0 208634 0
vsize: 834600
[startup+540.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 50507 60 0 0 25 0 10 0 490387999 854630400 22954 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22954 13073 16 0 208634 0
vsize: 834600
[startup+550.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 51432 60 0 0 24 0 10 0 490387999 854630400 22980 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 22980 13073 16 0 208634 0
vsize: 834600
[startup+560.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 52363 60 0 0 25 0 10 0 490387999 854630400 23004 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23004 13073 16 0 208634 0
vsize: 834600
[startup+570.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 53293 60 0 0 25 0 10 0 490387999 854630400 23028 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23028 13073 16 0 208634 0
vsize: 834600
[startup+580.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 54218 61 0 0 25 0 10 0 490387999 854630400 23053 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23053 13073 16 0 208634 0
vsize: 834600
[startup+590.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 55146 61 0 0 25 0 10 0 490387999 854630400 23076 4294967295 134512640 134569956 3221224400 3221214104 1076914545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23076 13073 16 0 208634 0
vsize: 834600
[startup+600.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 56072 61 0 0 25 0 10 0 490387999 854630400 23100 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23100 13073 16 0 208634 0
vsize: 834600
[startup+610.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 56999 62 0 0 25 0 10 0 490387999 854630400 23124 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23124 13073 16 0 208634 0
vsize: 834600
[startup+620.073 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 57927 62 0 0 25 0 10 0 490387999 854630400 23147 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23147 13073 16 0 208634 0
vsize: 834600
[startup+630.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 58855 62 0 0 25 0 10 0 490387999 854630400 23170 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23170 13073 16 0 208634 0
vsize: 834600
[startup+640.073 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 59778 63 0 0 24 0 10 0 490387999 854630400 23193 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23193 13073 16 0 208634 0
vsize: 834600
[startup+650.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 60705 63 0 0 25 0 10 0 490387999 854630400 23220 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 23220 13073 16 0 208634 0
vsize: 834600
[startup+660.074 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 61627 63 0 0 25 0 10 0 490387999 854630400 24246 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24246 13073 16 0 208634 0
vsize: 834600
[startup+670.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 62545 64 0 0 24 0 10 0 490387999 854630400 24246 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24246 13073 16 0 208634 0
vsize: 834600
[startup+680.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 63462 64 0 0 25 0 10 0 490387999 854630400 24277 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24277 13073 16 0 208634 0
vsize: 834600
[startup+690.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 64378 65 0 0 25 0 10 0 490387999 854630400 24302 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24302 13073 16 0 208634 0
vsize: 834600
[startup+700.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 65294 65 0 0 25 0 10 0 490387999 854630400 24329 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24329 13073 16 0 208634 0
vsize: 834600
[startup+710.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 66209 65 0 0 25 0 10 0 490387999 854630400 24352 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24352 13073 16 0 208634 0
vsize: 834600
[startup+720.077 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 67120 66 0 0 25 0 10 0 490387999 854630400 24381 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24381 13073 16 0 208634 0
vsize: 834600
[startup+730.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 68034 67 0 0 24 0 10 0 490387999 854630400 24403 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24403 13073 16 0 208634 0
vsize: 834600
[startup+740.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 68949 67 0 0 25 0 10 0 490387999 854630400 24424 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24424 13073 16 0 208634 0
vsize: 834600
[startup+750.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 69863 67 0 0 25 0 10 0 490387999 854630400 24456 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24456 13073 16 0 208634 0
vsize: 834600
[startup+760.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 70776 68 0 0 25 0 10 0 490387999 854630400 24482 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24482 13073 16 0 208634 0
vsize: 834600
[startup+770.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 71690 68 0 0 25 0 10 0 490387999 854630400 24504 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24504 13073 16 0 208634 0
vsize: 834600
[startup+780.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 72603 68 0 0 25 0 10 0 490387999 854630400 24524 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24524 13073 16 0 208634 0
vsize: 834600
[startup+790.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 73512 69 0 0 25 0 10 0 490387999 854630400 24557 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24557 13073 16 0 208634 0
vsize: 834600
[startup+800.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 74423 69 0 0 25 0 10 0 490387999 854630400 24581 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24581 13073 16 0 208634 0
vsize: 834600
[startup+810.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 75334 70 0 0 25 0 10 0 490387999 854630400 24601 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24601 13073 16 0 208634 0
vsize: 834600
[startup+820.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 76246 70 0 0 25 0 10 0 490387999 854630400 24628 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24628 13073 16 0 208634 0
vsize: 834600
[startup+830.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 77157 71 0 0 24 0 10 0 490387999 854630400 24652 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 24652 13073 16 0 208634 0
vsize: 834600
[startup+840.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 78067 71 0 0 25 0 10 0 490387999 854630400 24676 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24676 13073 16 0 208634 0
vsize: 834600
[startup+850.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 78979 71 0 0 25 0 10 0 490387999 854630400 24696 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24696 13073 16 0 208634 0
vsize: 834600
[startup+860.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 79889 71 0 0 25 0 10 0 490387999 854630400 24723 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24723 13073 16 0 208634 0
vsize: 834600
[startup+870.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 80798 72 0 0 25 0 10 0 490387999 854630400 24747 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24747 13073 16 0 208634 0
vsize: 834600
[startup+880.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 81707 72 0 0 25 0 10 0 490387999 854630400 24767 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24767 13073 16 0 208634 0
vsize: 834600
[startup+890.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 82615 72 0 0 24 0 10 0 490387999 854630400 24792 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24792 13073 16 0 208634 0
vsize: 834600
[startup+900.093 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 83519 72 0 0 24 0 10 0 490387999 854630400 24816 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24816 13073 16 0 208634 0
vsize: 834600
[startup+910.094 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 84428 72 0 0 19 0 10 0 490387999 854630400 24836 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24836 13073 16 0 208634 0
vsize: 834600
[startup+920.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 85336 73 0 0 19 0 10 0 490387999 854630400 24860 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24860 13073 16 0 208634 0
vsize: 834600
[startup+930.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 86244 73 0 0 20 0 10 0 490387999 854630400 24879 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24879 13073 16 0 208634 0
vsize: 834600
[startup+940.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 87150 73 0 0 19 0 10 0 490387999 854630400 24907 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24907 13073 16 0 208634 0
vsize: 834600
[startup+950.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 88056 73 0 0 20 0 10 0 490387999 854630400 24930 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24930 13073 16 0 208634 0
vsize: 834600
[startup+960.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 88962 73 0 0 21 0 10 0 490387999 854630400 24949 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24949 13073 16 0 208634 0
vsize: 834600
[startup+970.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 89869 74 0 0 21 0 10 0 490387999 854630400 24972 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24972 13073 16 0 208634 0
vsize: 834600
[startup+980.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 90775 74 0 0 22 0 10 0 490387999 854630400 24990 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 24990 13073 16 0 208634 0
vsize: 834600
[startup+990.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 91681 74 0 0 22 0 10 0 490387999 854630400 25016 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25016 13073 16 0 208634 0
vsize: 834600
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 92586 74 0 0 22 0 10 0 490387999 854630400 25034 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25034 13073 16 0 208634 0
vsize: 834600
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 93491 74 0 0 22 0 10 0 490387999 854630400 25061 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25061 13073 16 0 208634 0
vsize: 834600
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 94397 74 0 0 24 0 10 0 490387999 854630400 25081 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25081 13073 16 0 208634 0
vsize: 834600
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 95301 74 0 0 24 0 10 0 490387999 854630400 25100 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25100 13073 16 0 208634 0
vsize: 834600
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 96203 75 0 0 23 0 10 0 490387999 854630400 25123 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25123 13073 16 0 208634 0
vsize: 834600
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 97106 75 0 0 23 0 10 0 490387999 854630400 25147 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25147 13073 16 0 208634 0
vsize: 834600
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 98009 75 0 0 23 0 10 0 490387999 854630400 25168 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25168 13073 16 0 208634 0
vsize: 834600
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 98915 75 0 0 23 0 10 0 490387999 854630400 25186 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25186 13073 16 0 208634 0
vsize: 834600
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 99817 75 0 0 23 0 10 0 490387999 854630400 25210 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25210 13073 16 0 208634 0
vsize: 834600
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 100720 75 0 0 23 0 10 0 490387999 854630400 25231 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25231 13073 16 0 208634 0
vsize: 834600
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 101623 75 0 0 24 0 10 0 490387999 854630400 25251 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25251 13073 16 0 208634 0
vsize: 834600
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 102525 76 0 0 23 0 10 0 490387999 854630400 25270 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25270 13073 16 0 208634 0
vsize: 834600
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 103426 76 0 0 23 0 10 0 490387999 854630400 25293 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25293 13073 16 0 208634 0
vsize: 834600
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 104328 76 0 0 22 0 10 0 490387999 854630400 25310 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25310 13073 16 0 208634 0
vsize: 834600
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 105229 76 0 0 21 0 10 0 490387999 854630400 25333 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208650 25333 13073 16 0 208634 0
vsize: 834600
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 106131 76 0 0 22 0 10 0 490387999 854630400 25353 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25353 13073 16 0 208634 0
vsize: 834600
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 107032 76 0 0 20 0 10 0 490387999 854630400 25371 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25371 13073 16 0 208634 0
vsize: 834600
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 107933 77 0 0 20 0 10 0 490387999 854630400 25393 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25393 13073 16 0 208634 0
vsize: 834600
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 108832 77 0 0 19 0 10 0 490387999 854630400 25414 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25414 13073 16 0 208634 0
vsize: 834600
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 109730 78 0 0 18 0 10 0 490387999 854630400 25433 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25433 13073 16 0 208634 0
vsize: 834600
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 110633 78 0 0 24 0 10 0 490387999 854630400 25450 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25450 13073 16 0 208634 0
vsize: 834600
[startup+1210.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 111535 79 0 0 23 0 10 0 490387999 854630400 25469 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25469 13073 16 0 208634 0
vsize: 834600
[startup+1220.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 112435 79 0 0 22 0 10 0 490387999 854630400 25485 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25485 13073 16 0 208634 0
vsize: 834600
[startup+1230.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 113334 79 0 0 21 0 10 0 490387999 854630400 25501 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25501 13073 16 0 208634 0
vsize: 834600
[startup+1240.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 114234 79 0 0 19 0 10 0 490387999 854630400 25530 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25530 13073 16 0 208634 0
vsize: 834600
[startup+1250.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 115134 80 0 0 19 0 10 0 490387999 854630400 25546 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25546 13073 16 0 208634 0
vsize: 834600
[startup+1260.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 116039 80 0 0 24 0 10 0 490387999 854630400 25570 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25570 13073 16 0 208634 0
vsize: 834600
[startup+1270.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 116939 80 0 0 22 0 10 0 490387999 854630400 25582 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25582 13073 16 0 208634 0
vsize: 834600
[startup+1280.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 117839 81 0 0 20 0 10 0 490387999 854630400 25608 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25608 13073 16 0 208634 0
vsize: 834600
[startup+1290.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 118740 81 0 0 20 0 10 0 490387999 854630400 25632 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25632 13073 16 0 208634 0
vsize: 834600
[startup+1300.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) S 11987 20937 20936 0 -1 0 17986 0 1 0 119646 82 0 0 24 0 10 0 490387999 854630400 25647 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25647 13073 16 0 208634 0
vsize: 834600
[startup+1310.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 11997
Raw data (stat): 11988 (java) R 11987 20937 20936 0 -1 0 17986 0 1 0 120552 82 0 0 23 0 10 0 490387999 854630400 25671 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 25671 13073 16 0 208634 0
vsize: 834600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.2 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 11998
Raw data (stat): 11988 (java) Z 11987 20937 20936 0 -1 1036 17986 7218 1 0 120555 82 10308 42 24 0 1 0 490387999 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): 1310.2
CPU time (s): 1309.89
CPU user time (s): 1308.64
CPU system time (s): 1.24881
CPU usage (%): 99.9765
Max. virtual memory (Kb): 834824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####