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-qnet1.opb
MD5SUM	67a03e26dfeeecb274c72e4a32ff53e9
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	2480
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	130023300
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	20945120000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	59755435295
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.048992
Number of variables	4140
Total number of constraints	632
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	544
Minimum length of a constraint	2
Maximum length of a constraint	77
Trace number 30056

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 14:17:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21459 boxname=wulflinc20 idbench=1447 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  67a03e26dfeeecb274c72e4a32ff53e9  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-qnet1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-qnet1.opb
IDLAUNCH: 21459
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        180272 kB
Buffers:         37668 kB
Cached:         786728 kB
SwapCached:        716 kB
Active:          78660 kB
Inactive:       752500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        180020 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17548 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:38:04 (client local time) WITH STATUS 143 IN 1216.27 SECONDS
stats: 21459 7 1216.27 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/wulflinc20/normalized-mps-v2-13-7-qnet1.opb
c reading problem ... done. Time 8.176 ms.
c #vars     4140
c #constraints  962
c starts	: 7
c conflicts	: 2175
c decisions	: 14345
c propagations	: 38434
c inspects	: 6962207
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2175
c root simplifications	: 1445
s UNKNOWN
c Total CPU time (ms) : 1219.159
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 5677
Raw data (stat): 5677 (runsolver) R 5676 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839535799 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.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 4/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18080 0 1 0 760 41 0 0 25 0 11 0 839535799 860430336 20949 4294967295 134512640 134569956 3221224368 3221214776 1130919274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210066 20949 13086 16 0 210050 0
vsize: 840264
[startup+20.0018 s]
Raw data (loadavg): 1.26 1.05 1.02 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18089 0 1 0 1516 41 0 0 25 0 11 0 839535799 862502912 22170 4294967295 134512640 134569956 3221224368 3221214472 1131404655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210572 22170 13086 16 0 210556 0
vsize: 842288
[startup+30.0025 s]
Raw data (loadavg): 1.22 1.05 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 2458 41 0 0 25 0 11 0 839535799 861745152 22491 4294967295 134512640 134569956 3221224368 3221214552 1131322074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 22491 13086 16 0 210371 0
vsize: 841548
[startup+40.0029 s]
Raw data (loadavg): 1.19 1.05 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 3390 42 0 0 25 0 11 0 839535799 861745152 22597 4294967295 134512640 134569956 3221224368 3221214552 1131321974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210387 22597 13086 16 0 210371 0
vsize: 841548
[startup+50.0031 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 4341 42 0 0 25 0 11 0 839535799 861745152 22663 4294967295 134512640 134569956 3221224368 3221214648 1131590887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210387 22663 13086 16 0 210371 0
vsize: 841548
[startup+60.0038 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 5277 43 0 0 25 0 11 0 839535799 861745152 22721 4294967295 134512640 134569956 3221224368 3221214552 1131322202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210387 22721 13086 16 0 210371 0
vsize: 841548
[startup+70.0072 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 5687
Raw data (stat): 5677 (java) S 5676 25399 25398 0 -1 0 18090 0 1 0 6236 43 0 0 25 0 11 0 839535799 861745152 23394 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23394 13086 16 0 210371 0
vsize: 841548
[startup+80.0094 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 7221 43 0 0 25 0 11 0 839535799 861745152 23479 4294967295 134512640 134569956 3221224368 3221214824 1131232281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23479 13086 16 0 210371 0
vsize: 841548
[startup+90.0099 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 8208 43 0 0 25 0 11 0 839535799 861745152 23541 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23541 13086 16 0 210371 0
vsize: 841548
[startup+100.009 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 9197 43 0 0 25 0 11 0 839535799 861745152 23605 4294967295 134512640 134569956 3221224368 3221214552 1131322241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23605 13086 16 0 210371 0
vsize: 841548
[startup+110.011 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 10188 43 0 0 25 0 11 0 839535799 861745152 23640 4294967295 134512640 134569956 3221224368 3221214680 1131419580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23640 13086 16 0 210371 0
vsize: 841548
[startup+120.012 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 11178 43 0 0 25 0 11 0 839535799 861745152 23674 4294967295 134512640 134569956 3221224368 3221213912 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23674 13086 16 0 210371 0
vsize: 841548
[startup+130.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 12170 43 0 0 25 0 11 0 839535799 861745152 23704 4294967295 134512640 134569956 3221224368 3221214552 1131322158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23704 13086 16 0 210371 0
vsize: 841548
[startup+140.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 13161 43 0 0 25 0 11 0 839535799 861745152 23736 4294967295 134512640 134569956 3221224368 3221214552 1131322190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23736 13086 16 0 210371 0
vsize: 841548
[startup+150.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 14153 44 0 0 25 0 11 0 839535799 861745152 23758 4294967295 134512640 134569956 3221224368 3221214552 1131322523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23758 13086 16 0 210371 0
vsize: 841548
[startup+160.014 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 15145 44 0 0 25 0 11 0 839535799 861745152 23784 4294967295 134512640 134569956 3221224368 3221214552 1131322275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23784 13086 16 0 210371 0
vsize: 841548
[startup+170.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 16138 44 0 0 25 0 11 0 839535799 861745152 23805 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23805 13086 16 0 210371 0
vsize: 841548
[startup+180.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 17131 44 0 0 25 0 11 0 839535799 861745152 23826 4294967295 134512640 134569956 3221224368 3221214552 1131322395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23826 13086 16 0 210371 0
vsize: 841548
[startup+190.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 18124 44 0 0 25 0 11 0 839535799 861745152 23844 4294967295 134512640 134569956 3221224368 3221214552 1131322085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23844 13086 16 0 210371 0
vsize: 841548
[startup+200.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 19116 44 0 0 25 0 11 0 839535799 861745152 23863 4294967295 134512640 134569956 3221224368 3221214552 1131322143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23863 13086 16 0 210371 0
vsize: 841548
[startup+210.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 20110 44 0 0 25 0 11 0 839535799 861745152 23879 4294967295 134512640 134569956 3221224368 3221214552 1131322021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23879 13086 16 0 210371 0
vsize: 841548
[startup+220.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 21102 44 0 0 25 0 11 0 839535799 861745152 23896 4294967295 134512640 134569956 3221224368 3221214552 1131322541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23896 13086 16 0 210371 0
vsize: 841548
[startup+230.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 22095 44 0 0 25 0 11 0 839535799 861745152 23909 4294967295 134512640 134569956 3221224368 3221214552 1131322224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23909 13086 16 0 210371 0
vsize: 841548
[startup+240.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 23088 44 0 0 25 0 11 0 839535799 861745152 23925 4294967295 134512640 134569956 3221224368 3221214552 1131322021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23925 13086 16 0 210371 0
vsize: 841548
[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 24082 44 0 0 25 0 11 0 839535799 861745152 23940 4294967295 134512640 134569956 3221224368 3221214464 1131221884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23940 13086 16 0 210371 0
vsize: 841548
[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 25075 44 0 0 25 0 11 0 839535799 861745152 23964 4294967295 134512640 134569956 3221224368 3221213956 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23964 13086 16 0 210371 0
vsize: 841548
[startup+270.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 26069 44 0 0 25 0 11 0 839535799 861745152 23974 4294967295 134512640 134569956 3221224368 3221214552 1131322496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23974 13086 16 0 210371 0
vsize: 841548
[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 27063 44 0 0 25 0 11 0 839535799 861745152 23986 4294967295 134512640 134569956 3221224368 3221214552 1131322194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23986 13086 16 0 210371 0
vsize: 841548
[startup+290.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 28059 44 0 0 25 0 11 0 839535799 861745152 23995 4294967295 134512640 134569956 3221224368 3221214552 1131322241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 23995 13086 16 0 210371 0
vsize: 841548
[startup+300.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 29053 44 0 0 25 0 11 0 839535799 861745152 24004 4294967295 134512640 134569956 3221224368 3221214704 1131326769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24004 13086 16 0 210371 0
vsize: 841548
[startup+310.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 30047 44 0 0 25 0 11 0 839535799 861745152 24013 4294967295 134512640 134569956 3221224368 3221214552 1131322611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24013 13086 16 0 210371 0
vsize: 841548
[startup+320.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 31041 44 0 0 25 0 11 0 839535799 861745152 24021 4294967295 134512640 134569956 3221224368 3221214552 1131322182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24021 13086 16 0 210371 0
vsize: 841548
[startup+330.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 32035 44 0 0 25 0 11 0 839535799 861745152 24031 4294967295 134512640 134569956 3221224368 3221214552 1131322479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24031 13086 16 0 210371 0
vsize: 841548
[startup+340.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 33030 44 0 0 25 0 11 0 839535799 861745152 24038 4294967295 134512640 134569956 3221224368 3221214552 1131322202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24038 13086 16 0 210371 0
vsize: 841548
[startup+350.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 34024 44 0 0 25 0 11 0 839535799 861745152 24048 4294967295 134512640 134569956 3221224368 3221214648 1131586261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24048 13086 16 0 210371 0
vsize: 841548
[startup+360.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 35018 44 0 0 25 0 11 0 839535799 861745152 24056 4294967295 134512640 134569956 3221224368 3221214552 1131322139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24056 13086 16 0 210371 0
vsize: 841548
[startup+370.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 36012 44 0 0 25 0 11 0 839535799 861745152 24064 4294967295 134512640 134569956 3221224368 3221214552 1131322074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24064 13086 16 0 210371 0
vsize: 841548
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 37006 45 0 0 25 0 11 0 839535799 861745152 24072 4294967295 134512640 134569956 3221224368 3221214824 1131491713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24072 13086 16 0 210371 0
vsize: 841548
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 38001 45 0 0 25 0 11 0 839535799 861745152 24078 4294967295 134512640 134569956 3221224368 3221214680 1131419568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24078 13086 16 0 210371 0
vsize: 841548
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 38994 45 0 0 25 0 11 0 839535799 861745152 24087 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24087 13086 16 0 210371 0
vsize: 841548
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 39988 45 0 0 25 0 11 0 839535799 861745152 24094 4294967295 134512640 134569956 3221224368 3221213940 1131644240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24094 13086 16 0 210371 0
vsize: 841548
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 40982 45 0 0 25 0 11 0 839535799 861745152 24102 4294967295 134512640 134569956 3221224368 3221214464 1131221477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24102 13086 16 0 210371 0
vsize: 841548
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 41976 45 0 0 25 0 11 0 839535799 861745152 24109 4294967295 134512640 134569956 3221224368 3221214552 1131322187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24109 13086 16 0 210371 0
vsize: 841548
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 42969 45 0 0 25 0 11 0 839535799 861745152 24117 4294967295 134512640 134569956 3221224368 3221214464 1131221432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24117 13086 16 0 210371 0
vsize: 841548
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 43964 45 0 0 25 0 11 0 839535799 861745152 24123 4294967295 134512640 134569956 3221224368 3221214720 1131232264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24123 13086 16 0 210371 0
vsize: 841548
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 44957 45 0 0 25 0 11 0 839535799 861745152 24129 4294967295 134512640 134569956 3221224368 3221214584 1131254829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24129 13086 16 0 210371 0
vsize: 841548
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 45951 45 0 0 25 0 11 0 839535799 861745152 24136 4294967295 134512640 134569956 3221224368 3221214680 1131419633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24136 13086 16 0 210371 0
vsize: 841548
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 46945 45 0 0 25 0 11 0 839535799 861745152 24143 4294967295 134512640 134569956 3221224368 3221214552 1131322532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24143 13086 16 0 210371 0
vsize: 841548
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 47938 45 0 0 25 0 11 0 839535799 861745152 24149 4294967295 134512640 134569956 3221224368 3221214552 1131322202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24149 13086 16 0 210371 0
vsize: 841548
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 48932 45 0 0 25 0 11 0 839535799 861745152 24156 4294967295 134512640 134569956 3221224368 3221214552 1131322255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24156 13086 16 0 210371 0
vsize: 841548
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 49926 45 0 0 25 0 11 0 839535799 861745152 24162 4294967295 134512640 134569956 3221224368 3221214648 1131587554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24162 13086 16 0 210371 0
vsize: 841548
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 50919 45 0 0 25 0 11 0 839535799 861745152 24169 4294967295 134512640 134569956 3221224368 3221214552 1131322249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24169 13086 16 0 210371 0
vsize: 841548
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 51911 45 0 0 25 0 11 0 839535799 861745152 24175 4294967295 134512640 134569956 3221224368 3221214552 1131322249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24175 13086 16 0 210371 0
vsize: 841548
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 52904 45 0 0 25 0 11 0 839535799 861745152 24180 4294967295 134512640 134569956 3221224368 3221214552 1131322267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24180 13086 16 0 210371 0
vsize: 841548
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 53897 45 0 0 25 0 11 0 839535799 861745152 24193 4294967295 134512640 134569956 3221224368 3221214552 1131321972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24193 13086 16 0 210371 0
vsize: 841548
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 54889 45 0 0 25 0 11 0 839535799 861745152 24207 4294967295 134512640 134569956 3221224368 3221214552 1131321720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24207 13086 16 0 210371 0
vsize: 841548
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 55883 45 0 0 25 0 11 0 839535799 861745152 24215 4294967295 134512640 134569956 3221224368 3221214648 1131586261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24215 13086 16 0 210371 0
vsize: 841548
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 56876 46 0 0 25 0 11 0 839535799 861745152 24225 4294967295 134512640 134569956 3221224368 3221214552 1131322125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24225 13086 16 0 210371 0
vsize: 841548
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 57868 46 0 0 25 0 11 0 839535799 861745152 24231 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24231 13086 16 0 210371 0
vsize: 841548
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 58861 46 0 0 25 0 11 0 839535799 861745152 24237 4294967295 134512640 134569956 3221224368 3221214552 1131322194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24237 13086 16 0 210371 0
vsize: 841548
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 59855 46 0 0 25 0 11 0 839535799 861745152 24242 4294967295 134512640 134569956 3221224368 3221214552 1131321626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24242 13086 16 0 210371 0
vsize: 841548
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 60847 46 0 0 25 0 11 0 839535799 861745152 24250 4294967295 134512640 134569956 3221224368 3221214648 1131586261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24250 13086 16 0 210371 0
vsize: 841548
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 61840 46 0 0 25 0 11 0 839535799 861745152 24258 4294967295 134512640 134569956 3221224368 3221214552 1131322120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24258 13086 16 0 210371 0
vsize: 841548
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 62833 46 0 0 25 0 11 0 839535799 861745152 24265 4294967295 134512640 134569956 3221224368 3221214648 1131586233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24265 13086 16 0 210371 0
vsize: 841548
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 63826 46 0 0 25 0 11 0 839535799 861745152 24271 4294967295 134512640 134569956 3221224368 3221214552 1131322085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24271 13086 16 0 210371 0
vsize: 841548
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 64818 46 0 0 25 0 11 0 839535799 861745152 24276 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24276 13086 16 0 210371 0
vsize: 841548
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 65811 46 0 0 25 0 11 0 839535799 861745152 24283 4294967295 134512640 134569956 3221224368 3221214552 1131322570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24283 13086 16 0 210371 0
vsize: 841548
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 66804 46 0 0 25 0 11 0 839535799 861745152 24288 4294967295 134512640 134569956 3221224368 3221214648 1131587326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24288 13086 16 0 210371 0
vsize: 841548
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 67796 46 0 0 25 0 11 0 839535799 861745152 24294 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24294 13086 16 0 210371 0
vsize: 841548
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 68789 46 0 0 25 0 11 0 839535799 861745152 24299 4294967295 134512640 134569956 3221224368 3221214552 1131322135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24299 13086 16 0 210371 0
vsize: 841548
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 69782 46 0 0 25 0 11 0 839535799 861745152 24305 4294967295 134512640 134569956 3221224368 3221214552 1131322158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24305 13086 16 0 210371 0
vsize: 841548
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 70774 46 0 0 25 0 11 0 839535799 861745152 24310 4294967295 134512640 134569956 3221224368 3221214552 1131322206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24310 13086 16 0 210371 0
vsize: 841548
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 71766 46 0 0 25 0 11 0 839535799 861745152 24316 4294967295 134512640 134569956 3221224368 3221213976 1131655016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24316 13086 16 0 210371 0
vsize: 841548
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 72758 46 0 0 25 0 11 0 839535799 861745152 24322 4294967295 134512640 134569956 3221224368 3221214552 1131322532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24322 13086 16 0 210371 0
vsize: 841548
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 73751 47 0 0 25 0 11 0 839535799 861745152 24327 4294967295 134512640 134569956 3221224368 3221214552 1131322021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24327 13086 16 0 210371 0
vsize: 841548
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 74743 47 0 0 25 0 11 0 839535799 861745152 24332 4294967295 134512640 134569956 3221224368 3221214376 1131652842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24332 13086 16 0 210371 0
vsize: 841548
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 75735 47 0 0 25 0 11 0 839535799 861745152 24338 4294967295 134512640 134569956 3221224368 3221214552 1131321565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24338 13086 16 0 210371 0
vsize: 841548
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 76726 47 0 0 25 0 11 0 839535799 861745152 24343 4294967295 134512640 134569956 3221224368 3221214128 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24343 13086 16 0 210371 0
vsize: 841548
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 77719 47 0 0 25 0 11 0 839535799 861745152 24348 4294967295 134512640 134569956 3221224368 3221214552 1131322224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24348 13086 16 0 210371 0
vsize: 841548
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 78711 47 0 0 25 0 11 0 839535799 861745152 24355 4294967295 134512640 134569956 3221224368 3221214440 1131644204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24355 13086 16 0 210371 0
vsize: 841548
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 79703 47 0 0 25 0 11 0 839535799 861745152 24360 4294967295 134512640 134569956 3221224368 3221214552 1131322139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24360 13086 16 0 210371 0
vsize: 841548
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 80694 47 0 0 25 0 11 0 839535799 861745152 24365 4294967295 134512640 134569956 3221224368 3221214552 1131322200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24365 13086 16 0 210371 0
vsize: 841548
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 81687 47 0 0 25 0 11 0 839535799 861745152 24370 4294967295 134512640 134569956 3221224368 3221214552 1131322249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24370 13086 16 0 210371 0
vsize: 841548
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 82679 47 0 0 25 0 11 0 839535799 861745152 24376 4294967295 134512640 134569956 3221224368 3221213876 1131644704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24376 13086 16 0 210371 0
vsize: 841548
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 83669 47 0 0 25 0 11 0 839535799 861745152 24381 4294967295 134512640 134569956 3221224368 3221214552 1131322249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24381 13086 16 0 210371 0
vsize: 841548
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 84660 47 0 0 25 0 11 0 839535799 861745152 24386 4294967295 134512640 134569956 3221224368 3221213992 1131653052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24386 13086 16 0 210371 0
vsize: 841548
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 85651 47 0 0 25 0 11 0 839535799 861745152 24394 4294967295 134512640 134569956 3221224368 3221214552 1131322074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24394 13086 16 0 210371 0
vsize: 841548
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 86641 47 0 0 25 0 11 0 839535799 861745152 24398 4294967295 134512640 134569956 3221224368 3221214768 1131419548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24398 13086 16 0 210371 0
vsize: 841548
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 87633 47 0 0 25 0 11 0 839535799 861745152 24411 4294967295 134512640 134569956 3221224368 3221214648 1131591241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24411 13086 16 0 210371 0
vsize: 841548
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 88624 47 0 0 25 0 11 0 839535799 861745152 24417 4294967295 134512640 134569956 3221224368 3221214328 1131644303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24417 13086 16 0 210371 0
vsize: 841548
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 89614 47 0 0 25 0 11 0 839535799 861745152 24423 4294967295 134512640 134569956 3221224368 3221214552 1131322212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24423 13086 16 0 210371 0
vsize: 841548
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 90606 47 0 0 25 0 11 0 839535799 861745152 24428 4294967295 134512640 134569956 3221224368 3221214552 1131322114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24428 13086 16 0 210371 0
vsize: 841548
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 91597 47 0 0 25 0 11 0 839535799 861745152 24433 4294967295 134512640 134569956 3221224368 3221213924 1131653065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24433 13086 16 0 210371 0
vsize: 841548
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 92587 47 0 0 25 0 11 0 839535799 861745152 24438 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24438 13086 16 0 210371 0
vsize: 841548
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 93578 47 0 0 24 0 11 0 839535799 861745152 24443 4294967295 134512640 134569956 3221224368 3221214552 1131322194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24443 13086 16 0 210371 0
vsize: 841548
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 94569 47 0 0 25 0 11 0 839535799 861745152 24448 4294967295 134512640 134569956 3221224368 3221214648 1131588385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24448 13086 16 0 210371 0
vsize: 841548
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 95559 47 0 0 25 0 11 0 839535799 861745152 24452 4294967295 134512640 134569956 3221224368 3221214552 1131322143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24452 13086 16 0 210371 0
vsize: 841548
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 96550 47 0 0 25 0 11 0 839535799 861745152 24457 4294967295 134512640 134569956 3221224368 3221214848 1131337817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24457 13086 16 0 210371 0
vsize: 841548
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 97540 47 0 0 25 0 11 0 839535799 861745152 24465 4294967295 134512640 134569956 3221224368 3221214552 1131322194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24465 13086 16 0 210371 0
vsize: 841548
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 98531 47 0 0 25 0 11 0 839535799 861745152 24470 4294967295 134512640 134569956 3221224368 3221214552 1131321595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24470 13086 16 0 210371 0
vsize: 841548
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 99522 47 0 0 25 0 11 0 839535799 861745152 24474 4294967295 134512640 134569956 3221224368 3221214648 1131587558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24474 13086 16 0 210371 0
vsize: 841548
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 100512 48 0 0 25 0 11 0 839535799 861745152 24478 4294967295 134512640 134569956 3221224368 3221214552 1131322021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24478 13086 16 0 210371 0
vsize: 841548
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 101502 48 0 0 25 0 11 0 839535799 861745152 24483 4294967295 134512640 134569956 3221224368 3221214644 1131322848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24483 13086 16 0 210371 0
vsize: 841548
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 102494 48 0 0 25 0 11 0 839535799 861745152 24488 4294967295 134512640 134569956 3221224368 3221214552 1131322170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24488 13086 16 0 210371 0
vsize: 841548
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 103483 48 0 0 25 0 11 0 839535799 861745152 24493 4294967295 134512640 134569956 3221224368 3221214648 1131591237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24493 13086 16 0 210371 0
vsize: 841548
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 104473 48 0 0 25 0 11 0 839535799 861745152 24497 4294967295 134512640 134569956 3221224368 3221214552 1131322080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24497 13086 16 0 210371 0
vsize: 841548
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 105464 48 0 0 25 0 11 0 839535799 861745152 24501 4294967295 134512640 134569956 3221224368 3221214552 1131321970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24501 13086 16 0 210371 0
vsize: 841548
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 106454 48 0 0 25 0 11 0 839535799 861745152 24506 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24506 13086 16 0 210371 0
vsize: 841548
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 107443 48 0 0 25 0 11 0 839535799 861745152 24515 4294967295 134512640 134569956 3221224368 3221214552 1131322395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24515 13086 16 0 210371 0
vsize: 841548
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 108434 48 0 0 25 0 11 0 839535799 861745152 24519 4294967295 134512640 134569956 3221224368 3221214464 1131221477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24519 13086 16 0 210371 0
vsize: 841548
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 109424 48 0 0 25 0 11 0 839535799 861745152 24523 4294967295 134512640 134569956 3221224368 3221214552 1131322190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24523 13086 16 0 210371 0
vsize: 841548
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 110413 49 0 0 25 0 11 0 839535799 861745152 24527 4294967295 134512640 134569956 3221224368 3221214464 1131222062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24527 13086 16 0 210371 0
vsize: 841548
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 111404 49 0 0 25 0 11 0 839535799 861745152 24532 4294967295 134512640 134569956 3221224368 3221214552 1131322249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24532 13086 16 0 210371 0
vsize: 841548
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 112393 49 0 0 25 0 11 0 839535799 861745152 24536 4294967295 134512640 134569956 3221224368 3221214552 1131322253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24536 13086 16 0 210371 0
vsize: 841548
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 113382 49 0 0 25 0 11 0 839535799 861745152 24543 4294967295 134512640 134569956 3221224368 3221214552 1131322125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24543 13086 16 0 210371 0
vsize: 841548
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 114373 49 0 0 25 0 11 0 839535799 861745152 24548 4294967295 134512640 134569956 3221224368 3221214552 1131322166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24548 13086 16 0 210371 0
vsize: 841548
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 115363 49 0 0 25 0 11 0 839535799 861745152 24552 4294967295 134512640 134569956 3221224368 3221214648 1131586261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24552 13086 16 0 210371 0
vsize: 841548
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) S 5676 25399 25398 0 -1 0 18090 0 1 0 116353 49 0 0 25 0 11 0 839535799 861745152 24556 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24556 13086 16 0 210371 0
vsize: 841548
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 117343 49 0 0 25 0 11 0 839535799 861745152 24560 4294967295 134512640 134569956 3221224368 3221213880 1131652905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24560 13086 16 0 210371 0
vsize: 841548
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 118333 49 0 0 25 0 11 0 839535799 861745152 24564 4294967295 134512640 134569956 3221224368 3221214552 1131322021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24564 13086 16 0 210371 0
vsize: 841548
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 119322 49 0 0 24 0 11 0 839535799 861745152 24569 4294967295 134512640 134569956 3221224368 3221214648 1131590090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24569 13086 16 0 210371 0
vsize: 841548
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5687
Raw data (stat): 5677 (java) R 5676 25399 25398 0 -1 0 18090 0 1 0 120312 49 0 0 25 0 11 0 839535799 861745152 24572 4294967295 134512640 134569956 3221224368 3221214552 1131321667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210387 24572 13086 16 0 210371 0
vsize: 841548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5689
Raw data (stat): 5677 (java) Z 5676 25399 25398 0 -1 1036 18090 4250 1 0 120315 49 1241 20 25 0 1 0 839535799 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): 1220.15
CPU time (s): 1216.27
CPU user time (s): 1215.57
CPU system time (s): 0.699893
CPU usage (%): 99.682
Max. virtual memory (Kb): 842288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####