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/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	d98db64f69c8547ad0880486d1128dd0
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	183313
Biggest coefficient in the objective function	19194096394240
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	127830561163966644
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	19194096394240
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	127830561163966644
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68874
Number of variables	183313
Total number of constraints	1761
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	1761
Minimum length of a constraint	13
Maximum length of a constraint	32019
Trace number 29998

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 13:39:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21399 boxname=wulflinc31 idbench=1387 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  d98db64f69c8547ad0880486d1128dd0  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 21399
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        310928 kB
Buffers:         33276 kB
Cached:         659408 kB
SwapCached:       1052 kB
Active:         135532 kB
Inactive:       559324 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        310676 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            23256 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:01:20 (client local time) WITH STATUS 143 IN 1312.05 SECONDS
stats: 21399 7 1312.05 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/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.173
#### 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.97 0.99 0.99 2/55 15678
Raw data (stat): 15678 (runsolver) R 15677 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839287001 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99991 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 15687
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 871 37 0 0 25 0 10 0 839287001 853831680 19293 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 19293 13086 16 0 208439 0
vsize: 833820
[startup+20.0009 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 15687
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 1768 38 0 0 25 0 10 0 839287001 853831680 19805 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 19805 13086 16 0 208439 0
vsize: 833820
[startup+30.0008 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 15689
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 2663 39 0 0 25 0 10 0 839287001 853831680 20288 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208455 20288 13086 16 0 208439 0
vsize: 833820
[startup+40.0018 s]
Raw data (loadavg): 0.98 0.99 0.99 2/64 15689
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 3575 39 0 0 24 0 10 0 839287001 854200320 20683 4294967295 134512640 134569956 3221224368 3221214768 1131237557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208545 20683 13086 16 0 208529 0
vsize: 834180
[startup+50.0027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15689
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 4501 40 0 0 25 0 10 0 839287001 854200320 20843 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208545 20843 13086 16 0 208529 0
vsize: 834180
[startup+60.0026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15689
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 5419 40 0 0 25 0 10 0 839287001 854200320 20972 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208545 20972 13086 16 0 208529 0
vsize: 834180
[startup+70.0036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15689
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 6347 40 0 0 25 0 10 0 839287001 854032384 21171 4294967295 134512640 134569956 3221224368 3221214864 1130883392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21171 13086 16 0 208488 0
vsize: 834016
[startup+80.0053 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15689
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 7287 41 0 0 25 0 10 0 839287001 854032384 21271 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21271 13086 16 0 208488 0
vsize: 834016
[startup+90.0065 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15691
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 8225 41 0 0 25 0 10 0 839287001 854032384 21368 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21368 13086 16 0 208488 0
vsize: 834016
[startup+100.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15691
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 9168 41 0 0 25 0 10 0 839287001 854032384 21453 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21453 13086 16 0 208488 0
vsize: 834016
[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15691
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 10111 41 0 0 25 0 10 0 839287001 854032384 21531 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21531 13086 16 0 208488 0
vsize: 834016
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15691
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 11051 41 0 0 24 0 10 0 839287001 854032384 21611 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21611 13086 16 0 208488 0
vsize: 834016
[startup+130.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15691
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 11994 41 0 0 25 0 10 0 839287001 854032384 21681 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21681 13086 16 0 208488 0
vsize: 834016
[startup+140.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15691
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 12938 42 0 0 25 0 10 0 839287001 854032384 21749 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21749 13086 16 0 208488 0
vsize: 834016
[startup+150.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/64 15693
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 13878 42 0 0 25 0 10 0 839287001 854032384 21817 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21817 13086 16 0 208488 0
vsize: 834016
[startup+160.012 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 15693
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 14822 42 0 0 25 0 10 0 839287001 854032384 21878 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21878 13086 16 0 208488 0
vsize: 834016
[startup+170.013 s]
Raw data (loadavg): 1.14 1.02 1.00 2/64 15693
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 15766 43 0 0 25 0 10 0 839287001 854032384 21937 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21937 13086 16 0 208488 0
vsize: 834016
[startup+180.014 s]
Raw data (loadavg): 1.11 1.02 1.00 2/64 15693
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 16689 43 0 0 25 0 10 0 839287001 854032384 21995 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 21995 13086 16 0 208488 0
vsize: 834016
[startup+190.015 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 15693
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 17606 43 0 0 25 0 10 0 839287001 854032384 22050 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22050 13086 16 0 208488 0
vsize: 834016
[startup+200.015 s]
Raw data (loadavg): 1.08 1.01 1.00 2/64 15693
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 18540 43 0 0 25 0 10 0 839287001 854032384 22361 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22361 13086 16 0 208488 0
vsize: 834016
[startup+210.016 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 15695
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 19477 43 0 0 24 0 10 0 839287001 854032384 22416 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22416 13086 16 0 208488 0
vsize: 834016
[startup+220.017 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 15695
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 20417 43 0 0 25 0 10 0 839287001 854032384 22467 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22467 13086 16 0 208488 0
vsize: 834016
[startup+230.017 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 15695
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 21357 43 0 0 25 0 10 0 839287001 854032384 22517 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22517 13086 16 0 208488 0
vsize: 834016
[startup+240.017 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 15695
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 22297 43 0 0 25 0 10 0 839287001 854032384 22565 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22565 13086 16 0 208488 0
vsize: 834016
[startup+250.017 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15695
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 23236 44 0 0 25 0 10 0 839287001 854032384 22613 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22613 13086 16 0 208488 0
vsize: 834016
[startup+260.019 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15695
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 24172 44 0 0 24 0 10 0 839287001 854032384 22663 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22663 13086 16 0 208488 0
vsize: 834016
[startup+270.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15697
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 25110 44 0 0 25 0 10 0 839287001 854032384 22708 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22708 13086 16 0 208488 0
vsize: 834016
[startup+280.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15697
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 26048 44 0 0 25 0 10 0 839287001 854032384 22752 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22752 13086 16 0 208488 0
vsize: 834016
[startup+290.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15697
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 26986 44 0 0 25 0 10 0 839287001 854032384 22795 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22795 13086 16 0 208488 0
vsize: 834016
[startup+300.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15697
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 27924 45 0 0 25 0 10 0 839287001 854032384 22838 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22838 13086 16 0 208488 0
vsize: 834016
[startup+310.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15697
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 28861 45 0 0 25 0 10 0 839287001 854032384 22880 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22880 13086 16 0 208488 0
vsize: 834016
[startup+320.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15697
Raw data (stat): 15678 (java) S 15677 29618 29617 0 -1 0 18032 0 1 0 29795 45 0 0 25 0 10 0 839287001 854032384 22922 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22922 13086 16 0 208488 0
vsize: 834016
[startup+330.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 15699
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 30730 46 0 0 25 0 10 0 839287001 854032384 22964 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 22964 13086 16 0 208488 0
vsize: 834016
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15699
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 31666 46 0 0 24 0 10 0 839287001 854032384 23004 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23004 13086 16 0 208488 0
vsize: 834016
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15699
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 32601 46 0 0 25 0 10 0 839287001 854032384 23043 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23043 13086 16 0 208488 0
vsize: 834016
[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15699
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 33536 46 0 0 25 0 10 0 839287001 854032384 23081 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23081 13086 16 0 208488 0
vsize: 834016
[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15699
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 34471 46 0 0 25 0 10 0 839287001 854032384 23120 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23120 13086 16 0 208488 0
vsize: 834016
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15699
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 35405 46 0 0 25 0 10 0 839287001 854032384 23158 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23158 13086 16 0 208488 0
vsize: 834016
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15701
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 36339 46 0 0 25 0 10 0 839287001 854032384 23195 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23195 13086 16 0 208488 0
vsize: 834016
[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15701
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 37272 46 0 0 25 0 10 0 839287001 854032384 23231 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23231 13086 16 0 208488 0
vsize: 834016
[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15701
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 38205 46 0 0 25 0 10 0 839287001 854032384 23267 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23267 13086 16 0 208488 0
vsize: 834016
[startup+420.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15701
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 39137 46 0 0 25 0 10 0 839287001 854032384 23303 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23303 13086 16 0 208488 0
vsize: 834016
[startup+430.033 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 15701
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 40069 46 0 0 25 0 10 0 839287001 854032384 23338 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23338 13086 16 0 208488 0
vsize: 834016
[startup+440.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 15701
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 41001 46 0 0 25 0 10 0 839287001 854032384 23372 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23372 13086 16 0 208488 0
vsize: 834016
[startup+450.035 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 15703
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 41933 47 0 0 25 0 10 0 839287001 854032384 23407 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23407 13086 16 0 208488 0
vsize: 834016
[startup+460.035 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 15703
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 42864 47 0 0 25 0 10 0 839287001 854032384 23440 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23440 13086 16 0 208488 0
vsize: 834016
[startup+470.036 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 15703
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 43795 47 0 0 25 0 10 0 839287001 854032384 23474 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23474 13086 16 0 208488 0
vsize: 834016
[startup+480.036 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15703
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 44725 47 0 0 25 0 10 0 839287001 854032384 23507 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23507 13086 16 0 208488 0
vsize: 834016
[startup+490.037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15703
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 45655 47 0 0 25 0 10 0 839287001 854032384 23540 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23540 13086 16 0 208488 0
vsize: 834016
[startup+500.038 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15703
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 46584 47 0 0 24 0 10 0 839287001 854032384 23572 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23572 13086 16 0 208488 0
vsize: 834016
[startup+510.039 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15705
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 47513 47 0 0 24 0 10 0 839287001 854032384 23605 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23605 13086 16 0 208488 0
vsize: 834016
[startup+520.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15705
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 48446 47 0 0 25 0 10 0 839287001 854032384 23635 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23635 13086 16 0 208488 0
vsize: 834016
[startup+530.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15705
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 49374 47 0 0 25 0 10 0 839287001 854032384 23666 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23666 13086 16 0 208488 0
vsize: 834016
[startup+540.042 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 15705
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 50302 47 0 0 25 0 10 0 839287001 854032384 23697 4294967295 134512640 134569956 3221224368 3221214760 1131237044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23697 13086 16 0 208488 0
vsize: 834016
[startup+550.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 15705
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 51229 47 0 0 25 0 10 0 839287001 854032384 23728 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23728 13086 16 0 208488 0
vsize: 834016
[startup+560.044 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 15705
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 52156 48 0 0 25 0 10 0 839287001 854032384 23758 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23758 13086 16 0 208488 0
vsize: 834016
[startup+570.044 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 15707
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 53082 48 0 0 24 0 10 0 839287001 854032384 23788 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23788 13086 16 0 208488 0
vsize: 834016
[startup+580.044 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 15707
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 54008 48 0 0 24 0 10 0 839287001 854032384 23818 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23818 13086 16 0 208488 0
vsize: 834016
[startup+590.045 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 15707
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 54938 48 0 0 25 0 10 0 839287001 854032384 23846 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23846 13086 16 0 208488 0
vsize: 834016
[startup+600.046 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 15707
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 55864 48 0 0 25 0 10 0 839287001 854032384 23875 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23875 13086 16 0 208488 0
vsize: 834016
[startup+610.047 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 15707
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 56789 49 0 0 25 0 10 0 839287001 854032384 23905 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23905 13086 16 0 208488 0
vsize: 834016
[startup+620.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15707
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 57713 49 0 0 25 0 10 0 839287001 854032384 23933 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23933 13086 16 0 208488 0
vsize: 834016
[startup+630.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15709
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 58638 49 0 0 24 0 10 0 839287001 854032384 23962 4294967295 134512640 134569956 3221224368 3221214320 1079668482 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23962 13086 16 0 208488 0
vsize: 834016
[startup+640.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15709
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 59567 49 0 0 25 0 10 0 839287001 854032384 23989 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 23989 13086 16 0 208488 0
vsize: 834016
[startup+650.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15709
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 60490 49 0 0 25 0 10 0 839287001 854032384 24017 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 24017 13086 16 0 208488 0
vsize: 834016
[startup+660.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15709
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 61414 49 0 0 25 0 10 0 839287001 854032384 24045 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 24045 13086 16 0 208488 0
vsize: 834016
[startup+670.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15709
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 62337 49 0 0 24 0 10 0 839287001 854032384 24073 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 24073 13086 16 0 208488 0
vsize: 834016
[startup+680.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 15709
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 63254 49 0 0 25 0 10 0 839287001 854032384 25006 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 25006 13086 16 0 208488 0
vsize: 834016
[startup+690.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15711
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 64182 49 0 0 25 0 10 0 839287001 854032384 25006 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 25006 13086 16 0 208488 0
vsize: 834016
[startup+700.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15711
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 65098 50 0 0 25 0 10 0 839287001 854032384 25009 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25009 13086 16 0 208488 0
vsize: 834016
[startup+710.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 15711
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 66016 50 0 0 25 0 10 0 839287001 854032384 25034 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25034 13086 16 0 208488 0
vsize: 834016
[startup+720.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15711
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 66929 50 0 0 25 0 10 0 839287001 854032384 25061 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25061 13086 16 0 208488 0
vsize: 834016
[startup+730.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15711
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 67846 51 0 0 25 0 10 0 839287001 854032384 25086 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25086 13086 16 0 208488 0
vsize: 834016
[startup+740.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15711
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 68758 51 0 0 25 0 10 0 839287001 854032384 25112 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25112 13086 16 0 208488 0
vsize: 834016
[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15713
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 69675 51 0 0 25 0 10 0 839287001 854032384 25137 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25137 13086 16 0 208488 0
vsize: 834016
[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15713
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 70588 51 0 0 25 0 10 0 839287001 854032384 25163 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25163 13086 16 0 208488 0
vsize: 834016
[startup+770.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15713
Raw data (stat): 15678 (java) S 15677 29618 29617 0 -1 0 18032 0 1 0 71504 52 0 0 25 0 10 0 839287001 854032384 25187 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25188 13086 16 0 208488 0
vsize: 834016
[startup+780.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15713
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 72415 53 0 0 25 0 10 0 839287001 854032384 25213 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25213 13086 16 0 208488 0
vsize: 834016
[startup+790.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15713
Raw data (stat): 15678 (java) S 15677 29618 29617 0 -1 0 18032 0 1 0 73331 53 0 0 25 0 10 0 839287001 854032384 25237 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25237 13086 16 0 208488 0
vsize: 834016
[startup+800.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15713
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 74242 54 0 0 25 0 10 0 839287001 854032384 25262 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25262 13086 16 0 208488 0
vsize: 834016
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15715
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 75157 55 0 0 25 0 10 0 839287001 854032384 25286 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25286 13086 16 0 208488 0
vsize: 834016
[startup+820.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15715
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 76067 55 0 0 25 0 10 0 839287001 854032384 25311 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25311 13086 16 0 208488 0
vsize: 834016
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15715
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 76982 56 0 0 25 0 10 0 839287001 854032384 25334 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25334 13086 16 0 208488 0
vsize: 834016
[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15715
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 77891 56 0 0 25 0 10 0 839287001 854032384 25359 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25359 13086 16 0 208488 0
vsize: 834016
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15715
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 78805 56 0 0 25 0 10 0 839287001 854032384 25382 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25382 13086 16 0 208488 0
vsize: 834016
[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15715
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 79712 57 0 0 25 0 10 0 839287001 854032384 25406 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25406 13086 16 0 208488 0
vsize: 834016
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15717
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 80627 57 0 0 25 0 10 0 839287001 854032384 25429 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25429 13086 16 0 208488 0
vsize: 834016
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15717
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 81534 57 0 0 24 0 10 0 839287001 854032384 25453 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25453 13086 16 0 208488 0
vsize: 834016
[startup+890.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15717
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 82447 58 0 0 20 0 10 0 839287001 854032384 25477 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25477 13086 16 0 208488 0
vsize: 834016
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15717
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 83354 58 0 0 24 0 10 0 839287001 854032384 25501 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25501 13086 16 0 208488 0
vsize: 834016
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15717
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 84267 59 0 0 25 0 10 0 839287001 854032384 25523 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25523 13086 16 0 208488 0
vsize: 834016
[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15717
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 85179 59 0 0 25 0 10 0 839287001 854032384 25545 4294967295 134512640 134569956 3221224368 3221214720 1131045342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25545 13086 16 0 208488 0
vsize: 834016
[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15719
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 86086 59 0 0 25 0 10 0 839287001 854032384 25569 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25569 13086 16 0 208488 0
vsize: 834016
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15719
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 86999 60 0 0 25 0 10 0 839287001 854032384 25591 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25591 13086 16 0 208488 0
vsize: 834016
[startup+950.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15719
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 87904 60 0 0 24 0 10 0 839287001 854032384 25614 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25614 13086 16 0 208488 0
vsize: 834016
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15719
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 88816 60 0 0 25 0 10 0 839287001 854032384 25636 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25636 13086 16 0 208488 0
vsize: 834016
[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15719
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 89727 60 0 0 25 0 10 0 839287001 854032384 25657 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25657 13086 16 0 208488 0
vsize: 834016
[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15719
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 90631 61 0 0 25 0 10 0 839287001 854032384 25688 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25688 13086 16 0 208488 0
vsize: 834016
[startup+990.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15721
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 91539 61 0 0 21 0 10 0 839287001 854032384 25713 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25713 13086 16 0 208488 0
vsize: 834016
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15721
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 92450 62 0 0 24 0 10 0 839287001 854032384 25734 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25734 13086 16 0 208488 0
vsize: 834016
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15721
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 93354 62 0 0 19 0 10 0 839287001 854032384 25762 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25762 13086 16 0 208488 0
vsize: 834016
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15721
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 94264 62 0 0 20 0 10 0 839287001 854032384 25783 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208504 25783 13086 16 0 208488 0
vsize: 834016
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15721
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 95173 63 0 0 22 0 10 0 839287001 854032384 25812 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25812 13086 16 0 208488 0
vsize: 834016
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15721
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 96076 63 0 0 19 0 10 0 839287001 854032384 25834 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25834 13086 16 0 208488 0
vsize: 834016
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15723
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 96985 64 0 0 20 0 10 0 839287001 854032384 25863 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25863 13086 16 0 208488 0
vsize: 834016
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15723
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 97894 64 0 0 22 0 10 0 839287001 854032384 25887 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25887 13086 16 0 208488 0
vsize: 834016
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15723
Raw data (stat): 15678 (java) S 15677 29618 29617 0 -1 0 18032 0 1 0 98800 65 0 0 24 0 10 0 839287001 854032384 25908 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25908 13086 16 0 208488 0
vsize: 834016
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15723
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 99705 65 0 0 20 0 10 0 839287001 854032384 25935 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25935 13086 16 0 208488 0
vsize: 834016
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15723
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 100613 65 0 0 22 0 10 0 839287001 854032384 25961 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25961 13086 16 0 208488 0
vsize: 834016
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15723
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 101519 66 0 0 23 0 10 0 839287001 854032384 25984 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 25984 13086 16 0 208488 0
vsize: 834016
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15725
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 102419 66 0 0 19 0 10 0 839287001 854032384 26007 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26007 13086 16 0 208488 0
vsize: 834016
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15725
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 103325 66 0 0 20 0 10 0 839287001 854032384 26031 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26031 13086 16 0 208488 0
vsize: 834016
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15725
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 104231 66 0 0 22 0 10 0 839287001 854032384 26056 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26056 13086 16 0 208488 0
vsize: 834016
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15725
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 105138 66 0 0 24 0 10 0 839287001 854032384 26078 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26078 13086 16 0 208488 0
vsize: 834016
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15725
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 106038 66 0 0 19 0 10 0 839287001 854032384 26105 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26105 13086 16 0 208488 0
vsize: 834016
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15725
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 106944 66 0 0 21 0 10 0 839287001 854032384 26128 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26128 13086 16 0 208488 0
vsize: 834016
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15727
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 107850 67 0 0 23 0 10 0 839287001 854032384 26150 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26150 13086 16 0 208488 0
vsize: 834016
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15727
Raw data (stat): 15678 (java) S 15677 29618 29617 0 -1 0 18032 0 1 0 108753 68 0 0 23 0 10 0 839287001 854032384 26170 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26170 13086 16 0 208488 0
vsize: 834016
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15727
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 109655 68 0 0 19 0 10 0 839287001 854032384 26198 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26198 13086 16 0 208488 0
vsize: 834016
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15727
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 110560 69 0 0 21 0 10 0 839287001 854032384 26221 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26221 13086 16 0 208488 0
vsize: 834016
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15727
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 111465 69 0 0 22 0 10 0 839287001 854032384 26240 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26240 13086 16 0 208488 0
vsize: 834016
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15727
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 112364 70 0 0 19 0 10 0 839287001 854032384 26265 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26265 13086 16 0 208488 0
vsize: 834016
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 15729
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 113266 70 0 0 19 0 10 0 839287001 854032384 26290 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26290 13086 16 0 208488 0
vsize: 834016
[startup+1240.09 s]
Raw data (loadavg): 1.08 1.02 1.01 3/69 15781
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 114164 71 0 0 21 0 10 0 839287001 854032384 26312 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26312 13086 16 0 208488 0
vsize: 834016
[startup+1250.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 15782
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 115066 72 0 0 22 0 10 0 839287001 854032384 26332 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26332 13086 16 0 208488 0
vsize: 834016
[startup+1260.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 15782
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 115971 72 0 0 23 0 10 0 839287001 854032384 26353 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26353 13086 16 0 208488 0
vsize: 834016
[startup+1270.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 15782
Raw data (stat): 15678 (java) S 15677 29618 29617 0 -1 0 18032 0 1 0 116869 72 0 0 23 0 10 0 839287001 854032384 26373 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26373 13086 16 0 208488 0
vsize: 834016
[startup+1280.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 15782
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 117772 72 0 0 19 0 10 0 839287001 854032384 26392 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26392 13086 16 0 208488 0
vsize: 834016
[startup+1290.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15784
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 118676 72 0 0 21 0 10 0 839287001 854032384 26426 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26426 13086 16 0 208488 0
vsize: 834016
[startup+1300.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 15784
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 119580 72 0 0 21 0 10 0 839287001 854032384 26441 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26441 13086 16 0 208488 0
vsize: 834016
[startup+1310.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 15786
Raw data (stat): 15678 (java) R 15677 29618 29617 0 -1 0 18032 0 1 0 120484 72 0 0 23 0 10 0 839287001 854032384 26474 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208504 26474 13086 16 0 208488 0
vsize: 834016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.17 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 15788
Raw data (stat): 15678 (java) Z 15677 29618 29617 0 -1 1036 18032 8823 1 0 120486 77 10594 46 24 0 1 0 839287001 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): 1310.17
CPU time (s): 1312.05
CPU user time (s): 1310.81
CPU system time (s): 1.23981
CPU usage (%): 100.143
Max. virtual memory (Kb): 834180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####