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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc03.opb
MD5SUM	c69ba6c1b832f0064dda5f276d6ebed4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1077181440
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	3287149567
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	17.4054
Number of variables	190
Total number of constraints	255
Number of constraints which are clauses	31
Number of constraints which are cardinality constraints (but not clauses)	170
Number of constraints which are nor clauses,nor cardinality constraints	54
Minimum length of a constraint	1
Maximum length of a constraint	169
Trace number 16389

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-21 07:06:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13568 boxname=wulflinc20 idbench=1044 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c69ba6c1b832f0064dda5f276d6ebed4  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-misc03.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-misc03.opb
IDLAUNCH: 13568
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        730992 kB
Buffers:         15620 kB
Cached:         263820 kB
SwapCached:        516 kB
Active:          98724 kB
Inactive:       182644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        730740 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            16524 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 07:27:13 (client local time) WITH STATUS 143 IN 1248.51 SECONDS
stats: 13568 7 1248.51 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-misc03.opb
c reading problem 
c [nbvar=190]
c [nbconstr=255]
c time 1.287
c #vars     190
c #clauses  123
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1079633920
c Current CPU time (ms) : 10.034
c starts	: 1
c conflicts	: 57
c decisions	: 268
c propagations	: 1578
c inspects	: 8636
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 57
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1078256640
c Current CPU time (ms) : 10.724
c starts	: 2
c conflicts	: 75
c decisions	: 327
c propagations	: 2063
c inspects	: 11824
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 75
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1077509120
c Current CPU time (ms) : 11.15
c starts	: 3
c conflicts	: 79
c decisions	: 356
c propagations	: 2465
c inspects	: 13520
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 79
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1077181440
c Current CPU time (ms) : 16.174
c starts	: 4
c conflicts	: 126
c decisions	: 530
c propagations	: 3577
c inspects	: 24070
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 126
c root simplifications	: 7
#### 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.83 0.94 0.90 2/54 1274
Raw data (stat): 1274 (runsolver) R 1273 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543148543 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.16 1.01 0.92 2/64 1285
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18065 0 1 0 672 39 0 0 25 0 11 0 543148543 860622848 20353 4294967295 134512640 134569956 3221224400 3221214440 1130917976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210113 20353 13073 16 0 210097 0
vsize: 840452
[startup+20.0005 s]
Raw data (loadavg): 1.14 1.01 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18066 3 1 0 1605 40 0 0 25 0 11 0 543148543 859734016 20541 4294967295 134512640 134569956 3221224400 3221214760 1131201541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 20541 13073 16 0 209880 0
vsize: 839584
[startup+30.0012 s]
Raw data (loadavg): 1.12 1.01 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 2556 40 0 0 24 0 11 0 543148543 859734016 20910 4294967295 134512640 134569956 3221224400 3221214760 1131201902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 20910 13073 16 0 209880 0
vsize: 839584
[startup+40.0015 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 3502 40 0 0 25 0 11 0 543148543 859734016 21189 4294967295 134512640 134569956 3221224400 3221214504 1131223103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 21189 13073 16 0 209880 0
vsize: 839584
[startup+50.0027 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 4455 40 0 0 25 0 11 0 543148543 859734016 21448 4294967295 134512640 134569956 3221224400 3221214808 1131170961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 21448 13073 16 0 209880 0
vsize: 839584
[startup+60.0034 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 5410 40 0 0 25 0 11 0 543148543 859734016 21632 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 21632 13073 16 0 209880 0
vsize: 839584
[startup+70.0037 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 6370 41 0 0 24 0 11 0 543148543 859734016 21790 4294967295 134512640 134569956 3221224400 3221214760 1131201541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 21790 13073 16 0 209880 0
vsize: 839584
[startup+80.0049 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 7337 41 0 0 25 0 11 0 543148543 859734016 21905 4294967295 134512640 134569956 3221224400 3221214400 1131201890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 21905 13073 16 0 209880 0
vsize: 839584
[startup+90.0056 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 8299 41 0 0 25 0 11 0 543148543 859734016 22028 4294967295 134512640 134569956 3221224400 3221214760 1131201973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22028 13073 16 0 209880 0
vsize: 839584
[startup+100.006 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 9262 41 0 0 25 0 11 0 543148543 859734016 22153 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22153 13073 16 0 209880 0
vsize: 839584
[startup+110.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) S 1273 27565 27564 0 -1 0 18067 3 1 0 10227 41 0 0 25 0 11 0 543148543 859734016 22279 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22279 13073 16 0 209880 0
vsize: 839584
[startup+120.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 11196 42 0 0 24 0 11 0 543148543 859734016 22397 4294967295 134512640 134569956 3221224400 3221214468 1131475848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22397 13073 16 0 209880 0
vsize: 839584
[startup+130.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 12164 42 0 0 25 0 11 0 543148543 859734016 22492 4294967295 134512640 134569956 3221224400 3221214760 1131202763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22492 13073 16 0 209880 0
vsize: 839584
[startup+140.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 13130 42 0 0 25 0 11 0 543148543 859734016 22612 4294967295 134512640 134569956 3221224400 3221214424 1131330485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22612 13073 16 0 209880 0
vsize: 839584
[startup+150.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 14098 43 0 0 25 0 11 0 543148543 859734016 22735 4294967295 134512640 134569956 3221224400 3221214760 1131202743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22735 13073 16 0 209880 0
vsize: 839584
[startup+160.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 15066 43 0 0 25 0 11 0 543148543 859734016 22837 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22837 13073 16 0 209880 0
vsize: 839584
[startup+170.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 16038 43 0 0 25 0 11 0 543148543 859734016 22951 4294967295 134512640 134569956 3221224400 3221214808 1131171055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 22951 13073 16 0 209880 0
vsize: 839584
[startup+180.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 17010 43 0 0 25 0 11 0 543148543 859734016 23048 4294967295 134512640 134569956 3221224400 3221214504 1131222802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23048 13073 16 0 209880 0
vsize: 839584
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 17985 44 0 0 25 0 11 0 543148543 859734016 23128 4294967295 134512640 134569956 3221224400 3221214808 1131170983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23128 13073 16 0 209880 0
vsize: 839584
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 18957 44 0 0 25 0 11 0 543148543 859734016 23212 4294967295 134512640 134569956 3221224400 3221214856 1131211009 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23212 13073 16 0 209880 0
vsize: 839584
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 19930 44 0 0 25 0 11 0 543148543 859734016 23302 4294967295 134512640 134569956 3221224400 3221214760 1131202131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23302 13073 16 0 209880 0
vsize: 839584
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 20903 44 0 0 25 0 11 0 543148543 859734016 23396 4294967295 134512640 134569956 3221224400 3221214760 1131202123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23396 13073 16 0 209880 0
vsize: 839584
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 21873 45 0 0 25 0 11 0 543148543 859734016 23489 4294967295 134512640 134569956 3221224400 3221214760 1131201812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23489 13073 16 0 209880 0
vsize: 839584
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 22845 45 0 0 25 0 11 0 543148543 859734016 23572 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23572 13073 16 0 209880 0
vsize: 839584
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 23813 45 0 0 25 0 11 0 543148543 859734016 23710 4294967295 134512640 134569956 3221224400 3221214808 1131170944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23710 13073 16 0 209880 0
vsize: 839584
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 24786 45 0 0 25 0 11 0 543148543 859734016 23800 4294967295 134512640 134569956 3221224400 3221214760 1131201904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23800 13073 16 0 209880 0
vsize: 839584
[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 25756 46 0 0 25 0 11 0 543148543 859734016 23888 4294967295 134512640 134569956 3221224400 3221214504 1131223160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23888 13073 16 0 209880 0
vsize: 839584
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 26726 46 0 0 25 0 11 0 543148543 859734016 23983 4294967295 134512640 134569956 3221224400 3221214496 1131222840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 23983 13073 16 0 209880 0
vsize: 839584
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 27693 46 0 0 25 0 11 0 543148543 859734016 24080 4294967295 134512640 134569956 3221224400 3221214156 1131519683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24080 13073 16 0 209880 0
vsize: 839584
[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 28665 46 0 0 25 0 11 0 543148543 859734016 24207 4294967295 134512640 134569956 3221224400 3221214856 1131210213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24207 13073 16 0 209880 0
vsize: 839584
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 29639 47 0 0 25 0 11 0 543148543 859734016 24315 4294967295 134512640 134569956 3221224400 3221214272 1131515266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24315 13073 16 0 209880 0
vsize: 839584
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 30615 47 0 0 25 0 11 0 543148543 859734016 24398 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24398 13073 16 0 209880 0
vsize: 839584
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 31589 47 0 0 25 0 11 0 543148543 859734016 24491 4294967295 134512640 134569956 3221224400 3221214760 1131202795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24491 13073 16 0 209880 0
vsize: 839584
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 32564 48 0 0 25 0 11 0 543148543 859734016 24568 4294967295 134512640 134569956 3221224400 3221214760 1131201529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24568 13073 16 0 209880 0
vsize: 839584
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 33541 48 0 0 25 0 11 0 543148543 859734016 24658 4294967295 134512640 134569956 3221224400 3221214760 1131201679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 24658 13073 16 0 209880 0
vsize: 839584
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 34517 48 0 0 25 0 11 0 543148543 859734016 24729 4294967295 134512640 134569956 3221224400 3221214760 1131201687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24729 13073 16 0 209880 0
vsize: 839584
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 35494 48 0 0 25 0 11 0 543148543 859734016 24802 4294967295 134512640 134569956 3221224400 3221214600 1131576198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24802 13073 16 0 209880 0
vsize: 839584
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 36471 48 0 0 25 0 11 0 543148543 859734016 24880 4294967295 134512640 134569956 3221224400 3221214528 1131520664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24880 13073 16 0 209880 0
vsize: 839584
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 37447 49 0 0 25 0 11 0 543148543 859734016 24940 4294967295 134512640 134569956 3221224400 3221214760 1131202123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 24940 13073 16 0 209880 0
vsize: 839584
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 38419 49 0 0 24 0 11 0 543148543 859734016 25023 4294967295 134512640 134569956 3221224400 3221214760 1131201733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25023 13073 16 0 209880 0
vsize: 839584
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 39395 49 0 0 25 0 11 0 543148543 859734016 25100 4294967295 134512640 134569956 3221224400 3221214808 1131170983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25100 13073 16 0 209880 0
vsize: 839584
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 40367 50 0 0 25 0 11 0 543148543 859734016 25175 4294967295 134512640 134569956 3221224400 3221214496 1131481456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25175 13073 16 0 209880 0
vsize: 839584
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 41344 51 0 0 25 0 11 0 543148543 859734016 25252 4294967295 134512640 134569956 3221224400 3221214760 1131201604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25252 13073 16 0 209880 0
vsize: 839584
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 42317 51 0 0 24 0 11 0 543148543 859734016 25323 4294967295 134512640 134569956 3221224400 3221214760 1131201815 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25323 13073 16 0 209880 0
vsize: 839584
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 43290 51 0 0 24 0 11 0 543148543 859734016 25410 4294967295 134512640 134569956 3221224400 3221214488 1131536089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25410 13073 16 0 209880 0
vsize: 839584
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 44263 52 0 0 25 0 11 0 543148543 859734016 25505 4294967295 134512640 134569956 3221224400 3221214856 1131210241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25505 13073 16 0 209880 0
vsize: 839584
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 45238 52 0 0 25 0 11 0 543148543 859734016 25586 4294967295 134512640 134569956 3221224400 3221214608 1131570000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25586 13073 16 0 209880 0
vsize: 839584
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 46213 52 0 0 25 0 11 0 543148543 859734016 25668 4294967295 134512640 134569956 3221224400 3221214852 1131335267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25668 13073 16 0 209880 0
vsize: 839584
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 47186 52 0 0 25 0 11 0 543148543 859734016 25760 4294967295 134512640 134569956 3221224400 3221214856 1131210025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25760 13073 16 0 209880 0
vsize: 839584
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 48162 53 0 0 25 0 11 0 543148543 859734016 25838 4294967295 134512640 134569956 3221224400 3221214852 1131171163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25838 13073 16 0 209880 0
vsize: 839584
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 49138 53 0 0 25 0 11 0 543148543 859734016 25901 4294967295 134512640 134569956 3221224400 3221214760 1131201569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25901 13073 16 0 209880 0
vsize: 839584
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 50109 53 0 0 25 0 11 0 543148543 859734016 25991 4294967295 134512640 134569956 3221224400 3221214316 1076460936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 25991 13073 16 0 209880 0
vsize: 839584
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 51085 53 0 0 25 0 11 0 543148543 859734016 26092 4294967295 134512640 134569956 3221224400 3221214808 1131170944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 26092 13073 16 0 209880 0
vsize: 839584
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 52058 53 0 0 25 0 11 0 543148543 859734016 26175 4294967295 134512640 134569956 3221224400 3221214856 1131210213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26175 13073 16 0 209880 0
vsize: 839584
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 53034 54 0 0 25 0 11 0 543148543 859734016 26244 4294967295 134512640 134569956 3221224400 3221214856 1131210232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26244 13073 16 0 209880 0
vsize: 839584
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 54009 54 0 0 25 0 11 0 543148543 859734016 26300 4294967295 134512640 134569956 3221224400 3221214760 1131201541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 26300 13073 16 0 209880 0
vsize: 839584
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 54984 54 0 0 25 0 11 0 543148543 859734016 26377 4294967295 134512640 134569956 3221224400 3221214856 1131210309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26377 13073 16 0 209880 0
vsize: 839584
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 55960 54 0 0 25 0 11 0 543148543 859734016 26488 4294967295 134512640 134569956 3221224400 3221214832 1131253545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26488 13073 16 0 209880 0
vsize: 839584
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 56935 55 0 0 25 0 11 0 543148543 859734016 26546 4294967295 134512640 134569956 3221224400 3221214752 1131223317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 26546 13073 16 0 209880 0
vsize: 839584
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 57912 55 0 0 25 0 11 0 543148543 859734016 26605 4294967295 134512640 134569956 3221224400 3221214808 1131170961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26605 13073 16 0 209880 0
vsize: 839584
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) S 1273 27565 27564 0 -1 0 18067 3 1 0 58886 55 0 0 25 0 11 0 543148543 859734016 26670 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26670 13073 16 0 209880 0
vsize: 839584
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 59861 56 0 0 25 0 11 0 543148543 859734016 26757 4294967295 134512640 134569956 3221224400 3221214760 1131202715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26757 13073 16 0 209880 0
vsize: 839584
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 60834 56 0 0 24 0 11 0 543148543 859734016 26828 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26828 13073 16 0 209880 0
vsize: 839584
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 61811 56 0 0 25 0 11 0 543148543 859734016 26934 4294967295 134512640 134569956 3221224400 3221214760 1131202099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 26934 13073 16 0 209880 0
vsize: 839584
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 62786 56 0 0 25 0 11 0 543148543 859734016 27021 4294967295 134512640 134569956 3221224400 3221214760 1131201559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27021 13073 16 0 209880 0
vsize: 839584
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 63762 57 0 0 25 0 11 0 543148543 859734016 27082 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27082 13073 16 0 209880 0
vsize: 839584
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 64737 57 0 0 25 0 11 0 543148543 859734016 27152 4294967295 134512640 134569956 3221224400 3221214760 1131201537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27152 13073 16 0 209880 0
vsize: 839584
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 65713 57 0 0 25 0 11 0 543148543 859734016 27236 4294967295 134512640 134569956 3221224400 3221214760 1131201529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27236 13073 16 0 209880 0
vsize: 839584
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 66691 58 0 0 25 0 11 0 543148543 859734016 27291 4294967295 134512640 134569956 3221224400 3221214496 1131315477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27291 13073 16 0 209880 0
vsize: 839584
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 67666 58 0 0 25 0 11 0 543148543 859734016 27360 4294967295 134512640 134569956 3221224400 3221214808 1131170990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27360 13073 16 0 209880 0
vsize: 839584
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 68643 58 0 0 25 0 11 0 543148543 859734016 27428 4294967295 134512640 134569956 3221224400 3221214808 1131171036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27428 13073 16 0 209880 0
vsize: 839584
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 69617 59 0 0 24 0 11 0 543148543 859734016 27512 4294967295 134512640 134569956 3221224400 3221214760 1131202456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27512 13073 16 0 209880 0
vsize: 839584
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 70594 59 0 0 25 0 11 0 543148543 859734016 27573 4294967295 134512640 134569956 3221224400 3221214808 1131170944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27573 13073 16 0 209880 0
vsize: 839584
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 71570 59 0 0 25 0 11 0 543148543 859734016 27628 4294967295 134512640 134569956 3221224400 3221214760 1131202040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 27628 13073 16 0 209880 0
vsize: 839584
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 72544 59 0 0 25 0 11 0 543148543 859734016 27704 4294967295 134512640 134569956 3221224400 3221214760 1131201541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27704 13073 16 0 209880 0
vsize: 839584
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 73519 60 0 0 24 0 11 0 543148543 859734016 27764 4294967295 134512640 134569956 3221224400 3221214808 1131171036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27764 13073 16 0 209880 0
vsize: 839584
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 74494 60 0 0 24 0 11 0 543148543 859734016 27875 4294967295 134512640 134569956 3221224400 3221214760 1131202076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 27875 13073 16 0 209880 0
vsize: 839584
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 75472 60 0 0 25 0 11 0 543148543 859734016 27925 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 27925 13073 16 0 209880 0
vsize: 839584
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 76448 61 0 0 25 0 11 0 543148543 859734016 28012 4294967295 134512640 134569956 3221224400 3221214760 1131201548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28012 13073 16 0 209880 0
vsize: 839584
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 77424 61 0 0 25 0 11 0 543148543 859734016 28071 4294967295 134512640 134569956 3221224400 3221214760 1131201848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28071 13073 16 0 209880 0
vsize: 839584
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 78397 61 0 0 25 0 11 0 543148543 859734016 28185 4294967295 134512640 134569956 3221224400 3221214496 1131479615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28185 13073 16 0 209880 0
vsize: 839584
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 79374 62 0 0 25 0 11 0 543148543 859734016 28239 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28239 13073 16 0 209880 0
vsize: 839584
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 80351 62 0 0 25 0 11 0 543148543 859734016 28292 4294967295 134512640 134569956 3221224400 3221213944 1131515226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 28292 13073 16 0 209880 0
vsize: 839584
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 81328 62 0 0 25 0 11 0 543148543 859734016 28385 4294967295 134512640 134569956 3221224400 3221214760 1131201954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28385 13073 16 0 209880 0
vsize: 839584
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 82307 62 0 0 25 0 11 0 543148543 859734016 28456 4294967295 134512640 134569956 3221224400 3221214808 1131170944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28456 13073 16 0 209880 0
vsize: 839584
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 83284 63 0 0 25 0 11 0 543148543 859734016 28530 4294967295 134512640 134569956 3221224400 3221214696 1131266151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28530 13073 16 0 209880 0
vsize: 839584
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 84256 63 0 0 24 0 11 0 543148543 859734016 28580 4294967295 134512640 134569956 3221224400 3221214760 1131202115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28580 13073 16 0 209880 0
vsize: 839584
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 85234 63 0 0 25 0 11 0 543148543 859734016 28647 4294967295 134512640 134569956 3221224400 3221214360 1131559245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28647 13073 16 0 209880 0
vsize: 839584
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 86218 63 0 0 25 0 11 0 543148543 859734016 28696 4294967295 134512640 134569956 3221224400 3221214808 1131171012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28696 13073 16 0 209880 0
vsize: 839584
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 87201 64 0 0 25 0 11 0 543148543 859734016 28743 4294967295 134512640 134569956 3221224400 3221214416 1131559119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28743 13073 16 0 209880 0
vsize: 839584
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 88177 64 0 0 25 0 11 0 543148543 859734016 28847 4294967295 134512640 134569956 3221224400 3221214760 1131202753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28847 13073 16 0 209880 0
vsize: 839584
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 89153 64 0 0 25 0 11 0 543148543 859734016 28938 4294967295 134512640 134569956 3221224400 3221214760 1131202208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28938 13073 16 0 209880 0
vsize: 839584
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 90128 65 0 0 25 0 11 0 543148543 859734016 28994 4294967295 134512640 134569956 3221224400 3221214496 1131429719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 28994 13073 16 0 209880 0
vsize: 839584
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 91102 66 0 0 24 0 11 0 543148543 859734016 29063 4294967295 134512640 134569956 3221224400 3221214568 1131572739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29063 13073 16 0 209880 0
vsize: 839584
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 92075 66 0 0 24 0 11 0 543148543 859734016 29157 4294967295 134512640 134569956 3221224400 3221214760 1131201973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29157 13073 16 0 209880 0
vsize: 839584
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 93050 66 0 0 25 0 11 0 543148543 859734016 29225 4294967295 134512640 134569956 3221224400 3221214808 1131170961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29225 13073 16 0 209880 0
vsize: 839584
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) S 1273 27565 27564 0 -1 0 18067 3 1 0 94031 67 0 0 25 0 11 0 543148543 859734016 29276 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29276 13073 16 0 209880 0
vsize: 839584
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 95003 67 0 0 25 0 11 0 543148543 859734016 29370 4294967295 134512640 134569956 3221224400 3221214760 1131201537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29370 13073 16 0 209880 0
vsize: 839584
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 95977 68 0 0 25 0 11 0 543148543 859734016 29432 4294967295 134512640 134569956 3221224400 3221214856 1131210426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29432 13073 16 0 209880 0
vsize: 839584
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 96951 68 0 0 25 0 11 0 543148543 859734016 29528 4294967295 134512640 134569956 3221224400 3221214856 1131210440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29528 13073 16 0 209880 0
vsize: 839584
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 97930 68 0 0 25 0 11 0 543148543 859734016 29609 4294967295 134512640 134569956 3221224400 3221214752 1131224974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29609 13073 16 0 209880 0
vsize: 839584
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) S 1273 27565 27564 0 -1 0 18067 3 1 0 98905 69 0 0 25 0 11 0 543148543 859734016 29697 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29697 13073 16 0 209880 0
vsize: 839584
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 99881 69 0 0 25 0 11 0 543148543 859734016 29776 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29776 13073 16 0 209880 0
vsize: 839584
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 100859 69 0 0 25 0 11 0 543148543 859734016 29833 4294967295 134512640 134569956 3221224400 3221214888 1131239903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29833 13073 16 0 209880 0
vsize: 839584
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 101836 70 0 0 25 0 11 0 543148543 859734016 29922 4294967295 134512640 134569956 3221224400 3221214760 1131202024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29922 13073 16 0 209880 0
vsize: 839584
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 102813 70 0 0 25 0 11 0 543148543 859734016 29967 4294967295 134512640 134569956 3221224400 3221214568 1131249067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 29967 13073 16 0 209880 0
vsize: 839584
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 103790 70 0 0 25 0 11 0 543148543 859734016 30005 4294967295 134512640 134569956 3221224400 3221214760 1131201946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30005 13073 16 0 209880 0
vsize: 839584
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 104764 71 0 0 25 0 11 0 543148543 859734016 30049 4294967295 134512640 134569956 3221224400 3221214760 1131202131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30049 13073 16 0 209880 0
vsize: 839584
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 105744 71 0 0 25 0 11 0 543148543 859734016 30108 4294967295 134512640 134569956 3221224400 3221214464 1131467821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209896 30108 13073 16 0 209880 0
vsize: 839584
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 106719 71 0 0 25 0 11 0 543148543 859734016 30154 4294967295 134512640 134569956 3221224400 3221214760 1131201870 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30154 13073 16 0 209880 0
vsize: 839584
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 107695 72 0 0 25 0 11 0 543148543 859734016 30230 4294967295 134512640 134569956 3221224400 3221214856 1131210213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30230 13073 16 0 209880 0
vsize: 839584
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 108678 72 0 0 25 0 11 0 543148543 859734016 30289 4294967295 134512640 134569956 3221224400 3221214496 1131314280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30289 13073 16 0 209880 0
vsize: 839584
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 109662 73 0 0 24 0 11 0 543148543 859734016 30372 4294967295 134512640 134569956 3221224400 3221214760 1131201973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30372 13073 16 0 209880 0
vsize: 839584
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 110641 73 0 0 25 0 11 0 543148543 859734016 30413 4294967295 134512640 134569956 3221224400 3221214592 1131517768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30413 13073 16 0 209880 0
vsize: 839584
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 111616 74 0 0 25 0 11 0 543148543 859734016 30490 4294967295 134512640 134569956 3221224400 3221214760 1131202123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30490 13073 16 0 209880 0
vsize: 839584
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 112591 74 0 0 25 0 11 0 543148543 859734016 30597 4294967295 134512640 134569956 3221224400 3221214808 1131170961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30597 13073 16 0 209880 0
vsize: 839584
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 113566 74 0 0 25 0 11 0 543148543 859734016 30644 4294967295 134512640 134569956 3221224400 3221214416 1079721487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30644 13073 16 0 209880 0
vsize: 839584
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 114544 75 0 0 25 0 11 0 543148543 859734016 30698 4294967295 134512640 134569956 3221224400 3221214472 1131430233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30698 13073 16 0 209880 0
vsize: 839584
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 115521 75 0 0 25 0 11 0 543148543 859734016 30772 4294967295 134512640 134569956 3221224400 3221214504 1131223003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30772 13073 16 0 209880 0
vsize: 839584
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 116500 75 0 0 25 0 11 0 543148543 859734016 30845 4294967295 134512640 134569956 3221224400 3221214472 1131539916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30845 13073 16 0 209880 0
vsize: 839584
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 117484 75 0 0 25 0 11 0 543148543 859734016 30871 4294967295 134512640 134569956 3221224400 3221214852 1131253475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30871 13073 16 0 209880 0
vsize: 839584
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 118468 75 0 0 24 0 11 0 543148543 859734016 30928 4294967295 134512640 134569956 3221224400 3221214760 1131201957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30928 13073 16 0 209880 0
vsize: 839584
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 119457 76 0 0 25 0 11 0 543148543 859734016 30952 4294967295 134512640 134569956 3221224400 3221214808 1131170944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30952 13073 16 0 209880 0
vsize: 839584
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 1289
Raw data (stat): 1274 (java) R 1273 27565 27564 0 -1 0 18067 3 1 0 120445 76 0 0 25 0 11 0 543148543 859734016 30987 4294967295 134512640 134569956 3221224400 3221214760 1131201902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209896 30987 13073 16 0 209880 0
vsize: 839584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 1291
Raw data (stat): 1274 (java) Z 1273 27565 27564 0 -1 1036 18067 15717 1 1 120449 82 4270 48 25 0 1 0 543148543 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.16
CPU time (s): 1248.51
CPU user time (s): 1247.2
CPU system time (s): 1.3088
CPU usage (%): 100.673
Max. virtual memory (Kb): 840452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####