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/MIPLIB/miplib3/normalized-mps-v2-13-7-qiu.opb
MD5SUM	4c28b5d69ca148b9520954a67787770d
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	5328
Biggest coefficient in the objective function	8885108736
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	4692033563496
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	8885108736
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	4692033563496
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.137978
Number of variables	15888
Total number of constraints	1192
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	1192
Minimum length of a constraint	21
Maximum length of a constraint	3960
Trace number 17953

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        527648 kB
Buffers:         31096 kB
Cached:         448472 kB
SwapCached:        104 kB
Active:         189704 kB
Inactive:       292288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        527396 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19324 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 13:10:16 (client local time) WITH STATUS 143 IN 1251.82 SECONDS
stats: 18794 7 1251.82 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-qiu.opb
c reading problem 
c [nbvar=15888]
c [nbconstr=1192]
c time 76.286
c #vars     15888
c #clauses  1325
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.59 0.85 0.87 2/54 26359
Raw data (stat): 26359 (runsolver) R 26358 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545212637 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.001 s]
Raw data (loadavg): 0.73 0.87 0.88 2/63 26368
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 17979 0 1 0 892 39 0 0 25 0 10 0 545212637 853491712 19180 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208372 19180 13073 16 0 208356 0
vsize: 833488
[startup+20.0011 s]
Raw data (loadavg): 0.77 0.88 0.88 2/63 26368
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 17984 0 1 0 1709 40 0 0 25 0 10 0 545212637 856670208 20706 4294967295 134512640 134569956 3221224400 3221214848 1131280184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209148 20706 13073 16 0 209132 0
vsize: 836592
[startup+30.0023 s]
Raw data (loadavg): 0.80 0.88 0.88 2/63 26368
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 17985 0 1 0 2569 40 0 0 25 0 10 0 545212637 856670208 21199 4294967295 134512640 134569956 3221224400 3221214200 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209148 21199 13073 16 0 209132 0
vsize: 836592
[startup+40.006 s]
Raw data (loadavg): 0.83 0.88 0.88 2/63 26368
Raw data (stat): 26359 (java) S 26358 10614 10613 0 -1 0 17985 0 1 0 3466 40 0 0 25 0 10 0 545212637 856670208 21571 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209148 21571 13073 16 0 209132 0
vsize: 836592
[startup+50.0061 s]
Raw data (loadavg): 0.86 0.89 0.88 2/63 26368
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 17985 0 1 0 4370 40 0 0 24 0 10 0 545212637 856670208 21766 4294967295 134512640 134569956 3221224400 3221214848 1131281102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209148 21766 13073 16 0 209132 0
vsize: 836592
[startup+60.0074 s]
Raw data (loadavg): 0.88 0.89 0.88 2/63 26368
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 17985 0 1 0 5274 41 0 0 19 0 10 0 545212637 856670208 21950 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209148 21950 13073 16 0 209132 0
vsize: 836592
[startup+70.0079 s]
Raw data (loadavg): 0.90 0.89 0.88 2/63 26368
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 17985 0 1 0 6190 41 0 0 25 0 10 0 545212637 856670208 22169 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209148 22169 13073 16 0 209132 0
vsize: 836592
[startup+80.0082 s]
Raw data (loadavg): 0.91 0.90 0.88 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18028 0 1 0 7102 42 0 0 25 0 11 0 545212637 857493504 23115 4294967295 134512640 134569956 3221224400 3221214688 1131248620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209349 23115 13073 16 0 209333 0
vsize: 837396
[startup+90.0093 s]
Raw data (loadavg): 1.23 0.96 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18071 0 1 0 7898 42 0 0 25 0 11 0 545212637 862023680 24405 4294967295 134512640 134569956 3221224400 3221214688 1131248767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 24405 13073 16 0 210439 0
vsize: 841820
[startup+100.01 s]
Raw data (loadavg): 1.19 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18072 0 1 0 8811 42 0 0 24 0 11 0 545212637 862023680 24268 4294967295 134512640 134569956 3221224400 3221214776 1131368808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 24268 13073 16 0 210439 0
vsize: 841820
[startup+110.011 s]
Raw data (loadavg): 1.16 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18072 0 1 0 9733 42 0 0 25 0 11 0 545212637 862023680 24268 4294967295 134512640 134569956 3221224400 3221214688 1131248620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 24268 13073 16 0 210439 0
vsize: 841820
[startup+120.011 s]
Raw data (loadavg): 1.14 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18072 0 1 0 10651 43 0 0 25 0 11 0 545212637 862023680 25019 4294967295 134512640 134569956 3221224400 3221214680 1131326691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25019 13073 16 0 210439 0
vsize: 841820
[startup+130.011 s]
Raw data (loadavg): 1.11 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18072 0 1 0 11641 43 0 0 25 0 11 0 545212637 862023680 25046 4294967295 134512640 134569956 3221224400 3221214688 1131249846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25046 13073 16 0 210439 0
vsize: 841820
[startup+140.011 s]
Raw data (loadavg): 1.10 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 12631 43 0 0 25 0 11 0 545212637 862023680 25065 4294967295 134512640 134569956 3221224400 3221214808 1131298989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25065 13073 16 0 210439 0
vsize: 841820
[startup+150.012 s]
Raw data (loadavg): 1.08 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 13620 43 0 0 25 0 11 0 545212637 862023680 25083 4294967295 134512640 134569956 3221224400 3221214680 1131326585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25083 13073 16 0 210439 0
vsize: 841820
[startup+160.013 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 14607 43 0 0 25 0 11 0 545212637 862023680 25107 4294967295 134512640 134569956 3221224400 3221214776 1131365559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25107 13073 16 0 210439 0
vsize: 841820
[startup+170.014 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 15595 43 0 0 25 0 11 0 545212637 862023680 25150 4294967295 134512640 134569956 3221224400 3221214776 1131368684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25150 13073 16 0 210439 0
vsize: 841820
[startup+180.013 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 16584 43 0 0 25 0 11 0 545212637 862023680 25194 4294967295 134512640 134569956 3221224400 3221214776 1131365860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25194 13073 16 0 210439 0
vsize: 841820
[startup+190.017 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) S 26358 10614 10613 0 -1 0 18073 0 1 0 17574 43 0 0 25 0 11 0 545212637 862023680 25232 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25232 13073 16 0 210439 0
vsize: 841820
[startup+200.016 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 18562 43 0 0 25 0 11 0 545212637 862023680 25269 4294967295 134512640 134569956 3221224400 3221214688 1131248620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25269 13073 16 0 210439 0
vsize: 841820
[startup+210.017 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 19548 43 0 0 25 0 11 0 545212637 862023680 25301 4294967295 134512640 134569956 3221224400 3221214776 1131365064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25301 13073 16 0 210439 0
vsize: 841820
[startup+220.018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 20533 43 0 0 25 0 11 0 545212637 862023680 25362 4294967295 134512640 134569956 3221224400 3221214808 1131299159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25362 13073 16 0 210439 0
vsize: 841820
[startup+230.018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 21518 44 0 0 25 0 11 0 545212637 862023680 25413 4294967295 134512640 134569956 3221224400 3221214768 1131211186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25413 13073 16 0 210439 0
vsize: 841820
[startup+240.018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 22505 44 0 0 25 0 11 0 545212637 862023680 25491 4294967295 134512640 134569956 3221224400 3221214776 1131363537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25491 13073 16 0 210439 0
vsize: 841820
[startup+250.018 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 23491 44 0 0 25 0 11 0 545212637 862023680 25549 4294967295 134512640 134569956 3221224400 3221214776 1131365064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25549 13073 16 0 210439 0
vsize: 841820
[startup+260.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 24479 44 0 0 25 0 11 0 545212637 862023680 25616 4294967295 134512640 134569956 3221224400 3221214592 1131416504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25616 13073 16 0 210439 0
vsize: 841820
[startup+270.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 25465 44 0 0 25 0 11 0 545212637 862023680 25668 4294967295 134512640 134569956 3221224400 3221214688 1131248644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25668 13073 16 0 210439 0
vsize: 841820
[startup+280.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 26453 44 0 0 25 0 11 0 545212637 862023680 25729 4294967295 134512640 134569956 3221224400 3221214680 1131327236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25729 13073 16 0 210439 0
vsize: 841820
[startup+290.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 27440 44 0 0 25 0 11 0 545212637 862023680 25787 4294967295 134512640 134569956 3221224400 3221214776 1131363716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25787 13073 16 0 210439 0
vsize: 841820
[startup+300.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 28428 44 0 0 25 0 11 0 545212637 862023680 25836 4294967295 134512640 134569956 3221224400 3221214808 1131299117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25836 13073 16 0 210439 0
vsize: 841820
[startup+310.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 29416 45 0 0 25 0 11 0 545212637 862023680 25894 4294967295 134512640 134569956 3221224400 3221214776 1131369722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25894 13073 16 0 210439 0
vsize: 841820
[startup+320.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 30401 45 0 0 24 0 11 0 545212637 862023680 25947 4294967295 134512640 134569956 3221224400 3221214776 1131368808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 25947 13073 16 0 210439 0
vsize: 841820
[startup+330.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 31387 45 0 0 25 0 11 0 545212637 862023680 26000 4294967295 134512640 134569956 3221224400 3221214688 1131248635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26000 13073 16 0 210439 0
vsize: 841820
[startup+340.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 32373 45 0 0 25 0 11 0 545212637 862023680 26070 4294967295 134512640 134569956 3221224400 3221214748 1131361888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26070 13073 16 0 210439 0
vsize: 841820
[startup+350.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 33360 45 0 0 25 0 11 0 545212637 862023680 26142 4294967295 134512640 134569956 3221224400 3221214776 1131369356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26142 13073 16 0 210439 0
vsize: 841820
[startup+360.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 34346 45 0 0 25 0 11 0 545212637 862023680 26212 4294967295 134512640 134569956 3221224400 3221214688 1131248548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26212 13073 16 0 210439 0
vsize: 841820
[startup+370.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 35330 45 0 0 25 0 11 0 545212637 862023680 26286 4294967295 134512640 134569956 3221224400 3221214772 1131211202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26286 13073 16 0 210439 0
vsize: 841820
[startup+380.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 36315 45 0 0 25 0 11 0 545212637 862023680 26373 4294967295 134512640 134569956 3221224400 3221214768 1131211171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26373 13073 16 0 210439 0
vsize: 841820
[startup+390.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 37299 45 0 0 25 0 11 0 545212637 862023680 26445 4294967295 134512640 134569956 3221224400 3221214776 1131369051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26445 13073 16 0 210439 0
vsize: 841820
[startup+400.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 38281 45 0 0 25 0 11 0 545212637 862023680 26520 4294967295 134512640 134569956 3221224400 3221214808 1131300330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26520 13073 16 0 210439 0
vsize: 841820
[startup+410.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 39262 45 0 0 25 0 11 0 545212637 862023680 26596 4294967295 134512640 134569956 3221224400 3221214776 1131365604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26596 13073 16 0 210439 0
vsize: 841820
[startup+420.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 40244 45 0 0 25 0 11 0 545212637 862023680 26725 4294967295 134512640 134569956 3221224400 3221214776 1131369380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26725 13073 16 0 210439 0
vsize: 841820
[startup+430.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 41229 45 0 0 25 0 11 0 545212637 862023680 26797 4294967295 134512640 134569956 3221224400 3221214776 1131369380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26797 13073 16 0 210439 0
vsize: 841820
[startup+440.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 42214 45 0 0 25 0 11 0 545212637 862023680 26868 4294967295 134512640 134569956 3221224400 3221214728 1131246662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26868 13073 16 0 210439 0
vsize: 841820
[startup+450.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 43199 45 0 0 25 0 11 0 545212637 862023680 26952 4294967295 134512640 134569956 3221224400 3221214688 1131248787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 26952 13073 16 0 210439 0
vsize: 841820
[startup+460.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 44184 46 0 0 25 0 11 0 545212637 862023680 27030 4294967295 134512640 134569956 3221224400 3221214776 1131369380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27030 13073 16 0 210439 0
vsize: 841820
[startup+470.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 45169 46 0 0 25 0 11 0 545212637 862023680 27106 4294967295 134512640 134569956 3221224400 3221214688 1131249830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27106 13073 16 0 210439 0
vsize: 841820
[startup+480.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 46153 46 0 0 25 0 11 0 545212637 862023680 27186 4294967295 134512640 134569956 3221224400 3221214688 1131248753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27186 13073 16 0 210439 0
vsize: 841820
[startup+490.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 47138 46 0 0 25 0 11 0 545212637 862023680 27266 4294967295 134512640 134569956 3221224400 3221214688 1131248552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27266 13073 16 0 210439 0
vsize: 841820
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 48124 46 0 0 25 0 11 0 545212637 862023680 27330 4294967295 134512640 134569956 3221224400 3221214680 1131326599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27330 13073 16 0 210439 0
vsize: 841820
[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 49109 46 0 0 25 0 11 0 545212637 862023680 27393 4294967295 134512640 134569956 3221224400 3221214688 1131248491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27393 13073 16 0 210439 0
vsize: 841820
[startup+520.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 50095 46 0 0 25 0 11 0 545212637 862023680 27464 4294967295 134512640 134569956 3221224400 3221214680 1131326591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27464 13073 16 0 210439 0
vsize: 841820
[startup+530.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 51080 46 0 0 25 0 11 0 545212637 862023680 27533 4294967295 134512640 134569956 3221224400 3221214808 1131299159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27533 13073 16 0 210439 0
vsize: 841820
[startup+540.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 52065 46 0 0 24 0 11 0 545212637 862023680 27590 4294967295 134512640 134569956 3221224400 3221214688 1131250007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27590 13073 16 0 210439 0
vsize: 841820
[startup+550.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 53050 46 0 0 25 0 11 0 545212637 862023680 27668 4294967295 134512640 134569956 3221224400 3221214688 1131249967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27668 13073 16 0 210439 0
vsize: 841820
[startup+560.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 54034 46 0 0 25 0 11 0 545212637 862023680 27746 4294967295 134512640 134569956 3221224400 3221214688 1131248552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27746 13073 16 0 210439 0
vsize: 841820
[startup+570.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 55019 47 0 0 25 0 11 0 545212637 862023680 27821 4294967295 134512640 134569956 3221224400 3221214728 1131247634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27821 13073 16 0 210439 0
vsize: 841820
[startup+580.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 56004 47 0 0 25 0 11 0 545212637 862023680 27885 4294967295 134512640 134569956 3221224400 3221214912 1131349585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27885 13073 16 0 210439 0
vsize: 841820
[startup+590.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 56988 47 0 0 25 0 11 0 545212637 862023680 27955 4294967295 134512640 134569956 3221224400 3221214776 1131368265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 27955 13073 16 0 210439 0
vsize: 841820
[startup+600.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 57974 47 0 0 25 0 11 0 545212637 862023680 28014 4294967295 134512640 134569956 3221224400 3221214688 1131248845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 28014 13073 16 0 210439 0
vsize: 841820
[startup+610.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 58959 47 0 0 25 0 11 0 545212637 862023680 28088 4294967295 134512640 134569956 3221224400 3221214688 1131248617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 28088 13073 16 0 210439 0
vsize: 841820
[startup+620.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 26369
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18073 0 1 0 59942 47 0 0 25 0 11 0 545212637 862023680 28156 4294967295 134512640 134569956 3221224400 3221214776 1131363716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 28156 13073 16 0 210439 0
vsize: 841820
[startup+630.032 s]
Raw data (loadavg): 1.08 0.99 0.91 2/65 26370
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 60926 49 0 0 25 0 11 0 545212637 862023680 28214 4294967295 134512640 134569956 3221224400 3221214728 1131246662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 28214 13073 16 0 210439 0
vsize: 841820
[startup+640.033 s]
Raw data (loadavg): 1.14 1.00 0.92 2/64 26422
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 61902 53 0 0 25 0 11 0 545212637 862023680 28280 4294967295 134512640 134569956 3221224400 3221214936 1131212889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28280 13073 16 0 210439 0
vsize: 841820
[startup+650.034 s]
Raw data (loadavg): 1.12 1.00 0.92 2/64 26422
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 62885 53 0 0 25 0 11 0 545212637 862023680 28358 4294967295 134512640 134569956 3221224400 3221214772 1131326560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28358 13073 16 0 210439 0
vsize: 841820
[startup+660.034 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 26422
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 63868 53 0 0 25 0 11 0 545212637 862023680 28436 4294967295 134512640 134569956 3221224400 3221214776 1131369253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28436 13073 16 0 210439 0
vsize: 841820
[startup+670.035 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 26422
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 64853 53 0 0 25 0 11 0 545212637 862023680 28501 4294967295 134512640 134569956 3221224400 3221214776 1131369315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28501 13073 16 0 210439 0
vsize: 841820
[startup+680.035 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 26422
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 65835 53 0 0 25 0 11 0 545212637 862023680 28581 4294967295 134512640 134569956 3221224400 3221214932 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28581 13073 16 0 210439 0
vsize: 841820
[startup+690.036 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 26422
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 66820 53 0 0 25 0 11 0 545212637 862023680 28652 4294967295 134512640 134569956 3221224400 3221214776 1131363775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28652 13073 16 0 210439 0
vsize: 841820
[startup+700.036 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 67803 53 0 0 23 0 11 0 545212637 862023680 28724 4294967295 134512640 134569956 3221224400 3221214776 1131363553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28724 13073 16 0 210439 0
vsize: 841820
[startup+710.037 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 68785 53 0 0 25 0 11 0 545212637 862023680 28796 4294967295 134512640 134569956 3221224400 3221214776 1131369647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28796 13073 16 0 210439 0
vsize: 841820
[startup+720.037 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 69769 53 0 0 25 0 11 0 545212637 862023680 28864 4294967295 134512640 134569956 3221224400 3221214776 1131365017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28864 13073 16 0 210439 0
vsize: 841820
[startup+730.037 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 70749 53 0 0 24 0 11 0 545212637 862023680 28940 4294967295 134512640 134569956 3221224400 3221214776 1131363525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 28940 13073 16 0 210439 0
vsize: 841820
[startup+740.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 71731 53 0 0 25 0 11 0 545212637 862023680 29023 4294967295 134512640 134569956 3221224400 3221214688 1131248767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29023 13073 16 0 210439 0
vsize: 841820
[startup+750.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 72713 53 0 0 25 0 11 0 545212637 862023680 29121 4294967295 134512640 134569956 3221224400 3221214808 1131299859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29121 13073 16 0 210439 0
vsize: 841820
[startup+760.039 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 73701 53 0 0 25 0 11 0 545212637 862023680 29188 4294967295 134512640 134569956 3221224400 3221214592 1131416496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29188 13073 16 0 210439 0
vsize: 841820
[startup+770.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 74684 53 0 0 24 0 11 0 545212637 862023680 29294 4294967295 134512640 134569956 3221224400 3221214776 1131369664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29294 13073 16 0 210439 0
vsize: 841820
[startup+780.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 75666 53 0 0 25 0 11 0 545212637 862023680 29377 4294967295 134512640 134569956 3221224400 3221214680 1131644185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29377 13073 16 0 210439 0
vsize: 841820
[startup+790.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 76646 53 0 0 25 0 11 0 545212637 862023680 29472 4294967295 134512640 134569956 3221224400 3221214680 1131644180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29472 13073 16 0 210439 0
vsize: 841820
[startup+800.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 77628 53 0 0 25 0 11 0 545212637 862023680 29557 4294967295 134512640 134569956 3221224400 3221214688 1131248620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29557 13073 16 0 210439 0
vsize: 841820
[startup+810.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 78608 54 0 0 25 0 11 0 545212637 862023680 29651 4294967295 134512640 134569956 3221224400 3221214776 1131366712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210455 29651 13073 16 0 210439 0
vsize: 841820
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 79588 54 0 0 25 0 11 0 545212637 862023680 29742 4294967295 134512640 134569956 3221224400 3221214688 1131248620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29742 13073 16 0 210439 0
vsize: 841820
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 80567 54 0 0 24 0 11 0 545212637 862023680 29854 4294967295 134512640 134569956 3221224400 3221214824 1131332118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29854 13073 16 0 210439 0
vsize: 841820
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 81548 54 0 0 25 0 11 0 545212637 862023680 29929 4294967295 134512640 134569956 3221224400 3221214808 1131298794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 29929 13073 16 0 210439 0
vsize: 841820
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 82527 54 0 0 25 0 11 0 545212637 862023680 30023 4294967295 134512640 134569956 3221224400 3221214688 1131249929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30023 13073 16 0 210439 0
vsize: 841820
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 83506 54 0 0 25 0 11 0 545212637 862023680 30160 4294967295 134512640 134569956 3221224400 3221214912 1131349507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30160 13073 16 0 210439 0
vsize: 841820
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 84486 54 0 0 25 0 11 0 545212637 862023680 30247 4294967295 134512640 134569956 3221224400 3221214680 1131326666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30247 13073 16 0 210439 0
vsize: 841820
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 85464 54 0 0 25 0 11 0 545212637 862023680 30382 4294967295 134512640 134569956 3221224400 3221214776 1131364960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30382 13073 16 0 210439 0
vsize: 841820
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 86441 54 0 0 25 0 11 0 545212637 862023680 30478 4294967295 134512640 134569956 3221224400 3221214680 1131326695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30478 13073 16 0 210439 0
vsize: 841820
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 87415 54 0 0 25 0 11 0 545212637 862023680 30583 4294967295 134512640 134569956 3221224400 3221214688 1131248461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30583 13073 16 0 210439 0
vsize: 841820
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 88387 54 0 0 25 0 11 0 545212637 862023680 30716 4294967295 134512640 134569956 3221224400 3221214776 1131369380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30716 13073 16 0 210439 0
vsize: 841820
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 89363 55 0 0 25 0 11 0 545212637 862023680 30815 4294967295 134512640 134569956 3221224400 3221214688 1131249846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 30815 13073 16 0 210439 0
vsize: 841820
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 90342 55 0 0 25 0 11 0 545212637 862023680 31002 4294967295 134512640 134569956 3221224400 3221214776 1131365604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31002 13073 16 0 210439 0
vsize: 841820
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 91321 55 0 0 25 0 11 0 545212637 862023680 31110 4294967295 134512640 134569956 3221224400 3221214688 1131250011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31110 13073 16 0 210439 0
vsize: 841820
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 92300 55 0 0 25 0 11 0 545212637 862023680 31206 4294967295 134512640 134569956 3221224400 3221214688 1131248648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31206 13073 16 0 210439 0
vsize: 841820
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 93281 55 0 0 25 0 11 0 545212637 862023680 31299 4294967295 134512640 134569956 3221224400 3221214808 1131299144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31299 13073 16 0 210439 0
vsize: 841820
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 94260 55 0 0 25 0 11 0 545212637 862023680 31412 4294967295 134512640 134569956 3221224400 3221214776 1131365064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31412 13073 16 0 210439 0
vsize: 841820
[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 95238 55 0 0 25 0 11 0 545212637 862023680 31524 4294967295 134512640 134569956 3221224400 3221214680 1131326591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31524 13073 16 0 210439 0
vsize: 841820
[startup+990.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 96218 55 0 0 25 0 11 0 545212637 862023680 31603 4294967295 134512640 134569956 3221224400 3221214776 1131366657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31603 13073 16 0 210439 0
vsize: 841820
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26424
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 97196 55 0 0 25 0 11 0 545212637 862023680 31732 4294967295 134512640 134569956 3221224400 3221214928 1131359222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31732 13073 16 0 210439 0
vsize: 841820
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 98175 55 0 0 25 0 11 0 545212637 862023680 31829 4294967295 134512640 134569956 3221224400 3221214808 1131298989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31829 13073 16 0 210439 0
vsize: 841820
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 99156 55 0 0 25 0 11 0 545212637 862023680 31921 4294967295 134512640 134569956 3221224400 3221214680 1131326591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 31921 13073 16 0 210439 0
vsize: 841820
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 100134 55 0 0 25 0 11 0 545212637 862023680 32026 4294967295 134512640 134569956 3221224400 3221214752 1131315504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32026 13073 16 0 210439 0
vsize: 841820
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 101113 55 0 0 24 0 11 0 545212637 862023680 32117 4294967295 134512640 134569956 3221224400 3221214776 1131363716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32117 13073 16 0 210439 0
vsize: 841820
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 102094 55 0 0 25 0 11 0 545212637 862023680 32194 4294967295 134512640 134569956 3221224400 3221214776 1131366712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32194 13073 16 0 210439 0
vsize: 841820
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 103073 55 0 0 25 0 11 0 545212637 862023680 32318 4294967295 134512640 134569956 3221224400 3221214776 1131365604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32318 13073 16 0 210439 0
vsize: 841820
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 104054 55 0 0 25 0 11 0 545212637 862023680 32403 4294967295 134512640 134569956 3221224400 3221214776 1131363525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32403 13073 16 0 210439 0
vsize: 841820
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 105034 56 0 0 25 0 11 0 545212637 862023680 32491 4294967295 134512640 134569956 3221224400 3221214664 1131462133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32491 13073 16 0 210439 0
vsize: 841820
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 106012 56 0 0 25 0 11 0 545212637 862023680 32598 4294967295 134512640 134569956 3221224400 3221214688 1131248620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32598 13073 16 0 210439 0
vsize: 841820
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 106992 56 0 0 25 0 11 0 545212637 862023680 32689 4294967295 134512640 134569956 3221224400 3221214776 1131363555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32689 13073 16 0 210439 0
vsize: 841820
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 107975 56 0 0 25 0 11 0 545212637 862023680 32791 4294967295 134512640 134569956 3221224400 3221214688 1131249502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32791 13073 16 0 210439 0
vsize: 841820
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) S 26358 10614 10613 0 -1 0 18074 0 1 0 108952 56 0 0 25 0 11 0 545212637 862023680 32888 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32888 13073 16 0 210439 0
vsize: 841820
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 109932 56 0 0 25 0 11 0 545212637 862023680 32966 4294967295 134512640 134569956 3221224400 3221214680 1131327279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 32966 13073 16 0 210439 0
vsize: 841820
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 110914 56 0 0 25 0 11 0 545212637 862023680 33057 4294967295 134512640 134569956 3221224400 3221214688 1131248744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33057 13073 16 0 210439 0
vsize: 841820
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 111895 56 0 0 25 0 11 0 545212637 862023680 33153 4294967295 134512640 134569956 3221224400 3221214688 1131248552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33153 13073 16 0 210439 0
vsize: 841820
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 112874 56 0 0 24 0 11 0 545212637 862023680 33274 4294967295 134512640 134569956 3221224400 3221214776 1131368658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33274 13073 16 0 210439 0
vsize: 841820
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 113855 56 0 0 25 0 11 0 545212637 862023680 33335 4294967295 134512640 134569956 3221224400 3221214776 1131370341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33335 13073 16 0 210439 0
vsize: 841820
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 114836 56 0 0 25 0 11 0 545212637 862023680 33396 4294967295 134512640 134569956 3221224400 3221214728 1131246662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33396 13073 16 0 210439 0
vsize: 841820
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 115817 56 0 0 25 0 11 0 545212637 862023680 33493 4294967295 134512640 134569956 3221224400 3221214688 1131248670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33493 13073 16 0 210439 0
vsize: 841820
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 116797 56 0 0 25 0 11 0 545212637 862023680 33595 4294967295 134512640 134569956 3221224400 3221214688 1131249410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33595 13073 16 0 210439 0
vsize: 841820
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 117777 56 0 0 25 0 11 0 545212637 862023680 33678 4294967295 134512640 134569956 3221224400 3221214808 1131299144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33678 13073 16 0 210439 0
vsize: 841820
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 118758 56 0 0 25 0 11 0 545212637 862023680 33774 4294967295 134512640 134569956 3221224400 3221214776 1131365064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33774 13073 16 0 210439 0
vsize: 841820
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 119738 56 0 0 25 0 11 0 545212637 862023680 33870 4294967295 134512640 134569956 3221224400 3221214688 1131248620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33870 13073 16 0 210439 0
vsize: 841820
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 26426
Raw data (stat): 26359 (java) R 26358 10614 10613 0 -1 0 18074 0 1 0 120717 56 0 0 25 0 11 0 545212637 862023680 33975 4294967295 134512640 134569956 3221224400 3221214768 1131211169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210455 33975 13073 16 0 210439 0
vsize: 841820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 26428
Raw data (stat): 26359 (java) Z 26358 10614 10613 0 -1 1036 18074 21241 1 0 120719 62 4337 63 25 0 1 0 545212637 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): 1240.14
CPU time (s): 1251.82
CPU user time (s): 1250.57
CPU system time (s): 1.25881
CPU usage (%): 100.942
Max. virtual memory (Kb): 841820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####