PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
MD5SUM	b0b9c98556325dcf5a5811fc2d17a816
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	4.5833
Number of variables	2340
Total number of constraints	1678
Number of constraints which are clauses	1599
Number of constraints which are cardinality constraints (but not clauses)	79
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 4213

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc32 THE 2005-04-13 15:53:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=477 boxname=wulflinc32 idbench=53 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  b0b9c98556325dcf5a5811fc2d17a816  /oldhome/oroussel/tmp/wulflinc32/normalized-fpga40_39_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc32/normalized-fpga40_39_sat_pb.cnf.cr.opb
IDLAUNCH: 477
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.085
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.085
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:      1034724 kB
MemFree:        763908 kB
Buffers:         31920 kB
Cached:         127212 kB
SwapCached:       1212 kB
Active:         130328 kB
Inactive:       109168 kB
HighTotal:      131072 kB
HighFree:         4224 kB
LowTotal:       903652 kB
LowFree:        759684 kB
SwapTotal:     2097892 kB
SwapFree:      2096680 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          81768 kB
Slab:            25508 kB
Committed_AS:   174000 kB
PageTables:        432 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:14:27 (client local time) WITH STATUS 143 IN  SECONDS
stats: 477 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc32/normalized-fpga40_39_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=2340]
c [nbconstr=1678]
c time 4.92
c #vars     2340
c #clauses  1678
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.91 0.31 0.11 2/53 8131
Raw data (stat): 8131 (runsolver) R 8130 7987 7986 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477178091 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 1.16 0.39 0.13 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18074 0 1 0 717 41 0 0 25 0 11 0 477178091 863035392 21571 4294967295 134512640 134569956 3221224400 3221214700 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210702 21571 13073 16 0 210686 0
vsize: 842808
[startup+20.0033 s]
Raw data (loadavg): 1.13 0.41 0.14 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18075 0 1 0 1629 41 0 0 25 0 11 0 477178091 863002624 22665 4294967295 134512640 134569956 3221224400 3221214840 1131308259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 22665 13073 16 0 210678 0
vsize: 842776
[startup+30.0042 s]
Raw data (loadavg): 1.18 0.44 0.16 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18075 0 1 0 2555 41 0 0 25 0 11 0 477178091 863002624 22821 4294967295 134512640 134569956 3221224400 3221214780 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 22821 13073 16 0 210678 0
vsize: 842776
[startup+40.0056 s]
Raw data (loadavg): 1.16 0.46 0.16 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 3495 42 0 0 25 0 11 0 477178091 863002624 23082 4294967295 134512640 134569956 3221224400 3221214832 1131308259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23082 13073 16 0 210678 0
vsize: 842776
[startup+50.0071 s]
Raw data (loadavg): 1.13 0.48 0.17 2/63 8141
Raw data (stat): 8131 (java) S 8130 7987 7986 0 -1 0 18082 0 1 0 4420 42 0 0 25 0 11 0 477178091 863002624 23195 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23195 13073 16 0 210678 0
vsize: 842776
[startup+60.0084 s]
Raw data (loadavg): 1.11 0.49 0.18 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 5350 42 0 0 25 0 11 0 477178091 863002624 23539 4294967295 134512640 134569956 3221224400 3221214384 1130893595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23539 13073 16 0 210678 0
vsize: 842776
[startup+70.0098 s]
Raw data (loadavg): 1.09 0.51 0.19 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 6310 42 0 0 25 0 11 0 477178091 863002624 23624 4294967295 134512640 134569956 3221224400 3221214656 1131216399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23624 13073 16 0 210678 0
vsize: 842776
[startup+80.0108 s]
Raw data (loadavg): 1.08 0.52 0.20 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 7274 42 0 0 25 0 11 0 477178091 863002624 23652 4294967295 134512640 134569956 3221224400 3221214672 1131511104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23652 13073 16 0 210678 0
vsize: 842776
[startup+90.0126 s]
Raw data (loadavg): 1.07 0.54 0.21 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 8238 43 0 0 25 0 11 0 477178091 863002624 23760 4294967295 134512640 134569956 3221224400 3221214880 1131557200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23760 13073 16 0 210678 0
vsize: 842776
[startup+100.013 s]
Raw data (loadavg): 1.06 0.55 0.21 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 9211 43 0 0 25 0 11 0 477178091 863002624 23849 4294967295 134512640 134569956 3221224400 3221214832 1131308352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23849 13073 16 0 210678 0
vsize: 842776
[startup+110.015 s]
Raw data (loadavg): 1.05 0.57 0.22 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 10176 44 0 0 25 0 11 0 477178091 863002624 23941 4294967295 134512640 134569956 3221224400 3221214792 1131369657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23941 13073 16 0 210678 0
vsize: 842776
[startup+120.017 s]
Raw data (loadavg): 1.04 0.58 0.23 2/63 8141
Raw data (stat): 8131 (java) S 8130 7987 7986 0 -1 0 18082 0 1 0 11150 44 0 0 25 0 11 0 477178091 863002624 24007 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24007 13073 16 0 210678 0
vsize: 842776
[startup+130.018 s]
Raw data (loadavg): 1.03 0.60 0.24 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 12119 44 0 0 25 0 11 0 477178091 863002624 24076 4294967295 134512640 134569956 3221224400 3221214672 1131511127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24076 13073 16 0 210678 0
vsize: 842776
[startup+140.019 s]
Raw data (loadavg): 1.03 0.61 0.25 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 13086 44 0 0 25 0 11 0 477178091 863002624 24117 4294967295 134512640 134569956 3221224400 3221214628 1131381587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24117 13073 16 0 210678 0
vsize: 842776
[startup+150.02 s]
Raw data (loadavg): 1.02 0.62 0.25 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 14055 45 0 0 25 0 11 0 477178091 863002624 24309 4294967295 134512640 134569956 3221224400 3221214616 1131245254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24309 13073 16 0 210678 0
vsize: 842776
[startup+160.021 s]
Raw data (loadavg): 1.02 0.63 0.26 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 15025 45 0 0 25 0 11 0 477178091 863002624 24498 4294967295 134512640 134569956 3221224400 3221214568 1131606518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24498 13073 16 0 210678 0
vsize: 842776
[startup+170.022 s]
Raw data (loadavg): 1.02 0.64 0.27 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 15984 45 0 0 25 0 11 0 477178091 863002624 24584 4294967295 134512640 134569956 3221224400 3221214832 1131308248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24584 13073 16 0 210678 0
vsize: 842776
[startup+180.023 s]
Raw data (loadavg): 1.01 0.66 0.28 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 16927 46 0 0 25 0 11 0 477178091 863002624 24712 4294967295 134512640 134569956 3221224400 3221214728 1131291994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24712 13073 16 0 210678 0
vsize: 842776
[startup+190.025 s]
Raw data (loadavg): 1.01 0.67 0.28 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 17878 46 0 0 25 0 11 0 477178091 863002624 24789 4294967295 134512640 134569956 3221224400 3221214792 1131436490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24789 13073 16 0 210678 0
vsize: 842776
[startup+200.025 s]
Raw data (loadavg): 1.01 0.68 0.29 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 18827 46 0 0 25 0 11 0 477178091 863002624 24884 4294967295 134512640 134569956 3221224400 3221214608 1131291561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24884 13073 16 0 210678 0
vsize: 842776
[startup+210.027 s]
Raw data (loadavg): 1.01 0.69 0.30 2/63 8141
Raw data (stat): 8131 (java) S 8130 7987 7986 0 -1 0 18082 0 1 0 19780 46 0 0 25 0 11 0 477178091 863002624 24956 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 24956 13073 16 0 210678 0
vsize: 842776
[startup+220.029 s]
Raw data (loadavg): 1.00 0.70 0.30 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 20743 47 0 0 25 0 11 0 477178091 863002624 25059 4294967295 134512640 134569956 3221224400 3221214672 1131512967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25059 13073 16 0 210678 0
vsize: 842776
[startup+230.03 s]
Raw data (loadavg): 1.00 0.71 0.31 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 21700 47 0 0 25 0 11 0 477178091 863002624 25188 4294967295 134512640 134569956 3221224400 3221214672 1131511209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25188 13073 16 0 210678 0
vsize: 842776
[startup+240.031 s]
Raw data (loadavg): 1.00 0.72 0.32 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 22664 47 0 0 25 0 11 0 477178091 863002624 25576 4294967295 134512640 134569956 3221224400 3221214568 1131605488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25576 13073 16 0 210678 0
vsize: 842776
[startup+250.032 s]
Raw data (loadavg): 1.00 0.72 0.32 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18082 0 1 0 23645 48 0 0 25 0 11 0 477178091 863002624 25638 4294967295 134512640 134569956 3221224400 3221214568 1131606447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25638 13073 16 0 210678 0
vsize: 842776
[startup+260.033 s]
Raw data (loadavg): 1.00 0.73 0.33 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 24624 48 0 0 25 0 11 0 477178091 863002624 25720 4294967295 134512640 134569956 3221224400 3221214568 1131291828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25720 13073 16 0 210678 0
vsize: 842776
[startup+270.034 s]
Raw data (loadavg): 1.00 0.74 0.34 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 25602 49 0 0 25 0 11 0 477178091 863002624 25773 4294967295 134512640 134569956 3221224400 3221214792 1131440776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25773 13073 16 0 210678 0
vsize: 842776
[startup+280.034 s]
Raw data (loadavg): 1.00 0.75 0.34 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 26581 49 0 0 25 0 11 0 477178091 863002624 25826 4294967295 134512640 134569956 3221224400 3221214416 1078032372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25826 13073 16 0 210678 0
vsize: 842776
[startup+290.035 s]
Raw data (loadavg): 1.00 0.76 0.35 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 27560 49 0 0 25 0 11 0 477178091 863002624 25888 4294967295 134512640 134569956 3221224400 3221214672 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25888 13073 16 0 210678 0
vsize: 842776
[startup+300.036 s]
Raw data (loadavg): 1.00 0.76 0.36 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 28540 50 0 0 25 0 11 0 477178091 863002624 25944 4294967295 134512640 134569956 3221224400 3221214832 1131308563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25944 13073 16 0 210678 0
vsize: 842776
[startup+310.037 s]
Raw data (loadavg): 1.00 0.77 0.37 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 29520 50 0 0 25 0 11 0 477178091 863002624 25995 4294967295 134512640 134569956 3221224400 3221214784 1131320111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 25995 13073 16 0 210678 0
vsize: 842776
[startup+320.037 s]
Raw data (loadavg): 1.00 0.78 0.37 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 30499 50 0 0 25 0 11 0 477178091 863002624 26047 4294967295 134512640 134569956 3221224400 3221214672 1131511194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26047 13073 16 0 210678 0
vsize: 842776
[startup+330.038 s]
Raw data (loadavg): 1.00 0.79 0.38 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 31478 50 0 0 24 0 11 0 477178091 863002624 26107 4294967295 134512640 134569956 3221224400 3221214616 1131245314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26107 13073 16 0 210678 0
vsize: 842776
[startup+340.04 s]
Raw data (loadavg): 1.00 0.79 0.38 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 32460 51 0 0 25 0 11 0 477178091 863002624 26151 4294967295 134512640 134569956 3221224400 3221214672 1131511143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26151 13073 16 0 210678 0
vsize: 842776
[startup+350.041 s]
Raw data (loadavg): 1.00 0.80 0.39 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 33440 51 0 0 25 0 11 0 477178091 863002624 26206 4294967295 134512640 134569956 3221224400 3221214792 1131436509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26206 13073 16 0 210678 0
vsize: 842776
[startup+360.041 s]
Raw data (loadavg): 1.00 0.80 0.39 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 34420 52 0 0 25 0 11 0 477178091 863002624 26251 4294967295 134512640 134569956 3221224400 3221214832 1131308280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26251 13073 16 0 210678 0
vsize: 842776
[startup+370.043 s]
Raw data (loadavg): 1.00 0.81 0.40 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 35389 52 0 0 25 0 11 0 477178091 863002624 26334 4294967295 134512640 134569956 3221224400 3221214640 1131244800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26334 13073 16 0 210678 0
vsize: 842776
[startup+380.044 s]
Raw data (loadavg): 1.00 0.82 0.41 2/63 8141
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 36355 52 0 0 25 0 11 0 477178091 863002624 26391 4294967295 134512640 134569956 3221224400 3221214672 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26391 13073 16 0 210678 0
vsize: 842776
[startup+390.046 s]
Raw data (loadavg): 1.00 0.82 0.41 2/65 8149
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 37325 53 0 0 25 0 11 0 477178091 863002624 26437 4294967295 134512640 134569956 3221224400 3221214568 1131604779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26437 13073 16 0 210678 0
vsize: 842776
[startup+400.047 s]
Raw data (loadavg): 1.07 0.84 0.42 2/63 8194
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 38291 55 0 0 25 0 11 0 477178091 863002624 26491 4294967295 134512640 134569956 3221224400 3221214780 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26491 13073 16 0 210678 0
vsize: 842776
[startup+410.048 s]
Raw data (loadavg): 1.06 0.85 0.43 2/63 8194
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 39266 55 0 0 25 0 11 0 477178091 863002624 26528 4294967295 134512640 134569956 3221224400 3221214768 1131396117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26528 13073 16 0 210678 0
vsize: 842776
[startup+420.051 s]
Raw data (loadavg): 1.05 0.85 0.43 2/63 8194
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 40243 55 0 0 25 0 11 0 477178091 863002624 26566 4294967295 134512640 134569956 3221224400 3221214792 1131436691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26566 13073 16 0 210678 0
vsize: 842776
[startup+430.052 s]
Raw data (loadavg): 1.04 0.86 0.44 2/63 8194
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 41222 55 0 0 25 0 11 0 477178091 863002624 26611 4294967295 134512640 134569956 3221224400 3221214672 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26611 13073 16 0 210678 0
vsize: 842776
[startup+440.053 s]
Raw data (loadavg): 1.04 0.86 0.45 2/63 8194
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 42191 55 0 0 25 0 11 0 477178091 863002624 26728 4294967295 134512640 134569956 3221224400 3221214780 1080203730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 26728 13073 16 0 210678 0
vsize: 842776
[startup+450.054 s]
Raw data (loadavg): 1.03 0.87 0.45 2/63 8194
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 43173 55 0 0 25 0 11 0 477178091 863002624 27011 4294967295 134512640 134569956 3221224400 3221214432 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27011 13073 16 0 210678 0
vsize: 842776
[startup+460.055 s]
Raw data (loadavg): 1.02 0.87 0.46 2/63 8194
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 44153 55 0 0 25 0 11 0 477178091 863002624 27022 4294967295 134512640 134569956 3221224400 3221214712 1131338604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27022 13073 16 0 210678 0
vsize: 842776
[startup+470.055 s]
Raw data (loadavg): 1.02 0.87 0.46 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 45134 55 0 0 25 0 11 0 477178091 863002624 27032 4294967295 134512640 134569956 3221224400 3221214700 1131399200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27032 13073 16 0 210678 0
vsize: 842776
[startup+480.056 s]
Raw data (loadavg): 1.02 0.88 0.47 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 46107 55 0 0 24 0 11 0 477178091 863002624 27048 4294967295 134512640 134569956 3221224400 3221214672 1131511264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27048 13073 16 0 210678 0
vsize: 842776
[startup+490.058 s]
Raw data (loadavg): 1.01 0.88 0.47 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 47082 55 0 0 25 0 11 0 477178091 863002624 27062 4294967295 134512640 134569956 3221224400 3221214880 1131557200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27062 13073 16 0 210678 0
vsize: 842776
[startup+500.058 s]
Raw data (loadavg): 1.01 0.88 0.48 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 48050 55 0 0 25 0 11 0 477178091 863002624 27215 4294967295 134512640 134569956 3221224400 3221214832 1131308429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27215 13073 16 0 210678 0
vsize: 842776
[startup+510.059 s]
Raw data (loadavg): 1.01 0.89 0.48 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 49026 55 0 0 25 0 11 0 477178091 863002624 27287 4294967295 134512640 134569956 3221224400 3221214672 1131511124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27287 13073 16 0 210678 0
vsize: 842776
[startup+520.06 s]
Raw data (loadavg): 1.01 0.89 0.49 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 49997 55 0 0 25 0 11 0 477178091 863002624 27369 4294967295 134512640 134569956 3221224400 3221214744 1131216420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27369 13073 16 0 210678 0
vsize: 842776
[startup+530.061 s]
Raw data (loadavg): 1.01 0.89 0.49 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 50973 55 0 0 25 0 11 0 477178091 863002624 27451 4294967295 134512640 134569956 3221224400 3221214832 1131308277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27451 13073 16 0 210678 0
vsize: 842776
[startup+540.062 s]
Raw data (loadavg): 1.00 0.90 0.50 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 51938 55 0 0 25 0 11 0 477178091 863002624 27556 4294967295 134512640 134569956 3221224400 3221214648 1131374692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27556 13073 16 0 210678 0
vsize: 842776
[startup+550.062 s]
Raw data (loadavg): 1.00 0.90 0.50 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 52902 55 0 0 25 0 11 0 477178091 863002624 27645 4294967295 134512640 134569956 3221224400 3221214744 1131216418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27645 13073 16 0 210678 0
vsize: 842776
[startup+560.063 s]
Raw data (loadavg): 1.00 0.90 0.51 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 53855 55 0 0 25 0 11 0 477178091 863002624 27775 4294967295 134512640 134569956 3221224400 3221214704 1131363074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 27775 13073 16 0 210678 0
vsize: 842776
[startup+570.064 s]
Raw data (loadavg): 1.00 0.91 0.51 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 54804 56 0 0 25 0 11 0 477178091 863002624 28089 4294967295 134512640 134569956 3221224400 3221214744 1131216383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28089 13073 16 0 210678 0
vsize: 842776
[startup+580.064 s]
Raw data (loadavg): 1.00 0.91 0.52 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 55767 56 0 0 25 0 11 0 477178091 863002624 28089 4294967295 134512640 134569956 3221224400 3221214784 1131321321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28089 13073 16 0 210678 0
vsize: 842776
[startup+590.068 s]
Raw data (loadavg): 1.00 0.91 0.52 2/63 8196
Raw data (stat): 8131 (java) S 8130 7987 7986 0 -1 0 18083 0 1 0 56722 56 0 0 25 0 11 0 477178091 863002624 28109 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28109 13073 16 0 210678 0
vsize: 842776
[startup+600.069 s]
Raw data (loadavg): 1.00 0.91 0.53 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 57682 56 0 0 25 0 11 0 477178091 863002624 28203 4294967295 134512640 134569956 3221224400 3221214672 1131511264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28203 13073 16 0 210678 0
vsize: 842776
[startup+610.069 s]
Raw data (loadavg): 1.00 0.92 0.53 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 58648 56 0 0 25 0 11 0 477178091 863002624 28301 4294967295 134512640 134569956 3221224400 3221214568 1131604577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28301 13073 16 0 210678 0
vsize: 842776
[startup+620.07 s]
Raw data (loadavg): 1.00 0.92 0.54 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 59615 56 0 0 25 0 11 0 477178091 863002624 28352 4294967295 134512640 134569956 3221224400 3221214792 1131438799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28352 13073 16 0 210678 0
vsize: 842776
[startup+630.071 s]
Raw data (loadavg): 1.00 0.92 0.54 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 60577 56 0 0 25 0 11 0 477178091 863002624 28624 4294967295 134512640 134569956 3221224400 3221214688 1131261240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 28624 13073 16 0 210678 0
vsize: 842776
[startup+640.073 s]
Raw data (loadavg): 1.00 0.92 0.55 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 61555 56 0 0 25 0 11 0 477178091 863002624 28977 4294967295 134512640 134569956 3221224400 3221214608 1131291219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28977 13073 16 0 210678 0
vsize: 842776
[startup+650.073 s]
Raw data (loadavg): 1.00 0.92 0.55 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 62538 56 0 0 25 0 11 0 477178091 863002624 28991 4294967295 134512640 134569956 3221224400 3221214780 1080203717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 28991 13073 16 0 210678 0
vsize: 842776
[startup+660.074 s]
Raw data (loadavg): 1.00 0.93 0.55 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 63508 56 0 0 24 0 11 0 477178091 863002624 29009 4294967295 134512640 134569956 3221224400 3221214304 1078829708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29009 13073 16 0 210678 0
vsize: 842776
[startup+670.076 s]
Raw data (loadavg): 1.00 0.93 0.56 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 64478 56 0 0 25 0 11 0 477178091 863002624 29024 4294967295 134512640 134569956 3221224400 3221214712 1131339123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29024 13073 16 0 210678 0
vsize: 842776
[startup+680.077 s]
Raw data (loadavg): 1.00 0.93 0.56 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 65436 56 0 0 25 0 11 0 477178091 863002624 29102 4294967295 134512640 134569956 3221224400 3221214672 1131511247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29102 13073 16 0 210678 0
vsize: 842776
[startup+690.077 s]
Raw data (loadavg): 1.00 0.93 0.57 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 66389 56 0 0 25 0 11 0 477178091 863002624 29176 4294967295 134512640 134569956 3221224400 3221214688 1131261740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29176 13073 16 0 210678 0
vsize: 842776
[startup+700.078 s]
Raw data (loadavg): 1.00 0.93 0.57 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 67356 56 0 0 25 0 11 0 477178091 863002624 29227 4294967295 134512640 134569956 3221224400 3221214672 1131511127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29227 13073 16 0 210678 0
vsize: 842776
[startup+710.079 s]
Raw data (loadavg): 1.00 0.93 0.57 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 68323 56 0 0 25 0 11 0 477178091 863002624 29285 4294967295 134512640 134569956 3221224400 3221214568 1131606419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29285 13073 16 0 210678 0
vsize: 842776
[startup+720.08 s]
Raw data (loadavg): 1.00 0.94 0.58 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 69281 56 0 0 25 0 11 0 477178091 863002624 29436 4294967295 134512640 134569956 3221224400 3221214568 1131605500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29436 13073 16 0 210678 0
vsize: 842776
[startup+730.081 s]
Raw data (loadavg): 1.00 0.94 0.58 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 70234 56 0 0 25 0 11 0 477178091 863002624 29557 4294967295 134512640 134569956 3221224400 3221214688 1131261223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29557 13073 16 0 210678 0
vsize: 842776
[startup+740.081 s]
Raw data (loadavg): 1.00 0.94 0.58 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 71188 56 0 0 25 0 11 0 477178091 863002624 29698 4294967295 134512640 134569956 3221224400 3221214528 1131427486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29698 13073 16 0 210678 0
vsize: 842776
[startup+750.082 s]
Raw data (loadavg): 1.00 0.94 0.59 2/63 8196
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 72143 56 0 0 25 0 11 0 477178091 863002624 29805 4294967295 134512640 134569956 3221224400 3221214784 1131320297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 29805 13073 16 0 210678 0
vsize: 842776
[startup+760.082 s]
Raw data (loadavg): 1.00 0.94 0.59 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 73094 56 0 0 25 0 11 0 477178091 863002624 30005 4294967295 134512640 134569956 3221224400 3221214824 1131308539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30005 13073 16 0 210678 0
vsize: 842776
[startup+770.083 s]
Raw data (loadavg): 1.00 0.94 0.60 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 74045 56 0 0 25 0 11 0 477178091 863002624 30064 4294967295 134512640 134569956 3221224400 3221214576 1131493226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30064 13073 16 0 210678 0
vsize: 842776
[startup+780.085 s]
Raw data (loadavg): 1.00 0.95 0.60 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 75005 56 0 0 25 0 11 0 477178091 863002624 30217 4294967295 134512640 134569956 3221224400 3221214616 1131400153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 30217 13073 16 0 210678 0
vsize: 842776
[startup+790.086 s]
Raw data (loadavg): 1.00 0.95 0.60 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 75971 57 0 0 25 0 11 0 477178091 863002624 30409 4294967295 134512640 134569956 3221224400 3221214648 1131216261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30409 13073 16 0 210678 0
vsize: 842776
[startup+800.087 s]
Raw data (loadavg): 1.00 0.95 0.61 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 76941 57 0 0 25 0 11 0 477178091 863002624 30526 4294967295 134512640 134569956 3221224400 3221214216 1131634432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30526 13073 16 0 210678 0
vsize: 842776
[startup+810.086 s]
Raw data (loadavg): 1.00 0.95 0.61 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 77918 57 0 0 25 0 11 0 477178091 863002624 30625 4294967295 134512640 134569956 3221224400 3221214772 1080203752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30625 13073 16 0 210678 0
vsize: 842776
[startup+820.087 s]
Raw data (loadavg): 1.00 0.95 0.62 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 78891 57 0 0 25 0 11 0 477178091 863002624 30729 4294967295 134512640 134569956 3221224400 3221214824 1131308532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30729 13073 16 0 210678 0
vsize: 842776
[startup+830.088 s]
Raw data (loadavg): 1.00 0.95 0.62 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 79863 57 0 0 25 0 11 0 477178091 863002624 30827 4294967295 134512640 134569956 3221224400 3221214824 1131308415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30827 13073 16 0 210678 0
vsize: 842776
[startup+840.089 s]
Raw data (loadavg): 1.00 0.95 0.62 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 80833 57 0 0 25 0 11 0 477178091 863002624 30887 4294967295 134512640 134569956 3221224400 3221214824 1131308706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30887 13073 16 0 210678 0
vsize: 842776
[startup+850.09 s]
Raw data (loadavg): 1.00 0.95 0.63 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 81799 57 0 0 25 0 11 0 477178091 863002624 30977 4294967295 134512640 134569956 3221224400 3221214664 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 30977 13073 16 0 210678 0
vsize: 842776
[startup+860.09 s]
Raw data (loadavg): 1.00 0.95 0.63 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 82752 57 0 0 25 0 11 0 477178091 863002624 31053 4294967295 134512640 134569956 3221224400 3221214784 1131440788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31053 13073 16 0 210678 0
vsize: 842776
[startup+870.091 s]
Raw data (loadavg): 1.00 0.95 0.64 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 83706 57 0 0 25 0 11 0 477178091 863002624 31185 4294967295 134512640 134569956 3221224400 3221214664 1131511209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31185 13073 16 0 210678 0
vsize: 842776
[startup+880.092 s]
Raw data (loadavg): 1.00 0.95 0.64 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 84667 57 0 0 25 0 11 0 477178091 863002624 31261 4294967295 134512640 134569956 3221224400 3221214576 1131493221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31261 13073 16 0 210678 0
vsize: 842776
[startup+890.093 s]
Raw data (loadavg): 1.00 0.96 0.64 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 85629 57 0 0 25 0 11 0 477178091 863002624 31388 4294967295 134512640 134569956 3221224400 3221214552 1131473410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31388 13073 16 0 210678 0
vsize: 842776
[startup+900.097 s]
Raw data (loadavg): 1.00 0.96 0.64 2/63 8198
Raw data (stat): 8131 (java) S 8130 7987 7986 0 -1 0 18083 0 1 0 86598 57 0 0 25 0 11 0 477178091 863002624 31472 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31472 13073 16 0 210678 0
vsize: 842776
[startup+910.098 s]
Raw data (loadavg): 1.00 0.96 0.65 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 87554 57 0 0 25 0 11 0 477178091 863002624 31671 4294967295 134512640 134569956 3221224400 3221214568 1131381635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31671 13073 16 0 210678 0
vsize: 842776
[startup+920.1 s]
Raw data (loadavg): 1.00 0.96 0.65 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 88518 57 0 0 25 0 11 0 477178091 863002624 31770 4294967295 134512640 134569956 3221224400 3221214784 1131439880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31770 13073 16 0 210678 0
vsize: 842776
[startup+930.1 s]
Raw data (loadavg): 1.00 0.96 0.65 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 89482 57 0 0 25 0 11 0 477178091 863002624 31861 4294967295 134512640 134569956 3221224400 3221214160 1131634656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31861 13073 16 0 210678 0
vsize: 842776
[startup+940.101 s]
Raw data (loadavg): 1.00 0.96 0.66 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 90446 57 0 0 25 0 11 0 477178091 863002624 31948 4294967295 134512640 134569956 3221224400 3221214784 1131437269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 31948 13073 16 0 210678 0
vsize: 842776
[startup+950.102 s]
Raw data (loadavg): 1.00 0.96 0.66 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 91398 57 0 0 25 0 11 0 477178091 863002624 32075 4294967295 134512640 134569956 3221224400 3221214664 1131511253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32075 13073 16 0 210678 0
vsize: 842776
[startup+960.102 s]
Raw data (loadavg): 1.00 0.96 0.66 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 92355 57 0 0 24 0 11 0 477178091 863002624 32186 4294967295 134512640 134569956 3221224400 3221214384 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32186 13073 16 0 210678 0
vsize: 842776
[startup+970.103 s]
Raw data (loadavg): 1.00 0.96 0.67 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 93318 57 0 0 25 0 11 0 477178091 863002624 32313 4294967295 134512640 134569956 3221224400 3221214520 1131427514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32313 13073 16 0 210678 0
vsize: 842776
[startup+980.104 s]
Raw data (loadavg): 1.00 0.96 0.67 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 94283 57 0 0 25 0 11 0 477178091 863002624 32403 4294967295 134512640 134569956 3221224400 3221214664 1131511120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32403 13073 16 0 210678 0
vsize: 842776
[startup+990.105 s]
Raw data (loadavg): 1.00 0.97 0.67 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 95236 57 0 0 25 0 11 0 477178091 863002624 32485 4294967295 134512640 134569956 3221224400 3221214760 1131320362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32485 13073 16 0 210678 0
vsize: 842776
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.97 0.67 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 96206 57 0 0 25 0 11 0 477178091 863002624 32585 4294967295 134512640 134569956 3221224400 3221214824 1131308563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32585 13073 16 0 210678 0
vsize: 842776
[startup+1010.11 s]
Raw data (loadavg): 1.00 0.97 0.68 2/63 8198
Raw data (stat): 8131 (java) S 8130 7987 7986 0 -1 0 18083 0 1 0 97149 57 0 0 25 0 11 0 477178091 863002624 32657 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32657 13073 16 0 210678 0
vsize: 842776
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.97 0.68 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 98100 57 0 0 25 0 11 0 477178091 863002624 32778 4294967295 134512640 134569956 3221224400 3221214664 1131511255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32778 13073 16 0 210678 0
vsize: 842776
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.97 0.68 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 99062 57 0 0 25 0 11 0 477178091 863002624 32872 4294967295 134512640 134569956 3221224400 3221214180 1131493449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 32872 13073 16 0 210678 0
vsize: 842776
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.97 0.69 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 100016 57 0 0 25 0 11 0 477178091 863002624 33047 4294967295 134512640 134569956 3221224400 3221214352 1131493469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33047 13073 16 0 210678 0
vsize: 842776
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.97 0.69 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 100975 57 0 0 25 0 11 0 477178091 863002624 33251 4294967295 134512640 134569956 3221224400 3221214760 1131321462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33251 13073 16 0 210678 0
vsize: 842776
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.97 0.69 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 101939 57 0 0 25 0 11 0 477178091 863002624 33391 4294967295 134512640 134569956 3221224400 3221214760 1131320297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33391 13073 16 0 210678 0
vsize: 842776
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.97 0.69 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 102904 57 0 0 24 0 11 0 477178091 863002624 33527 4294967295 134512640 134569956 3221224400 3221214160 1131634564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33527 13073 16 0 210678 0
vsize: 842776
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.97 0.70 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 103875 58 0 0 25 0 11 0 477178091 863002624 33568 4294967295 134512640 134569956 3221224400 3221214872 1131557737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33568 13073 16 0 210678 0
vsize: 842776
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 104844 58 0 0 25 0 11 0 477178091 863002624 33608 4294967295 134512640 134569956 3221224400 3221214736 1131216451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33608 13073 16 0 210678 0
vsize: 842776
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 105812 58 0 0 25 0 11 0 477178091 863002624 33664 4294967295 134512640 134569956 3221224400 3221213956 1131627852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33664 13073 16 0 210678 0
vsize: 842776
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.97 0.71 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 106777 58 0 0 25 0 11 0 477178091 863002624 33751 4294967295 134512640 134569956 3221224400 3221214128 1131493436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33751 13073 16 0 210678 0
vsize: 842776
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.97 0.71 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 107741 58 0 0 25 0 11 0 477178091 863002624 33820 4294967295 134512640 134569956 3221224400 3221214760 1131320362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33820 13073 16 0 210678 0
vsize: 842776
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.97 0.71 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 108703 58 0 0 25 0 11 0 477178091 863002624 33878 4294967295 134512640 134569956 3221224400 3221214824 1131308535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 33878 13073 16 0 210678 0
vsize: 842776
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 109664 58 0 0 25 0 11 0 477178091 863002624 34016 4294967295 134512640 134569956 3221224400 3221214240 1131493226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 34016 13073 16 0 210678 0
vsize: 842776
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 110615 58 0 0 25 0 11 0 477178091 863002624 34180 4294967295 134512640 134569956 3221224400 3221213936 1131634320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 34180 13073 16 0 210678 0
vsize: 842776
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 111562 58 0 0 25 0 11 0 477178091 863002624 34431 4294967295 134512640 134569956 3221224400 3221214664 1131511129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 34431 13073 16 0 210678 0
vsize: 842776
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.97 0.72 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 112496 58 0 0 25 0 11 0 477178091 863002624 34636 4294967295 134512640 134569956 3221224400 3221214664 1131260798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 34636 13073 16 0 210678 0
vsize: 842776
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 113449 58 0 0 25 0 11 0 477178091 863002624 34808 4294967295 134512640 134569956 3221224400 3221213932 1131627840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 34808 13073 16 0 210678 0
vsize: 842776
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 114403 58 0 0 25 0 11 0 477178091 863002624 34992 4294967295 134512640 134569956 3221224400 3221214080 1131628732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 34992 13073 16 0 210678 0
vsize: 842776
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 115380 59 0 0 25 0 11 0 477178091 863002624 35114 4294967295 134512640 134569956 3221224400 3221213824 1085679337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 35114 13073 16 0 210678 0
vsize: 842776
[startup+1210.13 s]
Raw data (loadavg): 1.00 0.97 0.73 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 116357 59 0 0 25 0 11 0 477178091 863002624 35204 4294967295 134512640 134569956 3221224400 3221214360 1131628692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 35204 13073 16 0 210678 0
vsize: 842776
[startup+1220.13 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 117325 59 0 0 25 0 11 0 477178091 863002624 35497 4294967295 134512640 134569956 3221224400 3221214288 1131627863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 35497 13073 16 0 210678 0
vsize: 842776
[startup+1230.13 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 118286 60 0 0 25 0 11 0 477178091 863002624 35579 4294967295 134512640 134569956 3221224400 3221214008 1131618777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 35579 13073 16 0 210678 0
vsize: 842776
[startup+1240.13 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 119230 60 0 0 25 0 11 0 477178091 863002624 35659 4294967295 134512640 134569956 3221224400 3221214560 1131291539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 35659 13073 16 0 210678 0
vsize: 842776
[startup+1250.13 s]
Raw data (loadavg): 1.00 0.97 0.74 2/63 8198
Raw data (stat): 8131 (java) R 8130 7987 7986 0 -1 0 18083 0 1 0 120209 60 0 0 25 0 11 0 477178091 863002624 35708 4294967295 134512640 134569956 3221224400 3221214392 1078033055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 35708 13073 16 0 210678 0
vsize: 842776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.48 s]
Raw data (loadavg): 1.00 0.97 0.74 1/53 8200
Raw data (stat): 8131 (java) Z 8130 7987 7986 0 -1 1036 18083 15085 1 1 120225 61 4449 36 25 0 1 0 477178091 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.47
CPU time (s): 1247.73
CPU user time (s): 1246.75
CPU system time (s): 0.979851
CPU usage (%): 99.7805
Max. virtual memory (Kb): 842808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####