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_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
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	9.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
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 4207

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-13 15:53:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=450 boxname=wulflinc27 idbench=50 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f49e527e8d063bcfa5508a2b00211475  /oldhome/oroussel/tmp/wulflinc27/normalized-fpga35_34_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-fpga35_34_sat_pb.cnf.cr.opb
IDLAUNCH: 450
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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	: 3
cpu MHz		: 451.169
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:        892048 kB
Buffers:         30032 kB
Cached:          75472 kB
SwapCached:       3160 kB
Active:          39524 kB
Inactive:        71996 kB
HighTotal:      131008 kB
HighFree:        51548 kB
LowTotal:       903652 kB
LowFree:        840500 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            25424 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:14 (client local time) WITH STATUS 143 IN  SECONDS
stats: 450 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-fpga35_34_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=1785]
c [nbconstr=1293]
c time 3.984
c #vars     1785
c #clauses  1293
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.92 0.31 0.11 2/54 19011
Raw data (stat): 19011 (runsolver) R 19010 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477180123 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.0008 s]
Raw data (loadavg): 1.17 0.39 0.13 3/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18079 0 1 0 702 43 0 0 25 0 11 0 477180123 865669120 21856 4294967295 134512640 134569956 3221224400 3221214608 1131260750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211345 21856 13073 16 0 211329 0
vsize: 845380
[startup+20.0017 s]
Raw data (loadavg): 1.29 0.44 0.15 3/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18080 0 1 0 1522 44 0 0 25 0 11 0 477180123 880189440 26343 4294967295 134512640 134569956 3221224400 3221214736 1131432313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214890 26343 13073 16 0 214874 0
vsize: 859560
[startup+30.0025 s]
Raw data (loadavg): 1.25 0.46 0.16 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 2463 44 0 0 25 0 11 0 477180123 874913792 25343 4294967295 134512640 134569956 3221224400 3221214784 1131441750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213602 25343 13073 16 0 213586 0
vsize: 854408
[startup+40.0021 s]
Raw data (loadavg): 1.21 0.47 0.17 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 3401 44 0 0 25 0 11 0 477180123 874913792 25801 4294967295 134512640 134569956 3221224400 3221214664 1131545207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213602 25801 13073 16 0 213586 0
vsize: 854408
[startup+50.0029 s]
Raw data (loadavg): 1.17 0.49 0.18 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 4354 44 0 0 24 0 11 0 477180123 869576704 24699 4294967295 134512640 134569956 3221224400 3221214560 1131279577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 24699 13073 16 0 212283 0
vsize: 849196
[startup+60.0035 s]
Raw data (loadavg): 1.15 0.51 0.19 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 5321 44 0 0 25 0 11 0 477180123 869576704 24739 4294967295 134512640 134569956 3221224400 3221214704 1131303614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212299 24739 13073 16 0 212283 0
vsize: 849196
[startup+70.0034 s]
Raw data (loadavg): 1.12 0.52 0.19 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 6285 44 0 0 25 0 11 0 477180123 869576704 24809 4294967295 134512640 134569956 3221224400 3221214840 1131561421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 24809 13073 16 0 212283 0
vsize: 849196
[startup+80.0042 s]
Raw data (loadavg): 1.10 0.54 0.20 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 7248 44 0 0 25 0 11 0 477180123 869576704 24889 4294967295 134512640 134569956 3221224400 3221214280 1080217185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 24889 13073 16 0 212283 0
vsize: 849196
[startup+90.0045 s]
Raw data (loadavg): 1.09 0.55 0.21 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 8210 44 0 0 25 0 11 0 477180123 869576704 25026 4294967295 134512640 134569956 3221224400 3221214728 1131323812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 25026 13073 16 0 212283 0
vsize: 849196
[startup+100.005 s]
Raw data (loadavg): 1.07 0.57 0.22 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 9162 44 0 0 25 0 11 0 477180123 869576704 25211 4294967295 134512640 134569956 3221224400 3221214552 1131570025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 25211 13073 16 0 212283 0
vsize: 849196
[startup+110.006 s]
Raw data (loadavg): 1.06 0.58 0.23 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 10118 44 0 0 25 0 11 0 477180123 869576704 25304 4294967295 134512640 134569956 3221224400 3221214704 1131370887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 25304 13073 16 0 212283 0
vsize: 849196
[startup+120.006 s]
Raw data (loadavg): 1.05 0.59 0.23 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 11087 45 0 0 25 0 11 0 477180123 869576704 25519 4294967295 134512640 134569956 3221224400 3221214552 1131570238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 25519 13073 16 0 212283 0
vsize: 849196
[startup+130.006 s]
Raw data (loadavg): 1.04 0.61 0.24 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 12020 45 0 0 25 0 11 0 477180123 869576704 26184 4294967295 134512640 134569956 3221224400 3221214624 1131407132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 26184 13073 16 0 212283 0
vsize: 849196
[startup+140.006 s]
Raw data (loadavg): 1.04 0.62 0.25 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 12980 45 0 0 25 0 11 0 477180123 869576704 26257 4294967295 134512640 134569956 3221224400 3221214664 1131545311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 26257 13073 16 0 212283 0
vsize: 849196
[startup+150.007 s]
Raw data (loadavg): 1.03 0.63 0.26 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 13940 45 0 0 25 0 11 0 477180123 869576704 26320 4294967295 134512640 134569956 3221224400 3221214640 1131150617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 26320 13073 16 0 212283 0
vsize: 849196
[startup+160.008 s]
Raw data (loadavg): 1.02 0.64 0.27 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 14878 45 0 0 25 0 11 0 477180123 869576704 26581 4294967295 134512640 134569956 3221224400 3221214680 1131256401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 26581 13073 16 0 212283 0
vsize: 849196
[startup+170.007 s]
Raw data (loadavg): 1.02 0.65 0.27 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 15797 45 0 0 25 0 11 0 477180123 869576704 27052 4294967295 134512640 134569956 3221224400 3221214784 1131442143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27052 13073 16 0 212283 0
vsize: 849196
[startup+180.009 s]
Raw data (loadavg): 1.02 0.67 0.28 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 16754 45 0 0 25 0 11 0 477180123 869576704 27052 4294967295 134512640 134569956 3221224400 3221214660 1131279564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27052 13073 16 0 212283 0
vsize: 849196
[startup+190.009 s]
Raw data (loadavg): 1.01 0.68 0.29 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 17718 45 0 0 25 0 11 0 477180123 869576704 27097 4294967295 134512640 134569956 3221224400 3221214560 1131279923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27097 13073 16 0 212283 0
vsize: 849196
[startup+200.01 s]
Raw data (loadavg): 1.01 0.69 0.29 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 18682 45 0 0 25 0 11 0 477180123 869576704 27155 4294967295 134512640 134569956 3221224400 3221214552 1131568721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27155 13073 16 0 212283 0
vsize: 849196
[startup+210.01 s]
Raw data (loadavg): 1.01 0.70 0.30 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 19648 45 0 0 25 0 11 0 477180123 869576704 27229 4294967295 134512640 134569956 3221224400 3221214552 1131570434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27229 13073 16 0 212283 0
vsize: 849196
[startup+220.01 s]
Raw data (loadavg): 1.01 0.71 0.31 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 20616 45 0 0 25 0 11 0 477180123 869576704 27343 4294967295 134512640 134569956 3221224400 3221214552 1131568733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27343 13073 16 0 212283 0
vsize: 849196
[startup+230.01 s]
Raw data (loadavg): 1.01 0.71 0.31 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 21588 45 0 0 25 0 11 0 477180123 869576704 27559 4294967295 134512640 134569956 3221224400 3221214456 1131153629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27559 13073 16 0 212283 0
vsize: 849196
[startup+240.011 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 22571 45 0 0 25 0 11 0 477180123 869576704 27832 4294967295 134512640 134569956 3221224400 3221214552 1131570288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27832 13073 16 0 212283 0
vsize: 849196
[startup+250.011 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 23561 45 0 0 25 0 11 0 477180123 869576704 27883 4294967295 134512640 134569956 3221224400 3221214560 1131279895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27883 13073 16 0 212283 0
vsize: 849196
[startup+260.012 s]
Raw data (loadavg): 1.00 0.74 0.33 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 24553 45 0 0 25 0 11 0 477180123 869576704 27898 4294967295 134512640 134569956 3221224400 3221214664 1131545297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27898 13073 16 0 212283 0
vsize: 849196
[startup+270.012 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 25544 45 0 0 25 0 11 0 477180123 869576704 27962 4294967295 134512640 134569956 3221224400 3221214552 1131571105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27962 13073 16 0 212283 0
vsize: 849196
[startup+280.012 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 26536 45 0 0 25 0 11 0 477180123 869576704 27985 4294967295 134512640 134569956 3221224400 3221214664 1131545199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27985 13073 16 0 212283 0
vsize: 849196
[startup+290.012 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 27528 45 0 0 25 0 11 0 477180123 869576704 27996 4294967295 134512640 134569956 3221224400 3221214552 1131570288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 27996 13073 16 0 212283 0
vsize: 849196
[startup+300.014 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 28516 46 0 0 25 0 11 0 477180123 869576704 28026 4294967295 134512640 134569956 3221224400 3221214704 1131367673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28026 13073 16 0 212283 0
vsize: 849196
[startup+310.014 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 29505 46 0 0 25 0 11 0 477180123 869576704 28041 4294967295 134512640 134569956 3221224400 3221214664 1131545293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28041 13073 16 0 212283 0
vsize: 849196
[startup+320.013 s]
Raw data (loadavg): 1.00 0.79 0.37 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 30494 46 0 0 25 0 11 0 477180123 869576704 28059 4294967295 134512640 134569956 3221224400 3221214552 1131569406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28059 13073 16 0 212283 0
vsize: 849196
[startup+330.015 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 31483 46 0 0 25 0 11 0 477180123 869576704 28083 4294967295 134512640 134569956 3221224400 3221214784 1131441353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28083 13073 16 0 212283 0
vsize: 849196
[startup+340.015 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 32471 46 0 0 25 0 11 0 477180123 869576704 28100 4294967295 134512640 134569956 3221224400 3221214552 1131569293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28100 13073 16 0 212283 0
vsize: 849196
[startup+350.016 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 33459 46 0 0 25 0 11 0 477180123 869576704 28153 4294967295 134512640 134569956 3221224400 3221214632 1131577789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28153 13073 16 0 212283 0
vsize: 849196
[startup+360.017 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 34446 46 0 0 25 0 11 0 477180123 869576704 28169 4294967295 134512640 134569956 3221224400 3221214728 1131323584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28169 13073 16 0 212283 0
vsize: 849196
[startup+370.017 s]
Raw data (loadavg): 1.00 0.82 0.40 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 35435 46 0 0 25 0 11 0 477180123 869576704 28211 4294967295 134512640 134569956 3221224400 3221214560 1131279923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28211 13073 16 0 212283 0
vsize: 849196
[startup+380.018 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 36424 46 0 0 25 0 11 0 477180123 869576704 28271 4294967295 134512640 134569956 3221224400 3221214704 1131304683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28271 13073 16 0 212283 0
vsize: 849196
[startup+390.041 s]
Raw data (loadavg): 1.00 0.83 0.41 2/64 19021
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 37418 46 0 0 25 0 11 0 477180123 869576704 28299 4294967295 134512640 134569956 3221224400 3221214640 1131260101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28299 13073 16 0 212283 0
vsize: 849196
[startup+400.043 s]
Raw data (loadavg): 1.15 0.86 0.43 2/64 19074
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 38408 47 0 0 25 0 11 0 477180123 869576704 28313 4294967295 134512640 134569956 3221224400 3221214560 1131279895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28313 13073 16 0 212283 0
vsize: 849196
[startup+410.042 s]
Raw data (loadavg): 1.12 0.87 0.44 2/64 19074
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18082 0 1 0 39395 47 0 0 25 0 11 0 477180123 869576704 28356 4294967295 134512640 134569956 3221224400 3221214664 1131545232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28356 13073 16 0 212283 0
vsize: 849196
[startup+420.043 s]
Raw data (loadavg): 1.10 0.87 0.44 2/64 19074
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 40375 47 0 0 25 0 11 0 477180123 869576704 28381 4294967295 134512640 134569956 3221224400 3221214552 1131569322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28381 13073 16 0 212283 0
vsize: 849196
[startup+430.043 s]
Raw data (loadavg): 1.09 0.88 0.45 2/64 19074
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 41345 47 0 0 25 0 11 0 477180123 869576704 28398 4294967295 134512640 134569956 3221224400 3221214656 1131299940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28398 13073 16 0 212283 0
vsize: 849196
[startup+440.043 s]
Raw data (loadavg): 1.07 0.88 0.45 2/64 19074
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 42312 47 0 0 25 0 11 0 477180123 869576704 28461 4294967295 134512640 134569956 3221224400 3221214472 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28461 13073 16 0 212283 0
vsize: 849196
[startup+450.044 s]
Raw data (loadavg): 1.06 0.88 0.46 2/64 19074
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 43280 47 0 0 25 0 11 0 477180123 869576704 28473 4294967295 134512640 134569956 3221224400 3221214664 1131545184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28473 13073 16 0 212283 0
vsize: 849196
[startup+460.044 s]
Raw data (loadavg): 1.05 0.89 0.46 2/64 19074
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 44246 47 0 0 25 0 11 0 477180123 869576704 28486 4294967295 134512640 134569956 3221224400 3221214784 1131441134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28486 13073 16 0 212283 0
vsize: 849196
[startup+470.044 s]
Raw data (loadavg): 1.04 0.89 0.47 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 45212 47 0 0 25 0 11 0 477180123 869576704 28541 4294967295 134512640 134569956 3221224400 3221214784 1131441416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28541 13073 16 0 212283 0
vsize: 849196
[startup+480.049 s]
Raw data (loadavg): 1.04 0.89 0.47 2/64 19076
Raw data (stat): 19011 (java) S 19010 18865 18864 0 -1 0 18083 0 1 0 46178 47 0 0 25 0 11 0 477180123 869576704 28804 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28804 13073 16 0 212283 0
vsize: 849196
[startup+490.049 s]
Raw data (loadavg): 1.03 0.90 0.48 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 47159 47 0 0 25 0 11 0 477180123 869576704 28982 4294967295 134512640 134569956 3221224400 3221214860 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 28982 13073 16 0 212283 0
vsize: 849196
[startup+500.05 s]
Raw data (loadavg): 1.02 0.90 0.48 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 48145 47 0 0 25 0 11 0 477180123 869576704 29078 4294967295 134512640 134569956 3221224400 3221214664 1131543146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29078 13073 16 0 212283 0
vsize: 849196
[startup+510.051 s]
Raw data (loadavg): 1.02 0.90 0.49 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 49129 47 0 0 25 0 11 0 477180123 869576704 29136 4294967295 134512640 134569956 3221224400 3221214664 1131545196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29136 13073 16 0 212283 0
vsize: 849196
[startup+520.05 s]
Raw data (loadavg): 1.02 0.90 0.49 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 50116 47 0 0 25 0 11 0 477180123 869576704 29186 4294967295 134512640 134569956 3221224400 3221214552 1131569392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29186 13073 16 0 212283 0
vsize: 849196
[startup+530.051 s]
Raw data (loadavg): 1.01 0.91 0.50 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 51103 47 0 0 25 0 11 0 477180123 869576704 29236 4294967295 134512640 134569956 3221224400 3221214860 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29236 13073 16 0 212283 0
vsize: 849196
[startup+540.052 s]
Raw data (loadavg): 1.01 0.91 0.50 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 52088 47 0 0 25 0 11 0 477180123 869576704 29290 4294967295 134512640 134569956 3221224400 3221214704 1131368775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29290 13073 16 0 212283 0
vsize: 849196
[startup+550.053 s]
Raw data (loadavg): 1.01 0.91 0.51 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 53074 47 0 0 25 0 11 0 477180123 869576704 29334 4294967295 134512640 134569956 3221224400 3221214552 1131569483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29334 13073 16 0 212283 0
vsize: 849196
[startup+560.052 s]
Raw data (loadavg): 1.01 0.91 0.51 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 54059 47 0 0 25 0 11 0 477180123 869576704 29403 4294967295 134512640 134569956 3221224400 3221214328 1078022208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29403 13073 16 0 212283 0
vsize: 849196
[startup+570.053 s]
Raw data (loadavg): 1.01 0.92 0.52 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 55046 48 0 0 25 0 11 0 477180123 869576704 29442 4294967295 134512640 134569956 3221224400 3221214640 1131260093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29442 13073 16 0 212283 0
vsize: 849196
[startup+580.053 s]
Raw data (loadavg): 1.00 0.92 0.52 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 56030 48 0 0 25 0 11 0 477180123 869576704 29503 4294967295 134512640 134569956 3221224400 3221214736 1131210724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29503 13073 16 0 212283 0
vsize: 849196
[startup+590.053 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 57015 48 0 0 25 0 11 0 477180123 869576704 29555 4294967295 134512640 134569956 3221224400 3221214784 1131443430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29555 13073 16 0 212283 0
vsize: 849196
[startup+600.054 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 57982 48 0 0 25 0 11 0 477180123 869576704 29639 4294967295 134512640 134569956 3221224400 3221214728 1131323799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29639 13073 16 0 212283 0
vsize: 849196
[startup+610.054 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 58944 48 0 0 25 0 11 0 477180123 869576704 29681 4294967295 134512640 134569956 3221224400 3221214552 1131571171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29681 13073 16 0 212283 0
vsize: 849196
[startup+620.054 s]
Raw data (loadavg): 1.00 0.93 0.54 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 59898 48 0 0 25 0 11 0 477180123 869576704 29726 4294967295 134512640 134569956 3221224400 3221214824 1131291256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29726 13073 16 0 212283 0
vsize: 849196
[startup+630.054 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 60859 48 0 0 25 0 11 0 477180123 869576704 29765 4294967295 134512640 134569956 3221224400 3221214552 1131569322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29765 13073 16 0 212283 0
vsize: 849196
[startup+640.055 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 61819 48 0 0 25 0 11 0 477180123 869576704 29807 4294967295 134512640 134569956 3221224400 3221214680 1131255991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29807 13073 16 0 212283 0
vsize: 849196
[startup+650.055 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 62778 48 0 0 25 0 11 0 477180123 869576704 29887 4294967295 134512640 134569956 3221224400 3221214408 1131519119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29887 13073 16 0 212283 0
vsize: 849196
[startup+660.056 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 63751 48 0 0 25 0 11 0 477180123 869576704 29981 4294967295 134512640 134569956 3221224400 3221214544 1131526746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 29981 13073 16 0 212283 0
vsize: 849196
[startup+670.055 s]
Raw data (loadavg): 1.00 0.94 0.56 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 64717 48 0 0 25 0 11 0 477180123 869576704 30324 4294967295 134512640 134569956 3221224400 3221214664 1131545196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30324 13073 16 0 212283 0
vsize: 849196
[startup+680.056 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 65692 48 0 0 25 0 11 0 477180123 869576704 30391 4294967295 134512640 134569956 3221224400 3221214664 1131545315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30391 13073 16 0 212283 0
vsize: 849196
[startup+690.056 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 66666 48 0 0 25 0 11 0 477180123 869576704 30434 4294967295 134512640 134569956 3221224400 3221214552 1131569304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30434 13073 16 0 212283 0
vsize: 849196
[startup+700.056 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 67644 49 0 0 25 0 11 0 477180123 869576704 30446 4294967295 134512640 134569956 3221224400 3221214772 1080203744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30446 13073 16 0 212283 0
vsize: 849196
[startup+710.056 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 68615 49 0 0 25 0 11 0 477180123 869576704 30486 4294967295 134512640 134569956 3221224400 3221214232 1131514436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30486 13073 16 0 212283 0
vsize: 849196
[startup+720.057 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 69586 49 0 0 25 0 11 0 477180123 869576704 30502 4294967295 134512640 134569956 3221224400 3221214664 1131545184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30502 13073 16 0 212283 0
vsize: 849196
[startup+730.057 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 70563 49 0 0 25 0 11 0 477180123 869576704 30543 4294967295 134512640 134569956 3221224400 3221214232 1131514216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30543 13073 16 0 212283 0
vsize: 849196
[startup+740.057 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 19076
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 71527 49 0 0 25 0 11 0 477180123 869576704 30749 4294967295 134512640 134569956 3221224400 3221214552 1131569384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30749 13073 16 0 212283 0
vsize: 849196
[startup+750.057 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 72502 49 0 0 25 0 11 0 477180123 869576704 30821 4294967295 134512640 134569956 3221224400 3221214068 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30821 13073 16 0 212283 0
vsize: 849196
[startup+760.057 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 73483 49 0 0 25 0 11 0 477180123 869576704 30883 4294967295 134512640 134569956 3221224400 3221214288 1131514145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30883 13073 16 0 212283 0
vsize: 849196
[startup+770.057 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 74465 49 0 0 25 0 11 0 477180123 869576704 30930 4294967295 134512640 134569956 3221224400 3221214704 1131367321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30930 13073 16 0 212283 0
vsize: 849196
[startup+780.059 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 75429 49 0 0 24 0 11 0 477180123 869576704 30994 4294967295 134512640 134569956 3221224400 3221214704 1131367944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 30994 13073 16 0 212283 0
vsize: 849196
[startup+790.059 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 76404 49 0 0 25 0 11 0 477180123 869576704 31053 4294967295 134512640 134569956 3221224400 3221214392 1078033055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31053 13073 16 0 212283 0
vsize: 849196
[startup+800.062 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 19078
Raw data (stat): 19011 (java) S 19010 18865 18864 0 -1 0 18083 0 1 0 77378 49 0 0 25 0 11 0 477180123 869576704 31117 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31117 13073 16 0 212283 0
vsize: 849196
[startup+810.063 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 78349 49 0 0 25 0 11 0 477180123 869576704 31162 4294967295 134512640 134569956 3221224400 3221214772 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31162 13073 16 0 212283 0
vsize: 849196
[startup+820.063 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 79326 49 0 0 25 0 11 0 477180123 869576704 31185 4294967295 134512640 134569956 3221224400 3221214552 1131569427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31185 13073 16 0 212283 0
vsize: 849196
[startup+830.063 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 80298 49 0 0 25 0 11 0 477180123 869576704 31385 4294967295 134512640 134569956 3221224400 3221214552 1131569392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31385 13073 16 0 212283 0
vsize: 849196
[startup+840.063 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 81281 49 0 0 25 0 11 0 477180123 869576704 31520 4294967295 134512640 134569956 3221224400 3221214664 1131545315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31520 13073 16 0 212283 0
vsize: 849196
[startup+850.062 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 82264 49 0 0 25 0 11 0 477180123 869576704 31715 4294967295 134512640 134569956 3221224400 3221214664 1131545199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31715 13073 16 0 212283 0
vsize: 849196
[startup+860.062 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 83255 49 0 0 25 0 11 0 477180123 869576704 31794 4294967295 134512640 134569956 3221224400 3221214560 1131279784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31794 13073 16 0 212283 0
vsize: 849196
[startup+870.062 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 84245 49 0 0 25 0 11 0 477180123 869576704 31845 4294967295 134512640 134569956 3221224400 3221214600 1131281216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31845 13073 16 0 212283 0
vsize: 849196
[startup+880.063 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 85239 49 0 0 25 0 11 0 477180123 869576704 31865 4294967295 134512640 134569956 3221224400 3221214552 1131569293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31865 13073 16 0 212283 0
vsize: 849196
[startup+890.064 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 86230 49 0 0 24 0 11 0 477180123 869576704 31892 4294967295 134512640 134569956 3221224400 3221214664 1131545196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31892 13073 16 0 212283 0
vsize: 849196
[startup+900.064 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 87224 49 0 0 25 0 11 0 477180123 869576704 31912 4294967295 134512640 134569956 3221224400 3221214552 1131571146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31912 13073 16 0 212283 0
vsize: 849196
[startup+910.064 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 88215 49 0 0 25 0 11 0 477180123 869576704 31938 4294967295 134512640 134569956 3221224400 3221214700 1131299884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31938 13073 16 0 212283 0
vsize: 849196
[startup+920.065 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 89209 49 0 0 25 0 11 0 477180123 869576704 31957 4294967295 134512640 134569956 3221224400 3221214772 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31957 13073 16 0 212283 0
vsize: 849196
[startup+930.066 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 90202 49 0 0 25 0 11 0 477180123 869576704 31976 4294967295 134512640 134569956 3221224400 3221214680 1131255784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 31976 13073 16 0 212283 0
vsize: 849196
[startup+940.067 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 91194 49 0 0 25 0 11 0 477180123 869576704 32002 4294967295 134512640 134569956 3221224400 3221214704 1131368217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32002 13073 16 0 212283 0
vsize: 849196
[startup+950.066 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 92187 49 0 0 25 0 11 0 477180123 869576704 32022 4294967295 134512640 134569956 3221224400 3221214664 1131543142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32022 13073 16 0 212283 0
vsize: 849196
[startup+960.068 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 93179 49 0 0 25 0 11 0 477180123 869576704 32066 4294967295 134512640 134569956 3221224400 3221214200 1131523493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32066 13073 16 0 212283 0
vsize: 849196
[startup+970.068 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 94172 49 0 0 25 0 11 0 477180123 869576704 32092 4294967295 134512640 134569956 3221224400 3221214680 1131255735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32092 13073 16 0 212283 0
vsize: 849196
[startup+980.069 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 95166 49 0 0 25 0 11 0 477180123 869576704 32110 4294967295 134512640 134569956 3221224400 3221214824 1131291391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32110 13073 16 0 212283 0
vsize: 849196
[startup+990.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 96157 49 0 0 25 0 11 0 477180123 869576704 32134 4294967295 134512640 134569956 3221224400 3221214824 1131291511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32134 13073 16 0 212283 0
vsize: 849196
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 97150 50 0 0 25 0 11 0 477180123 869576704 32155 4294967295 134512640 134569956 3221224400 3221214704 1131367659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32155 13073 16 0 212283 0
vsize: 849196
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 98142 50 0 0 25 0 11 0 477180123 869576704 32180 4294967295 134512640 134569956 3221224400 3221214648 1131523687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32180 13073 16 0 212283 0
vsize: 849196
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 99133 50 0 0 25 0 11 0 477180123 869576704 32209 4294967295 134512640 134569956 3221224400 3221214296 1131519108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32209 13073 16 0 212283 0
vsize: 849196
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 100125 50 0 0 25 0 11 0 477180123 869576704 32227 4294967295 134512640 134569956 3221224400 3221214552 1131570422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32227 13073 16 0 212283 0
vsize: 849196
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 101118 50 0 0 25 0 11 0 477180123 869576704 32245 4294967295 134512640 134569956 3221224400 3221214552 1131570019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32245 13073 16 0 212283 0
vsize: 849196
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 102112 50 0 0 25 0 11 0 477180123 869576704 32258 4294967295 134512640 134569956 3221224400 3221214608 1131545232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32258 13073 16 0 212283 0
vsize: 849196
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 103107 50 0 0 25 0 11 0 477180123 869576704 32270 4294967295 134512640 134569956 3221224400 3221214528 1131526712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32270 13073 16 0 212283 0
vsize: 849196
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 104099 50 0 0 25 0 11 0 477180123 869576704 32289 4294967295 134512640 134569956 3221224400 3221214768 1131291332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32289 13073 16 0 212283 0
vsize: 849196
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 105094 50 0 0 25 0 11 0 477180123 869576704 32304 4294967295 134512640 134569956 3221224400 3221214520 1131523561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32304 13073 16 0 212283 0
vsize: 849196
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 106089 50 0 0 25 0 11 0 477180123 869576704 32320 4294967295 134512640 134569956 3221224400 3221214496 1131569019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32320 13073 16 0 212283 0
vsize: 849196
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 107084 50 0 0 25 0 11 0 477180123 869576704 32364 4294967295 134512640 134569956 3221224400 3221214152 1131514487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32364 13073 16 0 212283 0
vsize: 849196
[startup+1110.07 s]
Raw data (loadavg): 1.07 0.99 0.72 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 108076 50 0 0 25 0 11 0 477180123 869576704 32398 4294967295 134512640 134569956 3221224400 3221214440 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32398 13073 16 0 212283 0
vsize: 849196
[startup+1120.07 s]
Raw data (loadavg): 1.06 0.99 0.72 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 109071 50 0 0 25 0 11 0 477180123 869576704 32412 4294967295 134512640 134569956 3221224400 3221214100 1131530371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32412 13073 16 0 212283 0
vsize: 849196
[startup+1130.07 s]
Raw data (loadavg): 1.05 0.99 0.72 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 110066 50 0 0 25 0 11 0 477180123 869576704 32425 4294967295 134512640 134569956 3221224400 3221214108 1131526731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32425 13073 16 0 212283 0
vsize: 849196
[startup+1140.07 s]
Raw data (loadavg): 1.04 0.99 0.72 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 111061 50 0 0 25 0 11 0 477180123 869576704 32438 4294967295 134512640 134569956 3221224400 3221214496 1131569406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32438 13073 16 0 212283 0
vsize: 849196
[startup+1150.07 s]
Raw data (loadavg): 1.04 0.99 0.73 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 112057 50 0 0 25 0 11 0 477180123 869576704 32449 4294967295 134512640 134569956 3221224400 3221214096 1131514490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32449 13073 16 0 212283 0
vsize: 849196
[startup+1160.07 s]
Raw data (loadavg): 1.03 0.99 0.73 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 113049 50 0 0 25 0 11 0 477180123 869576704 32468 4294967295 134512640 134569956 3221224400 3221214272 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32468 13073 16 0 212283 0
vsize: 849196
[startup+1170.07 s]
Raw data (loadavg): 1.02 0.99 0.73 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 114036 50 0 0 25 0 11 0 477180123 869576704 32504 4294967295 134512640 134569956 3221224400 3221214104 1131514535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32504 13073 16 0 212283 0
vsize: 849196
[startup+1180.08 s]
Raw data (loadavg): 1.02 0.99 0.73 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 115025 50 0 0 25 0 11 0 477180123 869576704 32517 4294967295 134512640 134569956 3221224400 3221214160 1085679313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32517 13073 16 0 212283 0
vsize: 849196
[startup+1190.08 s]
Raw data (loadavg): 1.02 0.99 0.74 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 116003 50 0 0 25 0 11 0 477180123 869576704 32536 4294967295 134512640 134569956 3221224400 3221214744 1131331089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32536 13073 16 0 212283 0
vsize: 849196
[startup+1200.08 s]
Raw data (loadavg): 1.01 0.99 0.74 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 116973 50 0 0 25 0 11 0 477180123 869576704 32553 4294967295 134512640 134569956 3221224400 3221214536 1131568667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32553 13073 16 0 212283 0
vsize: 849196
[startup+1210.08 s]
Raw data (loadavg): 1.01 0.99 0.74 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 117933 50 0 0 25 0 11 0 477180123 869576704 32614 4294967295 134512640 134569956 3221224400 3221214480 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32614 13073 16 0 212283 0
vsize: 849196
[startup+1220.08 s]
Raw data (loadavg): 1.01 0.99 0.74 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 118897 50 0 0 25 0 11 0 477180123 869576704 32933 4294967295 134512640 134569956 3221224400 3221214808 1131291653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 32933 13073 16 0 212283 0
vsize: 849196
[startup+1230.08 s]
Raw data (loadavg): 1.01 0.99 0.74 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 119865 50 0 0 25 0 11 0 477180123 869576704 33005 4294967295 134512640 134569956 3221224400 3221214284 1131526736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 33005 13073 16 0 212283 0
vsize: 849196
[startup+1240.08 s]
Raw data (loadavg): 1.01 0.99 0.75 2/64 19078
Raw data (stat): 19011 (java) R 19010 18865 18864 0 -1 0 18083 0 1 0 120821 50 0 0 24 0 11 0 477180123 869576704 33273 4294967295 134512640 134569956 3221224400 3221214544 1131279895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212299 33273 13073 16 0 212283 0
vsize: 849196
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.39 s]
Raw data (loadavg): 1.01 0.99 0.75 1/54 19080
Raw data (stat): 19011 (java) Z 19010 18865 18864 0 -1 1036 18083 11097 1 1 120846 50 2728 28 25 0 1 0 477180123 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): 1240.39
CPU time (s): 1236.55
CPU user time (s): 1235.75
CPU system time (s): 0.795879
CPU usage (%): 99.6902
Max. virtual memory (Kb): 859560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####