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-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM	69d239b72e8d1a72f9c55329043493e1
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	41
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	15.9626
Number of variables	2280
Total number of constraints	1636
Number of constraints which are clauses	1558
Number of constraints which are cardinality constraints (but not clauses)	78
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 4243

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-13 15:53:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=468 boxname=wulflinc21 idbench=52 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  69d239b72e8d1a72f9c55329043493e1  /oldhome/oroussel/tmp/wulflinc21/normalized-fpga40_38_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-fpga40_38_sat_pb.cnf.cr.opb
IDLAUNCH: 468
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        937664 kB
Buffers:         24356 kB
Cached:          52688 kB
SwapCached:          0 kB
Active:          31096 kB
Inactive:        48800 kB
HighTotal:      131008 kB
HighFree:        74172 kB
LowTotal:       903652 kB
LowFree:        863492 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11440 kB
Committed_AS:    63788 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:56 (client local time) WITH STATUS 143 IN  SECONDS
stats: 468 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-fpga40_38_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=2280]
c [nbconstr=1636]
c time 5.046
c #vars     2280
c #clauses  1636
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.02 0.32 0.11 2/55 31073
Raw data (stat): 31073 (runsolver) R 31072 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 354445800 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0027 s]
Raw data (loadavg): 1.25 0.39 0.13 3/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18074 0 1 0 704 44 0 0 25 0 11 0 354445800 859754496 20612 4294967295 134512640 134569956 3221224400 3221214632 1131405200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209901 20612 13073 16 0 209885 0
vsize: 839604
[startup+20.0224 s]
Raw data (loadavg): 1.28 0.43 0.15 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18075 0 1 0 1622 44 0 0 25 0 11 0 354445800 864919552 23064 4294967295 134512640 134569956 3221224400 3221214832 1131333459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211162 23064 13073 16 0 211146 0
vsize: 844648
[startup+30.0281 s]
Raw data (loadavg): 1.31 0.46 0.16 2/65 31083
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18077 0 1 0 2532 44 0 0 25 0 11 0 354445800 867016704 23783 4294967295 134512640 134569956 3221224400 3221213176 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211674 23783 13073 16 0 211658 0
vsize: 846696
[startup+40.0285 s]
Raw data (loadavg): 1.26 0.48 0.17 3/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 3442 45 0 0 25 0 11 0 354445800 867016704 24047 4294967295 134512640 134569956 3221224400 3221214832 1131333600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211674 24047 13073 16 0 211658 0
vsize: 846696
[startup+50.0293 s]
Raw data (loadavg): 1.22 0.50 0.18 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 4364 45 0 0 25 0 11 0 354445800 867016704 24409 4294967295 134512640 134569956 3221224400 3221214740 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211674 24409 13073 16 0 211658 0
vsize: 846696
[startup+60.029 s]
Raw data (loadavg): 1.19 0.51 0.19 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 5314 45 0 0 25 0 11 0 354445800 867016704 24572 4294967295 134512640 134569956 3221224400 3221214608 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211674 24572 13073 16 0 211658 0
vsize: 846696
[startup+70.0286 s]
Raw data (loadavg): 1.16 0.53 0.20 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 6277 45 0 0 25 0 11 0 354445800 867016704 24849 4294967295 134512640 134569956 3221224400 3221214816 1131365260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211674 24849 13073 16 0 211658 0
vsize: 846696
[startup+80.0293 s]
Raw data (loadavg): 1.13 0.54 0.20 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 7252 45 0 0 25 0 11 0 354445800 863870976 24065 4294967295 134512640 134569956 3221224400 3221214740 1130883119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210906 24065 13073 16 0 210890 0
vsize: 843624
[startup+90.0289 s]
Raw data (loadavg): 1.11 0.56 0.21 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 8218 45 0 0 25 0 11 0 354445800 863870976 24098 4294967295 134512640 134569956 3221224400 3221214752 1131359461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210906 24098 13073 16 0 210890 0
vsize: 843624
[startup+100.03 s]
Raw data (loadavg): 1.09 0.57 0.22 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 9178 45 0 0 24 0 11 0 354445800 863870976 24155 4294967295 134512640 134569956 3221224400 3221214680 1131265622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210906 24155 13073 16 0 210890 0
vsize: 843624
[startup+110.03 s]
Raw data (loadavg): 1.08 0.58 0.23 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18077 0 1 0 10135 45 0 0 25 0 11 0 354445800 863870976 24275 4294967295 134512640 134569956 3221224400 3221214832 1131333689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210906 24275 13073 16 0 210890 0
vsize: 843624
[startup+120.03 s]
Raw data (loadavg): 1.07 0.60 0.23 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 11076 46 0 0 25 0 11 0 354445800 863870976 24355 4294967295 134512640 134569956 3221224400 3221214752 1131359801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 24355 13073 16 0 210890 0
vsize: 843624
[startup+130.031 s]
Raw data (loadavg): 1.06 0.61 0.24 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 11993 46 0 0 25 0 11 0 354445800 863870976 24431 4294967295 134512640 134569956 3221224400 3221214752 1131359461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 24431 13073 16 0 210890 0
vsize: 843624
[startup+140.03 s]
Raw data (loadavg): 1.05 0.62 0.25 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 12915 46 0 0 25 0 11 0 354445800 863870976 24632 4294967295 134512640 134569956 3221224400 3221214688 1131405038 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 24632 13073 16 0 210890 0
vsize: 843624
[startup+150.031 s]
Raw data (loadavg): 1.04 0.64 0.26 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 13860 46 0 0 25 0 11 0 354445800 863870976 25109 4294967295 134512640 134569956 3221224400 3221214816 1131366276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 25109 13073 16 0 210890 0
vsize: 843624
[startup+160.031 s]
Raw data (loadavg): 1.03 0.65 0.27 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 14840 46 0 0 25 0 11 0 354445800 863870976 25204 4294967295 134512640 134569956 3221224400 3221214740 1080203730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 25204 13073 16 0 210890 0
vsize: 843624
[startup+170.031 s]
Raw data (loadavg): 1.03 0.66 0.27 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 15816 46 0 0 25 0 11 0 354445800 863870976 25232 4294967295 134512640 134569956 3221224400 3221214816 1131365491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 25232 13073 16 0 210890 0
vsize: 843624
[startup+180.032 s]
Raw data (loadavg): 1.02 0.67 0.28 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 16761 46 0 0 25 0 11 0 354445800 863870976 25286 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 25286 13073 16 0 210890 0
vsize: 843624
[startup+190.031 s]
Raw data (loadavg): 1.02 0.68 0.29 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 17686 46 0 0 25 0 11 0 354445800 863870976 25302 4294967295 134512640 134569956 3221224400 3221214776 1131337514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 25302 13073 16 0 210890 0
vsize: 843624
[startup+200.032 s]
Raw data (loadavg): 1.02 0.69 0.29 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 18586 46 0 0 25 0 11 0 354445800 863870976 25509 4294967295 134512640 134569956 3221224400 3221214752 1131359793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 25509 13073 16 0 210890 0
vsize: 843624
[startup+210.032 s]
Raw data (loadavg): 1.01 0.70 0.30 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 19489 46 0 0 17 0 11 0 354445800 863870976 25793 4294967295 134512640 134569956 3221224400 3221214664 1131433399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 25793 13073 16 0 210890 0
vsize: 843624
[startup+220.032 s]
Raw data (loadavg): 1.01 0.71 0.31 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 20400 46 0 0 24 0 11 0 354445800 863870976 26114 4294967295 134512640 134569956 3221224400 3221214696 1131379971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 26114 13073 16 0 210890 0
vsize: 843624
[startup+230.032 s]
Raw data (loadavg): 1.01 0.72 0.31 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 21317 47 0 0 25 0 11 0 354445800 863870976 26359 4294967295 134512640 134569956 3221224400 3221214776 1131337407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 26359 13073 16 0 210890 0
vsize: 843624
[startup+240.032 s]
Raw data (loadavg): 1.01 0.73 0.32 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 22224 47 0 0 25 0 11 0 354445800 863870976 26580 4294967295 134512640 134569956 3221224400 3221214816 1131366439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 26580 13073 16 0 210890 0
vsize: 843624
[startup+250.032 s]
Raw data (loadavg): 1.00 0.74 0.33 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 23145 47 0 0 25 0 11 0 354445800 863870976 26849 4294967295 134512640 134569956 3221224400 3221214728 1131293619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 26849 13073 16 0 210890 0
vsize: 843624
[startup+260.032 s]
Raw data (loadavg): 1.00 0.74 0.34 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 24083 47 0 0 25 0 11 0 354445800 863870976 27113 4294967295 134512640 134569956 3221224400 3221214744 1131406728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 27113 13073 16 0 210890 0
vsize: 843624
[startup+270.032 s]
Raw data (loadavg): 1.00 0.75 0.34 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 25021 47 0 0 25 0 11 0 354445800 863870976 27278 4294967295 134512640 134569956 3221224400 3221214680 1131265390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 27278 13073 16 0 210890 0
vsize: 843624
[startup+280.032 s]
Raw data (loadavg): 1.00 0.76 0.35 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 25958 47 0 0 25 0 11 0 354445800 863870976 27361 4294967295 134512640 134569956 3221224400 3221214680 1131265703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 27361 13073 16 0 210890 0
vsize: 843624
[startup+290.032 s]
Raw data (loadavg): 1.00 0.77 0.36 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 26877 47 0 0 25 0 11 0 354445800 863870976 27647 4294967295 134512640 134569956 3221224400 3221214832 1131333365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 27647 13073 16 0 210890 0
vsize: 843624
[startup+300.033 s]
Raw data (loadavg): 1.00 0.77 0.36 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 27788 47 0 0 25 0 11 0 354445800 863870976 27845 4294967295 134512640 134569956 3221224400 3221214740 1131422048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 27845 13073 16 0 210890 0
vsize: 843624
[startup+310.036 s]
Raw data (loadavg): 1.00 0.78 0.37 2/65 31083
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 28690 47 0 0 25 0 11 0 354445800 863870976 28118 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 28118 13073 16 0 210890 0
vsize: 843624
[startup+320.036 s]
Raw data (loadavg): 1.00 0.79 0.37 2/65 31083
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 29596 47 0 0 25 0 11 0 354445800 863870976 28305 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 28305 13073 16 0 210890 0
vsize: 843624
[startup+330.037 s]
Raw data (loadavg): 1.00 0.79 0.38 2/65 31083
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 30505 47 0 0 25 0 11 0 354445800 863870976 28690 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 28690 13073 16 0 210890 0
vsize: 843624
[startup+340.037 s]
Raw data (loadavg): 1.00 0.80 0.39 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 31426 47 0 0 25 0 11 0 354445800 863870976 28924 4294967295 134512640 134569956 3221224400 3221214680 1131265320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 28924 13073 16 0 210890 0
vsize: 843624
[startup+350.038 s]
Raw data (loadavg): 1.00 0.81 0.39 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 32342 47 0 0 25 0 11 0 354445800 863870976 29176 4294967295 134512640 134569956 3221224400 3221214744 1131406890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 29176 13073 16 0 210890 0
vsize: 843624
[startup+360.039 s]
Raw data (loadavg): 1.00 0.81 0.40 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 33247 48 0 0 25 0 11 0 354445800 863870976 29391 4294967295 134512640 134569956 3221224400 3221214816 1131365616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 29391 13073 16 0 210890 0
vsize: 843624
[startup+370.038 s]
Raw data (loadavg): 1.00 0.82 0.40 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 34139 48 0 0 24 0 11 0 354445800 863870976 29703 4294967295 134512640 134569956 3221224400 3221214744 1131406857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 29703 13073 16 0 210890 0
vsize: 843624
[startup+380.039 s]
Raw data (loadavg): 1.00 0.82 0.41 2/65 31083
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 35044 48 0 0 25 0 11 0 354445800 863870976 29960 4294967295 134512640 134569956 3221224400 3221214632 1131240921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 29960 13073 16 0 210890 0
vsize: 843624
[startup+390.04 s]
Raw data (loadavg): 1.00 0.83 0.42 3/68 31103
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 35963 49 0 0 25 0 11 0 354445800 863870976 30179 4294967295 134512640 134569956 3221224400 3221214740 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 30179 13073 16 0 210890 0
vsize: 843624
[startup+400.041 s]
Raw data (loadavg): 1.00 0.83 0.42 2/65 31136
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 36877 54 0 0 25 0 11 0 354445800 863870976 30414 4294967295 134512640 134569956 3221224400 3221214752 1131359461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 30414 13073 16 0 210890 0
vsize: 843624
[startup+410.041 s]
Raw data (loadavg): 1.00 0.84 0.43 2/65 31136
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 37808 54 0 0 25 0 11 0 354445800 863870976 30694 4294967295 134512640 134569956 3221224400 3221214680 1131265527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 30694 13073 16 0 210890 0
vsize: 843624
[startup+420.041 s]
Raw data (loadavg): 1.00 0.84 0.43 2/65 31136
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 38750 54 0 0 25 0 11 0 354445800 863870976 30818 4294967295 134512640 134569956 3221224400 3221214688 1131240896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 30818 13073 16 0 210890 0
vsize: 843624
[startup+430.041 s]
Raw data (loadavg): 1.00 0.85 0.44 2/65 31136
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 39701 54 0 0 25 0 11 0 354445800 863870976 31091 4294967295 134512640 134569956 3221224400 3221214816 1131366193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31091 13073 16 0 210890 0
vsize: 843624
[startup+440.041 s]
Raw data (loadavg): 1.00 0.85 0.45 2/65 31136
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 40654 54 0 0 25 0 11 0 354445800 863870976 31190 4294967295 134512640 134569956 3221224400 3221214688 1131405150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31190 13073 16 0 210890 0
vsize: 843624
[startup+450.046 s]
Raw data (loadavg): 1.00 0.86 0.45 2/65 31138
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18078 0 1 0 41605 54 0 0 25 0 11 0 354445800 863870976 31297 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31297 13073 16 0 210890 0
vsize: 843624
[startup+460.047 s]
Raw data (loadavg): 1.00 0.86 0.46 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 42549 54 0 0 25 0 11 0 354445800 863870976 31385 4294967295 134512640 134569956 3221224400 3221214680 1131265788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31385 13073 16 0 210890 0
vsize: 843624
[startup+470.046 s]
Raw data (loadavg): 1.00 0.86 0.46 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 43498 55 0 0 25 0 11 0 354445800 863870976 31483 4294967295 134512640 134569956 3221224400 3221214680 1131265328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31483 13073 16 0 210890 0
vsize: 843624
[startup+480.047 s]
Raw data (loadavg): 1.00 0.87 0.47 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 44441 55 0 0 25 0 11 0 354445800 863870976 31662 4294967295 134512640 134569956 3221224400 3221214816 1131366302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31662 13073 16 0 210890 0
vsize: 843624
[startup+490.046 s]
Raw data (loadavg): 1.00 0.87 0.47 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 45379 55 0 0 25 0 11 0 354445800 863870976 31842 4294967295 134512640 134569956 3221224400 3221214816 1131365731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31842 13073 16 0 210890 0
vsize: 843624
[startup+500.047 s]
Raw data (loadavg): 1.00 0.88 0.48 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 46316 55 0 0 25 0 11 0 354445800 863870976 31907 4294967295 134512640 134569956 3221224400 3221214568 1131442042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 31907 13073 16 0 210890 0
vsize: 843624
[startup+510.047 s]
Raw data (loadavg): 1.00 0.88 0.48 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 47234 55 0 0 25 0 11 0 354445800 863870976 32085 4294967295 134512640 134569956 3221224400 3221214744 1131408150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 32085 13073 16 0 210890 0
vsize: 843624
[startup+520.047 s]
Raw data (loadavg): 1.00 0.88 0.49 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 48165 55 0 0 25 0 11 0 354445800 863870976 32257 4294967295 134512640 134569956 3221224400 3221214816 1131365546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 32257 13073 16 0 210890 0
vsize: 843624
[startup+530.047 s]
Raw data (loadavg): 1.00 0.89 0.49 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 49086 55 0 0 25 0 11 0 354445800 863870976 32434 4294967295 134512640 134569956 3221224400 3221214680 1131265390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 32434 13073 16 0 210890 0
vsize: 843624
[startup+540.047 s]
Raw data (loadavg): 1.00 0.89 0.50 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 50005 55 0 0 25 0 11 0 354445800 863870976 32676 4294967295 134512640 134569956 3221224400 3221214680 1131266158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 32676 13073 16 0 210890 0
vsize: 843624
[startup+550.047 s]
Raw data (loadavg): 1.00 0.89 0.50 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 50920 55 0 0 25 0 11 0 354445800 863870976 32840 4294967295 134512640 134569956 3221224400 3221214776 1131338637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 32840 13073 16 0 210890 0
vsize: 843624
[startup+560.048 s]
Raw data (loadavg): 1.00 0.90 0.51 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 51843 55 0 0 25 0 11 0 354445800 863870976 33181 4294967295 134512640 134569956 3221224400 3221214776 1131338572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 33181 13073 16 0 210890 0
vsize: 843624
[startup+570.048 s]
Raw data (loadavg): 1.00 0.90 0.51 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 52780 55 0 0 25 0 11 0 354445800 863870976 33296 4294967295 134512640 134569956 3221224400 3221214776 1131338559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 33296 13073 16 0 210890 0
vsize: 843624
[startup+580.049 s]
Raw data (loadavg): 1.00 0.90 0.52 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18078 0 1 0 53703 55 0 0 25 0 11 0 354445800 863870976 33540 4294967295 134512640 134569956 3221224400 3221214832 1131333347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 33540 13073 16 0 210890 0
vsize: 843624
[startup+590.049 s]
Raw data (loadavg): 1.00 0.90 0.52 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 54658 55 0 0 25 0 11 0 354445800 863870976 33665 4294967295 134512640 134569956 3221224400 3221214584 1131299007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210906 33665 13073 16 0 210890 0
vsize: 843624
[startup+600.049 s]
Raw data (loadavg): 1.00 0.91 0.53 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 55617 55 0 0 25 0 11 0 354445800 863870976 33670 4294967295 134512640 134569956 3221224400 3221214744 1131408150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 33670 13073 16 0 210890 0
vsize: 843624
[startup+610.049 s]
Raw data (loadavg): 1.00 0.91 0.53 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 56588 55 0 0 25 0 11 0 354445800 863870976 33760 4294967295 134512640 134569956 3221224400 3221214568 1131523788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 33760 13073 16 0 210890 0
vsize: 843624
[startup+620.049 s]
Raw data (loadavg): 1.00 0.91 0.54 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 57560 55 0 0 25 0 11 0 354445800 863870976 33783 4294967295 134512640 134569956 3221224400 3221214776 1131337423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 33783 13073 16 0 210890 0
vsize: 843624
[startup+630.049 s]
Raw data (loadavg): 1.00 0.91 0.54 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 58527 55 0 0 25 0 11 0 354445800 863870976 33936 4294967295 134512640 134569956 3221224400 3221214568 1131523056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 33936 13073 16 0 210890 0
vsize: 843624
[startup+640.05 s]
Raw data (loadavg): 1.00 0.92 0.54 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 59506 55 0 0 25 0 11 0 354445800 863870976 34052 4294967295 134512640 134569956 3221224400 3221214568 1131521927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34052 13073 16 0 210890 0
vsize: 843624
[startup+650.05 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 60488 56 0 0 25 0 11 0 354445800 863870976 34104 4294967295 134512640 134569956 3221224400 3221214560 1131530660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34104 13073 16 0 210890 0
vsize: 843624
[startup+660.051 s]
Raw data (loadavg): 1.00 0.92 0.55 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 61472 56 0 0 25 0 11 0 354445800 863870976 34242 4294967295 134512640 134569956 3221224400 3221214712 1131386913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34242 13073 16 0 210890 0
vsize: 843624
[startup+670.05 s]
Raw data (loadavg): 1.00 0.92 0.56 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 62461 56 0 0 25 0 11 0 354445800 863870976 34265 4294967295 134512640 134569956 3221224400 3221214568 1131293708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34265 13073 16 0 210890 0
vsize: 843624
[startup+680.051 s]
Raw data (loadavg): 1.00 0.92 0.56 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 63448 56 0 0 25 0 11 0 354445800 863870976 34299 4294967295 134512640 134569956 3221224400 3221214568 1131521308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34299 13073 16 0 210890 0
vsize: 843624
[startup+690.051 s]
Raw data (loadavg): 1.00 0.93 0.56 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 64437 56 0 0 25 0 11 0 354445800 863870976 34316 4294967295 134512640 134569956 3221224400 3221214568 1131521297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34316 13073 16 0 210890 0
vsize: 843624
[startup+700.052 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 65426 56 0 0 25 0 11 0 354445800 863870976 34336 4294967295 134512640 134569956 3221224400 3221214568 1131521745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34336 13073 16 0 210890 0
vsize: 843624
[startup+710.052 s]
Raw data (loadavg): 1.00 0.93 0.57 2/65 31140
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 66415 56 0 0 25 0 11 0 354445800 863870976 34366 4294967295 134512640 134569956 3221224400 3221214664 1131451874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34366 13073 16 0 210890 0
vsize: 843624
[startup+720.051 s]
Raw data (loadavg): 1.00 0.93 0.58 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 67403 56 0 0 25 0 11 0 354445800 863870976 34387 4294967295 134512640 134569956 3221224400 3221214672 1131626647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34387 13073 16 0 210890 0
vsize: 843624
[startup+730.052 s]
Raw data (loadavg): 1.00 0.93 0.58 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 68391 56 0 0 25 0 11 0 354445800 863870976 34417 4294967295 134512640 134569956 3221224400 3221214672 1131485882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34417 13073 16 0 210890 0
vsize: 843624
[startup+740.052 s]
Raw data (loadavg): 1.00 0.94 0.58 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 69371 56 0 0 25 0 11 0 354445800 863870976 34450 4294967295 134512640 134569956 3221224400 3221214744 1131408363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34450 13073 16 0 210890 0
vsize: 843624
[startup+750.053 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 70337 56 0 0 25 0 11 0 354445800 863870976 34512 4294967295 134512640 134569956 3221224400 3221214776 1131338572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34512 13073 16 0 210890 0
vsize: 843624
[startup+760.053 s]
Raw data (loadavg): 1.00 0.94 0.59 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 71288 56 0 0 25 0 11 0 354445800 863870976 34575 4294967295 134512640 134569956 3221224400 3221214752 1131359276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34575 13073 16 0 210890 0
vsize: 843624
[startup+770.053 s]
Raw data (loadavg): 1.00 0.94 0.60 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 72239 56 0 0 25 0 11 0 354445800 863870976 34627 4294967295 134512640 134569956 3221224400 3221214776 1131337263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34627 13073 16 0 210890 0
vsize: 843624
[startup+780.053 s]
Raw data (loadavg): 1.00 0.94 0.60 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 73173 56 0 0 24 0 11 0 354445800 863870976 34813 4294967295 134512640 134569956 3221224400 3221214768 1131380109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34813 13073 16 0 210890 0
vsize: 843624
[startup+790.053 s]
Raw data (loadavg): 1.00 0.94 0.60 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 74111 56 0 0 25 0 11 0 354445800 863870976 34857 4294967295 134512640 134569956 3221224400 3221214680 1131265275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 34857 13073 16 0 210890 0
vsize: 843624
[startup+800.054 s]
Raw data (loadavg): 1.00 0.94 0.61 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 75042 56 0 0 19 0 11 0 354445800 863870976 35003 4294967295 134512640 134569956 3221224400 3221214568 1131522011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 35003 13073 16 0 210890 0
vsize: 843624
[startup+810.054 s]
Raw data (loadavg): 1.00 0.95 0.61 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 75981 56 0 0 24 0 11 0 354445800 863870976 35119 4294967295 134512640 134569956 3221224400 3221214744 1131407514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 35119 13073 16 0 210890 0
vsize: 843624
[startup+820.054 s]
Raw data (loadavg): 1.00 0.95 0.62 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 76918 57 0 0 22 0 11 0 354445800 863870976 35430 4294967295 134512640 134569956 3221224400 3221214740 1080203752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 35430 13073 16 0 210890 0
vsize: 843624
[startup+830.054 s]
Raw data (loadavg): 1.00 0.95 0.62 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 77863 57 0 0 25 0 11 0 354445800 863870976 35520 4294967295 134512640 134569956 3221224400 3221214768 1131379985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 35520 13073 16 0 210890 0
vsize: 843624
[startup+840.058 s]
Raw data (loadavg): 1.00 0.95 0.62 2/65 31142
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 78804 57 0 0 25 0 11 0 354445800 863870976 35740 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 35740 13073 16 0 210890 0
vsize: 843624
[startup+850.058 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 79746 57 0 0 24 0 11 0 354445800 863870976 35829 4294967295 134512640 134569956 3221224400 3221214880 1131563036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 35829 13073 16 0 210890 0
vsize: 843624
[startup+860.058 s]
Raw data (loadavg): 1.00 0.95 0.63 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 80704 57 0 0 24 0 11 0 354445800 863870976 35946 4294967295 134512640 134569956 3221224400 3221214728 1131339464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 35946 13073 16 0 210890 0
vsize: 843624
[startup+870.058 s]
Raw data (loadavg): 1.00 0.95 0.64 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 81663 57 0 0 25 0 11 0 354445800 863870976 36023 4294967295 134512640 134569956 3221224400 3221214720 1131359461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36023 13073 16 0 210890 0
vsize: 843624
[startup+880.059 s]
Raw data (loadavg): 1.00 0.95 0.64 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 82623 57 0 0 25 0 11 0 354445800 863870976 36119 4294967295 134512640 134569956 3221224400 3221214632 1131265626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36119 13073 16 0 210890 0
vsize: 843624
[startup+890.06 s]
Raw data (loadavg): 1.00 0.95 0.64 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 83579 57 0 0 25 0 11 0 354445800 863870976 36250 4294967295 134512640 134569956 3221224400 3221214632 1131265734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36250 13073 16 0 210890 0
vsize: 843624
[startup+900.06 s]
Raw data (loadavg): 1.00 0.95 0.64 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 84535 57 0 0 25 0 11 0 354445800 863870976 36387 4294967295 134512640 134569956 3221224400 3221214112 1131638093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36387 13073 16 0 210890 0
vsize: 843624
[startup+910.061 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 85485 57 0 0 25 0 11 0 354445800 863870976 36501 4294967295 134512640 134569956 3221224400 3221214224 1131638033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36501 13073 16 0 210890 0
vsize: 843624
[startup+920.061 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 86441 57 0 0 25 0 11 0 354445800 863870976 36548 4294967295 134512640 134569956 3221224400 3221214728 1131337430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36548 13073 16 0 210890 0
vsize: 843624
[startup+930.06 s]
Raw data (loadavg): 1.00 0.96 0.65 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 87392 57 0 0 25 0 11 0 354445800 863870976 36641 4294967295 134512640 134569956 3221224400 3221214784 1131365308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36641 13073 16 0 210890 0
vsize: 843624
[startup+940.061 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 88344 57 0 0 20 0 11 0 354445800 863870976 36648 4294967295 134512640 134569956 3221224400 3221214436 1131638720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36648 13073 16 0 210890 0
vsize: 843624
[startup+950.065 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 31142
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 89293 57 0 0 25 0 11 0 354445800 863870976 36930 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36930 13073 16 0 210890 0
vsize: 843624
[startup+960.065 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 90254 57 0 0 25 0 11 0 354445800 863870976 36999 4294967295 134512640 134569956 3221224400 3221214784 1131366129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 36999 13073 16 0 210890 0
vsize: 843624
[startup+970.065 s]
Raw data (loadavg): 1.00 0.96 0.66 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 91223 57 0 0 25 0 11 0 354445800 863870976 37045 4294967295 134512640 134569956 3221224400 3221214664 1131266259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37045 13073 16 0 210890 0
vsize: 843624
[startup+980.066 s]
Raw data (loadavg): 1.00 0.96 0.67 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 92184 57 0 0 25 0 11 0 354445800 863870976 37117 4294967295 134512640 134569956 3221224400 3221214760 1131337430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37117 13073 16 0 210890 0
vsize: 843624
[startup+990.065 s]
Raw data (loadavg): 1.00 0.96 0.67 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 93139 57 0 0 25 0 11 0 354445800 863870976 37169 4294967295 134512640 134569956 3221224400 3221214664 1131265320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37169 13073 16 0 210890 0
vsize: 843624
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.96 0.67 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 94089 57 0 0 25 0 11 0 354445800 863870976 37366 4294967295 134512640 134569956 3221224400 3221214752 1131359789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37366 13073 16 0 210890 0
vsize: 843624
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 95048 57 0 0 25 0 11 0 354445800 863870976 37448 4294967295 134512640 134569956 3221224400 3221214664 1131265703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37448 13073 16 0 210890 0
vsize: 843624
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 96008 58 0 0 25 0 11 0 354445800 863870976 37597 4294967295 134512640 134569956 3221224400 3221214256 1131637925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37597 13073 16 0 210890 0
vsize: 843624
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.97 0.68 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 96977 58 0 0 25 0 11 0 354445800 863870976 37641 4294967295 134512640 134569956 3221224400 3221214760 1131337423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37641 13073 16 0 210890 0
vsize: 843624
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 97930 58 0 0 25 0 11 0 354445800 863870976 37808 4294967295 134512640 134569956 3221224400 3221214880 1131563036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37808 13073 16 0 210890 0
vsize: 843624
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 98864 58 0 0 25 0 11 0 354445800 863870976 37850 4294967295 134512640 134569956 3221224400 3221214744 1131406854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37850 13073 16 0 210890 0
vsize: 843624
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 99834 58 0 0 25 0 11 0 354445800 863870976 37903 4294967295 134512640 134569956 3221224400 3221214760 1131339431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37903 13073 16 0 210890 0
vsize: 843624
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.97 0.69 2/65 31142
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 100784 58 0 0 25 0 11 0 354445800 863870976 37914 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 37914 13073 16 0 210890 0
vsize: 843624
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 101724 58 0 0 22 0 11 0 354445800 863870976 38115 4294967295 134512640 134569956 3221224400 3221214656 1131357209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38115 13073 16 0 210890 0
vsize: 843624
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 102679 58 0 0 25 0 11 0 354445800 863870976 38326 4294967295 134512640 134569956 3221224400 3221214816 1131366359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38326 13073 16 0 210890 0
vsize: 843624
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.97 0.70 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 103637 58 0 0 25 0 11 0 354445800 863870976 38413 4294967295 134512640 134569956 3221224400 3221214760 1131338572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38413 13073 16 0 210890 0
vsize: 843624
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 104590 58 0 0 25 0 11 0 354445800 863870976 38489 4294967295 134512640 134569956 3221224400 3221214664 1131265748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38489 13073 16 0 210890 0
vsize: 843624
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 105526 58 0 0 25 0 11 0 354445800 863870976 38563 4294967295 134512640 134569956 3221224400 3221214816 1131366359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38563 13073 16 0 210890 0
vsize: 843624
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 106477 58 0 0 25 0 11 0 354445800 863870976 38736 4294967295 134512640 134569956 3221224400 3221214128 1131487881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38736 13073 16 0 210890 0
vsize: 843624
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.97 0.71 2/65 31142
Raw data (stat): 31073 (java) S 31072 30927 30926 0 -1 0 18079 0 1 0 107432 58 0 0 25 0 11 0 354445800 863870976 38824 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38824 13073 16 0 210890 0
vsize: 843624
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 108381 58 0 0 25 0 11 0 354445800 863870976 38961 4294967295 134512640 134569956 3221224400 3221214816 1131365145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 38961 13073 16 0 210890 0
vsize: 843624
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 109337 58 0 0 25 0 11 0 354445800 863870976 39030 4294967295 134512640 134569956 3221224400 3221214760 1131338614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39030 13073 16 0 210890 0
vsize: 843624
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.97 0.72 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 110287 58 0 0 25 0 11 0 354445800 863870976 39124 4294967295 134512640 134569956 3221224400 3221214040 1131638042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39124 13073 16 0 210890 0
vsize: 843624
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 111242 58 0 0 25 0 11 0 354445800 863870976 39191 4294967295 134512640 134569956 3221224400 3221214536 1131638090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39191 13073 16 0 210890 0
vsize: 843624
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 112200 58 0 0 25 0 11 0 354445800 863870976 39450 4294967295 134512640 134569956 3221224400 3221214304 1131636777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39450 13073 16 0 210890 0
vsize: 843624
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 113169 58 0 0 25 0 11 0 354445800 863870976 39523 4294967295 134512640 134569956 3221224400 3221214760 1131337430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39523 13073 16 0 210890 0
vsize: 843624
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 114139 58 0 0 25 0 11 0 354445800 863870976 39559 4294967295 134512640 134569956 3221224400 3221214760 1131338572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39559 13073 16 0 210890 0
vsize: 843624
[startup+1220.08 s]
Raw data (loadavg): 1.00 0.97 0.73 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 115099 58 0 0 25 0 11 0 354445800 863870976 39667 4294967295 134512640 134569956 3221224400 3221214792 1131418246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39667 13073 16 0 210890 0
vsize: 843624
[startup+1230.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 116065 58 0 0 25 0 11 0 354445800 863870976 39734 4294967295 134512640 134569956 3221224400 3221214760 1131337423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210906 39734 13073 16 0 210890 0
vsize: 843624
[startup+1240.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 117039 59 0 0 25 0 11 0 354445800 863870976 39799 4294967295 134512640 134569956 3221224400 3221214280 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39799 13073 16 0 210890 0
vsize: 843624
[startup+1250.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 118006 59 0 0 25 0 11 0 354445800 863870976 39831 4294967295 134512640 134569956 3221224400 3221214760 1131338600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39831 13073 16 0 210890 0
vsize: 843624
[startup+1260.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 118971 59 0 0 25 0 11 0 354445800 863870976 39895 4294967295 134512640 134569956 3221224400 3221214664 1131265245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 39895 13073 16 0 210890 0
vsize: 843624
[startup+1270.08 s]
Raw data (loadavg): 1.00 0.97 0.74 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 119930 59 0 0 24 0 11 0 354445800 863870976 40030 4294967295 134512640 134569956 3221224400 3221214832 1131333392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 40030 13073 16 0 210890 0
vsize: 843624
[startup+1280.08 s]
Raw data (loadavg): 1.00 0.97 0.75 2/65 31142
Raw data (stat): 31073 (java) R 31072 30927 30926 0 -1 0 18079 0 1 0 120903 59 0 0 25 0 11 0 354445800 863870976 40049 4294967295 134512640 134569956 3221224400 3221214008 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210906 40049 13073 16 0 210890 0
vsize: 843624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.23 s]
Raw data (loadavg): 1.00 0.97 0.75 1/55 31144
Raw data (stat): 31073 (java) Z 31072 30927 30926 0 -1 1036 18079 27465 1 1 120909 67 8214 77 25 0 1 0 354445800 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): 1280.23
CPU time (s): 1292.7
CPU user time (s): 1291.24
CPU system time (s): 1.45478
CPU usage (%): 100.974
Max. virtual memory (Kb): 846696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####