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/MIPLIB/miplib3/normalized-mps-v2-20-10-qiu.opb
MD5SUM	e35e3cb279fca9040eb6914414619c36
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7968
Biggest coefficient in the objective function	9098351345664
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	4803935111035752
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	9098351345664
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	4803935111035752
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.204968
Number of variables	23808
Total number of constraints	1192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	31
Maximum length of a constraint	5940
Trace number 29673

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        669728 kB
Buffers:         33584 kB
Cached:         305776 kB
SwapCached:        572 kB
Active:          49668 kB
Inactive:       295200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669476 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            14444 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:34:40 (client local time) WITH STATUS 143 IN 1229.01 SECONDS
stats: 21074 7 1229.01 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-qiu.opb
c reading problem ... done. Time 166.879 ms.
c #vars     23808
c #constraints  1324
c starts	: 4
c conflicts	: 582
c decisions	: 5008
c propagations	: 46544
c inspects	: 1497428
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 582
c root simplifications	: 350
s UNKNOWN
c Total CPU time (ms) : 1229.119
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 32437
Raw data (stat): 32437 (runsolver) R 32436 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838070075 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18008 0 1 0 877 39 0 0 25 0 10 0 838070075 853643264 19345 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208409 19345 13086 16 0 208393 0
vsize: 833636
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18009 0 1 0 1774 40 0 0 25 0 10 0 838070075 855408640 20267 4294967295 134512640 134569956 3221224368 3221214416 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208840 20267 13086 16 0 208824 0
vsize: 835360
[startup+30.0019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18018 0 1 0 2658 41 0 0 25 0 10 0 838070075 854536192 20741 4294967295 134512640 134569956 3221224368 3221214648 1131180621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208627 20741 13086 16 0 208611 0
vsize: 834508
[startup+40.0028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 3571 41 0 0 24 0 10 0 838070075 856961024 21576 4294967295 134512640 134569956 3221224368 3221214784 1131268384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209219 21576 13086 16 0 209203 0
vsize: 836876
[startup+50.003 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 4492 41 0 0 25 0 10 0 838070075 856666112 21713 4294967295 134512640 134569956 3221224368 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209147 21713 13086 16 0 209131 0
vsize: 836588
[startup+60.0043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 5407 42 0 0 25 0 10 0 838070075 855584768 21597 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208883 21597 13086 16 0 208867 0
vsize: 835532
[startup+70.0053 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 6329 42 0 0 25 0 10 0 838070075 856633344 21923 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 21923 13086 16 0 209123 0
vsize: 836556
[startup+80.0053 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 7253 43 0 0 24 0 10 0 838070075 856633344 22044 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22044 13086 16 0 209123 0
vsize: 836556
[startup+90.0072 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 8182 43 0 0 25 0 10 0 838070075 856633344 22147 4294967295 134512640 134569956 3221224368 3221214772 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22147 13086 16 0 209123 0
vsize: 836556
[startup+100.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 9114 44 0 0 25 0 10 0 838070075 856633344 22299 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22299 13086 16 0 209123 0
vsize: 836556
[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 10048 44 0 0 25 0 10 0 838070075 856633344 22397 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22397 13086 16 0 209123 0
vsize: 836556
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 10980 45 0 0 25 0 10 0 838070075 856633344 22496 4294967295 134512640 134569956 3221224368 3221214772 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22496 13086 16 0 209123 0
vsize: 836556
[startup+130.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 11909 45 0 0 24 0 10 0 838070075 856633344 22603 4294967295 134512640 134569956 3221224368 3221214676 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22603 13086 16 0 209123 0
vsize: 836556
[startup+140.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 12844 46 0 0 25 0 10 0 838070075 856633344 22702 4294967295 134512640 134569956 3221224368 3221214248 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22702 13086 16 0 209123 0
vsize: 836556
[startup+150.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 13774 46 0 0 25 0 10 0 838070075 856633344 22805 4294967295 134512640 134569956 3221224368 3221214248 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22805 13086 16 0 209123 0
vsize: 836556
[startup+160.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 32446
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18020 0 1 0 14706 47 0 0 25 0 10 0 838070075 856633344 22900 4294967295 134512640 134569956 3221224368 3221214232 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209139 22900 13086 16 0 209123 0
vsize: 836556
[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 0.99 4/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18065 0 1 0 15618 49 0 0 25 0 11 0 838070075 859500544 24460 4294967295 134512640 134569956 3221224368 3221214816 1130895202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209839 24460 13086 16 0 209823 0
vsize: 839356
[startup+180.011 s]
Raw data (loadavg): 1.14 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18065 0 1 0 16513 49 0 0 24 0 11 0 838070075 859258880 25067 4294967295 134512640 134569956 3221224368 3221214656 1131390959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209780 25067 13086 16 0 209764 0
vsize: 839120
[startup+190.011 s]
Raw data (loadavg): 1.20 1.03 1.01 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18077 0 1 0 17387 49 0 0 24 0 11 0 838070075 860717056 25430 4294967295 134512640 134569956 3221224368 3221214652 1131243360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210136 25430 13086 16 0 210120 0
vsize: 840544
[startup+200.015 s]
Raw data (loadavg): 1.17 1.03 1.01 2/64 32447
Raw data (stat): 32437 (java) S 32436 20001 20000 0 -1 0 18079 0 1 0 18302 49 0 0 25 0 11 0 838070075 859869184 25252 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 25252 13086 16 0 209913 0
vsize: 839716
[startup+210.016 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 19222 49 0 0 25 0 11 0 838070075 859869184 25998 4294967295 134512640 134569956 3221224368 3221214824 1131219289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 25998 13086 16 0 209913 0
vsize: 839716
[startup+220.017 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 20204 50 0 0 24 0 11 0 838070075 859869184 26003 4294967295 134512640 134569956 3221224368 3221214656 1131395661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26003 13086 16 0 209913 0
vsize: 839716
[startup+230.016 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 21189 50 0 0 25 0 11 0 838070075 859869184 26059 4294967295 134512640 134569956 3221224368 3221214656 1131392200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26059 13086 16 0 209913 0
vsize: 839716
[startup+240.017 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 22176 50 0 0 25 0 11 0 838070075 859869184 26116 4294967295 134512640 134569956 3221224368 3221214656 1131395636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26116 13086 16 0 209913 0
vsize: 839716
[startup+250.018 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 23169 50 0 0 25 0 11 0 838070075 859869184 26161 4294967295 134512640 134569956 3221224368 3221214616 1131254858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26161 13086 16 0 209913 0
vsize: 839716
[startup+260.018 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 24163 50 0 0 25 0 11 0 838070075 859869184 26173 4294967295 134512640 134569956 3221224368 3221214568 1131279289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26173 13086 16 0 209913 0
vsize: 839716
[startup+270.019 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 25156 50 0 0 25 0 11 0 838070075 859869184 26192 4294967295 134512640 134569956 3221224368 3221214568 1131280024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26192 13086 16 0 209913 0
vsize: 839716
[startup+280.019 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 26150 50 0 0 25 0 11 0 838070075 859869184 26203 4294967295 134512640 134569956 3221224368 3221214656 1131395428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26203 13086 16 0 209913 0
vsize: 839716
[startup+290.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 27142 50 0 0 25 0 11 0 838070075 859869184 26213 4294967295 134512640 134569956 3221224368 3221214656 1131392672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26213 13086 16 0 209913 0
vsize: 839716
[startup+300.02 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 28132 50 0 0 25 0 11 0 838070075 859869184 26227 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26227 13086 16 0 209913 0
vsize: 839716
[startup+310.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 29121 51 0 0 25 0 11 0 838070075 859869184 26237 4294967295 134512640 134569956 3221224368 3221214648 1131217660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26237 13086 16 0 209913 0
vsize: 839716
[startup+320.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 30109 51 0 0 25 0 11 0 838070075 859869184 26278 4294967295 134512640 134569956 3221224368 3221214568 1131279101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26278 13086 16 0 209913 0
vsize: 839716
[startup+330.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 31100 51 0 0 25 0 11 0 838070075 859869184 26305 4294967295 134512640 134569956 3221224368 3221214568 1131280395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26305 13086 16 0 209913 0
vsize: 839716
[startup+340.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 32091 51 0 0 25 0 11 0 838070075 859869184 26347 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26347 13086 16 0 209913 0
vsize: 839716
[startup+350.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 33084 51 0 0 25 0 11 0 838070075 859869184 26356 4294967295 134512640 134569956 3221224368 3221214568 1131280015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26356 13086 16 0 209913 0
vsize: 839716
[startup+360.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 34075 52 0 0 25 0 11 0 838070075 859869184 26366 4294967295 134512640 134569956 3221224368 3221214656 1131395485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26366 13086 16 0 209913 0
vsize: 839716
[startup+370.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 35065 52 0 0 25 0 11 0 838070075 859869184 26379 4294967295 134512640 134569956 3221224368 3221214648 1131217646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26379 13086 16 0 209913 0
vsize: 839716
[startup+380.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 36052 52 0 0 25 0 11 0 838070075 859869184 26397 4294967295 134512640 134569956 3221224368 3221214656 1131395858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26397 13086 16 0 209913 0
vsize: 839716
[startup+390.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 37041 52 0 0 25 0 11 0 838070075 859869184 26431 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26431 13086 16 0 209913 0
vsize: 839716
[startup+400.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 38030 52 0 0 25 0 11 0 838070075 859869184 26463 4294967295 134512640 134569956 3221224368 3221214512 1131253993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26463 13086 16 0 209913 0
vsize: 839716
[startup+410.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 39021 52 0 0 25 0 11 0 838070075 859869184 26491 4294967295 134512640 134569956 3221224368 3221214520 1131253993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26491 13086 16 0 209913 0
vsize: 839716
[startup+420.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 40013 52 0 0 25 0 11 0 838070075 859869184 26517 4294967295 134512640 134569956 3221224368 3221214544 1131343767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26517 13086 16 0 209913 0
vsize: 839716
[startup+430.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 41006 52 0 0 25 0 11 0 838070075 859869184 26524 4294967295 134512640 134569956 3221224368 3221214656 1131389948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26524 13086 16 0 209913 0
vsize: 839716
[startup+440.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 41999 52 0 0 25 0 11 0 838070075 859869184 26540 4294967295 134512640 134569956 3221224368 3221214656 1131390953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26540 13086 16 0 209913 0
vsize: 839716
[startup+450.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 42993 52 0 0 25 0 11 0 838070075 859869184 26552 4294967295 134512640 134569956 3221224368 3221214568 1131280456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26552 13086 16 0 209913 0
vsize: 839716
[startup+460.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 43986 52 0 0 25 0 11 0 838070075 859869184 26559 4294967295 134512640 134569956 3221224368 3221214544 1131343033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26559 13086 16 0 209913 0
vsize: 839716
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 44979 52 0 0 25 0 11 0 838070075 859869184 26567 4294967295 134512640 134569956 3221224368 3221214652 1131278976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26567 13086 16 0 209913 0
vsize: 839716
[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 45971 53 0 0 25 0 11 0 838070075 859869184 26578 4294967295 134512640 134569956 3221224368 3221214656 1131392216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26578 13086 16 0 209913 0
vsize: 839716
[startup+490.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 46963 53 0 0 25 0 11 0 838070075 859869184 26598 4294967295 134512640 134569956 3221224368 3221214712 1131382593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26598 13086 16 0 209913 0
vsize: 839716
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 47957 53 0 0 25 0 11 0 838070075 859869184 26606 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26606 13086 16 0 209913 0
vsize: 839716
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 48949 53 0 0 25 0 11 0 838070075 859869184 26617 4294967295 134512640 134569956 3221224368 3221214656 1131396024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26617 13086 16 0 209913 0
vsize: 839716
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 49942 53 0 0 25 0 11 0 838070075 859869184 26631 4294967295 134512640 134569956 3221224368 3221214648 1131217636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26631 13086 16 0 209913 0
vsize: 839716
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 50936 53 0 0 24 0 11 0 838070075 859869184 26637 4294967295 134512640 134569956 3221224368 3221214656 1131391359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26637 13086 16 0 209913 0
vsize: 839716
[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18079 0 1 0 51928 53 0 0 25 0 11 0 838070075 859869184 26645 4294967295 134512640 134569956 3221224368 3221214656 1131391486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26645 13086 16 0 209913 0
vsize: 839716
[startup+550.036 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 52919 53 0 0 25 0 11 0 838070075 859869184 26656 4294967295 134512640 134569956 3221224368 3221214656 1131393364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26656 13086 16 0 209913 0
vsize: 839716
[startup+560.036 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 53909 53 0 0 25 0 11 0 838070075 859869184 26667 4294967295 134512640 134569956 3221224368 3221214648 1131217646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26667 13086 16 0 209913 0
vsize: 839716
[startup+570.036 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 54898 53 0 0 25 0 11 0 838070075 859869184 26687 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26687 13086 16 0 209913 0
vsize: 839716
[startup+580.037 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 55887 53 0 0 25 0 11 0 838070075 859869184 26709 4294967295 134512640 134569956 3221224368 3221214560 1131538871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26709 13086 16 0 209913 0
vsize: 839716
[startup+590.037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 56876 53 0 0 25 0 11 0 838070075 859869184 26725 4294967295 134512640 134569956 3221224368 3221214544 1131343031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26725 13086 16 0 209913 0
vsize: 839716
[startup+600.038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 57862 53 0 0 25 0 11 0 838070075 859869184 26763 4294967295 134512640 134569956 3221224368 3221214568 1131279101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26763 13086 16 0 209913 0
vsize: 839716
[startup+610.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 58847 54 0 0 24 0 11 0 838070075 859869184 26773 4294967295 134512640 134569956 3221224368 3221214656 1131392655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26773 13086 16 0 209913 0
vsize: 839716
[startup+620.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 59834 54 0 0 25 0 11 0 838070075 859869184 26811 4294967295 134512640 134569956 3221224368 3221214568 1131279373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26811 13086 16 0 209913 0
vsize: 839716
[startup+630.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 60824 55 0 0 25 0 11 0 838070075 859869184 26855 4294967295 134512640 134569956 3221224368 3221214744 1131426087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26855 13086 16 0 209913 0
vsize: 839716
[startup+640.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 61816 55 0 0 25 0 11 0 838070075 859869184 26874 4294967295 134512640 134569956 3221224368 3221214656 1131391396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26874 13086 16 0 209913 0
vsize: 839716
[startup+650.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 62808 55 0 0 25 0 11 0 838070075 859869184 26881 4294967295 134512640 134569956 3221224368 3221214656 1131393467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 26881 13086 16 0 209913 0
vsize: 839716
[startup+660.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 63801 55 0 0 25 0 11 0 838070075 859869184 26888 4294967295 134512640 134569956 3221224368 3221214568 1131279215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26888 13086 16 0 209913 0
vsize: 839716
[startup+670.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 64793 56 0 0 25 0 11 0 838070075 859869184 26893 4294967295 134512640 134569956 3221224368 3221214656 1131389948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26893 13086 16 0 209913 0
vsize: 839716
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 65786 56 0 0 25 0 11 0 838070075 859869184 26899 4294967295 134512640 134569956 3221224368 3221214648 1131217646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26899 13086 16 0 209913 0
vsize: 839716
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 66780 56 0 0 25 0 11 0 838070075 859869184 26905 4294967295 134512640 134569956 3221224368 3221214568 1131279847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26905 13086 16 0 209913 0
vsize: 839716
[startup+700.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 67772 57 0 0 25 0 11 0 838070075 859869184 26910 4294967295 134512640 134569956 3221224368 3221214568 1131279056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26910 13086 16 0 209913 0
vsize: 839716
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 68762 57 0 0 25 0 11 0 838070075 859869184 26916 4294967295 134512640 134569956 3221224368 3221214656 1131392084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26916 13086 16 0 209913 0
vsize: 839716
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 69753 57 0 0 25 0 11 0 838070075 859869184 26922 4294967295 134512640 134569956 3221224368 3221214568 1131279128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26922 13086 16 0 209913 0
vsize: 839716
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 70743 58 0 0 25 0 11 0 838070075 859869184 26954 4294967295 134512640 134569956 3221224368 3221214568 1131279289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26954 13086 16 0 209913 0
vsize: 839716
[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 71735 58 0 0 25 0 11 0 838070075 859869184 26961 4294967295 134512640 134569956 3221224368 3221214568 1131279101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26961 13086 16 0 209913 0
vsize: 839716
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 72728 58 0 0 25 0 11 0 838070075 859869184 26967 4294967295 134512640 134569956 3221224368 3221214652 1131343008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26967 13086 16 0 209913 0
vsize: 839716
[startup+760.049 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 73719 59 0 0 25 0 11 0 838070075 859869184 26975 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26975 13086 16 0 209913 0
vsize: 839716
[startup+770.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 74711 59 0 0 25 0 11 0 838070075 859869184 26981 4294967295 134512640 134569956 3221224368 3221214656 1131392655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26981 13086 16 0 209913 0
vsize: 839716
[startup+780.051 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 75704 59 0 0 25 0 11 0 838070075 859869184 26989 4294967295 134512640 134569956 3221224368 3221214656 1131396906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26989 13086 16 0 209913 0
vsize: 839716
[startup+790.052 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 76696 60 0 0 25 0 11 0 838070075 859869184 26996 4294967295 134512640 134569956 3221224368 3221214656 1131395548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 26996 13086 16 0 209913 0
vsize: 839716
[startup+800.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 77688 60 0 0 25 0 11 0 838070075 859869184 27002 4294967295 134512640 134569956 3221224368 3221214656 1131395487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 27002 13086 16 0 209913 0
vsize: 839716
[startup+810.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 78680 60 0 0 25 0 11 0 838070075 859869184 27009 4294967295 134512640 134569956 3221224368 3221214656 1131395505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 27009 13086 16 0 209913 0
vsize: 839716
[startup+820.054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 79672 61 0 0 25 0 11 0 838070075 859869184 27014 4294967295 134512640 134569956 3221224368 3221214568 1131279402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 27014 13086 16 0 209913 0
vsize: 839716
[startup+830.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 80665 61 0 0 25 0 11 0 838070075 859869184 27023 4294967295 134512640 134569956 3221224368 3221214656 1131389948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 27023 13086 16 0 209913 0
vsize: 839716
[startup+840.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 81657 61 0 0 25 0 11 0 838070075 859869184 27029 4294967295 134512640 134569956 3221224368 3221214656 1131389948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 27029 13086 16 0 209913 0
vsize: 839716
[startup+850.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 82650 62 0 0 25 0 11 0 838070075 859869184 27036 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 27036 13086 16 0 209913 0
vsize: 839716
[startup+860.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 83642 62 0 0 25 0 11 0 838070075 859869184 27042 4294967295 134512640 134569956 3221224368 3221214656 1131392216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27042 13086 16 0 209913 0
vsize: 839716
[startup+870.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 84635 62 0 0 25 0 11 0 838070075 859869184 27048 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27048 13086 16 0 209913 0
vsize: 839716
[startup+880.055 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 85627 62 0 0 25 0 11 0 838070075 859869184 27054 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27054 13086 16 0 209913 0
vsize: 839716
[startup+890.056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 86619 62 0 0 25 0 11 0 838070075 859869184 27060 4294967295 134512640 134569956 3221224368 3221214656 1131390017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27060 13086 16 0 209913 0
vsize: 839716
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 87610 62 0 0 25 0 11 0 838070075 859869184 27068 4294967295 134512640 134569956 3221224368 3221214656 1131396171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27068 13086 16 0 209913 0
vsize: 839716
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 88602 62 0 0 25 0 11 0 838070075 859869184 27072 4294967295 134512640 134569956 3221224368 3221214568 1131280342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27072 13086 16 0 209913 0
vsize: 839716
[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 89594 62 0 0 25 0 11 0 838070075 859869184 27088 4294967295 134512640 134569956 3221224368 3221214656 1131395372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27088 13086 16 0 209913 0
vsize: 839716
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 90586 62 0 0 25 0 11 0 838070075 859869184 27095 4294967295 134512640 134569956 3221224368 3221214656 1131395548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27095 13086 16 0 209913 0
vsize: 839716
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 91578 63 0 0 25 0 11 0 838070075 859869184 27104 4294967295 134512640 134569956 3221224368 3221214656 1131393253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27104 13086 16 0 209913 0
vsize: 839716
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 92570 63 0 0 25 0 11 0 838070075 859869184 27111 4294967295 134512640 134569956 3221224368 3221214512 1131253936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27111 13086 16 0 209913 0
vsize: 839716
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 93562 63 0 0 25 0 11 0 838070075 859869184 27116 4294967295 134512640 134569956 3221224368 3221214656 1131395636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27116 13086 16 0 209913 0
vsize: 839716
[startup+970.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 94554 63 0 0 25 0 11 0 838070075 859869184 27123 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27123 13086 16 0 209913 0
vsize: 839716
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 95546 64 0 0 25 0 11 0 838070075 859869184 27129 4294967295 134512640 134569956 3221224368 3221214656 1131392216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27129 13086 16 0 209913 0
vsize: 839716
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 96538 64 0 0 25 0 11 0 838070075 859869184 27134 4294967295 134512640 134569956 3221224368 3221214656 1131395548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27134 13086 16 0 209913 0
vsize: 839716
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 97530 64 0 0 25 0 11 0 838070075 859869184 27141 4294967295 134512640 134569956 3221224368 3221214568 1131280408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27141 13086 16 0 209913 0
vsize: 839716
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 98522 64 0 0 25 0 11 0 838070075 859869184 27147 4294967295 134512640 134569956 3221224368 3221214656 1131391312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27147 13086 16 0 209913 0
vsize: 839716
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) S 32436 20001 20000 0 -1 0 18080 0 1 0 99515 64 0 0 25 0 11 0 838070075 859869184 27151 4294967295 134512640 134569956 3221224368 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27151 13086 16 0 209913 0
vsize: 839716
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 100507 64 0 0 25 0 11 0 838070075 859869184 27158 4294967295 134512640 134569956 3221224368 3221214656 1131390017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27158 13086 16 0 209913 0
vsize: 839716
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 101500 64 0 0 24 0 11 0 838070075 859869184 27165 4294967295 134512640 134569956 3221224368 3221214656 1131392216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27165 13086 16 0 209913 0
vsize: 839716
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 102492 65 0 0 25 0 11 0 838070075 859869184 27172 4294967295 134512640 134569956 3221224368 3221214656 1131392048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27172 13086 16 0 209913 0
vsize: 839716
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 103484 65 0 0 25 0 11 0 838070075 859869184 27179 4294967295 134512640 134569956 3221224368 3221214656 1131396024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27179 13086 16 0 209913 0
vsize: 839716
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 104476 65 0 0 25 0 11 0 838070075 859869184 27183 4294967295 134512640 134569956 3221224368 3221214568 1131280408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27183 13086 16 0 209913 0
vsize: 839716
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 105467 65 0 0 25 0 11 0 838070075 859869184 27190 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27190 13086 16 0 209913 0
vsize: 839716
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 106459 65 0 0 25 0 11 0 838070075 859869184 27196 4294967295 134512640 134569956 3221224368 3221214544 1131343059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27196 13086 16 0 209913 0
vsize: 839716
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 107451 65 0 0 25 0 11 0 838070075 859869184 27203 4294967295 134512640 134569956 3221224368 3221214568 1131279145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27203 13086 16 0 209913 0
vsize: 839716
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 108443 65 0 0 25 0 11 0 838070075 859869184 27207 4294967295 134512640 134569956 3221224368 3221214656 1131395020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27207 13086 16 0 209913 0
vsize: 839716
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 109435 65 0 0 25 0 11 0 838070075 859869184 27213 4294967295 134512640 134569956 3221224368 3221214656 1131395946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27213 13086 16 0 209913 0
vsize: 839716
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 110427 65 0 0 25 0 11 0 838070075 859869184 27219 4294967295 134512640 134569956 3221224368 3221214568 1131279009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27219 13086 16 0 209913 0
vsize: 839716
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 111419 65 0 0 25 0 11 0 838070075 859869184 27225 4294967295 134512640 134569956 3221224368 3221214652 1131278976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27225 13086 16 0 209913 0
vsize: 839716
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 112412 65 0 0 25 0 11 0 838070075 859869184 27229 4294967295 134512640 134569956 3221224368 3221214616 1131253672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27229 13086 16 0 209913 0
vsize: 839716
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 113404 66 0 0 25 0 11 0 838070075 859869184 27235 4294967295 134512640 134569956 3221224368 3221214656 1131389948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27235 13086 16 0 209913 0
vsize: 839716
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 114396 66 0 0 25 0 11 0 838070075 859869184 27239 4294967295 134512640 134569956 3221224368 3221214568 1131280456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27239 13086 16 0 209913 0
vsize: 839716
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 115387 66 0 0 25 0 11 0 838070075 859869184 27245 4294967295 134512640 134569956 3221224368 3221214568 1131279159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27245 13086 16 0 209913 0
vsize: 839716
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 116379 66 0 0 25 0 11 0 838070075 859869184 27251 4294967295 134512640 134569956 3221224368 3221214656 1131390017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27251 13086 16 0 209913 0
vsize: 839716
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 117371 66 0 0 25 0 11 0 838070075 859869184 27255 4294967295 134512640 134569956 3221224368 3221214656 1131395925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27255 13086 16 0 209913 0
vsize: 839716
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 118363 66 0 0 25 0 11 0 838070075 859869184 27261 4294967295 134512640 134569956 3221224368 3221214656 1131392121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27261 13086 16 0 209913 0
vsize: 839716
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 119355 66 0 0 25 0 11 0 838070075 859869184 27266 4294967295 134512640 134569956 3221224368 3221214656 1131389948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27266 13086 16 0 209913 0
vsize: 839716
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32447
Raw data (stat): 32437 (java) R 32436 20001 20000 0 -1 0 18080 0 1 0 120346 66 0 0 25 0 11 0 838070075 859869184 27270 4294967295 134512640 134569956 3221224368 3221214656 1131391445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 27270 13086 16 0 209913 0
vsize: 839716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32449
Raw data (stat): 32437 (java) Z 32436 20001 20000 0 -1 1036 18080 7529 1 0 120348 66 2456 30 25 0 1 0 838070075 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): 1230.15
CPU time (s): 1229.01
CPU user time (s): 1228.04
CPU system time (s): 0.969852
CPU usage (%): 99.9077
Max. virtual memory (Kb): 840544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####