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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
MD5SUM7312c1a4c94073cc51821da54f781db8
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 47190
Biggest coefficient in the objective function 1001264250880
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 339379725479256
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 1001264250880
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 339379725479256
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.474927
Number of variables54540
Total number of constraints1503
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 constraints1503
Minimum length of a constraint60
Maximum length of a constraint6090

Trace number 23098

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-22 04:12:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10708 boxname=wulflinc7 idbench=824 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  7312c1a4c94073cc51821da54f781db8  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-degen3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-degen3.opb
IDLAUNCH: 10708
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:         86960 kB
Buffers:         27620 kB
Cached:         897464 kB
SwapCached:        328 kB
Active:         170492 kB
Inactive:       757140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:         86708 kB
SwapTotal:     2097136 kB
SwapFree:      2096520 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6460 kB
Slab:            14440 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:33:40 (client local time) WITH STATUS 143 IN 1278.46 SECONDS
stats: 10708 7 1278.46 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-degen3.opb
c reading problem 
c [nbvar=54540]
c [nbconstr=1503]
c time 837.617
c #vars     54540
c #clauses  2221
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.89 0.90 2/54 28505
Raw data (stat): 28505 (runsolver) R 28504 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492528642 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.89 0.90 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 875 38 0 0 25 0 10 0 492528642 853495808 19167 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208373 19167 13073 16 0 208357 0
vsize: 833492
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.90 0.90 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 1770 38 0 0 25 0 10 0 492528642 853831680 19718 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 19718 13073 16 0 208439 0
vsize: 833820
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.90 0.90 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 2667 39 0 0 25 0 10 0 492528642 853831680 20158 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 20158 13073 16 0 208439 0
vsize: 833820
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.90 0.90 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 3596 39 0 0 25 0 10 0 492528642 853831680 20388 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208455 20388 13073 16 0 208439 0
vsize: 833820
[startup+50.0064 s]
Raw data (loadavg): 0.93 0.91 0.90 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 4523 40 0 0 25 0 10 0 492528642 853594112 20456 4294967295 134512640 134569956 3221224400 3221214824 1131214862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 20456 13073 16 0 208381 0
vsize: 833588
[startup+60.0066 s]
Raw data (loadavg): 0.94 0.91 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 5452 40 0 0 25 0 10 0 492528642 853725184 20570 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208429 20570 13073 16 0 208413 0
vsize: 833716
[startup+70.0067 s]
Raw data (loadavg): 0.95 0.91 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 6397 40 0 0 25 0 10 0 492528642 853594112 20776 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 20776 13073 16 0 208381 0
vsize: 833588
[startup+80.0073 s]
Raw data (loadavg): 0.96 0.91 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 7341 41 0 0 25 0 10 0 492528642 853594112 20858 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 20858 13073 16 0 208381 0
vsize: 833588
[startup+90.0075 s]
Raw data (loadavg): 0.96 0.92 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 8287 41 0 0 25 0 10 0 492528642 853594112 20933 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 20933 13073 16 0 208381 0
vsize: 833588
[startup+100.009 s]
Raw data (loadavg): 0.97 0.92 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 9232 42 0 0 25 0 10 0 492528642 853594112 21002 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21002 13073 16 0 208381 0
vsize: 833588
[startup+110.009 s]
Raw data (loadavg): 0.97 0.92 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 10182 42 0 0 25 0 10 0 492528642 853594112 21064 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21064 13073 16 0 208381 0
vsize: 833588
[startup+120.009 s]
Raw data (loadavg): 0.98 0.92 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 11128 43 0 0 25 0 10 0 492528642 853594112 21126 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21126 13073 16 0 208381 0
vsize: 833588
[startup+130.01 s]
Raw data (loadavg): 0.98 0.92 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 12075 43 0 0 24 0 10 0 492528642 853594112 21184 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21184 13073 16 0 208381 0
vsize: 833588
[startup+140.011 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 13021 44 0 0 25 0 10 0 492528642 853594112 21240 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21240 13073 16 0 208381 0
vsize: 833588
[startup+150.012 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 13967 44 0 0 25 0 10 0 492528642 853594112 21295 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21295 13073 16 0 208381 0
vsize: 833588
[startup+160.014 s]
Raw data (loadavg): 0.99 0.93 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 14913 44 0 0 24 0 10 0 492528642 853594112 21346 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21346 13073 16 0 208381 0
vsize: 833588
[startup+170.014 s]
Raw data (loadavg): 0.99 0.93 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 15846 45 0 0 25 0 10 0 492528642 853594112 21393 4294967295 134512640 134569956 3221224400 3221213984 1076461499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21393 13073 16 0 208381 0
vsize: 833588
[startup+180.014 s]
Raw data (loadavg): 0.99 0.93 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 16768 45 0 0 25 0 10 0 492528642 853594112 21441 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21441 13073 16 0 208381 0
vsize: 833588
[startup+190.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 17709 45 0 0 25 0 10 0 492528642 853594112 21741 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21741 13073 16 0 208381 0
vsize: 833588
[startup+200.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 18650 46 0 0 25 0 10 0 492528642 853594112 21787 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21787 13073 16 0 208381 0
vsize: 833588
[startup+210.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 19591 46 0 0 25 0 10 0 492528642 853594112 21831 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21831 13073 16 0 208381 0
vsize: 833588
[startup+220.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 20532 47 0 0 25 0 10 0 492528642 853594112 21874 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21874 13073 16 0 208381 0
vsize: 833588
[startup+230.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 21473 47 0 0 24 0 10 0 492528642 853594112 21916 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21916 13073 16 0 208381 0
vsize: 833588
[startup+240.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 22416 48 0 0 25 0 10 0 492528642 853594112 21954 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21954 13073 16 0 208381 0
vsize: 833588
[startup+250.028 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 23356 48 0 0 25 0 10 0 492528642 853594112 21994 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 21994 13073 16 0 208381 0
vsize: 833588
[startup+260.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 24295 49 0 0 25 0 10 0 492528642 853594112 22033 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22033 13073 16 0 208381 0
vsize: 833588
[startup+270.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 25232 49 0 0 24 0 10 0 492528642 853594112 22071 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22071 13073 16 0 208381 0
vsize: 833588
[startup+280.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 26174 49 0 0 25 0 10 0 492528642 853594112 22106 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22106 13073 16 0 208381 0
vsize: 833588
[startup+290.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 27111 50 0 0 25 0 10 0 492528642 853594112 22143 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22143 13073 16 0 208381 0
vsize: 833588
[startup+300.032 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 28048 50 0 0 24 0 10 0 492528642 853594112 22179 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22179 13073 16 0 208381 0
vsize: 833588
[startup+310.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 28988 50 0 0 25 0 10 0 492528642 853594112 22213 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22213 13073 16 0 208381 0
vsize: 833588
[startup+320.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 29924 51 0 0 25 0 10 0 492528642 853594112 22247 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22247 13073 16 0 208381 0
vsize: 833588
[startup+330.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 30859 51 0 0 24 0 10 0 492528642 853594112 22281 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22281 13073 16 0 208381 0
vsize: 833588
[startup+340.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 31798 51 0 0 25 0 10 0 492528642 853594112 22314 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22314 13073 16 0 208381 0
vsize: 833588
[startup+350.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 32732 52 0 0 25 0 10 0 492528642 853594112 22347 4294967295 134512640 134569956 3221224400 3221214304 1079300850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22347 13073 16 0 208381 0
vsize: 833588
[startup+360.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 33670 52 0 0 25 0 10 0 492528642 853594112 22378 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22378 13073 16 0 208381 0
vsize: 833588
[startup+370.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 34603 53 0 0 25 0 10 0 492528642 853594112 22410 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22410 13073 16 0 208381 0
vsize: 833588
[startup+380.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 35536 53 0 0 25 0 10 0 492528642 853594112 22442 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22442 13073 16 0 208381 0
vsize: 833588
[startup+390.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 36473 53 0 0 25 0 10 0 492528642 853594112 22471 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22471 13073 16 0 208381 0
vsize: 833588
[startup+400.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 37404 54 0 0 25 0 10 0 492528642 853594112 22502 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22502 13073 16 0 208381 0
vsize: 833588
[startup+410.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 38339 54 0 0 25 0 10 0 492528642 853594112 22531 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22531 13073 16 0 208381 0
vsize: 833588
[startup+420.043 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 39271 54 0 0 25 0 10 0 492528642 853594112 22561 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22561 13073 16 0 208381 0
vsize: 833588
[startup+430.043 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 40201 55 0 0 24 0 10 0 492528642 853594112 22590 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22590 13073 16 0 208381 0
vsize: 833588
[startup+440.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 41135 55 0 0 25 0 10 0 492528642 853594112 22618 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22618 13073 16 0 208381 0
vsize: 833588
[startup+450.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 42065 56 0 0 24 0 10 0 492528642 853594112 22647 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22647 13073 16 0 208381 0
vsize: 833588
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 42998 56 0 0 25 0 10 0 492528642 853594112 22674 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22674 13073 16 0 208381 0
vsize: 833588
[startup+470.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 43926 57 0 0 24 0 10 0 492528642 853594112 22702 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22702 13073 16 0 208381 0
vsize: 833588
[startup+480.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 44858 58 0 0 25 0 10 0 492528642 853594112 22729 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22729 13073 16 0 208381 0
vsize: 833588
[startup+490.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 45785 58 0 0 24 0 10 0 492528642 853594112 22756 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22756 13073 16 0 208381 0
vsize: 833588
[startup+500.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 46716 58 0 0 25 0 10 0 492528642 853594112 22782 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22782 13073 16 0 208381 0
vsize: 833588
[startup+510.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 47643 59 0 0 24 0 10 0 492528642 853594112 22810 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22810 13073 16 0 208381 0
vsize: 833588
[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 48574 59 0 0 25 0 10 0 492528642 853594112 22836 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22836 13073 16 0 208381 0
vsize: 833588
[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 49500 59 0 0 24 0 10 0 492528642 853594112 22862 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22862 13073 16 0 208381 0
vsize: 833588
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 50429 59 0 0 25 0 10 0 492528642 853594112 22887 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22887 13073 16 0 208381 0
vsize: 833588
[startup+550.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) S 28504 22932 22931 0 -1 0 17980 0 1 0 51356 60 0 0 25 0 10 0 492528642 853594112 22912 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22912 13073 16 0 208381 0
vsize: 833588
[startup+560.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 52283 60 0 0 25 0 10 0 492528642 853594112 22937 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22937 13073 16 0 208381 0
vsize: 833588
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 53212 60 0 0 25 0 10 0 492528642 853594112 22961 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22961 13073 16 0 208381 0
vsize: 833588
[startup+580.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 54136 61 0 0 25 0 10 0 492528642 853594112 22987 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 22987 13073 16 0 208381 0
vsize: 833588
[startup+590.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 55063 61 0 0 25 0 10 0 492528642 853594112 23010 4294967295 134512640 134569956 3221224400 3221214768 1131044812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 23010 13073 16 0 208381 0
vsize: 833588
[startup+600.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17980 0 1 0 55986 62 0 0 25 0 10 0 492528642 853594112 23035 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208397 23035 13073 16 0 208381 0
vsize: 833588
[startup+610.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 56813 62 0 0 25 0 10 0 492528642 857522176 26054 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26054 13073 16 0 209340 0
vsize: 837424
[startup+620.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 57745 62 0 0 25 0 10 0 492528642 857522176 26054 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26054 13073 16 0 209340 0
vsize: 837424
[startup+630.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 58667 62 0 0 25 0 10 0 492528642 857522176 26070 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26070 13073 16 0 209340 0
vsize: 837424
[startup+640.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 59593 63 0 0 25 0 10 0 492528642 857522176 26093 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26093 13073 16 0 209340 0
vsize: 837424
[startup+650.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 60518 63 0 0 25 0 10 0 492528642 857522176 26115 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26115 13073 16 0 209340 0
vsize: 837424
[startup+660.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 61434 63 0 0 25 0 10 0 492528642 857522176 26758 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26758 13073 16 0 209340 0
vsize: 837424
[startup+670.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 62346 64 0 0 25 0 10 0 492528642 857522176 26776 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26776 13073 16 0 209340 0
vsize: 837424
[startup+680.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 63224 64 0 0 25 0 10 0 492528642 857522176 26784 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 26784 13073 16 0 209340 0
vsize: 837424
[startup+690.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) S 28504 22932 22931 0 -1 0 17989 0 1 0 64107 65 0 0 25 0 10 0 492528642 857522176 27000 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 27000 13073 16 0 209340 0
vsize: 837424
[startup+700.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 65021 65 0 0 24 0 10 0 492528642 857522176 27022 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 27022 13073 16 0 209340 0
vsize: 837424
[startup+710.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 65934 65 0 0 25 0 10 0 492528642 857522176 27043 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 27043 13073 16 0 209340 0
vsize: 837424
[startup+720.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 66848 66 0 0 25 0 10 0 492528642 857522176 27065 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 27065 13073 16 0 209340 0
vsize: 837424
[startup+730.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 67762 66 0 0 25 0 10 0 492528642 857522176 27086 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209356 27086 13073 16 0 209340 0
vsize: 837424
[startup+740.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 68646 66 0 0 25 0 10 0 492528642 857767936 27131 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27131 13073 16 0 209400 0
vsize: 837664
[startup+750.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 69523 66 0 0 25 0 10 0 492528642 857767936 27351 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27351 13073 16 0 209400 0
vsize: 837664
[startup+760.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 70435 67 0 0 25 0 10 0 492528642 857767936 27367 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27367 13073 16 0 209400 0
vsize: 837664
[startup+770.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 71349 67 0 0 25 0 10 0 492528642 857767936 27388 4294967295 134512640 134569956 3221224400 3221214192 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27388 13073 16 0 209400 0
vsize: 837664
[startup+780.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 72259 67 0 0 25 0 10 0 492528642 857767936 27408 4294967295 134512640 134569956 3221224400 3221214732 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27408 13073 16 0 209400 0
vsize: 837664
[startup+790.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 73170 68 0 0 25 0 10 0 492528642 857767936 27429 4294967295 134512640 134569956 3221224400 3221214208 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27429 13073 16 0 209400 0
vsize: 837664
[startup+800.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 74080 68 0 0 25 0 10 0 492528642 857767936 27449 4294967295 134512640 134569956 3221224400 3221214192 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27449 13073 16 0 209400 0
vsize: 837664
[startup+810.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17989 0 1 0 74981 69 0 0 25 0 10 0 492528642 857767936 27887 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 27887 13073 16 0 209400 0
vsize: 837664
[startup+820.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17990 0 1 0 75870 73 0 0 25 0 10 0 492528642 857767936 31369 4294967295 134512640 134569956 3221224400 3221214840 1131157745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 31369 13073 16 0 209400 0
vsize: 837664
[startup+830.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 17990 0 1 0 76804 80 0 0 25 0 10 0 492528642 857767936 34570 4294967295 134512640 134569956 3221224400 3221214328 1131279014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209416 34570 13073 16 0 209400 0
vsize: 837664
[startup+840.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18011 0 1 0 77648 82 0 0 24 0 10 0 492528642 857767936 42079 4294967295 134512640 134569956 3221224400 3221214840 1131317804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 42079 13073 16 0 209400 0
vsize: 837664
[startup+850.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18012 0 1 0 78601 83 0 0 25 0 10 0 492528642 857767936 42037 4294967295 134512640 134569956 3221224400 3221214928 1131511604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209416 42037 13073 16 0 209400 0
vsize: 837664
[startup+860.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18012 0 1 0 79542 83 0 0 25 0 10 0 492528642 857767936 42038 4294967295 134512640 134569956 3221224400 3221214824 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209416 42038 13073 16 0 209400 0
vsize: 837664
[startup+870.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18012 0 1 0 80476 83 0 0 25 0 10 0 492528642 856719360 41891 4294967295 134512640 134569956 3221224400 3221214824 1131317652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209160 41891 13073 16 0 209144 0
vsize: 836640
[startup+880.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 28514
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18012 0 1 0 81386 84 0 0 25 0 10 0 492528642 856719360 42169 4294967295 134512640 134569956 3221224400 3221214824 1131317987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209160 42169 13073 16 0 209144 0
vsize: 836640
[startup+890.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 82274 84 0 0 25 0 11 0 492528642 857247744 42195 4294967295 134512640 134569956 3221224400 3221214744 1131319218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 42195 13073 16 0 209273 0
vsize: 837156
[startup+900.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 83156 84 0 0 25 0 11 0 492528642 857247744 42228 4294967295 134512640 134569956 3221224400 3221214832 1131272776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 42228 13073 16 0 209273 0
vsize: 837156
[startup+910.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 84053 84 0 0 25 0 11 0 492528642 857247744 42266 4294967295 134512640 134569956 3221224400 3221214880 1131508723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 42266 13073 16 0 209273 0
vsize: 837156
[startup+920.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 84991 85 0 0 25 0 11 0 492528642 857247744 42988 4294967295 134512640 134569956 3221224400 3221214792 1131319122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 42988 13073 16 0 209273 0
vsize: 837156
[startup+930.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 85985 85 0 0 25 0 11 0 492528642 857247744 42996 4294967295 134512640 134569956 3221224400 3221214744 1131317804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 42996 13073 16 0 209273 0
vsize: 837156
[startup+940.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 86980 86 0 0 25 0 11 0 492528642 857247744 42999 4294967295 134512640 134569956 3221224400 3221214824 1131247670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 42999 13073 16 0 209273 0
vsize: 837156
[startup+950.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 87975 86 0 0 25 0 11 0 492528642 857247744 43001 4294967295 134512640 134569956 3221224400 3221214832 1131272160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43001 13073 16 0 209273 0
vsize: 837156
[startup+960.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 88970 87 0 0 25 0 11 0 492528642 857247744 43005 4294967295 134512640 134569956 3221224400 3221214880 1131509716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43005 13073 16 0 209273 0
vsize: 837156
[startup+970.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 89963 87 0 0 25 0 11 0 492528642 857247744 43007 4294967295 134512640 134569956 3221224400 3221214832 1131272776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43007 13073 16 0 209273 0
vsize: 837156
[startup+980.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 90958 87 0 0 25 0 11 0 492528642 857247744 43012 4294967295 134512640 134569956 3221224400 3221214880 1131511163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43012 13073 16 0 209273 0
vsize: 837156
[startup+990.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 91951 88 0 0 25 0 11 0 492528642 857247744 43015 4294967295 134512640 134569956 3221224400 3221214824 1131315272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43015 13073 16 0 209273 0
vsize: 837156
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 92945 88 0 0 25 0 11 0 492528642 857247744 43023 4294967295 134512640 134569956 3221224400 3221214880 1131511064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43023 13073 16 0 209273 0
vsize: 837156
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 93939 89 0 0 25 0 11 0 492528642 857247744 43027 4294967295 134512640 134569956 3221224400 3221214832 1131272776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43027 13073 16 0 209273 0
vsize: 837156
[startup+1020.09 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 94934 89 0 0 25 0 11 0 492528642 857247744 43033 4294967295 134512640 134569956 3221224400 3221214832 1131272769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43033 13073 16 0 209273 0
vsize: 837156
[startup+1030.09 s]
Raw data (loadavg): 1.13 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 95928 89 0 0 25 0 11 0 492528642 857247744 43036 4294967295 134512640 134569956 3221224400 3221214808 1131315290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43036 13073 16 0 209273 0
vsize: 837156
[startup+1040.09 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 96923 90 0 0 25 0 11 0 492528642 857247744 43039 4294967295 134512640 134569956 3221224400 3221214876 1131315253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43039 13073 16 0 209273 0
vsize: 837156
[startup+1050.09 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 97917 90 0 0 25 0 11 0 492528642 857247744 43043 4294967295 134512640 134569956 3221224400 3221214876 1131315040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43043 13073 16 0 209273 0
vsize: 837156
[startup+1060.09 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 98910 91 0 0 25 0 11 0 492528642 857247744 43051 4294967295 134512640 134569956 3221224400 3221214808 1131315307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43051 13073 16 0 209273 0
vsize: 837156
[startup+1070.1 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 99907 91 0 0 25 0 11 0 492528642 857247744 43056 4294967295 134512640 134569956 3221224400 3221214792 1131318590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43056 13073 16 0 209273 0
vsize: 837156
[startup+1080.1 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 100900 91 0 0 25 0 11 0 492528642 857247744 43059 4294967295 134512640 134569956 3221224400 3221214876 1131260452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43059 13073 16 0 209273 0
vsize: 837156
[startup+1090.1 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 101895 91 0 0 25 0 11 0 492528642 857247744 43062 4294967295 134512640 134569956 3221224400 3221214880 1131511370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43062 13073 16 0 209273 0
vsize: 837156
[startup+1100.1 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 102889 92 0 0 25 0 11 0 492528642 857247744 43067 4294967295 134512640 134569956 3221224400 3221214872 1131247647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43067 13073 16 0 209273 0
vsize: 837156
[startup+1110.1 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 103883 92 0 0 25 0 11 0 492528642 857247744 43073 4294967295 134512640 134569956 3221224400 3221214744 1131317695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43073 13073 16 0 209273 0
vsize: 837156
[startup+1120.1 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 104877 92 0 0 25 0 11 0 492528642 857247744 43084 4294967295 134512640 134569956 3221224400 3221214792 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43084 13073 16 0 209273 0
vsize: 837156
[startup+1130.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 105870 92 0 0 25 0 11 0 492528642 857247744 43086 4294967295 134512640 134569956 3221224400 3221214832 1131272160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43086 13073 16 0 209273 0
vsize: 837156
[startup+1140.11 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 106864 92 0 0 25 0 11 0 492528642 857247744 43089 4294967295 134512640 134569956 3221224400 3221214832 1131272776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43089 13073 16 0 209273 0
vsize: 837156
[startup+1150.12 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 107859 92 0 0 25 0 11 0 492528642 857247744 43095 4294967295 134512640 134569956 3221224400 3221214792 1131318654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43095 13073 16 0 209273 0
vsize: 837156
[startup+1160.12 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 108853 92 0 0 25 0 11 0 492528642 857247744 43104 4294967295 134512640 134569956 3221224400 3221214792 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43104 13073 16 0 209273 0
vsize: 837156
[startup+1170.13 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 109848 92 0 0 25 0 11 0 492528642 857247744 43106 4294967295 134512640 134569956 3221224400 3221214832 1131272676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209289 43106 13073 16 0 209273 0
vsize: 837156
[startup+1180.13 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 110842 92 0 0 25 0 11 0 492528642 857247744 43111 4294967295 134512640 134569956 3221224400 3221214744 1131320661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43111 13073 16 0 209273 0
vsize: 837156
[startup+1190.13 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 111835 93 0 0 25 0 11 0 492528642 857247744 43116 4294967295 134512640 134569956 3221224400 3221214744 1131317804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43116 13073 16 0 209273 0
vsize: 837156
[startup+1200.13 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 112830 93 0 0 25 0 11 0 492528642 857247744 43119 4294967295 134512640 134569956 3221224400 3221214792 1131317951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43119 13073 16 0 209273 0
vsize: 837156
[startup+1210.13 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 113823 93 0 0 25 0 11 0 492528642 857247744 43124 4294967295 134512640 134569956 3221224400 3221214880 1131508167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43124 13073 16 0 209273 0
vsize: 837156
[startup+1220.13 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 114818 93 0 0 25 0 11 0 492528642 857247744 43132 4294967295 134512640 134569956 3221224400 3221214792 1131319173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43132 13073 16 0 209273 0
vsize: 837156
[startup+1230.13 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 115813 93 0 0 25 0 11 0 492528642 857247744 43137 4294967295 134512640 134569956 3221224400 3221214792 1131317832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43137 13073 16 0 209273 0
vsize: 837156
[startup+1240.13 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 116807 93 0 0 25 0 11 0 492528642 857247744 43146 4294967295 134512640 134569956 3221224400 3221214832 1131272160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43146 13073 16 0 209273 0
vsize: 837156
[startup+1250.13 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 117802 93 0 0 25 0 11 0 492528642 857247744 43152 4294967295 134512640 134569956 3221224400 3221214744 1131317753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43152 13073 16 0 209273 0
vsize: 837156
[startup+1260.13 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 118796 93 0 0 25 0 11 0 492528642 857247744 43156 4294967295 134512640 134569956 3221224400 3221214832 1131272762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43156 13073 16 0 209273 0
vsize: 837156
[startup+1270.14 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 119791 94 0 0 25 0 11 0 492528642 857247744 43159 4294967295 134512640 134569956 3221224400 3221214776 1131315076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43159 13073 16 0 209273 0
vsize: 837156
[startup+1280.14 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 28515
Raw data (stat): 28505 (java) R 28504 22932 22931 0 -1 0 18018 0 1 0 120785 94 0 0 25 0 11 0 492528642 857247744 43163 4294967295 134512640 134569956 3221224400 3221214792 1131317951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209289 43163 13073 16 0 209273 0
vsize: 837156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.24 s]
Raw data (loadavg): 1.01 1.00 0.93 1/54 28516
Raw data (stat): 28505 (java) Z 28504 22932 22931 0 -1 1036 18018 23938 1 0 120786 94 6893 71 25 0 1 0 492528642 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1280.24
CPU time (s): 1278.46
CPU user time (s): 1276.8
CPU system time (s): 1.65575
CPU usage (%): 99.8609
Max. virtual memory (Kb): 837664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####