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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb
MD5SUM	bdc6ebf164274793ca5e27f860835212
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	29490
Biggest coefficient in the objective function	12938266856652800
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	1063579760735919966
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	12938266856652800
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	1063579760735919966
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.298954
Number of variables	35250
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	30
Maximum length of a constraint	2280
Trace number 29425

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 07:33:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20824 boxname=wulflinc30 idbench=812 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  bdc6ebf164274793ca5e27f860835212  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-bnl1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-bnl1.opb
IDLAUNCH: 20824
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        714444 kB
Buffers:         34336 kB
Cached:         262312 kB
SwapCached:        716 kB
Active:          85432 kB
Inactive:       213384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714192 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15764 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:54:35 (client local time) WITH STATUS 143 IN 1250.99 SECONDS
stats: 20824 7 1250.99 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/wulflinc30/normalized-mps-v2-20-10-bnl1.opb
c reading problem ... done. Time 355.946 ms.
c #vars     35250
c #constraints  855
c starts	: 1
c conflicts	: 9
c decisions	: 273
c propagations	: 22878
c inspects	: 12437
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 3
s UNKNOWN
c Total CPU time (ms) : 1239.09
#### 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.92 0.98 0.99 2/54 5116
Raw data (stat): 5116 (runsolver) R 5115 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837107977 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0026 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) S 5115 22056 22055 0 -1 0 18010 0 1 0 875 38 0 0 25 0 10 0 837107977 853671936 19370 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 19370 13086 16 0 208400 0
vsize: 833664
[startup+20.0033 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) S 5115 22056 22055 0 -1 0 18010 0 1 0 1768 39 0 0 25 0 10 0 837107977 853635072 19867 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 19869 13086 16 0 208391 0
vsize: 833628
[startup+30.0037 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 2665 39 0 0 25 0 10 0 837107977 853635072 20365 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 20365 13086 16 0 208391 0
vsize: 833628
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 3579 39 0 0 25 0 10 0 837107977 853913600 20733 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208475 20733 13086 16 0 208459 0
vsize: 833900
[startup+50.0061 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 4500 39 0 0 25 0 10 0 837107977 853884928 20898 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 20898 13086 16 0 208452 0
vsize: 833872
[startup+60.0062 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 5416 40 0 0 25 0 10 0 837107977 853884928 21034 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208468 21034 13086 16 0 208452 0
vsize: 833872
[startup+70.0076 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 6347 40 0 0 25 0 10 0 837107977 853635072 21215 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21215 13086 16 0 208391 0
vsize: 833628
[startup+80.0093 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 7285 41 0 0 25 0 10 0 837107977 853635072 21321 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21321 13086 16 0 208391 0
vsize: 833628
[startup+90.0096 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 8228 41 0 0 25 0 10 0 837107977 853635072 21412 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21412 13086 16 0 208391 0
vsize: 833628
[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 9169 41 0 0 25 0 10 0 837107977 853635072 21502 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21502 13086 16 0 208391 0
vsize: 833628
[startup+110.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 10114 41 0 0 25 0 10 0 837107977 853635072 21581 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21581 13086 16 0 208391 0
vsize: 833628
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 11055 42 0 0 25 0 10 0 837107977 853635072 21660 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21660 13086 16 0 208391 0
vsize: 833628
[startup+130.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) S 5115 22056 22055 0 -1 0 18010 0 1 0 11997 42 0 0 25 0 10 0 837107977 853635072 21732 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21732 13086 16 0 208391 0
vsize: 833628
[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 12942 43 0 0 19 0 10 0 837107977 853635072 21802 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21802 13086 16 0 208391 0
vsize: 833628
[startup+150.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 13884 43 0 0 24 0 10 0 837107977 853635072 21870 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21870 13086 16 0 208391 0
vsize: 833628
[startup+160.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 14829 43 0 0 25 0 10 0 837107977 853635072 21932 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21932 13086 16 0 208391 0
vsize: 833628
[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 15768 44 0 0 25 0 10 0 837107977 853635072 21995 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 21995 13086 16 0 208391 0
vsize: 833628
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 16685 44 0 0 25 0 10 0 837107977 853635072 22052 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22052 13086 16 0 208391 0
vsize: 833628
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 17606 45 0 0 25 0 10 0 837107977 853635072 22365 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22365 13086 16 0 208391 0
vsize: 833628
[startup+200.017 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 18544 45 0 0 25 0 10 0 837107977 853635072 22422 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22422 13086 16 0 208391 0
vsize: 833628
[startup+210.017 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 19486 45 0 0 25 0 10 0 837107977 853635072 22474 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22474 13086 16 0 208391 0
vsize: 833628
[startup+220.017 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 20424 46 0 0 25 0 10 0 837107977 853635072 22529 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22529 13086 16 0 208391 0
vsize: 833628
[startup+230.018 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 21366 46 0 0 25 0 10 0 837107977 853635072 22579 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22579 13086 16 0 208391 0
vsize: 833628
[startup+240.019 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18010 0 1 0 22302 47 0 0 25 0 10 0 837107977 853635072 22631 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22631 13086 16 0 208391 0
vsize: 833628
[startup+250.02 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18018 0 1 0 23233 47 0 0 21 0 10 0 837107977 853635072 22687 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208407 22687 13086 16 0 208391 0
vsize: 833628
[startup+260.02 s]
Raw data (loadavg): 1.17 1.03 1.01 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 24083 48 0 0 25 0 10 0 837107977 857829376 23672 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209431 23672 13086 16 0 209415 0
vsize: 837724
[startup+270.02 s]
Raw data (loadavg): 1.15 1.03 1.01 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 24971 48 0 0 25 0 10 0 837107977 856780800 23666 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209175 23666 13086 16 0 209159 0
vsize: 836700
[startup+280.021 s]
Raw data (loadavg): 1.12 1.03 1.01 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 25870 49 0 0 25 0 10 0 837107977 856780800 23925 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209175 23925 13086 16 0 209159 0
vsize: 836700
[startup+290.022 s]
Raw data (loadavg): 1.10 1.03 1.01 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 26754 50 0 0 19 0 10 0 837107977 857829376 25080 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 25080 13086 16 0 209415 0
vsize: 837724
[startup+300.023 s]
Raw data (loadavg): 1.09 1.03 1.01 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 27639 50 0 0 24 0 10 0 837107977 857829376 25159 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 25159 13086 16 0 209415 0
vsize: 837724
[startup+310.023 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 28511 51 0 0 25 0 10 0 837107977 857829376 25268 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 25268 13086 16 0 209415 0
vsize: 837724
[startup+320.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 29391 51 0 0 24 0 10 0 837107977 857829376 25610 4294967295 134512640 134569956 3221224368 3221213684 1131253843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 25610 13086 16 0 209415 0
vsize: 837724
[startup+330.024 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 30288 52 0 0 25 0 10 0 837107977 857829376 25799 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 25799 13086 16 0 209415 0
vsize: 837724
[startup+340.024 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 31168 52 0 0 24 0 10 0 837107977 857829376 25895 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 25895 13086 16 0 209415 0
vsize: 837724
[startup+350.025 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18023 0 1 0 32042 54 0 0 25 0 10 0 837107977 857829376 27663 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209431 27663 13086 16 0 209415 0
vsize: 837724
[startup+360.025 s]
Raw data (loadavg): 1.11 1.04 1.01 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18043 0 1 0 32937 55 0 0 25 0 10 0 837107977 863072256 29752 4294967295 134512640 134569956 3221224368 3221214720 1131405211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210711 29752 13086 16 0 210695 0
vsize: 842844
[startup+370.025 s]
Raw data (loadavg): 1.09 1.04 1.00 2/63 5125
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18043 0 1 0 33856 55 0 0 25 0 10 0 837107977 860975104 29634 4294967295 134512640 134569956 3221224368 3221214700 1131227751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210199 29634 13086 16 0 210183 0
vsize: 840796
[startup+380.026 s]
Raw data (loadavg): 1.16 1.05 1.01 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18059 0 1 0 34775 55 0 0 25 0 11 0 837107977 860454912 29283 4294967295 134512640 134569956 3221224368 3221214584 1131272425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 29283 13086 16 0 210056 0
vsize: 840288
[startup+390.026 s]
Raw data (loadavg): 1.13 1.05 1.01 2/64 5126
Raw data (stat): 5116 (java) S 5115 22056 22055 0 -1 0 18060 0 1 0 35695 55 0 0 25 0 11 0 837107977 860454912 29311 4294967295 134512640 134569956 3221224368 3221213056 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 29311 13086 16 0 210056 0
vsize: 840288
[startup+400.027 s]
Raw data (loadavg): 1.11 1.05 1.01 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18062 0 1 0 36665 55 0 0 25 0 11 0 837107977 860454912 29976 4294967295 134512640 134569956 3221224368 3221214608 1131469261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 29976 13086 16 0 210056 0
vsize: 840288
[startup+410.027 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18062 0 1 0 37651 56 0 0 25 0 11 0 837107977 860454912 30075 4294967295 134512640 134569956 3221224368 3221214520 1131476608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30075 13086 16 0 210056 0
vsize: 840288
[startup+420.027 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18062 0 1 0 38643 56 0 0 25 0 11 0 837107977 860454912 30094 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30094 13086 16 0 210056 0
vsize: 840288
[startup+430.028 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18062 0 1 0 39637 56 0 0 25 0 11 0 837107977 860454912 30108 4294967295 134512640 134569956 3221224368 3221214592 1131467062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30108 13086 16 0 210056 0
vsize: 840288
[startup+440.027 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 40630 57 0 0 25 0 11 0 837107977 860454912 30110 4294967295 134512640 134569956 3221224368 3221214620 1131393344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30110 13086 16 0 210056 0
vsize: 840288
[startup+450.029 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 41626 57 0 0 25 0 11 0 837107977 860454912 30119 4294967295 134512640 134569956 3221224368 3221214608 1131469222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30119 13086 16 0 210056 0
vsize: 840288
[startup+460.029 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 42623 57 0 0 25 0 11 0 837107977 860454912 30149 4294967295 134512640 134569956 3221224368 3221214620 1131466985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30149 13086 16 0 210056 0
vsize: 840288
[startup+470.03 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 43620 57 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214600 1131216424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+480.031 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 44618 57 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214576 1131225887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+490.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 45616 57 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214592 1131467137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+500.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 46615 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214600 1131311217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+510.031 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 47614 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214512 1131266129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+520.031 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 48611 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214624 1131464713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+530.032 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 49609 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214600 1131216424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+540.033 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 50608 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+550.034 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 51606 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214560 1131430125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+560.034 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 52604 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214512 1131266515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+570.034 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 53602 58 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+580.035 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 54601 59 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214304 1076461501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+590.035 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 55599 59 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214512 1131266023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+600.036 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 56597 59 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214620 1131216169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+610.036 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 57595 60 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214512 1131266091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+620.036 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 58593 60 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214608 1131469095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+630.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 59592 60 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214520 1131475856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+640.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 60590 60 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+650.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 61587 60 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214600 1131216327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+660.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 62586 61 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214592 1131467096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+670.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 63585 61 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214512 1131266129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+680.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 64583 61 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214520 1131476626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+690.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 65579 61 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214624 1131464745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+700.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 66574 62 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214576 1131225864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+710.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 67570 62 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214620 1131466976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+720.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 68565 62 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214592 1131467102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+730.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 69561 62 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214592 1131467062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+740.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 70558 63 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214608 1131469137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+750.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 71554 63 0 0 25 0 11 0 837107977 860454912 30172 4294967295 134512640 134569956 3221224368 3221214520 1131476558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30172 13086 16 0 210056 0
vsize: 840288
[startup+760.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 72550 63 0 0 25 0 11 0 837107977 860454912 30226 4294967295 134512640 134569956 3221224368 3221214600 1131216348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30226 13086 16 0 210056 0
vsize: 840288
[startup+770.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 73548 63 0 0 25 0 11 0 837107977 860454912 30226 4294967295 134512640 134569956 3221224368 3221214656 1131513696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30226 13086 16 0 210056 0
vsize: 840288
[startup+780.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 74547 64 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214512 1131266129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+790.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 75546 64 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214624 1131464758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+800.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 76544 65 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214592 1131467096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+810.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 77543 65 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214592 1131467056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+820.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 78541 65 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214592 1131467056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 79540 65 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214512 1131265974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 80538 66 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214600 1131311229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 81537 66 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214512 1131265963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 82536 66 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214608 1131469088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 83534 67 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214592 1131467056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 84532 67 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214592 1131467118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 85531 68 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214600 1131216424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 86530 68 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214520 1131478367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 87528 68 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 88526 68 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214596 1131430412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 89525 68 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214600 1131216307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 90524 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214520 1131476504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 91522 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 92521 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214520 1131476504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 93519 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214520 1131476532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 94514 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214592 1131467070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 95511 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214520 1131475897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 96507 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214624 1131464693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 97503 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214600 1131216238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 98499 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214608 1131469084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 99495 69 0 0 25 0 11 0 837107977 860454912 30227 4294967295 134512640 134569956 3221224368 3221214520 1131476759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30227 13086 16 0 210056 0
vsize: 840288
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 100491 69 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214600 1131216359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 101490 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214576 1131225881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 102489 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214600 1131216294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 103487 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 104486 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214512 1131266515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 105485 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214512 1131266368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 106484 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214520 1131476519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 107482 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214512 1131266769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 108481 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214624 1131464739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 109480 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214592 1131467096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 110478 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214572 1130885169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 111477 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214520 1131478367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 112476 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214592 1131467074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 113475 70 0 0 25 0 11 0 837107977 860454912 30281 4294967295 134512640 134569956 3221224368 3221214624 1131464707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30281 13086 16 0 210056 0
vsize: 840288
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 114474 71 0 0 25 0 11 0 837107977 860454912 30282 4294967295 134512640 134569956 3221224368 3221214600 1131216203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30282 13086 16 0 210056 0
vsize: 840288
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 115472 71 0 0 25 0 11 0 837107977 860454912 30282 4294967295 134512640 134569956 3221224368 3221214520 1131475879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30282 13086 16 0 210056 0
vsize: 840288
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 116471 71 0 0 25 0 11 0 837107977 860454912 30282 4294967295 134512640 134569956 3221224368 3221214512 1131266129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30282 13086 16 0 210056 0
vsize: 840288
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 117470 71 0 0 25 0 11 0 837107977 860454912 30282 4294967295 134512640 134569956 3221224368 3221214272 1078829685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30282 13086 16 0 210056 0
vsize: 840288
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 118469 71 0 0 25 0 11 0 837107977 860454912 30282 4294967295 134512640 134569956 3221224368 3221214620 1131216402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30282 13086 16 0 210056 0
vsize: 840288
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 119468 71 0 0 25 0 11 0 837107977 860454912 30282 4294967295 134512640 134569956 3221224368 3221214600 1131216378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30282 13086 16 0 210056 0
vsize: 840288
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5126
Raw data (stat): 5116 (java) R 5115 22056 22055 0 -1 0 18063 0 1 0 120467 71 0 0 25 0 11 0 837107977 860454912 30282 4294967295 134512640 134569956 3221224368 3221214520 1131475923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210072 30282 13086 16 0 210056 0
vsize: 840288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5128
Raw data (stat): 5116 (java) Z 5115 22056 22055 0 -1 1036 18063 18225 1 0 120470 76 4499 51 25 0 1 0 837107977 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): 1240.16
CPU time (s): 1250.99
CPU user time (s): 1249.7
CPU system time (s): 1.2838
CPU usage (%): 100.873
Max. virtual memory (Kb): 842844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####