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/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2.opb
MD5SUM	a1d50263b520d58c9e2807bbf8bc2f07
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	9432
Biggest coefficient in the objective function	409031671808
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	179181298104960
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	409031671808
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	179181298104960
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.120981
Number of variables	13368
Total number of constraints	2112
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	1824
Minimum length of a constraint	1
Maximum length of a constraint	209
Trace number 18769

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-21 16:21:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17559 boxname=wulflinc1 idbench=1351 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a1d50263b520d58c9e2807bbf8bc2f07  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gesa2.opb
IDLAUNCH: 17559
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        742392 kB
Buffers:          6556 kB
Cached:         260208 kB
SwapCached:          0 kB
Active:          57540 kB
Inactive:       212376 kB
HighTotal:      131008 kB
HighFree:        17388 kB
LowTotal:       903652 kB
LowFree:        725004 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           7220 kB
Slab:            16616 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 16:42:22 (client local time) WITH STATUS 143 IN 1234.94 SECONDS
stats: 17559 7 1234.94 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gesa2.opb
c reading problem 
c [nbvar=13368]
c [nbconstr=2112]
c time 57.168
c #vars     13368
c #clauses  1873
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.94 0.90 2/56 30148
Raw data (stat): 30148 (runsolver) R 30147 12452 12451 0 -1 64 1 0 0 0 0 0 0 0 20 0 1 0 431405221 1052672 97 4294967295 134512640 135381576 3221224432 3221219804 135024803 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.94 0.90 2/65 30157
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 17979 0 1 0 894 36 0 0 25 0 10 0 431405221 853553152 19108 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208387 19108 13073 16 0 208371 0
vsize: 833548
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.90 2/65 30157
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 17980 0 1 0 1781 36 0 0 25 0 10 0 431405221 855859200 20156 4294967295 134512640 134569956 3221224400 3221214972 1130920006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208950 20156 13073 16 0 208934 0
vsize: 835800
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.90 4/65 30157
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18007 0 1 0 2584 37 0 0 25 0 10 0 431405221 866922496 23145 4294967295 134512640 134569956 3221224400 3221214716 1130902060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211651 23145 13073 16 0 211635 0
vsize: 846604
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.94 0.90 2/65 30157
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18007 0 1 0 3443 37 0 0 25 0 10 0 431405221 861835264 22431 4294967295 134512640 134569956 3221224400 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210409 22431 13073 16 0 210393 0
vsize: 841636
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.94 0.90 2/65 30157
Raw data (stat): 30148 (java) S 30147 12452 12451 0 -1 0 18007 0 1 0 4303 37 0 0 25 0 10 0 431405221 861835264 22664 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210409 22664 13073 16 0 210393 0
vsize: 841636
[startup+60.0027 s]
Raw data (loadavg): 1.02 0.96 0.91 2/65 30157
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18029 0 1 0 5195 38 0 0 21 0 10 0 431405221 861835264 23409 4294967295 134512640 134569956 3221224400 3221214824 1131408560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210409 23409 13073 16 0 210393 0
vsize: 841636
[startup+70.0034 s]
Raw data (loadavg): 1.17 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18076 0 1 0 6006 39 0 0 25 0 11 0 431405221 860639232 23202 4294967295 134512640 134569956 3221224400 3221214680 1131275676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23202 13073 16 0 210101 0
vsize: 840468
[startup+80.0033 s]
Raw data (loadavg): 1.14 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) S 30147 12452 12451 0 -1 0 18076 0 1 0 6906 39 0 0 25 0 11 0 431405221 860639232 23341 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 23341 13073 16 0 210101 0
vsize: 840468
[startup+90.004 s]
Raw data (loadavg): 1.12 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18076 0 1 0 7829 39 0 0 25 0 11 0 431405221 860639232 23385 4294967295 134512640 134569956 3221224400 3221214584 1131265955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 23385 13073 16 0 210101 0
vsize: 840468
[startup+100.004 s]
Raw data (loadavg): 1.10 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18076 0 1 0 8777 39 0 0 25 0 11 0 431405221 860639232 23483 4294967295 134512640 134569956 3221224400 3221214656 1131540499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 23483 13073 16 0 210101 0
vsize: 840468
[startup+110.005 s]
Raw data (loadavg): 1.08 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18076 0 1 0 9759 39 0 0 25 0 11 0 431405221 860639232 24107 4294967295 134512640 134569956 3221224400 3221214584 1131267956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24107 13073 16 0 210101 0
vsize: 840468
[startup+120.005 s]
Raw data (loadavg): 1.07 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 10753 39 0 0 25 0 11 0 431405221 860639232 24171 4294967295 134512640 134569956 3221224400 3221214672 1131421040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24171 13073 16 0 210101 0
vsize: 840468
[startup+130.005 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 11751 40 0 0 25 0 11 0 431405221 860639232 24178 4294967295 134512640 134569956 3221224400 3221214656 1131539933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24178 13073 16 0 210101 0
vsize: 840468
[startup+140.005 s]
Raw data (loadavg): 1.05 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 12750 40 0 0 25 0 11 0 431405221 860639232 24178 4294967295 134512640 134569956 3221224400 3221214656 1131541212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24178 13073 16 0 210101 0
vsize: 840468
[startup+150.006 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 13745 40 0 0 25 0 11 0 431405221 860639232 24183 4294967295 134512640 134569956 3221224400 3221214732 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24183 13073 16 0 210101 0
vsize: 840468
[startup+160.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 14740 40 0 0 25 0 11 0 431405221 860639232 24183 4294967295 134512640 134569956 3221224400 3221214584 1131266192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24183 13073 16 0 210101 0
vsize: 840468
[startup+170.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 15736 40 0 0 25 0 11 0 431405221 860639232 24183 4294967295 134512640 134569956 3221224400 3221214672 1131421171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24183 13073 16 0 210101 0
vsize: 840468
[startup+180.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 30158
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 16733 40 0 0 25 0 11 0 431405221 860639232 24184 4294967295 134512640 134569956 3221224400 3221214584 1131265857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24184 13073 16 0 210101 0
vsize: 840468
[startup+190.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 17727 41 0 0 25 0 11 0 431405221 860639232 24184 4294967295 134512640 134569956 3221224400 3221214768 1131631876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24184 13073 16 0 210101 0
vsize: 840468
[startup+200.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 18724 41 0 0 25 0 11 0 431405221 860639232 24217 4294967295 134512640 134569956 3221224400 3221214656 1131539902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24217 13073 16 0 210101 0
vsize: 840468
[startup+210.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 19724 41 0 0 25 0 11 0 431405221 860639232 24217 4294967295 134512640 134569956 3221224400 3221214656 1131540596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24217 13073 16 0 210101 0
vsize: 840468
[startup+220.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 20716 41 0 0 25 0 11 0 431405221 860639232 24234 4294967295 134512640 134569956 3221224400 3221214384 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24234 13073 16 0 210101 0
vsize: 840468
[startup+230.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 21709 42 0 0 25 0 11 0 431405221 860639232 24234 4294967295 134512640 134569956 3221224400 3221214672 1131548644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24234 13073 16 0 210101 0
vsize: 840468
[startup+240.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 22691 42 0 0 25 0 11 0 431405221 860639232 24236 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24236 13073 16 0 210101 0
vsize: 840468
[startup+250.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 23675 42 0 0 25 0 11 0 431405221 860639232 24236 4294967295 134512640 134569956 3221224400 3221214768 1131633488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24236 13073 16 0 210101 0
vsize: 840468
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 24657 42 0 0 25 0 11 0 431405221 860639232 24258 4294967295 134512640 134569956 3221224400 3221214768 1131633484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24258 13073 16 0 210101 0
vsize: 840468
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 25643 42 0 0 25 0 11 0 431405221 860639232 24258 4294967295 134512640 134569956 3221224400 3221214768 1131631779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24258 13073 16 0 210101 0
vsize: 840468
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 26631 43 0 0 25 0 11 0 431405221 860639232 24258 4294967295 134512640 134569956 3221224400 3221214768 1131633491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24258 13073 16 0 210101 0
vsize: 840468
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 27620 43 0 0 25 0 11 0 431405221 860639232 24258 4294967295 134512640 134569956 3221224400 3221214656 1131542310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24258 13073 16 0 210101 0
vsize: 840468
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 28608 43 0 0 25 0 11 0 431405221 860639232 24423 4294967295 134512640 134569956 3221224400 3221214848 1131435216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24423 13073 16 0 210101 0
vsize: 840468
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 29601 43 0 0 25 0 11 0 431405221 860639232 24423 4294967295 134512640 134569956 3221224400 3221214672 1131265941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24423 13073 16 0 210101 0
vsize: 840468
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 30598 43 0 0 25 0 11 0 431405221 860639232 24423 4294967295 134512640 134569956 3221224400 3221214672 1131265955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24423 13073 16 0 210101 0
vsize: 840468
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 31595 43 0 0 25 0 11 0 431405221 860639232 24423 4294967295 134512640 134569956 3221224400 3221214672 1131265955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24423 13073 16 0 210101 0
vsize: 840468
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 32592 43 0 0 25 0 11 0 431405221 860639232 24423 4294967295 134512640 134569956 3221224400 3221214744 1131503929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24423 13073 16 0 210101 0
vsize: 840468
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 33591 43 0 0 25 0 11 0 431405221 860639232 24452 4294967295 134512640 134569956 3221224400 3221214672 1131266690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24452 13073 16 0 210101 0
vsize: 840468
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 34590 43 0 0 25 0 11 0 431405221 860639232 24452 4294967295 134512640 134569956 3221224400 3221214768 1131633488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24452 13073 16 0 210101 0
vsize: 840468
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 35588 43 0 0 25 0 11 0 431405221 860639232 24452 4294967295 134512640 134569956 3221224400 3221214752 1131265746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24452 13073 16 0 210101 0
vsize: 840468
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 36546 43 0 0 24 0 11 0 431405221 860639232 24453 4294967295 134512640 134569956 3221224400 3221214616 1131499182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24453 13073 16 0 210101 0
vsize: 840468
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 37499 43 0 0 25 0 11 0 431405221 860639232 24453 4294967295 134512640 134569956 3221224400 3221214672 1131265921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24453 13073 16 0 210101 0
vsize: 840468
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 38468 44 0 0 25 0 11 0 431405221 860639232 24453 4294967295 134512640 134569956 3221224400 3221214672 1131265997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24453 13073 16 0 210101 0
vsize: 840468
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 39442 44 0 0 25 0 11 0 431405221 860639232 24453 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24453 13073 16 0 210101 0
vsize: 840468
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 40420 44 0 0 25 0 11 0 431405221 860639232 24788 4294967295 134512640 134569956 3221224400 3221214672 1131265997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24788 13073 16 0 210101 0
vsize: 840468
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 41419 44 0 0 25 0 11 0 431405221 860639232 24788 4294967295 134512640 134569956 3221224400 3221214672 1131266155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24788 13073 16 0 210101 0
vsize: 840468
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 42418 44 0 0 25 0 11 0 431405221 860639232 24788 4294967295 134512640 134569956 3221224400 3221214768 1131631772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24788 13073 16 0 210101 0
vsize: 840468
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 43417 44 0 0 25 0 11 0 431405221 860639232 24788 4294967295 134512640 134569956 3221224400 3221214512 1078032473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 24788 13073 16 0 210101 0
vsize: 840468
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 44410 44 0 0 25 0 11 0 431405221 860639232 24788 4294967295 134512640 134569956 3221224400 3221214672 1131266167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24788 13073 16 0 210101 0
vsize: 840468
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 45407 45 0 0 25 0 11 0 431405221 860639232 24789 4294967295 134512640 134569956 3221224400 3221214656 1131540596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24789 13073 16 0 210101 0
vsize: 840468
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30160
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 46404 45 0 0 25 0 11 0 431405221 860639232 24789 4294967295 134512640 134569956 3221224400 3221214656 1131539880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24789 13073 16 0 210101 0
vsize: 840468
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 47400 45 0 0 25 0 11 0 431405221 860639232 24789 4294967295 134512640 134569956 3221224400 3221214656 1131541509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24789 13073 16 0 210101 0
vsize: 840468
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 48398 45 0 0 25 0 11 0 431405221 860639232 24789 4294967295 134512640 134569956 3221224400 3221214656 1131541425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24789 13073 16 0 210101 0
vsize: 840468
[startup+510.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 49396 45 0 0 25 0 11 0 431405221 860639232 24823 4294967295 134512640 134569956 3221224400 3221214672 1131265777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24823 13073 16 0 210101 0
vsize: 840468
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 50395 45 0 0 25 0 11 0 431405221 860639232 24823 4294967295 134512640 134569956 3221224400 3221214656 1131541265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24823 13073 16 0 210101 0
vsize: 840468
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 51385 45 0 0 25 0 11 0 431405221 860639232 24823 4294967295 134512640 134569956 3221224400 3221214672 1131549782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24823 13073 16 0 210101 0
vsize: 840468
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 52369 45 0 0 25 0 11 0 431405221 860639232 24823 4294967295 134512640 134569956 3221224400 3221214744 1131512076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24823 13073 16 0 210101 0
vsize: 840468
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 53343 45 0 0 25 0 11 0 431405221 860639232 24823 4294967295 134512640 134569956 3221224400 3221214696 1131496835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24823 13073 16 0 210101 0
vsize: 840468
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 54291 46 0 0 25 0 11 0 431405221 860639232 24886 4294967295 134512640 134569956 3221224400 3221214744 1131509408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24886 13073 16 0 210101 0
vsize: 840468
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 55241 46 0 0 24 0 11 0 431405221 860639232 24886 4294967295 134512640 134569956 3221224400 3221214536 1131482748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24886 13073 16 0 210101 0
vsize: 840468
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 56213 46 0 0 25 0 11 0 431405221 860639232 24886 4294967295 134512640 134569956 3221224400 3221214764 1131503913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 24886 13073 16 0 210101 0
vsize: 840468
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 57203 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214656 1131540499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+600.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 58202 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214672 1131265997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 59201 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214656 1131540596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 60200 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214768 1131633472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 61199 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214768 1131633491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 62193 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214424 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 63188 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214656 1131540686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 64186 46 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 65183 47 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214768 1131633506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 66180 47 0 0 25 0 11 0 431405221 860639232 25205 4294967295 134512640 134569956 3221224400 3221214768 1131633488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25205 13073 16 0 210101 0
vsize: 840468
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 67178 47 0 0 25 0 11 0 431405221 860639232 25240 4294967295 134512640 134569956 3221224400 3221214656 1131541590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25240 13073 16 0 210101 0
vsize: 840468
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 68177 47 0 0 25 0 11 0 431405221 860639232 25240 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25240 13073 16 0 210101 0
vsize: 840468
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 69175 47 0 0 25 0 11 0 431405221 860639232 25240 4294967295 134512640 134569956 3221224400 3221214672 1131549232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25240 13073 16 0 210101 0
vsize: 840468
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 70169 47 0 0 25 0 11 0 431405221 860639232 25240 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25240 13073 16 0 210101 0
vsize: 840468
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 71162 48 0 0 25 0 11 0 431405221 860639232 25240 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25240 13073 16 0 210101 0
vsize: 840468
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 72157 48 0 0 25 0 11 0 431405221 860639232 25240 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25240 13073 16 0 210101 0
vsize: 840468
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 73154 48 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214656 1131541315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 74154 48 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214656 1131539883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 75152 48 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214672 1131265955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30162
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 76151 48 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214672 1131265997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 77150 48 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214672 1131265767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 78146 49 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214672 1131548827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 79140 49 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214672 1131266188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 80137 49 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214768 1131633488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 81133 49 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214672 1131265835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 82130 49 0 0 25 0 11 0 431405221 860639232 25264 4294967295 134512640 134569956 3221224400 3221214764 1131503904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25264 13073 16 0 210101 0
vsize: 840468
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 83128 50 0 0 25 0 11 0 431405221 860639232 25299 4294967295 134512640 134569956 3221224400 3221214672 1131266276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25299 13073 16 0 210101 0
vsize: 840468
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 84127 50 0 0 25 0 11 0 431405221 860639232 25299 4294967295 134512640 134569956 3221224400 3221214672 1131266155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25299 13073 16 0 210101 0
vsize: 840468
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 85126 50 0 0 25 0 11 0 431405221 860639232 25299 4294967295 134512640 134569956 3221224400 3221214768 1131633484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210117 25299 13073 16 0 210101 0
vsize: 840468
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 86121 50 0 0 25 0 11 0 431405221 860639232 25299 4294967295 134512640 134569956 3221224400 3221214496 1131579425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25299 13073 16 0 210101 0
vsize: 840468
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 87115 51 0 0 25 0 11 0 431405221 860639232 25299 4294967295 134512640 134569956 3221224400 3221214592 1131583220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25299 13073 16 0 210101 0
vsize: 840468
[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 88110 51 0 0 25 0 11 0 431405221 860639232 25299 4294967295 134512640 134569956 3221224400 3221214720 1131502927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25299 13073 16 0 210101 0
vsize: 840468
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 89104 51 0 0 25 0 11 0 431405221 860639232 25310 4294967295 134512640 134569956 3221224400 3221214672 1131548876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25310 13073 16 0 210101 0
vsize: 840468
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 90101 51 0 0 25 0 11 0 431405221 860639232 25310 4294967295 134512640 134569956 3221224400 3221214744 1131512066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25310 13073 16 0 210101 0
vsize: 840468
[startup+930.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 91098 51 0 0 25 0 11 0 431405221 860639232 25310 4294967295 134512640 134569956 3221224400 3221214520 1131481872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25310 13073 16 0 210101 0
vsize: 840468
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 92086 52 0 0 25 0 11 0 431405221 860639232 25310 4294967295 134512640 134569956 3221224400 3221214688 1131440987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25310 13073 16 0 210101 0
vsize: 840468
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 93073 52 0 0 25 0 11 0 431405221 860639232 25310 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25310 13073 16 0 210101 0
vsize: 840468
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) S 30147 12452 12451 0 -1 0 18077 0 1 0 94046 52 0 0 25 0 11 0 431405221 860639232 25310 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25310 13073 16 0 210101 0
vsize: 840468
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 95024 52 0 0 25 0 11 0 431405221 860639232 25341 4294967295 134512640 134569956 3221224400 3221214672 1131265837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25341 13073 16 0 210101 0
vsize: 840468
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 96008 52 0 0 25 0 11 0 431405221 860639232 25341 4294967295 134512640 134569956 3221224400 3221214672 1131265997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25341 13073 16 0 210101 0
vsize: 840468
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 96994 53 0 0 25 0 11 0 431405221 860639232 25341 4294967295 134512640 134569956 3221224400 3221214768 1131631817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25341 13073 16 0 210101 0
vsize: 840468
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 97981 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214656 1131540532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 98979 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214656 1131539883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 99979 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 100975 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214368 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 101969 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214672 1131265835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 102966 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214760 1131493327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 103963 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214672 1131265955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 104960 53 0 0 25 0 11 0 431405221 860639232 25516 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25516 13073 16 0 210101 0
vsize: 840468
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30164
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 105957 54 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 106956 54 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214768 1131633480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 107955 54 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214768 1131633488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 108949 54 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214744 1131509887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 109943 55 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214656 1131541285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 110941 55 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214672 1131265955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 111938 55 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214768 1131631857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 112936 55 0 0 25 0 11 0 431405221 860639232 25550 4294967295 134512640 134569956 3221224400 3221214768 1131633488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25550 13073 16 0 210101 0
vsize: 840468
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 113934 55 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214768 1131633488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 114933 56 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214656 1131540661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 115933 56 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214696 1131496835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 116925 56 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214656 1131540506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 117921 56 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214672 1131265997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 118918 56 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214768 1131631772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 119915 57 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214768 1131633484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 30166
Raw data (stat): 30148 (java) R 30147 12452 12451 0 -1 0 18077 0 1 0 120912 57 0 0 25 0 11 0 431405221 860639232 25575 4294967295 134512640 134569956 3221224400 3221214672 1131265755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210117 25575 13073 16 0 210101 0
vsize: 840468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 30168
Raw data (stat): 30148 (java) Z 30147 12452 12451 0 -1 1036 18077 11091 1 0 120915 57 2489 31 25 0 1 0 431405221 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): 1230.12
CPU time (s): 1234.94
CPU user time (s): 1234.05
CPU system time (s): 0.886865
CPU usage (%): 100.392
Max. virtual memory (Kb): 846604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####