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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39171467771
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39171467771
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	1.01184
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30080

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 14:34:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21484 boxname=wulflinc17 idbench=1472 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  1f27e2752aef6110d896dff85e9c13b8  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-n370a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-n370a.opb
IDLAUNCH: 21484
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        853792 kB
Buffers:         28740 kB
Cached:         129172 kB
SwapCached:        528 kB
Active:          35004 kB
Inactive:       125036 kB
HighTotal:      131008 kB
HighFree:        44884 kB
LowTotal:       903652 kB
LowFree:        808908 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            15184 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:56:10 (client local time) WITH STATUS 143 IN 1299.62 SECONDS
stats: 21484 7 1299.62 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/wulflinc17/normalized-mps-v2-13-7-n370a.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) : 1299.074
#### 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): 1.01 1.00 1.00 2/54 23305
Raw data (stat): 23305 (runsolver) R 23304 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839648925 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+10.0006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18009 0 1 0 870 45 0 0 25 0 10 0 839648925 853786624 19329 4294967295 134512640 134569956 3221224368 3221214648 1131191117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208444 19329 13086 16 0 208428 0
vsize: 833776
[startup+20.0011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 1769 46 0 0 24 0 10 0 839648925 854593536 20007 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208641 20007 13086 16 0 208625 0
vsize: 834564
[startup+30.0006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 2666 46 0 0 25 0 10 0 839648925 853753856 20323 4294967295 134512640 134569956 3221224368 3221214412 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208436 20323 13086 16 0 208420 0
vsize: 833744
[startup+40.0019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 3586 46 0 0 25 0 10 0 839648925 854048768 20674 4294967295 134512640 134569956 3221224368 3221214768 1131239110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20674 13086 16 0 208492 0
vsize: 834032
[startup+50.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 4514 47 0 0 25 0 10 0 839648925 854048768 20833 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20833 13086 16 0 208492 0
vsize: 834032
[startup+60.0025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 5434 47 0 0 20 0 10 0 839648925 854048768 20961 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208508 20961 13086 16 0 208492 0
vsize: 834032
[startup+70.0024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 6363 47 0 0 24 0 10 0 839648925 854016000 21200 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21200 13086 16 0 208484 0
vsize: 834000
[startup+80.0028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 7309 47 0 0 25 0 10 0 839648925 854016000 21292 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21292 13086 16 0 208484 0
vsize: 834000
[startup+90.0034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 8252 47 0 0 25 0 10 0 839648925 854016000 21382 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21382 13086 16 0 208484 0
vsize: 834000
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 9196 47 0 0 25 0 10 0 839648925 854016000 21465 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21465 13086 16 0 208484 0
vsize: 834000
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 10142 47 0 0 24 0 10 0 839648925 854016000 21543 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21543 13086 16 0 208484 0
vsize: 834000
[startup+120.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 11090 48 0 0 25 0 10 0 839648925 854016000 21613 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21613 13086 16 0 208484 0
vsize: 834000
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 12035 48 0 0 25 0 10 0 839648925 854016000 21682 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21682 13086 16 0 208484 0
vsize: 834000
[startup+140.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 12981 48 0 0 25 0 10 0 839648925 854016000 21748 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21748 13086 16 0 208484 0
vsize: 834000
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 13926 49 0 0 24 0 10 0 839648925 854016000 21812 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21812 13086 16 0 208484 0
vsize: 834000
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 14876 49 0 0 25 0 10 0 839648925 854016000 21870 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 21870 13086 16 0 208484 0
vsize: 834000
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 15821 49 0 0 25 0 10 0 839648925 854016000 21930 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 21930 13086 16 0 208484 0
vsize: 834000
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 16757 49 0 0 25 0 10 0 839648925 854016000 21987 4294967295 134512640 134569956 3221224368 3221214216 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 21987 13086 16 0 208484 0
vsize: 834000
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 17678 50 0 0 25 0 10 0 839648925 854016000 22039 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22039 13086 16 0 208484 0
vsize: 834000
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 18601 50 0 0 25 0 10 0 839648925 854016000 22350 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22350 13086 16 0 208484 0
vsize: 834000
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 19545 50 0 0 25 0 10 0 839648925 854016000 22399 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22399 13086 16 0 208484 0
vsize: 834000
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 20485 51 0 0 25 0 10 0 839648925 854016000 22450 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22450 13086 16 0 208484 0
vsize: 834000
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 21426 51 0 0 25 0 10 0 839648925 854016000 22499 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22499 13086 16 0 208484 0
vsize: 834000
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 22368 51 0 0 25 0 10 0 839648925 854016000 22546 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22546 13086 16 0 208484 0
vsize: 834000
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 23309 51 0 0 25 0 10 0 839648925 854016000 22592 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22592 13086 16 0 208484 0
vsize: 834000
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 24248 52 0 0 25 0 10 0 839648925 854016000 22640 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22640 13086 16 0 208484 0
vsize: 834000
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 25191 52 0 0 25 0 10 0 839648925 854016000 22682 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22682 13086 16 0 208484 0
vsize: 834000
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 26130 53 0 0 25 0 10 0 839648925 854016000 22726 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22726 13086 16 0 208484 0
vsize: 834000
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 27068 53 0 0 25 0 10 0 839648925 854016000 22770 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22770 13086 16 0 208484 0
vsize: 834000
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 28010 54 0 0 25 0 10 0 839648925 854016000 22810 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22810 13086 16 0 208484 0
vsize: 834000
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 28948 54 0 0 25 0 10 0 839648925 854016000 22852 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22852 13086 16 0 208484 0
vsize: 834000
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 29888 55 0 0 25 0 10 0 839648925 854016000 22891 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22891 13086 16 0 208484 0
vsize: 834000
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 30825 55 0 0 25 0 10 0 839648925 854016000 22931 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22931 13086 16 0 208484 0
vsize: 834000
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 31766 55 0 0 25 0 10 0 839648925 854016000 22968 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 22968 13086 16 0 208484 0
vsize: 834000
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 32702 55 0 0 25 0 10 0 839648925 854016000 23008 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23008 13086 16 0 208484 0
vsize: 834000
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 33638 55 0 0 25 0 10 0 839648925 854016000 23045 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23045 13086 16 0 208484 0
vsize: 834000
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 34576 55 0 0 25 0 10 0 839648925 854016000 23082 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23082 13086 16 0 208484 0
vsize: 834000
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 35510 56 0 0 25 0 10 0 839648925 854016000 23120 4294967295 134512640 134569956 3221224368 3221214764 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23120 13086 16 0 208484 0
vsize: 834000
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 36449 56 0 0 25 0 10 0 839648925 854016000 23155 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23155 13086 16 0 208484 0
vsize: 834000
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 37384 56 0 0 24 0 10 0 839648925 854016000 23192 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23192 13086 16 0 208484 0
vsize: 834000
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 38321 57 0 0 25 0 10 0 839648925 854016000 23226 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23226 13086 16 0 208484 0
vsize: 834000
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 39257 57 0 0 25 0 10 0 839648925 854016000 23259 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23259 13086 16 0 208484 0
vsize: 834000
[startup+430.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 40192 58 0 0 25 0 10 0 839648925 854016000 23294 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23294 13086 16 0 208484 0
vsize: 834000
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 41130 58 0 0 25 0 10 0 839648925 854016000 23327 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23327 13086 16 0 208484 0
vsize: 834000
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 42062 59 0 0 25 0 10 0 839648925 854016000 23361 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23361 13086 16 0 208484 0
vsize: 834000
[startup+460.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 42998 59 0 0 25 0 10 0 839648925 854016000 23393 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23393 13086 16 0 208484 0
vsize: 834000
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 43929 59 0 0 24 0 10 0 839648925 854016000 23426 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23426 13086 16 0 208484 0
vsize: 834000
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 44865 60 0 0 25 0 10 0 839648925 854016000 23457 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23457 13086 16 0 208484 0
vsize: 834000
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 45800 60 0 0 25 0 10 0 839648925 854016000 23488 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23488 13086 16 0 208484 0
vsize: 834000
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 46731 60 0 0 25 0 10 0 839648925 854016000 23520 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23520 13086 16 0 208484 0
vsize: 834000
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 47666 60 0 0 25 0 10 0 839648925 854016000 23550 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23550 13086 16 0 208484 0
vsize: 834000
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 48596 61 0 0 24 0 10 0 839648925 854016000 23582 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23582 13086 16 0 208484 0
vsize: 834000
[startup+530.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 49529 61 0 0 25 0 10 0 839648925 854016000 23612 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23612 13086 16 0 208484 0
vsize: 834000
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 50462 61 0 0 25 0 10 0 839648925 854016000 23641 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23641 13086 16 0 208484 0
vsize: 834000
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 51391 61 0 0 24 0 10 0 839648925 854016000 23673 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23673 13086 16 0 208484 0
vsize: 834000
[startup+560.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 52323 62 0 0 25 0 10 0 839648925 854016000 23701 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23701 13086 16 0 208484 0
vsize: 834000
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 53256 62 0 0 25 0 10 0 839648925 854016000 23730 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23730 13086 16 0 208484 0
vsize: 834000
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 54187 63 0 0 25 0 10 0 839648925 854016000 23758 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23758 13086 16 0 208484 0
vsize: 834000
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 55114 63 0 0 25 0 10 0 839648925 854016000 23788 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23788 13086 16 0 208484 0
vsize: 834000
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 56046 63 0 0 25 0 10 0 839648925 854016000 23815 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23815 13086 16 0 208484 0
vsize: 834000
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 56977 64 0 0 25 0 10 0 839648925 854016000 23843 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23843 13086 16 0 208484 0
vsize: 834000
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 57906 64 0 0 25 0 10 0 839648925 854016000 23870 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23870 13086 16 0 208484 0
vsize: 834000
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 58833 65 0 0 25 0 10 0 839648925 854016000 23899 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23899 13086 16 0 208484 0
vsize: 834000
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 59762 65 0 0 25 0 10 0 839648925 854016000 23925 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23925 13086 16 0 208484 0
vsize: 834000
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 60692 66 0 0 25 0 10 0 839648925 854016000 23952 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23952 13086 16 0 208484 0
vsize: 834000
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 61621 66 0 0 25 0 10 0 839648925 854016000 23978 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 23978 13086 16 0 208484 0
vsize: 834000
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 62545 66 0 0 24 0 10 0 839648925 854016000 24006 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 24006 13086 16 0 208484 0
vsize: 834000
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 63474 67 0 0 25 0 10 0 839648925 854016000 24032 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 24032 13086 16 0 208484 0
vsize: 834000
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 64403 67 0 0 25 0 10 0 839648925 854016000 24057 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 24057 13086 16 0 208484 0
vsize: 834000
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 65331 67 0 0 25 0 10 0 839648925 854016000 24083 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 24083 13086 16 0 208484 0
vsize: 834000
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 66255 67 0 0 25 0 10 0 839648925 854016000 24999 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 24999 13086 16 0 208484 0
vsize: 834000
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 67180 68 0 0 25 0 10 0 839648925 854016000 24999 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 24999 13086 16 0 208484 0
vsize: 834000
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 68098 68 0 0 25 0 10 0 839648925 854016000 25018 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25018 13086 16 0 208484 0
vsize: 834000
[startup+740.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 69017 69 0 0 25 0 10 0 839648925 854016000 25044 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25044 13086 16 0 208484 0
vsize: 834000
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 69935 69 0 0 25 0 10 0 839648925 854016000 25068 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25068 13086 16 0 208484 0
vsize: 834000
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 70851 70 0 0 25 0 10 0 839648925 854016000 25092 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25092 13086 16 0 208484 0
vsize: 834000
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 71764 71 0 0 25 0 10 0 839648925 854016000 25117 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25117 13086 16 0 208484 0
vsize: 834000
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 72683 71 0 0 24 0 10 0 839648925 854016000 25142 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25142 13086 16 0 208484 0
vsize: 834000
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 73601 71 0 0 24 0 10 0 839648925 854016000 25167 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25167 13086 16 0 208484 0
vsize: 834000
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 74519 71 0 0 24 0 10 0 839648925 854016000 25190 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25190 13086 16 0 208484 0
vsize: 834000
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 75436 72 0 0 24 0 10 0 839648925 854016000 25214 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25214 13086 16 0 208484 0
vsize: 834000
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 76356 72 0 0 25 0 10 0 839648925 854016000 25236 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25236 13086 16 0 208484 0
vsize: 834000
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 77271 73 0 0 25 0 10 0 839648925 854016000 25259 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25259 13086 16 0 208484 0
vsize: 834000
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 78186 73 0 0 25 0 10 0 839648925 854016000 25283 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25283 13086 16 0 208484 0
vsize: 834000
[startup+850.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 79101 73 0 0 25 0 10 0 839648925 854016000 25306 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25306 13086 16 0 208484 0
vsize: 834000
[startup+860.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 80015 74 0 0 25 0 10 0 839648925 854016000 25329 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25329 13086 16 0 208484 0
vsize: 834000
[startup+870.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 80930 74 0 0 25 0 10 0 839648925 854016000 25352 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25352 13086 16 0 208484 0
vsize: 834000
[startup+880.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 81844 75 0 0 25 0 10 0 839648925 854016000 25374 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25374 13086 16 0 208484 0
vsize: 834000
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 82758 75 0 0 25 0 10 0 839648925 854016000 25397 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25397 13086 16 0 208484 0
vsize: 834000
[startup+900.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 83671 75 0 0 25 0 10 0 839648925 854016000 25419 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25419 13086 16 0 208484 0
vsize: 834000
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 84584 76 0 0 24 0 10 0 839648925 854016000 25442 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25442 13086 16 0 208484 0
vsize: 834000
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 85499 76 0 0 25 0 10 0 839648925 854016000 25463 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25463 13086 16 0 208484 0
vsize: 834000
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 86413 77 0 0 25 0 10 0 839648925 854016000 25485 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25485 13086 16 0 208484 0
vsize: 834000
[startup+940.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 87326 77 0 0 23 0 10 0 839648925 854016000 25507 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25507 13086 16 0 208484 0
vsize: 834000
[startup+950.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 88238 77 0 0 25 0 10 0 839648925 854016000 25528 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25528 13086 16 0 208484 0
vsize: 834000
[startup+960.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 89150 78 0 0 25 0 10 0 839648925 854016000 25551 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25551 13086 16 0 208484 0
vsize: 834000
[startup+970.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 90061 78 0 0 25 0 10 0 839648925 854016000 25573 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25573 13086 16 0 208484 0
vsize: 834000
[startup+980.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 90971 79 0 0 24 0 10 0 839648925 854016000 25602 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25602 13086 16 0 208484 0
vsize: 834000
[startup+990.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 91887 79 0 0 25 0 10 0 839648925 854016000 25626 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 25626 13086 16 0 208484 0
vsize: 834000
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 92798 80 0 0 22 0 10 0 839648925 854016000 25649 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25649 13086 16 0 208484 0
vsize: 834000
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 93709 80 0 0 25 0 10 0 839648925 854016000 25676 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25676 13086 16 0 208484 0
vsize: 834000
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 94616 80 0 0 25 0 10 0 839648925 854016000 25700 4294967295 134512640 134569956 3221224368 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25700 13086 16 0 208484 0
vsize: 834000
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 95526 81 0 0 25 0 10 0 839648925 854016000 25722 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25722 13086 16 0 208484 0
vsize: 834000
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 96435 81 0 0 24 0 10 0 839648925 854016000 25749 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25749 13086 16 0 208484 0
vsize: 834000
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 97350 82 0 0 25 0 10 0 839648925 854016000 25768 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25768 13086 16 0 208484 0
vsize: 834000
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 98259 82 0 0 25 0 10 0 839648925 854016000 25795 4294967295 134512640 134569956 3221224368 3221214232 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25795 13086 16 0 208484 0
vsize: 834000
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 99169 82 0 0 21 0 10 0 839648925 854016000 25818 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25818 13086 16 0 208484 0
vsize: 834000
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 100079 82 0 0 24 0 10 0 839648925 854016000 25838 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25838 13086 16 0 208484 0
vsize: 834000
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 100990 82 0 0 25 0 10 0 839648925 854016000 25866 4294967295 134512640 134569956 3221224368 3221213368 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25866 13086 16 0 208484 0
vsize: 834000
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 101902 83 0 0 25 0 10 0 839648925 854016000 25889 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25889 13086 16 0 208484 0
vsize: 834000
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 102810 83 0 0 25 0 10 0 839648925 854016000 25909 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25909 13086 16 0 208484 0
vsize: 834000
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 103718 83 0 0 25 0 10 0 839648925 854016000 25938 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25938 13086 16 0 208484 0
vsize: 834000
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 104625 84 0 0 19 0 10 0 839648925 854016000 25961 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25961 13086 16 0 208484 0
vsize: 834000
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 105537 84 0 0 23 0 10 0 839648925 854016000 25983 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 25983 13086 16 0 208484 0
vsize: 834000
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 106444 84 0 0 22 0 10 0 839648925 854016000 26003 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26003 13086 16 0 208484 0
vsize: 834000
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 107351 84 0 0 20 0 10 0 839648925 854016000 26028 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26028 13086 16 0 208484 0
vsize: 834000
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 108263 85 0 0 24 0 10 0 839648925 854016000 26051 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26051 13086 16 0 208484 0
vsize: 834000
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 109169 85 0 0 22 0 10 0 839648925 854016000 26073 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26073 13086 16 0 208484 0
vsize: 834000
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 110076 86 0 0 21 0 10 0 839648925 854016000 26097 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26097 13086 16 0 208484 0
vsize: 834000
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 110981 86 0 0 19 0 10 0 839648925 854016000 26119 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26119 13086 16 0 208484 0
vsize: 834000
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 111893 86 0 0 22 0 10 0 839648925 854016000 26140 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26140 13086 16 0 208484 0
vsize: 834000
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 112798 87 0 0 21 0 10 0 839648925 854016000 26160 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26160 13086 16 0 208484 0
vsize: 834000
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 113703 87 0 0 20 0 10 0 839648925 854016000 26186 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26186 13086 16 0 208484 0
vsize: 834000
[startup+1240.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 114614 88 0 0 24 0 10 0 839648925 854016000 26204 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26204 13086 16 0 208484 0
vsize: 834000
[startup+1250.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 115518 89 0 0 22 0 10 0 839648925 854016000 26227 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26227 13086 16 0 208484 0
vsize: 834000
[startup+1260.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 116423 89 0 0 19 0 10 0 839648925 854016000 26252 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26252 13086 16 0 208484 0
vsize: 834000
[startup+1270.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) S 23304 7475 7474 0 -1 0 18010 0 1 0 117332 89 0 0 24 0 10 0 839648925 854016000 26273 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26273 13086 16 0 208484 0
vsize: 834000
[startup+1280.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 118235 90 0 0 21 0 10 0 839648925 854016000 26294 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208500 26294 13086 16 0 208484 0
vsize: 834000
[startup+1290.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 119138 90 0 0 20 0 10 0 839648925 854016000 26315 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 26315 13086 16 0 208484 0
vsize: 834000
[startup+1300.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 23314
Raw data (stat): 23305 (java) R 23304 7475 7474 0 -1 0 18010 0 1 0 120043 90 0 0 18 0 10 0 839648925 854016000 26337 4294967295 134512640 134569956 3221224368 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 26337 13086 16 0 208484 0
vsize: 834000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23316
Raw data (stat): 23305 (java) Z 23304 7475 7474 0 -1 1036 18010 7935 1 0 120047 90 9782 41 19 0 1 0 839648925 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): 1300.12
CPU time (s): 1299.62
CPU user time (s): 1298.3
CPU system time (s): 1.3188
CPU usage (%): 99.9614
Max. virtual memory (Kb): 834564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####