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_23_sat_pb.cnf.cr.opb
MD5SUM	002d92124dd96ccf471b7e05fe08f2d6
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.252961
Number of variables	863
Total number of constraints	646
Number of constraints which are clauses	598
Number of constraints which are cardinality constraints (but not clauses)	48
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 4219

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        924112 kB
Buffers:         34608 kB
Cached:          52896 kB
SwapCached:       3276 kB
Active:          63300 kB
Inactive:        30332 kB
HighTotal:      131008 kB
HighFree:        73696 kB
LowTotal:       903652 kB
LowFree:        850416 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11232 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:14:32 (client local time) WITH STATUS 143 IN  SECONDS
stats: 387 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-fpga25_23_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=863]
c [nbconstr=646]
c time 2.581
c #vars     863
c #clauses  646
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.18 0.34 0.12 2/54 10866
Raw data (stat): 10866 (runsolver) R 10865 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418956096 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.0008 s]
Raw data (loadavg): 1.38 0.41 0.14 3/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18118 0 1 0 616 44 0 0 25 0 11 0 418956096 865636352 21484 4294967295 134512640 134569956 3221224400 3221214648 1131348501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211337 21484 13073 16 0 211321 0
vsize: 845348
[startup+20.0015 s]
Raw data (loadavg): 1.40 0.45 0.15 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18124 0 1 0 1517 44 0 0 25 0 11 0 418956096 865095680 22111 4294967295 134512640 134569956 3221224400 3221214800 1131371653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211205 22111 13073 16 0 211189 0
vsize: 844820
[startup+30.0028 s]
Raw data (loadavg): 1.34 0.47 0.16 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18124 0 1 0 2433 45 0 0 24 0 11 0 418956096 863387648 22341 4294967295 134512640 134569956 3221224400 3221214680 1131256170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 22341 13073 16 0 210772 0
vsize: 843152
[startup+40.0032 s]
Raw data (loadavg): 1.28 0.48 0.17 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 3356 45 0 0 25 0 11 0 418956096 863387648 22792 4294967295 134512640 134569956 3221224400 3221214688 1131441523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 22792 13073 16 0 210772 0
vsize: 843152
[startup+50.0039 s]
Raw data (loadavg): 1.24 0.50 0.18 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 4274 45 0 0 25 0 11 0 418956096 863387648 23280 4294967295 134512640 134569956 3221224400 3221214680 1131604112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 23280 13073 16 0 210772 0
vsize: 843152
[startup+60.0053 s]
Raw data (loadavg): 1.20 0.52 0.19 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 5204 45 0 0 25 0 11 0 418956096 863387648 23399 4294967295 134512640 134569956 3221224400 3221214680 1131605952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 23399 13073 16 0 210772 0
vsize: 843152
[startup+70.006 s]
Raw data (loadavg): 1.17 0.53 0.20 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 6156 45 0 0 25 0 11 0 418956096 863387648 23441 4294967295 134512640 134569956 3221224400 3221214576 1131492273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 23441 13073 16 0 210772 0
vsize: 843152
[startup+80.0064 s]
Raw data (loadavg): 1.14 0.55 0.20 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 7098 45 0 0 25 0 11 0 418956096 863387648 23583 4294967295 134512640 134569956 3221224400 3221214680 1131604112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 23583 13073 16 0 210772 0
vsize: 843152
[startup+90.0077 s]
Raw data (loadavg): 1.12 0.56 0.21 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 8046 45 0 0 25 0 11 0 418956096 863387648 23746 4294967295 134512640 134569956 3221224400 3221214680 1131256555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 23746 13073 16 0 210772 0
vsize: 843152
[startup+100.008 s]
Raw data (loadavg): 1.10 0.58 0.22 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 9003 45 0 0 25 0 11 0 418956096 863387648 24097 4294967295 134512640 134569956 3221224400 3221214408 1078032989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24097 13073 16 0 210772 0
vsize: 843152
[startup+110.009 s]
Raw data (loadavg): 1.09 0.59 0.23 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 9978 45 0 0 25 0 11 0 418956096 863387648 24273 4294967295 134512640 134569956 3221224400 3221214576 1131612901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24273 13073 16 0 210772 0
vsize: 843152
[startup+120.01 s]
Raw data (loadavg): 1.07 0.60 0.24 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 10956 45 0 0 25 0 11 0 418956096 863387648 24339 4294967295 134512640 134569956 3221224400 3221214368 1080217096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24339 13073 16 0 210772 0
vsize: 843152
[startup+130.01 s]
Raw data (loadavg): 1.06 0.61 0.24 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18125 0 1 0 11933 45 0 0 25 0 11 0 418956096 863387648 24401 4294967295 134512640 134569956 3221224400 3221214576 1131612861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24401 13073 16 0 210772 0
vsize: 843152
[startup+140.01 s]
Raw data (loadavg): 1.05 0.63 0.25 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 12903 45 0 0 25 0 11 0 418956096 863387648 24477 4294967295 134512640 134569956 3221224400 3221214736 1131275591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24477 13073 16 0 210772 0
vsize: 843152
[startup+150.011 s]
Raw data (loadavg): 1.04 0.64 0.26 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 13868 45 0 0 25 0 11 0 418956096 863387648 24542 4294967295 134512640 134569956 3221224400 3221214464 1131596160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24542 13073 16 0 210772 0
vsize: 843152
[startup+160.012 s]
Raw data (loadavg): 1.04 0.65 0.27 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 14802 45 0 0 25 0 11 0 418956096 863387648 24622 4294967295 134512640 134569956 3221224400 3221214680 1131256409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24622 13073 16 0 210772 0
vsize: 843152
[startup+170.012 s]
Raw data (loadavg): 1.03 0.66 0.28 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 15751 45 0 0 25 0 11 0 418956096 863387648 24761 4294967295 134512640 134569956 3221224400 3221214576 1131492347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24761 13073 16 0 210772 0
vsize: 843152
[startup+180.012 s]
Raw data (loadavg): 1.02 0.67 0.28 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 16700 45 0 0 25 0 11 0 418956096 863387648 24868 4294967295 134512640 134569956 3221224400 3221214776 1131435221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24868 13073 16 0 210772 0
vsize: 843152
[startup+190.013 s]
Raw data (loadavg): 1.02 0.68 0.29 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 17650 45 0 0 25 0 11 0 418956096 863387648 24938 4294967295 134512640 134569956 3221224400 3221214680 1131605959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 24938 13073 16 0 210772 0
vsize: 843152
[startup+200.012 s]
Raw data (loadavg): 1.02 0.69 0.30 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 18590 45 0 0 25 0 11 0 418956096 863387648 25053 4294967295 134512640 134569956 3221224400 3221214576 1131612272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 25053 13073 16 0 210772 0
vsize: 843152
[startup+210.014 s]
Raw data (loadavg): 1.01 0.70 0.30 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 19538 45 0 0 24 0 11 0 418956096 863387648 25264 4294967295 134512640 134569956 3221224400 3221214488 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 25264 13073 16 0 210772 0
vsize: 843152
[startup+220.014 s]
Raw data (loadavg): 1.01 0.71 0.31 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 20480 45 0 0 25 0 11 0 418956096 863387648 25513 4294967295 134512640 134569956 3221224400 3221214720 1131282913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 25513 13073 16 0 210772 0
vsize: 843152
[startup+230.014 s]
Raw data (loadavg): 1.01 0.72 0.32 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 21430 45 0 0 25 0 11 0 418956096 863387648 25723 4294967295 134512640 134569956 3221224400 3221214128 1131599501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 25723 13073 16 0 210772 0
vsize: 843152
[startup+240.014 s]
Raw data (loadavg): 1.01 0.73 0.32 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 22373 46 0 0 25 0 11 0 418956096 863387648 26124 4294967295 134512640 134569956 3221224400 3221214800 1131371810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 26124 13073 16 0 210772 0
vsize: 843152
[startup+250.015 s]
Raw data (loadavg): 1.01 0.74 0.33 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 23299 46 0 0 25 0 11 0 418956096 863387648 26407 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 26407 13073 16 0 210772 0
vsize: 843152
[startup+260.015 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 24237 46 0 0 25 0 11 0 418956096 863387648 26704 4294967295 134512640 134569956 3221224400 3221214680 1131604209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 26704 13073 16 0 210772 0
vsize: 843152
[startup+270.016 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 25193 46 0 0 25 0 11 0 418956096 863387648 26971 4294967295 134512640 134569956 3221224400 3221214752 1131273122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 26971 13073 16 0 210772 0
vsize: 843152
[startup+280.016 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 26130 46 0 0 25 0 11 0 418956096 863387648 27365 4294967295 134512640 134569956 3221224400 3221214776 1131315119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 27365 13073 16 0 210772 0
vsize: 843152
[startup+290.017 s]
Raw data (loadavg): 1.00 0.77 0.36 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 27056 46 0 0 25 0 11 0 418956096 863387648 27628 4294967295 134512640 134569956 3221224400 3221214680 1131256033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 27628 13073 16 0 210772 0
vsize: 843152
[startup+300.017 s]
Raw data (loadavg): 1.00 0.78 0.36 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 27986 46 0 0 25 0 11 0 418956096 863387648 27779 4294967295 134512640 134569956 3221224400 3221214368 1131592807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 27779 13073 16 0 210772 0
vsize: 843152
[startup+310.021 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 10876
Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 28934 46 0 0 25 0 11 0 418956096 863387648 27945 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 27945 13073 16 0 210772 0
vsize: 843152
[startup+320.022 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 29883 46 0 0 25 0 11 0 418956096 863387648 28092 4294967295 134512640 134569956 3221224400 3221214476 1131592841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 28092 13073 16 0 210772 0
vsize: 843152
[startup+330.022 s]
Raw data (loadavg): 1.00 0.80 0.38 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 30833 46 0 0 24 0 11 0 418956096 863387648 28212 4294967295 134512640 134569956 3221224400 3221214416 1131583918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 28212 13073 16 0 210772 0
vsize: 843152
[startup+340.023 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 31782 46 0 0 25 0 11 0 418956096 863387648 28358 4294967295 134512640 134569956 3221224400 3221214072 1131599416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 28358 13073 16 0 210772 0
vsize: 843152
[startup+350.023 s]
Raw data (loadavg): 1.00 0.81 0.39 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 32742 46 0 0 25 0 11 0 418956096 863387648 28481 4294967295 134512640 134569956 3221224400 3221214776 1131321323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 28481 13073 16 0 210772 0
vsize: 843152
[startup+360.024 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 33684 46 0 0 25 0 11 0 418956096 863387648 28678 4294967295 134512640 134569956 3221224400 3221214888 1131645961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 28678 13073 16 0 210772 0
vsize: 843152
[startup+370.025 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 34637 46 0 0 25 0 11 0 418956096 863387648 28806 4294967295 134512640 134569956 3221224400 3221214776 1131316375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 28806 13073 16 0 210772 0
vsize: 843152
[startup+380.024 s]
Raw data (loadavg): 1.00 0.83 0.41 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 35587 46 0 0 25 0 11 0 418956096 863387648 28946 4294967295 134512640 134569956 3221224400 3221214680 1131605952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 28946 13073 16 0 210772 0
vsize: 843152
[startup+390.025 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 36534 46 0 0 25 0 11 0 418956096 863387648 29081 4294967295 134512640 134569956 3221224400 3221214776 1131317304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 29081 13073 16 0 210772 0
vsize: 843152
[startup+400.026 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 10876
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 37481 46 0 0 25 0 11 0 418956096 863387648 29246 4294967295 134512640 134569956 3221224400 3221214312 1131592842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 29246 13073 16 0 210772 0
vsize: 843152
[startup+410.027 s]
Raw data (loadavg): 1.08 0.86 0.43 2/64 10929
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 38420 52 0 0 25 0 11 0 418956096 863387648 29368 4294967295 134512640 134569956 3221224400 3221214576 1131612692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 29368 13073 16 0 210772 0
vsize: 843152
[startup+420.027 s]
Raw data (loadavg): 1.07 0.86 0.44 2/64 10929
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 39376 52 0 0 25 0 11 0 418956096 863387648 29508 4294967295 134512640 134569956 3221224400 3221214776 1131316280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 29508 13073 16 0 210772 0
vsize: 843152
[startup+430.028 s]
Raw data (loadavg): 1.06 0.86 0.45 2/64 10929
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 40321 53 0 0 25 0 11 0 418956096 863387648 29666 4294967295 134512640 134569956 3221224400 3221214560 1131566229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 29666 13073 16 0 210772 0
vsize: 843152
[startup+440.028 s]
Raw data (loadavg): 1.05 0.87 0.45 2/64 10929
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 41270 53 0 0 25 0 11 0 418956096 863387648 29754 4294967295 134512640 134569956 3221224400 3221214576 1131613603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 29754 13073 16 0 210772 0
vsize: 843152
[startup+450.028 s]
Raw data (loadavg): 1.04 0.87 0.46 2/64 10929
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 42219 53 0 0 25 0 11 0 418956096 863387648 29923 4294967295 134512640 134569956 3221224400 3221214800 1131372364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 29923 13073 16 0 210772 0
vsize: 843152
[startup+460.03 s]
Raw data (loadavg): 1.03 0.88 0.46 2/64 10929
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 43174 53 0 0 25 0 11 0 418956096 863387648 30103 4294967295 134512640 134569956 3221224400 3221214776 1131316470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30103 13073 16 0 210772 0
vsize: 843152
[startup+470.031 s]
Raw data (loadavg): 1.03 0.88 0.47 2/64 10929
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 44131 54 0 0 25 0 11 0 418956096 863387648 30252 4294967295 134512640 134569956 3221224400 3221214552 1131628580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30252 13073 16 0 210772 0
vsize: 843152
[startup+480.03 s]
Raw data (loadavg): 1.02 0.88 0.47 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 45081 54 0 0 24 0 11 0 418956096 863387648 30402 4294967295 134512640 134569956 3221224400 3221214680 1131604129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30402 13073 16 0 210772 0
vsize: 843152
[startup+490.032 s]
Raw data (loadavg): 1.02 0.89 0.48 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 46042 54 0 0 25 0 11 0 418956096 863387648 30563 4294967295 134512640 134569956 3221224400 3221214576 1131492319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30563 13073 16 0 210772 0
vsize: 843152
[startup+500.032 s]
Raw data (loadavg): 1.02 0.89 0.48 2/64 10931
Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 47014 55 0 0 25 0 11 0 418956096 863387648 30603 4294967295 134512640 134569956 3221224400 3221213288 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30603 13073 16 0 210772 0
vsize: 843152
[startup+510.032 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 47966 55 0 0 25 0 11 0 418956096 863387648 30700 4294967295 134512640 134569956 3221224400 3221214576 1131492347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30700 13073 16 0 210772 0
vsize: 843152
[startup+520.032 s]
Raw data (loadavg): 1.01 0.90 0.49 2/64 10931
Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 48918 55 0 0 25 0 11 0 418956096 863387648 30785 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30785 13073 16 0 210772 0
vsize: 843152
[startup+530.033 s]
Raw data (loadavg): 1.01 0.90 0.50 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 49870 56 0 0 25 0 11 0 418956096 863387648 30961 4294967295 134512640 134569956 3221224400 3221214800 1131372129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 30961 13073 16 0 210772 0
vsize: 843152
[startup+540.033 s]
Raw data (loadavg): 1.01 0.90 0.50 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 50820 56 0 0 25 0 11 0 418956096 863387648 31089 4294967295 134512640 134569956 3221224400 3221214480 1131592807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 31089 13073 16 0 210772 0
vsize: 843152
[startup+550.034 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 51778 56 0 0 25 0 11 0 418956096 863387648 31197 4294967295 134512640 134569956 3221224400 3221214680 1131604119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 31197 13073 16 0 210772 0
vsize: 843152
[startup+560.034 s]
Raw data (loadavg): 1.00 0.91 0.51 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 52736 56 0 0 25 0 11 0 418956096 863387648 31368 4294967295 134512640 134569956 3221224400 3221214552 1131565711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 31368 13073 16 0 210772 0
vsize: 843152
[startup+570.035 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 53686 56 0 0 25 0 11 0 418956096 863387648 31487 4294967295 134512640 134569956 3221224400 3221214576 1131612270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 31487 13073 16 0 210772 0
vsize: 843152
[startup+580.035 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 54636 57 0 0 25 0 11 0 418956096 863387648 31616 4294967295 134512640 134569956 3221224400 3221214680 1131604119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 31616 13073 16 0 210772 0
vsize: 843152
[startup+590.035 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 55600 57 0 0 25 0 11 0 418956096 863387648 31717 4294967295 134512640 134569956 3221224400 3221214376 1131599380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 31717 13073 16 0 210772 0
vsize: 843152
[startup+600.036 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 56565 57 0 0 25 0 11 0 418956096 863387648 31813 4294967295 134512640 134569956 3221224400 3221213928 1131589888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 31813 13073 16 0 210772 0
vsize: 843152
[startup+610.037 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 57533 57 0 0 25 0 11 0 418956096 863387648 31911 4294967295 134512640 134569956 3221224400 3221214648 1131256295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 31911 13073 16 0 210772 0
vsize: 843152
[startup+620.037 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 58502 58 0 0 24 0 11 0 418956096 863387648 32044 4294967295 134512640 134569956 3221224400 3221214648 1131257096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 32044 13073 16 0 210772 0
vsize: 843152
[startup+630.038 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 59459 58 0 0 25 0 11 0 418956096 863387648 32191 4294967295 134512640 134569956 3221224400 3221214632 1131439347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 32191 13073 16 0 210772 0
vsize: 843152
[startup+640.039 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 60400 58 0 0 25 0 11 0 418956096 863387648 32250 4294967295 134512640 134569956 3221224400 3221214520 1131613650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 32250 13073 16 0 210772 0
vsize: 843152
[startup+650.039 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 61341 59 0 0 25 0 11 0 418956096 863387648 32288 4294967295 134512640 134569956 3221224400 3221214664 1131281942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 32288 13073 16 0 210772 0
vsize: 843152
[startup+660.039 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 62279 59 0 0 25 0 11 0 418956096 863387648 32484 4294967295 134512640 134569956 3221224400 3221214624 1131604112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 32484 13073 16 0 210772 0
vsize: 843152
[startup+670.04 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 63219 60 0 0 25 0 11 0 418956096 863387648 32613 4294967295 134512640 134569956 3221224400 3221214404 1131592804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 32613 13073 16 0 210772 0
vsize: 843152
[startup+680.04 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 64147 60 0 0 25 0 11 0 418956096 863387648 32801 4294967295 134512640 134569956 3221224400 3221214732 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 32801 13073 16 0 210772 0
vsize: 843152
[startup+690.041 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 65090 60 0 0 25 0 11 0 418956096 863387648 33021 4294967295 134512640 134569956 3221224400 3221214520 1131492347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 33021 13073 16 0 210772 0
vsize: 843152
[startup+700.042 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 66037 61 0 0 25 0 11 0 418956096 863387648 33164 4294967295 134512640 134569956 3221224400 3221214648 1131256409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 33164 13073 16 0 210772 0
vsize: 843152
[startup+710.041 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 10931
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 66987 61 0 0 25 0 11 0 418956096 863387648 33306 4294967295 134512640 134569956 3221224400 3221214520 1131492319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 33306 13073 16 0 210772 0
vsize: 843152
[startup+720.041 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 67937 62 0 0 25 0 11 0 418956096 863387648 33439 4294967295 134512640 134569956 3221224400 3221214520 1131614457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 33439 13073 16 0 210772 0
vsize: 843152
[startup+730.043 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 10933
Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 68886 62 0 0 25 0 11 0 418956096 863387648 33608 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 33608 13073 16 0 210772 0
vsize: 843152
[startup+740.043 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 69840 63 0 0 25 0 11 0 418956096 863387648 33758 4294967295 134512640 134569956 3221224400 3221214520 1131612611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 33758 13073 16 0 210772 0
vsize: 843152
[startup+750.043 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 70795 63 0 0 25 0 11 0 418956096 863387648 33872 4294967295 134512640 134569956 3221224400 3221214744 1131315299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 33872 13073 16 0 210772 0
vsize: 843152
[startup+760.043 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 71749 63 0 0 25 0 11 0 418956096 863387648 33975 4294967295 134512640 134569956 3221224400 3221214744 1131315088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 33975 13073 16 0 210772 0
vsize: 843152
[startup+770.043 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 72695 63 0 0 25 0 11 0 418956096 863387648 34101 4294967295 134512640 134569956 3221224400 3221214624 1131605964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 34101 13073 16 0 210772 0
vsize: 843152
[startup+780.043 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 73647 64 0 0 25 0 11 0 418956096 863387648 34237 4294967295 134512640 134569956 3221224400 3221214744 1131316375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 34237 13073 16 0 210772 0
vsize: 843152
[startup+790.045 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 74590 64 0 0 25 0 11 0 418956096 863387648 34367 4294967295 134512640 134569956 3221224400 3221214648 1131257087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 34367 13073 16 0 210772 0
vsize: 843152
[startup+800.045 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 75541 64 0 0 25 0 11 0 418956096 863387648 34500 4294967295 134512640 134569956 3221224400 3221214744 1131316364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 34500 13073 16 0 210772 0
vsize: 843152
[startup+810.044 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 76506 65 0 0 25 0 11 0 418956096 863387648 34580 4294967295 134512640 134569956 3221224400 3221214520 1131612630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 34580 13073 16 0 210772 0
vsize: 843152
[startup+820.046 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 77465 65 0 0 25 0 11 0 418956096 863387648 34654 4294967295 134512640 134569956 3221224400 3221214660 1131605875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 34654 13073 16 0 210772 0
vsize: 843152
[startup+830.046 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 78419 65 0 0 25 0 11 0 418956096 863387648 34789 4294967295 134512640 134569956 3221224400 3221214304 1131599454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 34789 13073 16 0 210772 0
vsize: 843152
[startup+840.047 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 79363 65 0 0 25 0 11 0 418956096 863387648 34994 4294967295 134512640 134569956 3221224400 3221214648 1131256362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 34994 13073 16 0 210772 0
vsize: 843152
[startup+850.048 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 80295 65 0 0 25 0 11 0 418956096 863387648 35234 4294967295 134512640 134569956 3221224400 3221214632 1131440226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 35234 13073 16 0 210772 0
vsize: 843152
[startup+860.049 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 81230 66 0 0 25 0 11 0 418956096 863387648 35415 4294967295 134512640 134569956 3221224400 3221214624 1131604256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 35415 13073 16 0 210772 0
vsize: 843152
[startup+870.048 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10933
Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 82166 66 0 0 25 0 11 0 418956096 863387648 35588 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 35588 13073 16 0 210772 0
vsize: 843152
[startup+880.049 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 83107 66 0 0 25 0 11 0 418956096 863387648 35778 4294967295 134512640 134569956 3221224400 3221214520 1131592800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 35778 13073 16 0 210772 0
vsize: 843152
[startup+890.049 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 84042 66 0 0 25 0 11 0 418956096 863387648 35953 4294967295 134512640 134569956 3221224400 3221214624 1131604135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 35953 13073 16 0 210772 0
vsize: 843152
[startup+900.049 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 84978 66 0 0 25 0 11 0 418956096 863387648 36160 4294967295 134512640 134569956 3221224400 3221214648 1131256001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 36160 13073 16 0 210772 0
vsize: 843152
[startup+910.049 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 85911 67 0 0 25 0 11 0 418956096 863387648 36353 4294967295 134512640 134569956 3221224400 3221214648 1131256446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 36353 13073 16 0 210772 0
vsize: 843152
[startup+920.05 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 86847 67 0 0 25 0 11 0 418956096 863387648 36511 4294967295 134512640 134569956 3221224400 3221214544 1131637719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 36511 13073 16 0 210772 0
vsize: 843152
[startup+930.05 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 87773 67 0 0 25 0 11 0 418956096 863387648 36689 4294967295 134512640 134569956 3221224400 3221214520 1131491993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 36689 13073 16 0 210772 0
vsize: 843152
[startup+940.052 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 88708 67 0 0 25 0 11 0 418956096 863387648 36895 4294967295 134512640 134569956 3221224400 3221214648 1131256001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 36895 13073 16 0 210772 0
vsize: 843152
[startup+950.052 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 89648 68 0 0 25 0 11 0 418956096 863387648 37067 4294967295 134512640 134569956 3221224400 3221214520 1131492194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 37067 13073 16 0 210772 0
vsize: 843152
[startup+960.052 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 90579 68 0 0 25 0 11 0 418956096 863387648 37286 4294967295 134512640 134569956 3221224400 3221214520 1131612270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 37286 13073 16 0 210772 0
vsize: 843152
[startup+970.053 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 91522 68 0 0 25 0 11 0 418956096 863387648 37454 4294967295 134512640 134569956 3221224400 3221214464 1131592609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 37454 13073 16 0 210772 0
vsize: 843152
[startup+980.053 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 92458 68 0 0 25 0 11 0 418956096 863387648 37617 4294967295 134512640 134569956 3221224400 3221214656 1131357152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 37617 13073 16 0 210772 0
vsize: 843152
[startup+990.054 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10933
Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 93401 68 0 0 25 0 11 0 418956096 863387648 37782 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 37782 13073 16 0 210772 0
vsize: 843152
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10933
Raw data (stat): 10866 (java) S 10865 10720 10719 0 -1 0 18126 0 1 0 94342 69 0 0 25 0 11 0 418956096 863387648 37965 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 37965 13073 16 0 210772 0
vsize: 843152
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 95284 69 0 0 25 0 11 0 418956096 863387648 38139 4294967295 134512640 134569956 3221224400 3221214408 1131592842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 38139 13073 16 0 210772 0
vsize: 843152
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 96224 69 0 0 25 0 11 0 418956096 863387648 38295 4294967295 134512640 134569956 3221224400 3221214520 1131612608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 38295 13073 16 0 210772 0
vsize: 843152
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 97168 69 0 0 25 0 11 0 418956096 863387648 38462 4294967295 134512640 134569956 3221224400 3221214744 1131316334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 38462 13073 16 0 210772 0
vsize: 843152
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 98113 69 0 0 25 0 11 0 418956096 863387648 38612 4294967295 134512640 134569956 3221224400 3221214520 1131612270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 38612 13073 16 0 210772 0
vsize: 843152
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 99060 69 0 0 25 0 11 0 418956096 863387648 38769 4294967295 134512640 134569956 3221224400 3221214212 1131594569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 38769 13073 16 0 210772 0
vsize: 843152
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 100010 69 0 0 25 0 11 0 418956096 863387648 38914 4294967295 134512640 134569956 3221224400 3221214648 1131257047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 38914 13073 16 0 210772 0
vsize: 843152
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 100959 70 0 0 25 0 11 0 418956096 863387648 39056 4294967295 134512640 134569956 3221224400 3221214744 1131322470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39056 13073 16 0 210772 0
vsize: 843152
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 101908 70 0 0 25 0 11 0 418956096 863387648 39202 4294967295 134512640 134569956 3221224400 3221214504 1131239229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39202 13073 16 0 210772 0
vsize: 843152
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 102860 70 0 0 25 0 11 0 418956096 863387648 39326 4294967295 134512640 134569956 3221224400 3221214520 1131492319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39326 13073 16 0 210772 0
vsize: 843152
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 103805 70 0 0 25 0 11 0 418956096 863387648 39476 4294967295 134512640 134569956 3221224400 3221214520 1131492347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39476 13073 16 0 210772 0
vsize: 843152
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 104758 70 0 0 25 0 11 0 418956096 863387648 39615 4294967295 134512640 134569956 3221224400 3221214744 1131316378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39615 13073 16 0 210772 0
vsize: 843152
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 105713 70 0 0 25 0 11 0 418956096 863387648 39735 4294967295 134512640 134569956 3221224400 3221214648 1131256442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39735 13073 16 0 210772 0
vsize: 843152
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 106668 70 0 0 25 0 11 0 418956096 863387648 39843 4294967295 134512640 134569956 3221224400 3221214648 1131256014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39843 13073 16 0 210772 0
vsize: 843152
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 107628 70 0 0 25 0 11 0 418956096 863387648 39947 4294967295 134512640 134569956 3221224400 3221214624 1131604108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 39947 13073 16 0 210772 0
vsize: 843152
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 108593 70 0 0 25 0 11 0 418956096 863387648 40027 4294967295 134512640 134569956 3221224400 3221214624 1131604112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40027 13073 16 0 210772 0
vsize: 843152
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 109559 70 0 0 25 0 11 0 418956096 863387648 40119 4294967295 134512640 134569956 3221224400 3221214520 1131492347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40119 13073 16 0 210772 0
vsize: 843152
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 110523 70 0 0 25 0 11 0 418956096 863387648 40205 4294967295 134512640 134569956 3221224400 3221214520 1131492319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40205 13073 16 0 210772 0
vsize: 843152
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 111488 70 0 0 25 0 11 0 418956096 863387648 40287 4294967295 134512640 134569956 3221224400 3221214520 1131613690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210788 40287 13073 16 0 210772 0
vsize: 843152
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 112446 70 0 0 24 0 11 0 418956096 863387648 40372 4294967295 134512640 134569956 3221224400 3221214520 1131492481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40372 13073 16 0 210772 0
vsize: 843152
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 113410 70 0 0 25 0 11 0 418956096 863387648 40462 4294967295 134512640 134569956 3221224400 3221214624 1131606127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40462 13073 16 0 210772 0
vsize: 843152
[startup+1210.07 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 114371 70 0 0 25 0 11 0 418956096 863387648 40585 4294967295 134512640 134569956 3221224400 3221214744 1131315360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40585 13073 16 0 210772 0
vsize: 843152
[startup+1220.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 115339 70 0 0 25 0 11 0 418956096 863387648 40668 4294967295 134512640 134569956 3221224400 3221214680 1131275553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40668 13073 16 0 210772 0
vsize: 843152
[startup+1230.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 116304 70 0 0 25 0 11 0 418956096 863387648 40782 4294967295 134512640 134569956 3221224400 3221214832 1131645961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40782 13073 16 0 210772 0
vsize: 843152
[startup+1240.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 117292 70 0 0 25 0 11 0 418956096 863387648 40825 4294967295 134512640 134569956 3221224400 3221214744 1131316337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40825 13073 16 0 210772 0
vsize: 843152
[startup+1250.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 118262 70 0 0 25 0 11 0 418956096 863387648 40879 4294967295 134512640 134569956 3221224400 3221214904 1131130905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40879 13073 16 0 210772 0
vsize: 843152
[startup+1260.07 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 119234 70 0 0 25 0 11 0 418956096 863387648 40958 4294967295 134512640 134569956 3221224400 3221214744 1131315135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 40958 13073 16 0 210772 0
vsize: 843152
[startup+1270.08 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 10933
Raw data (stat): 10866 (java) R 10865 10720 10719 0 -1 0 18126 0 1 0 120212 70 0 0 25 0 11 0 418956096 863387648 41003 4294967295 134512640 134569956 3221224400 3221214632 1131439416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 41003 13073 16 0 210772 0
vsize: 843152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.21 s]
Raw data (loadavg): 1.00 0.97 0.75 1/54 10935
Raw data (stat): 10866 (java) Z 10865 10720 10719 0 -1 1036 18126 28293 1 1 120216 78 8017 68 25 0 1 0 418956096 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): 1270.21
CPU time (s): 1283.81
CPU user time (s): 1282.34
CPU system time (s): 1.47278
CPU usage (%): 101.071
Max. virtual memory (Kb): 845348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####