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-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.562914
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 4211

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        933560 kB
Buffers:         32620 kB
Cached:          46336 kB
SwapCached:       2644 kB
Active:          42020 kB
Inactive:        42424 kB
HighTotal:      131008 kB
HighFree:        80304 kB
LowTotal:       903652 kB
LowFree:        853256 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10952 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:14:23 (client local time) WITH STATUS 143 IN  SECONDS
stats: 396 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-fpga25_24_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=900]
c [nbconstr=673]
c time 2.614
c #vars     900
c #clauses  673
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.74 0.22 0.07 2/54 29799
Raw data (stat): 29799 (runsolver) R 29798 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418959396 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.01 0.30 0.10 4/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18101 0 1 0 551 46 0 0 25 0 11 0 418959396 865849344 21454 4294967295 134512640 134569956 3221224400 3221214680 1131350467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211389 21454 13073 16 0 211373 0
vsize: 845556
[startup+20.0082 s]
Raw data (loadavg): 1.08 0.33 0.11 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 1452 46 0 0 25 0 11 0 418959396 864505856 22231 4294967295 134512640 134569956 3221224400 3221214744 1131272162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 22231 13073 16 0 211045 0
vsize: 844244
[startup+30.0089 s]
Raw data (loadavg): 1.07 0.36 0.12 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 2371 46 0 0 25 0 11 0 418959396 863215616 22438 4294967295 134512640 134569956 3221224400 3221214800 1131366767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 22438 13073 16 0 210730 0
vsize: 842984
[startup+40.0091 s]
Raw data (loadavg): 1.06 0.38 0.13 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 3281 47 0 0 16 0 11 0 418959396 863215616 22812 4294967295 134512640 134569956 3221224400 3221214800 1131365312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 22812 13073 16 0 210730 0
vsize: 842984
[startup+50.0105 s]
Raw data (loadavg): 1.05 0.40 0.14 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18102 0 1 0 4190 47 0 0 16 0 11 0 418959396 863215616 23111 4294967295 134512640 134569956 3221224400 3221214800 1131361798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 23111 13073 16 0 210730 0
vsize: 842984
[startup+60.0103 s]
Raw data (loadavg): 1.04 0.42 0.15 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18103 0 1 0 5102 47 0 0 22 0 11 0 418959396 863215616 23563 4294967295 134512640 134569956 3221224400 3221214680 1131233157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 23563 13073 16 0 210730 0
vsize: 842984
[startup+70.0117 s]
Raw data (loadavg): 1.03 0.43 0.16 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18103 0 1 0 6040 47 0 0 24 0 11 0 418959396 863215616 23745 4294967295 134512640 134569956 3221224400 3221214560 1131476829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 23745 13073 16 0 210730 0
vsize: 842984
[startup+80.013 s]
Raw data (loadavg): 1.03 0.45 0.17 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 6974 47 0 0 17 0 11 0 418959396 863215616 23979 4294967295 134512640 134569956 3221224400 3221214668 1080203670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 23979 13073 16 0 210730 0
vsize: 842984
[startup+90.0141 s]
Raw data (loadavg): 1.02 0.47 0.18 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 7917 47 0 0 24 0 11 0 418959396 863215616 24263 4294967295 134512640 134569956 3221224400 3221214792 1131367475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 24263 13073 16 0 210730 0
vsize: 842984
[startup+100.015 s]
Raw data (loadavg): 1.02 0.49 0.18 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 8858 47 0 0 25 0 11 0 418959396 863215616 24367 4294967295 134512640 134569956 3221224400 3221214680 1131451678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 24367 13073 16 0 210730 0
vsize: 842984
[startup+110.016 s]
Raw data (loadavg): 1.02 0.50 0.19 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 9801 47 0 0 25 0 11 0 418959396 863215616 24470 4294967295 134512640 134569956 3221224400 3221214664 1131557784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 24470 13073 16 0 210730 0
vsize: 842984
[startup+120.017 s]
Raw data (loadavg): 1.01 0.52 0.20 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 10742 47 0 0 23 0 11 0 418959396 863215616 24681 4294967295 134512640 134569956 3221224400 3221214692 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 24681 13073 16 0 210730 0
vsize: 842984
[startup+130.018 s]
Raw data (loadavg): 1.01 0.54 0.21 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 11682 47 0 0 20 0 11 0 418959396 863215616 24898 4294967295 134512640 134569956 3221224400 3221214792 1131365814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 24898 13073 16 0 210730 0
vsize: 842984
[startup+140.019 s]
Raw data (loadavg): 1.01 0.55 0.22 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 12633 47 0 0 22 0 11 0 418959396 863215616 25032 4294967295 134512640 134569956 3221224400 3221214792 1131366407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 25032 13073 16 0 210730 0
vsize: 842984
[startup+150.02 s]
Raw data (loadavg): 1.01 0.56 0.22 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 13583 47 0 0 25 0 11 0 418959396 863215616 25257 4294967295 134512640 134569956 3221224400 3221214704 1131350442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 25257 13073 16 0 210730 0
vsize: 842984
[startup+160.021 s]
Raw data (loadavg): 1.01 0.58 0.23 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 14543 47 0 0 25 0 11 0 418959396 863215616 25452 4294967295 134512640 134569956 3221224400 3221214680 1131452242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 25452 13073 16 0 210730 0
vsize: 842984
[startup+170.021 s]
Raw data (loadavg): 1.00 0.59 0.24 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 15491 47 0 0 24 0 11 0 418959396 863215616 25646 4294967295 134512640 134569956 3221224400 3221214664 1131557729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 25646 13073 16 0 210730 0
vsize: 842984
[startup+180.021 s]
Raw data (loadavg): 1.00 0.60 0.25 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 16430 47 0 0 19 0 11 0 418959396 863215616 25880 4294967295 134512640 134569956 3221224400 3221214656 1131233334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 25880 13073 16 0 210730 0
vsize: 842984
[startup+190.022 s]
Raw data (loadavg): 1.00 0.62 0.25 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 17390 47 0 0 25 0 11 0 418959396 863215616 25986 4294967295 134512640 134569956 3221224400 3221214664 1131557679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 25986 13073 16 0 210730 0
vsize: 842984
[startup+200.023 s]
Raw data (loadavg): 1.00 0.63 0.26 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 18342 47 0 0 25 0 11 0 418959396 863215616 26055 4294967295 134512640 134569956 3221224400 3221214640 1131308337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 26055 13073 16 0 210730 0
vsize: 842984
[startup+210.023 s]
Raw data (loadavg): 1.00 0.64 0.27 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 19295 47 0 0 25 0 11 0 418959396 863215616 26102 4294967295 134512640 134569956 3221224400 3221214504 1131281902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 26102 13073 16 0 210730 0
vsize: 842984
[startup+220.024 s]
Raw data (loadavg): 1.00 0.65 0.28 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 20252 47 0 0 20 0 11 0 418959396 863215616 26333 4294967295 134512640 134569956 3221224400 3221214656 1131233460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 26333 13073 16 0 210730 0
vsize: 842984
[startup+230.026 s]
Raw data (loadavg): 1.00 0.66 0.28 2/64 29809
Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 21214 47 0 0 25 0 11 0 418959396 863215616 26489 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 26489 13073 16 0 210730 0
vsize: 842984
[startup+240.027 s]
Raw data (loadavg): 1.00 0.67 0.29 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 22183 47 0 0 25 0 11 0 418959396 863215616 26650 4294967295 134512640 134569956 3221224400 3221214512 1131600082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 26650 13073 16 0 210730 0
vsize: 842984
[startup+250.028 s]
Raw data (loadavg): 1.00 0.68 0.30 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 23141 47 0 0 25 0 11 0 418959396 863215616 26797 4294967295 134512640 134569956 3221224400 3221214504 1131602756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 26797 13073 16 0 210730 0
vsize: 842984
[startup+260.03 s]
Raw data (loadavg): 1.00 0.69 0.31 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 24098 48 0 0 25 0 11 0 418959396 863215616 26917 4294967295 134512640 134569956 3221224400 3221214560 1131702728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 26917 13073 16 0 210730 0
vsize: 842984
[startup+270.031 s]
Raw data (loadavg): 1.08 0.72 0.32 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 25057 48 0 0 25 0 11 0 418959396 863215616 27006 4294967295 134512640 134569956 3221224400 3221214352 1131600687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 27006 13073 16 0 210730 0
vsize: 842984
[startup+280.032 s]
Raw data (loadavg): 1.07 0.73 0.32 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 26015 49 0 0 25 0 11 0 418959396 863215616 27211 4294967295 134512640 134569956 3221224400 3221214824 1131273632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 27211 13073 16 0 210730 0
vsize: 842984
[startup+290.033 s]
Raw data (loadavg): 1.06 0.74 0.33 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 26972 49 0 0 25 0 11 0 418959396 863215616 27352 4294967295 134512640 134569956 3221224400 3221214560 1131700316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 27352 13073 16 0 210730 0
vsize: 842984
[startup+300.034 s]
Raw data (loadavg): 1.05 0.75 0.34 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 27919 49 0 0 25 0 11 0 418959396 863215616 27558 4294967295 134512640 134569956 3221224400 3221214664 1131557687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 27558 13073 16 0 210730 0
vsize: 842984
[startup+310.035 s]
Raw data (loadavg): 1.04 0.75 0.34 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 28865 49 0 0 25 0 11 0 418959396 863215616 27761 4294967295 134512640 134569956 3221224400 3221214752 1131321875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 27761 13073 16 0 210730 0
vsize: 842984
[startup+320.037 s]
Raw data (loadavg): 1.03 0.76 0.35 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 29826 49 0 0 25 0 11 0 418959396 863215616 27891 4294967295 134512640 134569956 3221224400 3221214668 1080203688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 27891 13073 16 0 210730 0
vsize: 842984
[startup+330.038 s]
Raw data (loadavg): 1.03 0.77 0.36 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 30777 50 0 0 25 0 11 0 418959396 863215616 27939 4294967295 134512640 134569956 3221224400 3221214560 1131699948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 27939 13073 16 0 210730 0
vsize: 842984
[startup+340.038 s]
Raw data (loadavg): 1.02 0.78 0.37 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 31737 50 0 0 25 0 11 0 418959396 863215616 27989 4294967295 134512640 134569956 3221224400 3221214752 1131320821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 27989 13073 16 0 210730 0
vsize: 842984
[startup+350.039 s]
Raw data (loadavg): 1.02 0.78 0.37 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 32707 50 0 0 25 0 11 0 418959396 863215616 28073 4294967295 134512640 134569956 3221224400 3221214664 1131557681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 28073 13073 16 0 210730 0
vsize: 842984
[startup+360.04 s]
Raw data (loadavg): 1.02 0.79 0.38 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 33669 50 0 0 25 0 11 0 418959396 863215616 28235 4294967295 134512640 134569956 3221224400 3221214656 1131233510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 28235 13073 16 0 210730 0
vsize: 842984
[startup+370.041 s]
Raw data (loadavg): 1.01 0.80 0.38 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 34626 51 0 0 25 0 11 0 418959396 863215616 28435 4294967295 134512640 134569956 3221224400 3221214112 1131601815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 28435 13073 16 0 210730 0
vsize: 842984
[startup+380.042 s]
Raw data (loadavg): 1.01 0.80 0.39 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 35597 51 0 0 25 0 11 0 418959396 863215616 28579 4294967295 134512640 134569956 3221224400 3221214112 1131601809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 28579 13073 16 0 210730 0
vsize: 842984
[startup+390.044 s]
Raw data (loadavg): 1.01 0.81 0.39 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 36565 51 0 0 25 0 11 0 418959396 863215616 28750 4294967295 134512640 134569956 3221224400 3221214792 1131366275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 28750 13073 16 0 210730 0
vsize: 842984
[startup+400.044 s]
Raw data (loadavg): 1.01 0.81 0.40 2/64 29809
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 37532 52 0 0 25 0 11 0 418959396 863215616 28815 4294967295 134512640 134569956 3221224400 3221214560 1131472561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 28815 13073 16 0 210730 0
vsize: 842984
[startup+410.045 s]
Raw data (loadavg): 1.16 0.85 0.42 2/64 29862
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 38504 52 0 0 25 0 11 0 418959396 863215616 28874 4294967295 134512640 134569956 3221224400 3221214560 1131701655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 28874 13073 16 0 210730 0
vsize: 842984
[startup+420.045 s]
Raw data (loadavg): 1.13 0.86 0.42 2/64 29862
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 39472 52 0 0 25 0 11 0 418959396 863215616 28956 4294967295 134512640 134569956 3221224400 3221214664 1131557773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 28956 13073 16 0 210730 0
vsize: 842984
[startup+430.046 s]
Raw data (loadavg): 1.11 0.86 0.43 2/64 29862
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 40438 52 0 0 25 0 11 0 418959396 863215616 29010 4294967295 134512640 134569956 3221224400 3221214408 1131600612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 29010 13073 16 0 210730 0
vsize: 842984
[startup+440.047 s]
Raw data (loadavg): 1.10 0.86 0.43 2/64 29862
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 41392 52 0 0 25 0 11 0 418959396 863215616 29117 4294967295 134512640 134569956 3221224400 3221214560 1131700721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 29117 13073 16 0 210730 0
vsize: 842984
[startup+450.05 s]
Raw data (loadavg): 1.08 0.87 0.44 2/64 29862
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 42341 53 0 0 16 0 11 0 418959396 863215616 29220 4294967295 134512640 134569956 3221224400 3221214664 1131559226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 29220 13073 16 0 210730 0
vsize: 842984
[startup+460.052 s]
Raw data (loadavg): 1.07 0.87 0.45 2/64 29862
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 43288 53 0 0 25 0 11 0 418959396 863215616 29412 4294967295 134512640 134569956 3221224400 3221214560 1131476844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 29412 13073 16 0 210730 0
vsize: 842984
[startup+470.053 s]
Raw data (loadavg): 1.06 0.88 0.45 2/64 29862
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 44236 53 0 0 25 0 11 0 418959396 863215616 29626 4294967295 134512640 134569956 3221224400 3221214752 1131309092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 29626 13073 16 0 210730 0
vsize: 842984
[startup+480.054 s]
Raw data (loadavg): 1.05 0.88 0.46 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 45185 54 0 0 25 0 11 0 418959396 863215616 29767 4294967295 134512640 134569956 3221224400 3221214560 1131700683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 29767 13073 16 0 210730 0
vsize: 842984
[startup+490.056 s]
Raw data (loadavg): 1.04 0.88 0.46 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 46134 54 0 0 25 0 11 0 418959396 863215616 29924 4294967295 134512640 134569956 3221224400 3221214752 1131320825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 29924 13073 16 0 210730 0
vsize: 842984
[startup+500.057 s]
Raw data (loadavg): 1.03 0.89 0.47 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 47103 54 0 0 25 0 11 0 418959396 863215616 30040 4294967295 134512640 134569956 3221224400 3221214792 1131366004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30040 13073 16 0 210730 0
vsize: 842984
[startup+510.059 s]
Raw data (loadavg): 1.03 0.89 0.47 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 48070 54 0 0 25 0 11 0 418959396 863215616 30153 4294967295 134512640 134569956 3221224400 3221214752 1131320882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30153 13073 16 0 210730 0
vsize: 842984
[startup+520.06 s]
Raw data (loadavg): 1.02 0.89 0.48 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 49038 54 0 0 25 0 11 0 418959396 863215616 30296 4294967295 134512640 134569956 3221224400 3221214524 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30296 13073 16 0 210730 0
vsize: 842984
[startup+530.061 s]
Raw data (loadavg): 1.02 0.90 0.48 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 49985 55 0 0 25 0 11 0 418959396 863215616 30433 4294967295 134512640 134569956 3221224400 3221214640 1131308333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30433 13073 16 0 210730 0
vsize: 842984
[startup+540.062 s]
Raw data (loadavg): 1.02 0.90 0.49 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 50934 55 0 0 25 0 11 0 418959396 863215616 30542 4294967295 134512640 134569956 3221224400 3221214640 1131308344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30542 13073 16 0 210730 0
vsize: 842984
[startup+550.063 s]
Raw data (loadavg): 1.01 0.90 0.49 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 51882 56 0 0 25 0 11 0 418959396 863215616 30671 4294967295 134512640 134569956 3221224400 3221214792 1131365395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30671 13073 16 0 210730 0
vsize: 842984
[startup+560.064 s]
Raw data (loadavg): 1.01 0.90 0.50 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 52830 56 0 0 25 0 11 0 418959396 863215616 30827 4294967295 134512640 134569956 3221224400 3221214752 1131308947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30827 13073 16 0 210730 0
vsize: 842984
[startup+570.065 s]
Raw data (loadavg): 1.01 0.91 0.50 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 53778 56 0 0 25 0 11 0 418959396 863215616 30935 4294967295 134512640 134569956 3221224400 3221214472 1131601809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 30935 13073 16 0 210730 0
vsize: 842984
[startup+580.067 s]
Raw data (loadavg): 1.01 0.91 0.51 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 54729 57 0 0 25 0 11 0 418959396 863215616 31153 4294967295 134512640 134569956 3221224400 3221214752 1131321875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 31153 13073 16 0 210730 0
vsize: 842984
[startup+590.067 s]
Raw data (loadavg): 1.00 0.91 0.51 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 55683 57 0 0 25 0 11 0 418959396 863215616 31303 4294967295 134512640 134569956 3221224400 3221213744 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 31303 13073 16 0 210730 0
vsize: 842984
[startup+600.069 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 56655 57 0 0 25 0 11 0 418959396 863215616 31376 4294967295 134512640 134569956 3221224400 3221214076 1131601808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 31376 13073 16 0 210730 0
vsize: 842984
[startup+610.07 s]
Raw data (loadavg): 1.00 0.92 0.52 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 57617 58 0 0 25 0 11 0 418959396 863215616 31462 4294967295 134512640 134569956 3221224400 3221214292 1131600064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 31462 13073 16 0 210730 0
vsize: 842984
[startup+620.071 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 58580 58 0 0 25 0 11 0 418959396 863215616 31585 4294967295 134512640 134569956 3221224400 3221214640 1131308349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 31585 13073 16 0 210730 0
vsize: 842984
[startup+630.072 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 59545 58 0 0 25 0 11 0 418959396 863215616 31684 4294967295 134512640 134569956 3221224400 3221214752 1131320882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 31684 13073 16 0 210730 0
vsize: 842984
[startup+640.073 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 60508 59 0 0 25 0 11 0 418959396 863215616 31787 4294967295 134512640 134569956 3221224400 3221214568 1131600712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 31787 13073 16 0 210730 0
vsize: 842984
[startup+650.074 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 61470 59 0 0 25 0 11 0 418959396 863215616 31914 4294967295 134512640 134569956 3221224400 3221214584 1131562901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 31914 13073 16 0 210730 0
vsize: 842984
[startup+660.075 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 62425 59 0 0 25 0 11 0 418959396 863215616 32037 4294967295 134512640 134569956 3221224400 3221214660 1131308259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 32037 13073 16 0 210730 0
vsize: 842984
[startup+670.077 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 63374 59 0 0 25 0 11 0 418959396 863215616 32212 4294967295 134512640 134569956 3221224400 3221214744 1131209803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 32212 13073 16 0 210730 0
vsize: 842984
[startup+680.079 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 64326 60 0 0 25 0 11 0 418959396 863215616 32360 4294967295 134512640 134569956 3221224400 3221214560 1131699965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 32360 13073 16 0 210730 0
vsize: 842984
[startup+690.08 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 65287 60 0 0 25 0 11 0 418959396 863215616 32446 4294967295 134512640 134569956 3221224400 3221214048 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 32446 13073 16 0 210730 0
vsize: 842984
[startup+700.081 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 66258 60 0 0 25 0 11 0 418959396 863215616 32597 4294967295 134512640 134569956 3221224400 3221214160 1131595906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 32597 13073 16 0 210730 0
vsize: 842984
[startup+710.082 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 29864
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 67220 60 0 0 25 0 11 0 418959396 863215616 32746 4294967295 134512640 134569956 3221224400 3221214648 1131310534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 32746 13073 16 0 210730 0
vsize: 842984
[startup+720.084 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 29864
Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 68190 61 0 0 25 0 11 0 418959396 863215616 32865 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 32865 13073 16 0 210730 0
vsize: 842984
[startup+730.085 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 69160 61 0 0 25 0 11 0 418959396 863215616 32969 4294967295 134512640 134569956 3221224400 3221214560 1131699996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 32969 13073 16 0 210730 0
vsize: 842984
[startup+740.085 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 70136 61 0 0 25 0 11 0 418959396 863215616 33071 4294967295 134512640 134569956 3221224400 3221214080 1131601772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 33071 13073 16 0 210730 0
vsize: 842984
[startup+750.087 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 71109 61 0 0 25 0 11 0 418959396 863215616 33164 4294967295 134512640 134569956 3221224400 3221213992 1131595944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33164 13073 16 0 210730 0
vsize: 842984
[startup+760.088 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 29866
Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 72083 61 0 0 25 0 11 0 418959396 863215616 33261 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33261 13073 16 0 210730 0
vsize: 842984
[startup+770.089 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 73060 62 0 0 22 0 11 0 418959396 863215616 33320 4294967295 134512640 134569956 3221224400 3221214576 1131600700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33320 13073 16 0 210730 0
vsize: 842984
[startup+780.09 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 74036 62 0 0 25 0 11 0 418959396 863215616 33376 4294967295 134512640 134569956 3221224400 3221214304 1131601732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33376 13073 16 0 210730 0
vsize: 842984
[startup+790.092 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 75008 62 0 0 25 0 11 0 418959396 863215616 33411 4294967295 134512640 134569956 3221224400 3221214680 1131449194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33411 13073 16 0 210730 0
vsize: 842984
[startup+800.092 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 75985 63 0 0 25 0 11 0 418959396 863215616 33454 4294967295 134512640 134569956 3221224400 3221214468 1131601808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 33454 13073 16 0 210730 0
vsize: 842984
[startup+810.094 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 76968 63 0 0 25 0 11 0 418959396 863215616 33484 4294967295 134512640 134569956 3221224400 3221214352 1131600658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33484 13073 16 0 210730 0
vsize: 842984
[startup+820.095 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 77958 63 0 0 25 0 11 0 418959396 863215616 33502 4294967295 134512640 134569956 3221224400 3221214656 1131233264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 33502 13073 16 0 210730 0
vsize: 842984
[startup+830.096 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 78928 63 0 0 25 0 11 0 418959396 863215616 33539 4294967295 134512640 134569956 3221224400 3221214752 1131321861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33539 13073 16 0 210730 0
vsize: 842984
[startup+840.097 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 79907 63 0 0 25 0 11 0 418959396 863215616 33569 4294967295 134512640 134569956 3221224400 3221214456 1131600085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33569 13073 16 0 210730 0
vsize: 842984
[startup+850.099 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 80886 63 0 0 25 0 11 0 418959396 863215616 33648 4294967295 134512640 134569956 3221224400 3221214160 1131595959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33648 13073 16 0 210730 0
vsize: 842984
[startup+860.1 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 81865 64 0 0 25 0 11 0 418959396 863215616 33711 4294967295 134512640 134569956 3221224400 3221214752 1131320821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33711 13073 16 0 210730 0
vsize: 842984
[startup+870.101 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 82844 64 0 0 25 0 11 0 418959396 863215616 33752 4294967295 134512640 134569956 3221224400 3221214400 1131600712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 33752 13073 16 0 210730 0
vsize: 842984
[startup+880.102 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 83812 64 0 0 25 0 11 0 418959396 863215616 33829 4294967295 134512640 134569956 3221224400 3221214788 1131272242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 33829 13073 16 0 210730 0
vsize: 842984
[startup+890.103 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 29866
Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 84779 64 0 0 25 0 11 0 418959396 863215616 33914 4294967295 134512640 134569956 3221224400 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33914 13073 16 0 210730 0
vsize: 842984
[startup+900.104 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 85731 64 0 0 25 0 11 0 418959396 863215616 33989 4294967295 134512640 134569956 3221224400 3221214112 1131601818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 33989 13073 16 0 210730 0
vsize: 842984
[startup+910.106 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 86692 65 0 0 25 0 11 0 418959396 863215616 34019 4294967295 134512640 134569956 3221224400 3221214680 1131452955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34019 13073 16 0 210730 0
vsize: 842984
[startup+920.107 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 87655 65 0 0 25 0 11 0 418959396 863215616 34251 4294967295 134512640 134569956 3221224400 3221214792 1131366004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34251 13073 16 0 210730 0
vsize: 842984
[startup+930.109 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 29866
Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 88629 65 0 0 25 0 11 0 418959396 863215616 34407 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34407 13073 16 0 210730 0
vsize: 842984
[startup+940.11 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 89610 65 0 0 25 0 11 0 418959396 863215616 34482 4294967295 134512640 134569956 3221224400 3221213944 1131601701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34482 13073 16 0 210730 0
vsize: 842984
[startup+950.111 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 90596 65 0 0 25 0 11 0 418959396 863215616 34544 4294967295 134512640 134569956 3221224400 3221213992 1131595702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34544 13073 16 0 210730 0
vsize: 842984
[startup+960.112 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 91590 66 0 0 25 0 11 0 418959396 863215616 34574 4294967295 134512640 134569956 3221224400 3221214236 1131600676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 34574 13073 16 0 210730 0
vsize: 842984
[startup+970.113 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 92576 66 0 0 25 0 11 0 418959396 863215616 34644 4294967295 134512640 134569956 3221224400 3221214472 1131601756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 34644 13073 16 0 210730 0
vsize: 842984
[startup+980.114 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 93565 66 0 0 25 0 11 0 418959396 863215616 34694 4294967295 134512640 134569956 3221224400 3221213888 1131601802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34694 13073 16 0 210730 0
vsize: 842984
[startup+990.115 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 94559 67 0 0 25 0 11 0 418959396 863215616 34722 4294967295 134512640 134569956 3221224400 3221213936 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34722 13073 16 0 210730 0
vsize: 842984
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 95553 67 0 0 25 0 11 0 418959396 863215616 34752 4294967295 134512640 134569956 3221224400 3221214328 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34752 13073 16 0 210730 0
vsize: 842984
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 96542 67 0 0 25 0 11 0 418959396 863215616 34787 4294967295 134512640 134569956 3221224400 3221214112 1131601883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34787 13073 16 0 210730 0
vsize: 842984
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 97536 68 0 0 25 0 11 0 418959396 863215616 34797 4294967295 134512640 134569956 3221224400 3221214056 1131601760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34797 13073 16 0 210730 0
vsize: 842984
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 98525 68 0 0 25 0 11 0 418959396 863215616 34826 4294967295 134512640 134569956 3221224400 3221214584 1131562901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 34826 13073 16 0 210730 0
vsize: 842984
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 99519 69 0 0 25 0 11 0 418959396 863215616 34838 4294967295 134512640 134569956 3221224400 3221214104 1085679519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34838 13073 16 0 210730 0
vsize: 842984
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 100507 69 0 0 25 0 11 0 418959396 863215616 34868 4294967295 134512640 134569956 3221224400 3221214680 1131452162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34868 13073 16 0 210730 0
vsize: 842984
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 101502 69 0 0 25 0 11 0 418959396 863215616 34888 4294967295 134512640 134569956 3221224400 3221214048 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34888 13073 16 0 210730 0
vsize: 842984
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 102479 69 0 0 25 0 11 0 418959396 863215616 34936 4294967295 134512640 134569956 3221224400 3221214680 1131448226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34936 13073 16 0 210730 0
vsize: 842984
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 103465 69 0 0 25 0 11 0 418959396 863215616 34950 4294967295 134512640 134569956 3221224400 3221213936 1085679356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 34950 13073 16 0 210730 0
vsize: 842984
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 104442 70 0 0 25 0 11 0 418959396 863215616 35016 4294967295 134512640 134569956 3221224400 3221214680 1131448824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 35016 13073 16 0 210730 0
vsize: 842984
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 105426 70 0 0 25 0 11 0 418959396 863215616 35056 4294967295 134512640 134569956 3221224400 3221214752 1131320821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 35056 13073 16 0 210730 0
vsize: 842984
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 106400 70 0 0 25 0 11 0 418959396 863215616 35123 4294967295 134512640 134569956 3221224400 3221214656 1131233185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35123 13073 16 0 210730 0
vsize: 842984
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 107361 70 0 0 25 0 11 0 418959396 863215616 35187 4294967295 134512640 134569956 3221224400 3221214576 1131600687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35187 13073 16 0 210730 0
vsize: 842984
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 108315 71 0 0 25 0 11 0 418959396 863215616 35325 4294967295 134512640 134569956 3221224400 3221214192 1131601784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35325 13073 16 0 210730 0
vsize: 842984
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 29866
Raw data (stat): 29799 (java) S 29798 29653 29652 0 -1 0 18104 0 1 0 109261 71 0 0 25 0 11 0 418959396 863215616 35439 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35439 13073 16 0 210730 0
vsize: 842984
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 110226 71 0 0 25 0 11 0 418959396 863215616 35579 4294967295 134512640 134569956 3221224400 3221214752 1131321729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35579 13073 16 0 210730 0
vsize: 842984
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 111182 72 0 0 25 0 11 0 418959396 863215616 35634 4294967295 134512640 134569956 3221224400 3221214356 1131601808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 35634 13073 16 0 210730 0
vsize: 842984
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 112151 72 0 0 25 0 11 0 418959396 863215616 35709 4294967295 134512640 134569956 3221224400 3221214664 1131557795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35709 13073 16 0 210730 0
vsize: 842984
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 113109 72 0 0 25 0 11 0 418959396 863215616 35787 4294967295 134512640 134569956 3221224400 3221214136 1131601645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35787 13073 16 0 210730 0
vsize: 842984
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 114076 72 0 0 25 0 11 0 418959396 863215616 35839 4294967295 134512640 134569956 3221224400 3221214664 1131557679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35839 13073 16 0 210730 0
vsize: 842984
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 115043 73 0 0 25 0 11 0 418959396 863215616 35999 4294967295 134512640 134569956 3221224400 3221214788 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 35999 13073 16 0 210730 0
vsize: 842984
[startup+1210.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 116022 73 0 0 25 0 11 0 418959396 863215616 36077 4294967295 134512640 134569956 3221224400 3221214328 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 36077 13073 16 0 210730 0
vsize: 842984
[startup+1220.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 116981 74 0 0 25 0 11 0 418959396 863215616 36236 4294967295 134512640 134569956 3221224400 3221214872 1131635555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 36236 13073 16 0 210730 0
vsize: 842984
[startup+1230.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 117952 74 0 0 25 0 11 0 418959396 863215616 36310 4294967295 134512640 134569956 3221224400 3221214792 1131366993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210746 36310 13073 16 0 210730 0
vsize: 842984
[startup+1240.12 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 118911 74 0 0 25 0 11 0 418959396 863215616 36403 4294967295 134512640 134569956 3221224400 3221214560 1131472533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 36403 13073 16 0 210730 0
vsize: 842984
[startup+1250.12 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 119881 74 0 0 25 0 11 0 418959396 863215616 36486 4294967295 134512640 134569956 3221224400 3221214216 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 36486 13073 16 0 210730 0
vsize: 842984
[startup+1260.12 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 29866
Raw data (stat): 29799 (java) R 29798 29653 29652 0 -1 0 18104 0 1 0 120831 75 0 0 25 0 11 0 418959396 863215616 36594 4294967295 134512640 134569956 3221224400 3221214176 1131600085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210746 36594 13073 16 0 210730 0
vsize: 842984
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.26 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 29868
Raw data (stat): 29799 (java) Z 29798 29653 29652 0 -1 1036 18104 15972 1 1 120837 75 4608 39 25 0 1 0 418959396 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): 1260.26
CPU time (s): 1255.61
CPU user time (s): 1254.46
CPU system time (s): 1.15182
CPU usage (%): 99.631
Max. virtual memory (Kb): 845556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####