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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
MD5SUMcfa1bf2f1dd2df0f424e37a2971f8ba1
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 65500
Biggest coefficient in the objective function 16110321664000
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 32674140101032650
Number of bits of the sum of numbers in the objective function 55
Biggest number in a constraint 16110321664000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 32674140101032650
Number of bits of the biggest sum of numbers55
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.588909
Number of variables65880
Total number of constraints927
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints927
Minimum length of a constraint20
Maximum length of a constraint7460

Trace number 20136

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 20:11:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15648 boxname=wulflinc25 idbench=1204 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cfa1bf2f1dd2df0f424e37a2971f8ba1  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-czprob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-czprob.opb
IDLAUNCH: 15648
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        802428 kB
Buffers:         24052 kB
Cached:         187380 kB
SwapCached:        728 kB
Active:          63764 kB
Inactive:       149564 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        802176 kB
SwapTotal:     2097892 kB
SwapFree:      2096236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13144 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:32:44 (client local time) WITH STATUS 143 IN 1310.08 SECONDS
stats: 15648 7 1310.08 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-czprob.opb
c reading problem 
c [nbvar=65880]
c [nbconstr=927]
c time 1232.206
c #vars     65880
c #clauses  1778
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.69 0.91 0.90 2/54 13786
Raw data (stat): 13786 (runsolver) R 13785 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547867566 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.74 0.91 0.90 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 892 42 0 0 25 0 10 0 547867566 853671936 19330 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 19330 13073 16 0 208400 0
vsize: 833664
[startup+20.0012 s]
Raw data (loadavg): 0.78 0.92 0.90 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 1779 42 0 0 25 0 10 0 547867566 853671936 19762 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 19762 13073 16 0 208400 0
vsize: 833664
[startup+30.0013 s]
Raw data (loadavg): 0.81 0.92 0.90 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 2675 42 0 0 24 0 10 0 547867566 853671936 20305 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 20305 13073 16 0 208400 0
vsize: 833664
[startup+40.0015 s]
Raw data (loadavg): 0.84 0.92 0.90 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 3604 42 0 0 25 0 10 0 547867566 853671936 20548 4294967295 134512640 134569956 3221224400 3221214824 1131219466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 20548 13073 16 0 208400 0
vsize: 833664
[startup+50.0021 s]
Raw data (loadavg): 0.87 0.92 0.90 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 4536 43 0 0 25 0 10 0 547867566 853671936 20674 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 20674 13073 16 0 208400 0
vsize: 833664
[startup+60.0027 s]
Raw data (loadavg): 0.89 0.92 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 5464 43 0 0 25 0 10 0 547867566 853671936 20779 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 20779 13073 16 0 208400 0
vsize: 833664
[startup+70.0033 s]
Raw data (loadavg): 0.90 0.93 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 6408 43 0 0 25 0 10 0 547867566 853671936 21006 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21006 13073 16 0 208400 0
vsize: 833664
[startup+80.0041 s]
Raw data (loadavg): 0.92 0.93 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 7352 43 0 0 25 0 10 0 547867566 853671936 21091 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21091 13073 16 0 208400 0
vsize: 833664
[startup+90.0078 s]
Raw data (loadavg): 0.93 0.93 0.91 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 8299 43 0 0 25 0 10 0 547867566 853671936 21165 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21165 13073 16 0 208400 0
vsize: 833664
[startup+100.008 s]
Raw data (loadavg): 0.94 0.93 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 9247 43 0 0 25 0 10 0 547867566 853671936 21236 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21236 13073 16 0 208400 0
vsize: 833664
[startup+110.009 s]
Raw data (loadavg): 0.95 0.93 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 10193 44 0 0 25 0 10 0 547867566 853671936 21304 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21304 13073 16 0 208400 0
vsize: 833664
[startup+120.009 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 11142 44 0 0 25 0 10 0 547867566 853671936 21364 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21364 13073 16 0 208400 0
vsize: 833664
[startup+130.009 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 12089 44 0 0 25 0 10 0 547867566 853671936 21425 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21425 13073 16 0 208400 0
vsize: 833664
[startup+140.01 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 13038 44 0 0 25 0 10 0 547867566 853671936 21481 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21481 13073 16 0 208400 0
vsize: 833664
[startup+150.011 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 13984 44 0 0 25 0 10 0 547867566 853671936 21537 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21537 13073 16 0 208400 0
vsize: 833664
[startup+160.011 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 14930 44 0 0 24 0 10 0 547867566 853671936 21590 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21590 13073 16 0 208400 0
vsize: 833664
[startup+170.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 15866 45 0 0 25 0 10 0 547867566 853671936 21639 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21639 13073 16 0 208400 0
vsize: 833664
[startup+180.011 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 16792 45 0 0 25 0 10 0 547867566 853671936 21686 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21686 13073 16 0 208400 0
vsize: 833664
[startup+190.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 17727 45 0 0 25 0 10 0 547867566 853671936 21989 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 21989 13073 16 0 208400 0
vsize: 833664
[startup+200.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 18670 46 0 0 25 0 10 0 547867566 853671936 22035 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22035 13073 16 0 208400 0
vsize: 833664
[startup+210.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 19614 46 0 0 25 0 10 0 547867566 853671936 22079 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22079 13073 16 0 208400 0
vsize: 833664
[startup+220.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 20556 46 0 0 25 0 10 0 547867566 853671936 22123 4294967295 134512640 134569956 3221224400 3221214368 1079668466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22123 13073 16 0 208400 0
vsize: 833664
[startup+230.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 21500 46 0 0 25 0 10 0 547867566 853671936 22164 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22164 13073 16 0 208400 0
vsize: 833664
[startup+240.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 22439 46 0 0 25 0 10 0 547867566 853671936 22206 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22206 13073 16 0 208400 0
vsize: 833664
[startup+250.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 23384 46 0 0 25 0 10 0 547867566 853671936 22245 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22245 13073 16 0 208400 0
vsize: 833664
[startup+260.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 24323 46 0 0 25 0 10 0 547867566 853671936 22286 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22286 13073 16 0 208400 0
vsize: 833664
[startup+270.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 25266 47 0 0 25 0 10 0 547867566 853671936 22323 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22323 13073 16 0 208400 0
vsize: 833664
[startup+280.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 26203 47 0 0 24 0 10 0 547867566 853671936 22362 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22362 13073 16 0 208400 0
vsize: 833664
[startup+290.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 27145 47 0 0 25 0 10 0 547867566 853671936 22398 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22398 13073 16 0 208400 0
vsize: 833664
[startup+300.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 28085 47 0 0 25 0 10 0 547867566 853671936 22433 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22433 13073 16 0 208400 0
vsize: 833664
[startup+310.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 29022 47 0 0 24 0 10 0 547867566 853671936 22471 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22471 13073 16 0 208400 0
vsize: 833664
[startup+320.043 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 29964 47 0 0 25 0 10 0 547867566 853671936 22505 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22505 13073 16 0 208400 0
vsize: 833664
[startup+330.043 s]
Raw data (loadavg): 1.07 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 30903 47 0 0 25 0 10 0 547867566 853671936 22539 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22539 13073 16 0 208400 0
vsize: 833664
[startup+340.044 s]
Raw data (loadavg): 1.06 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 31838 47 0 0 25 0 10 0 547867566 853671936 22574 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22574 13073 16 0 208400 0
vsize: 833664
[startup+350.044 s]
Raw data (loadavg): 1.05 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 32777 47 0 0 25 0 10 0 547867566 853671936 22606 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22606 13073 16 0 208400 0
vsize: 833664
[startup+360.044 s]
Raw data (loadavg): 1.04 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 33715 48 0 0 25 0 10 0 547867566 853671936 22638 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22638 13073 16 0 208400 0
vsize: 833664
[startup+370.049 s]
Raw data (loadavg): 1.03 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 34650 48 0 0 24 0 10 0 547867566 853671936 22672 4294967295 134512640 134569956 3221224400 3221214856 1131217331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22672 13073 16 0 208400 0
vsize: 833664
[startup+380.049 s]
Raw data (loadavg): 1.03 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 35586 48 0 0 25 0 10 0 547867566 853671936 22703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22703 13073 16 0 208400 0
vsize: 833664
[startup+390.051 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 36523 48 0 0 25 0 10 0 547867566 853671936 22733 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22733 13073 16 0 208400 0
vsize: 833664
[startup+400.051 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 37460 48 0 0 25 0 10 0 547867566 853671936 22763 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22763 13073 16 0 208400 0
vsize: 833664
[startup+410.056 s]
Raw data (loadavg): 1.02 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 38393 48 0 0 25 0 10 0 547867566 853671936 22794 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22794 13073 16 0 208400 0
vsize: 833664
[startup+420.055 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 39328 48 0 0 25 0 10 0 547867566 853671936 22825 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22825 13073 16 0 208400 0
vsize: 833664
[startup+430.056 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 40263 48 0 0 25 0 10 0 547867566 853671936 22854 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22854 13073 16 0 208400 0
vsize: 833664
[startup+440.057 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 41198 48 0 0 25 0 10 0 547867566 853671936 22904 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22904 13073 16 0 208400 0
vsize: 833664
[startup+450.057 s]
Raw data (loadavg): 1.01 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 42132 48 0 0 25 0 10 0 547867566 853671936 22933 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22933 13073 16 0 208400 0
vsize: 833664
[startup+460.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 43067 48 0 0 25 0 10 0 547867566 853671936 22961 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22961 13073 16 0 208400 0
vsize: 833664
[startup+470.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 43996 48 0 0 24 0 10 0 547867566 853671936 22990 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 22990 13073 16 0 208400 0
vsize: 833664
[startup+480.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 44929 49 0 0 25 0 10 0 547867566 853671936 23019 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23019 13073 16 0 208400 0
vsize: 833664
[startup+490.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 45862 49 0 0 25 0 10 0 547867566 853671936 23046 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23046 13073 16 0 208400 0
vsize: 833664
[startup+500.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 46794 49 0 0 25 0 10 0 547867566 853671936 23073 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23073 13073 16 0 208400 0
vsize: 833664
[startup+510.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 47726 49 0 0 25 0 10 0 547867566 853671936 23099 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23099 13073 16 0 208400 0
vsize: 833664
[startup+520.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 48657 49 0 0 25 0 10 0 547867566 853671936 23126 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23126 13073 16 0 208400 0
vsize: 833664
[startup+530.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 49588 49 0 0 25 0 10 0 547867566 853671936 23152 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23152 13073 16 0 208400 0
vsize: 833664
[startup+540.059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 50519 49 0 0 21 0 10 0 547867566 853671936 23178 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23178 13073 16 0 208400 0
vsize: 833664
[startup+550.061 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 51448 49 0 0 25 0 10 0 547867566 853671936 23203 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23203 13073 16 0 208400 0
vsize: 833664
[startup+560.061 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 52376 49 0 0 25 0 10 0 547867566 853671936 23229 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23229 13073 16 0 208400 0
vsize: 833664
[startup+570.164 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 53314 50 0 0 25 0 10 0 547867566 853671936 23255 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23255 13073 16 0 208400 0
vsize: 833664
[startup+580.164 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 54243 50 0 0 25 0 10 0 547867566 853671936 23280 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23280 13073 16 0 208400 0
vsize: 833664
[startup+590.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 55171 50 0 0 25 0 10 0 547867566 853671936 23305 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23305 13073 16 0 208400 0
vsize: 833664
[startup+600.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 56098 51 0 0 25 0 10 0 547867566 853671936 23329 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 23329 13073 16 0 208400 0
vsize: 833664
[startup+610.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 57026 51 0 0 25 0 10 0 547867566 853671936 23353 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23353 13073 16 0 208400 0
vsize: 833664
[startup+620.164 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 57953 51 0 0 25 0 10 0 547867566 853671936 23377 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23377 13073 16 0 208400 0
vsize: 833664
[startup+630.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 58880 51 0 0 24 0 10 0 547867566 853671936 23401 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23401 13073 16 0 208400 0
vsize: 833664
[startup+640.166 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 59806 51 0 0 24 0 10 0 547867566 853671936 23425 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23425 13073 16 0 208400 0
vsize: 833664
[startup+650.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 60733 51 0 0 24 0 10 0 547867566 853671936 23448 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23448 13073 16 0 208400 0
vsize: 833664
[startup+660.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 61659 51 0 0 24 0 10 0 547867566 853671936 23472 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 23472 13073 16 0 208400 0
vsize: 833664
[startup+670.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 62583 51 0 0 25 0 10 0 547867566 853671936 24445 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24445 13073 16 0 208400 0
vsize: 833664
[startup+680.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 63507 51 0 0 25 0 10 0 547867566 853671936 24445 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24445 13073 16 0 208400 0
vsize: 833664
[startup+690.166 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 64424 52 0 0 25 0 10 0 547867566 853671936 24458 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24458 13073 16 0 208400 0
vsize: 833664
[startup+700.166 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 65340 52 0 0 25 0 10 0 547867566 853671936 24481 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24481 13073 16 0 208400 0
vsize: 833664
[startup+710.167 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 66255 52 0 0 25 0 10 0 547867566 853671936 24503 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24503 13073 16 0 208400 0
vsize: 833664
[startup+720.167 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 67174 52 0 0 25 0 10 0 547867566 853671936 24524 4294967295 134512640 134569956 3221224400 3221214272 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24524 13073 16 0 208400 0
vsize: 833664
[startup+730.167 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 68088 52 0 0 25 0 10 0 547867566 853671936 24546 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24546 13073 16 0 208400 0
vsize: 833664
[startup+740.168 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 69003 52 0 0 25 0 10 0 547867566 853671936 24568 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24568 13073 16 0 208400 0
vsize: 833664
[startup+750.172 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 69917 52 0 0 25 0 10 0 547867566 853671936 24590 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24590 13073 16 0 208400 0
vsize: 833664
[startup+760.171 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 70835 52 0 0 25 0 10 0 547867566 853671936 24610 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24610 13073 16 0 208400 0
vsize: 833664
[startup+770.172 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 71749 52 0 0 25 0 10 0 547867566 853671936 24632 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24632 13073 16 0 208400 0
vsize: 833664
[startup+780.172 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 72662 53 0 0 25 0 10 0 547867566 853671936 24653 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24653 13073 16 0 208400 0
vsize: 833664
[startup+790.177 s]
Raw data (loadavg): 1.00 0.98 0.91 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 73577 53 0 0 25 0 10 0 547867566 853671936 24673 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24673 13073 16 0 208400 0
vsize: 833664
[startup+800.177 s]
Raw data (loadavg): 1.07 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 74493 53 0 0 25 0 10 0 547867566 853671936 24694 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24694 13073 16 0 208400 0
vsize: 833664
[startup+810.177 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 75404 53 0 0 25 0 10 0 547867566 853671936 24718 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24718 13073 16 0 208400 0
vsize: 833664
[startup+820.177 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 76316 53 0 0 24 0 10 0 547867566 853671936 24741 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24741 13073 16 0 208400 0
vsize: 833664
[startup+830.181 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 77233 53 0 0 25 0 10 0 547867566 853671936 24761 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24761 13073 16 0 208400 0
vsize: 833664
[startup+840.185 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 78144 54 0 0 25 0 10 0 547867566 853671936 24791 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24791 13073 16 0 208400 0
vsize: 833664
[startup+850.185 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 79055 54 0 0 24 0 10 0 547867566 853671936 24814 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24814 13073 16 0 208400 0
vsize: 833664
[startup+860.185 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 79969 54 0 0 25 0 10 0 547867566 853671936 24838 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24838 13073 16 0 208400 0
vsize: 833664
[startup+870.185 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 80880 54 0 0 25 0 10 0 547867566 853671936 24858 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24858 13073 16 0 208400 0
vsize: 833664
[startup+880.195 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17977 0 1 0 81795 54 0 0 25 0 10 0 547867566 853671936 24885 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24885 13073 16 0 208400 0
vsize: 833664
[startup+890.196 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 82706 54 0 0 25 0 10 0 547867566 853671936 24909 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24909 13073 16 0 208400 0
vsize: 833664
[startup+900.195 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 83614 55 0 0 24 0 10 0 547867566 853671936 24929 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24929 13073 16 0 208400 0
vsize: 833664
[startup+910.2 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 84528 55 0 0 25 0 10 0 547867566 853671936 24956 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24956 13073 16 0 208400 0
vsize: 833664
[startup+920.2 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 85435 55 0 0 25 0 10 0 547867566 853671936 24979 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24979 13073 16 0 208400 0
vsize: 833664
[startup+930.2 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 86349 55 0 0 25 0 10 0 547867566 853671936 24999 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 24999 13073 16 0 208400 0
vsize: 833664
[startup+940.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 87258 55 0 0 25 0 10 0 547867566 853671936 25023 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25023 13073 16 0 208400 0
vsize: 833664
[startup+950.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 88166 55 0 0 24 0 10 0 547867566 853671936 25042 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25042 13073 16 0 208400 0
vsize: 833664
[startup+960.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 89078 55 0 0 25 0 10 0 547867566 853671936 25072 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25072 13073 16 0 208400 0
vsize: 833664
[startup+970.202 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 89982 55 0 0 25 0 10 0 547867566 853671936 25095 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25095 13073 16 0 208400 0
vsize: 833664
[startup+980.202 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 90894 55 0 0 25 0 10 0 547867566 853671936 25113 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25113 13073 16 0 208400 0
vsize: 833664
[startup+990.203 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 91801 56 0 0 25 0 10 0 547867566 853671936 25138 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25138 13073 16 0 208400 0
vsize: 833664
[startup+1000.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 92713 56 0 0 25 0 10 0 547867566 853671936 25155 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25155 13073 16 0 208400 0
vsize: 833664
[startup+1010.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 93618 56 0 0 25 0 10 0 547867566 853671936 25182 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25182 13073 16 0 208400 0
vsize: 833664
[startup+1020.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 94530 56 0 0 25 0 10 0 547867566 853671936 25200 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25200 13073 16 0 208400 0
vsize: 833664
[startup+1030.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 95436 56 0 0 25 0 10 0 547867566 853671936 25218 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25218 13073 16 0 208400 0
vsize: 833664
[startup+1040.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 96347 56 0 0 25 0 10 0 547867566 853671936 25247 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25247 13073 16 0 208400 0
vsize: 833664
[startup+1050.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 97252 56 0 0 25 0 10 0 547867566 853671936 25265 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25265 13073 16 0 208400 0
vsize: 833664
[startup+1060.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 98162 56 0 0 25 0 10 0 547867566 853671936 25288 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25288 13073 16 0 208400 0
vsize: 833664
[startup+1070.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 99066 56 0 0 20 0 10 0 547867566 853671936 25312 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25312 13073 16 0 208400 0
vsize: 833664
[startup+1080.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 99974 56 0 0 22 0 10 0 547867566 853671936 25333 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25333 13073 16 0 208400 0
vsize: 833664
[startup+1090.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 100876 56 0 0 20 0 10 0 547867566 853671936 25352 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25352 13073 16 0 208400 0
vsize: 833664
[startup+1100.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 101786 56 0 0 22 0 10 0 547867566 853671936 25374 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25374 13073 16 0 208400 0
vsize: 833664
[startup+1110.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 102689 57 0 0 19 0 10 0 547867566 853671936 25396 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25396 13073 16 0 208400 0
vsize: 833664
[startup+1120.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 103598 57 0 0 22 0 10 0 547867566 853671936 25416 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25416 13073 16 0 208400 0
vsize: 833664
[startup+1130.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 104500 57 0 0 19 0 10 0 547867566 853671936 25437 4294967295 134512640 134569956 3221224400 3221214160 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25437 13073 16 0 208400 0
vsize: 833664
[startup+1140.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 105408 57 0 0 21 0 10 0 547867566 853671936 25457 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25457 13073 16 0 208400 0
vsize: 833664
[startup+1150.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 106315 57 0 0 23 0 10 0 547867566 853671936 25475 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25475 13073 16 0 208400 0
vsize: 833664
[startup+1160.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 107217 58 0 0 20 0 10 0 547867566 853671936 25493 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25493 13073 16 0 208400 0
vsize: 833664
[startup+1170.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 108124 58 0 0 23 0 10 0 547867566 853671936 25517 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25517 13073 16 0 208400 0
vsize: 833664
[startup+1180.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 109024 58 0 0 19 0 10 0 547867566 853671936 25538 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25538 13073 16 0 208400 0
vsize: 833664
[startup+1190.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 109931 58 0 0 21 0 10 0 547867566 853671936 25554 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25554 13073 16 0 208400 0
vsize: 833664
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17977 0 1 0 110838 58 0 0 23 0 10 0 547867566 853671936 25576 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208416 25576 13073 16 0 208400 0
vsize: 833664
[startup+1210.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17994 0 1 0 111593 59 0 0 25 0 10 0 547867566 858984448 29599 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209713 29599 13073 16 0 209697 0
vsize: 838852
[startup+1220.21 s]
Raw data (loadavg): 1.08 1.01 0.93 2/63 13795
Raw data (stat): 13786 (java) S 13785 28099 28098 0 -1 0 17994 0 1 0 112470 60 0 0 25 0 10 0 547867566 857804800 31049 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209425 31049 13073 16 0 209409 0
vsize: 837700
[startup+1230.21 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 17994 0 1 0 113391 62 0 0 25 0 10 0 547867566 857804800 32049 4294967295 134512640 134569956 3221224400 3221214372 1130883119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209425 32049 13073 16 0 209409 0
vsize: 837700
[startup+1240.21 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 18015 0 1 0 114326 63 0 0 25 0 10 0 547867566 857903104 34961 4294967295 134512640 134569956 3221224400 3221214832 1131478651 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209449 34961 13073 16 0 209433 0
vsize: 837796
[startup+1250.22 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 18015 0 1 0 115323 63 0 0 25 0 10 0 547867566 857903104 34961 4294967295 134512640 134569956 3221224400 3221214832 1131477942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209449 34961 13073 16 0 209433 0
vsize: 837796
[startup+1260.22 s]
Raw data (loadavg): 1.04 1.00 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 18015 0 1 0 116320 63 0 0 25 0 10 0 547867566 857903104 34962 4294967295 134512640 134569956 3221224400 3221214744 1131358804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209449 34962 13073 16 0 209433 0
vsize: 837796
[startup+1270.22 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 18015 0 1 0 117316 64 0 0 25 0 10 0 547867566 857903104 34962 4294967295 134512640 134569956 3221224400 3221214832 1131476611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209449 34962 13073 16 0 209433 0
vsize: 837796
[startup+1280.22 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 18015 0 1 0 118312 64 0 0 25 0 10 0 547867566 857903104 34962 4294967295 134512640 134569956 3221224400 3221214744 1131359135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209449 34962 13073 16 0 209433 0
vsize: 837796
[startup+1290.22 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 18015 0 1 0 119309 64 0 0 25 0 10 0 547867566 857903104 34962 4294967295 134512640 134569956 3221224400 3221214832 1131475171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209449 34962 13073 16 0 209433 0
vsize: 837796
[startup+1300.22 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 13795
Raw data (stat): 13786 (java) R 13785 28099 28098 0 -1 0 18015 0 1 0 120305 64 0 0 25 0 10 0 547867566 857903104 34962 4294967295 134512640 134569956 3221224400 3221214744 1131358963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209449 34962 13073 16 0 209433 0
vsize: 837796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.29 s]
Raw data (loadavg): 1.02 1.00 0.93 1/54 13796
Raw data (stat): 13786 (java) Z 13785 28099 28098 0 -1 1036 18015 21414 1 0 120306 71 10560 70 25 0 1 0 547867566 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): 1300.29
CPU time (s): 1310.08
CPU user time (s): 1308.67
CPU system time (s): 1.41379
CPU usage (%): 100.753
Max. virtual memory (Kb): 838852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####