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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb
MD5SUMbc46e72682d969c09e6f4028df473a45
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 201342
Optimality of the best value was proved NO
Number of terms in the objective function 73885
Biggest coefficient in the objective function 4066
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 172074995
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 4066
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 172074995
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.18
Number of variables73885
Total number of constraints74436
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)74436
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint612

Trace number 16584

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-21 07:50:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13074 boxname=wulflinc20 idbench=1006 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 13074
/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:        559464 kB
Buffers:         19288 kB
Cached:         431240 kB
SwapCached:        516 kB
Active:         109924 kB
Inactive:       342652 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        559212 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            17052 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 08:12:46 (client local time) WITH STATUS 143 IN 1310.43 SECONDS
stats: 13074 7 1310.43 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-t1717.opb
c reading problem 
c [nbvar=73885]
c [nbconstr=74436]
#### 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.85 0.93 0.90 2/54 2220
Raw data (stat): 2220 (runsolver) R 2219 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543414851 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+9.99979 s]
Raw data (loadavg): 0.87 0.93 0.90 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 896 41 0 0 25 0 10 0 543414851 852758528 19048 4294967295 134512640 134569956 3221224400 3221214540 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208193 19048 13073 16 0 208177 0
vsize: 832772
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.94 0.90 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 1787 41 0 0 18 0 10 0 543414851 853483520 19674 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208370 19674 13073 16 0 208354 0
vsize: 833480
[startup+30.0002 s]
Raw data (loadavg): 0.91 0.94 0.90 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 2686 41 0 0 24 0 10 0 543414851 853483520 20101 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208370 20101 13073 16 0 208354 0
vsize: 833480
[startup+39.9999 s]
Raw data (loadavg): 0.92 0.94 0.90 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 3617 42 0 0 25 0 10 0 543414851 853483520 20327 4294967295 134512640 134569956 3221224400 3221214824 1131212097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208370 20327 13073 16 0 208354 0
vsize: 833480
[startup+50.0006 s]
Raw data (loadavg): 0.93 0.94 0.90 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 4546 42 0 0 25 0 10 0 543414851 853483520 20446 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208370 20446 13073 16 0 208354 0
vsize: 833480
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.94 0.91 3/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 5479 42 0 0 25 0 10 0 543414851 853934080 20609 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208480 20609 13073 16 0 208464 0
vsize: 833920
[startup+70.0011 s]
Raw data (loadavg): 0.95 0.94 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 6420 43 0 0 25 0 10 0 543414851 853446656 20787 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 20787 13073 16 0 208345 0
vsize: 833444
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 7369 44 0 0 25 0 10 0 543414851 853446656 20864 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 20864 13073 16 0 208345 0
vsize: 833444
[startup+90.0015 s]
Raw data (loadavg): 0.96 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 8315 44 0 0 25 0 10 0 543414851 853446656 20940 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 20940 13073 16 0 208345 0
vsize: 833444
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 9262 44 0 0 24 0 10 0 543414851 853446656 21010 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21010 13073 16 0 208345 0
vsize: 833444
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 10212 45 0 0 25 0 10 0 543414851 853446656 21071 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21071 13073 16 0 208345 0
vsize: 833444
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 11160 45 0 0 25 0 10 0 543414851 853446656 21133 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21133 13073 16 0 208345 0
vsize: 833444
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 12107 45 0 0 25 0 10 0 543414851 853446656 21192 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21192 13073 16 0 208345 0
vsize: 833444
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 13053 46 0 0 24 0 10 0 543414851 853446656 21248 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21248 13073 16 0 208345 0
vsize: 833444
[startup+150.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 14004 46 0 0 25 0 10 0 543414851 853446656 21300 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21300 13073 16 0 208345 0
vsize: 833444
[startup+160.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 14951 47 0 0 25 0 10 0 543414851 853446656 21352 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21352 13073 16 0 208345 0
vsize: 833444
[startup+170.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 15883 47 0 0 24 0 10 0 543414851 853446656 21402 4294967295 134512640 134569956 3221224400 3221214748 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21402 13073 16 0 208345 0
vsize: 833444
[startup+180.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 16809 47 0 0 25 0 10 0 543414851 853446656 21447 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21447 13073 16 0 208345 0
vsize: 833444
[startup+190.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) S 2219 27565 27564 0 -1 0 17981 0 1 0 17747 48 0 0 25 0 10 0 543414851 853446656 21747 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21747 13073 16 0 208345 0
vsize: 833444
[startup+200.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 18690 48 0 0 25 0 10 0 543414851 853446656 21792 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21792 13073 16 0 208345 0
vsize: 833444
[startup+210.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 19632 49 0 0 25 0 10 0 543414851 853446656 21838 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21838 13073 16 0 208345 0
vsize: 833444
[startup+220.133 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 20585 49 0 0 25 0 10 0 543414851 853446656 21880 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21880 13073 16 0 208345 0
vsize: 833444
[startup+230.134 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 21530 50 0 0 25 0 10 0 543414851 853446656 21920 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 21920 13073 16 0 208345 0
vsize: 833444
[startup+240.133 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 22470 50 0 0 25 0 10 0 543414851 853446656 21961 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 21961 13073 16 0 208345 0
vsize: 833444
[startup+250.138 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 23411 50 0 0 25 0 10 0 543414851 853446656 22001 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22001 13073 16 0 208345 0
vsize: 833444
[startup+260.153 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) S 2219 27565 27564 0 -1 0 17981 0 1 0 24354 51 0 0 25 0 10 0 543414851 853446656 22038 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22038 13073 16 0 208345 0
vsize: 833444
[startup+270.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 25294 51 0 0 25 0 10 0 543414851 853446656 22076 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22076 13073 16 0 208345 0
vsize: 833444
[startup+280.154 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 26233 52 0 0 25 0 10 0 543414851 853446656 22113 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22113 13073 16 0 208345 0
vsize: 833444
[startup+290.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 27175 52 0 0 25 0 10 0 543414851 853446656 22148 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22148 13073 16 0 208345 0
vsize: 833444
[startup+300.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 28112 53 0 0 25 0 10 0 543414851 853446656 22184 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22184 13073 16 0 208345 0
vsize: 833444
[startup+310.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 29050 53 0 0 24 0 10 0 543414851 853446656 22220 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22220 13073 16 0 208345 0
vsize: 833444
[startup+320.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 29990 54 0 0 25 0 10 0 543414851 853446656 22252 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22252 13073 16 0 208345 0
vsize: 833444
[startup+330.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 30927 54 0 0 25 0 10 0 543414851 853446656 22287 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22287 13073 16 0 208345 0
vsize: 833444
[startup+340.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 31866 55 0 0 25 0 10 0 543414851 853446656 22319 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22319 13073 16 0 208345 0
vsize: 833444
[startup+350.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 32802 55 0 0 25 0 10 0 543414851 853446656 22353 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22353 13073 16 0 208345 0
vsize: 833444
[startup+360.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 33740 55 0 0 25 0 10 0 543414851 853446656 22384 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22384 13073 16 0 208345 0
vsize: 833444
[startup+370.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 34674 56 0 0 25 0 10 0 543414851 853446656 22416 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22416 13073 16 0 208345 0
vsize: 833444
[startup+380.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 35613 56 0 0 25 0 10 0 543414851 853446656 22446 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22446 13073 16 0 208345 0
vsize: 833444
[startup+390.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 36546 56 0 0 25 0 10 0 543414851 853446656 22477 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22477 13073 16 0 208345 0
vsize: 833444
[startup+400.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 37483 57 0 0 25 0 10 0 543414851 853446656 22506 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22506 13073 16 0 208345 0
vsize: 833444
[startup+410.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 38416 57 0 0 25 0 10 0 543414851 853446656 22537 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22537 13073 16 0 208345 0
vsize: 833444
[startup+420.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 39347 57 0 0 19 0 10 0 543414851 853446656 22567 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22567 13073 16 0 208345 0
vsize: 833444
[startup+430.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 40282 57 0 0 25 0 10 0 543414851 853446656 22595 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22595 13073 16 0 208345 0
vsize: 833444
[startup+440.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 41212 57 0 0 25 0 10 0 543414851 853446656 22624 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22624 13073 16 0 208345 0
vsize: 833444
[startup+450.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 42147 57 0 0 25 0 10 0 543414851 853446656 22652 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22652 13073 16 0 208345 0
vsize: 833444
[startup+460.297 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 43087 57 0 0 25 0 10 0 543414851 853446656 22680 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22680 13073 16 0 208345 0
vsize: 833444
[startup+470.297 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 44017 58 0 0 24 0 10 0 543414851 853446656 22709 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22709 13073 16 0 208345 0
vsize: 833444
[startup+480.3 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 44949 58 0 0 25 0 10 0 543414851 853446656 22735 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22735 13073 16 0 208345 0
vsize: 833444
[startup+490.3 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 45876 58 0 0 24 0 10 0 543414851 853446656 22763 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22763 13073 16 0 208345 0
vsize: 833444
[startup+500.301 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 46808 58 0 0 25 0 10 0 543414851 853446656 22789 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22789 13073 16 0 208345 0
vsize: 833444
[startup+510.3 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 47735 58 0 0 24 0 10 0 543414851 853446656 22816 4294967295 134512640 134569956 3221224400 3221214216 1080019433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22816 13073 16 0 208345 0
vsize: 833444
[startup+520.301 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 48666 58 0 0 25 0 10 0 543414851 853446656 22842 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22842 13073 16 0 208345 0
vsize: 833444
[startup+530.305 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) S 2219 27565 27564 0 -1 0 17981 0 1 0 49596 59 0 0 25 0 10 0 543414851 853446656 22868 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22868 13073 16 0 208345 0
vsize: 833444
[startup+540.305 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 50523 59 0 0 25 0 10 0 543414851 853446656 22894 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22894 13073 16 0 208345 0
vsize: 833444
[startup+550.324 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 2229
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 51454 59 0 0 25 0 10 0 543414851 853446656 22918 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22918 13073 16 0 208345 0
vsize: 833444
[startup+560.397 s]
Raw data (loadavg): 1.16 1.02 0.93 2/66 2267
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 52378 63 0 0 25 0 10 0 543414851 853446656 22944 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 22944 13073 16 0 208345 0
vsize: 833444
[startup+570.399 s]
Raw data (loadavg): 1.29 1.05 0.94 2/63 2282
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 53302 66 0 0 25 0 10 0 543414851 853446656 22968 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22968 13073 16 0 208345 0
vsize: 833444
[startup+580.4 s]
Raw data (loadavg): 1.24 1.05 0.94 2/63 2282
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 54231 67 0 0 25 0 10 0 543414851 853446656 22992 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 22992 13073 16 0 208345 0
vsize: 833444
[startup+590.4 s]
Raw data (loadavg): 1.20 1.05 0.94 2/63 2282
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 55155 67 0 0 25 0 10 0 543414851 853446656 23017 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 23017 13073 16 0 208345 0
vsize: 833444
[startup+600.407 s]
Raw data (loadavg): 1.17 1.05 0.94 2/63 2282
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 56084 67 0 0 25 0 10 0 543414851 853446656 23041 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 23041 13073 16 0 208345 0
vsize: 833444
[startup+610.407 s]
Raw data (loadavg): 1.15 1.04 0.94 2/63 2282
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 57012 67 0 0 25 0 10 0 543414851 853446656 23064 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 23064 13073 16 0 208345 0
vsize: 833444
[startup+620.408 s]
Raw data (loadavg): 1.12 1.04 0.94 2/63 2282
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 57935 67 0 0 25 0 10 0 543414851 853446656 23089 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 23089 13073 16 0 208345 0
vsize: 833444
[startup+630.409 s]
Raw data (loadavg): 1.10 1.04 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 58862 68 0 0 20 0 10 0 543414851 853446656 23112 4294967295 134512640 134569956 3221224400 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 23112 13073 16 0 208345 0
vsize: 833444
[startup+640.409 s]
Raw data (loadavg): 1.09 1.04 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 59789 68 0 0 25 0 10 0 543414851 853446656 23135 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 23135 13073 16 0 208345 0
vsize: 833444
[startup+650.41 s]
Raw data (loadavg): 1.07 1.04 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 60710 68 0 0 25 0 10 0 543414851 853446656 23164 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 23164 13073 16 0 208345 0
vsize: 833444
[startup+660.41 s]
Raw data (loadavg): 1.06 1.03 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 61630 68 0 0 25 0 10 0 543414851 853446656 24194 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24194 13073 16 0 208345 0
vsize: 833444
[startup+670.41 s]
Raw data (loadavg): 1.05 1.03 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 62554 68 0 0 25 0 10 0 543414851 853446656 24194 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24194 13073 16 0 208345 0
vsize: 833444
[startup+680.411 s]
Raw data (loadavg): 1.04 1.03 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 63465 68 0 0 24 0 10 0 543414851 853446656 24223 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24223 13073 16 0 208345 0
vsize: 833444
[startup+690.41 s]
Raw data (loadavg): 1.04 1.03 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 64381 68 0 0 24 0 10 0 543414851 853446656 24249 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24249 13073 16 0 208345 0
vsize: 833444
[startup+700.411 s]
Raw data (loadavg): 1.03 1.03 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 65296 68 0 0 20 0 10 0 543414851 853446656 24277 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24277 13073 16 0 208345 0
vsize: 833444
[startup+710.411 s]
Raw data (loadavg): 1.02 1.03 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 66209 68 0 0 25 0 10 0 543414851 853446656 24302 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24302 13073 16 0 208345 0
vsize: 833444
[startup+720.412 s]
Raw data (loadavg): 1.02 1.03 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 67124 69 0 0 25 0 10 0 543414851 853446656 24328 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24328 13073 16 0 208345 0
vsize: 833444
[startup+730.412 s]
Raw data (loadavg): 1.02 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 68038 69 0 0 25 0 10 0 543414851 853446656 24350 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24350 13073 16 0 208345 0
vsize: 833444
[startup+740.414 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 68953 69 0 0 25 0 10 0 543414851 853446656 24372 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24372 13073 16 0 208345 0
vsize: 833444
[startup+750.414 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 69861 69 0 0 24 0 10 0 543414851 853446656 24407 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24407 13073 16 0 208345 0
vsize: 833444
[startup+760.415 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 70774 69 0 0 24 0 10 0 543414851 853446656 24432 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24432 13073 16 0 208345 0
vsize: 833444
[startup+770.415 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 71687 69 0 0 25 0 10 0 543414851 853446656 24453 4294967295 134512640 134569956 3221224400 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24453 13073 16 0 208345 0
vsize: 833444
[startup+780.416 s]
Raw data (loadavg): 1.01 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 72599 69 0 0 17 0 10 0 543414851 853446656 24474 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24474 13073 16 0 208345 0
vsize: 833444
[startup+790.416 s]
Raw data (loadavg): 1.00 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 73512 69 0 0 25 0 10 0 543414851 853446656 24506 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24506 13073 16 0 208345 0
vsize: 833444
[startup+800.417 s]
Raw data (loadavg): 1.00 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 74424 69 0 0 25 0 10 0 543414851 853446656 24530 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24530 13073 16 0 208345 0
vsize: 833444
[startup+810.417 s]
Raw data (loadavg): 1.00 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 75335 69 0 0 21 0 10 0 543414851 853446656 24553 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24553 13073 16 0 208345 0
vsize: 833444
[startup+820.418 s]
Raw data (loadavg): 1.00 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 76246 69 0 0 19 0 10 0 543414851 853446656 24579 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24579 13073 16 0 208345 0
vsize: 833444
[startup+830.418 s]
Raw data (loadavg): 1.00 1.02 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 77156 69 0 0 25 0 10 0 543414851 853446656 24602 4294967295 134512640 134569956 3221224400 3221214216 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24602 13073 16 0 208345 0
vsize: 833444
[startup+840.418 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 78066 69 0 0 25 0 10 0 543414851 853446656 24626 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24626 13073 16 0 208345 0
vsize: 833444
[startup+850.419 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 78977 69 0 0 25 0 10 0 543414851 853446656 24646 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24646 13073 16 0 208345 0
vsize: 833444
[startup+860.42 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 79887 70 0 0 25 0 10 0 543414851 853446656 24675 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24675 13073 16 0 208345 0
vsize: 833444
[startup+870.42 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2284
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 80797 70 0 0 25 0 10 0 543414851 853446656 24698 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24698 13073 16 0 208345 0
vsize: 833444
[startup+880.421 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 81707 70 0 0 22 0 10 0 543414851 853446656 24717 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24717 13073 16 0 208345 0
vsize: 833444
[startup+890.42 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 82616 70 0 0 25 0 10 0 543414851 853446656 24743 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24743 13073 16 0 208345 0
vsize: 833444
[startup+900.421 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 83526 70 0 0 25 0 10 0 543414851 853446656 24765 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24765 13073 16 0 208345 0
vsize: 833444
[startup+910.422 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 84435 70 0 0 25 0 10 0 543414851 853446656 24791 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24791 13073 16 0 208345 0
vsize: 833444
[startup+920.423 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 85343 70 0 0 25 0 10 0 543414851 853446656 24811 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24811 13073 16 0 208345 0
vsize: 833444
[startup+930.423 s]
Raw data (loadavg): 1.00 1.01 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 86250 71 0 0 21 0 10 0 543414851 853446656 24830 4294967295 134512640 134569956 3221224400 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24830 13073 16 0 208345 0
vsize: 833444
[startup+940.424 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 87158 71 0 0 21 0 10 0 543414851 853446656 24856 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24856 13073 16 0 208345 0
vsize: 833444
[startup+950.425 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 88063 71 0 0 20 0 10 0 543414851 853446656 24881 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24881 13073 16 0 208345 0
vsize: 833444
[startup+960.425 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 88970 71 0 0 20 0 10 0 543414851 853446656 24900 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24900 13073 16 0 208345 0
vsize: 833444
[startup+970.426 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 89877 71 0 0 20 0 10 0 543414851 853446656 24919 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24919 13073 16 0 208345 0
vsize: 833444
[startup+980.427 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 90783 71 0 0 19 0 10 0 543414851 853446656 24947 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24947 13073 16 0 208345 0
vsize: 833444
[startup+990.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) S 2219 27565 27564 0 -1 0 17981 0 1 0 91689 71 0 0 24 0 10 0 543414851 853446656 24969 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24969 13073 16 0 208345 0
vsize: 833444
[startup+1000.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) S 2219 27565 27564 0 -1 0 17981 0 1 0 92601 71 0 0 24 0 10 0 543414851 853446656 24986 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 24986 13073 16 0 208345 0
vsize: 833444
[startup+1010.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 93507 72 0 0 24 0 10 0 543414851 853446656 25006 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25006 13073 16 0 208345 0
vsize: 833444
[startup+1020.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 94412 72 0 0 22 0 10 0 543414851 853446656 25034 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208361 25034 13073 16 0 208345 0
vsize: 833444
[startup+1030.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 95316 72 0 0 22 0 10 0 543414851 853446656 25052 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25052 13073 16 0 208345 0
vsize: 833444
[startup+1040.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 96221 72 0 0 22 0 10 0 543414851 853446656 25076 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25076 13073 16 0 208345 0
vsize: 833444
[startup+1050.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 97125 72 0 0 20 0 10 0 543414851 853446656 25099 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25099 13073 16 0 208345 0
vsize: 833444
[startup+1060.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 98028 72 0 0 20 0 10 0 543414851 853446656 25119 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25119 13073 16 0 208345 0
vsize: 833444
[startup+1070.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 98932 72 0 0 20 0 10 0 543414851 853446656 25139 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25139 13073 16 0 208345 0
vsize: 833444
[startup+1080.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 99836 72 0 0 19 0 10 0 543414851 853446656 25161 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25161 13073 16 0 208345 0
vsize: 833444
[startup+1090.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 100745 72 0 0 24 0 10 0 543414851 853446656 25182 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25182 13073 16 0 208345 0
vsize: 833444
[startup+1100.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 101648 72 0 0 23 0 10 0 543414851 853446656 25202 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25202 13073 16 0 208345 0
vsize: 833444
[startup+1110.43 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 102550 73 0 0 22 0 10 0 543414851 853446656 25223 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25223 13073 16 0 208345 0
vsize: 833444
[startup+1120.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 103451 73 0 0 21 0 10 0 543414851 853446656 25244 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25244 13073 16 0 208345 0
vsize: 833444
[startup+1130.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 104353 73 0 0 19 0 10 0 543414851 853446656 25262 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25262 13073 16 0 208345 0
vsize: 833444
[startup+1140.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 105254 73 0 0 19 0 10 0 543414851 853446656 25285 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25285 13073 16 0 208345 0
vsize: 833444
[startup+1150.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 106161 73 0 0 24 0 10 0 543414851 853446656 25303 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25303 13073 16 0 208345 0
vsize: 833444
[startup+1160.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 107062 73 0 0 22 0 10 0 543414851 853446656 25324 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25324 13073 16 0 208345 0
vsize: 833444
[startup+1170.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 107963 73 0 0 21 0 10 0 543414851 853446656 25341 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25341 13073 16 0 208345 0
vsize: 833444
[startup+1180.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 108863 73 0 0 19 0 10 0 543414851 853446656 25366 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25366 13073 16 0 208345 0
vsize: 833444
[startup+1190.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 109761 73 0 0 18 0 10 0 543414851 853446656 25385 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25385 13073 16 0 208345 0
vsize: 833444
[startup+1200.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 110666 73 0 0 23 0 10 0 543414851 853446656 25404 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25404 13073 16 0 208345 0
vsize: 833444
[startup+1210.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 111566 74 0 0 23 0 10 0 543414851 853446656 25422 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25422 13073 16 0 208345 0
vsize: 833444
[startup+1220.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 112465 74 0 0 21 0 10 0 543414851 853446656 25439 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25439 13073 16 0 208345 0
vsize: 833444
[startup+1230.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 113364 74 0 0 19 0 10 0 543414851 853446656 25455 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25455 13073 16 0 208345 0
vsize: 833444
[startup+1240.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) S 2219 27565 27564 0 -1 0 17981 0 1 0 114265 74 0 0 23 0 10 0 543414851 853446656 25471 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25471 13073 16 0 208345 0
vsize: 833444
[startup+1250.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 115168 74 0 0 23 0 10 0 543414851 853446656 25501 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25501 13073 16 0 208345 0
vsize: 833444
[startup+1260.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 116067 74 0 0 20 0 10 0 543414851 853446656 25523 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25523 13073 16 0 208345 0
vsize: 833444
[startup+1270.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 116966 74 0 0 19 0 10 0 543414851 853446656 25540 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25540 13073 16 0 208345 0
vsize: 833444
[startup+1280.44 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) S 2219 27565 27564 0 -1 0 17981 0 1 0 117867 74 0 0 23 0 10 0 543414851 853446656 25561 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25561 13073 16 0 208345 0
vsize: 833444
[startup+1290.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 118772 75 0 0 22 0 10 0 543414851 853446656 25586 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25586 13073 16 0 208345 0
vsize: 833444
[startup+1300.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 119674 75 0 0 22 0 10 0 543414851 853446656 25597 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25597 13073 16 0 208345 0
vsize: 833444
[startup+1310.45 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 2286
Raw data (stat): 2220 (java) R 2219 27565 27564 0 -1 0 17981 0 1 0 120578 75 0 0 20 0 10 0 543414851 853446656 25624 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208361 25624 13073 16 0 208345 0
vsize: 833444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.55 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 2287
Raw data (stat): 2220 (java) Z 2219 27565 27564 0 -1 1036 17981 7266 1 0 120582 75 10338 46 21 0 1 0 543414851 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): 1310.55
CPU time (s): 1310.43
CPU user time (s): 1309.21
CPU system time (s): 1.21981
CPU usage (%): 99.9911
Max. virtual memory (Kb): 833920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####