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-qiu.opb
MD5SUM	e35e3cb279fca9040eb6914414619c36
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7968
Biggest coefficient in the objective function	9098351345664
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	4803935111035752
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	9098351345664
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	4803935111035752
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.204968
Number of variables	23808
Total number of constraints	1192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	31
Maximum length of a constraint	5940
Trace number 21081

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        238800 kB
Buffers:         33468 kB
Cached:         740408 kB
SwapCached:        508 kB
Active:         157896 kB
Inactive:       618120 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        238548 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14296 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 23:02:12 (client local time) WITH STATUS 143 IN 1228.08 SECONDS
stats: 13802 7 1228.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-qiu.opb
c reading problem 
c [nbvar=23808]
c [nbconstr=1192]
c time 162.818
c #vars     23808
c #clauses  1325
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 7745
Raw data (stat): 7745 (runsolver) R 7744 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490535862 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.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/63 7754
Raw data (stat): 7745 (java) S 7744 25285 25284 0 -1 0 17972 0 1 0 877 38 0 0 25 0 10 0 490535862 853581824 19142 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208394 19142 13073 16 0 208378 0
vsize: 833576
[startup+20.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 3/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17972 0 1 0 1770 38 0 0 25 0 10 0 490535862 853901312 19727 4294967295 134512640 134569956 3221224400 3221212060 1079805978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208472 19727 13073 16 0 208456 0
vsize: 833888
[startup+30.0274 s]
Raw data (loadavg): 1.04 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 2586 38 0 0 25 0 10 0 490535862 854720512 20888 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208672 20888 13073 16 0 208656 0
vsize: 834688
[startup+40.028 s]
Raw data (loadavg): 1.04 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 3473 39 0 0 25 0 10 0 490535862 854523904 21037 4294967295 134512640 134569956 3221224400 3221214808 1131220364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208624 21037 13073 16 0 208608 0
vsize: 834496
[startup+50.0284 s]
Raw data (loadavg): 1.03 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 4385 39 0 0 25 0 10 0 490535862 855572480 21554 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208880 21554 13073 16 0 208864 0
vsize: 835520
[startup+60.0287 s]
Raw data (loadavg): 1.03 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 5297 40 0 0 25 0 10 0 490535862 855572480 21683 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208880 21683 13073 16 0 208864 0
vsize: 835520
[startup+70.0295 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 6215 40 0 0 25 0 10 0 490535862 857669632 22423 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209392 22423 13073 16 0 209376 0
vsize: 837568
[startup+80.0299 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 7132 40 0 0 25 0 10 0 490535862 856621056 22313 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209136 22313 13073 16 0 209120 0
vsize: 836544
[startup+90.0315 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 8051 40 0 0 21 0 10 0 490535862 856621056 22465 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209136 22465 13073 16 0 209120 0
vsize: 836544
[startup+100.032 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 8978 41 0 0 25 0 10 0 490535862 856621056 22591 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209136 22591 13073 16 0 209120 0
vsize: 836544
[startup+110.035 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) S 7744 25285 25284 0 -1 0 17975 0 1 0 9902 41 0 0 25 0 10 0 490535862 856621056 22712 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 22712 13073 16 0 209120 0
vsize: 836544
[startup+120.039 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 10824 41 0 0 25 0 10 0 490535862 856621056 22800 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 22800 13073 16 0 209120 0
vsize: 836544
[startup+130.04 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 11748 42 0 0 25 0 10 0 490535862 856621056 22904 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 22904 13073 16 0 209120 0
vsize: 836544
[startup+140.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 12671 42 0 0 25 0 10 0 490535862 856621056 23008 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23008 13073 16 0 209120 0
vsize: 836544
[startup+150.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) S 7744 25285 25284 0 -1 0 17975 0 1 0 13592 42 0 0 25 0 10 0 490535862 856621056 23110 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23110 13073 16 0 209120 0
vsize: 836544
[startup+160.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 7754
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 17975 0 1 0 14515 42 0 0 25 0 10 0 490535862 856621056 23205 4294967295 134512640 134569956 3221224400 3221214808 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209136 23205 13073 16 0 209120 0
vsize: 836544
[startup+170.046 s]
Raw data (loadavg): 1.00 0.98 0.91 3/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 15385 44 0 0 25 0 11 0 490535862 858628096 25865 4294967295 134512640 134569956 3221224400 3221214420 1080020570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209626 25865 13073 16 0 209610 0
vsize: 838504
[startup+180.047 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 16343 44 0 0 25 0 11 0 490535862 857415680 25781 4294967295 134512640 134569956 3221224400 3221214696 1131473603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209330 25781 13073 16 0 209314 0
vsize: 837320
[startup+190.049 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 17332 44 0 0 24 0 11 0 490535862 857415680 25781 4294967295 134512640 134569956 3221224400 3221214744 1131482142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209330 25781 13073 16 0 209314 0
vsize: 837320
[startup+200.049 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 18321 45 0 0 25 0 11 0 490535862 857415680 25791 4294967295 134512640 134569956 3221224400 3221214744 1131479484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209330 25791 13073 16 0 209314 0
vsize: 837320
[startup+210.049 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 19317 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214672 1131450994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+220.051 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 20314 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214744 1131481713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+230.05 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 21311 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214616 1131456302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+240.052 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 22308 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214744 1131480902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+250.052 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 23304 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214696 1131460628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+260.052 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 24301 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214744 1131481643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+270.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 25297 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214744 1131482379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+280.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 26294 45 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214728 1131457737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+290.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18043 0 1 0 27291 46 0 0 25 0 11 0 490535862 857415680 25809 4294967295 134512640 134569956 3221224400 3221214744 1131482142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209330 25809 13073 16 0 209314 0
vsize: 837320
[startup+300.054 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 28289 46 0 0 25 0 11 0 490535862 857415680 25810 4294967295 134512640 134569956 3221224400 3221214848 1131416924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209330 25810 13073 16 0 209314 0
vsize: 837320
[startup+310.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 29284 46 0 0 25 0 11 0 490535862 859082752 26162 4294967295 134512640 134569956 3221224400 3221214616 1131459196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26162 13073 16 0 209721 0
vsize: 838948
[startup+320.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 30279 46 0 0 25 0 11 0 490535862 859082752 26162 4294967295 134512640 134569956 3221224400 3221214672 1131450193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26162 13073 16 0 209721 0
vsize: 838948
[startup+330.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 31275 46 0 0 25 0 11 0 490535862 859082752 26164 4294967295 134512640 134569956 3221224400 3221214744 1131481713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26164 13073 16 0 209721 0
vsize: 838948
[startup+340.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 32271 46 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214744 1131481319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+350.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 33268 46 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214544 1131517707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+360.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 34265 46 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214732 1080203737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+370.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 35261 46 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214740 1131415308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+380.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 36258 47 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214744 1131481888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+390.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 37255 47 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214744 1131480895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+400.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 38251 47 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214744 1131481847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+410.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 39247 47 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214696 1131460628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+420.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 40242 47 0 0 25 0 11 0 490535862 859082752 26165 4294967295 134512640 134569956 3221224400 3221214624 1131473547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26165 13073 16 0 209721 0
vsize: 838948
[startup+430.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 41238 47 0 0 25 0 11 0 490535862 859082752 26166 4294967295 134512640 134569956 3221224400 3221214848 1131417192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209737 26166 13073 16 0 209721 0
vsize: 838948
[startup+440.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 42232 47 0 0 25 0 11 0 490535862 859082752 26167 4294967295 134512640 134569956 3221224400 3221214624 1131473603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26167 13073 16 0 209721 0
vsize: 838948
[startup+450.062 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 43227 47 0 0 25 0 11 0 490535862 859082752 26168 4294967295 134512640 134569956 3221224400 3221214848 1131417099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26168 13073 16 0 209721 0
vsize: 838948
[startup+460.062 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 44222 47 0 0 25 0 11 0 490535862 859082752 26170 4294967295 134512640 134569956 3221224400 3221214744 1131481713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26170 13073 16 0 209721 0
vsize: 838948
[startup+470.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 45219 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214616 1131456299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+480.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 46216 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214928 1130919932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+490.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 47213 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214672 1131449773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+500.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 48209 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214720 1131404191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+510.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 49206 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+520.065 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 50203 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214592 1131463752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+530.066 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 51199 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214688 1131209040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+540.067 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 52195 48 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214616 1131456791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+550.067 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 53190 49 0 0 25 0 11 0 490535862 859082752 26172 4294967295 134512640 134569956 3221224400 3221214648 1131447131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26172 13073 16 0 209721 0
vsize: 838948
[startup+560.067 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 54187 49 0 0 25 0 11 0 490535862 859082752 26174 4294967295 134512640 134569956 3221224400 3221214848 1131416924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209737 26174 13073 16 0 209721 0
vsize: 838948
[startup+570.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 55182 49 0 0 25 0 11 0 490535862 857481216 25851 4294967295 134512640 134569956 3221224400 3221214672 1131449224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25851 13073 16 0 209330 0
vsize: 837384
[startup+580.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 56177 49 0 0 25 0 11 0 490535862 857481216 25852 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25852 13073 16 0 209330 0
vsize: 837384
[startup+590.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 57173 49 0 0 25 0 11 0 490535862 857481216 25855 4294967295 134512640 134569956 3221224400 3221214696 1131473603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25855 13073 16 0 209330 0
vsize: 837384
[startup+600.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 58169 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214640 1131460628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+610.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 59166 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214744 1131479567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+620.068 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 60163 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214768 1131460628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+630.069 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 61160 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214744 1131481825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+640.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 62157 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214624 1131473603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+650.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 63154 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214848 1131416924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+660.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 64150 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214592 1131463187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+670.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 65145 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214624 1131473721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+680.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 66140 49 0 0 25 0 11 0 490535862 857481216 25856 4294967295 134512640 134569956 3221224400 3221214744 1131481758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209346 25856 13073 16 0 209330 0
vsize: 837384
[startup+690.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 67137 50 0 0 25 0 11 0 490535862 859578368 26181 4294967295 134512640 134569956 3221224400 3221214768 1131417197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26181 13073 16 0 209842 0
vsize: 839432
[startup+700.071 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 68137 50 0 0 25 0 11 0 490535862 859578368 26184 4294967295 134512640 134569956 3221224400 3221214768 1131417192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209858 26184 13073 16 0 209842 0
vsize: 839432
[startup+710.071 s]
Raw data (loadavg): 1.08 1.01 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 69128 50 0 0 25 0 11 0 490535862 859578368 26184 4294967295 134512640 134569956 3221224400 3221214816 1131479518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26184 13073 16 0 209842 0
vsize: 839432
[startup+720.072 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 70115 50 0 0 25 0 11 0 490535862 859578368 26184 4294967295 134512640 134569956 3221224400 3221214744 1131449389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26184 13073 16 0 209842 0
vsize: 839432
[startup+730.072 s]
Raw data (loadavg): 1.06 1.01 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 71104 50 0 0 25 0 11 0 490535862 859578368 26184 4294967295 134512640 134569956 3221224400 3221214848 1131417192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26184 13073 16 0 209842 0
vsize: 839432
[startup+740.072 s]
Raw data (loadavg): 1.05 1.01 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 72097 50 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214744 1131449950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+750.073 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 73092 50 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214816 1131481713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+760.072 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 74089 50 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214804 1080203741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+770.073 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 75086 50 0 0 17 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214884 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+780.073 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 76083 51 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214896 1131547415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+790.073 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 77080 51 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214728 1131422199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+800.073 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 78076 51 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214748 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+810.074 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 79073 51 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214816 1131480354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+820.074 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 80070 51 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214748 1080204286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+830.074 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 81066 51 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214848 1131416912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+840.074 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 82062 51 0 0 25 0 11 0 490535862 859578368 26219 4294967295 134512640 134569956 3221224400 3221214744 1131482233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 26219 13073 16 0 209842 0
vsize: 839432
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 83055 51 0 0 25 0 11 0 490535862 859512832 26203 4294967295 134512640 134569956 3221224400 3221214744 1131481368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26203 13073 16 0 209826 0
vsize: 839368
[startup+860.073 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 84050 51 0 0 25 0 11 0 490535862 859512832 26205 4294967295 134512640 134569956 3221224400 3221214732 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26205 13073 16 0 209826 0
vsize: 839368
[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 85045 51 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214744 1131481304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 86042 51 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214744 1131480060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+890.075 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 87039 52 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214744 1131480047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+900.075 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 88035 52 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214744 1131479304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 89031 52 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214616 1131456249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+920.077 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 90028 52 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214696 1131473547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+930.077 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 91024 52 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214624 1131473715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 92020 52 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214728 1131457737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+950.077 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 93016 53 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214688 1131459370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 94011 53 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214768 1131416920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+970.078 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 95008 53 0 0 25 0 11 0 490535862 859512832 26207 4294967295 134512640 134569956 3221224400 3221214680 1131459294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26207 13073 16 0 209826 0
vsize: 839368
[startup+980.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) S 7744 25285 25284 0 -1 0 18044 0 1 0 96003 53 0 0 25 0 11 0 490535862 859512832 26209 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26209 13073 16 0 209826 0
vsize: 839368
[startup+990.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 96998 53 0 0 25 0 11 0 490535862 859512832 26211 4294967295 134512640 134569956 3221224400 3221214664 1131449311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26211 13073 16 0 209826 0
vsize: 839368
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 97994 53 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214736 1131479641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 98991 53 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214664 1131450676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 99988 53 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214688 1131473570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 100985 53 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214724 1080203733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 101981 53 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214736 1131479484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 102977 53 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214184 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 103974 54 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214712 1131404191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 104970 54 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214816 1131594146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 105965 54 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214724 1080203714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 106961 54 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214768 1131416924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 7755
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 107957 54 0 0 25 0 11 0 490535862 859512832 26213 4294967295 134512640 134569956 3221224400 3221214804 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26213 13073 16 0 209826 0
vsize: 839368
[startup+1110.08 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 7808
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 108938 65 0 0 25 0 11 0 490535862 859512832 26215 4294967295 134512640 134569956 3221224400 3221214596 1080203688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26215 13073 16 0 209826 0
vsize: 839368
[startup+1120.09 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 7808
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 109933 65 0 0 25 0 11 0 490535862 859512832 26217 4294967295 134512640 134569956 3221224400 3221214736 1131479424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26217 13073 16 0 209826 0
vsize: 839368
[startup+1130.09 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 7808
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 110929 66 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214804 1080204314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1140.09 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 7808
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 111925 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214664 1131449311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1150.09 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 7808
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 112922 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214664 1131449408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1160.09 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 7808
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 113919 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214648 1131422199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1170.09 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 7808
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 114915 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214736 1131480129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1180.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 7810
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 115912 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214736 1131479953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1190.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 7810
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 116909 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214668 1080204267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1200.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 7810
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 117904 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214472 1131513241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1210.09 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 7810
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 118900 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214664 1131450180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1220.09 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 7810
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 119896 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214768 1131416932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
[startup+1230.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 7810
Raw data (stat): 7745 (java) R 7744 25285 25284 0 -1 0 18044 0 1 0 120896 67 0 0 25 0 11 0 490535862 859512832 26219 4294967295 134512640 134569956 3221224400 3221214768 1131417099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209842 26219 13073 16 0 209826 0
vsize: 839368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.01 1.00 0.93 1/54 7812
Raw data (stat): 7745 (java) Z 7744 25285 25284 0 -1 1036 18044 6526 1 0 120897 67 1816 25 25 0 1 0 490535862 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.15
CPU time (s): 1228.08
CPU user time (s): 1227.14
CPU system time (s): 0.936857
CPU usage (%): 99.8316
Max. virtual memory (Kb): 839432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####