PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb
MD5SUM	03cb86a701c2d8e08ff4c99e11fac5c4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	358400
Optimality of the best value was proved	NO
Number of terms in the objective function	372
Biggest coefficient in the objective function	2684354560
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	36507467742
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	2684354560
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	36507467742
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	25.8571
Number of variables	372
Total number of constraints	19
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	19
Minimum length of a constraint	31
Maximum length of a constraint	120
Trace number 29684

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        692744 kB
Buffers:         29904 kB
Cached:         282664 kB
SwapCached:       3972 kB
Active:          65516 kB
Inactive:       253920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692492 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16756 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:44:39 (client local time) WITH STATUS 143 IN 1225.85 SECONDS
stats: 21088 7 1225.85 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/wulflinc1/normalized-mps-v2-20-10-bk4x3.opb
c reading problem ... done. Time 0.874 ms.
c #vars     372
c #constraints  26
c starts	: 3
c conflicts	: 446
c decisions	: 2734
c propagations	: 27822
c inspects	: 1990823
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 446
c root simplifications	: 449
s UNKNOWN
c Total CPU time (ms) : 1219.082
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 0.99 2/55 20747
Raw data (stat): 20747 (runsolver) R 20746 8378 8377 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 723057698 1052672 97 4294967295 134512640 135381576 3221224400 3221219772 135024803 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+9.99973 s]
Raw data (loadavg): 1.08 1.02 1.00 3/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 801 37 0 0 25 0 11 0 723057698 857427968 19612 4294967295 134512640 134569956 3221224368 3221214540 1130915524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 19612 13086 16 0 209317 0
vsize: 837332
[startup+20.0005 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 1770 38 0 0 25 0 11 0 723057698 857427968 19751 4294967295 134512640 134569956 3221224368 3221214584 1131202906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 19751 13086 16 0 209317 0
vsize: 837332
[startup+30.0013 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 2736 38 0 0 25 0 11 0 723057698 857427968 19853 4294967295 134512640 134569956 3221224368 3221214680 1131242976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 19853 13086 16 0 209317 0
vsize: 837332
[startup+40.0011 s]
Raw data (loadavg): 1.05 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 3705 38 0 0 25 0 11 0 723057698 857427968 20073 4294967295 134512640 134569956 3221224368 3221214592 1131187822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20073 13086 16 0 209317 0
vsize: 837332
[startup+50.0019 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 4688 38 0 0 25 0 11 0 723057698 857427968 20140 4294967295 134512640 134569956 3221224368 3221214680 1131247616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20140 13086 16 0 209317 0
vsize: 837332
[startup+60.0016 s]
Raw data (loadavg): 1.04 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 5676 38 0 0 25 0 11 0 723057698 857427968 20199 4294967295 134512640 134569956 3221224368 3221214704 1131228759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20199 13086 16 0 209317 0
vsize: 837332
[startup+70.0024 s]
Raw data (loadavg): 1.03 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 6663 38 0 0 25 0 11 0 723057698 857427968 20233 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20233 13086 16 0 209317 0
vsize: 837332
[startup+80.0032 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 7649 38 0 0 25 0 11 0 723057698 857427968 20262 4294967295 134512640 134569956 3221224368 3221214680 1131244814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20262 13086 16 0 209317 0
vsize: 837332
[startup+90.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 8636 38 0 0 25 0 11 0 723057698 857427968 20287 4294967295 134512640 134569956 3221224368 3221214700 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20287 13086 16 0 209317 0
vsize: 837332
[startup+100.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 9624 38 0 0 25 0 11 0 723057698 857427968 20354 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20354 13086 16 0 209317 0
vsize: 837332
[startup+110.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 10615 38 0 0 25 0 11 0 723057698 857427968 20377 4294967295 134512640 134569956 3221224368 3221214592 1131187206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20377 13086 16 0 209317 0
vsize: 837332
[startup+120.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 11606 38 0 0 25 0 11 0 723057698 857427968 20397 4294967295 134512640 134569956 3221224368 3221214584 1131202937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20397 13086 16 0 209317 0
vsize: 837332
[startup+130.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 12597 38 0 0 25 0 11 0 723057698 857427968 20418 4294967295 134512640 134569956 3221224368 3221214676 1131188260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20418 13086 16 0 209317 0
vsize: 837332
[startup+140.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 13589 38 0 0 25 0 11 0 723057698 857427968 20435 4294967295 134512640 134569956 3221224368 3221214676 1131188260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20435 13086 16 0 209317 0
vsize: 837332
[startup+150.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 14581 38 0 0 25 0 11 0 723057698 857427968 20452 4294967295 134512640 134569956 3221224368 3221214584 1131203069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20452 13086 16 0 209317 0
vsize: 837332
[startup+160.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 15571 38 0 0 25 0 11 0 723057698 857427968 20469 4294967295 134512640 134569956 3221224368 3221214680 1131243307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20469 13086 16 0 209317 0
vsize: 837332
[startup+170.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 16563 38 0 0 25 0 11 0 723057698 857427968 20486 4294967295 134512640 134569956 3221224368 3221214828 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20486 13086 16 0 209317 0
vsize: 837332
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 17555 39 0 0 25 0 11 0 723057698 857427968 20500 4294967295 134512640 134569956 3221224368 3221214584 1131203163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20500 13086 16 0 209317 0
vsize: 837332
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 18548 39 0 0 25 0 11 0 723057698 857427968 20514 4294967295 134512640 134569956 3221224368 3221214680 1131244652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20514 13086 16 0 209317 0
vsize: 837332
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) S 20746 8378 8377 0 -1 0 18057 0 1 0 19539 39 0 0 25 0 11 0 723057698 857427968 20528 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20528 13086 16 0 209317 0
vsize: 837332
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 20531 39 0 0 25 0 11 0 723057698 857427968 20545 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20545 13086 16 0 209317 0
vsize: 837332
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 21524 39 0 0 19 0 11 0 723057698 857427968 20557 4294967295 134512640 134569956 3221224368 3221214536 1131204253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20557 13086 16 0 209317 0
vsize: 837332
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 22516 39 0 0 25 0 11 0 723057698 857427968 20571 4294967295 134512640 134569956 3221224368 3221214568 1131148372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20571 13086 16 0 209317 0
vsize: 837332
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 23505 39 0 0 25 0 11 0 723057698 857427968 20582 4294967295 134512640 134569956 3221224368 3221214680 1131243328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20582 13086 16 0 209317 0
vsize: 837332
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 24492 39 0 0 25 0 11 0 723057698 857427968 20596 4294967295 134512640 134569956 3221224368 3221214680 1131243023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20596 13086 16 0 209317 0
vsize: 837332
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 25477 39 0 0 24 0 11 0 723057698 857427968 20641 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20641 13086 16 0 209317 0
vsize: 837332
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 26467 39 0 0 25 0 11 0 723057698 857427968 20677 4294967295 134512640 134569956 3221224368 3221214568 1131148302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20677 13086 16 0 209317 0
vsize: 837332
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 27458 39 0 0 25 0 11 0 723057698 857427968 20710 4294967295 134512640 134569956 3221224368 3221214680 1131244652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20710 13086 16 0 209317 0
vsize: 837332
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 28450 39 0 0 25 0 11 0 723057698 857427968 20721 4294967295 134512640 134569956 3221224368 3221214584 1131203153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20721 13086 16 0 209317 0
vsize: 837332
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 29443 39 0 0 25 0 11 0 723057698 857427968 20733 4294967295 134512640 134569956 3221224368 3221214672 1131168761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20733 13086 16 0 209317 0
vsize: 837332
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 30434 39 0 0 25 0 11 0 723057698 857427968 20744 4294967295 134512640 134569956 3221224368 3221214568 1131148276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20744 13086 16 0 209317 0
vsize: 837332
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 31426 39 0 0 25 0 11 0 723057698 857427968 20755 4294967295 134512640 134569956 3221224368 3221214584 1131202900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20755 13086 16 0 209317 0
vsize: 837332
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 32418 39 0 0 25 0 11 0 723057698 857427968 20764 4294967295 134512640 134569956 3221224368 3221214672 1131168818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20764 13086 16 0 209317 0
vsize: 837332
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 33410 39 0 0 25 0 11 0 723057698 857427968 20775 4294967295 134512640 134569956 3221224368 3221214680 1131245100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20775 13086 16 0 209317 0
vsize: 837332
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 34402 39 0 0 25 0 11 0 723057698 857427968 20787 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20787 13086 16 0 209317 0
vsize: 837332
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 35394 39 0 0 25 0 11 0 723057698 857427968 20798 4294967295 134512640 134569956 3221224368 3221214584 1131202939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20798 13086 16 0 209317 0
vsize: 837332
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 36386 39 0 0 25 0 11 0 723057698 857427968 20806 4294967295 134512640 134569956 3221224368 3221214680 1131245293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20806 13086 16 0 209317 0
vsize: 837332
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 37378 39 0 0 25 0 11 0 723057698 857427968 20815 4294967295 134512640 134569956 3221224368 3221214680 1131243189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20815 13086 16 0 209317 0
vsize: 837332
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 38370 39 0 0 25 0 11 0 723057698 857427968 20826 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20826 13086 16 0 209317 0
vsize: 837332
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 39362 39 0 0 25 0 11 0 723057698 857427968 20835 4294967295 134512640 134569956 3221224368 3221214592 1131187206 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20835 13086 16 0 209317 0
vsize: 837332
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 40354 39 0 0 25 0 11 0 723057698 857427968 20846 4294967295 134512640 134569956 3221224368 3221214568 1131148279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20846 13086 16 0 209317 0
vsize: 837332
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 41346 40 0 0 25 0 11 0 723057698 857427968 20855 4294967295 134512640 134569956 3221224368 3221214680 1131245028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20855 13086 16 0 209317 0
vsize: 837332
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 42338 40 0 0 25 0 11 0 723057698 857427968 20863 4294967295 134512640 134569956 3221224368 3221214680 1131244587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20863 13086 16 0 209317 0
vsize: 837332
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) S 20746 8378 8377 0 -1 0 18057 0 1 0 43330 40 0 0 25 0 11 0 723057698 857427968 20872 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20872 13086 16 0 209317 0
vsize: 837332
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 44322 40 0 0 25 0 11 0 723057698 857427968 20883 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20883 13086 16 0 209317 0
vsize: 837332
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 45314 40 0 0 25 0 11 0 723057698 857427968 20891 4294967295 134512640 134569956 3221224368 3221214680 1131243307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20891 13086 16 0 209317 0
vsize: 837332
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 46307 40 0 0 25 0 11 0 723057698 857427968 20900 4294967295 134512640 134569956 3221224368 3221214680 1131244652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20900 13086 16 0 209317 0
vsize: 837332
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 47299 40 0 0 25 0 11 0 723057698 857427968 20908 4294967295 134512640 134569956 3221224368 3221214584 1131202840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20908 13086 16 0 209317 0
vsize: 837332
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 48290 40 0 0 25 0 11 0 723057698 857427968 20917 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20917 13086 16 0 209317 0
vsize: 837332
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 49283 40 0 0 25 0 11 0 723057698 857427968 20925 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20925 13086 16 0 209317 0
vsize: 837332
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 50275 40 0 0 25 0 11 0 723057698 857427968 20935 4294967295 134512640 134569956 3221224368 3221214584 1131203816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20935 13086 16 0 209317 0
vsize: 837332
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 51268 40 0 0 25 0 11 0 723057698 857427968 20943 4294967295 134512640 134569956 3221224368 3221214568 1131148269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20943 13086 16 0 209317 0
vsize: 837332
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 52259 40 0 0 25 0 11 0 723057698 857427968 20952 4294967295 134512640 134569956 3221224368 3221214680 1131247616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20952 13086 16 0 209317 0
vsize: 837332
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 53251 40 0 0 25 0 11 0 723057698 857427968 20960 4294967295 134512640 134569956 3221224368 3221214680 1131245100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20960 13086 16 0 209317 0
vsize: 837332
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 54243 40 0 0 25 0 11 0 723057698 857427968 20966 4294967295 134512640 134569956 3221224368 3221214680 1131245022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20966 13086 16 0 209317 0
vsize: 837332
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 55235 41 0 0 25 0 11 0 723057698 857427968 20975 4294967295 134512640 134569956 3221224368 3221214680 1131247520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20975 13086 16 0 209317 0
vsize: 837332
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 56227 41 0 0 25 0 11 0 723057698 857427968 20983 4294967295 134512640 134569956 3221224368 3221214680 1131243023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20983 13086 16 0 209317 0
vsize: 837332
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 57218 41 0 0 25 0 11 0 723057698 857427968 20992 4294967295 134512640 134569956 3221224368 3221214584 1131202963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 20992 13086 16 0 209317 0
vsize: 837332
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 58211 41 0 0 25 0 11 0 723057698 857427968 21000 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21000 13086 16 0 209317 0
vsize: 837332
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 59203 41 0 0 25 0 11 0 723057698 857427968 21006 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21006 13086 16 0 209317 0
vsize: 837332
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 60195 41 0 0 25 0 11 0 723057698 857427968 21014 4294967295 134512640 134569956 3221224368 3221214584 1131202939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21014 13086 16 0 209317 0
vsize: 837332
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 61186 41 0 0 25 0 11 0 723057698 857427968 21023 4294967295 134512640 134569956 3221224368 3221214584 1131203241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21023 13086 16 0 209317 0
vsize: 837332
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 62178 41 0 0 25 0 11 0 723057698 857427968 21031 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21031 13086 16 0 209317 0
vsize: 837332
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 63171 41 0 0 25 0 11 0 723057698 857427968 21037 4294967295 134512640 134569956 3221224368 3221214680 1131244642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21037 13086 16 0 209317 0
vsize: 837332
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 64163 41 0 0 25 0 11 0 723057698 857427968 21045 4294967295 134512640 134569956 3221224368 3221214680 1131244652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21045 13086 16 0 209317 0
vsize: 837332
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 65155 41 0 0 25 0 11 0 723057698 857427968 21051 4294967295 134512640 134569956 3221224368 3221214584 1131203135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21051 13086 16 0 209317 0
vsize: 837332
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 66146 42 0 0 25 0 11 0 723057698 857427968 21060 4294967295 134512640 134569956 3221224368 3221214488 1131343209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21060 13086 16 0 209317 0
vsize: 837332
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 67138 42 0 0 25 0 11 0 723057698 857427968 21065 4294967295 134512640 134569956 3221224368 3221214680 1131244299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21065 13086 16 0 209317 0
vsize: 837332
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 68131 42 0 0 25 0 11 0 723057698 857427968 21074 4294967295 134512640 134569956 3221224368 3221214672 1131168813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21074 13086 16 0 209317 0
vsize: 837332
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 69123 42 0 0 25 0 11 0 723057698 857427968 21079 4294967295 134512640 134569956 3221224368 3221214568 1131148353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21079 13086 16 0 209317 0
vsize: 837332
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 70114 42 0 0 25 0 11 0 723057698 857427968 21088 4294967295 134512640 134569956 3221224368 3221214680 1131245293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21088 13086 16 0 209317 0
vsize: 837332
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 71106 42 0 0 25 0 11 0 723057698 857427968 21094 4294967295 134512640 134569956 3221224368 3221214568 1131148279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21094 13086 16 0 209317 0
vsize: 837332
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 72098 42 0 0 25 0 11 0 723057698 857427968 21102 4294967295 134512640 134569956 3221224368 3221214592 1131187776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21102 13086 16 0 209317 0
vsize: 837332
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 73090 42 0 0 25 0 11 0 723057698 857427968 21108 4294967295 134512640 134569956 3221224368 3221214584 1131202979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21108 13086 16 0 209317 0
vsize: 837332
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 74082 42 0 0 25 0 11 0 723057698 857427968 21116 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21116 13086 16 0 209317 0
vsize: 837332
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 75073 42 0 0 25 0 11 0 723057698 857427968 21122 4294967295 134512640 134569956 3221224368 3221214680 1131244652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21122 13086 16 0 209317 0
vsize: 837332
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 76065 42 0 0 25 0 11 0 723057698 857427968 21128 4294967295 134512640 134569956 3221224368 3221214680 1131244652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21128 13086 16 0 209317 0
vsize: 837332
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 77057 43 0 0 25 0 11 0 723057698 857427968 21136 4294967295 134512640 134569956 3221224368 3221214672 1131168799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21136 13086 16 0 209317 0
vsize: 837332
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 78049 43 0 0 25 0 11 0 723057698 857427968 21142 4294967295 134512640 134569956 3221224368 3221214584 1131204258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21142 13086 16 0 209317 0
vsize: 837332
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 79041 43 0 0 25 0 11 0 723057698 857427968 21147 4294967295 134512640 134569956 3221224368 3221214672 1131168799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21147 13086 16 0 209317 0
vsize: 837332
[startup+810.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 80032 43 0 0 25 0 11 0 723057698 857427968 21161 4294967295 134512640 134569956 3221224368 3221214672 1131168799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21161 13086 16 0 209317 0
vsize: 837332
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 81023 43 0 0 25 0 11 0 723057698 857427968 21167 4294967295 134512640 134569956 3221224368 3221214584 1131202992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21167 13086 16 0 209317 0
vsize: 837332
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 82014 43 0 0 25 0 11 0 723057698 857427968 21172 4294967295 134512640 134569956 3221224368 3221214680 1131244247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21172 13086 16 0 209317 0
vsize: 837332
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 83005 44 0 0 25 0 11 0 723057698 857427968 21181 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21181 13086 16 0 209317 0
vsize: 837332
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 83995 44 0 0 25 0 11 0 723057698 857427968 21187 4294967295 134512640 134569956 3221224368 3221214584 1131203099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21187 13086 16 0 209317 0
vsize: 837332
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 84987 44 0 0 25 0 11 0 723057698 857427968 21192 4294967295 134512640 134569956 3221224368 3221214680 1131243307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21192 13086 16 0 209317 0
vsize: 837332
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 85977 45 0 0 25 0 11 0 723057698 857427968 21198 4294967295 134512640 134569956 3221224368 3221214680 1131245100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21198 13086 16 0 209317 0
vsize: 837332
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 86968 45 0 0 25 0 11 0 723057698 857427968 21206 4294967295 134512640 134569956 3221224368 3221214720 1131229472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21206 13086 16 0 209317 0
vsize: 837332
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 87959 45 0 0 25 0 11 0 723057698 857427968 21212 4294967295 134512640 134569956 3221224368 3221214584 1131204276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21212 13086 16 0 209317 0
vsize: 837332
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 88948 45 0 0 25 0 11 0 723057698 857427968 21218 4294967295 134512640 134569956 3221224368 3221214680 1131247085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21218 13086 16 0 209317 0
vsize: 837332
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 89932 46 0 0 25 0 11 0 723057698 857427968 21223 4294967295 134512640 134569956 3221224368 3221214584 1131202939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21223 13086 16 0 209317 0
vsize: 837332
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 90914 46 0 0 25 0 11 0 723057698 857427968 21232 4294967295 134512640 134569956 3221224368 3221214584 1131203069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21232 13086 16 0 209317 0
vsize: 837332
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 91896 46 0 0 25 0 11 0 723057698 857427968 21297 4294967295 134512640 134569956 3221224368 3221214680 1131244964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21297 13086 16 0 209317 0
vsize: 837332
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 92880 46 0 0 25 0 11 0 723057698 857427968 21322 4294967295 134512640 134569956 3221224368 3221214568 1131148336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21322 13086 16 0 209317 0
vsize: 837332
[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 93865 47 0 0 25 0 11 0 723057698 857427968 21359 4294967295 134512640 134569956 3221224368 3221214584 1131202939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21359 13086 16 0 209317 0
vsize: 837332
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 94854 47 0 0 25 0 11 0 723057698 857427968 21405 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21405 13086 16 0 209317 0
vsize: 837332
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 95845 47 0 0 25 0 11 0 723057698 857427968 21412 4294967295 134512640 134569956 3221224368 3221214680 1131247136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21412 13086 16 0 209317 0
vsize: 837332
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 96835 47 0 0 25 0 11 0 723057698 857427968 21417 4294967295 134512640 134569956 3221224368 3221214680 1131245100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21417 13086 16 0 209317 0
vsize: 837332
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 97824 47 0 0 25 0 11 0 723057698 857427968 21423 4294967295 134512640 134569956 3221224368 3221214584 1131202846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21423 13086 16 0 209317 0
vsize: 837332
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 98815 47 0 0 25 0 11 0 723057698 857427968 21429 4294967295 134512640 134569956 3221224368 3221214584 1131202930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21429 13086 16 0 209317 0
vsize: 837332
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 99805 48 0 0 25 0 11 0 723057698 857427968 21434 4294967295 134512640 134569956 3221224368 3221214680 1131247505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21434 13086 16 0 209317 0
vsize: 837332
[startup+1020.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 100794 48 0 0 25 0 11 0 723057698 857427968 21443 4294967295 134512640 134569956 3221224368 3221214680 1131251383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21443 13086 16 0 209317 0
vsize: 837332
[startup+1030.03 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 101784 48 0 0 25 0 11 0 723057698 857427968 21450 4294967295 134512640 134569956 3221224368 3221214672 1131168775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21450 13086 16 0 209317 0
vsize: 837332
[startup+1040.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 102774 49 0 0 25 0 11 0 723057698 857427968 21455 4294967295 134512640 134569956 3221224368 3221214584 1131202939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21455 13086 16 0 209317 0
vsize: 837332
[startup+1050.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 103763 49 0 0 25 0 11 0 723057698 857427968 21461 4294967295 134512640 134569956 3221224368 3221214584 1131204224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21461 13086 16 0 209317 0
vsize: 837332
[startup+1060.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 104754 49 0 0 25 0 11 0 723057698 857427968 21467 4294967295 134512640 134569956 3221224368 3221214672 1131168818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21467 13086 16 0 209317 0
vsize: 837332
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 105744 50 0 0 25 0 11 0 723057698 857427968 21472 4294967295 134512640 134569956 3221224368 3221214680 1131244992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21472 13086 16 0 209317 0
vsize: 837332
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 106733 50 0 0 25 0 11 0 723057698 857427968 21478 4294967295 134512640 134569956 3221224368 3221214584 1131202966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21478 13086 16 0 209317 0
vsize: 837332
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 107723 50 0 0 25 0 11 0 723057698 857427968 21484 4294967295 134512640 134569956 3221224368 3221214832 1131193177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21484 13086 16 0 209317 0
vsize: 837332
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 108714 50 0 0 25 0 11 0 723057698 857427968 21489 4294967295 134512640 134569956 3221224368 3221214584 1131202939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21489 13086 16 0 209317 0
vsize: 837332
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 109704 51 0 0 25 0 11 0 723057698 857427968 21495 4294967295 134512640 134569956 3221224368 3221214680 1131243238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21495 13086 16 0 209317 0
vsize: 837332
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 110693 51 0 0 25 0 11 0 723057698 857427968 21501 4294967295 134512640 134569956 3221224368 3221214680 1131247571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21501 13086 16 0 209317 0
vsize: 837332
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 111683 51 0 0 25 0 11 0 723057698 857427968 21506 4294967295 134512640 134569956 3221224368 3221214584 1131202930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21506 13086 16 0 209317 0
vsize: 837332
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 112674 51 0 0 25 0 11 0 723057698 857427968 21512 4294967295 134512640 134569956 3221224368 3221214584 1131202995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209333 21512 13086 16 0 209317 0
vsize: 837332
[startup+1150.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 113663 51 0 0 25 0 11 0 723057698 857427968 21518 4294967295 134512640 134569956 3221224368 3221214680 1131243170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21518 13086 16 0 209317 0
vsize: 837332
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 114653 52 0 0 25 0 11 0 723057698 857427968 21523 4294967295 134512640 134569956 3221224368 3221214680 1131243231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21523 13086 16 0 209317 0
vsize: 837332
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 115643 52 0 0 25 0 11 0 723057698 857427968 21526 4294967295 134512640 134569956 3221224368 3221214584 1131203021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21526 13086 16 0 209317 0
vsize: 837332
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 116633 52 0 0 25 0 11 0 723057698 857427968 21535 4294967295 134512640 134569956 3221224368 3221214680 1131244652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21535 13086 16 0 209317 0
vsize: 837332
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 117624 52 0 0 25 0 11 0 723057698 857427968 21537 4294967295 134512640 134569956 3221224368 3221214672 1131168789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21537 13086 16 0 209317 0
vsize: 837332
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 118614 53 0 0 25 0 11 0 723057698 857427968 21543 4294967295 134512640 134569956 3221224368 3221214640 1131279185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21543 13086 16 0 209317 0
vsize: 837332
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 119603 53 0 0 25 0 11 0 723057698 857427968 21549 4294967295 134512640 134569956 3221224368 3221214672 1131168789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21549 13086 16 0 209317 0
vsize: 837332
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20757
Raw data (stat): 20747 (java) R 20746 8378 8377 0 -1 0 18057 0 1 0 120593 53 0 0 25 0 11 0 723057698 857427968 21554 4294967295 134512640 134569956 3221224368 3221214584 1131203187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209333 21554 13086 16 0 209317 0
vsize: 837332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 20759
Raw data (stat): 20747 (java) Z 20746 8378 8377 0 -1 1036 18057 6076 1 0 120594 57 1903 29 25 0 1 0 723057698 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.09
CPU time (s): 1225.85
CPU user time (s): 1224.98
CPU system time (s): 0.866868
CPU usage (%): 100.472
Max. virtual memory (Kb): 837332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####