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/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUMfa6454a9831f2da4180d8bfab7c0a21b
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 2304
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 178464600
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 178464600
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.037993
Number of variables3288
Total number of constraints310
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 constraints310
Minimum length of a constraint14
Maximum length of a constraint123

Trace number 17961

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-21 12:53:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18768 boxname=wulflinc29 idbench=1444 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 18768
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        717452 kB
Buffers:         10980 kB
Cached:         282460 kB
SwapCached:        524 kB
Active:          65992 kB
Inactive:       229396 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        717172 kB
SwapTotal:     2097892 kB
SwapFree:      2096460 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            16204 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 13:14:17 (client local time) WITH STATUS 143 IN 1251.09 SECONDS
stats: 18768 7 1251.09 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-pp08aCUTS.opb
c reading problem 
c [nbvar=3288]
c [nbconstr=310]
c time 7.424
c #vars     3288
c #clauses  374
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.85 0.97 0.95 2/54 30963
Raw data (stat): 30963 (runsolver) R 30962 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545228884 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.0077 s]
Raw data (loadavg): 1.03 1.00 0.96 4/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18058 0 1 0 727 37 0 0 25 0 11 0 545228884 861077504 20838 4294967295 134512640 134569956 3221224400 3221213604 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210224 20838 13073 16 0 210208 0
vsize: 840896
[startup+20.0309 s]
Raw data (loadavg): 1.18 1.03 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 1537 38 0 0 25 0 11 0 545228884 860663808 21485 4294967295 134512640 134569956 3221224400 3221214680 1131262753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 21485 13073 16 0 210107 0
vsize: 840492
[startup+30.0313 s]
Raw data (loadavg): 1.15 1.03 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 2453 38 0 0 25 0 11 0 545228884 860663808 21920 4294967295 134512640 134569956 3221224400 3221214680 1131262951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 21920 13073 16 0 210107 0
vsize: 840492
[startup+40.0321 s]
Raw data (loadavg): 1.13 1.03 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 3395 38 0 0 25 0 11 0 545228884 860663808 21978 4294967295 134512640 134569956 3221224400 3221214776 1131355234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 21978 13073 16 0 210107 0
vsize: 840492
[startup+50.0333 s]
Raw data (loadavg): 1.11 1.03 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 4331 39 0 0 25 0 11 0 545228884 860663808 22396 4294967295 134512640 134569956 3221224400 3221214680 1131262124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 22396 13073 16 0 210107 0
vsize: 840492
[startup+60.0325 s]
Raw data (loadavg): 1.09 1.03 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 5279 39 0 0 25 0 11 0 545228884 860663808 22535 4294967295 134512640 134569956 3221224400 3221214320 1131632604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 22535 13073 16 0 210107 0
vsize: 840492
[startup+70.0333 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 6265 39 0 0 25 0 11 0 545228884 860663808 22570 4294967295 134512640 134569956 3221224400 3221214184 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 22570 13073 16 0 210107 0
vsize: 840492
[startup+80.0337 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 7234 40 0 0 25 0 11 0 545228884 860663808 22650 4294967295 134512640 134569956 3221224400 3221214728 1131399394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 22650 13073 16 0 210107 0
vsize: 840492
[startup+90.0339 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 8208 40 0 0 25 0 11 0 545228884 860663808 22728 4294967295 134512640 134569956 3221224400 3221214672 1131621722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 22728 13073 16 0 210107 0
vsize: 840492
[startup+100.034 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 9172 40 0 0 25 0 11 0 545228884 860663808 22821 4294967295 134512640 134569956 3221224400 3221214216 1131631864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 22821 13073 16 0 210107 0
vsize: 840492
[startup+110.034 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 10133 40 0 0 25 0 11 0 545228884 860663808 23111 4294967295 134512640 134569956 3221224400 3221214672 1131621715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 23111 13073 16 0 210107 0
vsize: 840492
[startup+120.034 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 11087 41 0 0 25 0 11 0 545228884 860663808 23287 4294967295 134512640 134569956 3221224400 3221214672 1131621712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 23287 13073 16 0 210107 0
vsize: 840492
[startup+130.034 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 12041 41 0 0 25 0 11 0 545228884 860663808 23475 4294967295 134512640 134569956 3221224400 3221214560 1131345381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 23475 13073 16 0 210107 0
vsize: 840492
[startup+140.138 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 13013 41 0 0 25 0 11 0 545228884 860663808 23610 4294967295 134512640 134569956 3221224400 3221213296 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 23610 13073 16 0 210107 0
vsize: 840492
[startup+150.139 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 13981 42 0 0 25 0 11 0 545228884 860663808 23765 4294967295 134512640 134569956 3221224400 3221214632 1131621712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 23765 13073 16 0 210107 0
vsize: 840492
[startup+160.139 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 14947 42 0 0 25 0 11 0 545228884 860663808 23915 4294967295 134512640 134569956 3221224400 3221214632 1131621851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 23915 13073 16 0 210107 0
vsize: 840492
[startup+170.14 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 15920 42 0 0 25 0 11 0 545228884 860663808 24018 4294967295 134512640 134569956 3221224400 3221214016 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24018 13073 16 0 210107 0
vsize: 840492
[startup+180.14 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 16911 42 0 0 25 0 11 0 545228884 860663808 24049 4294967295 134512640 134569956 3221224400 3221214360 1131632648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24049 13073 16 0 210107 0
vsize: 840492
[startup+190.141 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 17886 42 0 0 25 0 11 0 545228884 860663808 24152 4294967295 134512640 134569956 3221224400 3221214604 1080203754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24152 13073 16 0 210107 0
vsize: 840492
[startup+200.142 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 18859 43 0 0 25 0 11 0 545228884 860663808 24266 4294967295 134512640 134569956 3221224400 3221214624 1131402223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24266 13073 16 0 210107 0
vsize: 840492
[startup+210.142 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 19823 43 0 0 25 0 11 0 545228884 860663808 24393 4294967295 134512640 134569956 3221224400 3221214528 1131510107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24393 13073 16 0 210107 0
vsize: 840492
[startup+220.143 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 20797 43 0 0 25 0 11 0 545228884 860663808 24484 4294967295 134512640 134569956 3221224400 3221214528 1131511954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24484 13073 16 0 210107 0
vsize: 840492
[startup+230.144 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 21770 43 0 0 25 0 11 0 545228884 860663808 24571 4294967295 134512640 134569956 3221224400 3221214432 1080217015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24571 13073 16 0 210107 0
vsize: 840492
[startup+240.145 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 22752 44 0 0 25 0 11 0 545228884 860663808 24641 4294967295 134512640 134569956 3221224400 3221214040 1131632426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24641 13073 16 0 210107 0
vsize: 840492
[startup+250.145 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 23723 44 0 0 25 0 11 0 545228884 860663808 24796 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24796 13073 16 0 210107 0
vsize: 840492
[startup+260.145 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 24688 45 0 0 25 0 11 0 545228884 860663808 24938 4294967295 134512640 134569956 3221224400 3221214424 1131587631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 24938 13073 16 0 210107 0
vsize: 840492
[startup+270.146 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 25652 45 0 0 25 0 11 0 545228884 860663808 25065 4294967295 134512640 134569956 3221224400 3221214528 1131511951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25065 13073 16 0 210107 0
vsize: 840492
[startup+280.147 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 26615 45 0 0 25 0 11 0 545228884 860663808 25193 4294967295 134512640 134569956 3221224400 3221214428 1131631888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25193 13073 16 0 210107 0
vsize: 840492
[startup+290.147 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 27579 46 0 0 25 0 11 0 545228884 860663808 25333 4294967295 134512640 134569956 3221224400 3221214720 1131357679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25333 13073 16 0 210107 0
vsize: 840492
[startup+300.148 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 28543 46 0 0 25 0 11 0 545228884 860663808 25425 4294967295 134512640 134569956 3221224400 3221214688 1131635580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25425 13073 16 0 210107 0
vsize: 840492
[startup+310.148 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 29514 46 0 0 25 0 11 0 545228884 860663808 25528 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25528 13073 16 0 210107 0
vsize: 840492
[startup+320.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 30481 47 0 0 25 0 11 0 545228884 860663808 25611 4294967295 134512640 134569956 3221224400 3221214608 1131491396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25611 13073 16 0 210107 0
vsize: 840492
[startup+330.149 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 31454 47 0 0 25 0 11 0 545228884 860663808 25714 4294967295 134512640 134569956 3221224400 3221214512 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25714 13073 16 0 210107 0
vsize: 840492
[startup+340.15 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 32421 47 0 0 25 0 11 0 545228884 860663808 25827 4294967295 134512640 134569956 3221224400 3221214720 1131354318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25827 13073 16 0 210107 0
vsize: 840492
[startup+350.151 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 33387 47 0 0 25 0 11 0 545228884 860663808 25945 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 25945 13073 16 0 210107 0
vsize: 840492
[startup+360.151 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 34361 47 0 0 25 0 11 0 545228884 860663808 26049 4294967295 134512640 134569956 3221224400 3221214584 1131517705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 26049 13073 16 0 210107 0
vsize: 840492
[startup+370.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 35334 48 0 0 25 0 11 0 545228884 860663808 26150 4294967295 134512640 134569956 3221224400 3221214288 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 26150 13073 16 0 210107 0
vsize: 840492
[startup+380.152 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 30973
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 36308 48 0 0 25 0 11 0 545228884 860663808 26236 4294967295 134512640 134569956 3221224400 3221214624 1131262865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 26236 13073 16 0 210107 0
vsize: 840492
[startup+390.153 s]
Raw data (loadavg): 1.00 1.00 0.97 4/67 30989
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 37281 48 0 0 25 0 11 0 545228884 860663808 26303 4294967295 134512640 134569956 3221224400 3221214808 1131379934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 26303 13073 16 0 210107 0
vsize: 840492
[startup+400.153 s]
Raw data (loadavg): 1.07 1.02 0.98 2/64 31026
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 38243 50 0 0 25 0 11 0 545228884 860663808 26431 4294967295 134512640 134569956 3221224400 3221214520 1131345270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 26431 13073 16 0 210107 0
vsize: 840492
[startup+410.153 s]
Raw data (loadavg): 1.06 1.02 0.98 2/64 31026
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 39206 50 0 0 25 0 11 0 545228884 860663808 26550 4294967295 134512640 134569956 3221224400 3221214632 1131621712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 26550 13073 16 0 210107 0
vsize: 840492
[startup+420.153 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 31026
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 40179 50 0 0 25 0 11 0 545228884 860663808 26623 4294967295 134512640 134569956 3221224400 3221214532 1131616332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 26623 13073 16 0 210107 0
vsize: 840492
[startup+430.153 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 31026
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 41142 50 0 0 25 0 11 0 545228884 860663808 26760 4294967295 134512640 134569956 3221224400 3221214560 1131319574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 26760 13073 16 0 210107 0
vsize: 840492
[startup+440.154 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 31026
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 42107 51 0 0 25 0 11 0 545228884 860663808 26858 4294967295 134512640 134569956 3221224400 3221214424 1131618962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 26858 13073 16 0 210107 0
vsize: 840492
[startup+450.154 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 31026
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 43071 51 0 0 25 0 11 0 545228884 860663808 26957 4294967295 134512640 134569956 3221224400 3221214580 1080203746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 26957 13073 16 0 210107 0
vsize: 840492
[startup+460.155 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 31026
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 44044 51 0 0 25 0 11 0 545228884 860663808 27082 4294967295 134512640 134569956 3221224400 3221214672 1131464172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27082 13073 16 0 210107 0
vsize: 840492
[startup+470.155 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 45010 52 0 0 25 0 11 0 545228884 860663808 27196 4294967295 134512640 134569956 3221224400 3221214632 1131621704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27196 13073 16 0 210107 0
vsize: 840492
[startup+480.155 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 45978 52 0 0 25 0 11 0 545228884 860663808 27328 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27328 13073 16 0 210107 0
vsize: 840492
[startup+490.156 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 46948 53 0 0 25 0 11 0 545228884 860663808 27448 4294967295 134512640 134569956 3221224400 3221213960 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27448 13073 16 0 210107 0
vsize: 840492
[startup+500.157 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 47926 53 0 0 25 0 11 0 545228884 860663808 27520 4294967295 134512640 134569956 3221224400 3221214808 1131379945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27520 13073 16 0 210107 0
vsize: 840492
[startup+510.156 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 48896 53 0 0 25 0 11 0 545228884 860663808 27623 4294967295 134512640 134569956 3221224400 3221214208 1131631828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27623 13073 16 0 210107 0
vsize: 840492
[startup+520.158 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 49874 53 0 0 25 0 11 0 545228884 860663808 27700 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27700 13073 16 0 210107 0
vsize: 840492
[startup+530.158 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 50843 54 0 0 25 0 11 0 545228884 860663808 27794 4294967295 134512640 134569956 3221224400 3221214656 1131390624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27794 13073 16 0 210107 0
vsize: 840492
[startup+540.158 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 51821 54 0 0 25 0 11 0 545228884 860663808 27878 4294967295 134512640 134569956 3221224400 3221214356 1078032683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27878 13073 16 0 210107 0
vsize: 840492
[startup+550.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 52791 54 0 0 25 0 11 0 545228884 860663808 27967 4294967295 134512640 134569956 3221224400 3221214200 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 27967 13073 16 0 210107 0
vsize: 840492
[startup+560.159 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 53769 55 0 0 25 0 11 0 545228884 860663808 28035 4294967295 134512640 134569956 3221224400 3221214092 1131631888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28035 13073 16 0 210107 0
vsize: 840492
[startup+570.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 54739 55 0 0 25 0 11 0 545228884 860663808 28120 4294967295 134512640 134569956 3221224400 3221214624 1131262821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28120 13073 16 0 210107 0
vsize: 840492
[startup+580.161 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 55709 55 0 0 25 0 11 0 545228884 860663808 28200 4294967295 134512640 134569956 3221224400 3221214480 1131632628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28200 13073 16 0 210107 0
vsize: 840492
[startup+590.162 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 56701 55 0 0 25 0 11 0 545228884 860663808 28225 4294967295 134512640 134569956 3221224400 3221213984 1131631882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28225 13073 16 0 210107 0
vsize: 840492
[startup+600.162 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 57677 56 0 0 25 0 11 0 545228884 860663808 28296 4294967295 134512640 134569956 3221224400 3221214776 1131406764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28296 13073 16 0 210107 0
vsize: 840492
[startup+610.162 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 58660 56 0 0 25 0 11 0 545228884 860663808 28347 4294967295 134512640 134569956 3221224400 3221214596 1131631888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28347 13073 16 0 210107 0
vsize: 840492
[startup+620.163 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 59634 56 0 0 25 0 11 0 545228884 860663808 28422 4294967295 134512640 134569956 3221224400 3221214808 1131379916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28422 13073 16 0 210107 0
vsize: 840492
[startup+630.163 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 60616 57 0 0 25 0 11 0 545228884 860663808 28474 4294967295 134512640 134569956 3221224400 3221214632 1131621715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 28474 13073 16 0 210107 0
vsize: 840492
[startup+640.164 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 61588 57 0 0 25 0 11 0 545228884 860663808 28550 4294967295 134512640 134569956 3221224400 3221214092 1131631888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28550 13073 16 0 210107 0
vsize: 840492
[startup+650.164 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 62560 57 0 0 25 0 11 0 545228884 860663808 28653 4294967295 134512640 134569956 3221224400 3221213904 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28653 13073 16 0 210107 0
vsize: 840492
[startup+660.164 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 63522 58 0 0 25 0 11 0 545228884 860663808 28757 4294967295 134512640 134569956 3221224400 3221214512 1131640250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28757 13073 16 0 210107 0
vsize: 840492
[startup+670.164 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 64494 58 0 0 25 0 11 0 545228884 860663808 28842 4294967295 134512640 134569956 3221224400 3221214320 1131631889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28842 13073 16 0 210107 0
vsize: 840492
[startup+680.165 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 65466 58 0 0 25 0 11 0 545228884 860663808 28878 4294967295 134512640 134569956 3221224400 3221214672 1131461896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 28878 13073 16 0 210107 0
vsize: 840492
[startup+690.165 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 66428 59 0 0 25 0 11 0 545228884 860663808 29019 4294967295 134512640 134569956 3221224400 3221214320 1131631938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29019 13073 16 0 210107 0
vsize: 840492
[startup+700.166 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 67393 59 0 0 25 0 11 0 545228884 860663808 29091 4294967295 134512640 134569956 3221224400 3221214592 1131632650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29091 13073 16 0 210107 0
vsize: 840492
[startup+710.166 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 68376 60 0 0 25 0 11 0 545228884 860663808 29175 4294967295 134512640 134569956 3221224400 3221214624 1131262802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29175 13073 16 0 210107 0
vsize: 840492
[startup+720.167 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 69351 60 0 0 25 0 11 0 545228884 860663808 29287 4294967295 134512640 134569956 3221224400 3221214148 1131616320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29287 13073 16 0 210107 0
vsize: 840492
[startup+730.167 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31028
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 70328 61 0 0 25 0 11 0 545228884 860663808 29386 4294967295 134512640 134569956 3221224400 3221214576 1131454465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29386 13073 16 0 210107 0
vsize: 840492
[startup+740.167 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 71305 62 0 0 25 0 11 0 545228884 860663808 29481 4294967295 134512640 134569956 3221224400 3221214512 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29481 13073 16 0 210107 0
vsize: 840492
[startup+750.168 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 72278 62 0 0 25 0 11 0 545228884 860663808 29615 4294967295 134512640 134569956 3221224400 3221213824 1131631864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29615 13073 16 0 210107 0
vsize: 840492
[startup+760.168 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 73258 62 0 0 25 0 11 0 545228884 860663808 29692 4294967295 134512640 134569956 3221224400 3221214624 1131262632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29692 13073 16 0 210107 0
vsize: 840492
[startup+770.169 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 74245 62 0 0 25 0 11 0 545228884 860663808 29728 4294967295 134512640 134569956 3221224400 3221214456 1131618410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29728 13073 16 0 210107 0
vsize: 840492
[startup+780.168 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 75224 63 0 0 25 0 11 0 545228884 860663808 29785 4294967295 134512640 134569956 3221224400 3221214720 1131355418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 29785 13073 16 0 210107 0
vsize: 840492
[startup+790.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 76197 63 0 0 25 0 11 0 545228884 860663808 29866 4294967295 134512640 134569956 3221224400 3221214672 1131463245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29866 13073 16 0 210107 0
vsize: 840492
[startup+800.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 77176 63 0 0 25 0 11 0 545228884 860663808 29912 4294967295 134512640 134569956 3221224400 3221214520 1131345097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29912 13073 16 0 210107 0
vsize: 840492
[startup+810.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 78154 64 0 0 25 0 11 0 545228884 860663808 29973 4294967295 134512640 134569956 3221224400 3221214528 1131509742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 29973 13073 16 0 210107 0
vsize: 840492
[startup+820.171 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 79133 64 0 0 25 0 11 0 545228884 860663808 30052 4294967295 134512640 134569956 3221224400 3221214624 1131262849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30052 13073 16 0 210107 0
vsize: 840492
[startup+830.171 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 80106 65 0 0 25 0 11 0 545228884 860663808 30141 4294967295 134512640 134569956 3221224400 3221213880 1131631864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30141 13073 16 0 210107 0
vsize: 840492
[startup+840.172 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 81079 65 0 0 25 0 11 0 545228884 860663808 30228 4294967295 134512640 134569956 3221224400 3221213788 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30228 13073 16 0 210107 0
vsize: 840492
[startup+850.172 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 82059 65 0 0 25 0 11 0 545228884 860663808 30288 4294967295 134512640 134569956 3221224400 3221214608 1131491302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30288 13073 16 0 210107 0
vsize: 840492
[startup+860.173 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 83039 66 0 0 25 0 11 0 545228884 860663808 30360 4294967295 134512640 134569956 3221224400 3221214320 1131631864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30360 13073 16 0 210107 0
vsize: 840492
[startup+870.172 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 84014 66 0 0 25 0 11 0 545228884 860663808 30458 4294967295 134512640 134569956 3221224400 3221213892 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30458 13073 16 0 210107 0
vsize: 840492
[startup+880.173 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 84995 67 0 0 25 0 11 0 545228884 860663808 30534 4294967295 134512640 134569956 3221224400 3221214208 1131631951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30534 13073 16 0 210107 0
vsize: 840492
[startup+890.174 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 85971 67 0 0 25 0 11 0 545228884 860663808 30616 4294967295 134512640 134569956 3221224400 3221214584 1131517280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30616 13073 16 0 210107 0
vsize: 840492
[startup+900.174 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 86954 67 0 0 25 0 11 0 545228884 860663808 30705 4294967295 134512640 134569956 3221224400 3221214644 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30705 13073 16 0 210107 0
vsize: 840492
[startup+910.174 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 87931 67 0 0 25 0 11 0 545228884 860663808 30766 4294967295 134512640 134569956 3221224400 3221214720 1131354318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30766 13073 16 0 210107 0
vsize: 840492
[startup+920.174 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 88914 68 0 0 25 0 11 0 545228884 860663808 30812 4294967295 134512640 134569956 3221224400 3221214720 1131419490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30812 13073 16 0 210107 0
vsize: 840492
[startup+930.174 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 89897 68 0 0 25 0 11 0 545228884 860663808 30868 4294967295 134512640 134569956 3221224400 3221214576 1131635417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30868 13073 16 0 210107 0
vsize: 840492
[startup+940.176 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 90880 69 0 0 25 0 11 0 545228884 860663808 30926 4294967295 134512640 134569956 3221224400 3221214208 1131631889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30926 13073 16 0 210107 0
vsize: 840492
[startup+950.176 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 91863 69 0 0 25 0 11 0 545228884 860663808 30977 4294967295 134512640 134569956 3221224400 3221214456 1085679526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 30977 13073 16 0 210107 0
vsize: 840492
[startup+960.175 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 92846 69 0 0 25 0 11 0 545228884 860663808 31025 4294967295 134512640 134569956 3221224400 3221213704 1131631889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31025 13073 16 0 210107 0
vsize: 840492
[startup+970.176 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 93828 69 0 0 25 0 11 0 545228884 860663808 31084 4294967295 134512640 134569956 3221224400 3221214624 1131262946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31084 13073 16 0 210107 0
vsize: 840492
[startup+980.175 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 94803 70 0 0 25 0 11 0 545228884 860663808 31159 4294967295 134512640 134569956 3221224400 3221214432 1131631916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31159 13073 16 0 210107 0
vsize: 840492
[startup+990.176 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 95791 70 0 0 25 0 11 0 545228884 860663808 31188 4294967295 134512640 134569956 3221224400 3221214624 1131262149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 31188 13073 16 0 210107 0
vsize: 840492
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 96773 70 0 0 25 0 11 0 545228884 860663808 31239 4294967295 134512640 134569956 3221224400 3221214720 1131356234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31239 13073 16 0 210107 0
vsize: 840492
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 97747 71 0 0 25 0 11 0 545228884 860663808 31295 4294967295 134512640 134569956 3221224400 3221214424 1131632426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31295 13073 16 0 210107 0
vsize: 840492
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 98729 71 0 0 25 0 11 0 545228884 860663808 31344 4294967295 134512640 134569956 3221224400 3221213432 1131631799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31344 13073 16 0 210107 0
vsize: 840492
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 99709 71 0 0 25 0 11 0 545228884 860663808 31412 4294967295 134512640 134569956 3221224400 3221214720 1131354318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31412 13073 16 0 210107 0
vsize: 840492
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 100691 72 0 0 25 0 11 0 545228884 860663808 31471 4294967295 134512640 134569956 3221224400 3221214584 1131517586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31471 13073 16 0 210107 0
vsize: 840492
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 101671 72 0 0 25 0 11 0 545228884 860663808 31535 4294967295 134512640 134569956 3221224400 3221213872 1131631889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31535 13073 16 0 210107 0
vsize: 840492
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 102658 72 0 0 25 0 11 0 545228884 860663808 31576 4294967295 134512640 134569956 3221224400 3221214504 1131495539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31576 13073 16 0 210107 0
vsize: 840492
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 103637 72 0 0 25 0 11 0 545228884 860663808 31634 4294967295 134512640 134569956 3221224400 3221214148 1131616329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31634 13073 16 0 210107 0
vsize: 840492
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 104622 73 0 0 25 0 11 0 545228884 860663808 31673 4294967295 134512640 134569956 3221224400 3221213872 1131632409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31673 13073 16 0 210107 0
vsize: 840492
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 105600 73 0 0 25 0 11 0 545228884 860663808 31726 4294967295 134512640 134569956 3221224400 3221214536 1131263220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31726 13073 16 0 210107 0
vsize: 840492
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 106585 73 0 0 25 0 11 0 545228884 860663808 31768 4294967295 134512640 134569956 3221224400 3221214320 1131631836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 31768 13073 16 0 210107 0
vsize: 840492
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 107573 73 0 0 25 0 11 0 545228884 860663808 31791 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31791 13073 16 0 210107 0
vsize: 840492
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 108551 73 0 0 25 0 11 0 545228884 860663808 31849 4294967295 134512640 134569956 3221224400 3221213936 1131631725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31849 13073 16 0 210107 0
vsize: 840492
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 109533 74 0 0 25 0 11 0 545228884 860663808 31886 4294967295 134512640 134569956 3221224400 3221213840 1085679449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 31886 13073 16 0 210107 0
vsize: 840492
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 110524 75 0 0 25 0 11 0 545228884 860663808 31901 4294967295 134512640 134569956 3221224400 3221214480 1131632489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31901 13073 16 0 210107 0
vsize: 840492
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 111515 75 0 0 25 0 11 0 545228884 860663808 31922 4294967295 134512640 134569956 3221224400 3221214632 1131621696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31922 13073 16 0 210107 0
vsize: 840492
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 112496 75 0 0 25 0 11 0 545228884 860663808 31950 4294967295 134512640 134569956 3221224400 3221214204 1131631888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 31950 13073 16 0 210107 0
vsize: 840492
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 113467 75 0 0 25 0 11 0 545228884 860663808 32014 4294967295 134512640 134569956 3221224400 3221213596 1131631883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 32014 13073 16 0 210107 0
vsize: 840492
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 114458 76 0 0 25 0 11 0 545228884 860663808 32027 4294967295 134512640 134569956 3221224400 3221214592 1131632615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 32027 13073 16 0 210107 0
vsize: 840492
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) S 30962 27222 27221 0 -1 0 18071 0 1 0 115444 76 0 0 25 0 11 0 545228884 860663808 32061 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 32061 13073 16 0 210107 0
vsize: 840492
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 116419 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221213864 1131632636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 32156 13073 16 0 210107 0
vsize: 840492
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 117418 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221214624 1131263358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 32156 13073 16 0 210107 0
vsize: 840492
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 118418 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221214368 1131632650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210123 32156 13073 16 0 210107 0
vsize: 840492
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 119409 77 0 0 25 0 11 0 545228884 860663808 32156 4294967295 134512640 134569956 3221224400 3221214392 1085679261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 32156 13073 16 0 210107 0
vsize: 840492
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 31030
Raw data (stat): 30963 (java) R 30962 27222 27221 0 -1 0 18071 0 1 0 120380 77 0 0 25 0 11 0 545228884 860663808 32237 4294967295 134512640 134569956 3221224400 3221214456 1085679452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210123 32237 13073 16 0 210107 0
vsize: 840492
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.27 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 31032
Raw data (stat): 30963 (java) Z 30962 27222 27221 0 -1 1036 18071 20826 1 0 120382 83 4598 44 25 0 1 0 545228884 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.27
CPU time (s): 1251.09
CPU user time (s): 1249.81
CPU system time (s): 1.2848
CPU usage (%): 100.873
Max. virtual memory (Kb): 840896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####