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-fpga35_33_sat_pb.cnf.cr.opb
MD5SUM	d4fd8917eebbcee2e1b2df9714e1fab8
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	36
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	1.59276
Number of variables	1733
Total number of constraints	1256
Number of constraints which are clauses	1188
Number of constraints which are cardinality constraints (but not clauses)	68
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 4220

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-13 15:53:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=441 boxname=wulflinc11 idbench=49 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d4fd8917eebbcee2e1b2df9714e1fab8  /oldhome/oroussel/tmp/wulflinc11/normalized-fpga35_33_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-fpga35_33_sat_pb.cnf.cr.opb
IDLAUNCH: 441
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        930392 kB
Buffers:         32464 kB
Cached:          47332 kB
SwapCached:       4932 kB
Active:          47100 kB
Inactive:        40516 kB
HighTotal:      131008 kB
HighFree:        79408 kB
LowTotal:       903652 kB
LowFree:        850984 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            11100 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:14:33 (client local time) WITH STATUS 143 IN  SECONDS
stats: 441 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-fpga35_33_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=1733]
c [nbconstr=1256]
c time 3.892
c #vars     1733
c #clauses  1256
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.80 0.26 0.09 2/54 32711
Raw data (stat): 32711 (runsolver) R 32710 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418958740 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.0014 s]
Raw data (loadavg): 0.99 0.32 0.11 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18101 0 1 0 674 43 0 0 25 0 11 0 418958740 864378880 21715 4294967295 134512640 134569956 3221224400 3221214608 1131388452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211030 21715 13073 16 0 211014 0
vsize: 844120
[startup+20.0022 s]
Raw data (loadavg): 0.99 0.34 0.12 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18101 0 1 0 1594 43 0 0 25 0 11 0 418958740 865792000 22904 4294967295 134512640 134569956 3221224400 3221214800 1131430493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 22904 13073 16 0 211359 0
vsize: 845500
[startup+30.0025 s]
Raw data (loadavg): 1.07 0.38 0.13 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18102 0 1 0 2509 43 0 0 25 0 11 0 418958740 865792000 23207 4294967295 134512640 134569956 3221224400 3221214840 1131302143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211375 23207 13073 16 0 211359 0
vsize: 845500
[startup+40.0037 s]
Raw data (loadavg): 1.06 0.40 0.14 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 3444 44 0 0 25 0 11 0 418958740 861597696 22925 4294967295 134512640 134569956 3221224400 3221214728 1131362937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 22925 13073 16 0 210335 0
vsize: 841404
[startup+50.0045 s]
Raw data (loadavg): 1.05 0.42 0.15 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 4398 44 0 0 25 0 11 0 418958740 861597696 23079 4294967295 134512640 134569956 3221224400 3221214576 1131613274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 23079 13073 16 0 210335 0
vsize: 841404
[startup+60.0053 s]
Raw data (loadavg): 1.04 0.43 0.16 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 5368 45 0 0 25 0 11 0 418958740 861597696 23154 4294967295 134512640 134569956 3221224400 3221214680 1131512300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 23154 13073 16 0 210335 0
vsize: 841404
[startup+70.006 s]
Raw data (loadavg): 1.03 0.45 0.17 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 6319 45 0 0 25 0 11 0 418958740 861597696 23260 4294967295 134512640 134569956 3221224400 3221214576 1131615127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 23260 13073 16 0 210335 0
vsize: 841404
[startup+80.0073 s]
Raw data (loadavg): 1.03 0.47 0.18 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 7271 45 0 0 25 0 11 0 418958740 861597696 23353 4294967295 134512640 134569956 3221224400 3221214728 1131406458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 23353 13073 16 0 210335 0
vsize: 841404
[startup+90.0076 s]
Raw data (loadavg): 1.02 0.49 0.18 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 8195 46 0 0 25 0 11 0 418958740 861597696 23549 4294967295 134512640 134569956 3221224400 3221214648 1131389240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 23549 13073 16 0 210335 0
vsize: 841404
[startup+100.008 s]
Raw data (loadavg): 1.02 0.50 0.19 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 9159 46 0 0 25 0 11 0 418958740 861597696 23752 4294967295 134512640 134569956 3221224400 3221214576 1131614217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 23752 13073 16 0 210335 0
vsize: 841404
[startup+110.009 s]
Raw data (loadavg): 1.02 0.52 0.20 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 10124 46 0 0 25 0 11 0 418958740 861597696 23962 4294967295 134512640 134569956 3221224400 3221214840 1131301937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 23962 13073 16 0 210335 0
vsize: 841404
[startup+120.01 s]
Raw data (loadavg): 1.01 0.54 0.21 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 11091 46 0 0 25 0 11 0 418958740 861597696 24080 4294967295 134512640 134569956 3221224400 3221214576 1131613396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24080 13073 16 0 210335 0
vsize: 841404
[startup+130.01 s]
Raw data (loadavg): 1.01 0.55 0.22 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 12056 46 0 0 25 0 11 0 418958740 861597696 24203 4294967295 134512640 134569956 3221224400 3221214800 1131428503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24203 13073 16 0 210335 0
vsize: 841404
[startup+140.01 s]
Raw data (loadavg): 1.01 0.56 0.22 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 13025 46 0 0 25 0 11 0 418958740 861597696 24348 4294967295 134512640 134569956 3221224400 3221214576 1131613488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24348 13073 16 0 210335 0
vsize: 841404
[startup+150.011 s]
Raw data (loadavg): 1.01 0.58 0.23 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18103 0 1 0 14004 46 0 0 25 0 11 0 418958740 861597696 24486 4294967295 134512640 134569956 3221224400 3221214680 1131308317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24486 13073 16 0 210335 0
vsize: 841404
[startup+160.012 s]
Raw data (loadavg): 1.00 0.59 0.24 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 14988 46 0 0 25 0 11 0 418958740 861597696 24547 4294967295 134512640 134569956 3221224400 3221214680 1131510351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24547 13073 16 0 210335 0
vsize: 841404
[startup+170.015 s]
Raw data (loadavg): 1.00 0.60 0.25 2/64 32721
Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 15971 46 0 0 25 0 11 0 418958740 861597696 24596 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24596 13073 16 0 210335 0
vsize: 841404
[startup+180.016 s]
Raw data (loadavg): 1.00 0.62 0.26 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 16950 46 0 0 25 0 11 0 418958740 861597696 24692 4294967295 134512640 134569956 3221224400 3221214788 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24692 13073 16 0 210335 0
vsize: 841404
[startup+190.017 s]
Raw data (loadavg): 1.00 0.63 0.26 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 17909 46 0 0 25 0 11 0 418958740 861597696 24748 4294967295 134512640 134569956 3221224400 3221214752 1131216003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24748 13073 16 0 210335 0
vsize: 841404
[startup+200.018 s]
Raw data (loadavg): 1.00 0.64 0.27 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 18869 46 0 0 25 0 11 0 418958740 861597696 24814 4294967295 134512640 134569956 3221224400 3221214776 1131343856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24814 13073 16 0 210335 0
vsize: 841404
[startup+210.018 s]
Raw data (loadavg): 1.00 0.65 0.28 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 19803 46 0 0 25 0 11 0 418958740 861597696 24948 4294967295 134512640 134569956 3221224400 3221214712 1131336010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 24948 13073 16 0 210335 0
vsize: 841404
[startup+220.02 s]
Raw data (loadavg): 1.00 0.66 0.29 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 20724 46 0 0 25 0 11 0 418958740 861597696 25010 4294967295 134512640 134569956 3221224400 3221214800 1131430416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 25010 13073 16 0 210335 0
vsize: 841404
[startup+230.019 s]
Raw data (loadavg): 1.00 0.67 0.29 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 21626 47 0 0 25 0 11 0 418958740 861597696 25192 4294967295 134512640 134569956 3221224400 3221214888 1131570243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 25192 13073 16 0 210335 0
vsize: 841404
[startup+240.02 s]
Raw data (loadavg): 1.00 0.68 0.30 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 22544 47 0 0 25 0 11 0 418958740 861597696 25628 4294967295 134512640 134569956 3221224400 3221214800 1131427887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 25628 13073 16 0 210335 0
vsize: 841404
[startup+250.021 s]
Raw data (loadavg): 1.00 0.69 0.31 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 23474 47 0 0 25 0 11 0 418958740 861597696 25801 4294967295 134512640 134569956 3221224400 3221214840 1131302157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 25801 13073 16 0 210335 0
vsize: 841404
[startup+260.023 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 24409 47 0 0 25 0 11 0 418958740 861597696 26106 4294967295 134512640 134569956 3221224400 3221214600 1131463491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 26106 13073 16 0 210335 0
vsize: 841404
[startup+270.023 s]
Raw data (loadavg): 1.00 0.71 0.32 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 25360 47 0 0 25 0 11 0 418958740 861597696 26223 4294967295 134512640 134569956 3221224400 3221214888 1131569710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 26223 13073 16 0 210335 0
vsize: 841404
[startup+280.023 s]
Raw data (loadavg): 1.00 0.72 0.33 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 26306 47 0 0 25 0 11 0 418958740 861597696 26356 4294967295 134512640 134569956 3221224400 3221214728 1131407877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 26356 13073 16 0 210335 0
vsize: 841404
[startup+290.024 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 27238 47 0 0 25 0 11 0 418958740 861597696 26490 4294967295 134512640 134569956 3221224400 3221214800 1131426431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 26490 13073 16 0 210335 0
vsize: 841404
[startup+300.025 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 28158 47 0 0 25 0 11 0 418958740 861597696 26574 4294967295 134512640 134569956 3221224400 3221214680 1131263914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 26574 13073 16 0 210335 0
vsize: 841404
[startup+310.026 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 29055 47 0 0 25 0 11 0 418958740 861597696 26865 4294967295 134512640 134569956 3221224400 3221214776 1131342988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 26865 13073 16 0 210335 0
vsize: 841404
[startup+320.026 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 29968 47 0 0 25 0 11 0 418958740 861597696 27081 4294967295 134512640 134569956 3221224400 3221214680 1131263717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 27081 13073 16 0 210335 0
vsize: 841404
[startup+330.027 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 30873 47 0 0 25 0 11 0 418958740 861597696 27515 4294967295 134512640 134569956 3221224400 3221214680 1131264167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 27515 13073 16 0 210335 0
vsize: 841404
[startup+340.028 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 31777 47 0 0 25 0 11 0 418958740 861597696 27777 4294967295 134512640 134569956 3221224400 3221214800 1131429181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 27777 13073 16 0 210335 0
vsize: 841404
[startup+350.029 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 32693 47 0 0 25 0 11 0 418958740 861597696 27991 4294967295 134512640 134569956 3221224400 3221214776 1131341770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 27991 13073 16 0 210335 0
vsize: 841404
[startup+360.031 s]
Raw data (loadavg): 1.00 0.78 0.38 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 33601 48 0 0 25 0 11 0 418958740 861597696 28189 4294967295 134512640 134569956 3221224400 3221214776 1131342960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 28189 13073 16 0 210335 0
vsize: 841404
[startup+370.031 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 34519 48 0 0 25 0 11 0 418958740 861597696 28498 4294967295 134512640 134569956 3221224400 3221214680 1131264167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 28498 13073 16 0 210335 0
vsize: 841404
[startup+380.031 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 35445 48 0 0 25 0 11 0 418958740 861597696 28801 4294967295 134512640 134569956 3221224400 3221214776 1131343006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 28801 13073 16 0 210335 0
vsize: 841404
[startup+390.031 s]
Raw data (loadavg): 1.00 0.80 0.40 2/64 32721
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 36374 48 0 0 25 0 11 0 418958740 861597696 28962 4294967295 134512640 134569956 3221224400 3221214752 1131215817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 28962 13073 16 0 210335 0
vsize: 841404
[startup+400.035 s]
Raw data (loadavg): 1.08 0.83 0.41 2/66 302
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 37326 49 0 0 25 0 11 0 418958740 861597696 29059 4294967295 134512640 134569956 3221224400 3221214680 1131264391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 29059 13073 16 0 210335 0
vsize: 841404
[startup+410.036 s]
Raw data (loadavg): 1.07 0.83 0.41 2/64 308
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 38247 50 0 0 25 0 11 0 418958740 861597696 29219 4294967295 134512640 134569956 3221224400 3221214648 1131635548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 29219 13073 16 0 210335 0
vsize: 841404
[startup+420.036 s]
Raw data (loadavg): 1.06 0.84 0.42 2/64 308
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 39189 50 0 0 25 0 11 0 418958740 861597696 29432 4294967295 134512640 134569956 3221224400 3221214680 1131512401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 29432 13073 16 0 210335 0
vsize: 841404
[startup+430.037 s]
Raw data (loadavg): 1.05 0.84 0.42 2/64 308
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 40140 50 0 0 25 0 11 0 418958740 861597696 29832 4294967295 134512640 134569956 3221224400 3221214576 1131614347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 29832 13073 16 0 210335 0
vsize: 841404
[startup+440.037 s]
Raw data (loadavg): 1.04 0.85 0.43 2/64 308
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 41090 51 0 0 25 0 11 0 418958740 861597696 30164 4294967295 134512640 134569956 3221224400 3221214576 1131613008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 30164 13073 16 0 210335 0
vsize: 841404
[startup+450.037 s]
Raw data (loadavg): 1.03 0.85 0.44 2/64 308
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 42036 51 0 0 25 0 11 0 418958740 861597696 30480 4294967295 134512640 134569956 3221224400 3221214736 1131307002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 30480 13073 16 0 210335 0
vsize: 841404
[startup+460.038 s]
Raw data (loadavg): 1.03 0.85 0.44 2/64 308
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 42993 51 0 0 25 0 11 0 418958740 861597696 30648 4294967295 134512640 134569956 3221224400 3221214656 1131310291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 30648 13073 16 0 210335 0
vsize: 841404
[startup+470.039 s]
Raw data (loadavg): 1.02 0.86 0.45 2/64 308
Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 43952 51 0 0 25 0 11 0 418958740 861597696 30803 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 30803 13073 16 0 210335 0
vsize: 841404
[startup+480.039 s]
Raw data (loadavg): 1.02 0.86 0.45 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 44902 52 0 0 25 0 11 0 418958740 861597696 31032 4294967295 134512640 134569956 3221224400 3221214680 1131512311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 31032 13073 16 0 210335 0
vsize: 841404
[startup+490.039 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 45851 52 0 0 25 0 11 0 418958740 861597696 31264 4294967295 134512640 134569956 3221224400 3221214680 1131264604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 31264 13073 16 0 210335 0
vsize: 841404
[startup+500.041 s]
Raw data (loadavg): 1.01 0.87 0.46 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 46800 52 0 0 25 0 11 0 418958740 861597696 31405 4294967295 134512640 134569956 3221224400 3221214712 1131336067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 31405 13073 16 0 210335 0
vsize: 841404
[startup+510.041 s]
Raw data (loadavg): 1.01 0.87 0.47 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 47749 53 0 0 25 0 11 0 418958740 861597696 31571 4294967295 134512640 134569956 3221224400 3221214728 1131362939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 31571 13073 16 0 210335 0
vsize: 841404
[startup+520.041 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 48701 53 0 0 25 0 11 0 418958740 861597696 31611 4294967295 134512640 134569956 3221224400 3221214888 1131570243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 31611 13073 16 0 210335 0
vsize: 841404
[startup+530.04 s]
Raw data (loadavg): 1.01 0.88 0.48 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 49654 53 0 0 25 0 11 0 418958740 861597696 31700 4294967295 134512640 134569956 3221224400 3221214576 1131616322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 31700 13073 16 0 210335 0
vsize: 841404
[startup+540.042 s]
Raw data (loadavg): 1.00 0.89 0.48 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 50610 54 0 0 25 0 11 0 418958740 861597696 31910 4294967295 134512640 134569956 3221224400 3221214728 1131362960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 31910 13073 16 0 210335 0
vsize: 841404
[startup+550.042 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 51569 54 0 0 25 0 11 0 418958740 861597696 32129 4294967295 134512640 134569956 3221224400 3221214576 1131615109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32129 13073 16 0 210335 0
vsize: 841404
[startup+560.043 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 52537 54 0 0 25 0 11 0 418958740 861597696 32384 4294967295 134512640 134569956 3221224400 3221214216 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32384 13073 16 0 210335 0
vsize: 841404
[startup+570.043 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 53506 54 0 0 25 0 11 0 418958740 861597696 32496 4294967295 134512640 134569956 3221224400 3221214472 1131502477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32496 13073 16 0 210335 0
vsize: 841404
[startup+580.043 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 54475 55 0 0 25 0 11 0 418958740 861597696 32573 4294967295 134512640 134569956 3221224400 3221214792 1131430328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32573 13073 16 0 210335 0
vsize: 841404
[startup+590.044 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 55441 55 0 0 25 0 11 0 418958740 861597696 32630 4294967295 134512640 134569956 3221224400 3221214000 1085679372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32630 13073 16 0 210335 0
vsize: 841404
[startup+600.044 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 56415 56 0 0 25 0 11 0 418958740 861597696 32668 4294967295 134512640 134569956 3221224400 3221214720 1131408043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32668 13073 16 0 210335 0
vsize: 841404
[startup+610.046 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 57374 56 0 0 25 0 11 0 418958740 861597696 32730 4294967295 134512640 134569956 3221224400 3221214656 1131264167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32730 13073 16 0 210335 0
vsize: 841404
[startup+620.045 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 58328 56 0 0 25 0 11 0 418958740 861597696 32807 4294967295 134512640 134569956 3221224400 3221214792 1131430463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32807 13073 16 0 210335 0
vsize: 841404
[startup+630.045 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 59289 56 0 0 25 0 11 0 418958740 861597696 32879 4294967295 134512640 134569956 3221224400 3221214528 1131381714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 32879 13073 16 0 210335 0
vsize: 841404
[startup+640.046 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 60234 57 0 0 25 0 11 0 418958740 861597696 33027 4294967295 134512640 134569956 3221224400 3221214368 1076461301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33027 13073 16 0 210335 0
vsize: 841404
[startup+650.046 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 61187 57 0 0 25 0 11 0 418958740 861597696 33152 4294967295 134512640 134569956 3221224400 3221214568 1131612648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33152 13073 16 0 210335 0
vsize: 841404
[startup+660.047 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 62142 57 0 0 25 0 11 0 418958740 861597696 33286 4294967295 134512640 134569956 3221224400 3221214416 1078032738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33286 13073 16 0 210335 0
vsize: 841404
[startup+670.047 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 63101 57 0 0 25 0 11 0 418958740 861597696 33394 4294967295 134512640 134569956 3221224400 3221214568 1131294421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33394 13073 16 0 210335 0
vsize: 841404
[startup+680.048 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 64054 58 0 0 25 0 11 0 418958740 861597696 33517 4294967295 134512640 134569956 3221224400 3221214568 1131613271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33517 13073 16 0 210335 0
vsize: 841404
[startup+690.049 s]
Raw data (loadavg): 1.07 0.94 0.56 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 65018 58 0 0 25 0 11 0 418958740 861597696 33633 4294967295 134512640 134569956 3221224400 3221214568 1131614378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33633 13073 16 0 210335 0
vsize: 841404
[startup+700.049 s]
Raw data (loadavg): 1.06 0.94 0.56 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 65989 59 0 0 25 0 11 0 418958740 861597696 33720 4294967295 134512640 134569956 3221224400 3221214672 1131510305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33720 13073 16 0 210335 0
vsize: 841404
[startup+710.05 s]
Raw data (loadavg): 1.05 0.94 0.57 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 66962 59 0 0 25 0 11 0 418958740 861597696 33802 4294967295 134512640 134569956 3221224400 3221214752 1131342912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33802 13073 16 0 210335 0
vsize: 841404
[startup+720.051 s]
Raw data (loadavg): 1.04 0.94 0.57 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 67928 59 0 0 25 0 11 0 418958740 861597696 33888 4294967295 134512640 134569956 3221224400 3221214672 1131510215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 33888 13073 16 0 210335 0
vsize: 841404
[startup+730.051 s]
Raw data (loadavg): 1.04 0.94 0.58 2/64 310
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 68902 60 0 0 25 0 11 0 418958740 861597696 33948 4294967295 134512640 134569956 3221224400 3221214648 1131310337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 33948 13073 16 0 210335 0
vsize: 841404
[startup+740.052 s]
Raw data (loadavg): 1.03 0.95 0.58 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 69871 61 0 0 25 0 11 0 418958740 861597696 34013 4294967295 134512640 134569956 3221224400 3221214792 1131429842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34013 13073 16 0 210335 0
vsize: 841404
[startup+750.053 s]
Raw data (loadavg): 1.02 0.95 0.58 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 70840 61 0 0 25 0 11 0 418958740 861597696 34084 4294967295 134512640 134569956 3221224400 3221214672 1131510317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34084 13073 16 0 210335 0
vsize: 841404
[startup+760.053 s]
Raw data (loadavg): 1.02 0.95 0.59 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 71808 61 0 0 25 0 11 0 418958740 861597696 34167 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34167 13073 16 0 210335 0
vsize: 841404
[startup+770.054 s]
Raw data (loadavg): 1.02 0.95 0.59 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 72777 62 0 0 25 0 11 0 418958740 861597696 34250 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34250 13073 16 0 210335 0
vsize: 841404
[startup+780.054 s]
Raw data (loadavg): 1.01 0.95 0.60 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 73745 62 0 0 25 0 11 0 418958740 861597696 34309 4294967295 134512640 134569956 3221224400 3221214672 1131510215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34309 13073 16 0 210335 0
vsize: 841404
[startup+790.055 s]
Raw data (loadavg): 1.01 0.95 0.60 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 74713 62 0 0 25 0 11 0 418958740 861597696 34396 4294967295 134512640 134569956 3221224400 3221214568 1131614394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34396 13073 16 0 210335 0
vsize: 841404
[startup+800.055 s]
Raw data (loadavg): 1.01 0.95 0.60 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 75680 62 0 0 25 0 11 0 418958740 861597696 34478 4294967295 134512640 134569956 3221224400 3221214672 1131510220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34478 13073 16 0 210335 0
vsize: 841404
[startup+810.056 s]
Raw data (loadavg): 1.01 0.95 0.61 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 76653 63 0 0 25 0 11 0 418958740 861597696 34543 4294967295 134512640 134569956 3221224400 3221214672 1131512303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34543 13073 16 0 210335 0
vsize: 841404
[startup+820.056 s]
Raw data (loadavg): 1.01 0.95 0.61 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 77620 63 0 0 25 0 11 0 418958740 861597696 34617 4294967295 134512640 134569956 3221224400 3221214568 1131614261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34617 13073 16 0 210335 0
vsize: 841404
[startup+830.056 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 78595 63 0 0 25 0 11 0 418958740 861597696 34677 4294967295 134512640 134569956 3221224400 3221214568 1131614232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210351 34677 13073 16 0 210335 0
vsize: 841404
[startup+840.057 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 312
Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 79563 64 0 0 25 0 11 0 418958740 861597696 34759 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34759 13073 16 0 210335 0
vsize: 841404
[startup+850.057 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 80528 64 0 0 24 0 11 0 418958740 861597696 34845 4294967295 134512640 134569956 3221224400 3221214568 1131294470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34845 13073 16 0 210335 0
vsize: 841404
[startup+860.058 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 312
Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 81500 65 0 0 25 0 11 0 418958740 861597696 34913 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 34913 13073 16 0 210335 0
vsize: 841404
[startup+870.059 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 82465 65 0 0 24 0 11 0 418958740 861597696 35001 4294967295 134512640 134569956 3221224400 3221214568 1131294643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35001 13073 16 0 210335 0
vsize: 841404
[startup+880.06 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 83438 65 0 0 25 0 11 0 418958740 861597696 35039 4294967295 134512640 134569956 3221224400 3221214648 1131310333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35039 13073 16 0 210335 0
vsize: 841404
[startup+890.061 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 84399 66 0 0 24 0 11 0 418958740 861597696 35140 4294967295 134512640 134569956 3221224400 3221214568 1131295141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35140 13073 16 0 210335 0
vsize: 841404
[startup+900.062 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 85372 66 0 0 25 0 11 0 418958740 861597696 35210 4294967295 134512640 134569956 3221224400 3221214640 1131552323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35210 13073 16 0 210335 0
vsize: 841404
[startup+910.062 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 86345 66 0 0 25 0 11 0 418958740 861597696 35274 4294967295 134512640 134569956 3221224400 3221214568 1131294643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35274 13073 16 0 210335 0
vsize: 841404
[startup+920.063 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 87314 67 0 0 25 0 11 0 418958740 861597696 35357 4294967295 134512640 134569956 3221224400 3221214568 1131613047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35357 13073 16 0 210335 0
vsize: 841404
[startup+930.063 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 88283 67 0 0 25 0 11 0 418958740 861597696 35440 4294967295 134512640 134569956 3221224400 3221214672 1131512303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35440 13073 16 0 210335 0
vsize: 841404
[startup+940.063 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 89249 67 0 0 25 0 11 0 418958740 861597696 35522 4294967295 134512640 134569956 3221224400 3221214568 1131614323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35522 13073 16 0 210335 0
vsize: 841404
[startup+950.064 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 90219 67 0 0 25 0 11 0 418958740 861597696 35601 4294967295 134512640 134569956 3221224400 3221214408 1131635534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35601 13073 16 0 210335 0
vsize: 841404
[startup+960.065 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 91184 68 0 0 25 0 11 0 418958740 861597696 35698 4294967295 134512640 134569956 3221224400 3221214568 1131294671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35698 13073 16 0 210335 0
vsize: 841404
[startup+970.066 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 92152 68 0 0 25 0 11 0 418958740 861597696 35723 4294967295 134512640 134569956 3221224400 3221214656 1131264303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35723 13073 16 0 210335 0
vsize: 841404
[startup+980.066 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 93121 68 0 0 25 0 11 0 418958740 861597696 35803 4294967295 134512640 134569956 3221224400 3221214568 1131294390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35803 13073 16 0 210335 0
vsize: 841404
[startup+990.067 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 94084 68 0 0 25 0 11 0 418958740 861597696 35891 4294967295 134512640 134569956 3221224400 3221214568 1131613283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35891 13073 16 0 210335 0
vsize: 841404
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 95052 69 0 0 25 0 11 0 418958740 861597696 35964 4294967295 134512640 134569956 3221224400 3221214392 1078128033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 35964 13073 16 0 210335 0
vsize: 841404
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 96022 69 0 0 25 0 11 0 418958740 861597696 36035 4294967295 134512640 134569956 3221224400 3221214568 1131615130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36035 13073 16 0 210335 0
vsize: 841404
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 96991 70 0 0 25 0 11 0 418958740 861597696 36114 4294967295 134512640 134569956 3221224400 3221214728 1131306789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36114 13073 16 0 210335 0
vsize: 841404
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 97960 70 0 0 25 0 11 0 418958740 861597696 36191 4294967295 134512640 134569956 3221224400 3221214568 1131615123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36191 13073 16 0 210335 0
vsize: 841404
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 98924 70 0 0 25 0 11 0 418958740 861597696 36273 4294967295 134512640 134569956 3221224400 3221214568 1131615130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36273 13073 16 0 210335 0
vsize: 841404
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 99893 70 0 0 25 0 11 0 418958740 861597696 36366 4294967295 134512640 134569956 3221224400 3221214568 1131294428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36366 13073 16 0 210335 0
vsize: 841404
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 100860 70 0 0 25 0 11 0 418958740 861597696 36399 4294967295 134512640 134569956 3221224400 3221214568 1131294939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36399 13073 16 0 210335 0
vsize: 841404
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 101821 71 0 0 25 0 11 0 418958740 861597696 36492 4294967295 134512640 134569956 3221224400 3221214568 1131294971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36492 13073 16 0 210335 0
vsize: 841404
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 102788 71 0 0 25 0 11 0 418958740 861597696 36571 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36571 13073 16 0 210335 0
vsize: 841404
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 103749 72 0 0 24 0 11 0 418958740 861597696 36684 4294967295 134512640 134569956 3221224400 3221214672 1131512326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36684 13073 16 0 210335 0
vsize: 841404
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 104723 72 0 0 25 0 11 0 418958740 861597696 36762 4294967295 134512640 134569956 3221224400 3221214672 1131512307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36762 13073 16 0 210335 0
vsize: 841404
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 105692 72 0 0 25 0 11 0 418958740 861597696 36835 4294967295 134512640 134569956 3221224400 3221214720 1131406055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36835 13073 16 0 210335 0
vsize: 841404
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 106656 72 0 0 25 0 11 0 418958740 861597696 36931 4294967295 134512640 134569956 3221224400 3221214568 1131612641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 36931 13073 16 0 210335 0
vsize: 841404
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 107625 73 0 0 25 0 11 0 418958740 861597696 37009 4294967295 134512640 134569956 3221224400 3221214480 1131536481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37009 13073 16 0 210335 0
vsize: 841404
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 108588 73 0 0 24 0 11 0 418958740 861597696 37092 4294967295 134512640 134569956 3221224400 3221214608 1131251985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37092 13073 16 0 210335 0
vsize: 841404
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 109555 74 0 0 25 0 11 0 418958740 861597696 37131 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37131 13073 16 0 210335 0
vsize: 841404
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 110521 74 0 0 25 0 11 0 418958740 861597696 37214 4294967295 134512640 134569956 3221224400 3221214568 1131294643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37214 13073 16 0 210335 0
vsize: 841404
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 312
Raw data (stat): 32711 (java) S 32710 32461 32460 0 -1 0 18104 0 1 0 111484 74 0 0 25 0 11 0 418958740 861597696 37292 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37292 13073 16 0 210335 0
vsize: 841404
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 112448 74 0 0 25 0 11 0 418958740 861597696 37383 4294967295 134512640 134569956 3221224400 3221214568 1131294615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37383 13073 16 0 210335 0
vsize: 841404
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 113417 75 0 0 25 0 11 0 418958740 861597696 37468 4294967295 134512640 134569956 3221224400 3221214572 1131536327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37468 13073 16 0 210335 0
vsize: 841404
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 114384 75 0 0 25 0 11 0 418958740 861597696 37536 4294967295 134512640 134569956 3221224400 3221214672 1131512397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37536 13073 16 0 210335 0
vsize: 841404
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 115352 75 0 0 25 0 11 0 418958740 861597696 37625 4294967295 134512640 134569956 3221224400 3221214792 1131428494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37625 13073 16 0 210335 0
vsize: 841404
[startup+1220.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 116315 76 0 0 25 0 11 0 418958740 861597696 37721 4294967295 134512640 134569956 3221224400 3221214672 1131510208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37721 13073 16 0 210335 0
vsize: 841404
[startup+1230.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 117283 76 0 0 25 0 11 0 418958740 861597696 37790 4294967295 134512640 134569956 3221224400 3221214568 1131613358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37790 13073 16 0 210335 0
vsize: 841404
[startup+1240.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 118249 77 0 0 25 0 11 0 418958740 861597696 37841 4294967295 134512640 134569956 3221224400 3221214672 1131510357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37841 13073 16 0 210335 0
vsize: 841404
[startup+1250.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 119210 77 0 0 25 0 11 0 418958740 861597696 37934 4294967295 134512640 134569956 3221224400 3221214672 1131510208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 37934 13073 16 0 210335 0
vsize: 841404
[startup+1260.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 312
Raw data (stat): 32711 (java) R 32710 32461 32460 0 -1 0 18104 0 1 0 120175 77 0 0 25 0 11 0 418958740 861597696 38013 4294967295 134512640 134569956 3221224400 3221214568 1131294504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 38013 13073 16 0 210335 0
vsize: 841404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.35 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 314
Raw data (stat): 32711 (java) Z 32710 32461 32460 0 -1 1036 18104 26861 1 1 120193 85 6807 68 25 0 1 0 418958740 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): 1260.35
CPU time (s): 1271.55
CPU user time (s): 1270.01
CPU system time (s): 1.53577
CPU usage (%): 100.888
Max. virtual memory (Kb): 845500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####