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/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share1b.opb
MD5SUM	df77dd7325b8c4838e7ddb26764d610e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	620
Biggest coefficient in the objective function	262144000000
Number of bits for the biggest coefficient in the objective function	38
Sum of the numbers in the objective function	2638204214250
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	6932293222400
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	56042652203303
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.25196
Number of variables	4500
Total number of constraints	117
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	117
Minimum length of a constraint	20
Maximum length of a constraint	740
Trace number 19579

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        741424 kB
Buffers:         31816 kB
Cached:         239812 kB
SwapCached:        508 kB
Active:          66728 kB
Inactive:       206972 kB
HighTotal:      131008 kB
HighFree:         3612 kB
LowTotal:       903652 kB
LowFree:        737812 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            13904 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 19:42:53 (client local time) WITH STATUS 143 IN 1226.32 SECONDS
stats: 16363 7 1226.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-share1b.opb
c reading problem 
c [nbvar=4500]
c [nbconstr=117]
c time 9.591
c #vars     4500
c #clauses  207
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.65 0.90 0.89 2/54 1476
Raw data (stat): 1476 (runsolver) R 1475 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489339875 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0038 s]
Raw data (loadavg): 0.85 0.94 0.90 2/63 1485
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18000 0 1 0 794 41 0 0 16 0 10 0 489339875 855728128 20820 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208918 20820 13073 16 0 208902 0
vsize: 835672
[startup+20.0036 s]
Raw data (loadavg): 1.10 0.99 0.92 4/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18070 0 1 0 1496 41 0 0 25 0 11 0 489339875 865988608 23390 4294967295 134512640 134569956 3221224400 3221214032 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211423 23390 13073 16 0 211407 0
vsize: 845692
[startup+30.0274 s]
Raw data (loadavg): 1.08 0.99 0.92 3/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18077 0 1 0 2454 42 0 0 25 0 11 0 489339875 864960512 23391 4294967295 134512640 134569956 3221224400 3221214840 1131330580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211172 23391 13073 16 0 211156 0
vsize: 844688
[startup+40.0277 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18077 0 1 0 3414 42 0 0 25 0 11 0 489339875 862982144 23065 4294967295 134512640 134569956 3221224400 3221214712 1131359115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23065 13073 16 0 210673 0
vsize: 842756
[startup+50.0279 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18077 0 1 0 4386 42 0 0 25 0 11 0 489339875 862982144 23147 4294967295 134512640 134569956 3221224400 3221214672 1131639896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23147 13073 16 0 210673 0
vsize: 842756
[startup+60.0279 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18077 0 1 0 5350 42 0 0 25 0 11 0 489339875 862982144 23254 4294967295 134512640 134569956 3221224400 3221214816 1131243483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23254 13073 16 0 210673 0
vsize: 842756
[startup+70.0283 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18077 0 1 0 6324 42 0 0 25 0 11 0 489339875 862982144 23380 4294967295 134512640 134569956 3221224400 3221214284 1131541840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23380 13073 16 0 210673 0
vsize: 842756
[startup+80.0295 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 7298 42 0 0 25 0 11 0 489339875 862982144 23643 4294967295 134512640 134569956 3221224400 3221214712 1131359108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23643 13073 16 0 210673 0
vsize: 842756
[startup+90.0293 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 8283 42 0 0 25 0 11 0 489339875 862982144 23643 4294967295 134512640 134569956 3221224400 3221214724 1080203680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23643 13073 16 0 210673 0
vsize: 842756
[startup+100.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 9259 42 0 0 25 0 11 0 489339875 862982144 23643 4294967295 134512640 134569956 3221224400 3221214624 1131378722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23643 13073 16 0 210673 0
vsize: 842756
[startup+110.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 10234 42 0 0 25 0 11 0 489339875 862982144 23732 4294967295 134512640 134569956 3221224400 3221214192 1131540028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23732 13073 16 0 210673 0
vsize: 842756
[startup+120.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 11208 42 0 0 25 0 11 0 489339875 862982144 23827 4294967295 134512640 134569956 3221224400 3221214664 1131640011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23827 13073 16 0 210673 0
vsize: 842756
[startup+130.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 12191 42 0 0 25 0 11 0 489339875 862982144 23867 4294967295 134512640 134569956 3221224400 3221214704 1131358212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 23867 13073 16 0 210673 0
vsize: 842756
[startup+140.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 13165 42 0 0 25 0 11 0 489339875 862982144 23943 4294967295 134512640 134569956 3221224400 3221214792 1131243552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 23943 13073 16 0 210673 0
vsize: 842756
[startup+150.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 14139 42 0 0 25 0 11 0 489339875 862982144 24040 4294967295 134512640 134569956 3221224400 3221214368 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24040 13073 16 0 210673 0
vsize: 842756
[startup+160.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 15113 42 0 0 25 0 11 0 489339875 862982144 24094 4294967295 134512640 134569956 3221224400 3221214472 1131472526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24094 13073 16 0 210673 0
vsize: 842756
[startup+170.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 16087 42 0 0 25 0 11 0 489339875 862982144 24166 4294967295 134512640 134569956 3221224400 3221214792 1131243382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24166 13073 16 0 210673 0
vsize: 842756
[startup+180.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 17070 42 0 0 25 0 11 0 489339875 862982144 24242 4294967295 134512640 134569956 3221224400 3221214704 1131445015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24242 13073 16 0 210673 0
vsize: 842756
[startup+190.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 18044 42 0 0 25 0 11 0 489339875 862982144 24322 4294967295 134512640 134569956 3221224400 3221214704 1131358479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24322 13073 16 0 210673 0
vsize: 842756
[startup+200.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 19026 42 0 0 25 0 11 0 489339875 862982144 24388 4294967295 134512640 134569956 3221224400 3221214480 1131498959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24388 13073 16 0 210673 0
vsize: 842756
[startup+210.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 20008 42 0 0 25 0 11 0 489339875 862982144 24442 4294967295 134512640 134569956 3221224400 3221213960 1131541911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24442 13073 16 0 210673 0
vsize: 842756
[startup+220.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 20990 42 0 0 25 0 11 0 489339875 862982144 24501 4294967295 134512640 134569956 3221224400 3221214792 1131243493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 24501 13073 16 0 210673 0
vsize: 842756
[startup+230.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 21962 42 0 0 25 0 11 0 489339875 862982144 24608 4294967295 134512640 134569956 3221224400 3221214664 1131640028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 24608 13073 16 0 210673 0
vsize: 842756
[startup+240.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 22944 43 0 0 25 0 11 0 489339875 862982144 24644 4294967295 134512640 134569956 3221224400 3221214048 1131540040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 24644 13073 16 0 210673 0
vsize: 842756
[startup+250.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 23925 43 0 0 25 0 11 0 489339875 862982144 24703 4294967295 134512640 134569956 3221224400 3221214504 1131656936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 24703 13073 16 0 210673 0
vsize: 842756
[startup+260.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 24897 43 0 0 25 0 11 0 489339875 862982144 24776 4294967295 134512640 134569956 3221224400 3221214704 1131445679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24776 13073 16 0 210673 0
vsize: 842756
[startup+270.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 25880 43 0 0 25 0 11 0 489339875 862982144 24821 4294967295 134512640 134569956 3221224400 3221214280 1131541809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 24821 13073 16 0 210673 0
vsize: 842756
[startup+280.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 26853 43 0 0 25 0 11 0 489339875 862982144 24899 4294967295 134512640 134569956 3221224400 3221214704 1131359122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 24899 13073 16 0 210673 0
vsize: 842756
[startup+290.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 27836 43 0 0 25 0 11 0 489339875 862982144 24941 4294967295 134512640 134569956 3221224400 3221214588 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 24941 13073 16 0 210673 0
vsize: 842756
[startup+300.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 28818 44 0 0 25 0 11 0 489339875 862982144 24988 4294967295 134512640 134569956 3221224400 3221214832 1131178560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 24988 13073 16 0 210673 0
vsize: 842756
[startup+310.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 29800 44 0 0 25 0 11 0 489339875 862982144 25050 4294967295 134512640 134569956 3221224400 3221214704 1131359108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 25050 13073 16 0 210673 0
vsize: 842756
[startup+320.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 30783 44 0 0 25 0 11 0 489339875 862982144 25117 4294967295 134512640 134569956 3221224400 3221214232 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25117 13073 16 0 210673 0
vsize: 842756
[startup+330.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 31765 44 0 0 25 0 11 0 489339875 862982144 25176 4294967295 134512640 134569956 3221224400 3221214096 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25176 13073 16 0 210673 0
vsize: 842756
[startup+340.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 32749 44 0 0 25 0 11 0 489339875 862982144 25270 4294967295 134512640 134569956 3221224400 3221214560 1131235991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 25270 13073 16 0 210673 0
vsize: 842756
[startup+350.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 33725 45 0 0 25 0 11 0 489339875 862982144 25360 4294967295 134512640 134569956 3221224400 3221214296 1080217037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25360 13073 16 0 210673 0
vsize: 842756
[startup+360.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 34716 45 0 0 25 0 11 0 489339875 862982144 25393 4294967295 134512640 134569956 3221224400 3221214232 1131541884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25393 13073 16 0 210673 0
vsize: 842756
[startup+370.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 35699 45 0 0 25 0 11 0 489339875 862982144 25440 4294967295 134512640 134569956 3221224400 3221214664 1131640011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25440 13073 16 0 210673 0
vsize: 842756
[startup+380.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 36674 45 0 0 25 0 11 0 489339875 862982144 25524 4294967295 134512640 134569956 3221224400 3221214488 1131465754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25524 13073 16 0 210673 0
vsize: 842756
[startup+390.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 37657 46 0 0 25 0 11 0 489339875 862982144 25573 4294967295 134512640 134569956 3221224400 3221214056 1131540042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25573 13073 16 0 210673 0
vsize: 842756
[startup+400.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 38641 46 0 0 25 0 11 0 489339875 862982144 25612 4294967295 134512640 134569956 3221224400 3221214480 1131502251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25612 13073 16 0 210673 0
vsize: 842756
[startup+410.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 39625 47 0 0 25 0 11 0 489339875 862982144 25638 4294967295 134512640 134569956 3221224400 3221214192 1131540015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25638 13073 16 0 210673 0
vsize: 842756
[startup+420.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 40601 47 0 0 25 0 11 0 489339875 862982144 25690 4294967295 134512640 134569956 3221224400 3221214152 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25690 13073 16 0 210673 0
vsize: 842756
[startup+430.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 41585 47 0 0 24 0 11 0 489339875 862982144 25725 4294967295 134512640 134569956 3221224400 3221214480 1131504451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25725 13073 16 0 210673 0
vsize: 842756
[startup+440.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 42577 47 0 0 25 0 11 0 489339875 862982144 25741 4294967295 134512640 134569956 3221224400 3221214664 1131639872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 25741 13073 16 0 210673 0
vsize: 842756
[startup+450.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 43560 47 0 0 25 0 11 0 489339875 862982144 25792 4294967295 134512640 134569956 3221224400 3221214140 1131541904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25792 13073 16 0 210673 0
vsize: 842756
[startup+460.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 44544 48 0 0 25 0 11 0 489339875 862982144 25846 4294967295 134512640 134569956 3221224400 3221214832 1131330497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25846 13073 16 0 210673 0
vsize: 842756
[startup+470.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 45527 48 0 0 25 0 11 0 489339875 862982144 25895 4294967295 134512640 134569956 3221224400 3221214640 1131655601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25895 13073 16 0 210673 0
vsize: 842756
[startup+480.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 46511 48 0 0 25 0 11 0 489339875 862982144 25947 4294967295 134512640 134569956 3221224400 3221214368 1131652519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 25947 13073 16 0 210673 0
vsize: 842756
[startup+490.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 47496 48 0 0 25 0 11 0 489339875 862982144 25996 4294967295 134512640 134569956 3221224400 3221214368 1131663237 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 25996 13073 16 0 210673 0
vsize: 842756
[startup+500.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 48480 49 0 0 25 0 11 0 489339875 862982144 26036 4294967295 134512640 134569956 3221224400 3221214856 1131268909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26036 13073 16 0 210673 0
vsize: 842756
[startup+510.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 49464 49 0 0 25 0 11 0 489339875 862982144 26081 4294967295 134512640 134569956 3221224400 3221214560 1131235857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26081 13073 16 0 210673 0
vsize: 842756
[startup+520.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 50448 49 0 0 25 0 11 0 489339875 862982144 26175 4294967295 134512640 134569956 3221224400 3221214452 1131541904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26175 13073 16 0 210673 0
vsize: 842756
[startup+530.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 51434 49 0 0 25 0 11 0 489339875 862982144 26227 4294967295 134512640 134569956 3221224400 3221214704 1131358479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26227 13073 16 0 210673 0
vsize: 842756
[startup+540.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 52419 49 0 0 25 0 11 0 489339875 862982144 26265 4294967295 134512640 134569956 3221224400 3221214504 1085679502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26265 13073 16 0 210673 0
vsize: 842756
[startup+550.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 53404 49 0 0 25 0 11 0 489339875 862982144 26303 4294967295 134512640 134569956 3221224400 3221214272 1080217310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26303 13073 16 0 210673 0
vsize: 842756
[startup+560.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 54389 50 0 0 25 0 11 0 489339875 862982144 26336 4294967295 134512640 134569956 3221224400 3221214320 1131541880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26336 13073 16 0 210673 0
vsize: 842756
[startup+570.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 55382 50 0 0 25 0 11 0 489339875 862982144 26353 4294967295 134512640 134569956 3221224400 3221214368 1131663408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 26353 13073 16 0 210673 0
vsize: 842756
[startup+580.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 56367 50 0 0 25 0 11 0 489339875 862982144 26384 4294967295 134512640 134569956 3221224400 3221214232 1131654440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26384 13073 16 0 210673 0
vsize: 842756
[startup+590.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 57352 50 0 0 25 0 11 0 489339875 862982144 26419 4294967295 134512640 134569956 3221224400 3221214632 1131542613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26419 13073 16 0 210673 0
vsize: 842756
[startup+600.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 58344 51 0 0 25 0 11 0 489339875 862982144 26444 4294967295 134512640 134569956 3221224400 3221214500 1131542592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26444 13073 16 0 210673 0
vsize: 842756
[startup+610.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 59328 51 0 0 25 0 11 0 489339875 862982144 26497 4294967295 134512640 134569956 3221224400 3221214880 1131301944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26497 13073 16 0 210673 0
vsize: 842756
[startup+620.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 60321 51 0 0 25 0 11 0 489339875 862982144 26518 4294967295 134512640 134569956 3221224400 3221214088 1131652800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 26518 13073 16 0 210673 0
vsize: 842756
[startup+630.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 61298 51 0 0 25 0 11 0 489339875 862982144 26581 4294967295 134512640 134569956 3221224400 3221214792 1131243441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26581 13073 16 0 210673 0
vsize: 842756
[startup+640.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 62283 51 0 0 25 0 11 0 489339875 862982144 26627 4294967295 134512640 134569956 3221224400 3221214632 1131654535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26627 13073 16 0 210673 0
vsize: 842756
[startup+650.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 63269 51 0 0 25 0 11 0 489339875 862982144 26660 4294967295 134512640 134569956 3221224400 3221214232 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26660 13073 16 0 210673 0
vsize: 842756
[startup+660.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 64247 51 0 0 25 0 11 0 489339875 862982144 26715 4294967295 134512640 134569956 3221224400 3221214588 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26715 13073 16 0 210673 0
vsize: 842756
[startup+670.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 65233 51 0 0 25 0 11 0 489339875 862982144 26760 4294967295 134512640 134569956 3221224400 3221214552 1131343984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26760 13073 16 0 210673 0
vsize: 842756
[startup+680.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 66219 52 0 0 25 0 11 0 489339875 862982144 26822 4294967295 134512640 134569956 3221224400 3221214504 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26822 13073 16 0 210673 0
vsize: 842756
[startup+690.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 67211 52 0 0 25 0 11 0 489339875 862982144 26840 4294967295 134512640 134569956 3221224400 3221214096 1131652706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26840 13073 16 0 210673 0
vsize: 842756
[startup+700.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 68197 53 0 0 25 0 11 0 489339875 862982144 26883 4294967295 134512640 134569956 3221224400 3221214636 1131657097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26883 13073 16 0 210673 0
vsize: 842756
[startup+710.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 69183 53 0 0 25 0 11 0 489339875 862982144 26919 4294967295 134512640 134569956 3221224400 3221214792 1131243194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26919 13073 16 0 210673 0
vsize: 842756
[startup+720.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 70175 53 0 0 25 0 11 0 489339875 862982144 26934 4294967295 134512640 134569956 3221224400 3221213784 1131540007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 26934 13073 16 0 210673 0
vsize: 842756
[startup+730.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 71159 53 0 0 25 0 11 0 489339875 862982144 26970 4294967295 134512640 134569956 3221224400 3221214048 1131541880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26970 13073 16 0 210673 0
vsize: 842756
[startup+740.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 72151 53 0 0 25 0 11 0 489339875 862982144 26988 4294967295 134512640 134569956 3221224400 3221214232 1085679331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 26988 13073 16 0 210673 0
vsize: 842756
[startup+750.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 73134 54 0 0 25 0 11 0 489339875 862982144 27031 4294967295 134512640 134569956 3221224400 3221214504 1131652760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27031 13073 16 0 210673 0
vsize: 842756
[startup+760.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 74118 54 0 0 25 0 11 0 489339875 862982144 27071 4294967295 134512640 134569956 3221224400 3221214792 1131242817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27071 13073 16 0 210673 0
vsize: 842756
[startup+770.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 75109 54 0 0 25 0 11 0 489339875 862982144 27092 4294967295 134512640 134569956 3221224400 3221214792 1131244304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 27092 13073 16 0 210673 0
vsize: 842756
[startup+780.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 76093 55 0 0 25 0 11 0 489339875 862982144 27133 4294967295 134512640 134569956 3221224400 3221214008 1131541905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27133 13073 16 0 210673 0
vsize: 842756
[startup+790.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 77076 55 0 0 25 0 11 0 489339875 862982144 27169 4294967295 134512640 134569956 3221224400 3221214368 1131661682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27169 13073 16 0 210673 0
vsize: 842756
[startup+800.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 78059 55 0 0 25 0 11 0 489339875 862982144 27189 4294967295 134512640 134569956 3221224400 3221214832 1131178585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27189 13073 16 0 210673 0
vsize: 842756
[startup+810.062 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 79042 56 0 0 25 0 11 0 489339875 862982144 27215 4294967295 134512640 134569956 3221224400 3221214928 1131616997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27215 13073 16 0 210673 0
vsize: 842756
[startup+820.062 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 80034 56 0 0 25 0 11 0 489339875 862982144 27228 4294967295 134512640 134569956 3221224400 3221214368 1131652835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27228 13073 16 0 210673 0
vsize: 842756
[startup+830.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 81017 56 0 0 25 0 11 0 489339875 862982144 27261 4294967295 134512640 134569956 3221224400 3221214092 1131541904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27261 13073 16 0 210673 0
vsize: 842756
[startup+840.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 82000 56 0 0 25 0 11 0 489339875 862982144 27285 4294967295 134512640 134569956 3221224400 3221213864 1131540034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27285 13073 16 0 210673 0
vsize: 842756
[startup+850.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 82983 57 0 0 25 0 11 0 489339875 862982144 27316 4294967295 134512640 134569956 3221224400 3221214232 1131652641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27316 13073 16 0 210673 0
vsize: 842756
[startup+860.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 83965 57 0 0 25 0 11 0 489339875 862982144 27357 4294967295 134512640 134569956 3221224400 3221214832 1131178560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27357 13073 16 0 210673 0
vsize: 842756
[startup+870.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 84956 57 0 0 25 0 11 0 489339875 862982144 27377 4294967295 134512640 134569956 3221224400 3221214052 1131542592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27377 13073 16 0 210673 0
vsize: 842756
[startup+880.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 85939 57 0 0 25 0 11 0 489339875 862982144 27413 4294967295 134512640 134569956 3221224400 3221214044 1131541904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27413 13073 16 0 210673 0
vsize: 842756
[startup+890.066 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 86930 58 0 0 25 0 11 0 489339875 862982144 27447 4294967295 134512640 134569956 3221224400 3221213912 1131541905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27447 13073 16 0 210673 0
vsize: 842756
[startup+900.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 87913 59 0 0 24 0 11 0 489339875 862982144 27564 4294967295 134512640 134569956 3221224400 3221214640 1131667148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27564 13073 16 0 210673 0
vsize: 842756
[startup+910.066 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 88905 59 0 0 25 0 11 0 489339875 862982144 27589 4294967295 134512640 134569956 3221224400 3221214048 1131541753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27589 13073 16 0 210673 0
vsize: 842756
[startup+920.066 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 89896 59 0 0 25 0 11 0 489339875 862982144 27616 4294967295 134512640 134569956 3221224400 3221214504 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27616 13073 16 0 210673 0
vsize: 842756
[startup+930.067 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 90881 59 0 0 25 0 11 0 489339875 862982144 27665 4294967295 134512640 134569956 3221224400 3221214792 1131243570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27665 13073 16 0 210673 0
vsize: 842756
[startup+940.067 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 91873 59 0 0 25 0 11 0 489339875 862982144 27683 4294967295 134512640 134569956 3221224400 3221214504 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27683 13073 16 0 210673 0
vsize: 842756
[startup+950.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 92857 60 0 0 25 0 11 0 489339875 862982144 27728 4294967295 134512640 134569956 3221224400 3221214368 1131661456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27728 13073 16 0 210673 0
vsize: 842756
[startup+960.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 93849 60 0 0 25 0 11 0 489339875 862982144 27747 4294967295 134512640 134569956 3221224400 3221213880 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 27747 13073 16 0 210673 0
vsize: 842756
[startup+970.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 94833 60 0 0 25 0 11 0 489339875 862982144 27785 4294967295 134512640 134569956 3221224400 3221214008 1131541856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27785 13073 16 0 210673 0
vsize: 842756
[startup+980.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 95818 60 0 0 25 0 11 0 489339875 862982144 27819 4294967295 134512640 134569956 3221224400 3221214320 1131541905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27819 13073 16 0 210673 0
vsize: 842756
[startup+990.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 96802 61 0 0 25 0 11 0 489339875 862982144 27858 4294967295 134512640 134569956 3221224400 3221214184 1131541825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27858 13073 16 0 210673 0
vsize: 842756
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 97793 61 0 0 25 0 11 0 489339875 862982144 27875 4294967295 134512640 134569956 3221224400 3221214096 1131541762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27875 13073 16 0 210673 0
vsize: 842756
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 98777 61 0 0 25 0 11 0 489339875 862982144 27906 4294967295 134512640 134569956 3221224400 3221214592 1131541905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27906 13073 16 0 210673 0
vsize: 842756
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 99769 61 0 0 25 0 11 0 489339875 862982144 27924 4294967295 134512640 134569956 3221224400 3221214088 1131542613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27924 13073 16 0 210673 0
vsize: 842756
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 100753 61 0 0 25 0 11 0 489339875 862982144 27962 4294967295 134512640 134569956 3221224400 3221213824 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27962 13073 16 0 210673 0
vsize: 842756
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 101737 62 0 0 25 0 11 0 489339875 862982144 27997 4294967295 134512640 134569956 3221224400 3221214232 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 27997 13073 16 0 210673 0
vsize: 842756
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 102721 62 0 0 25 0 11 0 489339875 862982144 28026 4294967295 134512640 134569956 3221224400 3221213784 1085679440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 28026 13073 16 0 210673 0
vsize: 842756
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 103705 63 0 0 25 0 11 0 489339875 862982144 28074 4294967295 134512640 134569956 3221224400 3221214640 1131665992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28074 13073 16 0 210673 0
vsize: 842756
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 104697 63 0 0 25 0 11 0 489339875 862982144 28105 4294967295 134512640 134569956 3221224400 3221213960 1131669052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28105 13073 16 0 210673 0
vsize: 842756
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 105682 64 0 0 25 0 11 0 489339875 862982144 28155 4294967295 134512640 134569956 3221224400 3221214184 1131540040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28155 13073 16 0 210673 0
vsize: 842756
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 106666 64 0 0 25 0 11 0 489339875 862982144 28193 4294967295 134512640 134569956 3221224400 3221214832 1131178577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28193 13073 16 0 210673 0
vsize: 842756
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 107652 64 0 0 25 0 11 0 489339875 862982144 28241 4294967295 134512640 134569956 3221224400 3221214792 1131243475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28241 13073 16 0 210673 0
vsize: 842756
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 108637 65 0 0 25 0 11 0 489339875 862982144 28283 4294967295 134512640 134569956 3221224400 3221214832 1131178560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28283 13073 16 0 210673 0
vsize: 842756
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 109622 65 0 0 25 0 11 0 489339875 862982144 28324 4294967295 134512640 134569956 3221224400 3221214368 1131658603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28324 13073 16 0 210673 0
vsize: 842756
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 110614 65 0 0 25 0 11 0 489339875 862982144 28343 4294967295 134512640 134569956 3221224400 3221214640 1131663116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 28343 13073 16 0 210673 0
vsize: 842756
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 111600 66 0 0 25 0 11 0 489339875 862982144 28379 4294967295 134512640 134569956 3221224400 3221214664 1131639888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28379 13073 16 0 210673 0
vsize: 842756
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 112592 66 0 0 25 0 11 0 489339875 862982144 28395 4294967295 134512640 134569956 3221224400 3221214504 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28395 13073 16 0 210673 0
vsize: 842756
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 113585 66 0 0 25 0 11 0 489339875 862982144 28419 4294967295 134512640 134569956 3221224400 3221214792 1131243588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210689 28419 13073 16 0 210673 0
vsize: 842756
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 114570 66 0 0 25 0 11 0 489339875 862982144 28451 4294967295 134512640 134569956 3221224400 3221214592 1131494062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28451 13073 16 0 210673 0
vsize: 842756
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 115563 67 0 0 25 0 11 0 489339875 862982144 28468 4294967295 134512640 134569956 3221224400 3221214560 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28468 13073 16 0 210673 0
vsize: 842756
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 116548 67 0 0 25 0 11 0 489339875 862982144 28506 4294967295 134512640 134569956 3221224400 3221214232 1131658553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28506 13073 16 0 210673 0
vsize: 842756
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 117540 67 0 0 25 0 11 0 489339875 862982144 28524 4294967295 134512640 134569956 3221224400 3221214368 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28524 13073 16 0 210673 0
vsize: 842756
[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 118525 67 0 0 25 0 11 0 489339875 862982144 28557 4294967295 134512640 134569956 3221224400 3221214704 1131358479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28557 13073 16 0 210673 0
vsize: 842756
[startup+1220.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) R 1475 25285 25284 0 -1 0 18078 0 1 0 119518 68 0 0 25 0 11 0 489339875 862982144 28572 4294967295 134512640 134569956 3221224400 3221214504 1131654363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28572 13073 16 0 210673 0
vsize: 842756
[startup+1230.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 1486
Raw data (stat): 1476 (java) S 1475 25285 25284 0 -1 0 18078 0 1 0 120508 68 0 0 25 0 11 0 489339875 862982144 28588 4294967295 134512640 134569956 3221224400 3221213432 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210689 28588 13073 16 0 210673 0
vsize: 842756
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.25 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 1488
Raw data (stat): 1476 (java) Z 1475 25285 25284 0 -1 1036 18078 8033 1 0 120514 68 2030 18 24 0 1 0 489339875 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): 1230.25
CPU time (s): 1226.32
CPU user time (s): 1225.45
CPU system time (s): 0.864868
CPU usage (%): 99.6803
Max. virtual memory (Kb): 845692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####