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/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
MD5SUMa18434ce5469ba587063f7e76ce3e080
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 4500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4500
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4500
Total number of constraints72413
Number of constraints which are clauses72413
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18

Trace number 4300

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-13 16:15:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1179 boxname=wulflinc6 idbench=131 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc6/normalized-g125.18.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-g125.18.opb
IDLAUNCH: 1179
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        928820 kB
Buffers:         33160 kB
Cached:          50352 kB
SwapCached:       2644 kB
Active:          45416 kB
Inactive:        43608 kB
HighTotal:      131008 kB
HighFree:        76748 kB
LowTotal:       903652 kB
LowFree:        852072 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11200 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:36:11 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1179 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-g125.18.opb
c reading problem 
c [nbvar=4500]
c [nbconstr=72413]
c time 28.003
c #vars     4500
c #clauses  72413
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): 1.09 0.99 0.76 1/54 30370
Raw data (stat): 30370 (runsolver) D 30369 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 419091275 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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): 1.07 0.99 0.76 4/63 30379
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18013 0 1 0 849 46 0 0 25 0 10 0 419091275 861937664 20875 4294967295 134512640 134569956 3221224416 3221214784 1130893496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210434 20875 13073 16 0 210418 0
vsize: 841736
[startup+20.0008 s]
Raw data (loadavg): 1.37 1.06 0.78 4/63 30379
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18038 0 1 0 1826 47 0 0 25 0 10 0 419091275 878596096 24656 4294967295 134512640 134569956 3221224416 3221214792 1131140944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214501 24656 13073 16 0 214485 0
vsize: 858004
[startup+30.001 s]
Raw data (loadavg): 1.46 1.09 0.79 4/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18105 0 1 0 2687 49 0 0 25 0 11 0 419091275 874541056 27626 4294967295 134512640 134569956 3221224416 3221214616 1080019619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213511 27626 13073 16 0 213495 0
vsize: 854044
[startup+40.0011 s]
Raw data (loadavg): 1.70 1.15 0.82 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 3442 49 0 0 25 0 11 0 419091275 867119104 29180 4294967295 134512640 134569956 3221224416 3221214848 1131387196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211699 29180 13073 16 0 211683 0
vsize: 846796
[startup+50.0011 s]
Raw data (loadavg): 1.59 1.14 0.82 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 4402 49 0 0 25 0 11 0 419091275 865669120 30455 4294967295 134512640 134569956 3221224416 3221214848 1131387121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211345 30455 13073 16 0 211329 0
vsize: 845380
[startup+60.0018 s]
Raw data (loadavg): 1.50 1.14 0.82 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 5382 49 0 0 20 0 11 0 419091275 864911360 30311 4294967295 134512640 134569956 3221224416 3221214728 1131547951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30311 13073 16 0 211144 0
vsize: 844640
[startup+70.0024 s]
Raw data (loadavg): 1.42 1.13 0.82 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 6370 49 0 0 21 0 11 0 419091275 864911360 30311 4294967295 134512640 134569956 3221224416 3221214688 1131247140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30311 13073 16 0 211144 0
vsize: 844640
[startup+80.0025 s]
Raw data (loadavg): 1.36 1.13 0.82 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 7342 49 0 0 25 0 11 0 419091275 864911360 30311 4294967295 134512640 134569956 3221224416 3221214820 1131275891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30311 13073 16 0 211144 0
vsize: 844640
[startup+90.003 s]
Raw data (loadavg): 1.30 1.12 0.82 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 8312 49 0 0 25 0 11 0 419091275 864911360 30311 4294967295 134512640 134569956 3221224416 3221214856 1131387121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30311 13073 16 0 211144 0
vsize: 844640
[startup+100.003 s]
Raw data (loadavg): 1.33 1.14 0.83 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 9276 50 0 0 25 0 11 0 419091275 864911360 30413 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30413 13073 16 0 211144 0
vsize: 844640
[startup+110.003 s]
Raw data (loadavg): 1.28 1.13 0.83 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 10242 50 0 0 25 0 11 0 419091275 864911360 30641 4294967295 134512640 134569956 3221224416 3221214856 1131387199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30641 13073 16 0 211144 0
vsize: 844640
[startup+120.004 s]
Raw data (loadavg): 1.24 1.13 0.83 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 11208 50 0 0 25 0 11 0 419091275 864911360 30726 4294967295 134512640 134569956 3221224416 3221214744 1131634805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30726 13073 16 0 211144 0
vsize: 844640
[startup+130.003 s]
Raw data (loadavg): 1.20 1.12 0.83 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 12177 50 0 0 25 0 11 0 419091275 864911360 30800 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30800 13073 16 0 211144 0
vsize: 844640
[startup+140.004 s]
Raw data (loadavg): 1.17 1.12 0.83 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 13146 50 0 0 23 0 11 0 419091275 864911360 30949 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 30949 13073 16 0 211144 0
vsize: 844640
[startup+150.004 s]
Raw data (loadavg): 1.14 1.11 0.83 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 14113 50 0 0 19 0 11 0 419091275 864911360 31166 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 31166 13073 16 0 211144 0
vsize: 844640
[startup+160.007 s]
Raw data (loadavg): 1.12 1.11 0.83 2/64 30380
Raw data (stat): 30370 (java) S 30369 29653 29652 0 -1 0 18107 0 1 0 15086 50 0 0 25 0 11 0 419091275 864911360 31272 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 31272 13073 16 0 211144 0
vsize: 844640
[startup+170.007 s]
Raw data (loadavg): 1.10 1.10 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 16070 50 0 0 25 0 11 0 419091275 864911360 31362 4294967295 134512640 134569956 3221224416 3221214856 1131387199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 31362 13073 16 0 211144 0
vsize: 844640
[startup+180.008 s]
Raw data (loadavg): 1.09 1.10 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 17040 50 0 0 25 0 11 0 419091275 864911360 31503 4294967295 134512640 134569956 3221224416 3221214688 1131247069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 31503 13073 16 0 211144 0
vsize: 844640
[startup+190.007 s]
Raw data (loadavg): 1.07 1.10 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 18011 50 0 0 25 0 11 0 419091275 864911360 31666 4294967295 134512640 134569956 3221224416 3221214732 1131194114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 31666 13073 16 0 211144 0
vsize: 844640
[startup+200.008 s]
Raw data (loadavg): 1.06 1.09 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 18983 50 0 0 25 0 11 0 419091275 864911360 31810 4294967295 134512640 134569956 3221224416 3221214856 1131387385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 31810 13073 16 0 211144 0
vsize: 844640
[startup+210.008 s]
Raw data (loadavg): 1.05 1.09 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 19958 50 0 0 25 0 11 0 419091275 864911360 31979 4294967295 134512640 134569956 3221224416 3221214856 1131387385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 31979 13073 16 0 211144 0
vsize: 844640
[startup+220.008 s]
Raw data (loadavg): 1.04 1.09 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 20921 50 0 0 25 0 11 0 419091275 864911360 32115 4294967295 134512640 134569956 3221224416 3221214688 1131247073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 32115 13073 16 0 211144 0
vsize: 844640
[startup+230.008 s]
Raw data (loadavg): 1.04 1.08 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 21891 50 0 0 25 0 11 0 419091275 864911360 32198 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 32198 13073 16 0 211144 0
vsize: 844640
[startup+240.008 s]
Raw data (loadavg): 1.03 1.08 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 22857 50 0 0 25 0 11 0 419091275 864911360 32526 4294967295 134512640 134569956 3221224416 3221214608 1131616720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 32526 13073 16 0 211144 0
vsize: 844640
[startup+250.009 s]
Raw data (loadavg): 1.02 1.08 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 23825 51 0 0 25 0 11 0 419091275 864911360 32676 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 32676 13073 16 0 211144 0
vsize: 844640
[startup+260.009 s]
Raw data (loadavg): 1.02 1.07 0.84 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 24793 51 0 0 25 0 11 0 419091275 864911360 32890 4294967295 134512640 134569956 3221224416 3221214856 1131387201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 32890 13073 16 0 211144 0
vsize: 844640
[startup+270.012 s]
Raw data (loadavg): 1.02 1.07 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 25747 51 0 0 16 0 11 0 419091275 864911360 33222 4294967295 134512640 134569956 3221224416 3221214840 1131540041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 33222 13073 16 0 211144 0
vsize: 844640
[startup+280.012 s]
Raw data (loadavg): 1.01 1.07 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 26723 51 0 0 25 0 11 0 419091275 864911360 33224 4294967295 134512640 134569956 3221224416 3221214744 1131641151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 33224 13073 16 0 211144 0
vsize: 844640
[startup+290.013 s]
Raw data (loadavg): 1.01 1.06 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 27698 51 0 0 25 0 11 0 419091275 864911360 33335 4294967295 134512640 134569956 3221224416 3221214736 1131547949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 33335 13073 16 0 211144 0
vsize: 844640
[startup+300.013 s]
Raw data (loadavg): 1.01 1.06 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 28664 51 0 0 25 0 11 0 419091275 864911360 33403 4294967295 134512640 134569956 3221224416 3221214744 1131630212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 33403 13073 16 0 211144 0
vsize: 844640
[startup+310.013 s]
Raw data (loadavg): 1.01 1.06 0.85 2/64 30380
Raw data (stat): 30370 (java) S 30369 29653 29652 0 -1 0 18107 0 1 0 29633 52 0 0 25 0 11 0 419091275 864911360 33550 4294967295 134512640 134569956 3221224416 3221213280 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 33550 13073 16 0 211144 0
vsize: 844640
[startup+320.013 s]
Raw data (loadavg): 1.01 1.06 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 30606 52 0 0 25 0 11 0 419091275 864911360 33688 4294967295 134512640 134569956 3221224416 3221214736 1131547949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 33688 13073 16 0 211144 0
vsize: 844640
[startup+330.014 s]
Raw data (loadavg): 1.00 1.05 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 31582 52 0 0 25 0 11 0 419091275 864911360 33763 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 33763 13073 16 0 211144 0
vsize: 844640
[startup+340.014 s]
Raw data (loadavg): 1.00 1.05 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 32539 52 0 0 25 0 11 0 419091275 864911360 34073 4294967295 134512640 134569956 3221224416 3221214856 1131387395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 34073 13073 16 0 211144 0
vsize: 844640
[startup+350.014 s]
Raw data (loadavg): 1.00 1.05 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 33509 53 0 0 25 0 11 0 419091275 864911360 34285 4294967295 134512640 134569956 3221224416 3221214856 1131387137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 34285 13073 16 0 211144 0
vsize: 844640
[startup+360.015 s]
Raw data (loadavg): 1.00 1.05 0.85 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 34465 53 0 0 25 0 11 0 419091275 864911360 34437 4294967295 134512640 134569956 3221224416 3221214896 1131715649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 34437 13073 16 0 211144 0
vsize: 844640
[startup+370.015 s]
Raw data (loadavg): 1.00 1.05 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18107 0 1 0 35422 54 0 0 25 0 11 0 419091275 864911360 34641 4294967295 134512640 134569956 3221224416 3221214584 1131607650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 34641 13073 16 0 211144 0
vsize: 844640
[startup+380.016 s]
Raw data (loadavg): 1.00 1.04 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 36380 54 0 0 25 0 11 0 419091275 864911360 34855 4294967295 134512640 134569956 3221224416 3221214680 1131543653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 34855 13073 16 0 211144 0
vsize: 844640
[startup+390.017 s]
Raw data (loadavg): 1.00 1.04 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 37353 54 0 0 25 0 11 0 419091275 864911360 34855 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 34855 13073 16 0 211144 0
vsize: 844640
[startup+400.016 s]
Raw data (loadavg): 1.00 1.04 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 38323 54 0 0 25 0 11 0 419091275 864911360 35097 4294967295 134512640 134569956 3221224416 3221214688 1131247151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 35097 13073 16 0 211144 0
vsize: 844640
[startup+410.017 s]
Raw data (loadavg): 1.00 1.04 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 39297 55 0 0 25 0 11 0 419091275 864911360 35241 4294967295 134512640 134569956 3221224416 3221214856 1131387199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 35241 13073 16 0 211144 0
vsize: 844640
[startup+420.017 s]
Raw data (loadavg): 1.00 1.04 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 40272 55 0 0 25 0 11 0 419091275 864911360 35375 4294967295 134512640 134569956 3221224416 3221214856 1131387201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 35375 13073 16 0 211144 0
vsize: 844640
[startup+430.018 s]
Raw data (loadavg): 1.00 1.03 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 41247 56 0 0 25 0 11 0 419091275 864911360 35491 4294967295 134512640 134569956 3221224416 3221214856 1131387395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 35491 13073 16 0 211144 0
vsize: 844640
[startup+440.019 s]
Raw data (loadavg): 1.00 1.03 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 42221 56 0 0 25 0 11 0 419091275 864911360 35609 4294967295 134512640 134569956 3221224416 3221214688 1131247495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 35609 13073 16 0 211144 0
vsize: 844640
[startup+450.02 s]
Raw data (loadavg): 1.00 1.03 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 43185 56 0 0 25 0 11 0 419091275 864911360 35833 4294967295 134512640 134569956 3221224416 3221214884 1080204226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 35833 13073 16 0 211144 0
vsize: 844640
[startup+460.02 s]
Raw data (loadavg): 1.00 1.03 0.86 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 44161 56 0 0 25 0 11 0 419091275 864911360 35910 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 35910 13073 16 0 211144 0
vsize: 844640
[startup+470.021 s]
Raw data (loadavg): 1.00 1.03 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 45127 56 0 0 25 0 11 0 419091275 864911360 36062 4294967295 134512640 134569956 3221224416 3221214784 1131572486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 36062 13073 16 0 211144 0
vsize: 844640
[startup+480.021 s]
Raw data (loadavg): 1.00 1.03 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 46102 57 0 0 25 0 11 0 419091275 864911360 36258 4294967295 134512640 134569956 3221224416 3221214664 1131592654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 36258 13073 16 0 211144 0
vsize: 844640
[startup+490.021 s]
Raw data (loadavg): 1.00 1.03 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 47067 57 0 0 25 0 11 0 419091275 864911360 36392 4294967295 134512640 134569956 3221224416 3221214856 1131387121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 36392 13073 16 0 211144 0
vsize: 844640
[startup+500.023 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 48032 57 0 0 25 0 11 0 419091275 864911360 36506 4294967295 134512640 134569956 3221224416 3221214856 1131387446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 36506 13073 16 0 211144 0
vsize: 844640
[startup+510.023 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 49009 57 0 0 25 0 11 0 419091275 864911360 36616 4294967295 134512640 134569956 3221224416 3221214744 1131640974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 36616 13073 16 0 211144 0
vsize: 844640
[startup+520.023 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 49968 58 0 0 25 0 11 0 419091275 864911360 36833 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 36833 13073 16 0 211144 0
vsize: 844640
[startup+530.024 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 50924 58 0 0 25 0 11 0 419091275 864911360 37156 4294967295 134512640 134569956 3221224416 3221214856 1131387395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 37156 13073 16 0 211144 0
vsize: 844640
[startup+540.024 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 51895 58 0 0 25 0 11 0 419091275 864911360 37251 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 37251 13073 16 0 211144 0
vsize: 844640
[startup+550.023 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 52867 58 0 0 25 0 11 0 419091275 864911360 37392 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 37392 13073 16 0 211144 0
vsize: 844640
[startup+560.024 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 53826 58 0 0 25 0 11 0 419091275 864911360 37592 4294967295 134512640 134569956 3221224416 3221214696 1131299660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 37592 13073 16 0 211144 0
vsize: 844640
[startup+570.025 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 54790 58 0 0 25 0 11 0 419091275 864911360 37790 4294967295 134512640 134569956 3221224416 3221214896 1131720278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 37790 13073 16 0 211144 0
vsize: 844640
[startup+580.025 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 55767 59 0 0 25 0 11 0 419091275 864911360 37790 4294967295 134512640 134569956 3221224416 3221214736 1131547142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 37790 13073 16 0 211144 0
vsize: 844640
[startup+590.026 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 56734 59 0 0 25 0 11 0 419091275 864911360 37926 4294967295 134512640 134569956 3221224416 3221214744 1131638848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 37926 13073 16 0 211144 0
vsize: 844640
[startup+600.027 s]
Raw data (loadavg): 1.00 1.02 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 57702 59 0 0 25 0 11 0 419091275 864911360 38062 4294967295 134512640 134569956 3221224416 3221214664 1131593971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 38062 13073 16 0 211144 0
vsize: 844640
[startup+610.027 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 58680 59 0 0 25 0 11 0 419091275 864911360 38135 4294967295 134512640 134569956 3221224416 3221214856 1131387201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 38135 13073 16 0 211144 0
vsize: 844640
[startup+620.028 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 59657 59 0 0 25 0 11 0 419091275 864911360 38292 4294967295 134512640 134569956 3221224416 3221214856 1131387119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 38292 13073 16 0 211144 0
vsize: 844640
[startup+630.029 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 60632 60 0 0 25 0 11 0 419091275 864911360 38426 4294967295 134512640 134569956 3221224416 3221214856 1131387199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 38426 13073 16 0 211144 0
vsize: 844640
[startup+640.03 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 61597 60 0 0 25 0 11 0 419091275 864911360 38658 4294967295 134512640 134569956 3221224416 3221214856 1131387119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 38658 13073 16 0 211144 0
vsize: 844640
[startup+650.031 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 62574 60 0 0 25 0 11 0 419091275 864911360 38743 4294967295 134512640 134569956 3221224416 3221214632 1131276047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 38743 13073 16 0 211144 0
vsize: 844640
[startup+660.03 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 63550 61 0 0 25 0 11 0 419091275 864911360 38832 4294967295 134512640 134569956 3221224416 3221214896 1131717662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 38832 13073 16 0 211144 0
vsize: 844640
[startup+670.031 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 64516 61 0 0 25 0 11 0 419091275 864911360 38982 4294967295 134512640 134569956 3221224416 3221214856 1131387210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 38982 13073 16 0 211144 0
vsize: 844640
[startup+680.032 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 65483 61 0 0 25 0 11 0 419091275 864911360 39146 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 39146 13073 16 0 211144 0
vsize: 844640
[startup+690.033 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 66462 61 0 0 25 0 11 0 419091275 864911360 39235 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 39235 13073 16 0 211144 0
vsize: 844640
[startup+700.034 s]
Raw data (loadavg): 1.00 1.01 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 67430 62 0 0 25 0 11 0 419091275 864911360 39378 4294967295 134512640 134569956 3221224416 3221214856 1131387288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 39378 13073 16 0 211144 0
vsize: 844640
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 68397 62 0 0 25 0 11 0 419091275 864911360 39541 4294967295 134512640 134569956 3221224416 3221214688 1131247182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 39541 13073 16 0 211144 0
vsize: 844640
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 69376 62 0 0 25 0 11 0 419091275 864911360 39670 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 39670 13073 16 0 211144 0
vsize: 844640
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 70342 63 0 0 25 0 11 0 419091275 864911360 39887 4294967295 134512640 134569956 3221224416 3221214688 1131247230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 39887 13073 16 0 211144 0
vsize: 844640
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 71308 63 0 0 25 0 11 0 419091275 864911360 40030 4294967295 134512640 134569956 3221224416 3221214856 1131387104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 40030 13073 16 0 211144 0
vsize: 844640
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 72286 63 0 0 25 0 11 0 419091275 864911360 40122 4294967295 134512640 134569956 3221224416 3221214696 1131299656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 40122 13073 16 0 211144 0
vsize: 844640
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 73253 63 0 0 25 0 11 0 419091275 864911360 40247 4294967295 134512640 134569956 3221224416 3221214856 1131387137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 40247 13073 16 0 211144 0
vsize: 844640
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 30380
Raw data (stat): 30370 (java) S 30369 29653 29652 0 -1 0 18108 0 1 0 74204 64 0 0 25 0 11 0 419091275 864911360 40478 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 40478 13073 16 0 211144 0
vsize: 844640
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 75171 64 0 0 25 0 11 0 419091275 864911360 40659 4294967295 134512640 134569956 3221224416 3221214824 1080203669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 40659 13073 16 0 211144 0
vsize: 844640
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 76131 64 0 0 24 0 11 0 419091275 864911360 40907 4294967295 134512640 134569956 3221224416 3221214744 1131639856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 40907 13073 16 0 211144 0
vsize: 844640
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 77105 64 0 0 25 0 11 0 419091275 864911360 40956 4294967295 134512640 134569956 3221224416 3221214688 1131248235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 40956 13073 16 0 211144 0
vsize: 844640
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 78066 65 0 0 25 0 11 0 419091275 864911360 41190 4294967295 134512640 134569956 3221224416 3221214856 1131387395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 41190 13073 16 0 211144 0
vsize: 844640
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 79030 65 0 0 25 0 11 0 419091275 864911360 41245 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 41245 13073 16 0 211144 0
vsize: 844640
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 79995 65 0 0 25 0 11 0 419091275 864911360 41370 4294967295 134512640 134569956 3221224416 3221214736 1131547949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 41370 13073 16 0 211144 0
vsize: 844640
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 80960 66 0 0 25 0 11 0 419091275 864911360 41541 4294967295 134512640 134569956 3221224416 3221214688 1131247077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 41541 13073 16 0 211144 0
vsize: 844640
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 81924 66 0 0 25 0 11 0 419091275 864911360 41699 4294967295 134512640 134569956 3221224416 3221214528 1131767890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 41699 13073 16 0 211144 0
vsize: 844640
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 82900 66 0 0 25 0 11 0 419091275 864911360 41810 4294967295 134512640 134569956 3221224416 3221214736 1131548044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 41810 13073 16 0 211144 0
vsize: 844640
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 83864 67 0 0 25 0 11 0 419091275 864911360 41962 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 41962 13073 16 0 211144 0
vsize: 844640
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 84828 67 0 0 25 0 11 0 419091275 864911360 42050 4294967295 134512640 134569956 3221224416 3221214856 1131387385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 42050 13073 16 0 211144 0
vsize: 844640
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 85792 67 0 0 25 0 11 0 419091275 864911360 42188 4294967295 134512640 134569956 3221224416 3221214664 1131595561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 42188 13073 16 0 211144 0
vsize: 844640
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 86756 67 0 0 25 0 11 0 419091275 864911360 42354 4294967295 134512640 134569956 3221224416 3221214856 1131387127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 42354 13073 16 0 211144 0
vsize: 844640
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 87724 67 0 0 25 0 11 0 419091275 864911360 42426 4294967295 134512640 134569956 3221224416 3221214856 1131387137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 42426 13073 16 0 211144 0
vsize: 844640
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 88689 68 0 0 25 0 11 0 419091275 864911360 42583 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 42583 13073 16 0 211144 0
vsize: 844640
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 89654 68 0 0 25 0 11 0 419091275 864911360 42693 4294967295 134512640 134569956 3221224416 3221214664 1131592896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 42693 13073 16 0 211144 0
vsize: 844640
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 90608 69 0 0 25 0 11 0 419091275 864911360 42805 4294967295 134512640 134569956 3221224416 3221214784 1131574707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 42805 13073 16 0 211144 0
vsize: 844640
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 91584 69 0 0 25 0 11 0 419091275 864911360 42915 4294967295 134512640 134569956 3221224416 3221214856 1131387119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 42915 13073 16 0 211144 0
vsize: 844640
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 92549 69 0 0 25 0 11 0 419091275 864911360 43062 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 43062 13073 16 0 211144 0
vsize: 844640
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 93515 69 0 0 25 0 11 0 419091275 864911360 43171 4294967295 134512640 134569956 3221224416 3221214856 1131387199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 43171 13073 16 0 211144 0
vsize: 844640
[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 94481 70 0 0 25 0 11 0 419091275 864911360 43314 4294967295 134512640 134569956 3221224416 3221214784 1131574707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 43314 13073 16 0 211144 0
vsize: 844640
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 95437 70 0 0 25 0 11 0 419091275 864911360 43459 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 43459 13073 16 0 211144 0
vsize: 844640
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 96404 70 0 0 25 0 11 0 419091275 864911360 43617 4294967295 134512640 134569956 3221224416 3221214856 1131387137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 43617 13073 16 0 211144 0
vsize: 844640
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 97361 70 0 0 25 0 11 0 419091275 864911360 43754 4294967295 134512640 134569956 3221224416 3221214688 1131247084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 43754 13073 16 0 211144 0
vsize: 844640
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 98329 70 0 0 25 0 11 0 419091275 864911360 43854 4294967295 134512640 134569956 3221224416 3221214856 1131387127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 43854 13073 16 0 211144 0
vsize: 844640
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 99284 71 0 0 25 0 11 0 419091275 864911360 44055 4294967295 134512640 134569956 3221224416 3221214688 1131247271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44055 13073 16 0 211144 0
vsize: 844640
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 100240 71 0 0 25 0 11 0 419091275 864911360 44146 4294967295 134512640 134569956 3221224416 3221214744 1131632770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44146 13073 16 0 211144 0
vsize: 844640
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 101196 71 0 0 25 0 11 0 419091275 864911360 44280 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44280 13073 16 0 211144 0
vsize: 844640
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 102164 71 0 0 25 0 11 0 419091275 864911360 44354 4294967295 134512640 134569956 3221224416 3221214680 1131276260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211160 44354 13073 16 0 211144 0
vsize: 844640
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 103119 72 0 0 25 0 11 0 419091275 864911360 44529 4294967295 134512640 134569956 3221224416 3221214856 1131387385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44529 13073 16 0 211144 0
vsize: 844640
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 104087 72 0 0 25 0 11 0 419091275 864911360 44615 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44615 13073 16 0 211144 0
vsize: 844640
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 105043 72 0 0 25 0 11 0 419091275 864911360 44744 4294967295 134512640 134569956 3221224416 3221214856 1131387199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44744 13073 16 0 211144 0
vsize: 844640
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 105999 73 0 0 25 0 11 0 419091275 864911360 44849 4294967295 134512640 134569956 3221224416 3221214856 1131387196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44849 13073 16 0 211144 0
vsize: 844640
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 106945 73 0 0 24 0 11 0 419091275 864911360 44996 4294967295 134512640 134569956 3221224416 3221214688 1131247182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 44996 13073 16 0 211144 0
vsize: 844640
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 107902 73 0 0 22 0 11 0 419091275 864911360 45071 4294967295 134512640 134569956 3221224416 3221214736 1131547945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 45071 13073 16 0 211144 0
vsize: 844640
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 108859 74 0 0 25 0 11 0 419091275 864911360 45194 4294967295 134512640 134569956 3221224416 3221214688 1131247077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 45194 13073 16 0 211144 0
vsize: 844640
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 109815 74 0 0 24 0 11 0 419091275 864911360 45288 4294967295 134512640 134569956 3221224416 3221214856 1131387137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 45288 13073 16 0 211144 0
vsize: 844640
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 110764 75 0 0 25 0 11 0 419091275 864911360 45550 4294967295 134512640 134569956 3221224416 3221214176 1131436347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 45550 13073 16 0 211144 0
vsize: 844640
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 111713 75 0 0 25 0 11 0 419091275 864911360 45624 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 45624 13073 16 0 211144 0
vsize: 844640
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 112663 75 0 0 25 0 11 0 419091275 864911360 45719 4294967295 134512640 134569956 3221224416 3221214688 1131247386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 45719 13073 16 0 211144 0
vsize: 844640
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 113610 76 0 0 25 0 11 0 419091275 864911360 45907 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 45907 13073 16 0 211144 0
vsize: 844640
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 114571 77 0 0 25 0 11 0 419091275 864911360 46007 4294967295 134512640 134569956 3221224416 3221214584 1131607683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 46007 13073 16 0 211144 0
vsize: 844640
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 115519 77 0 0 24 0 11 0 419091275 864911360 46122 4294967295 134512640 134569956 3221224416 3221214688 1131247086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 46122 13073 16 0 211144 0
vsize: 844640
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 116481 77 0 0 25 0 11 0 419091275 864911360 46248 4294967295 134512640 134569956 3221224416 3221214856 1131387137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 46248 13073 16 0 211144 0
vsize: 844640
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 117435 77 0 0 25 0 11 0 419091275 864911360 46344 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 46344 13073 16 0 211144 0
vsize: 844640
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 118388 78 0 0 25 0 11 0 419091275 864911360 46478 4294967295 134512640 134569956 3221224416 3221214856 1131387116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 46478 13073 16 0 211144 0
vsize: 844640
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 119344 78 0 0 18 0 11 0 419091275 864911360 46573 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 46573 13073 16 0 211144 0
vsize: 844640
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 30380
Raw data (stat): 30370 (java) R 30369 29653 29652 0 -1 0 18108 0 1 0 120309 78 0 0 25 0 11 0 419091275 864911360 46683 4294967295 134512640 134569956 3221224416 3221214856 1131387184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211160 46683 13073 16 0 211144 0
vsize: 844640
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 30382
Raw data (stat): 30370 (java) Z 30369 29653 29652 0 -1 1036 18108 25615 1 0 120310 78 4209 61 25 0 1 0 419091275 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.17
CPU time (s): 1246.6
CPU user time (s): 1245.2
CPU system time (s): 1.39979
CPU usage (%): 99.7147
Max. virtual memory (Kb): 858004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####