Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUMf88781e3d6e9a5487d13eaa213c27b55
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4272
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 6291450
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 6291450
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.08
Number of variables205
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)45
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint105

Trace number 17565

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        515524 kB
Buffers:         15632 kB
Cached:         477672 kB
SwapCached:        512 kB
Active:         114488 kB
Inactive:       380776 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        515244 kB
SwapTotal:     2097892 kB
SwapFree:      2096484 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            18244 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 11:01:12 (client local time) WITH STATUS 143 IN 1223.29 SECONDS
stats: 19483 7 1223.29 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-markshare1_1.opb
c reading problem 
c [nbvar=205]
c [nbconstr=56]
c time 0.743
c #vars     205
c #clauses  17
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=140896
c Current CPU time (ms) : 5.61
c starts	: 1
c conflicts	: 4
c decisions	: 283
c propagations	: 525
c inspects	: 1476
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4
c root simplifications	: 3
c 
c CURRENT OPTIMUM=140608
c Current CPU time (ms) : 9.022
c starts	: 2
c conflicts	: 5
c decisions	: 335
c propagations	: 786
c inspects	: 2128
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 4
c 
c CURRENT OPTIMUM=88697
c Current CPU time (ms) : 9.537
c starts	: 3
c conflicts	: 5
c decisions	: 358
c propagations	: 979
c inspects	: 2938
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 5
c 
c CURRENT OPTIMUM=76552
c Current CPU time (ms) : 52.787
c starts	: 4
c conflicts	: 99
c decisions	: 2457
c propagations	: 5906
c inspects	: 89121
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 99
c root simplifications	: 48
c 
c CURRENT OPTIMUM=76084
c Current CPU time (ms) : 54.984
c starts	: 5
c conflicts	: 100
c decisions	: 2489
c propagations	: 6139
c inspects	: 93630
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 100
c root simplifications	: 49
c 
c CURRENT OPTIMUM=58933
c Current CPU time (ms) : 431.024
c starts	: 8
c conflicts	: 351
c decisions	: 7299
c propagations	: 18469
c inspects	: 888734
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 351
c root simplifications	: 156
#### 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.94 0.90 2/54 18552
Raw data (stat): 18552 (runsolver) D 18551 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544431512 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 1.18 1.01 0.92 5/64 18564
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 17704 3 1 0 557 37 0 0 24 0 11 0 544431512 878444544 23925 4294967295 134512640 134569956 3221224400 3221214768 1131314799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214464 23925 13073 16 0 214448 0
vsize: 857856
[startup+20.0012 s]
Raw data (loadavg): 1.30 1.04 0.93 2/64 18565
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 1301 38 0 0 25 0 11 0 544431512 875315200 23971 4294967295 134512640 134569956 3221224400 3221214792 1131320614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 23971 13073 16 0 213684 0
vsize: 854800
[startup+30.0019 s]
Raw data (loadavg): 1.25 1.04 0.93 2/64 18565
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 2274 39 0 0 25 0 11 0 544431512 875315200 24153 4294967295 134512640 134569956 3221224400 3221214744 1131190728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 24153 13073 16 0 213684 0
vsize: 854800
[startup+40.0019 s]
Raw data (loadavg): 1.21 1.03 0.93 2/64 18565
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 3240 39 0 0 25 0 11 0 544431512 875315200 24359 4294967295 134512640 134569956 3221224400 3221214792 1131326235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 24359 13073 16 0 213684 0
vsize: 854800
[startup+50.0027 s]
Raw data (loadavg): 1.18 1.03 0.93 2/64 18565
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 4205 40 0 0 25 0 11 0 544431512 875315200 24573 4294967295 134512640 134569956 3221224400 3221214792 1131318353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 24573 13073 16 0 213684 0
vsize: 854800
[startup+60.0034 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 5183 40 0 0 25 0 11 0 544431512 875315200 24655 4294967295 134512640 134569956 3221224400 3221214792 1131321285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 24655 13073 16 0 213684 0
vsize: 854800
[startup+70.0038 s]
Raw data (loadavg): 1.13 1.03 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 6165 41 0 0 25 0 11 0 544431512 875315200 24759 4294967295 134512640 134569956 3221224400 3221214792 1131324139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 24759 13073 16 0 213684 0
vsize: 854800
[startup+80.0052 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 7150 41 0 0 25 0 11 0 544431512 875315200 24803 4294967295 134512640 134569956 3221224400 3221214792 1131320830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 24803 13073 16 0 213684 0
vsize: 854800
[startup+90.0049 s]
Raw data (loadavg): 1.09 1.03 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 8134 41 0 0 25 0 11 0 544431512 875315200 24875 4294967295 134512640 134569956 3221224400 3221214792 1131324307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 24875 13073 16 0 213684 0
vsize: 854800
[startup+100.005 s]
Raw data (loadavg): 1.08 1.03 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 9119 41 0 0 25 0 11 0 544431512 875315200 24941 4294967295 134512640 134569956 3221224400 3221214792 1131324037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 24941 13073 16 0 213684 0
vsize: 854800
[startup+110.006 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 10102 42 0 0 25 0 11 0 544431512 875315200 24997 4294967295 134512640 134569956 3221224400 3221214792 1131316008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 24997 13073 16 0 213684 0
vsize: 854800
[startup+120.005 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 11084 42 0 0 25 0 11 0 544431512 875315200 25065 4294967295 134512640 134569956 3221224400 3221214792 1131316305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25065 13073 16 0 213684 0
vsize: 854800
[startup+130.007 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 12065 42 0 0 25 0 11 0 544431512 875315200 25134 4294967295 134512640 134569956 3221224400 3221214792 1131315125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25134 13073 16 0 213684 0
vsize: 854800
[startup+140.007 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 13047 43 0 0 25 0 11 0 544431512 875315200 25222 4294967295 134512640 134569956 3221224400 3221214712 1131489088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25222 13073 16 0 213684 0
vsize: 854800
[startup+150.007 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 14028 44 0 0 25 0 11 0 544431512 875315200 25281 4294967295 134512640 134569956 3221224400 3221214792 1131312811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 25281 13073 16 0 213684 0
vsize: 854800
[startup+160.007 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 15012 44 0 0 25 0 11 0 544431512 875315200 25356 4294967295 134512640 134569956 3221224400 3221214792 1131319577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25356 13073 16 0 213684 0
vsize: 854800
[startup+170.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 15996 44 0 0 20 0 11 0 544431512 875315200 25429 4294967295 134512640 134569956 3221224400 3221214792 1131315118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25429 13073 16 0 213684 0
vsize: 854800
[startup+180.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 16980 45 0 0 25 0 11 0 544431512 875315200 25482 4294967295 134512640 134569956 3221224400 3221214792 1131323178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25482 13073 16 0 213684 0
vsize: 854800
[startup+190.009 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 17965 45 0 0 25 0 11 0 544431512 875315200 25588 4294967295 134512640 134569956 3221224400 3221214792 1131319248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25588 13073 16 0 213684 0
vsize: 854800
[startup+200.009 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 18949 45 0 0 25 0 11 0 544431512 875315200 25645 4294967295 134512640 134569956 3221224400 3221214792 1131315125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25645 13073 16 0 213684 0
vsize: 854800
[startup+210.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 19933 46 0 0 24 0 11 0 544431512 875315200 25731 4294967295 134512640 134569956 3221224400 3221214792 1131315125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25731 13073 16 0 213684 0
vsize: 854800
[startup+220.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 20918 46 0 0 25 0 11 0 544431512 875315200 25805 4294967295 134512640 134569956 3221224400 3221214792 1131311898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25805 13073 16 0 213684 0
vsize: 854800
[startup+230.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 21905 46 0 0 25 0 11 0 544431512 875315200 25872 4294967295 134512640 134569956 3221224400 3221214632 1131364467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25872 13073 16 0 213684 0
vsize: 854800
[startup+240.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 22893 46 0 0 24 0 11 0 544431512 875315200 25923 4294967295 134512640 134569956 3221224400 3221214576 1131191053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25923 13073 16 0 213684 0
vsize: 854800
[startup+250.011 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 23880 46 0 0 24 0 11 0 544431512 875315200 25978 4294967295 134512640 134569956 3221224400 3221214792 1131314207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 25978 13073 16 0 213684 0
vsize: 854800
[startup+260.011 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 24866 46 0 0 25 0 11 0 544431512 875315200 26015 4294967295 134512640 134569956 3221224400 3221214792 1131316414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26015 13073 16 0 213684 0
vsize: 854800
[startup+270.011 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 25850 46 0 0 25 0 11 0 544431512 875315200 26065 4294967295 134512640 134569956 3221224400 3221214928 1130863134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 26065 13073 16 0 213684 0
vsize: 854800
[startup+280.012 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 26833 46 0 0 25 0 11 0 544431512 875315200 26127 4294967295 134512640 134569956 3221224400 3221214792 1131316414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26127 13073 16 0 213684 0
vsize: 854800
[startup+290.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 27819 47 0 0 25 0 11 0 544431512 875315200 26198 4294967295 134512640 134569956 3221224400 3221214792 1131313289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26198 13073 16 0 213684 0
vsize: 854800
[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 28805 47 0 0 25 0 11 0 544431512 875315200 26260 4294967295 134512640 134569956 3221224400 3221214672 1131263608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 26260 13073 16 0 213684 0
vsize: 854800
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 29792 47 0 0 25 0 11 0 544431512 875315200 26319 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26319 13073 16 0 213684 0
vsize: 854800
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 30779 47 0 0 25 0 11 0 544431512 875315200 26370 4294967295 134512640 134569956 3221224400 3221214792 1131310690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26370 13073 16 0 213684 0
vsize: 854800
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 31765 47 0 0 24 0 11 0 544431512 875315200 26411 4294967295 134512640 134569956 3221224400 3221214792 1131316154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26411 13073 16 0 213684 0
vsize: 854800
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 32753 48 0 0 25 0 11 0 544431512 875315200 26485 4294967295 134512640 134569956 3221224400 3221214792 1131312830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26485 13073 16 0 213684 0
vsize: 854800
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 33740 48 0 0 25 0 11 0 544431512 875315200 26539 4294967295 134512640 134569956 3221224400 3221214792 1131323995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26539 13073 16 0 213684 0
vsize: 854800
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 34727 48 0 0 25 0 11 0 544431512 875315200 26591 4294967295 134512640 134569956 3221224400 3221214792 1131327153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26591 13073 16 0 213684 0
vsize: 854800
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 35714 49 0 0 25 0 11 0 544431512 875315200 26644 4294967295 134512640 134569956 3221224400 3221214608 1131610056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26644 13073 16 0 213684 0
vsize: 854800
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 36701 49 0 0 25 0 11 0 544431512 875315200 26691 4294967295 134512640 134569956 3221224400 3221214792 1131311637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26691 13073 16 0 213684 0
vsize: 854800
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 37687 49 0 0 25 0 11 0 544431512 875315200 26764 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26764 13073 16 0 213684 0
vsize: 854800
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 38674 50 0 0 25 0 11 0 544431512 875315200 26809 4294967295 134512640 134569956 3221224400 3221214792 1131323308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26809 13073 16 0 213684 0
vsize: 854800
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 39661 50 0 0 24 0 11 0 544431512 875315200 26855 4294967295 134512640 134569956 3221224400 3221214792 1131324187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 26855 13073 16 0 213684 0
vsize: 854800
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 40648 50 0 0 25 0 11 0 544431512 875315200 26938 4294967295 134512640 134569956 3221224400 3221214792 1131320701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 26938 13073 16 0 213684 0
vsize: 854800
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18567
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 41633 50 0 0 25 0 11 0 544431512 875315200 27004 4294967295 134512640 134569956 3221224400 3221214792 1131320830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27004 13073 16 0 213684 0
vsize: 854800
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 42618 51 0 0 25 0 11 0 544431512 875315200 27044 4294967295 134512640 134569956 3221224400 3221214680 1131288290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27044 13073 16 0 213684 0
vsize: 854800
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 43603 51 0 0 25 0 11 0 544431512 875315200 27082 4294967295 134512640 134569956 3221224400 3221214792 1131324206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27082 13073 16 0 213684 0
vsize: 854800
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 44587 52 0 0 25 0 11 0 544431512 875315200 27179 4294967295 134512640 134569956 3221224400 3221214792 1131324242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27179 13073 16 0 213684 0
vsize: 854800
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 45573 52 0 0 25 0 11 0 544431512 875315200 27230 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27230 13073 16 0 213684 0
vsize: 854800
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 46560 52 0 0 25 0 11 0 544431512 875315200 27268 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27268 13073 16 0 213684 0
vsize: 854800
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 47547 53 0 0 25 0 11 0 544431512 875315200 27363 4294967295 134512640 134569956 3221224400 3221214792 1131323069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27363 13073 16 0 213684 0
vsize: 854800
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 48536 53 0 0 25 0 11 0 544431512 875315200 27388 4294967295 134512640 134569956 3221224400 3221214400 1131589273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27388 13073 16 0 213684 0
vsize: 854800
[startup+510.048 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 49523 53 0 0 25 0 11 0 544431512 875315200 27443 4294967295 134512640 134569956 3221224400 3221214792 1131324106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27443 13073 16 0 213684 0
vsize: 854800
[startup+520.048 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 50509 54 0 0 25 0 11 0 544431512 875315200 27487 4294967295 134512640 134569956 3221224400 3221214792 1131314848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27487 13073 16 0 213684 0
vsize: 854800
[startup+530.049 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 51497 54 0 0 25 0 11 0 544431512 875315200 27562 4294967295 134512640 134569956 3221224400 3221214788 1131584803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27562 13073 16 0 213684 0
vsize: 854800
[startup+540.049 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 52484 54 0 0 25 0 11 0 544431512 875315200 27613 4294967295 134512640 134569956 3221224400 3221214536 1131473449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27613 13073 16 0 213684 0
vsize: 854800
[startup+550.056 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 53472 55 0 0 25 0 11 0 544431512 875315200 27674 4294967295 134512640 134569956 3221224400 3221214792 1131320659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27674 13073 16 0 213684 0
vsize: 854800
[startup+560.056 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 54458 55 0 0 25 0 11 0 544431512 875315200 27701 4294967295 134512640 134569956 3221224400 3221214792 1131326427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27701 13073 16 0 213684 0
vsize: 854800
[startup+570.056 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 55443 56 0 0 25 0 11 0 544431512 875315200 27747 4294967295 134512640 134569956 3221224400 3221214792 1131324724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 27747 13073 16 0 213684 0
vsize: 854800
[startup+580.061 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 56427 56 0 0 24 0 11 0 544431512 875315200 27813 4294967295 134512640 134569956 3221224400 3221214792 1131316087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27813 13073 16 0 213684 0
vsize: 854800
[startup+590.068 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 57412 56 0 0 25 0 11 0 544431512 875315200 27864 4294967295 134512640 134569956 3221224400 3221214792 1131316154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27864 13073 16 0 213684 0
vsize: 854800
[startup+600.068 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 58395 57 0 0 25 0 11 0 544431512 875315200 27920 4294967295 134512640 134569956 3221224400 3221214792 1131318324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27920 13073 16 0 213684 0
vsize: 854800
[startup+610.072 s]
Raw data (loadavg): 1.09 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 59379 58 0 0 25 0 11 0 544431512 875315200 27992 4294967295 134512640 134569956 3221224400 3221214712 1131490471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 27992 13073 16 0 213684 0
vsize: 854800
[startup+620.072 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 60363 58 0 0 25 0 11 0 544431512 875315200 28088 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28088 13073 16 0 213684 0
vsize: 854800
[startup+630.078 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 61349 58 0 0 24 0 11 0 544431512 875315200 28165 4294967295 134512640 134569956 3221224400 3221214792 1131312638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28165 13073 16 0 213684 0
vsize: 854800
[startup+640.079 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 62335 58 0 0 25 0 11 0 544431512 875315200 28237 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28237 13073 16 0 213684 0
vsize: 854800
[startup+650.08 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 63322 59 0 0 25 0 11 0 544431512 875315200 28301 4294967295 134512640 134569956 3221224400 3221214792 1131320884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28301 13073 16 0 213684 0
vsize: 854800
[startup+660.081 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 64310 59 0 0 25 0 11 0 544431512 875315200 28334 4294967295 134512640 134569956 3221224400 3221214792 1131323107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28334 13073 16 0 213684 0
vsize: 854800
[startup+670.082 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 65296 59 0 0 25 0 11 0 544431512 875315200 28393 4294967295 134512640 134569956 3221224400 3221214792 1131318342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28393 13073 16 0 213684 0
vsize: 854800
[startup+680.083 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) S 18551 18865 18864 0 -1 0 18133 3 1 0 66283 60 0 0 25 0 11 0 544431512 875315200 28428 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28428 13073 16 0 213684 0
vsize: 854800
[startup+690.084 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 67270 60 0 0 25 0 11 0 544431512 875315200 28526 4294967295 134512640 134569956 3221224400 3221214792 1131320815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28526 13073 16 0 213684 0
vsize: 854800
[startup+700.084 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 68258 60 0 0 25 0 11 0 544431512 875315200 28575 4294967295 134512640 134569956 3221224400 3221214792 1131313058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28575 13073 16 0 213684 0
vsize: 854800
[startup+710.085 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 69245 61 0 0 25 0 11 0 544431512 875315200 28611 4294967295 134512640 134569956 3221224400 3221214792 1131320830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28611 13073 16 0 213684 0
vsize: 854800
[startup+720.086 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 70232 61 0 0 25 0 11 0 544431512 875315200 28652 4294967295 134512640 134569956 3221224400 3221214792 1131315213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28652 13073 16 0 213684 0
vsize: 854800
[startup+730.087 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) S 18551 18865 18864 0 -1 0 18133 3 1 0 71217 62 0 0 25 0 11 0 544431512 875315200 28716 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28719 13073 16 0 213684 0
vsize: 854800
[startup+740.087 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 72204 62 0 0 25 0 11 0 544431512 875315200 28781 4294967295 134512640 134569956 3221224400 3221214792 1131315930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28781 13073 16 0 213684 0
vsize: 854800
[startup+750.088 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 73192 63 0 0 25 0 11 0 544431512 875315200 28840 4294967295 134512640 134569956 3221224400 3221214792 1131323136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28840 13073 16 0 213684 0
vsize: 854800
[startup+760.089 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 74180 63 0 0 25 0 11 0 544431512 875315200 28855 4294967295 134512640 134569956 3221224400 3221214792 1131310649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28855 13073 16 0 213684 0
vsize: 854800
[startup+770.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 75168 63 0 0 25 0 11 0 544431512 875315200 28922 4294967295 134512640 134569956 3221224400 3221214424 1080217222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28922 13073 16 0 213684 0
vsize: 854800
[startup+780.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 76156 64 0 0 25 0 11 0 544431512 875315200 28968 4294967295 134512640 134569956 3221224400 3221214792 1131323932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 28968 13073 16 0 213684 0
vsize: 854800
[startup+790.091 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 77144 64 0 0 25 0 11 0 544431512 875315200 29020 4294967295 134512640 134569956 3221224400 3221214400 1131588785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29020 13073 16 0 213684 0
vsize: 854800
[startup+800.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 78133 65 0 0 25 0 11 0 544431512 875315200 29071 4294967295 134512640 134569956 3221224400 3221214792 1131316491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29071 13073 16 0 213684 0
vsize: 854800
[startup+810.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 79122 65 0 0 25 0 11 0 544431512 875315200 29108 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29108 13073 16 0 213684 0
vsize: 854800
[startup+820.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 80112 65 0 0 25 0 11 0 544431512 875315200 29137 4294967295 134512640 134569956 3221224400 3221214788 1131584803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29137 13073 16 0 213684 0
vsize: 854800
[startup+830.092 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 81100 66 0 0 24 0 11 0 544431512 875315200 29181 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29181 13073 16 0 213684 0
vsize: 854800
[startup+840.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 82089 66 0 0 25 0 11 0 544431512 875315200 29228 4294967295 134512640 134569956 3221224400 3221214792 1131323107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29228 13073 16 0 213684 0
vsize: 854800
[startup+850.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 83077 67 0 0 25 0 11 0 544431512 875315200 29245 4294967295 134512640 134569956 3221224400 3221214792 1131320743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29245 13073 16 0 213684 0
vsize: 854800
[startup+860.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 84065 67 0 0 25 0 11 0 544431512 875315200 29298 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29298 13073 16 0 213684 0
vsize: 854800
[startup+870.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 85053 67 0 0 25 0 11 0 544431512 875315200 29323 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29323 13073 16 0 213684 0
vsize: 854800
[startup+880.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 86039 67 0 0 25 0 11 0 544431512 875315200 29404 4294967295 134512640 134569956 3221224400 3221214792 1131324094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29404 13073 16 0 213684 0
vsize: 854800
[startup+890.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 87026 68 0 0 25 0 11 0 544431512 875315200 29450 4294967295 134512640 134569956 3221224400 3221214792 1131324187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29450 13073 16 0 213684 0
vsize: 854800
[startup+900.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 88013 68 0 0 25 0 11 0 544431512 875315200 29484 4294967295 134512640 134569956 3221224400 3221214792 1131319254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29484 13073 16 0 213684 0
vsize: 854800
[startup+910.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 89000 68 0 0 25 0 11 0 544431512 875315200 29565 4294967295 134512640 134569956 3221224400 3221214792 1131326161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29565 13073 16 0 213684 0
vsize: 854800
[startup+920.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 89989 68 0 0 25 0 11 0 544431512 875315200 29625 4294967295 134512640 134569956 3221224400 3221214792 1131318488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29625 13073 16 0 213684 0
vsize: 854800
[startup+930.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 90976 69 0 0 24 0 11 0 544431512 875315200 29678 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29678 13073 16 0 213684 0
vsize: 854800
[startup+940.096 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 91965 69 0 0 25 0 11 0 544431512 875315200 29718 4294967295 134512640 134569956 3221224400 3221214792 1131323107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29718 13073 16 0 213684 0
vsize: 854800
[startup+950.096 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 92954 69 0 0 25 0 11 0 544431512 875315200 29767 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29767 13073 16 0 213684 0
vsize: 854800
[startup+960.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 93943 69 0 0 25 0 11 0 544431512 875315200 29808 4294967295 134512640 134569956 3221224400 3221214792 1131323995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29808 13073 16 0 213684 0
vsize: 854800
[startup+970.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 94932 70 0 0 25 0 11 0 544431512 875315200 29830 4294967295 134512640 134569956 3221224400 3221214792 1131323907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29830 13073 16 0 213684 0
vsize: 854800
[startup+980.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 95920 70 0 0 25 0 11 0 544431512 875315200 29867 4294967295 134512640 134569956 3221224400 3221214792 1131320701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29867 13073 16 0 213684 0
vsize: 854800
[startup+990.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 96910 70 0 0 25 0 11 0 544431512 875315200 29903 4294967295 134512640 134569956 3221224400 3221214792 1131326453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29903 13073 16 0 213684 0
vsize: 854800
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 97898 71 0 0 25 0 11 0 544431512 875315200 29931 4294967295 134512640 134569956 3221224400 3221214792 1131318104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29931 13073 16 0 213684 0
vsize: 854800
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 98886 71 0 0 25 0 11 0 544431512 875315200 29950 4294967295 134512640 134569956 3221224400 3221214792 1131324068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 29950 13073 16 0 213684 0
vsize: 854800
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 99873 71 0 0 25 0 11 0 544431512 875315200 30040 4294967295 134512640 134569956 3221224400 3221214792 1131316095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30040 13073 16 0 213684 0
vsize: 854800
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 100861 72 0 0 25 0 11 0 544431512 875315200 30061 4294967295 134512640 134569956 3221224400 3221214792 1131318484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30061 13073 16 0 213684 0
vsize: 854800
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 101850 73 0 0 25 0 11 0 544431512 875315200 30109 4294967295 134512640 134569956 3221224400 3221214904 1131290992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30109 13073 16 0 213684 0
vsize: 854800
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 102839 73 0 0 25 0 11 0 544431512 875315200 30129 4294967295 134512640 134569956 3221224400 3221214792 1131320772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30129 13073 16 0 213684 0
vsize: 854800
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 103828 73 0 0 25 0 11 0 544431512 875315200 30152 4294967295 134512640 134569956 3221224400 3221214792 1131313426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30152 13073 16 0 213684 0
vsize: 854800
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 104817 74 0 0 25 0 11 0 544431512 875315200 30205 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30205 13073 16 0 213684 0
vsize: 854800
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 105805 74 0 0 25 0 11 0 544431512 875315200 30229 4294967295 134512640 134569956 3221224400 3221214792 1131318356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30229 13073 16 0 213684 0
vsize: 854800
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 106793 75 0 0 25 0 11 0 544431512 875315200 30260 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30260 13073 16 0 213684 0
vsize: 854800
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 107782 75 0 0 25 0 11 0 544431512 875315200 30314 4294967295 134512640 134569956 3221224400 3221214792 1131318331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30314 13073 16 0 213684 0
vsize: 854800
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 108770 75 0 0 25 0 11 0 544431512 875315200 30325 4294967295 134512640 134569956 3221224400 3221214792 1131323178 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30325 13073 16 0 213684 0
vsize: 854800
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 109757 75 0 0 24 0 11 0 544431512 875315200 30376 4294967295 134512640 134569956 3221224400 3221214568 1131191528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30376 13073 16 0 213684 0
vsize: 854800
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 110744 76 0 0 25 0 11 0 544431512 875315200 30423 4294967295 134512640 134569956 3221224400 3221214792 1131313180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30423 13073 16 0 213684 0
vsize: 854800
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 111732 76 0 0 25 0 11 0 544431512 875315200 30481 4294967295 134512640 134569956 3221224400 3221214792 1131318048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30481 13073 16 0 213684 0
vsize: 854800
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 112720 77 0 0 25 0 11 0 544431512 875315200 30534 4294967295 134512640 134569956 3221224400 3221214792 1131316450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30534 13073 16 0 213684 0
vsize: 854800
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 18568
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 113708 77 0 0 25 0 11 0 544431512 875315200 30578 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30578 13073 16 0 213684 0
vsize: 854800
[startup+1170.11 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 18621
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 114692 80 0 0 25 0 11 0 544431512 875315200 30620 4294967295 134512640 134569956 3221224400 3221214792 1131318402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 30620 13073 16 0 213684 0
vsize: 854800
[startup+1180.1 s]
Raw data (loadavg): 1.15 1.03 0.96 2/64 18621
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 115678 80 0 0 24 0 11 0 544431512 875315200 30640 4294967295 134512640 134569956 3221224400 3221214792 1131326196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30640 13073 16 0 213684 0
vsize: 854800
[startup+1190.1 s]
Raw data (loadavg): 1.20 1.05 0.96 2/64 18621
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 116666 80 0 0 25 0 11 0 544431512 875315200 30687 4294967295 134512640 134569956 3221224400 3221214792 1131314881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30687 13073 16 0 213684 0
vsize: 854800
[startup+1200.11 s]
Raw data (loadavg): 1.17 1.04 0.96 2/64 18621
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 117654 80 0 0 25 0 11 0 544431512 875315200 30761 4294967295 134512640 134569956 3221224400 3221214792 1131316114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30761 13073 16 0 213684 0
vsize: 854800
[startup+1210.11 s]
Raw data (loadavg): 1.14 1.04 0.96 2/64 18621
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 118641 80 0 0 25 0 11 0 544431512 875315200 30816 4294967295 134512640 134569956 3221224400 3221214792 1131324475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30816 13073 16 0 213684 0
vsize: 854800
[startup+1220.11 s]
Raw data (loadavg): 1.12 1.04 0.96 2/64 18621
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 119630 81 0 0 25 0 11 0 544431512 875315200 30839 4294967295 134512640 134569956 3221224400 3221214792 1131323136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213700 30839 13073 16 0 213684 0
vsize: 854800
[startup+1230.11 s]
Raw data (loadavg): 1.10 1.04 0.96 2/64 18621
Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 120618 81 0 0 25 0 11 0 544431512 875315200 30898 4294967295 134512640 134569956 3221224400 3221214792 1131326457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213700 30898 13073 16 0 213684 0
vsize: 854800
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.18 s]
Raw data (loadavg): 1.10 1.04 0.96 1/54 18623
Raw data (stat): 18552 (java) Z 18551 18865 18864 0 -1 1036 18133 7327 1 0 120620 81 1593 33 25 0 1 0 544431512 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): 1230.18
CPU time (s): 1223.29
CPU user time (s): 1222.14
CPU system time (s): 1.14882
CPU usage (%): 99.44
Max. virtual memory (Kb): 857856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####