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,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
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	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
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 29374

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 07:00:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20770 boxname=wulflinc13 idbench=360 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc13/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 20770
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        666032 kB
Buffers:         33580 kB
Cached:         314584 kB
SwapCached:        608 kB
Active:          60260 kB
Inactive:       290472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        665780 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12232 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 07:22:46 (client local time) WITH STATUS 143 IN 1307.77 SECONDS
stats: 20770 7 1307.77 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/wulflinc13/normalized-ppp:1,3-13,19.opb
c reading problem ... done. Time 13.319 ms.
c #vars     4608
c #constraints  30522
c starts	: 10
c conflicts	: 9039
c decisions	: 27862
c propagations	: 303303
c inspects	: 6480252
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9039
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1309.148
#### 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.96 1.00 0.98 2/54 10736
Raw data (stat): 10736 (runsolver) R 10735 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778700050 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99988 s]
Raw data (loadavg): 0.96 1.00 0.98 2/63 10745
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18028 0 1 0 823 38 0 0 25 0 10 0 778700050 854458368 20236 4294967295 134512640 134569956 3221224384 3221213384 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208608 20236 13086 16 0 208592 0
vsize: 834432
[startup+20.0015 s]
Raw data (loadavg): 1.12 1.03 1.00 3/64 10746
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 1556 39 0 0 25 0 11 0 778700050 859611136 25728 4294967295 134512640 134569956 3221224384 3221214648 1131220370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209866 25728 13086 16 0 209850 0
vsize: 839464
[startup+30.0021 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 2480 40 0 0 25 0 11 0 778700050 858693632 27405 4294967295 134512640 134569956 3221224384 3221214616 1131366657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 27405 13086 16 0 209626 0
vsize: 838568
[startup+40.0017 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 3398 40 0 0 25 0 11 0 778700050 858693632 27928 4294967295 134512640 134569956 3221224384 3221214480 1131220368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 27928 13086 16 0 209626 0
vsize: 838568
[startup+50.003 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 4326 40 0 0 25 0 11 0 778700050 858693632 28455 4294967295 134512640 134569956 3221224384 3221214672 1131407003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 28455 13086 16 0 209626 0
vsize: 838568
[startup+60.0035 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 5264 40 0 0 25 0 11 0 778700050 858693632 28650 4294967295 134512640 134569956 3221224384 3221214584 1131366365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 28650 13086 16 0 209626 0
vsize: 838568
[startup+70.0079 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18070 0 1 0 6172 40 0 0 25 0 11 0 778700050 858693632 29220 4294967295 134512640 134569956 3221224384 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 29220 13086 16 0 209626 0
vsize: 838568
[startup+80.0092 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 7103 40 0 0 25 0 11 0 778700050 858693632 29473 4294967295 134512640 134569956 3221224384 3221214504 1131220297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209642 29473 13086 16 0 209626 0
vsize: 838568
[startup+90.0096 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 8025 40 0 0 25 0 11 0 778700050 858693632 29793 4294967295 134512640 134569956 3221224384 3221214840 1131211417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 29793 13086 16 0 209626 0
vsize: 838568
[startup+100.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 8953 40 0 0 25 0 11 0 778700050 858693632 30120 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 30120 13086 16 0 209626 0
vsize: 838568
[startup+110.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 9890 40 0 0 25 0 11 0 778700050 858693632 30490 4294967295 134512640 134569956 3221224384 3221214672 1131408118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 30490 13086 16 0 209626 0
vsize: 838568
[startup+120.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 10814 41 0 0 25 0 11 0 778700050 858693632 30873 4294967295 134512640 134569956 3221224384 3221214584 1131366923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 30873 13086 16 0 209626 0
vsize: 838568
[startup+130.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 11728 41 0 0 25 0 11 0 778700050 858693632 31386 4294967295 134512640 134569956 3221224384 3221214480 1131220529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 31386 13086 16 0 209626 0
vsize: 838568
[startup+140.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 12637 41 0 0 25 0 11 0 778700050 858693632 31722 4294967295 134512640 134569956 3221224384 3221214480 1131220642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 31722 13086 16 0 209626 0
vsize: 838568
[startup+150.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 13562 41 0 0 25 0 11 0 778700050 858693632 32038 4294967295 134512640 134569956 3221224384 3221214504 1131220370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 32038 13086 16 0 209626 0
vsize: 838568
[startup+160.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 14487 41 0 0 25 0 11 0 778700050 858693632 32168 4294967295 134512640 134569956 3221224384 3221214336 1078020010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 32168 13086 16 0 209626 0
vsize: 838568
[startup+170.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 15419 41 0 0 25 0 11 0 778700050 858693632 32366 4294967295 134512640 134569956 3221224384 3221214496 1131377943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 32366 13086 16 0 209626 0
vsize: 838568
[startup+180.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 16338 41 0 0 25 0 11 0 778700050 858693632 32641 4294967295 134512640 134569956 3221224384 3221214480 1131220370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 32641 13086 16 0 209626 0
vsize: 838568
[startup+190.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 17269 41 0 0 25 0 11 0 778700050 858693632 32850 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 32850 13086 16 0 209626 0
vsize: 838568
[startup+200.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 18201 41 0 0 25 0 11 0 778700050 858693632 33047 4294967295 134512640 134569956 3221224384 3221214568 1131265559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 33047 13086 16 0 209626 0
vsize: 838568
[startup+210.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 19119 42 0 0 25 0 11 0 778700050 858693632 33309 4294967295 134512640 134569956 3221224384 3221214504 1131220443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 33309 13086 16 0 209626 0
vsize: 838568
[startup+220.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 20043 42 0 0 25 0 11 0 778700050 858693632 33575 4294967295 134512640 134569956 3221224384 3221214496 1131379580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 33575 13086 16 0 209626 0
vsize: 838568
[startup+230.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 20959 42 0 0 25 0 11 0 778700050 858693632 33994 4294967295 134512640 134569956 3221224384 3221214504 1131220275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 33994 13086 16 0 209626 0
vsize: 838568
[startup+240.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 21877 42 0 0 25 0 11 0 778700050 858693632 34316 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 34316 13086 16 0 209626 0
vsize: 838568
[startup+250.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 22802 42 0 0 25 0 11 0 778700050 858693632 34582 4294967295 134512640 134569956 3221224384 3221214584 1131366910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 34582 13086 16 0 209626 0
vsize: 838568
[startup+260.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 23734 42 0 0 25 0 11 0 778700050 858693632 34780 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 34780 13086 16 0 209626 0
vsize: 838568
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 24653 42 0 0 25 0 11 0 778700050 858693632 35082 4294967295 134512640 134569956 3221224384 3221214640 1131436038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 35082 13086 16 0 209626 0
vsize: 838568
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 25573 42 0 0 25 0 11 0 778700050 858693632 35301 4294967295 134512640 134569956 3221224384 3221214672 1131404835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 35301 13086 16 0 209626 0
vsize: 838568
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10748
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 26504 42 0 0 25 0 11 0 778700050 858693632 35514 4294967295 134512640 134569956 3221224384 3221214560 1131211433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 35514 13086 16 0 209626 0
vsize: 838568
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 27422 42 0 0 25 0 11 0 778700050 858693632 35805 4294967295 134512640 134569956 3221224384 3221214584 1131366935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 35805 13086 16 0 209626 0
vsize: 838568
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 28353 42 0 0 25 0 11 0 778700050 858693632 35969 4294967295 134512640 134569956 3221224384 3221214480 1131221016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 35969 13086 16 0 209626 0
vsize: 838568
[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 29284 42 0 0 25 0 11 0 778700050 858693632 36168 4294967295 134512640 134569956 3221224384 3221214480 1131220215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 36168 13086 16 0 209626 0
vsize: 838568
[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 30215 42 0 0 25 0 11 0 778700050 858693632 36437 4294967295 134512640 134569956 3221224384 3221214568 1131266359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 36437 13086 16 0 209626 0
vsize: 838568
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 31148 43 0 0 25 0 11 0 778700050 858693632 36587 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 36587 13086 16 0 209626 0
vsize: 838568
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 32080 43 0 0 25 0 11 0 778700050 858693632 36785 4294967295 134512640 134569956 3221224384 3221214560 1131211429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 36785 13086 16 0 209626 0
vsize: 838568
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18070 0 1 0 33008 43 0 0 25 0 11 0 778700050 858693632 36981 4294967295 134512640 134569956 3221224384 3221213608 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 36981 13086 16 0 209626 0
vsize: 838568
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 33935 43 0 0 17 0 11 0 778700050 858693632 37188 4294967295 134512640 134569956 3221224384 3221214480 1131220287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 37188 13086 16 0 209626 0
vsize: 838568
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 34863 43 0 0 25 0 11 0 778700050 858693632 37440 4294967295 134512640 134569956 3221224384 3221214672 1131403958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 37440 13086 16 0 209626 0
vsize: 838568
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 35782 43 0 0 25 0 11 0 778700050 858693632 37753 4294967295 134512640 134569956 3221224384 3221214368 1078032448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 37753 13086 16 0 209626 0
vsize: 838568
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 36698 43 0 0 25 0 11 0 778700050 858693632 38048 4294967295 134512640 134569956 3221224384 3221214480 1131220721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 38048 13086 16 0 209626 0
vsize: 838568
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 37609 43 0 0 25 0 11 0 778700050 858693632 38665 4294967295 134512640 134569956 3221224384 3221214672 1131404966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 38665 13086 16 0 209626 0
vsize: 838568
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 38536 43 0 0 25 0 11 0 778700050 858693632 39220 4294967295 134512640 134569956 3221224384 3221214728 1131347827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 39220 13086 16 0 209626 0
vsize: 838568
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 39455 44 0 0 25 0 11 0 778700050 858693632 39862 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 39862 13086 16 0 209626 0
vsize: 838568
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 40381 44 0 0 25 0 11 0 778700050 858693632 40220 4294967295 134512640 134569956 3221224384 3221214584 1131366830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 40220 13086 16 0 209626 0
vsize: 838568
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 41306 44 0 0 25 0 11 0 778700050 858693632 40650 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 40650 13086 16 0 209626 0
vsize: 838568
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18070 0 1 0 42230 44 0 0 25 0 11 0 778700050 858693632 41125 4294967295 134512640 134569956 3221224384 3221214496 1131378040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 41125 13086 16 0 209626 0
vsize: 838568
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 43156 44 0 0 25 0 11 0 778700050 858693632 41514 4294967295 134512640 134569956 3221224384 3221214496 1131378788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 41514 13086 16 0 209626 0
vsize: 838568
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 44093 44 0 0 25 0 11 0 778700050 858693632 41891 4294967295 134512640 134569956 3221224384 3221214736 1131285962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 41891 13086 16 0 209626 0
vsize: 838568
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 45029 44 0 0 25 0 11 0 778700050 858693632 42277 4294967295 134512640 134569956 3221224384 3221214584 1131366445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 42277 13086 16 0 209626 0
vsize: 838568
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 45955 44 0 0 24 0 11 0 778700050 858693632 42763 4294967295 134512640 134569956 3221224384 3221214496 1131377857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 42763 13086 16 0 209626 0
vsize: 838568
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 46895 44 0 0 25 0 11 0 778700050 858693632 43068 4294967295 134512640 134569956 3221224384 3221214584 1131366935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209642 43068 13086 16 0 209626 0
vsize: 838568
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 47824 44 0 0 25 0 11 0 778700050 858693632 43406 4294967295 134512640 134569956 3221224384 3221214672 1131405940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 43406 13086 16 0 209626 0
vsize: 838568
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 48753 44 0 0 25 0 11 0 778700050 858693632 43690 4294967295 134512640 134569956 3221224384 3221214672 1131405114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209642 43690 13086 16 0 209626 0
vsize: 838568
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 49692 44 0 0 25 0 11 0 778700050 860790784 44394 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 44394 13086 16 0 210138 0
vsize: 840616
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 50634 44 0 0 25 0 11 0 778700050 860790784 44613 4294967295 134512640 134569956 3221224384 3221214568 1131265859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 44613 13086 16 0 210138 0
vsize: 840616
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 51562 44 0 0 25 0 11 0 778700050 860790784 44920 4294967295 134512640 134569956 3221224384 3221214568 1131266437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 44920 13086 16 0 210138 0
vsize: 840616
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 52480 44 0 0 25 0 11 0 778700050 860790784 45222 4294967295 134512640 134569956 3221224384 3221214568 1131245449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 45222 13086 16 0 210138 0
vsize: 840616
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 53404 44 0 0 25 0 11 0 778700050 860790784 45791 4294967295 134512640 134569956 3221224384 3221214504 1131220529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 45791 13086 16 0 210138 0
vsize: 840616
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 54320 44 0 0 25 0 11 0 778700050 860790784 46038 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 46038 13086 16 0 210138 0
vsize: 840616
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 55237 44 0 0 25 0 11 0 778700050 860790784 46369 4294967295 134512640 134569956 3221224384 3221214584 1131366489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 46369 13086 16 0 210138 0
vsize: 840616
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 56164 44 0 0 25 0 11 0 778700050 860790784 46548 4294967295 134512640 134569956 3221224384 3221214496 1131377943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 46548 13086 16 0 210138 0
vsize: 840616
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 57076 44 0 0 25 0 11 0 778700050 860790784 46725 4294967295 134512640 134569956 3221224384 3221214672 1131404066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 46725 13086 16 0 210138 0
vsize: 840616
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 57981 44 0 0 25 0 11 0 778700050 860790784 47039 4294967295 134512640 134569956 3221224384 3221214504 1131220693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 47039 13086 16 0 210138 0
vsize: 840616
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 58886 44 0 0 25 0 11 0 778700050 860790784 47281 4294967295 134512640 134569956 3221224384 3221214672 1131404980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 47281 13086 16 0 210138 0
vsize: 840616
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 59794 44 0 0 24 0 11 0 778700050 860790784 47577 4294967295 134512640 134569956 3221224384 3221214564 1131264960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 47577 13086 16 0 210138 0
vsize: 840616
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 60709 45 0 0 25 0 11 0 778700050 860790784 47768 4294967295 134512640 134569956 3221224384 3221214496 1131378936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 47768 13086 16 0 210138 0
vsize: 840616
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 61637 45 0 0 25 0 11 0 778700050 860790784 48002 4294967295 134512640 134569956 3221224384 3221214504 1131220267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 48002 13086 16 0 210138 0
vsize: 840616
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 62563 45 0 0 25 0 11 0 778700050 860790784 48207 4294967295 134512640 134569956 3221224384 3221214568 1131266383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 48207 13086 16 0 210138 0
vsize: 840616
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 63477 45 0 0 25 0 11 0 778700050 860790784 48459 4294967295 134512640 134569956 3221224384 3221214344 1076614593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 48459 13086 16 0 210138 0
vsize: 840616
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 64393 45 0 0 25 0 11 0 778700050 860790784 48638 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 48638 13086 16 0 210138 0
vsize: 840616
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 65314 45 0 0 25 0 11 0 778700050 860790784 48880 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 48880 13086 16 0 210138 0
vsize: 840616
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 66222 45 0 0 25 0 11 0 778700050 860790784 49018 4294967295 134512640 134569956 3221224384 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 49018 13086 16 0 210138 0
vsize: 840616
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 67129 45 0 0 25 0 11 0 778700050 860790784 49273 4294967295 134512640 134569956 3221224384 3221214496 1131377943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 49273 13086 16 0 210138 0
vsize: 840616
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 68040 46 0 0 25 0 11 0 778700050 860790784 49513 4294967295 134512640 134569956 3221224384 3221214568 1131266060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 49513 13086 16 0 210138 0
vsize: 840616
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 68970 46 0 0 25 0 11 0 778700050 860790784 49748 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 49748 13086 16 0 210138 0
vsize: 840616
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 69891 46 0 0 25 0 11 0 778700050 860790784 49877 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 49877 13086 16 0 210138 0
vsize: 840616
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 70813 46 0 0 25 0 11 0 778700050 860790784 50041 4294967295 134512640 134569956 3221224384 3221214568 1131265655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 50041 13086 16 0 210138 0
vsize: 840616
[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 71733 46 0 0 25 0 11 0 778700050 860790784 50195 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 50195 13086 16 0 210138 0
vsize: 840616
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 72655 46 0 0 25 0 11 0 778700050 860790784 50403 4294967295 134512640 134569956 3221224384 3221214672 1131405753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 50403 13086 16 0 210138 0
vsize: 840616
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 73582 46 0 0 25 0 11 0 778700050 860790784 50523 4294967295 134512640 134569956 3221224384 3221214672 1131404924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 50523 13086 16 0 210138 0
vsize: 840616
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 74517 46 0 0 25 0 11 0 778700050 860790784 50672 4294967295 134512640 134569956 3221224384 3221214568 1131265974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 50672 13086 16 0 210138 0
vsize: 840616
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 75440 47 0 0 25 0 11 0 778700050 860790784 50799 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 50799 13086 16 0 210138 0
vsize: 840616
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 76359 47 0 0 25 0 11 0 778700050 860790784 50959 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 50959 13086 16 0 210138 0
vsize: 840616
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 77279 47 0 0 24 0 11 0 778700050 860790784 51134 4294967295 134512640 134569956 3221224384 3221214568 1131265647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 51134 13086 16 0 210138 0
vsize: 840616
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 78211 47 0 0 25 0 11 0 778700050 860790784 51272 4294967295 134512640 134569956 3221224384 3221214568 1131265601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 51272 13086 16 0 210138 0
vsize: 840616
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 79131 47 0 0 25 0 11 0 778700050 860790784 51422 4294967295 134512640 134569956 3221224384 3221214584 1131366770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 51422 13086 16 0 210138 0
vsize: 840616
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 80049 47 0 0 25 0 11 0 778700050 860790784 51604 4294967295 134512640 134569956 3221224384 3221214568 1131265452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 51604 13086 16 0 210138 0
vsize: 840616
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 80969 47 0 0 25 0 11 0 778700050 860790784 51751 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 51751 13086 16 0 210138 0
vsize: 840616
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 81891 47 0 0 25 0 11 0 778700050 860790784 51922 4294967295 134512640 134569956 3221224384 3221214840 1131211417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 51922 13086 16 0 210138 0
vsize: 840616
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 82814 47 0 0 25 0 11 0 778700050 860790784 52070 4294967295 134512640 134569956 3221224384 3221214568 1131266359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 52070 13086 16 0 210138 0
vsize: 840616
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 83735 48 0 0 25 0 11 0 778700050 860790784 52240 4294967295 134512640 134569956 3221224384 3221214568 1131265902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 52240 13086 16 0 210138 0
vsize: 840616
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 84668 48 0 0 25 0 11 0 778700050 860790784 52383 4294967295 134512640 134569956 3221224384 3221214672 1131403971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210154 52383 13086 16 0 210138 0
vsize: 840616
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 85602 48 0 0 25 0 11 0 778700050 860790784 52538 4294967295 134512640 134569956 3221224384 3221214568 1131266383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 52538 13086 16 0 210138 0
vsize: 840616
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 86528 48 0 0 25 0 11 0 778700050 860790784 52640 4294967295 134512640 134569956 3221224384 3221214584 1131366764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 52640 13086 16 0 210138 0
vsize: 840616
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 87448 48 0 0 25 0 11 0 778700050 860790784 52804 4294967295 134512640 134569956 3221224384 3221214496 1131378858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 52804 13086 16 0 210138 0
vsize: 840616
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 88374 48 0 0 25 0 11 0 778700050 860790784 52951 4294967295 134512640 134569956 3221224384 3221214568 1131265951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 52951 13086 16 0 210138 0
vsize: 840616
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 89287 48 0 0 25 0 11 0 778700050 860790784 53116 4294967295 134512640 134569956 3221224384 3221214672 1131405849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 53116 13086 16 0 210138 0
vsize: 840616
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 90211 48 0 0 25 0 11 0 778700050 860790784 53286 4294967295 134512640 134569956 3221224384 3221213200 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 53286 13086 16 0 210138 0
vsize: 840616
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 91127 48 0 0 25 0 11 0 778700050 860790784 53444 4294967295 134512640 134569956 3221224384 3221214672 1131404955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 53444 13086 16 0 210138 0
vsize: 840616
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 92052 49 0 0 25 0 11 0 778700050 860790784 53676 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 53676 13086 16 0 210138 0
vsize: 840616
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 92975 49 0 0 25 0 11 0 778700050 860790784 53845 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 53845 13086 16 0 210138 0
vsize: 840616
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 93896 49 0 0 25 0 11 0 778700050 860790784 54005 4294967295 134512640 134569956 3221224384 3221214568 1131266140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 54005 13086 16 0 210138 0
vsize: 840616
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 94820 49 0 0 25 0 11 0 778700050 860790784 54160 4294967295 134512640 134569956 3221224384 3221214480 1131220554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 54160 13086 16 0 210138 0
vsize: 840616
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 95746 49 0 0 25 0 11 0 778700050 860790784 54309 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 54309 13086 16 0 210138 0
vsize: 840616
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 96661 49 0 0 25 0 11 0 778700050 860790784 54487 4294967295 134512640 134569956 3221224384 3221214672 1131403697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 54487 13086 16 0 210138 0
vsize: 840616
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 97587 49 0 0 25 0 11 0 778700050 860790784 54692 4294967295 134512640 134569956 3221224384 3221214584 1131366428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 54692 13086 16 0 210138 0
vsize: 840616
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 98504 49 0 0 25 0 11 0 778700050 860790784 54880 4294967295 134512640 134569956 3221224384 3221214568 1131265589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 54880 13086 16 0 210138 0
vsize: 840616
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 99435 49 0 0 25 0 11 0 778700050 860790784 55050 4294967295 134512640 134569956 3221224384 3221214580 1131211381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 55050 13086 16 0 210138 0
vsize: 840616
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 100354 49 0 0 25 0 11 0 778700050 860790784 55179 4294967295 134512640 134569956 3221224384 3221214668 1131265420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 55179 13086 16 0 210138 0
vsize: 840616
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 101286 49 0 0 25 0 11 0 778700050 860790784 55316 4294967295 134512640 134569956 3221224384 3221214568 1131266027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 55316 13086 16 0 210138 0
vsize: 840616
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 102210 49 0 0 25 0 11 0 778700050 860790784 55539 4294967295 134512640 134569956 3221224384 3221214672 1131403938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 55539 13086 16 0 210138 0
vsize: 840616
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 103149 49 0 0 25 0 11 0 778700050 860790784 55652 4294967295 134512640 134569956 3221224384 3221214672 1131405929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 55652 13086 16 0 210138 0
vsize: 840616
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 104078 50 0 0 25 0 11 0 778700050 860790784 55849 4294967295 134512640 134569956 3221224384 3221214672 1131403938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 55849 13086 16 0 210138 0
vsize: 840616
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 105009 50 0 0 25 0 11 0 778700050 860790784 55966 4294967295 134512640 134569956 3221224384 3221214672 1131404051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 55966 13086 16 0 210138 0
vsize: 840616
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 105919 50 0 0 25 0 11 0 778700050 860790784 56182 4294967295 134512640 134569956 3221224384 3221214744 1131357305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 56182 13086 16 0 210138 0
vsize: 840616
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 106833 50 0 0 25 0 11 0 778700050 860790784 56723 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 56723 13086 16 0 210138 0
vsize: 840616
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 107746 50 0 0 25 0 11 0 778700050 860790784 57159 4294967295 134512640 134569956 3221224384 3221214568 1131265657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 57159 13086 16 0 210138 0
vsize: 840616
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 108672 50 0 0 25 0 11 0 778700050 860790784 57472 4294967295 134512640 134569956 3221224384 3221214584 1131366644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 57472 13086 16 0 210138 0
vsize: 840616
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 109600 50 0 0 25 0 11 0 778700050 860790784 57769 4294967295 134512640 134569956 3221224384 3221214672 1131404980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 57769 13086 16 0 210138 0
vsize: 840616
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 110514 50 0 0 25 0 11 0 778700050 860790784 58111 4294967295 134512640 134569956 3221224384 3221214568 1131265559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 58111 13086 16 0 210138 0
vsize: 840616
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 111442 50 0 0 25 0 11 0 778700050 860790784 58342 4294967295 134512640 134569956 3221224384 3221214672 1131403857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 58342 13086 16 0 210138 0
vsize: 840616
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 112357 51 0 0 25 0 11 0 778700050 860790784 58623 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 58623 13086 16 0 210138 0
vsize: 840616
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 113274 51 0 0 25 0 11 0 778700050 860790784 58980 4294967295 134512640 134569956 3221224384 3221214568 1131265905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 58980 13086 16 0 210138 0
vsize: 840616
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 114190 51 0 0 25 0 11 0 778700050 860790784 59191 4294967295 134512640 134569956 3221224384 3221214672 1131403839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 59191 13086 16 0 210138 0
vsize: 840616
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) S 10735 1269 1268 0 -1 0 18071 0 1 0 115107 51 0 0 25 0 11 0 778700050 860790784 59466 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 59468 13086 16 0 210138 0
vsize: 840616
[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 116035 51 0 0 25 0 11 0 778700050 860790784 59710 4294967295 134512640 134569956 3221224384 3221214672 1131404119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 59710 13086 16 0 210138 0
vsize: 840616
[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 116951 51 0 0 25 0 11 0 778700050 860790784 59919 4294967295 134512640 134569956 3221224384 3221214672 1131403906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 59919 13086 16 0 210138 0
vsize: 840616
[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 117866 51 0 0 25 0 11 0 778700050 860790784 60147 4294967295 134512640 134569956 3221224384 3221214672 1131403891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 60147 13086 16 0 210138 0
vsize: 840616
[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 118779 51 0 0 25 0 11 0 778700050 860790784 60432 4294967295 134512640 134569956 3221224384 3221214568 1131265535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 60432 13086 16 0 210138 0
vsize: 840616
[startup+1300.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 119695 51 0 0 25 0 11 0 778700050 860790784 60660 4294967295 134512640 134569956 3221224384 3221214568 1131265984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 60660 13086 16 0 210138 0
vsize: 840616
[startup+1310.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10750
Raw data (stat): 10736 (java) R 10735 1269 1268 0 -1 0 18071 0 1 0 120607 52 0 0 25 0 11 0 778700050 860790784 60870 4294967295 134512640 134569956 3221224384 3221214568 1131266112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210154 60870 13086 16 0 210138 0
vsize: 840616
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10752
Raw data (stat): 10736 (java) Z 10735 1269 1268 0 -1 1036 18071 40901 1 0 120610 52 10029 83 25 0 1 0 778700050 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.23
CPU time (s): 1307.77
CPU user time (s): 1306.41
CPU system time (s): 1.35579
CPU usage (%): 99.8122
Max. virtual memory (Kb): 840616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####