PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb
MD5SUM	aa2dd2336a4c1c55f4fb3e1e24927c56
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	25306
Biggest coefficient in the objective function	20480000
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	56454927307
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	536870912000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	1129539816832
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.25396
Number of variables	27743
Total number of constraints	8734
Number of constraints which are clauses	712
Number of constraints which are cardinality constraints (but not clauses)	3174
Number of constraints which are nor clauses,nor cardinality constraints	4848
Minimum length of a constraint	1
Maximum length of a constraint	25072
Trace number 20750

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        701768 kB
Buffers:         19448 kB
Cached:         291380 kB
SwapCached:          0 kB
Active:         139704 kB
Inactive:       173952 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701516 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            13664 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:04:32 (client local time) WITH STATUS 143 IN 1227.57 SECONDS
stats: 14504 7 1227.57 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-mkc1.opb
c reading problem 
c [nbvar=27743]
c [nbconstr=8734]
c time 228.272
c #vars     27743
c #clauses  5586
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=0
c Current CPU time (ms) : 231.513
c starts	: 1
c conflicts	: 0
c decisions	: 27736
c propagations	: 27743
c inspects	: 3103
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.72 0.92 0.90 2/54 8306
Raw data (stat): 8306 (runsolver) R 8305 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 476628483 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 0.77 0.92 0.90 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 879 40 0 0 24 0 10 0 476628483 853745664 19206 4294967295 134512640 134569956 3221224400 3221214624 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208434 19206 13073 16 0 208418 0
vsize: 833736
[startup+20.0021 s]
Raw data (loadavg): 0.80 0.93 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 1768 40 0 0 25 0 10 0 476628483 855031808 19968 4294967295 134512640 134569956 3221224400 3221214824 1131213130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 19968 13073 16 0 208732 0
vsize: 834992
[startup+30.0035 s]
Raw data (loadavg): 0.83 0.93 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 2666 41 0 0 25 0 10 0 476628483 855031808 20400 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 20400 13073 16 0 208732 0
vsize: 834992
[startup+40.0032 s]
Raw data (loadavg): 0.86 0.93 0.91 2/63 8315
Raw data (stat): 8306 (java) S 8305 26667 26666 0 -1 0 17976 0 1 0 3593 41 0 0 25 0 10 0 476628483 855031808 20633 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 20633 13073 16 0 208732 0
vsize: 834992
[startup+50.0034 s]
Raw data (loadavg): 0.88 0.93 0.91 2/63 8315
Raw data (stat): 8306 (java) S 8305 26667 26666 0 -1 0 17976 0 1 0 4522 41 0 0 25 0 10 0 476628483 855031808 20754 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 20754 13073 16 0 208732 0
vsize: 834992
[startup+60.0038 s]
Raw data (loadavg): 0.90 0.93 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 5453 41 0 0 25 0 10 0 476628483 855031808 20857 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 20857 13073 16 0 208732 0
vsize: 834992
[startup+70.0046 s]
Raw data (loadavg): 0.91 0.93 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 6395 42 0 0 25 0 10 0 476628483 855031808 21076 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21076 13073 16 0 208732 0
vsize: 834992
[startup+80.0058 s]
Raw data (loadavg): 0.92 0.94 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 7341 42 0 0 24 0 10 0 476628483 855031808 21157 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21157 13073 16 0 208732 0
vsize: 834992
[startup+90.0062 s]
Raw data (loadavg): 0.94 0.94 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 8289 42 0 0 25 0 10 0 476628483 855031808 21227 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21227 13073 16 0 208732 0
vsize: 834992
[startup+100.006 s]
Raw data (loadavg): 0.95 0.94 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 9235 43 0 0 25 0 10 0 476628483 855031808 21297 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21297 13073 16 0 208732 0
vsize: 834992
[startup+110.007 s]
Raw data (loadavg): 0.95 0.94 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 10181 44 0 0 25 0 10 0 476628483 855031808 21362 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21362 13073 16 0 208732 0
vsize: 834992
[startup+120.008 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 11128 44 0 0 25 0 10 0 476628483 855031808 21423 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21423 13073 16 0 208732 0
vsize: 834992
[startup+130.008 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 8315
Raw data (stat): 8306 (java) S 8305 26667 26666 0 -1 0 17976 0 1 0 12076 44 0 0 25 0 10 0 476628483 855031808 21479 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21479 13073 16 0 208732 0
vsize: 834992
[startup+140.009 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 13024 45 0 0 25 0 10 0 476628483 855031808 21534 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21534 13073 16 0 208732 0
vsize: 834992
[startup+150.009 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 13969 46 0 0 25 0 10 0 476628483 855031808 21589 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21589 13073 16 0 208732 0
vsize: 834992
[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 14914 46 0 0 25 0 10 0 476628483 855031808 21640 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21640 13073 16 0 208732 0
vsize: 834992
[startup+170.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17976 0 1 0 15847 46 0 0 25 0 10 0 476628483 855031808 21687 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208748 21687 13073 16 0 208732 0
vsize: 834992
[startup+180.01 s]
Raw data (loadavg): 1.14 0.98 0.92 3/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17994 0 1 0 16724 47 0 0 25 0 10 0 476628483 863555584 24456 4294967295 134512640 134569956 3221224400 3221214432 1131267943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210829 24456 13073 16 0 210813 0
vsize: 843316
[startup+190.011 s]
Raw data (loadavg): 1.12 0.98 0.92 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17995 0 1 0 17663 47 0 0 25 0 10 0 476628483 861499392 24999 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210327 24999 13073 16 0 210311 0
vsize: 841308
[startup+200.011 s]
Raw data (loadavg): 1.10 0.98 0.92 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17995 0 1 0 18609 47 0 0 25 0 10 0 476628483 861499392 24999 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210327 24999 13073 16 0 210311 0
vsize: 841308
[startup+210.014 s]
Raw data (loadavg): 1.09 0.98 0.92 2/63 8315
Raw data (stat): 8306 (java) S 8305 26667 26666 0 -1 0 17995 0 1 0 19548 48 0 0 25 0 10 0 476628483 861499392 25031 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210327 25031 13073 16 0 210311 0
vsize: 841308
[startup+220.016 s]
Raw data (loadavg): 1.07 0.98 0.92 2/63 8315
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 17995 0 1 0 20488 48 0 0 25 0 10 0 476628483 861499392 25067 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210327 25067 13073 16 0 210311 0
vsize: 841308
[startup+230.017 s]
Raw data (loadavg): 1.06 0.98 0.92 3/64 8316
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18023 0 1 0 21416 50 0 0 23 0 11 0 476628483 862027776 25694 4294967295 134512640 134569956 3221224400 3221214856 1130917167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 25694 13073 16 0 210440 0
vsize: 841824
[startup+240.017 s]
Raw data (loadavg): 1.21 1.02 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18061 3 1 0 22201 51 0 0 25 0 11 0 476628483 862027776 30032 4294967295 134512640 134569956 3221224400 3221214704 1131803246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30032 13073 16 0 210440 0
vsize: 841824
[startup+250.017 s]
Raw data (loadavg): 1.18 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18061 3 1 0 23193 51 0 0 25 0 11 0 476628483 862027776 30032 4294967295 134512640 134569956 3221224400 3221214696 1131801563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30032 13073 16 0 210440 0
vsize: 841824
[startup+260.018 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18061 3 1 0 24187 51 0 0 25 0 11 0 476628483 862027776 30032 4294967295 134512640 134569956 3221224400 3221214696 1131801563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30032 13073 16 0 210440 0
vsize: 841824
[startup+270.018 s]
Raw data (loadavg): 1.13 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18061 3 1 0 25178 51 0 0 25 0 11 0 476628483 862027776 30033 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30033 13073 16 0 210440 0
vsize: 841824
[startup+280.019 s]
Raw data (loadavg): 1.11 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18061 3 1 0 26173 51 0 0 25 0 11 0 476628483 862027776 30033 4294967295 134512640 134569956 3221224400 3221214696 1131801563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30033 13073 16 0 210440 0
vsize: 841824
[startup+290.02 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18061 3 1 0 27167 51 0 0 25 0 11 0 476628483 862027776 30033 4294967295 134512640 134569956 3221224400 3221214696 1131801563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30033 13073 16 0 210440 0
vsize: 841824
[startup+300.019 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18061 3 1 0 28162 51 0 0 25 0 11 0 476628483 862027776 30099 4294967295 134512640 134569956 3221224400 3221214608 1131297911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30099 13073 16 0 210440 0
vsize: 841824
[startup+310.019 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 29161 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214592 1131286441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+320.019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 30160 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214608 1131298652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+330.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 31158 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214608 1131297911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+340.019 s]
Raw data (loadavg): 1.11 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 32157 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214696 1131801693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+350.019 s]
Raw data (loadavg): 1.09 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 33155 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214720 1131807660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+360.019 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 34154 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214720 1131807660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+370.019 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 35153 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214720 1131807660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+380.019 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 36151 52 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214704 1131803184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+390.02 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 37149 53 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214716 1131298661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+400.027 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 38149 53 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214608 1131298031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+410.027 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 39147 53 0 0 25 0 11 0 476628483 862027776 30100 4294967295 134512640 134569956 3221224400 3221214608 1131297911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30100 13073 16 0 210440 0
vsize: 841824
[startup+420.027 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 40145 53 0 0 25 0 11 0 476628483 862027776 30102 4294967295 134512640 134569956 3221224400 3221214704 1131803187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30102 13073 16 0 210440 0
vsize: 841824
[startup+430.027 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 41144 54 0 0 25 0 11 0 476628483 862027776 30102 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30102 13073 16 0 210440 0
vsize: 841824
[startup+440.027 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 42142 54 0 0 25 0 11 0 476628483 862027776 30102 4294967295 134512640 134569956 3221224400 3221214592 1131286441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30102 13073 16 0 210440 0
vsize: 841824
[startup+450.026 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 43141 54 0 0 25 0 11 0 476628483 862027776 30102 4294967295 134512640 134569956 3221224400 3221214696 1131801621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30102 13073 16 0 210440 0
vsize: 841824
[startup+460.027 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 44140 54 0 0 25 0 11 0 476628483 862027776 30102 4294967295 134512640 134569956 3221224400 3221214608 1131298080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30102 13073 16 0 210440 0
vsize: 841824
[startup+470.028 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 45139 54 0 0 25 0 11 0 476628483 862027776 30102 4294967295 134512640 134569956 3221224400 3221214704 1131803168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30102 13073 16 0 210440 0
vsize: 841824
[startup+480.028 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18062 3 1 0 46138 54 0 0 25 0 11 0 476628483 862027776 30102 4294967295 134512640 134569956 3221224400 3221214592 1131286585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30102 13073 16 0 210440 0
vsize: 841824
[startup+490.028 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 47134 54 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214592 1131286585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+500.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 48132 54 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214720 1131808309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+510.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 49131 54 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214592 1131286441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 50130 55 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214592 1131286585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 51129 55 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214608 1131298021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 52128 55 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214592 1131286930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 53126 55 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214608 1131297919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 54127 55 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214696 1131801563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+570.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 55128 55 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+580.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 56128 55 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214704 1131803184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+590.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 57128 56 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214704 1131803187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+600.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 58127 56 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214696 1131801708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+610.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 59125 56 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214696 1131801563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+620.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 60124 56 0 0 25 0 11 0 476628483 862027776 30103 4294967295 134512640 134569956 3221224400 3221214704 1131803187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30103 13073 16 0 210440 0
vsize: 841824
[startup+630.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 61122 56 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+640.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 62122 56 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214592 1131286585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+650.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 63120 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214720 1131808335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+660.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 64119 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214704 1131803184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+670.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 65118 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214704 1131803187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+680.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 66117 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+690.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 67115 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214592 1131286585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+700.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 68114 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214608 1131297911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+710.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 69123 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214704 1131803184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+720.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 70122 57 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214696 1131801560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+730.216 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 71120 58 0 0 25 0 11 0 476628483 862027776 30111 4294967295 134512640 134569956 3221224400 3221214592 1131286789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30111 13073 16 0 210440 0
vsize: 841824
[startup+740.216 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 72092 58 0 0 25 0 11 0 476628483 862027776 30132 4294967295 134512640 134569956 3221224400 3221214600 1131286546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30132 13073 16 0 210440 0
vsize: 841824
[startup+750.217 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 73059 58 0 0 25 0 11 0 476628483 862027776 30132 4294967295 134512640 134569956 3221224400 3221214704 1131803187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30132 13073 16 0 210440 0
vsize: 841824
[startup+760.225 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 74026 58 0 0 25 0 11 0 476628483 862027776 30132 4294967295 134512640 134569956 3221224400 3221214592 1131286585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30132 13073 16 0 210440 0
vsize: 841824
[startup+770.228 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 74993 59 0 0 25 0 11 0 476628483 862027776 30132 4294967295 134512640 134569956 3221224400 3221214592 1131286441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30132 13073 16 0 210440 0
vsize: 841824
[startup+780.232 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 75964 59 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214608 1131297911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+790.233 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 76961 59 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214720 1131807713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+800.233 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 77959 59 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214592 1131286441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+810.234 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 78958 59 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+820.236 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 79956 59 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214600 1131286441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+830.237 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 80953 59 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214592 1131286848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+840.238 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 81951 59 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214720 1131807660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+850.238 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 82949 60 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214592 1131286546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+860.239 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 83947 60 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214600 1131286478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+870.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 84944 60 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214704 1131803187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+880.244 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 85942 61 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214696 1131801563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+890.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 86941 61 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214600 1131286546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+900.251 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 87940 61 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214592 1131286441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+910.251 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 88938 61 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214704 1131803238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+920.259 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 89937 61 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214704 1131803204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+930.259 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 90935 61 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214592 1131286574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+940.26 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 91933 61 0 0 25 0 11 0 476628483 862027776 30525 4294967295 134512640 134569956 3221224400 3221214720 1131808298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30525 13073 16 0 210440 0
vsize: 841824
[startup+950.26 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 92931 61 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214696 1131801666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+960.26 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 8317
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 93929 61 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214592 1131286745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+970.261 s]
Raw data (loadavg): 1.14 1.03 0.95 2/64 8370
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 94926 61 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+980.261 s]
Raw data (loadavg): 1.11 1.03 0.95 2/64 8370
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 95924 61 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214600 1131286546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+990.262 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 8370
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 96921 62 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214720 1131808304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1000.26 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 8370
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 97918 62 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131949703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1010.26 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 8370
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 98916 62 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1020.26 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 8370
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 99914 62 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1030.26 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 8370
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 100911 63 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131950267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1040.26 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 101909 63 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214632 1131807660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1050.26 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 102906 63 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1060.26 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 103904 63 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1070.26 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 104902 63 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1080.26 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 105898 64 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131950273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1090.26 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 106896 64 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1100.26 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 107894 64 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131949810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1110.27 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 108891 65 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131949700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1120.27 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 109886 65 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1130.27 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 110884 65 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1140.27 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 111882 65 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131950273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1150.27 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 112880 65 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214632 1131808304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1160.27 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 113878 66 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131950273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1170.27 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 114876 66 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1180.27 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 115873 66 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131950135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1190.27 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 116871 66 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131950135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1200.27 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 117868 67 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1210.27 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 118866 67 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214576 1131286546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1220.28 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 119864 67 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214520 1131297911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
[startup+1230.28 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 8372
Raw data (stat): 8306 (java) R 8305 26667 26666 0 -1 0 18063 3 1 0 120862 67 0 0 25 0 11 0 476628483 862027776 30534 4294967295 134512640 134569956 3221224400 3221214680 1131950135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 30534 13073 16 0 210440 0
vsize: 841824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.38 s]
Raw data (loadavg): 1.01 1.02 0.95 1/54 8374
Raw data (stat): 8306 (java) Z 8305 26667 26666 0 -1 1036 18063 10044 1 0 120866 67 1790 32 25 0 1 0 476628483 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): 1230.38
CPU time (s): 1227.57
CPU user time (s): 1226.57
CPU system time (s): 0.998848
CPU usage (%): 99.7715
Max. virtual memory (Kb): 843316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####