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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-siena1.opb
MD5SUM8330cc07523804a723f9a9440606c313
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 51095
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 27564135378019700736
Number of bits of the sum of numbers in the objective function 65
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 27576935378019700736
Number of bits of the biggest sum of numbers65
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.502923
Number of variables51095
Total number of constraints13995
Number of constraints which are clauses310
Number of constraints which are cardinality constraints (but not clauses)11776
Number of constraints which are nor clauses,nor cardinality constraints1909
Minimum length of a constraint1
Maximum length of a constraint51095

Trace number 13886

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-20 22:07:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20224 boxname=wulflinc15 idbench=1556 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8330cc07523804a723f9a9440606c313  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-siena1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-siena1.opb
IDLAUNCH: 20224
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        751604 kB
Buffers:         33380 kB
Cached:         224864 kB
SwapCached:       2060 kB
Active:         102916 kB
Inactive:       160172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751352 kB
SwapTotal:     2097136 kB
SwapFree:      2094988 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6812 kB
Slab:            14240 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 22:29:00 (client local time) WITH STATUS 143 IN 1268.5 SECONDS
stats: 20224 7 1268.5 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-siena1.opb
c reading problem 
c [nbvar=51095]
c [nbconstr=13995]
c time 751.226
c #vars     51095
c #clauses  4028
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.86 0.97 0.93 2/54 25028
Raw data (stat): 25028 (runsolver) R 25027 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481691692 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+9.99984 s]
Raw data (loadavg): 0.88 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 890 36 0 0 25 0 10 0 481691692 853483520 19117 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208370 19117 13073 16 0 208354 0
vsize: 833480
[startup+20.0012 s]
Raw data (loadavg): 0.90 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 1781 36 0 0 25 0 10 0 481691692 853606400 19659 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208400 19659 13073 16 0 208384 0
vsize: 833600
[startup+30.0093 s]
Raw data (loadavg): 0.91 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 2681 36 0 0 25 0 10 0 481691692 853606400 20095 4294967295 134512640 134569956 3221224400 3221214824 1131226495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208400 20095 13073 16 0 208384 0
vsize: 833600
[startup+40.0143 s]
Raw data (loadavg): 0.93 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 3611 37 0 0 25 0 10 0 481691692 853606400 20325 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208400 20325 13073 16 0 208384 0
vsize: 833600
[startup+50.0155 s]
Raw data (loadavg): 0.94 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 4539 37 0 0 25 0 10 0 481691692 853606400 20448 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208400 20448 13073 16 0 208384 0
vsize: 833600
[startup+60.0213 s]
Raw data (loadavg): 0.95 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 5468 37 0 0 25 0 10 0 481691692 853606400 20554 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208400 20554 13073 16 0 208384 0
vsize: 833600
[startup+70.0216 s]
Raw data (loadavg): 0.95 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 6413 38 0 0 25 0 10 0 481691692 853573632 20757 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 20757 13073 16 0 208376 0
vsize: 833568
[startup+80.0227 s]
Raw data (loadavg): 0.96 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 7358 38 0 0 25 0 10 0 481691692 853573632 20836 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 20836 13073 16 0 208376 0
vsize: 833568
[startup+90.0233 s]
Raw data (loadavg): 0.97 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 8304 38 0 0 25 0 10 0 481691692 853573632 20909 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 20909 13073 16 0 208376 0
vsize: 833568
[startup+100.023 s]
Raw data (loadavg): 0.97 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) S 25027 29151 29150 0 -1 0 17971 0 1 0 9248 39 0 0 21 0 10 0 481691692 853573632 20974 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 20974 13073 16 0 208376 0
vsize: 833568
[startup+110.027 s]
Raw data (loadavg): 0.97 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 10198 39 0 0 25 0 10 0 481691692 853573632 21035 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21035 13073 16 0 208376 0
vsize: 833568
[startup+120.03 s]
Raw data (loadavg): 0.98 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 11143 40 0 0 25 0 10 0 481691692 853573632 21095 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21095 13073 16 0 208376 0
vsize: 833568
[startup+130.03 s]
Raw data (loadavg): 0.98 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 12089 41 0 0 25 0 10 0 481691692 853573632 21152 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21152 13073 16 0 208376 0
vsize: 833568
[startup+140.031 s]
Raw data (loadavg): 0.98 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 13035 41 0 0 24 0 10 0 481691692 853573632 21206 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21206 13073 16 0 208376 0
vsize: 833568
[startup+150.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 13984 42 0 0 25 0 10 0 481691692 853573632 21256 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21256 13073 16 0 208376 0
vsize: 833568
[startup+160.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 14930 42 0 0 25 0 10 0 481691692 853573632 21306 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21306 13073 16 0 208376 0
vsize: 833568
[startup+170.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 15858 43 0 0 24 0 10 0 481691692 853573632 21354 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21354 13073 16 0 208376 0
vsize: 833568
[startup+180.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 16784 43 0 0 25 0 10 0 481691692 853573632 21398 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21398 13073 16 0 208376 0
vsize: 833568
[startup+190.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 17720 44 0 0 24 0 10 0 481691692 853573632 21699 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21699 13073 16 0 208376 0
vsize: 833568
[startup+200.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 18666 44 0 0 25 0 10 0 481691692 853573632 21740 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21740 13073 16 0 208376 0
vsize: 833568
[startup+210.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 19607 44 0 0 25 0 10 0 481691692 853573632 21784 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21784 13073 16 0 208376 0
vsize: 833568
[startup+220.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 20548 44 0 0 25 0 10 0 481691692 853573632 21826 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21826 13073 16 0 208376 0
vsize: 833568
[startup+230.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 21492 45 0 0 25 0 10 0 481691692 853573632 21864 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21864 13073 16 0 208376 0
vsize: 833568
[startup+240.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 22431 45 0 0 25 0 10 0 481691692 853573632 21905 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21905 13073 16 0 208376 0
vsize: 833568
[startup+250.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 23369 46 0 0 25 0 10 0 481691692 853573632 21944 4294967295 134512640 134569956 3221224400 3221214812 1131170983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21944 13073 16 0 208376 0
vsize: 833568
[startup+260.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 24312 46 0 0 25 0 10 0 481691692 853573632 21980 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 21980 13073 16 0 208376 0
vsize: 833568
[startup+270.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 25250 46 0 0 25 0 10 0 481691692 853573632 22018 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22018 13073 16 0 208376 0
vsize: 833568
[startup+280.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 26189 47 0 0 24 0 10 0 481691692 853573632 22054 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22054 13073 16 0 208376 0
vsize: 833568
[startup+290.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 27130 47 0 0 25 0 10 0 481691692 853573632 22089 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22089 13073 16 0 208376 0
vsize: 833568
[startup+300.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 28067 47 0 0 25 0 10 0 481691692 853573632 22124 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22124 13073 16 0 208376 0
vsize: 833568
[startup+310.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) S 25027 29151 29150 0 -1 0 17971 0 1 0 29006 48 0 0 25 0 10 0 481691692 853573632 22157 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22157 13073 16 0 208376 0
vsize: 833568
[startup+320.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 29943 48 0 0 25 0 10 0 481691692 853573632 22191 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22191 13073 16 0 208376 0
vsize: 833568
[startup+330.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 30879 49 0 0 17 0 10 0 481691692 853573632 22225 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22225 13073 16 0 208376 0
vsize: 833568
[startup+340.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 31817 50 0 0 25 0 10 0 481691692 853573632 22256 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22256 13073 16 0 208376 0
vsize: 833568
[startup+350.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 32751 50 0 0 25 0 10 0 481691692 853573632 22290 4294967295 134512640 134569956 3221224400 3221214224 1076461261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22290 13073 16 0 208376 0
vsize: 833568
[startup+360.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 33690 51 0 0 25 0 10 0 481691692 853573632 22320 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22320 13073 16 0 208376 0
vsize: 833568
[startup+370.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 34623 51 0 0 25 0 10 0 481691692 853573632 22352 4294967295 134512640 134569956 3221224400 3221214680 1076619328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22352 13073 16 0 208376 0
vsize: 833568
[startup+380.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 35561 51 0 0 25 0 10 0 481691692 853573632 22381 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22381 13073 16 0 208376 0
vsize: 833568
[startup+390.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 36493 52 0 0 25 0 10 0 481691692 853573632 22412 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22412 13073 16 0 208376 0
vsize: 833568
[startup+400.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 37430 52 0 0 25 0 10 0 481691692 853573632 22441 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22441 13073 16 0 208376 0
vsize: 833568
[startup+410.057 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 38362 52 0 0 25 0 10 0 481691692 853573632 22471 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22471 13073 16 0 208376 0
vsize: 833568
[startup+420.057 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 39297 53 0 0 25 0 10 0 481691692 853573632 22498 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22498 13073 16 0 208376 0
vsize: 833568
[startup+430.059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 40228 53 0 0 25 0 10 0 481691692 853573632 22528 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22528 13073 16 0 208376 0
vsize: 833568
[startup+440.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 41164 53 0 0 25 0 10 0 481691692 853573632 22555 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22555 13073 16 0 208376 0
vsize: 833568
[startup+450.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 42094 54 0 0 25 0 10 0 481691692 853573632 22583 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22583 13073 16 0 208376 0
vsize: 833568
[startup+460.068 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 43028 54 0 0 25 0 10 0 481691692 853573632 22610 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22610 13073 16 0 208376 0
vsize: 833568
[startup+470.069 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 43958 54 0 0 24 0 10 0 481691692 853573632 22638 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 22638 13073 16 0 208376 0
vsize: 833568
[startup+480.069 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 44892 54 0 0 25 0 10 0 481691692 853573632 22664 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 22664 13073 16 0 208376 0
vsize: 833568
[startup+490.07 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 45825 55 0 0 25 0 10 0 481691692 853573632 22690 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 22690 13073 16 0 208376 0
vsize: 833568
[startup+500.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 46752 55 0 0 25 0 10 0 481691692 853573632 22717 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22717 13073 16 0 208376 0
vsize: 833568
[startup+510.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 47683 55 0 0 25 0 10 0 481691692 853573632 22742 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22742 13073 16 0 208376 0
vsize: 833568
[startup+520.072 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 48609 56 0 0 24 0 10 0 481691692 853573632 22768 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22768 13073 16 0 208376 0
vsize: 833568
[startup+530.072 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 49540 56 0 0 25 0 10 0 481691692 853573632 22793 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22793 13073 16 0 208376 0
vsize: 833568
[startup+540.072 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 50470 57 0 0 25 0 10 0 481691692 853573632 22818 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22818 13073 16 0 208376 0
vsize: 833568
[startup+550.073 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 51395 57 0 0 25 0 10 0 481691692 853573632 22844 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22844 13073 16 0 208376 0
vsize: 833568
[startup+560.073 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 52325 58 0 0 25 0 10 0 481691692 853573632 22868 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22868 13073 16 0 208376 0
vsize: 833568
[startup+570.073 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 53254 58 0 0 25 0 10 0 481691692 853573632 22892 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22892 13073 16 0 208376 0
vsize: 833568
[startup+580.073 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 54178 59 0 0 24 0 10 0 481691692 853573632 22917 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22917 13073 16 0 208376 0
vsize: 833568
[startup+590.075 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 55106 59 0 0 25 0 10 0 481691692 853573632 22940 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22940 13073 16 0 208376 0
vsize: 833568
[startup+600.075 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 56034 59 0 0 25 0 10 0 481691692 853573632 22963 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22963 13073 16 0 208376 0
vsize: 833568
[startup+610.075 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 56961 60 0 0 25 0 10 0 481691692 853573632 22986 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 22986 13073 16 0 208376 0
vsize: 833568
[startup+620.077 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 57884 60 0 0 25 0 10 0 481691692 853573632 23011 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 23011 13073 16 0 208376 0
vsize: 833568
[startup+630.077 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 58810 61 0 0 25 0 10 0 481691692 853573632 23033 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 23033 13073 16 0 208376 0
vsize: 833568
[startup+640.078 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 59737 61 0 0 25 0 10 0 481691692 853573632 23055 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208392 23055 13073 16 0 208376 0
vsize: 833568
[startup+650.079 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 60663 61 0 0 25 0 10 0 481691692 853573632 23078 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 23078 13073 16 0 208376 0
vsize: 833568
[startup+660.081 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) S 25027 29151 29150 0 -1 0 17971 0 1 0 61579 61 0 0 25 0 10 0 481691692 853573632 24098 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 24098 13073 16 0 208376 0
vsize: 833568
[startup+670.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 62503 61 0 0 25 0 10 0 481691692 853573632 24098 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 24098 13073 16 0 208376 0
vsize: 833568
[startup+680.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 63420 61 0 0 25 0 10 0 481691692 853573632 24117 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 24117 13073 16 0 208376 0
vsize: 833568
[startup+690.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 64337 62 0 0 25 0 10 0 481691692 853573632 24143 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 24143 13073 16 0 208376 0
vsize: 833568
[startup+700.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17971 0 1 0 65253 62 0 0 25 0 10 0 481691692 853573632 24168 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 24168 13073 16 0 208376 0
vsize: 833568
[startup+710.131 s]
Raw data (loadavg): 0.99 0.97 0.93 3/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 17996 0 1 0 66172 62 0 0 25 0 10 0 481691692 859926528 25357 4294967295 134512640 134569956 3221224400 3221214352 1130919286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209943 25357 13073 16 0 209927 0
vsize: 839772
[startup+720.132 s]
Raw data (loadavg): 1.07 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18000 0 1 0 67048 62 0 0 25 0 10 0 481691692 860897280 27638 4294967295 134512640 134569956 3221224400 3221214612 1130898679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 27638 13073 16 0 210164 0
vsize: 840720
[startup+730.132 s]
Raw data (loadavg): 1.06 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18000 0 1 0 68043 63 0 0 25 0 10 0 481691692 860127232 27551 4294967295 134512640 134569956 3221224400 3221214328 1131299280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 27551 13073 16 0 209976 0
vsize: 839968
[startup+740.133 s]
Raw data (loadavg): 1.05 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18001 0 1 0 68955 64 0 0 25 0 10 0 481691692 860127232 30526 4294967295 134512640 134569956 3221224400 3221214600 1131299245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 30526 13073 16 0 209976 0
vsize: 839968
[startup+750.133 s]
Raw data (loadavg): 1.04 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18001 0 1 0 69886 68 0 0 25 0 10 0 481691692 860127232 33492 4294967295 134512640 134569956 3221224400 3221214872 1131183413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 33492 13073 16 0 209976 0
vsize: 839968
[startup+760.133 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18022 0 1 0 70764 69 0 0 25 0 10 0 481691692 860127232 38271 4294967295 134512640 134569956 3221224400 3221214736 1131342173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 38271 13073 16 0 209976 0
vsize: 839968
[startup+770.133 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18022 0 1 0 71722 69 0 0 25 0 10 0 481691692 860127232 38271 4294967295 134512640 134569956 3221224400 3221214736 1131342594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 38271 13073 16 0 209976 0
vsize: 839968
[startup+780.133 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18022 0 1 0 72679 69 0 0 25 0 10 0 481691692 860127232 38272 4294967295 134512640 134569956 3221224400 3221214840 1131456308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 38272 13073 16 0 209976 0
vsize: 839968
[startup+790.134 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18022 0 1 0 73648 69 0 0 24 0 10 0 481691692 860127232 38658 4294967295 134512640 134569956 3221224400 3221214840 1131458313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209992 38658 13073 16 0 209976 0
vsize: 839968
[startup+800.135 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18022 0 1 0 74632 69 0 0 25 0 10 0 481691692 860127232 38667 4294967295 134512640 134569956 3221224400 3221214736 1131342910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209992 38667 13073 16 0 209976 0
vsize: 839968
[startup+810.135 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18022 0 1 0 75614 70 0 0 25 0 10 0 481691692 860127232 38679 4294967295 134512640 134569956 3221224400 3221214840 1131457560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209992 38679 13073 16 0 209976 0
vsize: 839968
[startup+820.135 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 25037
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18022 0 1 0 76596 70 0 0 24 0 10 0 481691692 860127232 38697 4294967295 134512640 134569956 3221224400 3221214736 1131342602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209992 38697 13073 16 0 209976 0
vsize: 839968
[startup+830.136 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 77575 70 0 0 25 0 11 0 481691692 860655616 38720 4294967295 134512640 134569956 3221224400 3221214688 1131341515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38720 13073 16 0 210105 0
vsize: 840484
[startup+840.137 s]
Raw data (loadavg): 1.01 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 78551 71 0 0 25 0 11 0 481691692 860655616 38741 4294967295 134512640 134569956 3221224400 3221214792 1131457297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38741 13073 16 0 210105 0
vsize: 840484
[startup+850.138 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 79523 71 0 0 24 0 11 0 481691692 860655616 38758 4294967295 134512640 134569956 3221224400 3221214792 1131456301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38758 13073 16 0 210105 0
vsize: 840484
[startup+860.139 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 80497 71 0 0 25 0 11 0 481691692 860655616 38780 4294967295 134512640 134569956 3221224400 3221214688 1131342113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38780 13073 16 0 210105 0
vsize: 840484
[startup+870.139 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) S 25027 29151 29150 0 -1 0 18028 0 1 0 81468 72 0 0 25 0 11 0 481691692 860655616 38798 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38798 13073 16 0 210105 0
vsize: 840484
[startup+880.139 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 82439 72 0 0 25 0 11 0 481691692 860655616 38820 4294967295 134512640 134569956 3221224400 3221214688 1131342258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38820 13073 16 0 210105 0
vsize: 840484
[startup+890.14 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 83411 72 0 0 25 0 11 0 481691692 860655616 38841 4294967295 134512640 134569956 3221224400 3221214792 1131458246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38841 13073 16 0 210105 0
vsize: 840484
[startup+900.141 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 84382 73 0 0 25 0 11 0 481691692 860655616 38870 4294967295 134512640 134569956 3221224400 3221214688 1131341477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38870 13073 16 0 210105 0
vsize: 840484
[startup+910.141 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18028 0 1 0 85356 73 0 0 25 0 11 0 481691692 860655616 38891 4294967295 134512640 134569956 3221224400 3221214792 1131458677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38891 13073 16 0 210105 0
vsize: 840484
[startup+920.142 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 86326 73 0 0 25 0 11 0 481691692 860655616 38921 4294967295 134512640 134569956 3221224400 3221214792 1131456266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38921 13073 16 0 210105 0
vsize: 840484
[startup+930.142 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 87299 73 0 0 25 0 11 0 481691692 860655616 38951 4294967295 134512640 134569956 3221224400 3221214688 1131342290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38951 13073 16 0 210105 0
vsize: 840484
[startup+940.143 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 88270 74 0 0 25 0 11 0 481691692 860655616 38981 4294967295 134512640 134569956 3221224400 3221214688 1131342551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 38981 13073 16 0 210105 0
vsize: 840484
[startup+950.143 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 89244 74 0 0 25 0 11 0 481691692 860655616 39013 4294967295 134512640 134569956 3221224400 3221214792 1131457458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39013 13073 16 0 210105 0
vsize: 840484
[startup+960.143 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 90217 74 0 0 25 0 11 0 481691692 860655616 39038 4294967295 134512640 134569956 3221224400 3221214688 1131341473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39038 13073 16 0 210105 0
vsize: 840484
[startup+970.144 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 91193 75 0 0 25 0 11 0 481691692 860655616 39066 4294967295 134512640 134569956 3221224400 3221214688 1131342594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39066 13073 16 0 210105 0
vsize: 840484
[startup+980.145 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 92168 75 0 0 25 0 11 0 481691692 860655616 39096 4294967295 134512640 134569956 3221224400 3221214688 1131341716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39096 13073 16 0 210105 0
vsize: 840484
[startup+990.145 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 93144 75 0 0 24 0 11 0 481691692 860655616 39120 4294967295 134512640 134569956 3221224400 3221214688 1131342113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39120 13073 16 0 210105 0
vsize: 840484
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 94122 76 0 0 25 0 11 0 481691692 860655616 39143 4294967295 134512640 134569956 3221224400 3221214792 1131457632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210121 39143 13073 16 0 210105 0
vsize: 840484
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 95099 76 0 0 25 0 11 0 481691692 860655616 39172 4294967295 134512640 134569956 3221224400 3221214688 1131341531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39172 13073 16 0 210105 0
vsize: 840484
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 96077 76 0 0 25 0 11 0 481691692 860655616 39193 4294967295 134512640 134569956 3221224400 3221214792 1131456308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39193 13073 16 0 210105 0
vsize: 840484
[startup+1030.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 97053 77 0 0 25 0 11 0 481691692 860655616 39219 4294967295 134512640 134569956 3221224400 3221214792 1131457500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39219 13073 16 0 210105 0
vsize: 840484
[startup+1040.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 98029 77 0 0 24 0 11 0 481691692 860655616 39243 4294967295 134512640 134569956 3221224400 3221214792 1131456364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39243 13073 16 0 210105 0
vsize: 840484
[startup+1050.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 99006 77 0 0 25 0 11 0 481691692 860655616 39268 4294967295 134512640 134569956 3221224400 3221214792 1131457500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39268 13073 16 0 210105 0
vsize: 840484
[startup+1060.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 99982 78 0 0 25 0 11 0 481691692 860655616 39297 4294967295 134512640 134569956 3221224400 3221214688 1131342510 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39297 13073 16 0 210105 0
vsize: 840484
[startup+1070.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 100959 78 0 0 25 0 11 0 481691692 860655616 39322 4294967295 134512640 134569956 3221224400 3221214688 1131341761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39322 13073 16 0 210105 0
vsize: 840484
[startup+1080.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 101934 78 0 0 25 0 11 0 481691692 860655616 39349 4294967295 134512640 134569956 3221224400 3221214792 1131457297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39349 13073 16 0 210105 0
vsize: 840484
[startup+1090.15 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 102910 78 0 0 25 0 11 0 481691692 860655616 39380 4294967295 134512640 134569956 3221224400 3221214792 1131457493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39380 13073 16 0 210105 0
vsize: 840484
[startup+1100.16 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 103889 79 0 0 25 0 11 0 481691692 860655616 39405 4294967295 134512640 134569956 3221224400 3221214792 1131458313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39405 13073 16 0 210105 0
vsize: 840484
[startup+1110.18 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 104867 79 0 0 25 0 11 0 481691692 860655616 39430 4294967295 134512640 134569956 3221224400 3221214132 1077378400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39430 13073 16 0 210105 0
vsize: 840484
[startup+1120.18 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 105845 79 0 0 25 0 11 0 481691692 860655616 39454 4294967295 134512640 134569956 3221224400 3221214792 1131458313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39454 13073 16 0 210105 0
vsize: 840484
[startup+1130.18 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 106824 80 0 0 25 0 11 0 481691692 860655616 39474 4294967295 134512640 134569956 3221224400 3221214792 1131457489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39474 13073 16 0 210105 0
vsize: 840484
[startup+1140.18 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 107802 80 0 0 25 0 11 0 481691692 860655616 39493 4294967295 134512640 134569956 3221224400 3221214688 1131342113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39493 13073 16 0 210105 0
vsize: 840484
[startup+1150.18 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 108780 81 0 0 24 0 11 0 481691692 860655616 39516 4294967295 134512640 134569956 3221224400 3221214688 1131342964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39516 13073 16 0 210105 0
vsize: 840484
[startup+1160.19 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 109761 81 0 0 25 0 11 0 481691692 860655616 39535 4294967295 134512640 134569956 3221224400 3221214688 1131342113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39535 13073 16 0 210105 0
vsize: 840484
[startup+1170.19 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 110738 81 0 0 25 0 11 0 481691692 860655616 39556 4294967295 134512640 134569956 3221224400 3221214792 1131456317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39556 13073 16 0 210105 0
vsize: 840484
[startup+1180.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 111716 81 0 0 25 0 11 0 481691692 860655616 39577 4294967295 134512640 134569956 3221224400 3221214688 1131341490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39577 13073 16 0 210105 0
vsize: 840484
[startup+1190.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 112694 82 0 0 25 0 11 0 481691692 860655616 39600 4294967295 134512640 134569956 3221224400 3221214688 1131341716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39600 13073 16 0 210105 0
vsize: 840484
[startup+1200.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 113670 82 0 0 25 0 11 0 481691692 860655616 39624 4294967295 134512640 134569956 3221224400 3221214688 1131342113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39624 13073 16 0 210105 0
vsize: 840484
[startup+1210.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 114647 83 0 0 25 0 11 0 481691692 860655616 39650 4294967295 134512640 134569956 3221224400 3221214688 1131342045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39650 13073 16 0 210105 0
vsize: 840484
[startup+1220.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 115624 83 0 0 24 0 11 0 481691692 860655616 39671 4294967295 134512640 134569956 3221224400 3221214688 1131341477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39671 13073 16 0 210105 0
vsize: 840484
[startup+1230.21 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 116603 83 0 0 25 0 11 0 481691692 860655616 39696 4294967295 134512640 134569956 3221224400 3221214688 1131341761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39696 13073 16 0 210105 0
vsize: 840484
[startup+1240.22 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 117581 84 0 0 25 0 11 0 481691692 860655616 39720 4294967295 134512640 134569956 3221224400 3221214688 1131342346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39720 13073 16 0 210105 0
vsize: 840484
[startup+1250.22 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 118558 84 0 0 24 0 11 0 481691692 860655616 39742 4294967295 134512640 134569956 3221224400 3221214792 1131458303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39742 13073 16 0 210105 0
vsize: 840484
[startup+1260.22 s]
Raw data (loadavg): 1.00 0.99 0.93 2/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 119536 85 0 0 25 0 11 0 481691692 860655616 39767 4294967295 134512640 134569956 3221224400 3221214688 1131342113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210121 39767 13073 16 0 210105 0
vsize: 840484
[startup+1270.23 s]
Raw data (loadavg): 1.00 0.99 0.93 3/64 25038
Raw data (stat): 25028 (java) R 25027 29151 29150 0 -1 0 18029 0 1 0 120513 85 0 0 25 0 11 0 481691692 860655616 39789 4294967295 134512640 134569956 3221224400 3221214688 1131341488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210121 39789 13073 16 0 210105 0
vsize: 840484
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.38 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 25039
Raw data (stat): 25028 (java) Z 25027 29151 29150 0 -1 1036 18029 19883 1 0 120521 85 6175 66 25 0 1 0 481691692 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): 1270.38
CPU time (s): 1268.5
CPU user time (s): 1266.98
CPU system time (s): 1.51877
CPU usage (%): 99.8515
Max. virtual memory (Kb): 840720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####