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/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 15268

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-21 03:36:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18131 boxname=wulflinc20 idbench=1395 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 18131
/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:        675396 kB
Buffers:         21292 kB
Cached:         313760 kB
SwapCached:        528 kB
Active:         106652 kB
Inactive:       230452 kB
HighTotal:      131008 kB
HighFree:          448 kB
LowTotal:       903652 kB
LowFree:        674948 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            16404 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:57:35 (client local time) WITH STATUS 143 IN 1246.84 SECONDS
stats: 18131 7 1246.84 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-vpm2.opb
c reading problem 
c [nbvar=2124]
c [nbconstr=612]
c time 4.402
c #vars     2124
c #clauses  486
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.92 0.98 0.92 2/54 28181
Raw data (stat): 28181 (runsolver) R 28180 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541889563 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.0001 s]
Raw data (loadavg): 1.01 1.00 0.93 4/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18064 0 1 0 707 36 0 0 25 0 11 0 541889563 865177600 21535 4294967295 134512640 134569956 3221224400 3221214672 1131217849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211225 21535 13073 16 0 211209 0
vsize: 844900
[startup+20.0013 s]
Raw data (loadavg): 1.24 1.05 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18066 0 1 0 1576 36 0 0 25 0 11 0 541889563 862994432 21735 4294967295 134512640 134569956 3221224400 3221214664 1131625565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 21735 13073 16 0 210676 0
vsize: 842768
[startup+30.002 s]
Raw data (loadavg): 1.20 1.05 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 2530 37 0 0 25 0 11 0 541889563 862994432 22220 4294967295 134512640 134569956 3221224400 3221214584 1131502625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 22220 13073 16 0 210676 0
vsize: 842768
[startup+40.0013 s]
Raw data (loadavg): 1.17 1.04 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 3471 37 0 0 25 0 11 0 541889563 862994432 22668 4294967295 134512640 134569956 3221224400 3221214664 1131625587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 22668 13073 16 0 210676 0
vsize: 842768
[startup+50.0025 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 28191
Raw data (stat): 28181 (java) S 28180 27565 27564 0 -1 0 18067 0 1 0 4410 37 0 0 25 0 11 0 541889563 862994432 22958 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 22958 13073 16 0 210676 0
vsize: 842768
[startup+60.0034 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 5359 37 0 0 25 0 11 0 541889563 862994432 22958 4294967295 134512640 134569956 3221224400 3221214544 1131507901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 22958 13073 16 0 210676 0
vsize: 842768
[startup+70.0044 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 6290 37 0 0 24 0 11 0 541889563 862994432 23179 4294967295 134512640 134569956 3221224400 3221214464 1131239680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23179 13073 16 0 210676 0
vsize: 842768
[startup+80.0134 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 7238 37 0 0 25 0 11 0 541889563 862994432 23439 4294967295 134512640 134569956 3221224400 3221214680 1131281149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23439 13073 16 0 210676 0
vsize: 842768
[startup+90.0129 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 8193 37 0 0 25 0 11 0 541889563 862994432 23580 4294967295 134512640 134569956 3221224400 3221214216 1131644529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23580 13073 16 0 210676 0
vsize: 842768
[startup+100.013 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 9144 38 0 0 24 0 11 0 541889563 862994432 23755 4294967295 134512640 134569956 3221224400 3221214680 1131281121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 23755 13073 16 0 210676 0
vsize: 842768
[startup+110.012 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 10104 38 0 0 25 0 11 0 541889563 862994432 23931 4294967295 134512640 134569956 3221224400 3221214704 1131432059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23931 13073 16 0 210676 0
vsize: 842768
[startup+120.013 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 11062 38 0 0 25 0 11 0 541889563 862994432 24074 4294967295 134512640 134569956 3221224400 3221214776 1131377659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 24074 13073 16 0 210676 0
vsize: 842768
[startup+130.013 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 12022 38 0 0 25 0 11 0 541889563 862994432 24208 4294967295 134512640 134569956 3221224400 3221214776 1131375962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 24208 13073 16 0 210676 0
vsize: 842768
[startup+140.017 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 12982 39 0 0 25 0 11 0 541889563 862994432 24391 4294967295 134512640 134569956 3221224400 3221214680 1131281281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 24391 13073 16 0 210676 0
vsize: 842768
[startup+150.017 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 13944 39 0 0 25 0 11 0 541889563 862994432 24526 4294967295 134512640 134569956 3221224400 3221214776 1131378081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24526 13073 16 0 210676 0
vsize: 842768
[startup+160.017 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 14903 39 0 0 24 0 11 0 541889563 862994432 24712 4294967295 134512640 134569956 3221224400 3221214776 1131375955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24712 13073 16 0 210676 0
vsize: 842768
[startup+170.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 15867 39 0 0 25 0 11 0 541889563 862994432 24871 4294967295 134512640 134569956 3221224400 3221214680 1131281136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24871 13073 16 0 210676 0
vsize: 842768
[startup+180.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 16834 39 0 0 25 0 11 0 541889563 862994432 24998 4294967295 134512640 134569956 3221224400 3221214776 1131375962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24998 13073 16 0 210676 0
vsize: 842768
[startup+190.018 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 17797 39 0 0 25 0 11 0 541889563 862994432 25157 4294967295 134512640 134569956 3221224400 3221214680 1131281279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25157 13073 16 0 210676 0
vsize: 842768
[startup+200.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 18766 39 0 0 25 0 11 0 541889563 862994432 25312 4294967295 134512640 134569956 3221224400 3221214704 1131401620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25312 13073 16 0 210676 0
vsize: 842768
[startup+210.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 19733 40 0 0 25 0 11 0 541889563 862994432 25445 4294967295 134512640 134569956 3221224400 3221214768 1131217834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25445 13073 16 0 210676 0
vsize: 842768
[startup+220.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 20701 40 0 0 25 0 11 0 541889563 862994432 25638 4294967295 134512640 134569956 3221224400 3221214160 1131644556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25638 13073 16 0 210676 0
vsize: 842768
[startup+230.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 21672 40 0 0 25 0 11 0 541889563 862994432 25731 4294967295 134512640 134569956 3221224400 3221214680 1131281847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25731 13073 16 0 210676 0
vsize: 842768
[startup+240.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 22638 40 0 0 25 0 11 0 541889563 862994432 25848 4294967295 134512640 134569956 3221224400 3221214848 1131300448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25848 13073 16 0 210676 0
vsize: 842768
[startup+250.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 23605 40 0 0 25 0 11 0 541889563 862994432 26013 4294967295 134512640 134569956 3221224400 3221214664 1131625484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26013 13073 16 0 210676 0
vsize: 842768
[startup+260.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 24573 40 0 0 25 0 11 0 541889563 862994432 26226 4294967295 134512640 134569956 3221224400 3221214776 1131375873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26226 13073 16 0 210676 0
vsize: 842768
[startup+270.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 25540 40 0 0 25 0 11 0 541889563 862994432 26398 4294967295 134512640 134569956 3221224400 3221214400 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26398 13073 16 0 210676 0
vsize: 842768
[startup+280.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 26503 41 0 0 24 0 11 0 541889563 862994432 26534 4294967295 134512640 134569956 3221224400 3221214664 1131625580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26534 13073 16 0 210676 0
vsize: 842768
[startup+290.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 27471 41 0 0 25 0 11 0 541889563 862994432 26740 4294967295 134512640 134569956 3221224400 3221214776 1131378203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26740 13073 16 0 210676 0
vsize: 842768
[startup+300.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 28437 41 0 0 25 0 11 0 541889563 862994432 26968 4294967295 134512640 134569956 3221224400 3221214680 1131282000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26968 13073 16 0 210676 0
vsize: 842768
[startup+310.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 29404 41 0 0 25 0 11 0 541889563 862994432 27196 4294967295 134512640 134569956 3221224400 3221214776 1131377840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27196 13073 16 0 210676 0
vsize: 842768
[startup+320.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 30376 41 0 0 25 0 11 0 541889563 862994432 27299 4294967295 134512640 134569956 3221224400 3221214768 1131217842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27299 13073 16 0 210676 0
vsize: 842768
[startup+330.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 31343 41 0 0 25 0 11 0 541889563 862994432 27485 4294967295 134512640 134569956 3221224400 3221214776 1131377840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27485 13073 16 0 210676 0
vsize: 842768
[startup+340.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 32311 41 0 0 25 0 11 0 541889563 862994432 27606 4294967295 134512640 134569956 3221224400 3221214680 1131281258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27606 13073 16 0 210676 0
vsize: 842768
[startup+350.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 33279 41 0 0 25 0 11 0 541889563 862994432 27738 4294967295 134512640 134569956 3221224400 3221214776 1131382845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27738 13073 16 0 210676 0
vsize: 842768
[startup+360.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 34244 41 0 0 25 0 11 0 541889563 862994432 27899 4294967295 134512640 134569956 3221224400 3221214016 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27899 13073 16 0 210676 0
vsize: 842768
[startup+370.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 35214 41 0 0 25 0 11 0 541889563 862994432 28055 4294967295 134512640 134569956 3221224400 3221214776 1131377300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28055 13073 16 0 210676 0
vsize: 842768
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 36181 41 0 0 25 0 11 0 541889563 862994432 28193 4294967295 134512640 134569956 3221224400 3221214776 1131381688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28193 13073 16 0 210676 0
vsize: 842768
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 37149 41 0 0 25 0 11 0 541889563 862994432 28310 4294967295 134512640 134569956 3221224400 3221214544 1131509020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28310 13073 16 0 210676 0
vsize: 842768
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 38119 41 0 0 25 0 11 0 541889563 862994432 28428 4294967295 134512640 134569956 3221224400 3221214664 1131625484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28428 13073 16 0 210676 0
vsize: 842768
[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 39086 41 0 0 25 0 11 0 541889563 862994432 28587 4294967295 134512640 134569956 3221224400 3221214640 1131315571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28587 13073 16 0 210676 0
vsize: 842768
[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 40055 41 0 0 25 0 11 0 541889563 862994432 28802 4294967295 134512640 134569956 3221224400 3221214680 1131281144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28802 13073 16 0 210676 0
vsize: 842768
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 41030 41 0 0 25 0 11 0 541889563 862994432 28993 4294967295 134512640 134569956 3221224400 3221214800 1131494059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28993 13073 16 0 210676 0
vsize: 842768
[startup+440.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 42001 41 0 0 25 0 11 0 541889563 862994432 29116 4294967295 134512640 134569956 3221224400 3221214728 1131253380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 29116 13073 16 0 210676 0
vsize: 842768
[startup+450.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 42976 41 0 0 25 0 11 0 541889563 862994432 29196 4294967295 134512640 134569956 3221224400 3221214776 1131377228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 29196 13073 16 0 210676 0
vsize: 842768
[startup+460.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 43950 41 0 0 25 0 11 0 541889563 862994432 29271 4294967295 134512640 134569956 3221224400 3221214264 1131644600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 29271 13073 16 0 210676 0
vsize: 842768
[startup+470.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 44907 41 0 0 25 0 11 0 541889563 862994432 29415 4294967295 134512640 134569956 3221224400 3221214720 1131520588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 29415 13073 16 0 210676 0
vsize: 842768
[startup+480.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 45865 41 0 0 25 0 11 0 541889563 862994432 29591 4294967295 134512640 134569956 3221224400 3221214776 1131375962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 29591 13073 16 0 210676 0
vsize: 842768
[startup+490.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 46826 41 0 0 25 0 11 0 541889563 862994432 29868 4294967295 134512640 134569956 3221224400 3221214776 1131377188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 29868 13073 16 0 210676 0
vsize: 842768
[startup+500.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 47796 41 0 0 25 0 11 0 541889563 862994432 30078 4294967295 134512640 134569956 3221224400 3221214680 1131281121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30078 13073 16 0 210676 0
vsize: 842768
[startup+510.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 48774 41 0 0 25 0 11 0 541889563 862994432 30175 4294967295 134512640 134569956 3221224400 3221214204 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 30175 13073 16 0 210676 0
vsize: 842768
[startup+520.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 49758 41 0 0 25 0 11 0 541889563 862994432 30266 4294967295 134512640 134569956 3221224400 3221214192 1131662037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30266 13073 16 0 210676 0
vsize: 842768
[startup+530.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 50738 41 0 0 25 0 11 0 541889563 862994432 30320 4294967295 134512640 134569956 3221224400 3221214464 1131239849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30320 13073 16 0 210676 0
vsize: 842768
[startup+540.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 51706 41 0 0 25 0 11 0 541889563 862994432 30411 4294967295 134512640 134569956 3221224400 3221214104 1131644631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30411 13073 16 0 210676 0
vsize: 842768
[startup+550.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 52683 41 0 0 25 0 11 0 541889563 862994432 30470 4294967295 134512640 134569956 3221224400 3221214592 1131241225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30470 13073 16 0 210676 0
vsize: 842768
[startup+560.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 53658 41 0 0 25 0 11 0 541889563 862994432 30540 4294967295 134512640 134569956 3221224400 3221214896 1131654683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30540 13073 16 0 210676 0
vsize: 842768
[startup+570.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 54619 41 0 0 25 0 11 0 541889563 862994432 30673 4294967295 134512640 134569956 3221224400 3221214776 1131381898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30673 13073 16 0 210676 0
vsize: 842768
[startup+580.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 55576 42 0 0 24 0 11 0 541889563 862994432 30830 4294967295 134512640 134569956 3221224400 3221214848 1131300767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30830 13073 16 0 210676 0
vsize: 842768
[startup+590.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 56556 42 0 0 25 0 11 0 541889563 862994432 30903 4294967295 134512640 134569956 3221224400 3221214776 1131380972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 30903 13073 16 0 210676 0
vsize: 842768
[startup+600.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 57520 42 0 0 25 0 11 0 541889563 862994432 31040 4294967295 134512640 134569956 3221224400 3221214488 1131644572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31040 13073 16 0 210676 0
vsize: 842768
[startup+610.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 58492 42 0 0 25 0 11 0 541889563 862994432 31179 4294967295 134512640 134569956 3221224400 3221214680 1131281121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31179 13073 16 0 210676 0
vsize: 842768
[startup+620.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 59461 42 0 0 25 0 11 0 541889563 862994432 31271 4294967295 134512640 134569956 3221224400 3221214776 1131377300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31271 13073 16 0 210676 0
vsize: 842768
[startup+630.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 60431 42 0 0 25 0 11 0 541889563 862994432 31364 4294967295 134512640 134569956 3221224400 3221214680 1131281107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31364 13073 16 0 210676 0
vsize: 842768
[startup+640.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 61396 42 0 0 24 0 11 0 541889563 862994432 31501 4294967295 134512640 134569956 3221224400 3221214776 1131377840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31501 13073 16 0 210676 0
vsize: 842768
[startup+650.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) S 28180 27565 27564 0 -1 0 18067 0 1 0 62368 42 0 0 25 0 11 0 541889563 862994432 31613 4294967295 134512640 134569956 3221224400 3221213560 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31615 13073 16 0 210676 0
vsize: 842768
[startup+660.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 63340 42 0 0 25 0 11 0 541889563 862994432 31743 4294967295 134512640 134569956 3221224400 3221214936 1131224985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31743 13073 16 0 210676 0
vsize: 842768
[startup+670.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 64312 42 0 0 25 0 11 0 541889563 862994432 31855 4294967295 134512640 134569956 3221224400 3221214776 1131382748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31855 13073 16 0 210676 0
vsize: 842768
[startup+680.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 65287 42 0 0 25 0 11 0 541889563 862994432 31981 4294967295 134512640 134569956 3221224400 3221214680 1131281310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 31981 13073 16 0 210676 0
vsize: 842768
[startup+690.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 66264 42 0 0 25 0 11 0 541889563 862994432 32085 4294967295 134512640 134569956 3221224400 3221214680 1131281081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32085 13073 16 0 210676 0
vsize: 842768
[startup+700.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 67245 42 0 0 25 0 11 0 541889563 862994432 32167 4294967295 134512640 134569956 3221224400 3221214772 1131217858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32167 13073 16 0 210676 0
vsize: 842768
[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 68224 42 0 0 25 0 11 0 541889563 862994432 32221 4294967295 134512640 134569956 3221224400 3221214680 1131281996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32221 13073 16 0 210676 0
vsize: 842768
[startup+720.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 69205 42 0 0 25 0 11 0 541889563 862994432 32279 4294967295 134512640 134569956 3221224400 3221214680 1131281121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32279 13073 16 0 210676 0
vsize: 842768
[startup+730.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 70174 42 0 0 25 0 11 0 541889563 862994432 32361 4294967295 134512640 134569956 3221224400 3221214776 1131377300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32361 13073 16 0 210676 0
vsize: 842768
[startup+740.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 71138 42 0 0 24 0 11 0 541889563 862994432 32474 4294967295 134512640 134569956 3221224400 3221214776 1131378031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32474 13073 16 0 210676 0
vsize: 842768
[startup+750.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 72110 42 0 0 25 0 11 0 541889563 862994432 32554 4294967295 134512640 134569956 3221224400 3221214664 1131625484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32554 13073 16 0 210676 0
vsize: 842768
[startup+760.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 73076 42 0 0 25 0 11 0 541889563 862994432 32663 4294967295 134512640 134569956 3221224400 3221214200 1131645802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32663 13073 16 0 210676 0
vsize: 842768
[startup+770.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 74046 42 0 0 25 0 11 0 541889563 862994432 32832 4294967295 134512640 134569956 3221224400 3221214704 1131438113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32832 13073 16 0 210676 0
vsize: 842768
[startup+780.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 75019 42 0 0 25 0 11 0 541889563 862994432 32939 4294967295 134512640 134569956 3221224400 3221214776 1131378195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 32939 13073 16 0 210676 0
vsize: 842768
[startup+790.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 75992 42 0 0 25 0 11 0 541889563 862994432 33031 4294967295 134512640 134569956 3221224400 3221214376 1131644625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33031 13073 16 0 210676 0
vsize: 842768
[startup+800.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 76964 42 0 0 25 0 11 0 541889563 862994432 33160 4294967295 134512640 134569956 3221224400 3221214768 1131217825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 33160 13073 16 0 210676 0
vsize: 842768
[startup+810.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 77931 42 0 0 25 0 11 0 541889563 862994432 33313 4294967295 134512640 134569956 3221224400 3221214776 1131377237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33313 13073 16 0 210676 0
vsize: 842768
[startup+820.084 s]
Raw data (loadavg): 1.00 1.00 0.94 3/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 78905 42 0 0 25 0 11 0 541889563 862994432 33444 4294967295 134512640 134569956 3221224400 3221214208 1131644689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33444 13073 16 0 210676 0
vsize: 842768
[startup+830.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 79879 42 0 0 25 0 11 0 541889563 862994432 33525 4294967295 134512640 134569956 3221224400 3221214472 1131646024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33525 13073 16 0 210676 0
vsize: 842768
[startup+840.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 80848 43 0 0 25 0 11 0 541889563 862994432 33640 4294967295 134512640 134569956 3221224400 3221214704 1131431868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33640 13073 16 0 210676 0
vsize: 842768
[startup+850.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 81822 43 0 0 25 0 11 0 541889563 862994432 33721 4294967295 134512640 134569956 3221224400 3221214936 1131224985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33721 13073 16 0 210676 0
vsize: 842768
[startup+860.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 82792 43 0 0 25 0 11 0 541889563 862994432 33808 4294967295 134512640 134569956 3221224400 3221214776 1131377524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33808 13073 16 0 210676 0
vsize: 842768
[startup+870.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 83761 43 0 0 25 0 11 0 541889563 862994432 33926 4294967295 134512640 134569956 3221224400 3221214776 1131381527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 33926 13073 16 0 210676 0
vsize: 842768
[startup+880.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 84731 43 0 0 25 0 11 0 541889563 862994432 34059 4294967295 134512640 134569956 3221224400 3221214800 1131494152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 34059 13073 16 0 210676 0
vsize: 842768
[startup+890.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 85701 43 0 0 25 0 11 0 541889563 862994432 34168 4294967295 134512640 134569956 3221224400 3221214680 1131281072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 34168 13073 16 0 210676 0
vsize: 842768
[startup+900.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 86670 43 0 0 25 0 11 0 541889563 862994432 34274 4294967295 134512640 134569956 3221224400 3221214776 1131377840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 34274 13073 16 0 210676 0
vsize: 842768
[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 87637 43 0 0 25 0 11 0 541889563 862994432 34383 4294967295 134512640 134569956 3221224400 3221214600 1131239682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 34383 13073 16 0 210676 0
vsize: 842768
[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 88603 43 0 0 25 0 11 0 541889563 862994432 34492 4294967295 134512640 134569956 3221224400 3221214200 1131645999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 34492 13073 16 0 210676 0
vsize: 842768
[startup+930.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 89570 43 0 0 25 0 11 0 541889563 862994432 34638 4294967295 134512640 134569956 3221224400 3221214776 1131383494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 34638 13073 16 0 210676 0
vsize: 842768
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 90537 44 0 0 25 0 11 0 541889563 862994432 34844 4294967295 134512640 134569956 3221224400 3221214640 1131645077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 34844 13073 16 0 210676 0
vsize: 842768
[startup+950.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 91506 44 0 0 25 0 11 0 541889563 862994432 35040 4294967295 134512640 134569956 3221224400 3221214680 1131281067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 35040 13073 16 0 210676 0
vsize: 842768
[startup+960.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 92475 44 0 0 25 0 11 0 541889563 862994432 35222 4294967295 134512640 134569956 3221224400 3221214680 1131294125 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 35222 13073 16 0 210676 0
vsize: 842768
[startup+970.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 93440 44 0 0 24 0 11 0 541889563 862994432 35388 4294967295 134512640 134569956 3221224400 3221214680 1131281067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 35388 13073 16 0 210676 0
vsize: 842768
[startup+980.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 94410 44 0 0 25 0 11 0 541889563 862994432 35568 4294967295 134512640 134569956 3221224400 3221214544 1131644625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 35568 13073 16 0 210676 0
vsize: 842768
[startup+990.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 95379 44 0 0 25 0 11 0 541889563 862994432 35705 4294967295 134512640 134569956 3221224400 3221214848 1131300772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 35705 13073 16 0 210676 0
vsize: 842768
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 96348 44 0 0 25 0 11 0 541889563 862994432 35908 4294967295 134512640 134569956 3221224400 3221214624 1131628673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 35908 13073 16 0 210676 0
vsize: 842768
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 97314 44 0 0 25 0 11 0 541889563 862994432 36069 4294967295 134512640 134569956 3221224400 3221214724 1131253344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 36069 13073 16 0 210676 0
vsize: 842768
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 98282 44 0 0 25 0 11 0 541889563 862994432 36220 4294967295 134512640 134569956 3221224400 3221214776 1131381688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 36220 13073 16 0 210676 0
vsize: 842768
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 99253 44 0 0 25 0 11 0 541889563 862994432 36408 4294967295 134512640 134569956 3221224400 3221214776 1131381988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 36408 13073 16 0 210676 0
vsize: 842768
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 100223 44 0 0 25 0 11 0 541889563 862994432 36556 4294967295 134512640 134569956 3221224400 3221214680 1131281217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 36556 13073 16 0 210676 0
vsize: 842768
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 101190 44 0 0 24 0 11 0 541889563 862994432 36725 4294967295 134512640 134569956 3221224400 3221214936 1131224985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 36725 13073 16 0 210676 0
vsize: 842768
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 102160 44 0 0 25 0 11 0 541889563 862994432 36918 4294967295 134512640 134569956 3221224400 3221214640 1131155417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 36918 13073 16 0 210676 0
vsize: 842768
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 103129 44 0 0 25 0 11 0 541889563 862994432 37046 4294967295 134512640 134569956 3221224400 3221214152 1131646057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37046 13073 16 0 210676 0
vsize: 842768
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 104103 44 0 0 25 0 11 0 541889563 862994432 37174 4294967295 134512640 134569956 3221224400 3221214776 1131377300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37174 13073 16 0 210676 0
vsize: 842768
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 105073 44 0 0 25 0 11 0 541889563 862994432 37394 4294967295 134512640 134569956 3221224400 3221214776 1131381115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37394 13073 16 0 210676 0
vsize: 842768
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 106050 44 0 0 25 0 11 0 541889563 862994432 37501 4294967295 134512640 134569956 3221224400 3221214728 1131253597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37501 13073 16 0 210676 0
vsize: 842768
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 107015 44 0 0 25 0 11 0 541889563 862994432 37625 4294967295 134512640 134569956 3221224400 3221214664 1131625484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37625 13073 16 0 210676 0
vsize: 842768
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 107986 44 0 0 25 0 11 0 541889563 862994432 37729 4294967295 134512640 134569956 3221224400 3221214680 1131281946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37729 13073 16 0 210676 0
vsize: 842768
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 108950 44 0 0 25 0 11 0 541889563 862994432 37837 4294967295 134512640 134569956 3221224400 3221214776 1131381128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37837 13073 16 0 210676 0
vsize: 842768
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 109919 44 0 0 25 0 11 0 541889563 862994432 37937 4294967295 134512640 134569956 3221224400 3221214776 1131375763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 37937 13073 16 0 210676 0
vsize: 842768
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 110887 44 0 0 25 0 11 0 541889563 862994432 38054 4294967295 134512640 134569956 3221224400 3221214320 1131644625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38054 13073 16 0 210676 0
vsize: 842768
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 111857 44 0 0 24 0 11 0 541889563 862994432 38246 4294967295 134512640 134569956 3221224400 3221214772 1131217858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38246 13073 16 0 210676 0
vsize: 842768
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 112831 44 0 0 25 0 11 0 541889563 862994432 38357 4294967295 134512640 134569956 3221224400 3221214776 1131378873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38357 13073 16 0 210676 0
vsize: 842768
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 113802 44 0 0 25 0 11 0 541889563 862994432 38473 4294967295 134512640 134569956 3221224400 3221214776 1131381128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38473 13073 16 0 210676 0
vsize: 842768
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 114775 44 0 0 25 0 11 0 541889563 862994432 38601 4294967295 134512640 134569956 3221224400 3221214680 1131282824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38601 13073 16 0 210676 0
vsize: 842768
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 115749 44 0 0 25 0 11 0 541889563 862994432 38710 4294967295 134512640 134569956 3221224400 3221214664 1131625484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38710 13073 16 0 210676 0
vsize: 842768
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 116720 45 0 0 25 0 11 0 541889563 862994432 38835 4294967295 134512640 134569956 3221224400 3221214680 1131281121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38835 13073 16 0 210676 0
vsize: 842768
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 117692 45 0 0 25 0 11 0 541889563 862994432 38961 4294967295 134512640 134569956 3221224400 3221214680 1131281206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 38961 13073 16 0 210676 0
vsize: 842768
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 118668 45 0 0 25 0 11 0 541889563 862994432 39117 4294967295 134512640 134569956 3221224400 3221214776 1131377840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 39117 13073 16 0 210676 0
vsize: 842768
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 119641 45 0 0 25 0 11 0 541889563 862994432 39215 4294967295 134512640 134569956 3221224400 3221214776 1131379067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 39215 13073 16 0 210676 0
vsize: 842768
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 28191
Raw data (stat): 28181 (java) R 28180 27565 27564 0 -1 0 18067 0 1 0 120617 45 0 0 25 0 11 0 541889563 862994432 39289 4294967295 134512640 134569956 3221224400 3221214776 1131380579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 39289 13073 16 0 210676 0
vsize: 842768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.29 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 28193
Raw data (stat): 28181 (java) Z 28180 27565 27564 0 -1 1036 18067 18640 1 0 120619 45 3962 55 25 0 1 0 541889563 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.29
CPU time (s): 1246.84
CPU user time (s): 1245.82
CPU system time (s): 1.01484
CPU usage (%): 99.724
Max. virtual memory (Kb): 844900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####