PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 4221

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        913916 kB
Buffers:         30840 kB
Cached:          54312 kB
SwapCached:       2636 kB
Active:          35904 kB
Inactive:        54692 kB
HighTotal:      131008 kB
HighFree:        72520 kB
LowTotal:       903652 kB
LowFree:        841396 kB
SwapTotal:     2097892 kB
SwapFree:      2095256 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            24560 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:33 (client local time) WITH STATUS 143 IN  SECONDS
stats: 513 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-fpga45_45_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=3038]
c [nbconstr=2160]
c time 6.603
c #vars     3038
c #clauses  2160
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.03 0.34 0.12 1/54 27711
Raw data (stat): 27711 (runsolver) D 27710 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477182457 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0066 s]
Raw data (loadavg): 1.18 0.40 0.14 4/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18060 0 1 0 752 42 0 0 25 0 11 0 477182457 857833472 20179 4294967295 134512640 134569956 3221224400 3221213936 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209432 20179 13073 16 0 209416 0
vsize: 837728
[startup+20.0152 s]
Raw data (loadavg): 1.16 0.42 0.15 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18061 0 1 0 1622 43 0 0 25 0 11 0 477182457 865927168 23344 4294967295 134512640 134569956 3221224400 3221214700 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211408 23344 13073 16 0 211392 0
vsize: 845632
[startup+30.0159 s]
Raw data (loadavg): 1.13 0.44 0.16 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18061 0 1 0 2540 43 0 0 25 0 11 0 477182457 864780288 23543 4294967295 134512640 134569956 3221224400 3221214824 1131354524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 23543 13073 16 0 211112 0
vsize: 844512
[startup+40.0161 s]
Raw data (loadavg): 1.11 0.45 0.16 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18061 0 1 0 3460 43 0 0 25 0 11 0 477182457 867860480 24444 4294967295 134512640 134569956 3221224400 3221214824 1131354661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211880 24444 13073 16 0 211864 0
vsize: 847520
[startup+50.0164 s]
Raw data (loadavg): 1.17 0.49 0.18 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18061 0 1 0 4391 43 0 0 25 0 11 0 477182457 864780288 23692 4294967295 134512640 134569956 3221224400 3221214824 1131355154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 23692 13073 16 0 211112 0
vsize: 844512
[startup+60.016 s]
Raw data (loadavg): 1.22 0.52 0.19 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 5370 43 0 0 25 0 11 0 477182457 864780288 23777 4294967295 134512640 134569956 3221224400 3221214576 1131326177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 23777 13073 16 0 211112 0
vsize: 844512
[startup+70.0172 s]
Raw data (loadavg): 1.19 0.54 0.20 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 6343 44 0 0 25 0 11 0 477182457 864780288 23958 4294967295 134512640 134569956 3221224400 3221214560 1131553593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 23958 13073 16 0 211112 0
vsize: 844512
[startup+80.0175 s]
Raw data (loadavg): 1.16 0.55 0.21 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 7328 44 0 0 25 0 11 0 477182457 864780288 24041 4294967295 134512640 134569956 3221224400 3221214744 1131345954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24041 13073 16 0 211112 0
vsize: 844512
[startup+90.0172 s]
Raw data (loadavg): 1.13 0.57 0.22 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 8282 44 0 0 25 0 11 0 477182457 864780288 24242 4294967295 134512640 134569956 3221224400 3221214824 1131355239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24242 13073 16 0 211112 0
vsize: 844512
[startup+100.017 s]
Raw data (loadavg): 1.11 0.58 0.22 2/64 27721
Raw data (stat): 27711 (java) S 27710 27565 27564 0 -1 0 18062 0 1 0 9223 44 0 0 25 0 11 0 477182457 864780288 24454 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24454 13073 16 0 211112 0
vsize: 844512
[startup+110.018 s]
Raw data (loadavg): 1.09 0.59 0.23 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 10172 45 0 0 25 0 11 0 477182457 864780288 24559 4294967295 134512640 134569956 3221224400 3221214728 1131289999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24559 13073 16 0 211112 0
vsize: 844512
[startup+120.018 s]
Raw data (loadavg): 1.08 0.61 0.24 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 11137 45 0 0 25 0 11 0 477182457 864780288 24784 4294967295 134512640 134569956 3221224400 3221214760 1131321338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24784 13073 16 0 211112 0
vsize: 844512
[startup+130.018 s]
Raw data (loadavg): 1.07 0.62 0.25 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 12115 45 0 0 25 0 11 0 477182457 864780288 24875 4294967295 134512640 134569956 3221224400 3221214744 1131346064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24875 13073 16 0 211112 0
vsize: 844512
[startup+140.018 s]
Raw data (loadavg): 1.06 0.63 0.25 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 13097 45 0 0 25 0 11 0 477182457 864780288 24937 4294967295 134512640 134569956 3221224400 3221214620 1131409068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24937 13073 16 0 211112 0
vsize: 844512
[startup+150.018 s]
Raw data (loadavg): 1.05 0.64 0.26 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 14078 46 0 0 25 0 11 0 477182457 864780288 24964 4294967295 134512640 134569956 3221224400 3221214824 1131354715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 24964 13073 16 0 211112 0
vsize: 844512
[startup+160.019 s]
Raw data (loadavg): 1.04 0.65 0.27 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 15058 46 0 0 25 0 11 0 477182457 864780288 25027 4294967295 134512640 134569956 3221224400 3221214832 1131323134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25027 13073 16 0 211112 0
vsize: 844512
[startup+170.019 s]
Raw data (loadavg): 1.03 0.66 0.28 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 16038 46 0 0 25 0 11 0 477182457 864780288 25069 4294967295 134512640 134569956 3221224400 3221214824 1131354635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25069 13073 16 0 211112 0
vsize: 844512
[startup+180.019 s]
Raw data (loadavg): 1.03 0.67 0.28 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 17019 47 0 0 25 0 11 0 477182457 864780288 25122 4294967295 134512640 134569956 3221224400 3221214824 1131355239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25122 13073 16 0 211112 0
vsize: 844512
[startup+190.02 s]
Raw data (loadavg): 1.02 0.68 0.29 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 18002 47 0 0 25 0 11 0 477182457 864780288 25160 4294967295 134512640 134569956 3221224400 3221214760 1131321315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25160 13073 16 0 211112 0
vsize: 844512
[startup+200.02 s]
Raw data (loadavg): 1.02 0.69 0.30 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 18986 47 0 0 25 0 11 0 477182457 864780288 25213 4294967295 134512640 134569956 3221224400 3221214688 1131251384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25213 13073 16 0 211112 0
vsize: 844512
[startup+210.02 s]
Raw data (loadavg): 1.02 0.70 0.30 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 19955 47 0 0 25 0 11 0 477182457 864780288 25235 4294967295 134512640 134569956 3221224400 3221214704 1131216150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25235 13073 16 0 211112 0
vsize: 844512
[startup+220.02 s]
Raw data (loadavg): 1.01 0.71 0.31 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 20921 48 0 0 25 0 11 0 477182457 864780288 25269 4294967295 134512640 134569956 3221224400 3221214752 1131391302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25269 13073 16 0 211112 0
vsize: 844512
[startup+230.02 s]
Raw data (loadavg): 1.01 0.72 0.32 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 21881 48 0 0 25 0 11 0 477182457 864780288 25377 4294967295 134512640 134569956 3221224400 3221214704 1131216168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25377 13073 16 0 211112 0
vsize: 844512
[startup+240.02 s]
Raw data (loadavg): 1.01 0.73 0.33 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 22849 48 0 0 25 0 11 0 477182457 864780288 25469 4294967295 134512640 134569956 3221224400 3221214672 1131435342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25469 13073 16 0 211112 0
vsize: 844512
[startup+250.021 s]
Raw data (loadavg): 1.01 0.74 0.33 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 23821 48 0 0 25 0 11 0 477182457 864780288 25545 4294967295 134512640 134569956 3221224400 3221214880 1131569455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25545 13073 16 0 211112 0
vsize: 844512
[startup+260.021 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 24791 49 0 0 25 0 11 0 477182457 864780288 25615 4294967295 134512640 134569956 3221224400 3221214748 1080203690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25615 13073 16 0 211112 0
vsize: 844512
[startup+270.022 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 25758 49 0 0 25 0 11 0 477182457 864780288 25676 4294967295 134512640 134569956 3221224400 3221214868 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25676 13073 16 0 211112 0
vsize: 844512
[startup+280.022 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 26717 50 0 0 25 0 11 0 477182457 864780288 25744 4294967295 134512640 134569956 3221224400 3221214880 1131568924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25744 13073 16 0 211112 0
vsize: 844512
[startup+290.023 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 27674 51 0 0 25 0 11 0 477182457 864780288 25838 4294967295 134512640 134569956 3221224400 3221214704 1131216199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25838 13073 16 0 211112 0
vsize: 844512
[startup+300.023 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 28622 51 0 0 25 0 11 0 477182457 864780288 25931 4294967295 134512640 134569956 3221224400 3221214752 1131391720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 25931 13073 16 0 211112 0
vsize: 844512
[startup+310.023 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 29565 51 0 0 25 0 11 0 477182457 864780288 26026 4294967295 134512640 134569956 3221224400 3221214744 1131345554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26026 13073 16 0 211112 0
vsize: 844512
[startup+320.023 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 30506 51 0 0 25 0 11 0 477182457 864780288 26204 4294967295 134512640 134569956 3221224400 3221214820 1131320915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26204 13073 16 0 211112 0
vsize: 844512
[startup+330.024 s]
Raw data (loadavg): 1.00 0.80 0.38 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 31456 52 0 0 24 0 11 0 477182457 864780288 26345 4294967295 134512640 134569956 3221224400 3221214828 1131257932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26345 13073 16 0 211112 0
vsize: 844512
[startup+340.024 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 32410 52 0 0 25 0 11 0 477182457 864780288 26488 4294967295 134512640 134569956 3221224400 3221214728 1131290092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26488 13073 16 0 211112 0
vsize: 844512
[startup+350.025 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 33369 53 0 0 24 0 11 0 477182457 864780288 26614 4294967295 134512640 134569956 3221224400 3221214752 1080203665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26614 13073 16 0 211112 0
vsize: 844512
[startup+360.025 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 34338 53 0 0 25 0 11 0 477182457 864780288 26731 4294967295 134512640 134569956 3221224400 3221214760 1131321440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26731 13073 16 0 211112 0
vsize: 844512
[startup+370.026 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 35299 53 0 0 25 0 11 0 477182457 864780288 26794 4294967295 134512640 134569956 3221224400 3221214824 1131354923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26794 13073 16 0 211112 0
vsize: 844512
[startup+380.026 s]
Raw data (loadavg): 1.00 0.83 0.41 2/64 27721
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 36262 54 0 0 25 0 11 0 477182457 864780288 26845 4294967295 134512640 134569956 3221224400 3221214832 1131323172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 26845 13073 16 0 211112 0
vsize: 844512
[startup+390.026 s]
Raw data (loadavg): 1.07 0.85 0.42 2/64 27774
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 37220 55 0 0 25 0 11 0 477182457 864780288 26974 4294967295 134512640 134569956 3221224400 3221214752 1131391349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 26974 13073 16 0 211112 0
vsize: 844512
[startup+400.027 s]
Raw data (loadavg): 1.06 0.85 0.43 2/64 27774
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 38193 55 0 0 24 0 11 0 477182457 864780288 27064 4294967295 134512640 134569956 3221224400 3221214752 1131391473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27064 13073 16 0 211112 0
vsize: 844512
[startup+410.028 s]
Raw data (loadavg): 1.05 0.86 0.44 2/64 27774
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 39167 55 0 0 25 0 11 0 477182457 864780288 27102 4294967295 134512640 134569956 3221224400 3221214624 1131420421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27102 13073 16 0 211112 0
vsize: 844512
[startup+420.028 s]
Raw data (loadavg): 1.04 0.86 0.44 2/64 27774
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 40126 55 0 0 25 0 11 0 477182457 864780288 27155 4294967295 134512640 134569956 3221224400 3221214748 1080203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27155 13073 16 0 211112 0
vsize: 844512
[startup+430.029 s]
Raw data (loadavg): 1.04 0.86 0.45 2/64 27774
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 41078 55 0 0 25 0 11 0 477182457 864780288 27224 4294967295 134512640 134569956 3221224400 3221214560 1131409081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27224 13073 16 0 211112 0
vsize: 844512
[startup+440.029 s]
Raw data (loadavg): 1.03 0.87 0.45 2/64 27774
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 42037 55 0 0 25 0 11 0 477182457 864780288 27343 4294967295 134512640 134569956 3221224400 3221214800 1131258670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27343 13073 16 0 211112 0
vsize: 844512
[startup+450.029 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 27774
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 42999 55 0 0 25 0 11 0 477182457 864780288 27442 4294967295 134512640 134569956 3221224400 3221214824 1131354524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27442 13073 16 0 211112 0
vsize: 844512
[startup+460.031 s]
Raw data (loadavg): 1.02 0.88 0.46 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 43955 55 0 0 24 0 11 0 477182457 864780288 27540 4294967295 134512640 134569956 3221224400 3221214752 1131392846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27540 13073 16 0 211112 0
vsize: 844512
[startup+470.031 s]
Raw data (loadavg): 1.02 0.88 0.47 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 44912 55 0 0 25 0 11 0 477182457 864780288 27610 4294967295 134512640 134569956 3221224400 3221214832 1131322953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27610 13073 16 0 211112 0
vsize: 844512
[startup+480.031 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 45862 55 0 0 25 0 11 0 477182457 864780288 27732 4294967295 134512640 134569956 3221224400 3221214672 1131434452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27732 13073 16 0 211112 0
vsize: 844512
[startup+490.031 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 46805 55 0 0 25 0 11 0 477182457 864780288 27819 4294967295 134512640 134569956 3221224400 3221214824 1131354923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27819 13073 16 0 211112 0
vsize: 844512
[startup+500.032 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 47732 56 0 0 25 0 11 0 477182457 864780288 27906 4294967295 134512640 134569956 3221224400 3221214856 1131157376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 27906 13073 16 0 211112 0
vsize: 844512
[startup+510.031 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 48639 56 0 0 25 0 11 0 477182457 864780288 28082 4294967295 134512640 134569956 3221224400 3221214824 1131355123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 28082 13073 16 0 211112 0
vsize: 844512
[startup+520.033 s]
Raw data (loadavg): 1.01 0.90 0.49 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 49540 56 0 0 25 0 11 0 477182457 864780288 28324 4294967295 134512640 134569956 3221224400 3221214868 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 28324 13073 16 0 211112 0
vsize: 844512
[startup+530.034 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 50457 56 0 0 25 0 11 0 477182457 864780288 28618 4294967295 134512640 134569956 3221224400 3221214760 1131321453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 28618 13073 16 0 211112 0
vsize: 844512
[startup+540.033 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 51393 56 0 0 25 0 11 0 477182457 864780288 28967 4294967295 134512640 134569956 3221224400 3221214752 1131392674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 28967 13073 16 0 211112 0
vsize: 844512
[startup+550.034 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 52353 56 0 0 24 0 11 0 477182457 864780288 29057 4294967295 134512640 134569956 3221224400 3221214800 1131258013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29057 13073 16 0 211112 0
vsize: 844512
[startup+560.034 s]
Raw data (loadavg): 1.00 0.91 0.51 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 53317 56 0 0 25 0 11 0 477182457 864780288 29204 4294967295 134512640 134569956 3221224400 3221214776 1131216166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29204 13073 16 0 211112 0
vsize: 844512
[startup+570.035 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 54281 56 0 0 25 0 11 0 477182457 864780288 29247 4294967295 134512640 134569956 3221224400 3221214752 1131392045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29247 13073 16 0 211112 0
vsize: 844512
[startup+580.036 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 55242 57 0 0 25 0 11 0 477182457 864780288 29334 4294967295 134512640 134569956 3221224400 3221214800 1131257949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29334 13073 16 0 211112 0
vsize: 844512
[startup+590.036 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 56195 57 0 0 25 0 11 0 477182457 864780288 29395 4294967295 134512640 134569956 3221224400 3221214672 1131435436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29395 13073 16 0 211112 0
vsize: 844512
[startup+600.036 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 57140 57 0 0 25 0 11 0 477182457 864780288 29487 4294967295 134512640 134569956 3221224400 3221214776 1131216019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29487 13073 16 0 211112 0
vsize: 844512
[startup+610.037 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 58087 57 0 0 25 0 11 0 477182457 864780288 29616 4294967295 134512640 134569956 3221224400 3221214856 1131157430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29616 13073 16 0 211112 0
vsize: 844512
[startup+620.038 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 59049 57 0 0 25 0 11 0 477182457 864780288 29766 4294967295 134512640 134569956 3221224400 3221214832 1131322852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29766 13073 16 0 211112 0
vsize: 844512
[startup+630.038 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 60012 57 0 0 25 0 11 0 477182457 864780288 29864 4294967295 134512640 134569956 3221224400 3221214856 1131157500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29864 13073 16 0 211112 0
vsize: 844512
[startup+640.038 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 60975 57 0 0 25 0 11 0 477182457 864780288 29909 4294967295 134512640 134569956 3221224400 3221214752 1131391349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29909 13073 16 0 211112 0
vsize: 844512
[startup+650.039 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 61925 57 0 0 25 0 11 0 477182457 864780288 29985 4294967295 134512640 134569956 3221224400 3221214824 1131354285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 29985 13073 16 0 211112 0
vsize: 844512
[startup+660.039 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 62874 57 0 0 25 0 11 0 477182457 864780288 30073 4294967295 134512640 134569956 3221224400 3221214760 1131457197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 30073 13073 16 0 211112 0
vsize: 844512
[startup+670.04 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 63812 57 0 0 25 0 11 0 477182457 864780288 30214 4294967295 134512640 134569956 3221224400 3221214824 1131354635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 30214 13073 16 0 211112 0
vsize: 844512
[startup+680.041 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 64733 58 0 0 25 0 11 0 477182457 864780288 30321 4294967295 134512640 134569956 3221224400 3221214776 1131216166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 30321 13073 16 0 211112 0
vsize: 844512
[startup+690.04 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18062 0 1 0 65657 58 0 0 25 0 11 0 477182457 864780288 30458 4294967295 134512640 134569956 3221224400 3221214704 1131216112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 30458 13073 16 0 211112 0
vsize: 844512
[startup+700.04 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 66615 58 0 0 25 0 11 0 477182457 864780288 30549 4294967295 134512640 134569956 3221224400 3221214824 1131354741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 30549 13073 16 0 211112 0
vsize: 844512
[startup+710.041 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 67572 58 0 0 25 0 11 0 477182457 864780288 30695 4294967295 134512640 134569956 3221224400 3221214752 1131392356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 30695 13073 16 0 211112 0
vsize: 844512
[startup+720.041 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 27776
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 68537 58 0 0 25 0 11 0 477182457 864780288 30861 4294967295 134512640 134569956 3221224400 3221214704 1131216063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 30861 13073 16 0 211112 0
vsize: 844512
[startup+730.041 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 69509 58 0 0 25 0 11 0 477182457 864780288 30926 4294967295 134512640 134569956 3221224400 3221214560 1131553692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 30926 13073 16 0 211112 0
vsize: 844512
[startup+740.041 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 70490 58 0 0 25 0 11 0 477182457 864780288 30959 4294967295 134512640 134569956 3221224400 3221214560 1131552804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 30959 13073 16 0 211112 0
vsize: 844512
[startup+750.041 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 71466 59 0 0 25 0 11 0 477182457 864780288 31022 4294967295 134512640 134569956 3221224400 3221214672 1131531738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31022 13073 16 0 211112 0
vsize: 844512
[startup+760.041 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 72444 59 0 0 25 0 11 0 477182457 864780288 31064 4294967295 134512640 134569956 3221224400 3221214560 1131552590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31064 13073 16 0 211112 0
vsize: 844512
[startup+770.042 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 73424 59 0 0 25 0 11 0 477182457 864780288 31174 4294967295 134512640 134569956 3221224400 3221214560 1131553663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31174 13073 16 0 211112 0
vsize: 844512
[startup+780.042 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 74401 60 0 0 25 0 11 0 477182457 864780288 31354 4294967295 134512640 134569956 3221224400 3221214672 1131533511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31354 13073 16 0 211112 0
vsize: 844512
[startup+790.043 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 75392 60 0 0 25 0 11 0 477182457 864780288 31369 4294967295 134512640 134569956 3221224400 3221214560 1131552612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31369 13073 16 0 211112 0
vsize: 844512
[startup+800.043 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 76378 61 0 0 25 0 11 0 477182457 864780288 31404 4294967295 134512640 134569956 3221224400 3221214560 1131552315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31404 13073 16 0 211112 0
vsize: 844512
[startup+810.043 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 77370 61 0 0 25 0 11 0 477182457 864780288 31479 4294967295 134512640 134569956 3221224400 3221214560 1131552660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31479 13073 16 0 211112 0
vsize: 844512
[startup+820.045 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 78363 61 0 0 25 0 11 0 477182457 864780288 31492 4294967295 134512640 134569956 3221224400 3221214672 1131533500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31492 13073 16 0 211112 0
vsize: 844512
[startup+830.046 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 79351 62 0 0 25 0 11 0 477182457 864780288 31506 4294967295 134512640 134569956 3221224400 3221214560 1131551976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31506 13073 16 0 211112 0
vsize: 844512
[startup+840.046 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 80343 62 0 0 25 0 11 0 477182457 864780288 31513 4294967295 134512640 134569956 3221224400 3221214560 1131552612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31513 13073 16 0 211112 0
vsize: 844512
[startup+850.047 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 81326 62 0 0 25 0 11 0 477182457 864780288 31534 4294967295 134512640 134569956 3221224400 3221214672 1131533511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31534 13073 16 0 211112 0
vsize: 844512
[startup+860.046 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 82302 63 0 0 25 0 11 0 477182457 864780288 31548 4294967295 134512640 134569956 3221224400 3221214560 1131551950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31548 13073 16 0 211112 0
vsize: 844512
[startup+870.047 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 83285 63 0 0 25 0 11 0 477182457 864780288 31561 4294967295 134512640 134569956 3221224400 3221214568 1131290092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31561 13073 16 0 211112 0
vsize: 844512
[startup+880.048 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 84267 63 0 0 25 0 11 0 477182457 864780288 31568 4294967295 134512640 134569956 3221224400 3221214672 1131533504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31568 13073 16 0 211112 0
vsize: 844512
[startup+890.048 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 27778
Raw data (stat): 27711 (java) S 27710 27565 27564 0 -1 0 18063 0 1 0 85239 64 0 0 25 0 11 0 477182457 864780288 31701 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31701 13073 16 0 211112 0
vsize: 844512
[startup+900.048 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 27778
Raw data (stat): 27711 (java) S 27710 27565 27564 0 -1 0 18063 0 1 0 86193 64 0 0 25 0 11 0 477182457 864780288 31873 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 31873 13073 16 0 211112 0
vsize: 844512
[startup+910.049 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 87160 64 0 0 25 0 11 0 477182457 864780288 32011 4294967295 134512640 134569956 3221224400 3221214752 1131392330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32011 13073 16 0 211112 0
vsize: 844512
[startup+920.05 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 88142 65 0 0 25 0 11 0 477182457 864780288 32200 4294967295 134512640 134569956 3221224400 3221214560 1131553686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32200 13073 16 0 211112 0
vsize: 844512
[startup+930.05 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 89119 65 0 0 25 0 11 0 477182457 864780288 32200 4294967295 134512640 134569956 3221224400 3221214748 1131400236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32200 13073 16 0 211112 0
vsize: 844512
[startup+940.05 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 90102 66 0 0 25 0 11 0 477182457 864780288 32200 4294967295 134512640 134569956 3221224400 3221214560 1131551979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32200 13073 16 0 211112 0
vsize: 844512
[startup+950.051 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 91078 66 0 0 25 0 11 0 477182457 864780288 32200 4294967295 134512640 134569956 3221224400 3221214664 1131417708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32200 13073 16 0 211112 0
vsize: 844512
[startup+960.051 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 92052 66 0 0 25 0 11 0 477182457 864780288 32376 4294967295 134512640 134569956 3221224400 3221214672 1131531660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32376 13073 16 0 211112 0
vsize: 844512
[startup+970.052 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 93037 67 0 0 25 0 11 0 477182457 864780288 32376 4294967295 134512640 134569956 3221224400 3221214752 1131391633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32376 13073 16 0 211112 0
vsize: 844512
[startup+980.053 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 94003 67 0 0 25 0 11 0 477182457 864780288 32441 4294967295 134512640 134569956 3221224400 3221214672 1131531808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32441 13073 16 0 211112 0
vsize: 844512
[startup+990.052 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 94980 67 0 0 25 0 11 0 477182457 864780288 32566 4294967295 134512640 134569956 3221224400 3221214560 1131552646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32566 13073 16 0 211112 0
vsize: 844512
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 95959 68 0 0 25 0 11 0 477182457 864780288 32737 4294967295 134512640 134569956 3221224400 3221214560 1131553573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32737 13073 16 0 211112 0
vsize: 844512
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 96948 68 0 0 25 0 11 0 477182457 864780288 32822 4294967295 134512640 134569956 3221224400 3221214568 1131289999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32822 13073 16 0 211112 0
vsize: 844512
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 97933 68 0 0 25 0 11 0 477182457 864780288 32929 4294967295 134512640 134569956 3221224400 3221214672 1131531664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32929 13073 16 0 211112 0
vsize: 844512
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 98917 69 0 0 25 0 11 0 477182457 864780288 32966 4294967295 134512640 134569956 3221224400 3221214552 1131258867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32966 13073 16 0 211112 0
vsize: 844512
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 99904 69 0 0 25 0 11 0 477182457 864780288 32990 4294967295 134512640 134569956 3221224400 3221214560 1131553624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 32990 13073 16 0 211112 0
vsize: 844512
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 100891 69 0 0 25 0 11 0 477182457 864780288 33021 4294967295 134512640 134569956 3221224400 3221214560 1131552652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33021 13073 16 0 211112 0
vsize: 844512
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 101875 70 0 0 25 0 11 0 477182457 864780288 33153 4294967295 134512640 134569956 3221224400 3221214560 1131554295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33153 13073 16 0 211112 0
vsize: 844512
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 102866 70 0 0 25 0 11 0 477182457 864780288 33211 4294967295 134512640 134569956 3221224400 3221214560 1131553573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33211 13073 16 0 211112 0
vsize: 844512
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 103854 71 0 0 25 0 11 0 477182457 864780288 33296 4294967295 134512640 134569956 3221224400 3221214560 1131552673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33296 13073 16 0 211112 0
vsize: 844512
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 104845 71 0 0 25 0 11 0 477182457 864780288 33326 4294967295 134512640 134569956 3221224400 3221214832 1131323150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33326 13073 16 0 211112 0
vsize: 844512
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 105839 71 0 0 25 0 11 0 477182457 864780288 33344 4294967295 134512640 134569956 3221224400 3221214688 1131321347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33344 13073 16 0 211112 0
vsize: 844512
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 106829 71 0 0 25 0 11 0 477182457 864780288 33368 4294967295 134512640 134569956 3221224400 3221214672 1131533511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33368 13073 16 0 211112 0
vsize: 844512
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 107820 72 0 0 25 0 11 0 477182457 864780288 33393 4294967295 134512640 134569956 3221224400 3221214744 1131207367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33393 13073 16 0 211112 0
vsize: 844512
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 108809 72 0 0 25 0 11 0 477182457 864780288 33416 4294967295 134512640 134569956 3221224400 3221214832 1131157430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33416 13073 16 0 211112 0
vsize: 844512
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 109773 72 0 0 25 0 11 0 477182457 864780288 33486 4294967295 134512640 134569956 3221224400 3221214872 1131305348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33486 13073 16 0 211112 0
vsize: 844512
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 110727 73 0 0 25 0 11 0 477182457 864780288 33580 4294967295 134512640 134569956 3221224400 3221214776 1131258150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33580 13073 16 0 211112 0
vsize: 844512
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 111679 73 0 0 25 0 11 0 477182457 864780288 33689 4294967295 134512640 134569956 3221224400 3221214776 1131257953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33689 13073 16 0 211112 0
vsize: 844512
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 112624 73 0 0 25 0 11 0 477182457 864780288 33780 4294967295 134512640 134569956 3221224400 3221214560 1131289999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33780 13073 16 0 211112 0
vsize: 844512
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 113578 74 0 0 25 0 11 0 477182457 864780288 33827 4294967295 134512640 134569956 3221224400 3221214552 1131551979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33827 13073 16 0 211112 0
vsize: 844512
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 114528 74 0 0 25 0 11 0 477182457 864780288 33989 4294967295 134512640 134569956 3221224400 3221214552 1131553550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 33989 13073 16 0 211112 0
vsize: 844512
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 115483 74 0 0 25 0 11 0 477182457 864780288 34026 4294967295 134512640 134569956 3221224400 3221214552 1131552305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 34026 13073 16 0 211112 0
vsize: 844512
[startup+1210.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 116455 75 0 0 25 0 11 0 477182457 864780288 34031 4294967295 134512640 134569956 3221224400 3221214560 1131289852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 34031 13073 16 0 211112 0
vsize: 844512
[startup+1220.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 117401 75 0 0 25 0 11 0 477182457 864780288 34151 4294967295 134512640 134569956 3221224400 3221214552 1131551979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 34151 13073 16 0 211112 0
vsize: 844512
[startup+1230.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 118369 75 0 0 25 0 11 0 477182457 864780288 34293 4294967295 134512640 134569956 3221224400 3221214664 1131531671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 34293 13073 16 0 211112 0
vsize: 844512
[startup+1240.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 119338 76 0 0 25 0 11 0 477182457 864780288 34380 4294967295 134512640 134569956 3221224400 3221214740 1080203749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211128 34380 13073 16 0 211112 0
vsize: 844512
[startup+1250.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 27778
Raw data (stat): 27711 (java) R 27710 27565 27564 0 -1 0 18063 0 1 0 120307 76 0 0 25 0 11 0 477182457 864780288 34435 4294967295 134512640 134569956 3221224400 3221214552 1131554359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211128 34435 13073 16 0 211112 0
vsize: 844512
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.18 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 27780
Raw data (stat): 27711 (java) Z 27710 27565 27564 0 -1 1036 18063 13492 1 1 120310 76 4331 42 25 0 1 0 477182457 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): 1250.18
CPU time (s): 1247.62
CPU user time (s): 1246.42
CPU system time (s): 1.19982
CPU usage (%): 99.7956
Max. virtual memory (Kb): 847520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####