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/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 4249

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-13 15:53:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=495 boxname=wulflinc24 idbench=55 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc24/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 495
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        883852 kB
Buffers:         31892 kB
Cached:          76412 kB
SwapCached:       3828 kB
Active:          38432 kB
Inactive:        76508 kB
HighTotal:      131008 kB
HighFree:        51828 kB
LowTotal:       903652 kB
LowFree:        832024 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30260 kB
Committed_AS:    63452 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:15:01 (client local time) WITH STATUS 143 IN  SECONDS
stats: 495 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-fpga45_43_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=2903]
c [nbconstr=2066]
c time 6.324
c #vars     2903
c #clauses  2066
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.11 0.34 0.12 2/54 28794
Raw data (stat): 28794 (runsolver) R 28793 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477179454 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0107 s]
Raw data (loadavg): 1.10 0.36 0.12 3/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18064 0 1 0 765 47 0 0 25 0 11 0 477179454 856862720 20122 4294967295 134512640 134569956 3221224400 3221214448 1131269630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209195 20122 13073 16 0 209179 0
vsize: 836780
[startup+20.0225 s]
Raw data (loadavg): 1.08 0.38 0.13 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18066 0 1 0 1665 47 0 0 25 0 11 0 477179454 863584256 22864 4294967295 134512640 134569956 3221224400 3221214804 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210836 22864 13073 16 0 210820 0
vsize: 843344
[startup+30.0234 s]
Raw data (loadavg): 1.07 0.40 0.14 3/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18067 0 1 0 2582 47 0 0 25 0 11 0 477179454 865800192 23666 4294967295 134512640 134569956 3221224400 3221214848 1131321563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211377 23666 13073 16 0 211361 0
vsize: 845508
[startup+40.0228 s]
Raw data (loadavg): 1.12 0.45 0.16 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18071 0 1 0 3503 47 0 0 25 0 11 0 477179454 868945920 24573 4294967295 134512640 134569956 3221224400 3221214688 1131382510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212145 24573 13073 16 0 212129 0
vsize: 848580
[startup+50.0239 s]
Raw data (loadavg): 1.10 0.46 0.17 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18071 0 1 0 4424 48 0 0 25 0 11 0 477179454 867897344 24602 4294967295 134512640 134569956 3221224400 3221214752 1131329856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211889 24602 13073 16 0 211873 0
vsize: 847556
[startup+60.024 s]
Raw data (loadavg): 1.08 0.48 0.18 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 5379 48 0 0 25 0 11 0 477179454 866848768 24485 4294967295 134512640 134569956 3221224400 3221214832 1131321260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 24485 13073 16 0 211617 0
vsize: 846532
[startup+70.0269 s]
Raw data (loadavg): 1.07 0.50 0.19 2/64 28804
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18072 0 1 0 6338 48 0 0 25 0 11 0 477179454 866848768 24635 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 24635 13073 16 0 211617 0
vsize: 846532
[startup+80.0285 s]
Raw data (loadavg): 1.06 0.51 0.19 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 7279 48 0 0 25 0 11 0 477179454 866848768 24761 4294967295 134512640 134569956 3221224400 3221214688 1131382544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 24761 13073 16 0 211617 0
vsize: 846532
[startup+90.0281 s]
Raw data (loadavg): 1.05 0.53 0.20 2/64 28804
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18072 0 1 0 8252 48 0 0 25 0 11 0 477179454 866848768 24772 4294967295 134512640 134569956 3221224400 3221213112 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 24772 13073 16 0 211617 0
vsize: 846532
[startup+100.029 s]
Raw data (loadavg): 1.04 0.54 0.21 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 9204 48 0 0 25 0 11 0 477179454 866848768 25174 4294967295 134512640 134569956 3221224400 3221214832 1131321640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 25174 13073 16 0 211617 0
vsize: 846532
[startup+110.03 s]
Raw data (loadavg): 1.04 0.56 0.22 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 10160 48 0 0 25 0 11 0 477179454 866848768 25464 4294967295 134512640 134569956 3221224400 3221214816 1131335345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 25464 13073 16 0 211617 0
vsize: 846532
[startup+120.029 s]
Raw data (loadavg): 1.03 0.57 0.22 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 11068 49 0 0 25 0 11 0 477179454 866848768 25757 4294967295 134512640 134569956 3221224400 3221214800 1131264597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 25757 13073 16 0 211617 0
vsize: 846532
[startup+130.029 s]
Raw data (loadavg): 1.02 0.59 0.23 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 11983 49 0 0 25 0 11 0 477179454 866848768 26189 4294967295 134512640 134569956 3221224400 3221214740 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 26189 13073 16 0 211617 0
vsize: 846532
[startup+140.029 s]
Raw data (loadavg): 1.02 0.60 0.24 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 12885 49 0 0 25 0 11 0 477179454 866848768 26295 4294967295 134512640 134569956 3221224400 3221214744 1131375049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 26295 13073 16 0 211617 0
vsize: 846532
[startup+150.03 s]
Raw data (loadavg): 1.02 0.61 0.25 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 13797 49 0 0 25 0 11 0 477179454 866848768 26539 4294967295 134512640 134569956 3221224400 3221214744 1131425074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 26539 13073 16 0 211617 0
vsize: 846532
[startup+160.03 s]
Raw data (loadavg): 1.01 0.62 0.26 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 14736 49 0 0 25 0 11 0 477179454 866848768 27003 4294967295 134512640 134569956 3221224400 3221214456 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27003 13073 16 0 211617 0
vsize: 846532
[startup+170.03 s]
Raw data (loadavg): 1.01 0.64 0.26 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 15700 49 0 0 25 0 11 0 477179454 866848768 27109 4294967295 134512640 134569956 3221224400 3221214764 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27109 13073 16 0 211617 0
vsize: 846532
[startup+180.03 s]
Raw data (loadavg): 1.01 0.65 0.27 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 16667 49 0 0 25 0 11 0 477179454 866848768 27225 4294967295 134512640 134569956 3221224400 3221214744 1131375544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27225 13073 16 0 211617 0
vsize: 846532
[startup+190.03 s]
Raw data (loadavg): 1.01 0.66 0.28 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 17641 49 0 0 25 0 11 0 477179454 866848768 27314 4294967295 134512640 134569956 3221224400 3221214744 1131375201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27314 13073 16 0 211617 0
vsize: 846532
[startup+200.03 s]
Raw data (loadavg): 1.01 0.67 0.29 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 18616 49 0 0 25 0 11 0 477179454 866848768 27376 4294967295 134512640 134569956 3221224400 3221214744 1131375201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27376 13073 16 0 211617 0
vsize: 846532
[startup+210.031 s]
Raw data (loadavg): 1.00 0.68 0.29 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 19588 49 0 0 25 0 11 0 477179454 866848768 27432 4294967295 134512640 134569956 3221224400 3221214744 1131375804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27432 13073 16 0 211617 0
vsize: 846532
[startup+220.031 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 20559 49 0 0 25 0 11 0 477179454 866848768 27507 4294967295 134512640 134569956 3221224400 3221214744 1131375559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27507 13073 16 0 211617 0
vsize: 846532
[startup+230.031 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 21529 49 0 0 25 0 11 0 477179454 866848768 27565 4294967295 134512640 134569956 3221224400 3221214668 1080203744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27565 13073 16 0 211617 0
vsize: 846532
[startup+240.03 s]
Raw data (loadavg): 1.00 0.71 0.31 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 22485 49 0 0 24 0 11 0 477179454 866848768 27636 4294967295 134512640 134569956 3221224400 3221214712 1131349223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27636 13073 16 0 211617 0
vsize: 846532
[startup+250.031 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 23421 49 0 0 25 0 11 0 477179454 866848768 27711 4294967295 134512640 134569956 3221224400 3221214696 1131324502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 27711 13073 16 0 211617 0
vsize: 846532
[startup+260.03 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 24325 49 0 0 25 0 11 0 477179454 866848768 28799 4294967295 134512640 134569956 3221224400 3221214856 1131157963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 28799 13073 16 0 211617 0
vsize: 846532
[startup+270.03 s]
Raw data (loadavg): 1.00 0.74 0.33 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 25246 49 0 0 24 0 11 0 477179454 866848768 29656 4294967295 134512640 134569956 3221224400 3221214800 1131264231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 29656 13073 16 0 211617 0
vsize: 846532
[startup+280.031 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 26167 49 0 0 25 0 11 0 477179454 866848768 30813 4294967295 134512640 134569956 3221224400 3221214696 1131324663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 30813 13073 16 0 211617 0
vsize: 846532
[startup+290.031 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 27095 49 0 0 25 0 11 0 477179454 866848768 31560 4294967295 134512640 134569956 3221224400 3221214744 1131425129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 31560 13073 16 0 211617 0
vsize: 846532
[startup+300.031 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 28028 50 0 0 25 0 11 0 477179454 866848768 32138 4294967295 134512640 134569956 3221224400 3221214092 1077378174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 32138 13073 16 0 211617 0
vsize: 846532
[startup+310.032 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 28938 50 0 0 25 0 11 0 477179454 866848768 32138 4294967295 134512640 134569956 3221224400 3221214668 1080203688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 32138 13073 16 0 211617 0
vsize: 846532
[startup+320.031 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 29853 50 0 0 25 0 11 0 477179454 866848768 32138 4294967295 134512640 134569956 3221224400 3221214868 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 32138 13073 16 0 211617 0
vsize: 846532
[startup+330.031 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 30775 50 0 0 25 0 11 0 477179454 866848768 32761 4294967295 134512640 134569956 3221224400 3221214688 1131382500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 32761 13073 16 0 211617 0
vsize: 846532
[startup+340.032 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 31750 50 0 0 25 0 11 0 477179454 866848768 32933 4294967295 134512640 134569956 3221224400 3221214744 1131374573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 32933 13073 16 0 211617 0
vsize: 846532
[startup+350.033 s]
Raw data (loadavg): 1.00 0.79 0.39 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 32725 50 0 0 25 0 11 0 477179454 866848768 32985 4294967295 134512640 134569956 3221224400 3221214688 1131382510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 32985 13073 16 0 211617 0
vsize: 846532
[startup+360.033 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 33706 50 0 0 25 0 11 0 477179454 866848768 33029 4294967295 134512640 134569956 3221224400 3221214816 1131334980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33029 13073 16 0 211617 0
vsize: 846532
[startup+370.033 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 34687 50 0 0 25 0 11 0 477179454 866848768 33083 4294967295 134512640 134569956 3221224400 3221214752 1131329839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33083 13073 16 0 211617 0
vsize: 846532
[startup+380.034 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 28804
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 35671 50 0 0 25 0 11 0 477179454 866848768 33125 4294967295 134512640 134569956 3221224400 3221214696 1131324551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33125 13073 16 0 211617 0
vsize: 846532
[startup+390.033 s]
Raw data (loadavg): 1.00 0.82 0.41 2/68 28847
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 36633 56 0 0 25 0 11 0 477179454 866848768 33163 4294967295 134512640 134569956 3221224400 3221214752 1131329452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33163 13073 16 0 211617 0
vsize: 846532
[startup+400.034 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 28857
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 37588 57 0 0 25 0 11 0 477179454 866848768 33185 4294967295 134512640 134569956 3221224400 3221214664 1131404286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33185 13073 16 0 211617 0
vsize: 846532
[startup+410.035 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 28857
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 38529 57 0 0 25 0 11 0 477179454 866848768 33206 4294967295 134512640 134569956 3221224400 3221214816 1131335238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33206 13073 16 0 211617 0
vsize: 846532
[startup+420.034 s]
Raw data (loadavg): 1.00 0.83 0.43 2/64 28857
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18072 0 1 0 39439 57 0 0 25 0 11 0 477179454 866848768 33334 4294967295 134512640 134569956 3221224400 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33334 13073 16 0 211617 0
vsize: 846532
[startup+430.034 s]
Raw data (loadavg): 1.00 0.84 0.43 2/64 28857
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 40352 57 0 0 25 0 11 0 477179454 866848768 33658 4294967295 134512640 134569956 3221224400 3221214744 1131374453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33658 13073 16 0 211617 0
vsize: 846532
[startup+440.035 s]
Raw data (loadavg): 1.00 0.84 0.44 2/64 28857
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 41290 57 0 0 25 0 11 0 477179454 866848768 33775 4294967295 134512640 134569956 3221224400 3221214752 1131329905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33775 13073 16 0 211617 0
vsize: 846532
[startup+450.035 s]
Raw data (loadavg): 1.00 0.85 0.44 2/64 28857
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 42246 57 0 0 25 0 11 0 477179454 866848768 33941 4294967295 134512640 134569956 3221224400 3221214568 1131518384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 33941 13073 16 0 211617 0
vsize: 846532
[startup+460.035 s]
Raw data (loadavg): 1.00 0.85 0.45 2/64 28857
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 43202 57 0 0 25 0 11 0 477179454 866848768 34121 4294967295 134512640 134569956 3221224400 3221214672 1131472460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 34121 13073 16 0 211617 0
vsize: 846532
[startup+470.035 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 44116 57 0 0 25 0 11 0 477179454 866848768 34308 4294967295 134512640 134569956 3221224400 3221214768 1131324551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 34308 13073 16 0 211617 0
vsize: 846532
[startup+480.035 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 45018 57 0 0 25 0 11 0 477179454 866848768 34568 4294967295 134512640 134569956 3221224400 3221214816 1131335550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 34568 13073 16 0 211617 0
vsize: 846532
[startup+490.035 s]
Raw data (loadavg): 1.00 0.86 0.47 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 45922 57 0 0 25 0 11 0 477179454 866848768 34814 4294967295 134512640 134569956 3221224400 3221214744 1131375935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 34814 13073 16 0 211617 0
vsize: 846532
[startup+500.036 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 46841 58 0 0 25 0 11 0 477179454 866848768 35140 4294967295 134512640 134569956 3221224400 3221214744 1131374453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35140 13073 16 0 211617 0
vsize: 846532
[startup+510.037 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 47779 58 0 0 25 0 11 0 477179454 866848768 35337 4294967295 134512640 134569956 3221224400 3221214688 1131382701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35337 13073 16 0 211617 0
vsize: 846532
[startup+520.036 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 48733 58 0 0 25 0 11 0 477179454 866848768 35594 4294967295 134512640 134569956 3221224400 3221214832 1131321362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35594 13073 16 0 211617 0
vsize: 846532
[startup+530.037 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 49708 58 0 0 25 0 11 0 477179454 866848768 35670 4294967295 134512640 134569956 3221224400 3221214800 1131264231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35670 13073 16 0 211617 0
vsize: 846532
[startup+540.037 s]
Raw data (loadavg): 1.00 0.88 0.49 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 50679 59 0 0 25 0 11 0 477179454 866848768 35757 4294967295 134512640 134569956 3221224400 3221214744 1131375295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35757 13073 16 0 211617 0
vsize: 846532
[startup+550.038 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 51636 59 0 0 25 0 11 0 477179454 866848768 35792 4294967295 134512640 134569956 3221224400 3221214752 1131329637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35792 13073 16 0 211617 0
vsize: 846532
[startup+560.038 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 28859
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18072 0 1 0 52579 59 0 0 25 0 11 0 477179454 866848768 35817 4294967295 134512640 134569956 3221224400 3221213744 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35817 13073 16 0 211617 0
vsize: 846532
[startup+570.037 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 53511 60 0 0 25 0 11 0 477179454 866848768 35948 4294967295 134512640 134569956 3221224400 3221214736 1131263856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 35948 13073 16 0 211617 0
vsize: 846532
[startup+580.038 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 54452 60 0 0 25 0 11 0 477179454 866848768 36174 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36174 13073 16 0 211617 0
vsize: 846532
[startup+590.038 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 55405 60 0 0 25 0 11 0 477179454 866848768 36370 4294967295 134512640 134569956 3221224400 3221214768 1131324666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36370 13073 16 0 211617 0
vsize: 846532
[startup+600.038 s]
Raw data (loadavg): 1.00 0.90 0.52 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 56362 61 0 0 25 0 11 0 477179454 866848768 36468 4294967295 134512640 134569956 3221224400 3221214832 1131321552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36468 13073 16 0 211617 0
vsize: 846532
[startup+610.038 s]
Raw data (loadavg): 1.00 0.90 0.52 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 57307 61 0 0 24 0 11 0 477179454 866848768 36566 4294967295 134512640 134569956 3221224400 3221214664 1131404735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36566 13073 16 0 211617 0
vsize: 846532
[startup+620.038 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 58258 62 0 0 25 0 11 0 477179454 866848768 36658 4294967295 134512640 134569956 3221224400 3221214832 1131321629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36658 13073 16 0 211617 0
vsize: 846532
[startup+630.039 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 28859
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18072 0 1 0 59202 62 0 0 25 0 11 0 477179454 866848768 36806 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36806 13073 16 0 211617 0
vsize: 846532
[startup+640.038 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 28859
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18072 0 1 0 60138 62 0 0 25 0 11 0 477179454 866848768 36898 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36898 13073 16 0 211617 0
vsize: 846532
[startup+650.039 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 61063 62 0 0 24 0 11 0 477179454 866848768 36989 4294967295 134512640 134569956 3221224400 3221214856 1131157952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 36989 13073 16 0 211617 0
vsize: 846532
[startup+660.04 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 28859
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18072 0 1 0 61969 63 0 0 25 0 11 0 477179454 866848768 37160 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 37162 13073 16 0 211617 0
vsize: 846532
[startup+670.039 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 62878 63 0 0 25 0 11 0 477179454 866848768 37362 4294967295 134512640 134569956 3221224400 3221214480 1131163034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 37362 13073 16 0 211617 0
vsize: 846532
[startup+680.04 s]
Raw data (loadavg): 1.00 0.92 0.56 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 63767 63 0 0 25 0 11 0 477179454 866848768 37907 4294967295 134512640 134569956 3221224400 3221214688 1131382563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 37907 13073 16 0 211617 0
vsize: 846532
[startup+690.041 s]
Raw data (loadavg): 1.00 0.92 0.56 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 64664 63 0 0 25 0 11 0 477179454 866848768 38188 4294967295 134512640 134569956 3221224400 3221214800 1131263806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 38188 13073 16 0 211617 0
vsize: 846532
[startup+700.041 s]
Raw data (loadavg): 1.00 0.92 0.56 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 65557 63 0 0 25 0 11 0 477179454 866848768 38600 4294967295 134512640 134569956 3221224400 3221214856 1131158040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 38600 13073 16 0 211617 0
vsize: 846532
[startup+710.041 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 66452 64 0 0 25 0 11 0 477179454 866848768 38810 4294967295 134512640 134569956 3221224400 3221214800 1131264231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 38810 13073 16 0 211617 0
vsize: 846532
[startup+720.042 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 67357 64 0 0 25 0 11 0 477179454 866848768 38992 4294967295 134512640 134569956 3221224400 3221214868 1080204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 38992 13073 16 0 211617 0
vsize: 846532
[startup+730.042 s]
Raw data (loadavg): 1.00 0.93 0.58 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 68274 64 0 0 25 0 11 0 477179454 866848768 39169 4294967295 134512640 134569956 3221224400 3221214856 1131158002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 39169 13073 16 0 211617 0
vsize: 846532
[startup+740.042 s]
Raw data (loadavg): 1.00 0.93 0.58 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 69181 65 0 0 25 0 11 0 477179454 866848768 39466 4294967295 134512640 134569956 3221224400 3221214688 1131382510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 39466 13073 16 0 211617 0
vsize: 846532
[startup+750.043 s]
Raw data (loadavg): 1.00 0.93 0.58 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18072 0 1 0 70099 65 0 0 25 0 11 0 477179454 866848768 39706 4294967295 134512640 134569956 3221224400 3221214744 1131375572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 39706 13073 16 0 211617 0
vsize: 846532
[startup+760.043 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 28859
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 71004 65 0 0 25 0 11 0 477179454 866848768 39905 4294967295 134512640 134569956 3221224400 3221214768 1131324551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 39905 13073 16 0 211617 0
vsize: 846532
[startup+770.043 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 71927 65 0 0 25 0 11 0 477179454 866848768 40221 4294967295 134512640 134569956 3221224400 3221214816 1131334799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 40221 13073 16 0 211617 0
vsize: 846532
[startup+780.044 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 72881 66 0 0 25 0 11 0 477179454 866848768 40515 4294967295 134512640 134569956 3221224400 3221214816 1131334980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 40515 13073 16 0 211617 0
vsize: 846532
[startup+790.044 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 73855 66 0 0 25 0 11 0 477179454 866848768 40555 4294967295 134512640 134569956 3221224400 3221214552 1131386770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 40555 13073 16 0 211617 0
vsize: 846532
[startup+800.045 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 74817 67 0 0 25 0 11 0 477179454 866848768 40597 4294967295 134512640 134569956 3221224400 3221214840 1131157952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 40597 13073 16 0 211617 0
vsize: 846532
[startup+810.045 s]
Raw data (loadavg): 1.00 0.94 0.61 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 75773 67 0 0 25 0 11 0 477179454 866848768 40635 4294967295 134512640 134569956 3221224400 3221214756 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 40635 13073 16 0 211617 0
vsize: 846532
[startup+820.044 s]
Raw data (loadavg): 1.00 0.94 0.61 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 76712 67 0 0 25 0 11 0 477179454 866848768 40716 4294967295 134512640 134569956 3221224400 3221214744 1131375526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 40716 13073 16 0 211617 0
vsize: 846532
[startup+830.045 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 77652 67 0 0 25 0 11 0 477179454 866848768 40839 4294967295 134512640 134569956 3221224400 3221214744 1131375195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 40839 13073 16 0 211617 0
vsize: 846532
[startup+840.045 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 78581 67 0 0 24 0 11 0 477179454 866848768 41026 4294967295 134512640 134569956 3221224400 3221214840 1131158040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41026 13073 16 0 211617 0
vsize: 846532
[startup+850.045 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 79523 67 0 0 25 0 11 0 477179454 866848768 41169 4294967295 134512640 134569956 3221224400 3221214816 1131335645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41169 13073 16 0 211617 0
vsize: 846532
[startup+860.046 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 80466 67 0 0 25 0 11 0 477179454 866848768 41274 4294967295 134512640 134569956 3221224400 3221214744 1131375390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41274 13073 16 0 211617 0
vsize: 846532
[startup+870.046 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 81419 67 0 0 25 0 11 0 477179454 866848768 41451 4294967295 134512640 134569956 3221224400 3221214880 1131308489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41451 13073 16 0 211617 0
vsize: 846532
[startup+880.046 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 82378 67 0 0 25 0 11 0 477179454 866848768 41564 4294967295 134512640 134569956 3221224400 3221214744 1131374889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41564 13073 16 0 211617 0
vsize: 846532
[startup+890.047 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 83343 67 0 0 25 0 11 0 477179454 866848768 41667 4294967295 134512640 134569956 3221224400 3221214616 1131389455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41667 13073 16 0 211617 0
vsize: 846532
[startup+900.048 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 84301 67 0 0 25 0 11 0 477179454 866848768 41716 4294967295 134512640 134569956 3221224400 3221214880 1131540972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41716 13073 16 0 211617 0
vsize: 846532
[startup+910.047 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 85250 68 0 0 25 0 11 0 477179454 866848768 41757 4294967295 134512640 134569956 3221224400 3221214752 1131329850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41757 13073 16 0 211617 0
vsize: 846532
[startup+920.047 s]
Raw data (loadavg): 1.00 0.95 0.65 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 86190 68 0 0 25 0 11 0 477179454 866848768 41899 4294967295 134512640 134569956 3221224400 3221214804 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41899 13073 16 0 211617 0
vsize: 846532
[startup+930.048 s]
Raw data (loadavg): 1.08 0.97 0.65 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 87124 68 0 0 25 0 11 0 477179454 866848768 41944 4294967295 134512640 134569956 3221224400 3221214784 1131264147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 41944 13073 16 0 211617 0
vsize: 846532
[startup+940.047 s]
Raw data (loadavg): 1.07 0.97 0.66 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 88033 68 0 0 25 0 11 0 477179454 866848768 42180 4294967295 134512640 134569956 3221224400 3221214668 1080203695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 42180 13073 16 0 211617 0
vsize: 846532
[startup+950.049 s]
Raw data (loadavg): 1.06 0.97 0.66 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 88944 68 0 0 25 0 11 0 477179454 866848768 42224 4294967295 134512640 134569956 3221224400 3221214344 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 42224 13073 16 0 211617 0
vsize: 846532
[startup+960.049 s]
Raw data (loadavg): 1.05 0.97 0.66 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 89843 68 0 0 25 0 11 0 477179454 866848768 42533 4294967295 134512640 134569956 3221224400 3221214752 1131329637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 42533 13073 16 0 211617 0
vsize: 846532
[startup+970.049 s]
Raw data (loadavg): 1.04 0.97 0.67 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 90760 68 0 0 24 0 11 0 477179454 866848768 42793 4294967295 134512640 134569956 3221224400 3221214688 1131382500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 42793 13073 16 0 211617 0
vsize: 846532
[startup+980.053 s]
Raw data (loadavg): 1.03 0.97 0.67 2/64 28861
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18073 0 1 0 91702 68 0 0 25 0 11 0 477179454 866848768 43033 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43033 13073 16 0 211617 0
vsize: 846532
[startup+990.055 s]
Raw data (loadavg): 1.03 0.97 0.67 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 92650 68 0 0 25 0 11 0 477179454 866848768 43234 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43234 13073 16 0 211617 0
vsize: 846532
[startup+1000.06 s]
Raw data (loadavg): 1.02 0.97 0.68 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 93613 68 0 0 25 0 11 0 477179454 866848768 43346 4294967295 134512640 134569956 3221224400 3221214664 1131404460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43346 13073 16 0 211617 0
vsize: 846532
[startup+1010.06 s]
Raw data (loadavg): 1.02 0.97 0.68 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 94585 68 0 0 25 0 11 0 477179454 866848768 43416 4294967295 134512640 134569956 3221224400 3221214696 1131324551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43416 13073 16 0 211617 0
vsize: 846532
[startup+1020.06 s]
Raw data (loadavg): 1.02 0.97 0.68 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 95555 68 0 0 24 0 11 0 477179454 866848768 43439 4294967295 134512640 134569956 3221224400 3221214744 1131375950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43439 13073 16 0 211617 0
vsize: 846532
[startup+1030.06 s]
Raw data (loadavg): 1.01 0.97 0.68 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 96525 68 0 0 25 0 11 0 477179454 866848768 43499 4294967295 134512640 134569956 3221224400 3221214480 1131164212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43499 13073 16 0 211617 0
vsize: 846532
[startup+1040.06 s]
Raw data (loadavg): 1.01 0.97 0.69 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 97490 69 0 0 25 0 11 0 477179454 866848768 43529 4294967295 134512640 134569956 3221224400 3221214784 1131263893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43529 13073 16 0 211617 0
vsize: 846532
[startup+1050.06 s]
Raw data (loadavg): 1.01 0.97 0.69 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 98446 69 0 0 24 0 11 0 477179454 866848768 43611 4294967295 134512640 134569956 3221224400 3221214880 1131308847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43611 13073 16 0 211617 0
vsize: 846532
[startup+1060.06 s]
Raw data (loadavg): 1.01 0.97 0.69 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 99401 69 0 0 25 0 11 0 477179454 866848768 43659 4294967295 134512640 134569956 3221224400 3221214744 1131375506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43659 13073 16 0 211617 0
vsize: 846532
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 100346 69 0 0 25 0 11 0 477179454 866848768 43716 4294967295 134512640 134569956 3221224400 3221214784 1131263777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43716 13073 16 0 211617 0
vsize: 846532
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 101289 69 0 0 25 0 11 0 477179454 866848768 43864 4294967295 134512640 134569956 3221224400 3221214720 1131425129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 43864 13073 16 0 211617 0
vsize: 846532
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 102243 69 0 0 25 0 11 0 477179454 866848768 44018 4294967295 134512640 134569956 3221224400 3221214768 1131324502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44018 13073 16 0 211617 0
vsize: 846532
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 103207 69 0 0 25 0 11 0 477179454 866848768 44099 4294967295 134512640 134569956 3221224400 3221214784 1131264166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44099 13073 16 0 211617 0
vsize: 846532
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 104173 69 0 0 25 0 11 0 477179454 866848768 44184 4294967295 134512640 134569956 3221224400 3221214816 1131335345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44184 13073 16 0 211617 0
vsize: 846532
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 105138 69 0 0 25 0 11 0 477179454 866848768 44229 4294967295 134512640 134569956 3221224400 3221214832 1131321255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44229 13073 16 0 211617 0
vsize: 846532
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 106100 69 0 0 25 0 11 0 477179454 866848768 44342 4294967295 134512640 134569956 3221224400 3221214816 1131334524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44342 13073 16 0 211617 0
vsize: 846532
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 107059 69 0 0 25 0 11 0 477179454 866848768 44401 4294967295 134512640 134569956 3221224400 3221214784 1131263781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44401 13073 16 0 211617 0
vsize: 846532
[startup+1150.06 s]
Raw data (loadavg): 1.08 0.99 0.72 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 108028 69 0 0 25 0 11 0 477179454 866848768 44485 4294967295 134512640 134569956 3221224400 3221214776 1131327300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44485 13073 16 0 211617 0
vsize: 846532
[startup+1160.06 s]
Raw data (loadavg): 1.07 0.99 0.73 2/64 28861
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18073 0 1 0 108994 69 0 0 25 0 11 0 477179454 866848768 44535 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44535 13073 16 0 211617 0
vsize: 846532
[startup+1170.06 s]
Raw data (loadavg): 1.06 0.99 0.73 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 109962 69 0 0 25 0 11 0 477179454 866848768 44581 4294967295 134512640 134569956 3221224400 3221214664 1131404573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44581 13073 16 0 211617 0
vsize: 846532
[startup+1180.06 s]
Raw data (loadavg): 1.05 0.99 0.73 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 110930 69 0 0 25 0 11 0 477179454 866848768 44650 4294967295 134512640 134569956 3221224400 3221214664 1131404349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44650 13073 16 0 211617 0
vsize: 846532
[startup+1190.06 s]
Raw data (loadavg): 1.04 0.99 0.73 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 111906 69 0 0 25 0 11 0 477179454 866848768 44725 4294967295 134512640 134569956 3221224400 3221214740 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44725 13073 16 0 211617 0
vsize: 846532
[startup+1200.06 s]
Raw data (loadavg): 1.03 0.99 0.74 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 112881 69 0 0 25 0 11 0 477179454 866848768 44744 4294967295 134512640 134569956 3221224400 3221214744 1131374461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211633 44744 13073 16 0 211617 0
vsize: 846532
[startup+1210.06 s]
Raw data (loadavg): 1.03 0.99 0.74 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 113855 69 0 0 25 0 11 0 477179454 866848768 44775 4294967295 134512640 134569956 3221224400 3221214840 1131157952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 44775 13073 16 0 211617 0
vsize: 846532
[startup+1220.06 s]
Raw data (loadavg): 1.02 0.99 0.74 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 114807 69 0 0 25 0 11 0 477179454 866848768 44775 4294967295 134512640 134569956 3221224400 3221214744 1131375935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 44775 13073 16 0 211617 0
vsize: 846532
[startup+1230.06 s]
Raw data (loadavg): 1.02 0.99 0.74 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 115751 70 0 0 25 0 11 0 477179454 866848768 44860 4294967295 134512640 134569956 3221224400 3221214756 1080203752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 44860 13073 16 0 211617 0
vsize: 846532
[startup+1240.06 s]
Raw data (loadavg): 1.02 0.99 0.74 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 116696 70 0 0 25 0 11 0 477179454 866848768 44978 4294967295 134512640 134569956 3221224400 3221214752 1131329637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 44978 13073 16 0 211617 0
vsize: 846532
[startup+1250.07 s]
Raw data (loadavg): 1.01 0.99 0.75 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 117645 71 0 0 25 0 11 0 477179454 866848768 45082 4294967295 134512640 134569956 3221224400 3221214880 1131540443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 45082 13073 16 0 211617 0
vsize: 846532
[startup+1260.07 s]
Raw data (loadavg): 1.01 0.99 0.75 2/64 28861
Raw data (stat): 28794 (java) S 28793 28546 28545 0 -1 0 18073 0 1 0 118597 71 0 0 25 0 11 0 477179454 866848768 45180 4294967295 134512640 134569956 3221224400 3221213352 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 45180 13073 16 0 211617 0
vsize: 846532
[startup+1270.07 s]
Raw data (loadavg): 1.01 0.99 0.75 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 119549 71 0 0 25 0 11 0 477179454 866848768 45232 4294967295 134512640 134569956 3221224400 3221214840 1131158006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 45232 13073 16 0 211617 0
vsize: 846532
[startup+1280.07 s]
Raw data (loadavg): 1.01 0.99 0.75 2/64 28861
Raw data (stat): 28794 (java) R 28793 28546 28545 0 -1 0 18073 0 1 0 120490 71 0 0 25 0 11 0 477179454 866848768 45329 4294967295 134512640 134569956 3221224400 3221214880 1131540972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211633 45329 13073 16 0 211617 0
vsize: 846532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.2 s]
Raw data (loadavg): 1.01 0.99 0.75 1/54 28863
Raw data (stat): 28794 (java) Z 28793 28546 28545 0 -1 1036 18073 23923 1 1 120494 72 7177 65 25 0 1 0 477179454 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): 1280.2
CPU time (s): 1278.09
CPU user time (s): 1276.71
CPU system time (s): 1.37979
CPU usage (%): 99.8352
Max. virtual memory (Kb): 848580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####