PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl1.opb
MD5SUM	03a27b3b499acf5b0d4b0eee83413d97
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	19660
Biggest coefficient in the objective function	12635026227200
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	1038651120525150
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	12635026227200
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	1038651120525150
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.202968
Number of variables	23500
Total number of constraints	632
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	632
Minimum length of a constraint	20
Maximum length of a constraint	1520
Trace number 29813

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        888592 kB
Buffers:         23004 kB
Cached:         100160 kB
SwapCached:        528 kB
Active:          27564 kB
Inactive:        97772 kB
HighTotal:      131008 kB
HighFree:        73780 kB
LowTotal:       903652 kB
LowFree:        814812 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14992 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:07:25 (client local time) WITH STATUS 143 IN 1238.59 SECONDS
stats: 21208 7 1238.59 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bnl1.opb
c reading problem ... done. Time 175.892 ms.
c #vars     23500
c #constraints  855
c starts	: 3
c conflicts	: 393
c decisions	: 21341
c propagations	: 51918
c inspects	: 966586
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 393
c root simplifications	: 264
s UNKNOWN
c Total CPU time (ms) : 1239.109
#### 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.99 0.99 2/54 22272
Raw data (stat): 22272 (runsolver) R 22271 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838642226 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.0008 s]
Raw data (loadavg): 0.87 0.99 0.99 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18015 0 1 0 869 43 0 0 25 0 10 0 838642226 853782528 19366 4294967295 134512640 134569956 3221224368 3221214648 1131186189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208443 19366 13086 16 0 208427 0
vsize: 833772
[startup+20.0015 s]
Raw data (loadavg): 0.96 1.01 0.99 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 1767 44 0 0 25 0 10 0 838642226 855355392 20201 4294967295 134512640 134569956 3221224368 3221214648 1131186189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208827 20201 13086 16 0 208811 0
vsize: 835308
[startup+30.0021 s]
Raw data (loadavg): 0.97 1.01 0.99 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 2654 44 0 0 25 0 10 0 838642226 855355392 20696 4294967295 134512640 134569956 3221224368 3221214532 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208827 20696 13086 16 0 208811 0
vsize: 835308
[startup+40.0023 s]
Raw data (loadavg): 0.97 1.01 0.99 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 3566 44 0 0 25 0 10 0 838642226 854585344 20848 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 20848 13086 16 0 208623 0
vsize: 834556
[startup+50.0033 s]
Raw data (loadavg): 0.98 1.00 0.99 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 4490 44 0 0 24 0 10 0 838642226 854585344 21015 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21015 13086 16 0 208623 0
vsize: 834556
[startup+60.0041 s]
Raw data (loadavg): 0.98 1.00 0.99 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 5410 44 0 0 25 0 10 0 838642226 854585344 21141 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21141 13086 16 0 208623 0
vsize: 834556
[startup+70.004 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 6335 44 0 0 25 0 10 0 838642226 854585344 21255 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21255 13086 16 0 208623 0
vsize: 834556
[startup+80.0054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 7277 44 0 0 25 0 10 0 838642226 854585344 21482 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21482 13086 16 0 208623 0
vsize: 834556
[startup+90.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 8216 44 0 0 25 0 10 0 838642226 854585344 21576 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21576 13086 16 0 208623 0
vsize: 834556
[startup+100.006 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 9161 45 0 0 25 0 10 0 838642226 854585344 21658 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21658 13086 16 0 208623 0
vsize: 834556
[startup+110.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18016 0 1 0 10106 45 0 0 25 0 10 0 838642226 854585344 21735 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21735 13086 16 0 208623 0
vsize: 834556
[startup+120.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18024 0 1 0 11047 45 0 0 25 0 10 0 838642226 854585344 21817 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208639 21817 13086 16 0 208623 0
vsize: 834556
[startup+130.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22281
Raw data (stat): 22272 (java) S 22271 7475 7474 0 -1 0 18027 0 1 0 11901 45 0 0 25 0 10 0 838642226 856801280 22462 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209180 22462 13086 16 0 209164 0
vsize: 836720
[startup+140.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18027 0 1 0 12808 46 0 0 25 0 10 0 838642226 856801280 22527 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209180 22527 13086 16 0 209164 0
vsize: 836720
[startup+150.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18027 0 1 0 13669 46 0 0 25 0 10 0 838642226 856801280 23570 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209180 23570 13086 16 0 209164 0
vsize: 836720
[startup+160.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18027 0 1 0 14552 46 0 0 25 0 10 0 838642226 856801280 23570 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209180 23570 13086 16 0 209164 0
vsize: 836720
[startup+170.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18027 0 1 0 15416 48 0 0 25 0 10 0 838642226 856801280 23991 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209180 23991 13086 16 0 209164 0
vsize: 836720
[startup+180.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 22281
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18060 0 1 0 16295 49 0 0 25 0 10 0 838642226 859947008 26218 4294967295 134512640 134569956 3221224368 3221214712 1131401556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 26218 13086 16 0 209932 0
vsize: 839792
[startup+190.012 s]
Raw data (loadavg): 1.09 1.02 1.01 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18078 0 1 0 17189 49 0 0 25 0 11 0 838642226 859426816 26275 4294967295 134512640 134569956 3221224368 3221214600 1131331391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209821 26275 13086 16 0 209805 0
vsize: 839284
[startup+200.012 s]
Raw data (loadavg): 1.07 1.02 1.00 3/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18080 0 1 0 18113 49 0 0 25 0 11 0 838642226 859426816 26528 4294967295 134512640 134569956 3221224368 3221214664 1131397564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209821 26528 13086 16 0 209805 0
vsize: 839284
[startup+210.013 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 19063 50 0 0 25 0 11 0 838642226 863621120 27504 4294967295 134512640 134569956 3221224368 3221214496 1131487429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210845 27504 13086 16 0 210829 0
vsize: 843380
[startup+220.013 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 20021 50 0 0 25 0 11 0 838642226 861523968 27490 4294967295 134512640 134569956 3221224368 3221214496 1131487254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27490 13086 16 0 210317 0
vsize: 841332
[startup+230.013 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 20978 50 0 0 25 0 11 0 838642226 861523968 27491 4294967295 134512640 134569956 3221224368 3221214496 1131487695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27491 13086 16 0 210317 0
vsize: 841332
[startup+240.014 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 21929 51 0 0 24 0 11 0 838642226 860475392 27227 4294967295 134512640 134569956 3221224368 3221214468 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 27227 13086 16 0 210061 0
vsize: 840308
[startup+250.014 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 22891 51 0 0 25 0 11 0 838642226 860475392 27265 4294967295 134512640 134569956 3221224368 3221214496 1131487573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 27265 13086 16 0 210061 0
vsize: 840308
[startup+260.02 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 23850 51 0 0 25 0 11 0 838642226 860475392 27442 4294967295 134512640 134569956 3221224368 3221214408 1131493457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 27442 13086 16 0 210061 0
vsize: 840308
[startup+270.02 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 24778 51 0 0 25 0 11 0 838642226 860475392 27658 4294967295 134512640 134569956 3221224368 3221214512 1131285841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 27658 13086 16 0 210061 0
vsize: 840308
[startup+280.021 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 25722 51 0 0 25 0 11 0 838642226 860475392 27837 4294967295 134512640 134569956 3221224368 3221214496 1131487596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 27837 13086 16 0 210061 0
vsize: 840308
[startup+290.022 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 26654 51 0 0 25 0 11 0 838642226 860475392 28057 4294967295 134512640 134569956 3221224368 3221214512 1131285801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 28057 13086 16 0 210061 0
vsize: 840308
[startup+300.023 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 27595 51 0 0 25 0 11 0 838642226 860475392 28303 4294967295 134512640 134569956 3221224368 3221214664 1131397625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 28303 13086 16 0 210061 0
vsize: 840308
[startup+310.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 28540 51 0 0 25 0 11 0 838642226 860475392 28468 4294967295 134512640 134569956 3221224368 3221214648 1131401452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 28468 13086 16 0 210061 0
vsize: 840308
[startup+320.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 29501 51 0 0 25 0 11 0 838642226 860475392 28667 4294967295 134512640 134569956 3221224368 3221214584 1131331701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 28667 13086 16 0 210061 0
vsize: 840308
[startup+330.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 30465 51 0 0 25 0 11 0 838642226 860475392 28744 4294967295 134512640 134569956 3221224368 3221214496 1131285870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 28744 13086 16 0 210061 0
vsize: 840308
[startup+340.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18082 0 1 0 31431 51 0 0 25 0 11 0 838642226 860475392 28860 4294967295 134512640 134569956 3221224368 3221214648 1131401481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 28860 13086 16 0 210061 0
vsize: 840308
[startup+350.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 32400 51 0 0 24 0 11 0 838642226 860475392 28932 4294967295 134512640 134569956 3221224368 3221214584 1131331236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 28932 13086 16 0 210061 0
vsize: 840308
[startup+360.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 33374 51 0 0 25 0 11 0 838642226 860475392 29017 4294967295 134512640 134569956 3221224368 3221214496 1131287079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29017 13086 16 0 210061 0
vsize: 840308
[startup+370.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 34352 51 0 0 25 0 11 0 838642226 860475392 29092 4294967295 134512640 134569956 3221224368 3221214496 1131285745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29092 13086 16 0 210061 0
vsize: 840308
[startup+380.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 35336 51 0 0 25 0 11 0 838642226 860475392 29159 4294967295 134512640 134569956 3221224368 3221214496 1131285934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29159 13086 16 0 210061 0
vsize: 840308
[startup+390.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 36325 51 0 0 25 0 11 0 838642226 860475392 29206 4294967295 134512640 134569956 3221224368 3221214644 1131565107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29206 13086 16 0 210061 0
vsize: 840308
[startup+400.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 37314 51 0 0 25 0 11 0 838642226 860475392 29235 4294967295 134512640 134569956 3221224368 3221214584 1131331266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29235 13086 16 0 210061 0
vsize: 840308
[startup+410.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 38305 51 0 0 25 0 11 0 838642226 860475392 29260 4294967295 134512640 134569956 3221224368 3221214432 1131487552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29260 13086 16 0 210061 0
vsize: 840308
[startup+420.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 39295 51 0 0 25 0 11 0 838642226 860475392 29279 4294967295 134512640 134569956 3221224368 3221214584 1131331229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29279 13086 16 0 210061 0
vsize: 840308
[startup+430.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 40286 51 0 0 25 0 11 0 838642226 860475392 29299 4294967295 134512640 134569956 3221224368 3221214496 1131286980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29299 13086 16 0 210061 0
vsize: 840308
[startup+440.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 41277 51 0 0 25 0 11 0 838642226 860475392 29322 4294967295 134512640 134569956 3221224368 3221214496 1131285815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29322 13086 16 0 210061 0
vsize: 840308
[startup+450.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 42268 51 0 0 25 0 11 0 838642226 860475392 29339 4294967295 134512640 134569956 3221224368 3221214496 1131285755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29339 13086 16 0 210061 0
vsize: 840308
[startup+460.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 43259 51 0 0 25 0 11 0 838642226 860475392 29359 4294967295 134512640 134569956 3221224368 3221214648 1131402376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29359 13086 16 0 210061 0
vsize: 840308
[startup+470.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 44250 51 0 0 25 0 11 0 838642226 860475392 29374 4294967295 134512640 134569956 3221224368 3221214496 1131285755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29374 13086 16 0 210061 0
vsize: 840308
[startup+480.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 45241 51 0 0 25 0 11 0 838642226 860475392 29389 4294967295 134512640 134569956 3221224368 3221214496 1131285989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29389 13086 16 0 210061 0
vsize: 840308
[startup+490.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 46232 52 0 0 25 0 11 0 838642226 860475392 29403 4294967295 134512640 134569956 3221224368 3221214648 1131399499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29403 13086 16 0 210061 0
vsize: 840308
[startup+500.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 47222 52 0 0 25 0 11 0 838642226 860475392 29426 4294967295 134512640 134569956 3221224368 3221214580 1131285632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29426 13086 16 0 210061 0
vsize: 840308
[startup+510.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 48213 52 0 0 25 0 11 0 838642226 860475392 29444 4294967295 134512640 134569956 3221224368 3221214648 1131397347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29444 13086 16 0 210061 0
vsize: 840308
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 49204 52 0 0 25 0 11 0 838642226 860475392 29467 4294967295 134512640 134569956 3221224368 3221214584 1131331646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29467 13086 16 0 210061 0
vsize: 840308
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 50195 52 0 0 25 0 11 0 838642226 860475392 29483 4294967295 134512640 134569956 3221224368 3221214672 1131294228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29483 13086 16 0 210061 0
vsize: 840308
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 51185 52 0 0 25 0 11 0 838642226 860475392 29499 4294967295 134512640 134569956 3221224368 3221214496 1131285801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29499 13086 16 0 210061 0
vsize: 840308
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 52176 52 0 0 25 0 11 0 838642226 860475392 29513 4294967295 134512640 134569956 3221224368 3221214336 1131279782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29513 13086 16 0 210061 0
vsize: 840308
[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 53168 52 0 0 25 0 11 0 838642226 860475392 29536 4294967295 134512640 134569956 3221224368 3221214584 1131331556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29536 13086 16 0 210061 0
vsize: 840308
[startup+570.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 54160 52 0 0 25 0 11 0 838642226 860475392 29551 4294967295 134512640 134569956 3221224368 3221214648 1131397564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29551 13086 16 0 210061 0
vsize: 840308
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 55152 52 0 0 25 0 11 0 838642226 860475392 29563 4294967295 134512640 134569956 3221224368 3221214648 1131397347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29563 13086 16 0 210061 0
vsize: 840308
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 56143 52 0 0 25 0 11 0 838642226 860475392 29575 4294967295 134512640 134569956 3221224368 3221214584 1131331335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29575 13086 16 0 210061 0
vsize: 840308
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 57136 52 0 0 25 0 11 0 838642226 860475392 29590 4294967295 134512640 134569956 3221224368 3221214584 1131331674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29590 13086 16 0 210061 0
vsize: 840308
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 58128 52 0 0 25 0 11 0 838642226 860475392 29601 4294967295 134512640 134569956 3221224368 3221214496 1131286616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29601 13086 16 0 210061 0
vsize: 840308
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 59120 52 0 0 25 0 11 0 838642226 860475392 29609 4294967295 134512640 134569956 3221224368 3221214496 1131285715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29609 13086 16 0 210061 0
vsize: 840308
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 60112 52 0 0 25 0 11 0 838642226 860475392 29623 4294967295 134512640 134569956 3221224368 3221214496 1131286023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29623 13086 16 0 210061 0
vsize: 840308
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 61104 53 0 0 25 0 11 0 838642226 860475392 29634 4294967295 134512640 134569956 3221224368 3221214648 1131401425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29634 13086 16 0 210061 0
vsize: 840308
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 62097 53 0 0 25 0 11 0 838642226 860475392 29642 4294967295 134512640 134569956 3221224368 3221214496 1131285801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29642 13086 16 0 210061 0
vsize: 840308
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 63090 53 0 0 25 0 11 0 838642226 860475392 29653 4294967295 134512640 134569956 3221224368 3221214584 1131331446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29653 13086 16 0 210061 0
vsize: 840308
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 64082 53 0 0 25 0 11 0 838642226 860475392 29664 4294967295 134512640 134569956 3221224368 3221214496 1131285934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29664 13086 16 0 210061 0
vsize: 840308
[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 65073 53 0 0 25 0 11 0 838642226 860475392 29675 4294967295 134512640 134569956 3221224368 3221214496 1131285977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29675 13086 16 0 210061 0
vsize: 840308
[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 66066 53 0 0 25 0 11 0 838642226 860475392 29686 4294967295 134512640 134569956 3221224368 3221214648 1131397726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29686 13086 16 0 210061 0
vsize: 840308
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 67058 53 0 0 25 0 11 0 838642226 860475392 29693 4294967295 134512640 134569956 3221224368 3221214648 1131397564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29693 13086 16 0 210061 0
vsize: 840308
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 68050 53 0 0 25 0 11 0 838642226 860475392 29704 4294967295 134512640 134569956 3221224368 3221214648 1131401747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29704 13086 16 0 210061 0
vsize: 840308
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 69043 54 0 0 25 0 11 0 838642226 860475392 29715 4294967295 134512640 134569956 3221224368 3221214496 1131285841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29715 13086 16 0 210061 0
vsize: 840308
[startup+730.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 70035 54 0 0 25 0 11 0 838642226 860475392 29723 4294967295 134512640 134569956 3221224368 3221214648 1131397564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29723 13086 16 0 210061 0
vsize: 840308
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 71028 54 0 0 25 0 11 0 838642226 860475392 29734 4294967295 134512640 134569956 3221224368 3221214496 1131285900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29734 13086 16 0 210061 0
vsize: 840308
[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 72020 54 0 0 25 0 11 0 838642226 860475392 29741 4294967295 134512640 134569956 3221224368 3221214496 1131285801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29741 13086 16 0 210061 0
vsize: 840308
[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 73012 54 0 0 25 0 11 0 838642226 860475392 29752 4294967295 134512640 134569956 3221224368 3221214448 1079668321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29752 13086 16 0 210061 0
vsize: 840308
[startup+770.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 74004 54 0 0 25 0 11 0 838642226 860475392 29759 4294967295 134512640 134569956 3221224368 3221214496 1131273740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29759 13086 16 0 210061 0
vsize: 840308
[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 74997 54 0 0 25 0 11 0 838642226 860475392 29770 4294967295 134512640 134569956 3221224368 3221214496 1131285755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29770 13086 16 0 210061 0
vsize: 840308
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 75989 54 0 0 25 0 11 0 838642226 860475392 29778 4294967295 134512640 134569956 3221224368 3221214648 1131398619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29778 13086 16 0 210061 0
vsize: 840308
[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22282
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 76980 54 0 0 25 0 11 0 838642226 860475392 29789 4294967295 134512640 134569956 3221224368 3221214584 1131331539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210077 29789 13086 16 0 210061 0
vsize: 840308
[startup+810.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22335
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 77959 64 0 0 25 0 11 0 838642226 860475392 29797 4294967295 134512640 134569956 3221224368 3221214648 1131397347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29797 13086 16 0 210061 0
vsize: 840308
[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22335
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 78950 65 0 0 25 0 11 0 838642226 860475392 29804 4294967295 134512640 134569956 3221224368 3221214648 1131397359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29804 13086 16 0 210061 0
vsize: 840308
[startup+830.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22335
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 79941 65 0 0 25 0 11 0 838642226 860475392 29824 4294967295 134512640 134569956 3221224368 3221214496 1131287084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29824 13086 16 0 210061 0
vsize: 840308
[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22335
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 80931 65 0 0 25 0 11 0 838642226 860475392 29838 4294967295 134512640 134569956 3221224368 3221214644 1131239859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29838 13086 16 0 210061 0
vsize: 840308
[startup+850.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22335
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 81922 65 0 0 25 0 11 0 838642226 860475392 29850 4294967295 134512640 134569956 3221224368 3221214584 1131331556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29850 13086 16 0 210061 0
vsize: 840308
[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22335
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 82913 65 0 0 25 0 11 0 838642226 860475392 29875 4294967295 134512640 134569956 3221224368 3221214584 1131331309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29875 13086 16 0 210061 0
vsize: 840308
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22335
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 83905 65 0 0 25 0 11 0 838642226 860475392 29889 4294967295 134512640 134569956 3221224368 3221214496 1131287081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29889 13086 16 0 210061 0
vsize: 840308
[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 84896 65 0 0 25 0 11 0 838642226 860475392 29900 4294967295 134512640 134569956 3221224368 3221214584 1131331233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29900 13086 16 0 210061 0
vsize: 840308
[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 85888 65 0 0 25 0 11 0 838642226 860475392 29908 4294967295 134512640 134569956 3221224368 3221214648 1131401481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29908 13086 16 0 210061 0
vsize: 840308
[startup+900.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 86879 65 0 0 25 0 11 0 838642226 860475392 29919 4294967295 134512640 134569956 3221224368 3221214432 1131488184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29919 13086 16 0 210061 0
vsize: 840308
[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 87870 65 0 0 25 0 11 0 838642226 860475392 29930 4294967295 134512640 134569956 3221224368 3221214496 1131273717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29930 13086 16 0 210061 0
vsize: 840308
[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 88860 65 0 0 25 0 11 0 838642226 860475392 29942 4294967295 134512640 134569956 3221224368 3221214648 1131397564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29942 13086 16 0 210061 0
vsize: 840308
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 89851 65 0 0 25 0 11 0 838642226 860475392 29961 4294967295 134512640 134569956 3221224368 3221214496 1131285977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29961 13086 16 0 210061 0
vsize: 840308
[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 90843 65 0 0 25 0 11 0 838642226 860475392 29974 4294967295 134512640 134569956 3221224368 3221214496 1131287099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29974 13086 16 0 210061 0
vsize: 840308
[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 91834 65 0 0 25 0 11 0 838642226 860475392 29991 4294967295 134512640 134569956 3221224368 3221214584 1131331413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29991 13086 16 0 210061 0
vsize: 840308
[startup+960.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 92826 65 0 0 25 0 11 0 838642226 860475392 29999 4294967295 134512640 134569956 3221224368 3221214648 1131398583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 29999 13086 16 0 210061 0
vsize: 840308
[startup+970.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 93819 65 0 0 25 0 11 0 838642226 860475392 30009 4294967295 134512640 134569956 3221224368 3221214648 1131397625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30009 13086 16 0 210061 0
vsize: 840308
[startup+980.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 94811 65 0 0 25 0 11 0 838642226 860475392 30016 4294967295 134512640 134569956 3221224368 3221214496 1131286001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30016 13086 16 0 210061 0
vsize: 840308
[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 95804 65 0 0 25 0 11 0 838642226 860475392 30024 4294967295 134512640 134569956 3221224368 3221214496 1131274780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30024 13086 16 0 210061 0
vsize: 840308
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 96796 65 0 0 25 0 11 0 838642226 860475392 30027 4294967295 134512640 134569956 3221224368 3221214648 1131401556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30027 13086 16 0 210061 0
vsize: 840308
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 97788 65 0 0 25 0 11 0 838642226 860475392 30035 4294967295 134512640 134569956 3221224368 3221214648 1131401508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30035 13086 16 0 210061 0
vsize: 840308
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 98780 66 0 0 25 0 11 0 838642226 860475392 30046 4294967295 134512640 134569956 3221224368 3221214696 1131422772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30046 13086 16 0 210061 0
vsize: 840308
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 99772 66 0 0 25 0 11 0 838642226 860475392 30049 4294967295 134512640 134569956 3221224368 3221214496 1131285748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30049 13086 16 0 210061 0
vsize: 840308
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 100765 66 0 0 25 0 11 0 838642226 860475392 30057 4294967295 134512640 134569956 3221224368 3221214496 1131285801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30057 13086 16 0 210061 0
vsize: 840308
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 101757 66 0 0 25 0 11 0 838642226 860475392 30064 4294967295 134512640 134569956 3221224368 3221214584 1131331259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30064 13086 16 0 210061 0
vsize: 840308
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 102749 66 0 0 25 0 11 0 838642226 860475392 30071 4294967295 134512640 134569956 3221224368 3221214496 1131285801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30071 13086 16 0 210061 0
vsize: 840308
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 103741 66 0 0 25 0 11 0 838642226 860475392 30079 4294967295 134512640 134569956 3221224368 3221214648 1131401620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30079 13086 16 0 210061 0
vsize: 840308
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 104733 66 0 0 25 0 11 0 838642226 860475392 30086 4294967295 134512640 134569956 3221224368 3221214584 1131331290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30086 13086 16 0 210061 0
vsize: 840308
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 105725 66 0 0 25 0 11 0 838642226 860475392 30093 4294967295 134512640 134569956 3221224368 3221214496 1131274172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30093 13086 16 0 210061 0
vsize: 840308
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 106717 66 0 0 25 0 11 0 838642226 860475392 30101 4294967295 134512640 134569956 3221224368 3221214432 1131488153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30101 13086 16 0 210061 0
vsize: 840308
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 107709 67 0 0 25 0 11 0 838642226 860475392 30108 4294967295 134512640 134569956 3221224368 3221214644 1131331885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30108 13086 16 0 210061 0
vsize: 840308
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 108702 67 0 0 25 0 11 0 838642226 860475392 30112 4294967295 134512640 134569956 3221224368 3221214840 1131419921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30112 13086 16 0 210061 0
vsize: 840308
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 109694 67 0 0 25 0 11 0 838642226 860475392 30119 4294967295 134512640 134569956 3221224368 3221214496 1131285707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30119 13086 16 0 210061 0
vsize: 840308
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 110685 67 0 0 25 0 11 0 838642226 860475392 30126 4294967295 134512640 134569956 3221224368 3221214496 1131285864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30126 13086 16 0 210061 0
vsize: 840308
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22337
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 111677 67 0 0 25 0 11 0 838642226 860475392 30134 4294967295 134512640 134569956 3221224368 3221214648 1131397564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30134 13086 16 0 210061 0
vsize: 840308
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 112669 67 0 0 25 0 11 0 838642226 860475392 30141 4294967295 134512640 134569956 3221224368 3221214856 1131208601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30141 13086 16 0 210061 0
vsize: 840308
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 113661 67 0 0 25 0 11 0 838642226 860475392 30145 4294967295 134512640 134569956 3221224368 3221214496 1131285801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30145 13086 16 0 210061 0
vsize: 840308
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 114654 67 0 0 25 0 11 0 838642226 860475392 30152 4294967295 134512640 134569956 3221224368 3221214496 1131285792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30152 13086 16 0 210061 0
vsize: 840308
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 115646 68 0 0 25 0 11 0 838642226 860475392 30160 4294967295 134512640 134569956 3221224368 3221214496 1131287114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30160 13086 16 0 210061 0
vsize: 840308
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 116637 68 0 0 25 0 11 0 838642226 860475392 30167 4294967295 134512640 134569956 3221224368 3221214496 1131285755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30167 13086 16 0 210061 0
vsize: 840308
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 117629 68 0 0 25 0 11 0 838642226 860475392 30174 4294967295 134512640 134569956 3221224368 3221214496 1131285801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30174 13086 16 0 210061 0
vsize: 840308
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 118621 68 0 0 25 0 11 0 838642226 860475392 30178 4294967295 134512640 134569956 3221224368 3221214584 1131331266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30178 13086 16 0 210061 0
vsize: 840308
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 119613 69 0 0 25 0 11 0 838642226 860475392 30186 4294967295 134512640 134569956 3221224368 3221214496 1131286434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30186 13086 16 0 210061 0
vsize: 840308
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 22339
Raw data (stat): 22272 (java) R 22271 7475 7474 0 -1 0 18083 0 1 0 120605 69 0 0 25 0 11 0 838642226 860475392 30193 4294967295 134512640 134569956 3221224368 3221214584 1131331327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 30193 13086 16 0 210061 0
vsize: 840308
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 22341
Raw data (stat): 22272 (java) Z 22271 7475 7474 0 -1 1036 18083 10231 1 0 120609 69 3144 35 25 0 1 0 838642226 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.19
CPU time (s): 1238.59
CPU user time (s): 1237.54
CPU system time (s): 1.05284
CPU usage (%): 99.8715
Max. virtual memory (Kb): 843380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####