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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
MD5SUM	41edd2db35f2c8eb6d4b1f0a68a60338
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.63699
Number of variables	4662
Total number of constraints	36387
Number of constraints which are clauses	30696
Number of constraints which are cardinality constraints (but not clauses)	5613
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 29379

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 07:03:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20772 boxname=wulflinc5 idbench=362 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  41edd2db35f2c8eb6d4b1f0a68a60338  /oldhome/oroussel/tmp/wulflinc5/normalized-ppp:1-12,16.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-ppp:1-12,16.opb
IDLAUNCH: 20772
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        800276 kB
Buffers:         22532 kB
Cached:         190584 kB
SwapCached:        472 kB
Active:          31596 kB
Inactive:       183596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800024 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            13572 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:25:32 (client local time) WITH STATUS 143 IN 1297.21 SECONDS
stats: 20772 7 1297.21 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/wulflinc5/normalized-ppp:1-12,16.opb
c reading problem ... done. Time 14.051 ms.
c #vars     4662
c #constraints  31899
c starts	: 9
c conflicts	: 7266
c decisions	: 21484
c propagations	: 249612
c inspects	: 6151410
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7266
c root simplifications	: 9
s UNKNOWN
c Total CPU time (ms) : 1299.147
#### 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.86 0.98 0.99 2/54 20752
Raw data (stat): 20752 (runsolver) R 20751 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778711194 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 20761
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18042 0 1 0 798 38 0 0 25 0 10 0 778711194 856330240 20567 4294967295 134512640 134569956 3221224384 3221213688 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209065 20567 13086 16 0 209049 0
vsize: 836260
[startup+20.0045 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 20762
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18082 0 1 0 1536 39 0 0 25 0 11 0 778711194 863199232 26970 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210742 26972 13086 16 0 210726 0
vsize: 842968
[startup+30.0047 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18082 0 1 0 2468 39 0 0 25 0 11 0 778711194 862257152 27752 4294967295 134512640 134569956 3221224384 3221214608 1131168985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210512 27752 13086 16 0 210496 0
vsize: 842048
[startup+40.0052 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 3416 39 0 0 25 0 11 0 778711194 861757440 27634 4294967295 134512640 134569956 3221224384 3221214624 1131370046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 27634 13086 16 0 210374 0
vsize: 841560
[startup+50.0057 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 4340 40 0 0 25 0 11 0 778711194 861757440 28111 4294967295 134512640 134569956 3221224384 3221214680 1131447835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28111 13086 16 0 210374 0
vsize: 841560
[startup+60.0068 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 5265 40 0 0 25 0 11 0 778711194 861757440 28533 4294967295 134512640 134569956 3221224384 3221214656 1131251532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28533 13086 16 0 210374 0
vsize: 841560
[startup+70.0075 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 6203 40 0 0 25 0 11 0 778711194 861757440 28806 4294967295 134512640 134569956 3221224384 3221214544 1131375928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 28806 13086 16 0 210374 0
vsize: 841560
[startup+80.0096 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18083 0 1 0 7135 40 0 0 25 0 11 0 778711194 861757440 29119 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 29119 13086 16 0 210374 0
vsize: 841560
[startup+90.0102 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 8067 40 0 0 25 0 11 0 778711194 861757440 29404 4294967295 134512640 134569956 3221224384 3221214544 1131376893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 29404 13086 16 0 210374 0
vsize: 841560
[startup+100.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 8998 40 0 0 25 0 11 0 778711194 861757440 29858 4294967295 134512640 134569956 3221224384 3221214552 1131211833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 29858 13086 16 0 210374 0
vsize: 841560
[startup+110.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 9934 40 0 0 25 0 11 0 778711194 861757440 30076 4294967295 134512640 134569956 3221224384 3221214544 1131375532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 30076 13086 16 0 210374 0
vsize: 841560
[startup+120.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 10869 40 0 0 25 0 11 0 778711194 861757440 30396 4294967295 134512640 134569956 3221224384 3221214584 1131251617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 30396 13086 16 0 210374 0
vsize: 841560
[startup+130.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20762
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 11811 40 0 0 25 0 11 0 778711194 861757440 30490 4294967295 134512640 134569956 3221224384 3221214520 1131389124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 30490 13086 16 0 210374 0
vsize: 841560
[startup+140.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 12748 40 0 0 24 0 11 0 778711194 861757440 30695 4294967295 134512640 134569956 3221224384 3221214608 1131168991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 30695 13086 16 0 210374 0
vsize: 841560
[startup+150.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 13685 40 0 0 25 0 11 0 778711194 861757440 31088 4294967295 134512640 134569956 3221224384 3221214624 1131370032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 31088 13086 16 0 210374 0
vsize: 841560
[startup+160.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 14601 40 0 0 25 0 11 0 778711194 861757440 31522 4294967295 134512640 134569956 3221224384 3221214680 1131445445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 31522 13086 16 0 210374 0
vsize: 841560
[startup+170.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 15522 40 0 0 25 0 11 0 778711194 861757440 31850 4294967295 134512640 134569956 3221224384 3221214680 1131445457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 31850 13086 16 0 210374 0
vsize: 841560
[startup+180.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 16445 40 0 0 25 0 11 0 778711194 861757440 32076 4294967295 134512640 134569956 3221224384 3221214748 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 32076 13086 16 0 210374 0
vsize: 841560
[startup+190.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 17372 40 0 0 25 0 11 0 778711194 861757440 32338 4294967295 134512640 134569956 3221224384 3221214632 1131276424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 32338 13086 16 0 210374 0
vsize: 841560
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 18302 41 0 0 25 0 11 0 778711194 861757440 32619 4294967295 134512640 134569956 3221224384 3221214576 1131313288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 32619 13086 16 0 210374 0
vsize: 841560
[startup+210.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 19231 41 0 0 25 0 11 0 778711194 861757440 32814 4294967295 134512640 134569956 3221224384 3221214680 1131445649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 32814 13086 16 0 210374 0
vsize: 841560
[startup+220.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 20147 41 0 0 24 0 11 0 778711194 861757440 33066 4294967295 134512640 134569956 3221224384 3221214624 1131370060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 33066 13086 16 0 210374 0
vsize: 841560
[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 21077 41 0 0 25 0 11 0 778711194 861757440 33471 4294967295 134512640 134569956 3221224384 3221214672 1131150652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 33471 13086 16 0 210374 0
vsize: 841560
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 21997 41 0 0 25 0 11 0 778711194 861757440 33981 4294967295 134512640 134569956 3221224384 3221214664 1131276432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 33981 13086 16 0 210374 0
vsize: 841560
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 22925 41 0 0 25 0 11 0 778711194 861757440 34340 4294967295 134512640 134569956 3221224384 3221214632 1131276432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 34340 13086 16 0 210374 0
vsize: 841560
[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18083 0 1 0 23847 41 0 0 25 0 11 0 778711194 861757440 34586 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 34586 13086 16 0 210374 0
vsize: 841560
[startup+270.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 24765 41 0 0 25 0 11 0 778711194 861757440 35153 4294967295 134512640 134569956 3221224384 3221214512 1131212166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 35153 13086 16 0 210374 0
vsize: 841560
[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 25694 41 0 0 25 0 11 0 778711194 861757440 35541 4294967295 134512640 134569956 3221224384 3221214588 1131168949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 35541 13086 16 0 210374 0
vsize: 841560
[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 26632 41 0 0 25 0 11 0 778711194 861757440 35719 4294967295 134512640 134569956 3221224384 3221214504 1131377056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 35719 13086 16 0 210374 0
vsize: 841560
[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 27565 42 0 0 25 0 11 0 778711194 861757440 35930 4294967295 134512640 134569956 3221224384 3221214512 1131212203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 35930 13086 16 0 210374 0
vsize: 841560
[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18083 0 1 0 28506 42 0 0 25 0 11 0 778711194 861757440 36058 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 36058 13086 16 0 210374 0
vsize: 841560
[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 29442 42 0 0 25 0 11 0 778711194 861757440 36293 4294967295 134512640 134569956 3221224384 3221214832 1131168985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 36293 13086 16 0 210374 0
vsize: 841560
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 30385 42 0 0 25 0 11 0 778711194 861757440 36542 4294967295 134512640 134569956 3221224384 3221214616 1131352483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 36542 13086 16 0 210374 0
vsize: 841560
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 31314 42 0 0 25 0 11 0 778711194 861757440 36797 4294967295 134512640 134569956 3221224384 3221214504 1131375535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 36797 13086 16 0 210374 0
vsize: 841560
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 32244 42 0 0 25 0 11 0 778711194 861757440 37024 4294967295 134512640 134569956 3221224384 3221214664 1131445714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 37024 13086 16 0 210374 0
vsize: 841560
[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 33185 42 0 0 25 0 11 0 778711194 861757440 37174 4294967295 134512640 134569956 3221224384 3221214568 1131251702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 37174 13086 16 0 210374 0
vsize: 841560
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 34114 42 0 0 25 0 11 0 778711194 861757440 37378 4294967295 134512640 134569956 3221224384 3221214512 1131212358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 37378 13086 16 0 210374 0
vsize: 841560
[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 35043 42 0 0 25 0 11 0 778711194 861757440 37565 4294967295 134512640 134569956 3221224384 3221214568 1131251563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 37565 13086 16 0 210374 0
vsize: 841560
[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 35986 42 0 0 25 0 11 0 778711194 861757440 37693 4294967295 134512640 134569956 3221224384 3221214744 1131334793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 37693 13086 16 0 210374 0
vsize: 841560
[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 36915 42 0 0 25 0 11 0 778711194 861757440 37826 4294967295 134512640 134569956 3221224384 3221214568 1131251675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 37826 13086 16 0 210374 0
vsize: 841560
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 37854 42 0 0 25 0 11 0 778711194 861757440 38018 4294967295 134512640 134569956 3221224384 3221214664 1131445714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 38018 13086 16 0 210374 0
vsize: 841560
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 38780 42 0 0 25 0 11 0 778711194 861757440 38257 4294967295 134512640 134569956 3221224384 3221214584 1131212203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 38257 13086 16 0 210374 0
vsize: 841560
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 39718 42 0 0 25 0 11 0 778711194 861757440 38452 4294967295 134512640 134569956 3221224384 3221214560 1131313204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 38452 13086 16 0 210374 0
vsize: 841560
[startup+440.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 40647 42 0 0 25 0 11 0 778711194 861757440 38625 4294967295 134512640 134569956 3221224384 3221214568 1131251617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 38625 13086 16 0 210374 0
vsize: 841560
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 41590 42 0 0 25 0 11 0 778711194 861757440 38739 4294967295 134512640 134569956 3221224384 3221214664 1131448688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 38739 13086 16 0 210374 0
vsize: 841560
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 42508 42 0 0 25 0 11 0 778711194 861757440 39075 4294967295 134512640 134569956 3221224384 3221214612 1131321289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 39075 13086 16 0 210374 0
vsize: 841560
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 43426 42 0 0 25 0 11 0 778711194 861757440 39349 4294967295 134512640 134569956 3221224384 3221214568 1131251617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 39349 13086 16 0 210374 0
vsize: 841560
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 44333 42 0 0 25 0 11 0 778711194 861757440 39529 4294967295 134512640 134569956 3221224384 3221214512 1131211949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 39529 13086 16 0 210374 0
vsize: 841560
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 45262 42 0 0 25 0 11 0 778711194 861757440 39884 4294967295 134512640 134569956 3221224384 3221214568 1131251617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 39884 13086 16 0 210374 0
vsize: 841560
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 46182 42 0 0 25 0 11 0 778711194 861757440 40204 4294967295 134512640 134569956 3221224384 3221214664 1131447004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 40204 13086 16 0 210374 0
vsize: 841560
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 47095 42 0 0 24 0 11 0 778711194 861757440 40524 4294967295 134512640 134569956 3221224384 3221214512 1131212203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 40524 13086 16 0 210374 0
vsize: 841560
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 48023 42 0 0 24 0 11 0 778711194 861757440 40661 4294967295 134512640 134569956 3221224384 3221214664 1131447468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 40661 13086 16 0 210374 0
vsize: 841560
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 48949 42 0 0 25 0 11 0 778711194 861757440 40854 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 40854 13086 16 0 210374 0
vsize: 841560
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 49887 42 0 0 25 0 11 0 778711194 861757440 41063 4294967295 134512640 134569956 3221224384 3221214576 1131191430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 41063 13086 16 0 210374 0
vsize: 841560
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 50815 42 0 0 25 0 11 0 778711194 861757440 41185 4294967295 134512640 134569956 3221224384 3221214564 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 41185 13086 16 0 210374 0
vsize: 841560
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 51754 42 0 0 25 0 11 0 778711194 861757440 41363 4294967295 134512640 134569956 3221224384 3221214664 1131445642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 41363 13086 16 0 210374 0
vsize: 841560
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 52679 42 0 0 25 0 11 0 778711194 861757440 41636 4294967295 134512640 134569956 3221224384 3221214568 1131251707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 41636 13086 16 0 210374 0
vsize: 841560
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 53601 42 0 0 25 0 11 0 778711194 861757440 42283 4294967295 134512640 134569956 3221224384 3221214592 1131276394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 42283 13086 16 0 210374 0
vsize: 841560
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 54529 42 0 0 25 0 11 0 778711194 861757440 42833 4294967295 134512640 134569956 3221224384 3221214576 1131367854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 42833 13086 16 0 210374 0
vsize: 841560
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 55463 42 0 0 25 0 11 0 778711194 861757440 43349 4294967295 134512640 134569956 3221224384 3221214512 1131191996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 43349 13086 16 0 210374 0
vsize: 841560
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 56387 43 0 0 25 0 11 0 778711194 861757440 43807 4294967295 134512640 134569956 3221224384 3221214616 1131392442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 43807 13086 16 0 210374 0
vsize: 841560
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 57323 43 0 0 25 0 11 0 778711194 861757440 44174 4294967295 134512640 134569956 3221224384 3221214488 1131362753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 44174 13086 16 0 210374 0
vsize: 841560
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18083 0 1 0 58248 43 0 0 25 0 11 0 778711194 861757440 44522 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 44522 13086 16 0 210374 0
vsize: 841560
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 59161 43 0 0 24 0 11 0 778711194 861757440 44969 4294967295 134512640 134569956 3221224384 3221214592 1131363305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 44969 13086 16 0 210374 0
vsize: 841560
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 60089 43 0 0 25 0 11 0 778711194 861757440 45266 4294967295 134512640 134569956 3221224384 3221214568 1131251617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 45266 13086 16 0 210374 0
vsize: 841560
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 61003 43 0 0 25 0 11 0 778711194 861757440 45857 4294967295 134512640 134569956 3221224384 3221214568 1131251775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 45857 13086 16 0 210374 0
vsize: 841560
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 61921 43 0 0 25 0 11 0 778711194 861757440 46027 4294967295 134512640 134569956 3221224384 3221214592 1131363270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 46027 13086 16 0 210374 0
vsize: 841560
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 62837 43 0 0 24 0 11 0 778711194 861757440 46250 4294967295 134512640 134569956 3221224384 3221214664 1131445447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 46250 13086 16 0 210374 0
vsize: 841560
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 63767 43 0 0 25 0 11 0 778711194 861757440 46581 4294967295 134512640 134569956 3221224384 3221214664 1131447372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 46581 13086 16 0 210374 0
vsize: 841560
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 64696 43 0 0 25 0 11 0 778711194 861757440 46646 4294967295 134512640 134569956 3221224384 3221214664 1131447540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 46646 13086 16 0 210374 0
vsize: 841560
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 65632 43 0 0 25 0 11 0 778711194 861757440 46831 4294967295 134512640 134569956 3221224384 3221214568 1131251617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 46831 13086 16 0 210374 0
vsize: 841560
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 66556 43 0 0 25 0 11 0 778711194 861757440 47124 4294967295 134512640 134569956 3221224384 3221214560 1131313325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 47124 13086 16 0 210374 0
vsize: 841560
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 67481 43 0 0 25 0 11 0 778711194 861757440 47345 4294967295 134512640 134569956 3221224384 3221214600 1131223998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 47345 13086 16 0 210374 0
vsize: 841560
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 68406 43 0 0 25 0 11 0 778711194 861757440 47517 4294967295 134512640 134569956 3221224384 3221214664 1131445642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 47517 13086 16 0 210374 0
vsize: 841560
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 69327 44 0 0 25 0 11 0 778711194 861757440 47744 4294967295 134512640 134569956 3221224384 3221214664 1131445457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 47744 13086 16 0 210374 0
vsize: 841560
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 70251 44 0 0 25 0 11 0 778711194 861757440 47923 4294967295 134512640 134569956 3221224384 3221214512 1131212440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 47923 13086 16 0 210374 0
vsize: 841560
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 71174 44 0 0 25 0 11 0 778711194 861757440 48090 4294967295 134512640 134569956 3221224384 3221214512 1131212203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 48090 13086 16 0 210374 0
vsize: 841560
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 72098 44 0 0 25 0 11 0 778711194 861757440 48291 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 48291 13086 16 0 210374 0
vsize: 841560
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 73020 45 0 0 25 0 11 0 778711194 861757440 48529 4294967295 134512640 134569956 3221224384 3221214568 1131251487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 48529 13086 16 0 210374 0
vsize: 841560
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 73939 45 0 0 25 0 11 0 778711194 861757440 48783 4294967295 134512640 134569956 3221224384 3221214568 1131251775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210390 48783 13086 16 0 210374 0
vsize: 841560
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 74874 45 0 0 25 0 11 0 778711194 861757440 48954 4294967295 134512640 134569956 3221224384 3221214316 1080217097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 48954 13086 16 0 210374 0
vsize: 841560
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 75795 46 0 0 25 0 11 0 778711194 861757440 49150 4294967295 134512640 134569956 3221224384 3221214656 1131212049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 49150 13086 16 0 210374 0
vsize: 841560
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 76728 46 0 0 25 0 11 0 778711194 861757440 49323 4294967295 134512640 134569956 3221224384 3221214712 1131169008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 49323 13086 16 0 210374 0
vsize: 841560
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 77649 47 0 0 25 0 11 0 778711194 861757440 49575 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 49575 13086 16 0 210374 0
vsize: 841560
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 78573 47 0 0 25 0 11 0 778711194 861757440 49680 4294967295 134512640 134569956 3221224384 3221214664 1131445778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 49680 13086 16 0 210374 0
vsize: 841560
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 79495 47 0 0 25 0 11 0 778711194 861757440 49873 4294967295 134512640 134569956 3221224384 3221214512 1131212203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 49873 13086 16 0 210374 0
vsize: 841560
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 80420 48 0 0 25 0 11 0 778711194 861757440 50042 4294967295 134512640 134569956 3221224384 3221214664 1131448603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 50042 13086 16 0 210374 0
vsize: 841560
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 81342 48 0 0 25 0 11 0 778711194 861757440 50207 4294967295 134512640 134569956 3221224384 3221214708 1130885163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 50207 13086 16 0 210374 0
vsize: 841560
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 82265 48 0 0 25 0 11 0 778711194 861757440 50361 4294967295 134512640 134569956 3221224384 3221214664 1131445714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 50361 13086 16 0 210374 0
vsize: 841560
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 83188 49 0 0 25 0 11 0 778711194 861757440 50512 4294967295 134512640 134569956 3221224384 3221214576 1131191461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 50512 13086 16 0 210374 0
vsize: 841560
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 84112 49 0 0 25 0 11 0 778711194 861757440 50695 4294967295 134512640 134569956 3221224384 3221214664 1131453063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 50695 13086 16 0 210374 0
vsize: 841560
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 85038 49 0 0 25 0 11 0 778711194 861757440 50854 4294967295 134512640 134569956 3221224384 3221214664 1131445681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 50854 13086 16 0 210374 0
vsize: 841560
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 85966 49 0 0 25 0 11 0 778711194 861757440 51031 4294967295 134512640 134569956 3221224384 3221214576 1131367992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 51031 13086 16 0 210374 0
vsize: 841560
[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 86896 49 0 0 25 0 11 0 778711194 861757440 51194 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 51194 13086 16 0 210374 0
vsize: 841560
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 87813 50 0 0 25 0 11 0 778711194 861757440 51369 4294967295 134512640 134569956 3221224384 3221214616 1131392387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 51369 13086 16 0 210374 0
vsize: 841560
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 88744 51 0 0 25 0 11 0 778711194 861757440 51495 4294967295 134512640 134569956 3221224384 3221214568 1131251617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 51495 13086 16 0 210374 0
vsize: 841560
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 89675 51 0 0 25 0 11 0 778711194 861757440 51644 4294967295 134512640 134569956 3221224384 3221214576 1131191416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 51644 13086 16 0 210374 0
vsize: 841560
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18083 0 1 0 90606 51 0 0 25 0 11 0 778711194 861757440 51804 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 51804 13086 16 0 210374 0
vsize: 841560
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 91529 51 0 0 25 0 11 0 778711194 861757440 51952 4294967295 134512640 134569956 3221224384 3221214664 1131447524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 51952 13086 16 0 210374 0
vsize: 841560
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 92462 52 0 0 25 0 11 0 778711194 861757440 52101 4294967295 134512640 134569956 3221224384 3221214584 1131369977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 52101 13086 16 0 210374 0
vsize: 841560
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 93394 52 0 0 25 0 11 0 778711194 861757440 52224 4294967295 134512640 134569956 3221224384 3221214560 1131313215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 52224 13086 16 0 210374 0
vsize: 841560
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 94326 52 0 0 25 0 11 0 778711194 861757440 52355 4294967295 134512640 134569956 3221224384 3221214664 1131445832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 52355 13086 16 0 210374 0
vsize: 841560
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 95259 53 0 0 25 0 11 0 778711194 861757440 52506 4294967295 134512640 134569956 3221224384 3221214504 1131377742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 52506 13086 16 0 210374 0
vsize: 841560
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 96191 53 0 0 25 0 11 0 778711194 861757440 52658 4294967295 134512640 134569956 3221224384 3221214664 1131445642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 52658 13086 16 0 210374 0
vsize: 841560
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 97124 53 0 0 25 0 11 0 778711194 861757440 52798 4294967295 134512640 134569956 3221224384 3221214664 1131446888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 52798 13086 16 0 210374 0
vsize: 841560
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 98049 54 0 0 25 0 11 0 778711194 861757440 52945 4294967295 134512640 134569956 3221224384 3221214616 1131392387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 52945 13086 16 0 210374 0
vsize: 841560
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 98983 54 0 0 25 0 11 0 778711194 861757440 53050 4294967295 134512640 134569956 3221224384 3221214664 1131445642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53050 13086 16 0 210374 0
vsize: 841560
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 99917 54 0 0 25 0 11 0 778711194 861757440 53196 4294967295 134512640 134569956 3221224384 3221214568 1131251606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53196 13086 16 0 210374 0
vsize: 841560
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 100852 54 0 0 25 0 11 0 778711194 861757440 53368 4294967295 134512640 134569956 3221224384 3221214568 1131251617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53368 13086 16 0 210374 0
vsize: 841560
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 101784 55 0 0 25 0 11 0 778711194 861757440 53473 4294967295 134512640 134569956 3221224384 3221214664 1131447540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53473 13086 16 0 210374 0
vsize: 841560
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 102715 55 0 0 25 0 11 0 778711194 861757440 53587 4294967295 134512640 134569956 3221224384 3221214512 1131212203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53587 13086 16 0 210374 0
vsize: 841560
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 103645 55 0 0 25 0 11 0 778711194 861757440 53704 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53704 13086 16 0 210374 0
vsize: 841560
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 104574 56 0 0 25 0 11 0 778711194 861757440 53850 4294967295 134512640 134569956 3221224384 3221214616 1131352497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53850 13086 16 0 210374 0
vsize: 841560
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 105504 56 0 0 25 0 11 0 778711194 861757440 53993 4294967295 134512640 134569956 3221224384 3221214584 1131370100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 53993 13086 16 0 210374 0
vsize: 841560
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 106436 56 0 0 25 0 11 0 778711194 861757440 54182 4294967295 134512640 134569956 3221224384 3221214616 1131392387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 54182 13086 16 0 210374 0
vsize: 841560
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 107370 57 0 0 25 0 11 0 778711194 861757440 54297 4294967295 134512640 134569956 3221224384 3221214612 1131363336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 54297 13086 16 0 210374 0
vsize: 841560
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18083 0 1 0 108302 57 0 0 25 0 11 0 778711194 861757440 54428 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 54428 13086 16 0 210374 0
vsize: 841560
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 109227 58 0 0 25 0 11 0 778711194 861757440 54572 4294967295 134512640 134569956 3221224384 3221214568 1131251568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 54572 13086 16 0 210374 0
vsize: 841560
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 110163 58 0 0 25 0 11 0 778711194 861757440 54709 4294967295 134512640 134569956 3221224384 3221214664 1131447843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 54709 13086 16 0 210374 0
vsize: 841560
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 111104 58 0 0 25 0 11 0 778711194 861757440 54830 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 54830 13086 16 0 210374 0
vsize: 841560
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 112044 59 0 0 25 0 11 0 778711194 861757440 54945 4294967295 134512640 134569956 3221224384 3221214576 1131191424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 54945 13086 16 0 210374 0
vsize: 841560
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 112975 59 0 0 24 0 11 0 778711194 861757440 55090 4294967295 134512640 134569956 3221224384 3221214756 1131321292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55090 13086 16 0 210374 0
vsize: 841560
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 113916 59 0 0 25 0 11 0 778711194 861757440 55201 4294967295 134512640 134569956 3221224384 3221214760 1131364120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55201 13086 16 0 210374 0
vsize: 841560
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 114856 59 0 0 25 0 11 0 778711194 861757440 55308 4294967295 134512640 134569956 3221224384 3221214664 1131447540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55308 13086 16 0 210374 0
vsize: 841560
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 115797 60 0 0 25 0 11 0 778711194 861757440 55390 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55390 13086 16 0 210374 0
vsize: 841560
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 116735 60 0 0 25 0 11 0 778711194 861757440 55520 4294967295 134512640 134569956 3221224384 3221214568 1131251703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55520 13086 16 0 210374 0
vsize: 841560
[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 117674 61 0 0 25 0 11 0 778711194 861757440 55619 4294967295 134512640 134569956 3221224384 3221214592 1131276442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55619 13086 16 0 210374 0
vsize: 841560
[startup+1280.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20764
Raw data (stat): 20752 (java) S 20751 7266 7265 0 -1 0 18083 0 1 0 118611 61 0 0 25 0 11 0 778711194 861757440 55728 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55728 13086 16 0 210374 0
vsize: 841560
[startup+1290.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 119539 61 0 0 25 0 11 0 778711194 861757440 55854 4294967295 134512640 134569956 3221224384 3221214568 1131252452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55854 13086 16 0 210374 0
vsize: 841560
[startup+1300.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20764
Raw data (stat): 20752 (java) R 20751 7266 7265 0 -1 0 18083 0 1 0 120466 62 0 0 25 0 11 0 778711194 861757440 55995 4294967295 134512640 134569956 3221224384 3221214664 1131445649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210390 55995 13086 16 0 210374 0
vsize: 841560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.18 s]
Raw data (loadavg): 1.06 1.02 1.00 1/54 20766
Raw data (stat): 20752 (java) Z 20751 7266 7265 0 -1 1036 18083 35658 1 0 120467 62 9108 82 25 0 1 0 778711194 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): 1300.18
CPU time (s): 1297.21
CPU user time (s): 1295.76
CPU system time (s): 1.45378
CPU usage (%): 99.7716
Max. virtual memory (Kb): 842968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####