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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qiu.opb
MD5SUM	4c28b5d69ca148b9520954a67787770d
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	5328
Biggest coefficient in the objective function	8885108736
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	4692033563496
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	8885108736
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	4692033563496
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.137978
Number of variables	15888
Total number of constraints	1192
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	1192
Minimum length of a constraint	21
Maximum length of a constraint	3960
Trace number 30055

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 14:16:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21458 boxname=wulflinc29 idbench=1446 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4c28b5d69ca148b9520954a67787770d  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-qiu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-qiu.opb
IDLAUNCH: 21458
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        621664 kB
Buffers:         34400 kB
Cached:         353036 kB
SwapCached:        572 kB
Active:          59248 kB
Inactive:       333688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        621412 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14388 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:37:22 (client local time) WITH STATUS 143 IN 1241.16 SECONDS
stats: 21458 7 1241.16 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-qiu.opb
c reading problem ... done. Time 78.591 ms.
c #vars     15888
c #constraints  1324
c starts	: 5
c conflicts	: 1071
c decisions	: 8861
c propagations	: 54042
c inspects	: 3500045
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1071
c root simplifications	: 1051
s UNKNOWN
c Total CPU time (ms) : 1229.14
#### 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.93 0.98 0.99 2/54 1710
Raw data (stat): 1710 (runsolver) R 1709 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839526411 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 1719
Raw data (stat): 1710 (java) S 1709 20001 20000 0 -1 0 18008 0 1 0 871 37 0 0 25 0 10 0 839526411 853794816 19347 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208446 19347 13086 16 0 208430 0
vsize: 833784
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1719
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18017 0 1 0 1766 37 0 0 25 0 10 0 839526411 855543808 20309 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208873 20309 13086 16 0 208857 0
vsize: 835492
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1719
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18018 0 1 0 2649 38 0 0 25 0 10 0 839526411 856068096 20994 4294967295 134512640 134569956 3221224368 3221214792 1130919270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209001 20994 13086 16 0 208985 0
vsize: 836004
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1719
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18019 0 1 0 3540 38 0 0 25 0 10 0 839526411 855969792 21291 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208977 21291 13086 16 0 208961 0
vsize: 835908
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1719
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18019 0 1 0 4444 39 0 0 25 0 10 0 839526411 854630400 21177 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21177 13086 16 0 208634 0
vsize: 834600
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1719
Raw data (stat): 1710 (java) S 1709 20001 20000 0 -1 0 18019 0 1 0 5350 39 0 0 25 0 10 0 839526411 854630400 21365 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21365 13086 16 0 208634 0
vsize: 834600
[startup+70.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1719
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18019 0 1 0 6263 40 0 0 25 0 10 0 839526411 854630400 21594 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208650 21594 13086 16 0 208634 0
vsize: 834600
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.99 3/63 1719
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18051 0 1 0 7195 41 0 0 25 0 10 0 839526411 856113152 22072 4294967295 134512640 134569956 3221224368 3221214860 1131148519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209012 22072 13086 16 0 208996 0
vsize: 836048
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18072 0 1 0 8129 41 0 0 25 0 11 0 839526411 855699456 23560 4294967295 134512640 134569956 3221224368 3221214560 1131330516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208911 23560 13086 16 0 208895 0
vsize: 835644
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18073 0 1 0 9121 42 0 0 25 0 11 0 839526411 856457216 23703 4294967295 134512640 134569956 3221224368 3221214560 1131329253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209096 23703 13086 16 0 209080 0
vsize: 836384
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18073 0 1 0 10111 42 0 0 25 0 11 0 839526411 855699456 23553 4294967295 134512640 134569956 3221224368 3221214560 1131329260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208911 23553 13086 16 0 208895 0
vsize: 835644
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18074 0 1 0 11093 42 0 0 25 0 11 0 839526411 857133056 23901 4294967295 134512640 134569956 3221224368 3221214472 1131228129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209261 23901 13086 16 0 209245 0
vsize: 837044
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18074 0 1 0 12082 42 0 0 25 0 11 0 839526411 857133056 23926 4294967295 134512640 134569956 3221224368 3221214664 1131374763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209261 23926 13086 16 0 209245 0
vsize: 837044
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18074 0 1 0 13070 43 0 0 25 0 11 0 839526411 857133056 23949 4294967295 134512640 134569956 3221224368 3221214560 1131329763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209261 23949 13086 16 0 209245 0
vsize: 837044
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18074 0 1 0 14059 43 0 0 25 0 11 0 839526411 857133056 24002 4294967295 134512640 134569956 3221224368 3221214664 1131371108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209261 24002 13086 16 0 209245 0
vsize: 837044
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18074 0 1 0 15041 43 0 0 25 0 11 0 839526411 856276992 23832 4294967295 134512640 134569956 3221224368 3221214560 1131329675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23832 13086 16 0 209036 0
vsize: 836208
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18074 0 1 0 16030 43 0 0 25 0 11 0 839526411 856276992 23855 4294967295 134512640 134569956 3221224368 3221214664 1131370043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23855 13086 16 0 209036 0
vsize: 836208
[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18074 0 1 0 17022 43 0 0 25 0 11 0 839526411 856276992 23884 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23884 13086 16 0 209036 0
vsize: 836208
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 18013 43 0 0 25 0 11 0 839526411 856276992 23902 4294967295 134512640 134569956 3221224368 3221214560 1131329802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23902 13086 16 0 209036 0
vsize: 836208
[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 19004 44 0 0 25 0 11 0 839526411 856276992 23922 4294967295 134512640 134569956 3221224368 3221214560 1131329633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23922 13086 16 0 209036 0
vsize: 836208
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 19995 44 0 0 25 0 11 0 839526411 856276992 23942 4294967295 134512640 134569956 3221224368 3221214660 1131329228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23942 13086 16 0 209036 0
vsize: 836208
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 20986 44 0 0 25 0 11 0 839526411 856276992 23959 4294967295 134512640 134569956 3221224368 3221214560 1131329260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23959 13086 16 0 209036 0
vsize: 836208
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 21976 44 0 0 25 0 11 0 839526411 856276992 23975 4294967295 134512640 134569956 3221224368 3221214560 1131329267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23975 13086 16 0 209036 0
vsize: 836208
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 22966 44 0 0 25 0 11 0 839526411 856276992 23992 4294967295 134512640 134569956 3221224368 3221214560 1131330268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 23992 13086 16 0 209036 0
vsize: 836208
[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 23956 44 0 0 25 0 11 0 839526411 856276992 24027 4294967295 134512640 134569956 3221224368 3221214560 1131329260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24027 13086 16 0 209036 0
vsize: 836208
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 24948 44 0 0 25 0 11 0 839526411 856276992 24042 4294967295 134512640 134569956 3221224368 3221214560 1131329831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24042 13086 16 0 209036 0
vsize: 836208
[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 25940 44 0 0 25 0 11 0 839526411 856276992 24057 4294967295 134512640 134569956 3221224368 3221214560 1131329605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24057 13086 16 0 209036 0
vsize: 836208
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 26931 44 0 0 25 0 11 0 839526411 856276992 24073 4294967295 134512640 134569956 3221224368 3221214664 1131369771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24073 13086 16 0 209036 0
vsize: 836208
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 27923 44 0 0 25 0 11 0 839526411 856276992 24086 4294967295 134512640 134569956 3221224368 3221214664 1131369984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24086 13086 16 0 209036 0
vsize: 836208
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 28915 44 0 0 25 0 11 0 839526411 856276992 24099 4294967295 134512640 134569956 3221224368 3221214560 1131329274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24099 13086 16 0 209036 0
vsize: 836208
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18075 0 1 0 29907 45 0 0 25 0 11 0 839526411 856276992 24114 4294967295 134512640 134569956 3221224368 3221214560 1131329763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24114 13086 16 0 209036 0
vsize: 836208
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 30898 45 0 0 25 0 11 0 839526411 856276992 24128 4294967295 134512640 134569956 3221224368 3221214664 1131371108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24128 13086 16 0 209036 0
vsize: 836208
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 31888 45 0 0 25 0 11 0 839526411 856276992 24142 4294967295 134512640 134569956 3221224368 3221214616 1131267895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24142 13086 16 0 209036 0
vsize: 836208
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 32879 45 0 0 25 0 11 0 839526411 856276992 24155 4294967295 134512640 134569956 3221224368 3221214560 1131329253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24155 13086 16 0 209036 0
vsize: 836208
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 33870 45 0 0 25 0 11 0 839526411 856276992 24167 4294967295 134512640 134569956 3221224368 3221214664 1131369984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24167 13086 16 0 209036 0
vsize: 836208
[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 34860 45 0 0 25 0 11 0 839526411 856276992 24180 4294967295 134512640 134569956 3221224368 3221214560 1131330254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24180 13086 16 0 209036 0
vsize: 836208
[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 35851 46 0 0 25 0 11 0 839526411 856276992 24194 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24194 13086 16 0 209036 0
vsize: 836208
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 36840 46 0 0 25 0 11 0 839526411 856276992 24208 4294967295 134512640 134569956 3221224368 3221214560 1131329633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24208 13086 16 0 209036 0
vsize: 836208
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 37831 46 0 0 25 0 11 0 839526411 856276992 24220 4294967295 134512640 134569956 3221224368 3221214664 1131371087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24220 13086 16 0 209036 0
vsize: 836208
[startup+400.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 38820 46 0 0 25 0 11 0 839526411 856276992 24234 4294967295 134512640 134569956 3221224368 3221214560 1131329245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24234 13086 16 0 209036 0
vsize: 836208
[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 39808 47 0 0 25 0 11 0 839526411 856276992 24246 4294967295 134512640 134569956 3221224368 3221214664 1131370062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24246 13086 16 0 209036 0
vsize: 836208
[startup+420.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 40793 47 0 0 25 0 11 0 839526411 856276992 24264 4294967295 134512640 134569956 3221224368 3221214560 1131329274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24264 13086 16 0 209036 0
vsize: 836208
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 41779 48 0 0 25 0 11 0 839526411 856276992 24278 4294967295 134512640 134569956 3221224368 3221214616 1131227223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24278 13086 16 0 209036 0
vsize: 836208
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 42764 48 0 0 24 0 11 0 839526411 856276992 24338 4294967295 134512640 134569956 3221224368 3221214560 1131329912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24338 13086 16 0 209036 0
vsize: 836208
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 43753 48 0 0 25 0 11 0 839526411 856276992 24357 4294967295 134512640 134569956 3221224368 3221214560 1131329782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24357 13086 16 0 209036 0
vsize: 836208
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 44741 49 0 0 25 0 11 0 839526411 856276992 24374 4294967295 134512640 134569956 3221224368 3221214664 1131370043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24374 13086 16 0 209036 0
vsize: 836208
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 45729 49 0 0 25 0 11 0 839526411 856276992 24392 4294967295 134512640 134569956 3221224368 3221214664 1131373735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24392 13086 16 0 209036 0
vsize: 836208
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 46716 49 0 0 25 0 11 0 839526411 856276992 24413 4294967295 134512640 134569956 3221224368 3221214584 1131396983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24413 13086 16 0 209036 0
vsize: 836208
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 47705 50 0 0 25 0 11 0 839526411 856276992 24428 4294967295 134512640 134569956 3221224368 3221214660 1131329228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24428 13086 16 0 209036 0
vsize: 836208
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 48694 50 0 0 25 0 11 0 839526411 856276992 24444 4294967295 134512640 134569956 3221224368 3221214664 1131369984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24444 13086 16 0 209036 0
vsize: 836208
[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 49682 50 0 0 25 0 11 0 839526411 856276992 24459 4294967295 134512640 134569956 3221224368 3221214560 1131330512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24459 13086 16 0 209036 0
vsize: 836208
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 50672 51 0 0 25 0 11 0 839526411 856276992 24473 4294967295 134512640 134569956 3221224368 3221214560 1131329663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24473 13086 16 0 209036 0
vsize: 836208
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 51661 51 0 0 25 0 11 0 839526411 856276992 24485 4294967295 134512640 134569956 3221224368 3221214560 1131330188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24485 13086 16 0 209036 0
vsize: 836208
[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 52648 52 0 0 25 0 11 0 839526411 856276992 24501 4294967295 134512640 134569956 3221224368 3221214560 1131329641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24501 13086 16 0 209036 0
vsize: 836208
[startup+550.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 53637 52 0 0 25 0 11 0 839526411 856276992 24513 4294967295 134512640 134569956 3221224368 3221214560 1131329900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24513 13086 16 0 209036 0
vsize: 836208
[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 54625 52 0 0 25 0 11 0 839526411 856276992 24526 4294967295 134512640 134569956 3221224368 3221214664 1131371959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24526 13086 16 0 209036 0
vsize: 836208
[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 55612 53 0 0 25 0 11 0 839526411 856276992 24540 4294967295 134512640 134569956 3221224368 3221214664 1131369984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24540 13086 16 0 209036 0
vsize: 836208
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 56601 53 0 0 25 0 11 0 839526411 856276992 24552 4294967295 134512640 134569956 3221224368 3221214664 1131374679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24552 13086 16 0 209036 0
vsize: 836208
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 57590 54 0 0 25 0 11 0 839526411 856276992 24565 4294967295 134512640 134569956 3221224368 3221214560 1131329671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24565 13086 16 0 209036 0
vsize: 836208
[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 58576 54 0 0 25 0 11 0 839526411 856276992 24577 4294967295 134512640 134569956 3221224368 3221214664 1131370043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24577 13086 16 0 209036 0
vsize: 836208
[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 59564 55 0 0 25 0 11 0 839526411 856276992 24590 4294967295 134512640 134569956 3221224368 3221214616 1131267560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24590 13086 16 0 209036 0
vsize: 836208
[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 60552 55 0 0 24 0 11 0 839526411 856276992 24603 4294967295 134512640 134569956 3221224368 3221214560 1131329245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24603 13086 16 0 209036 0
vsize: 836208
[startup+630.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 61540 56 0 0 25 0 11 0 839526411 856276992 24614 4294967295 134512640 134569956 3221224368 3221214560 1131329328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24614 13086 16 0 209036 0
vsize: 836208
[startup+640.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 62529 56 0 0 25 0 11 0 839526411 856276992 24625 4294967295 134512640 134569956 3221224368 3221214720 1131363119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24625 13086 16 0 209036 0
vsize: 836208
[startup+650.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 63516 56 0 0 24 0 11 0 839526411 856276992 24637 4294967295 134512640 134569956 3221224368 3221214664 1131369895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24637 13086 16 0 209036 0
vsize: 836208
[startup+660.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 64504 56 0 0 25 0 11 0 839526411 856276992 24648 4294967295 134512640 134569956 3221224368 3221214664 1131369984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24648 13086 16 0 209036 0
vsize: 836208
[startup+670.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 65492 57 0 0 25 0 11 0 839526411 856276992 24659 4294967295 134512640 134569956 3221224368 3221214472 1131228100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24659 13086 16 0 209036 0
vsize: 836208
[startup+680.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 66481 57 0 0 25 0 11 0 839526411 856276992 24671 4294967295 134512640 134569956 3221224368 3221214560 1131330204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24671 13086 16 0 209036 0
vsize: 836208
[startup+690.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 67468 57 0 0 25 0 11 0 839526411 856276992 24683 4294967295 134512640 134569956 3221224368 3221214560 1131329605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24683 13086 16 0 209036 0
vsize: 836208
[startup+700.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 68456 57 0 0 25 0 11 0 839526411 856276992 24694 4294967295 134512640 134569956 3221224368 3221214560 1131330254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24694 13086 16 0 209036 0
vsize: 836208
[startup+710.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 69444 57 0 0 25 0 11 0 839526411 856276992 24704 4294967295 134512640 134569956 3221224368 3221214664 1131370092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24704 13086 16 0 209036 0
vsize: 836208
[startup+720.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 70431 57 0 0 24 0 11 0 839526411 856276992 24716 4294967295 134512640 134569956 3221224368 3221214856 1131400846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24716 13086 16 0 209036 0
vsize: 836208
[startup+730.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 71418 57 0 0 25 0 11 0 839526411 856276992 24732 4294967295 134512640 134569956 3221224368 3221214560 1131329763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24732 13086 16 0 209036 0
vsize: 836208
[startup+740.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 72407 57 0 0 25 0 11 0 839526411 856276992 24742 4294967295 134512640 134569956 3221224368 3221214560 1131329403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24742 13086 16 0 209036 0
vsize: 836208
[startup+750.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 73395 57 0 0 25 0 11 0 839526411 856276992 24755 4294967295 134512640 134569956 3221224368 3221214560 1131329821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24755 13086 16 0 209036 0
vsize: 836208
[startup+760.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 74382 58 0 0 25 0 11 0 839526411 856276992 24768 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24768 13086 16 0 209036 0
vsize: 836208
[startup+770.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 75370 58 0 0 25 0 11 0 839526411 856276992 24777 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24777 13086 16 0 209036 0
vsize: 836208
[startup+780.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 76357 58 0 0 25 0 11 0 839526411 856276992 24788 4294967295 134512640 134569956 3221224368 3221214560 1131330204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24788 13086 16 0 209036 0
vsize: 836208
[startup+790.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 77344 59 0 0 24 0 11 0 839526411 856276992 24799 4294967295 134512640 134569956 3221224368 3221214560 1131329253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24799 13086 16 0 209036 0
vsize: 836208
[startup+800.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 78331 59 0 0 25 0 11 0 839526411 856276992 24810 4294967295 134512640 134569956 3221224368 3221214664 1131369984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24810 13086 16 0 209036 0
vsize: 836208
[startup+810.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 79312 59 0 0 21 0 11 0 839526411 856276992 24822 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 24822 13086 16 0 209036 0
vsize: 836208
[startup+820.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 80293 59 0 0 25 0 11 0 839526411 856276992 24834 4294967295 134512640 134569956 3221224368 3221214664 1131373850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24834 13086 16 0 209036 0
vsize: 836208
[startup+830.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 81270 60 0 0 24 0 11 0 839526411 856276992 24844 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24844 13086 16 0 209036 0
vsize: 836208
[startup+840.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 82255 60 0 0 25 0 11 0 839526411 856276992 24932 4294967295 134512640 134569956 3221224368 3221214560 1131329249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24932 13086 16 0 209036 0
vsize: 836208
[startup+850.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 83242 61 0 0 25 0 11 0 839526411 856276992 24945 4294967295 134512640 134569956 3221224368 3221214664 1131372027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24945 13086 16 0 209036 0
vsize: 836208
[startup+860.073 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 84228 61 0 0 25 0 11 0 839526411 856276992 24956 4294967295 134512640 134569956 3221224368 3221214660 1131329228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24956 13086 16 0 209036 0
vsize: 836208
[startup+870.073 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 85215 61 0 0 25 0 11 0 839526411 856276992 24964 4294967295 134512640 134569956 3221224368 3221214616 1131267664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24964 13086 16 0 209036 0
vsize: 836208
[startup+880.074 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 86201 61 0 0 25 0 11 0 839526411 856276992 24975 4294967295 134512640 134569956 3221224368 3221214664 1131369826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24975 13086 16 0 209036 0
vsize: 836208
[startup+890.074 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 87186 62 0 0 25 0 11 0 839526411 856276992 24984 4294967295 134512640 134569956 3221224368 3221214472 1131228121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24984 13086 16 0 209036 0
vsize: 836208
[startup+900.075 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 88173 62 0 0 25 0 11 0 839526411 856276992 24994 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 24994 13086 16 0 209036 0
vsize: 836208
[startup+910.075 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) S 1709 20001 20000 0 -1 0 18076 0 1 0 89159 63 0 0 25 0 11 0 839526411 856276992 25002 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25002 13086 16 0 209036 0
vsize: 836208
[startup+920.077 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 90144 63 0 0 25 0 11 0 839526411 856276992 25012 4294967295 134512640 134569956 3221224368 3221214660 1131329228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25012 13086 16 0 209036 0
vsize: 836208
[startup+930.077 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 91131 64 0 0 25 0 11 0 839526411 856276992 25021 4294967295 134512640 134569956 3221224368 3221214560 1131329347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25021 13086 16 0 209036 0
vsize: 836208
[startup+940.078 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 92117 64 0 0 25 0 11 0 839526411 856276992 25030 4294967295 134512640 134569956 3221224368 3221214560 1131329306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25030 13086 16 0 209036 0
vsize: 836208
[startup+950.079 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 93103 64 0 0 25 0 11 0 839526411 856276992 25039 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25039 13086 16 0 209036 0
vsize: 836208
[startup+960.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 94089 65 0 0 25 0 11 0 839526411 856276992 25048 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25048 13086 16 0 209036 0
vsize: 836208
[startup+970.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 95074 65 0 0 25 0 11 0 839526411 856276992 25059 4294967295 134512640 134569956 3221224368 3221214560 1131330254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25059 13086 16 0 209036 0
vsize: 836208
[startup+980.082 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 96060 65 0 0 25 0 11 0 839526411 856276992 25068 4294967295 134512640 134569956 3221224368 3221214664 1131370043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25068 13086 16 0 209036 0
vsize: 836208
[startup+990.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 97045 66 0 0 24 0 11 0 839526411 856276992 25080 4294967295 134512640 134569956 3221224368 3221214560 1131329638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25080 13086 16 0 209036 0
vsize: 836208
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 98031 66 0 0 25 0 11 0 839526411 856276992 25088 4294967295 134512640 134569956 3221224368 3221214812 1131406624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25088 13086 16 0 209036 0
vsize: 836208
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 99018 66 0 0 25 0 11 0 839526411 856276992 25097 4294967295 134512640 134569956 3221224368 3221214584 1131397090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25097 13086 16 0 209036 0
vsize: 836208
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 100003 66 0 0 25 0 11 0 839526411 856276992 25107 4294967295 134512640 134569956 3221224368 3221214664 1131369977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25107 13086 16 0 209036 0
vsize: 836208
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 100989 67 0 0 25 0 11 0 839526411 856276992 25114 4294967295 134512640 134569956 3221224368 3221214664 1131370043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25114 13086 16 0 209036 0
vsize: 836208
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 101975 67 0 0 25 0 11 0 839526411 856276992 25123 4294967295 134512640 134569956 3221224368 3221214568 1131329926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25123 13086 16 0 209036 0
vsize: 836208
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 102959 67 0 0 25 0 11 0 839526411 856276992 25135 4294967295 134512640 134569956 3221224368 3221214560 1131329605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25135 13086 16 0 209036 0
vsize: 836208
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18076 0 1 0 103942 67 0 0 25 0 11 0 839526411 856276992 25147 4294967295 134512640 134569956 3221224368 3221214856 1131400849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209052 25147 13086 16 0 209036 0
vsize: 836208
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 104928 67 0 0 25 0 11 0 839526411 856276992 25157 4294967295 134512640 134569956 3221224368 3221214664 1131374018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25157 13086 16 0 209036 0
vsize: 836208
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 105913 68 0 0 25 0 11 0 839526411 856276992 25169 4294967295 134512640 134569956 3221224368 3221214560 1131330289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25169 13086 16 0 209036 0
vsize: 836208
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 106899 68 0 0 24 0 11 0 839526411 856276992 25177 4294967295 134512640 134569956 3221224368 3221214560 1131329709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25177 13086 16 0 209036 0
vsize: 836208
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 107886 68 0 0 25 0 11 0 839526411 856276992 25190 4294967295 134512640 134569956 3221224368 3221214560 1131329728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25190 13086 16 0 209036 0
vsize: 836208
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 108871 69 0 0 25 0 11 0 839526411 856276992 25200 4294967295 134512640 134569956 3221224368 3221214664 1131371016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25200 13086 16 0 209036 0
vsize: 836208
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 109856 69 0 0 25 0 11 0 839526411 856276992 25209 4294967295 134512640 134569956 3221224368 3221214664 1131369977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25209 13086 16 0 209036 0
vsize: 836208
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 110842 69 0 0 25 0 11 0 839526411 856276992 25217 4294967295 134512640 134569956 3221224368 3221214560 1131330254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25217 13086 16 0 209036 0
vsize: 836208
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 111828 70 0 0 25 0 11 0 839526411 856276992 25224 4294967295 134512640 134569956 3221224368 3221214560 1131330295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25224 13086 16 0 209036 0
vsize: 836208
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 112813 70 0 0 25 0 11 0 839526411 856276992 25232 4294967295 134512640 134569956 3221224368 3221214664 1131369984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25232 13086 16 0 209036 0
vsize: 836208
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 113799 70 0 0 25 0 11 0 839526411 856276992 25239 4294967295 134512640 134569956 3221224368 3221214560 1131329724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25239 13086 16 0 209036 0
vsize: 836208
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 114785 70 0 0 25 0 11 0 839526411 856276992 25247 4294967295 134512640 134569956 3221224368 3221214616 1131267684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25247 13086 16 0 209036 0
vsize: 836208
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 115770 70 0 0 25 0 11 0 839526411 856276992 25254 4294967295 134512640 134569956 3221224368 3221214560 1131329339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25254 13086 16 0 209036 0
vsize: 836208
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 116755 71 0 0 25 0 11 0 839526411 856276992 25262 4294967295 134512640 134569956 3221224368 3221214664 1131374725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25262 13086 16 0 209036 0
vsize: 836208
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 117740 71 0 0 25 0 11 0 839526411 856276992 25268 4294967295 134512640 134569956 3221224368 3221214560 1131330254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25268 13086 16 0 209036 0
vsize: 836208
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 118726 72 0 0 25 0 11 0 839526411 856276992 25276 4294967295 134512640 134569956 3221224368 3221214560 1131329831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25276 13086 16 0 209036 0
vsize: 836208
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 119711 72 0 0 25 0 11 0 839526411 856276992 25283 4294967295 134512640 134569956 3221224368 3221214664 1131372080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25283 13086 16 0 209036 0
vsize: 836208
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1720
Raw data (stat): 1710 (java) R 1709 20001 20000 0 -1 0 18077 0 1 0 120696 72 0 0 25 0 11 0 839526411 856276992 25291 4294967295 134512640 134569956 3221224368 3221214560 1131329442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209052 25291 13086 16 0 209036 0
vsize: 836208
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1722
Raw data (stat): 1710 (java) Z 1709 20001 20000 0 -1 1036 18077 12332 1 0 120700 77 3293 44 25 0 1 0 839526411 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.19
CPU time (s): 1241.16
CPU user time (s): 1239.94
CPU system time (s): 1.21881
CPU usage (%): 100.892
Max. virtual memory (Kb): 837044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####