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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb
MD5SUM	bdc6ebf164274793ca5e27f860835212
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	29490
Biggest coefficient in the objective function	12938266856652800
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	1063579760735919966
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	12938266856652800
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	1063579760735919966
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.298954
Number of variables	35250
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	632
Minimum length of a constraint	30
Maximum length of a constraint	2280
Trace number 17540

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-21 10:29:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10552 boxname=wulflinc13 idbench=812 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bdc6ebf164274793ca5e27f860835212  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-bnl1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-bnl1.opb
IDLAUNCH: 10552
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        427712 kB
Buffers:         34872 kB
Cached:         548936 kB
SwapCached:        176 kB
Active:         239392 kB
Inactive:       347176 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        427460 kB
SwapTotal:     2097136 kB
SwapFree:      2096860 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6812 kB
Slab:            14732 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:50:53 (client local time) WITH STATUS 143 IN 1255.3 SECONDS
stats: 10552 7 1255.3 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-bnl1.opb
c reading problem 
c [nbvar=35250]
c [nbconstr=632]
c time 352.828
c #vars     35250
c #clauses  856
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.65 0.71 0.80 2/54 7449
Raw data (stat): 7449 (runsolver) R 7448 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486153113 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.0013 s]
Raw data (loadavg): 0.70 0.72 0.80 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 884 41 0 0 25 0 10 0 486153113 853827584 19239 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 19239 13073 16 0 208438 0
vsize: 833816
[startup+20.0015 s]
Raw data (loadavg): 0.83 0.74 0.81 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 1778 41 0 0 25 0 10 0 486153113 853827584 19710 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 19710 13073 16 0 208438 0
vsize: 833816
[startup+30.0015 s]
Raw data (loadavg): 0.85 0.75 0.81 2/63 7458
Raw data (stat): 7449 (java) S 7448 30701 30700 0 -1 0 17972 0 1 0 2680 42 0 0 25 0 10 0 486153113 853827584 20145 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20145 13073 16 0 208438 0
vsize: 833816
[startup+40.0032 s]
Raw data (loadavg): 0.88 0.76 0.81 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 3610 42 0 0 25 0 10 0 486153113 853827584 20376 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20376 13073 16 0 208438 0
vsize: 833816
[startup+50.0034 s]
Raw data (loadavg): 0.89 0.77 0.81 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 4539 42 0 0 25 0 10 0 486153113 853827584 20501 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20501 13073 16 0 208438 0
vsize: 833816
[startup+60.005 s]
Raw data (loadavg): 0.91 0.77 0.81 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 5472 43 0 0 25 0 10 0 486153113 853827584 20599 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20599 13073 16 0 208438 0
vsize: 833816
[startup+70.0047 s]
Raw data (loadavg): 0.92 0.78 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 6412 43 0 0 25 0 10 0 486153113 853827584 20822 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20822 13073 16 0 208438 0
vsize: 833816
[startup+80.0052 s]
Raw data (loadavg): 0.93 0.79 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 7360 44 0 0 25 0 10 0 486153113 853827584 20900 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20900 13073 16 0 208438 0
vsize: 833816
[startup+90.0059 s]
Raw data (loadavg): 0.94 0.79 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 8306 44 0 0 22 0 10 0 486153113 853827584 20976 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20976 13073 16 0 208438 0
vsize: 833816
[startup+100.006 s]
Raw data (loadavg): 0.95 0.80 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 9252 45 0 0 24 0 10 0 486153113 853827584 21046 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21046 13073 16 0 208438 0
vsize: 833816
[startup+110.008 s]
Raw data (loadavg): 0.96 0.81 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 10203 45 0 0 25 0 10 0 486153113 853827584 21108 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21108 13073 16 0 208438 0
vsize: 833816
[startup+120.01 s]
Raw data (loadavg): 0.96 0.81 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 11150 46 0 0 25 0 10 0 486153113 853827584 21170 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21170 13073 16 0 208438 0
vsize: 833816
[startup+130.01 s]
Raw data (loadavg): 0.97 0.82 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 12100 46 0 0 25 0 10 0 486153113 853827584 21226 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21226 13073 16 0 208438 0
vsize: 833816
[startup+140.011 s]
Raw data (loadavg): 0.97 0.82 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 13047 47 0 0 25 0 10 0 486153113 853827584 21282 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21282 13073 16 0 208438 0
vsize: 833816
[startup+150.012 s]
Raw data (loadavg): 0.98 0.83 0.82 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 13994 47 0 0 25 0 10 0 486153113 853827584 21337 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21337 13073 16 0 208438 0
vsize: 833816
[startup+160.012 s]
Raw data (loadavg): 0.98 0.83 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 14943 48 0 0 25 0 10 0 486153113 853827584 21386 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21386 13073 16 0 208438 0
vsize: 833816
[startup+170.012 s]
Raw data (loadavg): 0.98 0.84 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 15877 48 0 0 25 0 10 0 486153113 853827584 21436 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21436 13073 16 0 208438 0
vsize: 833816
[startup+180.013 s]
Raw data (loadavg): 0.98 0.84 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 16803 49 0 0 21 0 10 0 486153113 853827584 21482 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21482 13073 16 0 208438 0
vsize: 833816
[startup+190.014 s]
Raw data (loadavg): 0.99 0.85 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 17737 49 0 0 24 0 10 0 486153113 853827584 21785 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21785 13073 16 0 208438 0
vsize: 833816
[startup+200.014 s]
Raw data (loadavg): 0.99 0.85 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 18683 50 0 0 25 0 10 0 486153113 853827584 21828 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21828 13073 16 0 208438 0
vsize: 833816
[startup+210.015 s]
Raw data (loadavg): 0.99 0.86 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 19624 50 0 0 25 0 10 0 486153113 853827584 21873 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21873 13073 16 0 208438 0
vsize: 833816
[startup+220.015 s]
Raw data (loadavg): 0.99 0.86 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 20565 51 0 0 24 0 10 0 486153113 853827584 21916 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21916 13073 16 0 208438 0
vsize: 833816
[startup+230.015 s]
Raw data (loadavg): 0.99 0.86 0.83 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17972 0 1 0 21509 52 0 0 25 0 10 0 486153113 853827584 21956 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 21956 13073 16 0 208438 0
vsize: 833816
[startup+240.016 s]
Raw data (loadavg): 1.15 0.90 0.84 4/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 22350 52 0 0 25 0 10 0 486153113 859668480 23367 4294967295 134512640 134569956 3221224400 3221214804 1130919274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209880 23367 13073 16 0 209864 0
vsize: 839520
[startup+250.016 s]
Raw data (loadavg): 1.13 0.90 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 23250 53 0 0 25 0 10 0 486153113 857780224 24052 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 24052 13073 16 0 209403 0
vsize: 837676
[startup+260.017 s]
Raw data (loadavg): 1.11 0.91 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 24149 53 0 0 25 0 10 0 486153113 857780224 24079 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 24079 13073 16 0 209403 0
vsize: 837676
[startup+270.022 s]
Raw data (loadavg): 1.09 0.91 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 25028 54 0 0 25 0 10 0 486153113 857780224 24190 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 24190 13073 16 0 209403 0
vsize: 837676
[startup+280.024 s]
Raw data (loadavg): 1.08 0.91 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 25923 54 0 0 25 0 10 0 486153113 857780224 24446 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 24446 13073 16 0 209403 0
vsize: 837676
[startup+290.028 s]
Raw data (loadavg): 1.06 0.91 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 26810 55 0 0 25 0 10 0 486153113 857780224 25183 4294967295 134512640 134569956 3221224400 3221214360 1080019672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 25183 13073 16 0 209403 0
vsize: 837676
[startup+300.029 s]
Raw data (loadavg): 1.05 0.92 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 27679 56 0 0 25 0 10 0 486153113 857780224 25365 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 25365 13073 16 0 209403 0
vsize: 837676
[startup+310.029 s]
Raw data (loadavg): 1.05 0.92 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 28555 56 0 0 19 0 10 0 486153113 857780224 25577 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 25577 13073 16 0 209403 0
vsize: 837676
[startup+320.03 s]
Raw data (loadavg): 1.04 0.92 0.85 2/63 7458
Raw data (stat): 7449 (java) S 7448 30701 30700 0 -1 0 17997 0 1 0 29437 57 0 0 23 0 10 0 486153113 857780224 25791 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 25791 13073 16 0 209403 0
vsize: 837676
[startup+330.029 s]
Raw data (loadavg): 1.03 0.92 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 30323 57 0 0 19 0 10 0 486153113 857780224 25977 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 25977 13073 16 0 209403 0
vsize: 837676
[startup+340.035 s]
Raw data (loadavg): 1.03 0.92 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17997 0 1 0 31189 58 0 0 17 0 10 0 486153113 857780224 27299 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 27299 13073 16 0 209403 0
vsize: 837676
[startup+350.035 s]
Raw data (loadavg): 1.02 0.93 0.85 2/63 7458
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 17998 0 1 0 32058 60 0 0 24 0 10 0 486153113 857780224 28424 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209419 28424 13073 16 0 209403 0
vsize: 837676
[startup+360.065 s]
Raw data (loadavg): 1.10 0.95 0.86 3/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18072 0 1 0 32924 60 0 0 25 0 11 0 486153113 859496448 28964 4294967295 134512640 134569956 3221224400 3221214696 1130899587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209838 28965 13073 16 0 209822 0
vsize: 839352
[startup+370.067 s]
Raw data (loadavg): 1.16 0.96 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18073 0 1 0 33858 61 0 0 25 0 11 0 486153113 858898432 29099 4294967295 134512640 134569956 3221224400 3221214608 1131452771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29099 13073 16 0 209676 0
vsize: 838768
[startup+380.067 s]
Raw data (loadavg): 1.14 0.96 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 34832 61 0 0 25 0 11 0 486153113 858898432 29110 4294967295 134512640 134569956 3221224400 3221214608 1131452797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29110 13073 16 0 209676 0
vsize: 838768
[startup+390.067 s]
Raw data (loadavg): 1.12 0.96 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 35816 61 0 0 25 0 11 0 486153113 858898432 29111 4294967295 134512640 134569956 3221224400 3221214592 1131630146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29111 13073 16 0 209676 0
vsize: 838768
[startup+400.067 s]
Raw data (loadavg): 1.10 0.97 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 36795 61 0 0 25 0 11 0 486153113 858898432 29114 4294967295 134512640 134569956 3221224400 3221214632 1131460998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29114 13073 16 0 209676 0
vsize: 838768
[startup+410.068 s]
Raw data (loadavg): 1.08 0.97 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 37779 61 0 0 25 0 11 0 486153113 858898432 29114 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29114 13073 16 0 209676 0
vsize: 838768
[startup+420.069 s]
Raw data (loadavg): 1.07 0.97 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 38763 62 0 0 25 0 11 0 486153113 858898432 29114 4294967295 134512640 134569956 3221224400 3221214464 1131532951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29114 13073 16 0 209676 0
vsize: 838768
[startup+430.069 s]
Raw data (loadavg): 1.06 0.97 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 39747 62 0 0 25 0 11 0 486153113 858898432 29114 4294967295 134512640 134569956 3221224400 3221214696 1131686960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29114 13073 16 0 209676 0
vsize: 838768
[startup+440.069 s]
Raw data (loadavg): 1.05 0.97 0.87 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 40731 62 0 0 25 0 11 0 486153113 858898432 29114 4294967295 134512640 134569956 3221224400 3221214736 1131437272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29114 13073 16 0 209676 0
vsize: 838768
[startup+450.069 s]
Raw data (loadavg): 1.04 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 41714 63 0 0 25 0 11 0 486153113 858898432 29114 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29114 13073 16 0 209676 0
vsize: 838768
[startup+460.071 s]
Raw data (loadavg): 1.03 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 42689 63 0 0 25 0 11 0 486153113 858898432 29124 4294967295 134512640 134569956 3221224400 3221214696 1131686956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29124 13073 16 0 209676 0
vsize: 838768
[startup+470.072 s]
Raw data (loadavg): 1.03 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 43674 63 0 0 25 0 11 0 486153113 858898432 29676 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29676 13073 16 0 209676 0
vsize: 838768
[startup+480.071 s]
Raw data (loadavg): 1.02 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 44668 63 0 0 25 0 11 0 486153113 858898432 29676 4294967295 134512640 134569956 3221224400 3221214840 1131551026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29676 13073 16 0 209676 0
vsize: 838768
[startup+490.072 s]
Raw data (loadavg): 1.02 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 45657 64 0 0 25 0 11 0 486153113 858898432 29676 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29676 13073 16 0 209676 0
vsize: 838768
[startup+500.072 s]
Raw data (loadavg): 1.02 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 46644 64 0 0 25 0 11 0 486153113 858898432 29752 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29752 13073 16 0 209676 0
vsize: 838768
[startup+510.073 s]
Raw data (loadavg): 1.01 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 47628 64 0 0 25 0 11 0 486153113 858898432 29759 4294967295 134512640 134569956 3221224400 3221214680 1131279013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29759 13073 16 0 209676 0
vsize: 838768
[startup+520.074 s]
Raw data (loadavg): 1.01 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 48610 64 0 0 25 0 11 0 486153113 858898432 29788 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29788 13073 16 0 209676 0
vsize: 838768
[startup+530.074 s]
Raw data (loadavg): 1.01 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 49593 65 0 0 25 0 11 0 486153113 858898432 29877 4294967295 134512640 134569956 3221224400 3221214840 1131427856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29877 13073 16 0 209676 0
vsize: 838768
[startup+540.075 s]
Raw data (loadavg): 1.01 0.97 0.88 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 50581 65 0 0 25 0 11 0 486153113 858898432 29907 4294967295 134512640 134569956 3221224400 3221214696 1131686982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29907 13073 16 0 209676 0
vsize: 838768
[startup+550.074 s]
Raw data (loadavg): 1.00 0.97 0.89 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 51570 66 0 0 25 0 11 0 486153113 858898432 29927 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29927 13073 16 0 209676 0
vsize: 838768
[startup+560.075 s]
Raw data (loadavg): 1.00 0.97 0.89 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 52558 66 0 0 25 0 11 0 486153113 858898432 29938 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29938 13073 16 0 209676 0
vsize: 838768
[startup+570.075 s]
Raw data (loadavg): 1.08 0.99 0.89 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 53546 66 0 0 25 0 11 0 486153113 858898432 29949 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 29949 13073 16 0 209676 0
vsize: 838768
[startup+580.075 s]
Raw data (loadavg): 1.07 0.99 0.89 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 54538 66 0 0 25 0 11 0 486153113 858898432 29962 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29962 13073 16 0 209676 0
vsize: 838768
[startup+590.075 s]
Raw data (loadavg): 1.06 0.99 0.89 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 55532 66 0 0 25 0 11 0 486153113 858898432 29975 4294967295 134512640 134569956 3221224400 3221214696 1131686973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 29975 13073 16 0 209676 0
vsize: 838768
[startup+600.075 s]
Raw data (loadavg): 1.05 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 56518 66 0 0 25 0 11 0 486153113 858898432 30006 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30006 13073 16 0 209676 0
vsize: 838768
[startup+610.076 s]
Raw data (loadavg): 1.04 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 57511 66 0 0 25 0 11 0 486153113 858898432 30025 4294967295 134512640 134569956 3221224400 3221214696 1131686982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 30025 13073 16 0 209676 0
vsize: 838768
[startup+620.077 s]
Raw data (loadavg): 1.03 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 58496 66 0 0 25 0 11 0 486153113 858898432 30059 4294967295 134512640 134569956 3221224400 3221214696 1131686944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30059 13073 16 0 209676 0
vsize: 838768
[startup+630.076 s]
Raw data (loadavg): 1.03 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 59488 67 0 0 25 0 11 0 486153113 858898432 30078 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 30078 13073 16 0 209676 0
vsize: 838768
[startup+640.076 s]
Raw data (loadavg): 1.02 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 60472 67 0 0 25 0 11 0 486153113 858898432 30097 4294967295 134512640 134569956 3221224400 3221214736 1131436576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30097 13073 16 0 209676 0
vsize: 838768
[startup+650.086 s]
Raw data (loadavg): 1.02 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 61458 67 0 0 25 0 11 0 486153113 858898432 30172 4294967295 134512640 134569956 3221224400 3221214696 1131686990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30172 13073 16 0 209676 0
vsize: 838768
[startup+660.086 s]
Raw data (loadavg): 1.02 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 62442 67 0 0 25 0 11 0 486153113 858898432 30229 4294967295 134512640 134569956 3221224400 3221214696 1131686982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 30229 13073 16 0 209676 0
vsize: 838768
[startup+670.087 s]
Raw data (loadavg): 1.01 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18074 0 1 0 63421 67 0 0 25 0 11 0 486153113 858898432 30288 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 30288 13073 16 0 209676 0
vsize: 838768
[startup+680.096 s]
Raw data (loadavg): 1.01 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 64405 67 0 0 25 0 11 0 486153113 858898432 30330 4294967295 134512640 134569956 3221224400 3221214696 1131686990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30330 13073 16 0 209676 0
vsize: 838768
[startup+690.097 s]
Raw data (loadavg): 1.01 0.99 0.90 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 65383 68 0 0 25 0 11 0 486153113 858898432 30391 4294967295 134512640 134569956 3221224400 3221214464 1131533574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30391 13073 16 0 209676 0
vsize: 838768
[startup+700.097 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 66368 68 0 0 25 0 11 0 486153113 858898432 30421 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 30421 13073 16 0 209676 0
vsize: 838768
[startup+710.098 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 67353 68 0 0 25 0 11 0 486153113 858898432 30455 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30455 13073 16 0 209676 0
vsize: 838768
[startup+720.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 68338 68 0 0 25 0 11 0 486153113 858898432 30491 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30491 13073 16 0 209676 0
vsize: 838768
[startup+730.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 69316 68 0 0 25 0 11 0 486153113 858898432 30585 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30585 13073 16 0 209676 0
vsize: 838768
[startup+740.105 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 70284 68 0 0 25 0 11 0 486153113 858898432 30738 4294967295 134512640 134569956 3221224400 3221214592 1131278835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30738 13073 16 0 209676 0
vsize: 838768
[startup+750.105 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 71255 69 0 0 25 0 11 0 486153113 858898432 30880 4294967295 134512640 134569956 3221224400 3221214808 1131313884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30880 13073 16 0 209676 0
vsize: 838768
[startup+760.105 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 72227 69 0 0 25 0 11 0 486153113 858898432 30949 4294967295 134512640 134569956 3221224400 3221214808 1131313882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 30949 13073 16 0 209676 0
vsize: 838768
[startup+770.105 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 73211 69 0 0 25 0 11 0 486153113 858898432 31003 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31003 13073 16 0 209676 0
vsize: 838768
[startup+780.105 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 74199 69 0 0 24 0 11 0 486153113 858898432 31042 4294967295 134512640 134569956 3221224400 3221214464 1131458017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31042 13073 16 0 209676 0
vsize: 838768
[startup+790.106 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 75192 70 0 0 25 0 11 0 486153113 858898432 31061 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31061 13073 16 0 209676 0
vsize: 838768
[startup+800.106 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 76180 70 0 0 25 0 11 0 486153113 858898432 31094 4294967295 134512640 134569956 3221224400 3221214696 1131686973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31094 13073 16 0 209676 0
vsize: 838768
[startup+810.107 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 77173 70 0 0 25 0 11 0 486153113 858898432 31114 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 31114 13073 16 0 209676 0
vsize: 838768
[startup+820.107 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 78160 70 0 0 25 0 11 0 486153113 858898432 31149 4294967295 134512640 134569956 3221224400 3221214696 1131686960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31149 13073 16 0 209676 0
vsize: 838768
[startup+830.107 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 79153 71 0 0 25 0 11 0 486153113 858898432 31166 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31166 13073 16 0 209676 0
vsize: 838768
[startup+840.108 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 80139 71 0 0 25 0 11 0 486153113 858898432 31227 4294967295 134512640 134569956 3221224400 3221214592 1131278835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31227 13073 16 0 209676 0
vsize: 838768
[startup+850.108 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 81125 71 0 0 25 0 11 0 486153113 858898432 31253 4294967295 134512640 134569956 3221224400 3221214696 1131686982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31253 13073 16 0 209676 0
vsize: 838768
[startup+860.109 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 82118 72 0 0 25 0 11 0 486153113 858898432 31272 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31272 13073 16 0 209676 0
vsize: 838768
[startup+870.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 83103 72 0 0 25 0 11 0 486153113 858898432 31292 4294967295 134512640 134569956 3221224400 3221214840 1131427868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31292 13073 16 0 209676 0
vsize: 838768
[startup+880.109 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 84095 72 0 0 25 0 11 0 486153113 858898432 31305 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 31305 13073 16 0 209676 0
vsize: 838768
[startup+890.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 85077 72 0 0 25 0 11 0 486153113 858898432 31337 4294967295 134512640 134569956 3221224400 3221214736 1131437261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31337 13073 16 0 209676 0
vsize: 838768
[startup+900.111 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 86058 72 0 0 25 0 11 0 486153113 858898432 31421 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31421 13073 16 0 209676 0
vsize: 838768
[startup+910.111 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 87049 72 0 0 25 0 11 0 486153113 858898432 31452 4294967295 134512640 134569956 3221224400 3221214696 1131686944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31452 13073 16 0 209676 0
vsize: 838768
[startup+920.111 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 88029 72 0 0 25 0 11 0 486153113 858898432 31550 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31550 13073 16 0 209676 0
vsize: 838768
[startup+930.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 89009 72 0 0 25 0 11 0 486153113 858898432 31643 4294967295 134512640 134569956 3221224400 3221214696 1131686973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31643 13073 16 0 209676 0
vsize: 838768
[startup+940.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 90000 73 0 0 25 0 11 0 486153113 858898432 31673 4294967295 134512640 134569956 3221224400 3221214696 1131686982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31673 13073 16 0 209676 0
vsize: 838768
[startup+950.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 90981 73 0 0 25 0 11 0 486153113 858898432 31742 4294967295 134512640 134569956 3221224400 3221214696 1131686971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31742 13073 16 0 209676 0
vsize: 838768
[startup+960.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 91964 73 0 0 25 0 11 0 486153113 858898432 31742 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31742 13073 16 0 209676 0
vsize: 838768
[startup+970.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 92955 73 0 0 25 0 11 0 486153113 858898432 31742 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31742 13073 16 0 209676 0
vsize: 838768
[startup+980.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 93937 74 0 0 25 0 11 0 486153113 858898432 31766 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31766 13073 16 0 209676 0
vsize: 838768
[startup+990.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 94918 74 0 0 25 0 11 0 486153113 858898432 31801 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31801 13073 16 0 209676 0
vsize: 838768
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 95909 75 0 0 25 0 11 0 486153113 858898432 31826 4294967295 134512640 134569956 3221224400 3221214592 1131278835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31826 13073 16 0 209676 0
vsize: 838768
[startup+1010.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 96892 75 0 0 25 0 11 0 486153113 858898432 31852 4294967295 134512640 134569956 3221224400 3221214696 1131686990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31852 13073 16 0 209676 0
vsize: 838768
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 97874 75 0 0 25 0 11 0 486153113 858898432 31918 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31918 13073 16 0 209676 0
vsize: 838768
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 98865 75 0 0 25 0 11 0 486153113 858898432 31954 4294967295 134512640 134569956 3221224400 3221214696 1131686944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 31954 13073 16 0 209676 0
vsize: 838768
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 99848 76 0 0 25 0 11 0 486153113 858898432 32018 4294967295 134512640 134569956 3221224400 3221214696 1131687001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32018 13073 16 0 209676 0
vsize: 838768
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 100839 76 0 0 25 0 11 0 486153113 858898432 32047 4294967295 134512640 134569956 3221224400 3221214840 1131551199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32047 13073 16 0 209676 0
vsize: 838768
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 101822 76 0 0 25 0 11 0 486153113 858898432 32135 4294967295 134512640 134569956 3221224400 3221214696 1131686956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32135 13073 16 0 209676 0
vsize: 838768
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 102806 77 0 0 25 0 11 0 486153113 858898432 32235 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32235 13073 16 0 209676 0
vsize: 838768
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 103798 77 0 0 25 0 11 0 486153113 858898432 32286 4294967295 134512640 134569956 3221224400 3221214696 1131686982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 32286 13073 16 0 209676 0
vsize: 838768
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 104783 77 0 0 25 0 11 0 486153113 858898432 32353 4294967295 134512640 134569956 3221224400 3221214592 1131278835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32353 13073 16 0 209676 0
vsize: 838768
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 105775 77 0 0 25 0 11 0 486153113 858898432 32411 4294967295 134512640 134569956 3221224400 3221214696 1131686982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32411 13073 16 0 209676 0
vsize: 838768
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 106760 78 0 0 25 0 11 0 486153113 858898432 32512 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32512 13073 16 0 209676 0
vsize: 838768
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 107753 78 0 0 25 0 11 0 486153113 858898432 32531 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32531 13073 16 0 209676 0
vsize: 838768
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 108738 79 0 0 25 0 11 0 486153113 858898432 32605 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32605 13073 16 0 209676 0
vsize: 838768
[startup+1140.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 109724 79 0 0 24 0 11 0 486153113 858898432 32628 4294967295 134512640 134569956 3221224400 3221214696 1131686993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 32628 13073 16 0 209676 0
vsize: 838768
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 110716 79 0 0 25 0 11 0 486153113 858898432 32636 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209692 32636 13073 16 0 209676 0
vsize: 838768
[startup+1160.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 111711 80 0 0 25 0 11 0 486153113 858898432 32650 4294967295 134512640 134569956 3221224400 3221214696 1131686964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32650 13073 16 0 209676 0
vsize: 838768
[startup+1170.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 112695 80 0 0 25 0 11 0 486153113 858898432 32682 4294967295 134512640 134569956 3221224400 3221214696 1131686969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32682 13073 16 0 209676 0
vsize: 838768
[startup+1180.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 113687 80 0 0 25 0 11 0 486153113 858898432 32691 4294967295 134512640 134569956 3221224400 3221214584 1131278745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32691 13073 16 0 209676 0
vsize: 838768
[startup+1190.27 s]
Raw data (loadavg): 1.07 1.00 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 114670 81 0 0 25 0 11 0 486153113 858898432 32735 4294967295 134512640 134569956 3221224400 3221214696 1131686990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32735 13073 16 0 209676 0
vsize: 838768
[startup+1200.28 s]
Raw data (loadavg): 1.06 1.00 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 115651 81 0 0 25 0 11 0 486153113 858898432 32761 4294967295 134512640 134569956 3221224400 3221214736 1131436590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32761 13073 16 0 209676 0
vsize: 838768
[startup+1210.28 s]
Raw data (loadavg): 1.05 1.00 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 116641 82 0 0 25 0 11 0 486153113 858898432 32808 4294967295 134512640 134569956 3221224400 3221214696 1131686956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32808 13073 16 0 209676 0
vsize: 838768
[startup+1220.28 s]
Raw data (loadavg): 1.04 1.00 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 117603 82 0 0 25 0 11 0 486153113 858898432 32922 4294967295 134512640 134569956 3221224400 3221214584 1131278671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32922 13073 16 0 209676 0
vsize: 838768
[startup+1230.28 s]
Raw data (loadavg): 1.04 1.00 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 118584 82 0 0 25 0 11 0 486153113 858898432 32965 4294967295 134512640 134569956 3221224400 3221214584 1131278627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 32965 13073 16 0 209676 0
vsize: 838768
[startup+1240.28 s]
Raw data (loadavg): 1.03 1.00 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 119558 82 0 0 25 0 11 0 486153113 858898432 33008 4294967295 134512640 134569956 3221224400 3221214840 1131427876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 33008 13073 16 0 209676 0
vsize: 838768
[startup+1250.28 s]
Raw data (loadavg): 1.02 1.00 0.91 2/64 7459
Raw data (stat): 7449 (java) R 7448 30701 30700 0 -1 0 18075 0 1 0 120524 83 0 0 25 0 11 0 486153113 858898432 33121 4294967295 134512640 134569956 3221224400 3221214840 1131551008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209692 33121 13073 16 0 209676 0
vsize: 838768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.48 s]
Raw data (loadavg): 1.02 1.00 0.91 1/54 7461
Raw data (stat): 7449 (java) Z 7448 30701 30700 0 -1 1036 18075 17899 1 0 120527 83 4872 46 24 0 1 0 486153113 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): 1250.47
CPU time (s): 1255.3
CPU user time (s): 1254
CPU system time (s): 1.2928
CPU usage (%): 100.386
Max. virtual memory (Kb): 839520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####