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/fctp/normalized-mps-v2-13-7-gr4x6.opb
MD5SUMc1c7537cd9b3e10215a81ec1ca3be5cb
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2605440
Optimality of the best value was proved NO
Number of terms in the objective function 504
Biggest coefficient in the objective function 148373504
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 3393589600
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 148373504
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 3393589600
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables504
Total number of constraints34
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 constraints34
Minimum length of a constraint21
Maximum length of a constraint120

Trace number 17852

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        609040 kB
Buffers:         33844 kB
Cached:         363824 kB
SwapCached:        540 kB
Active:         128064 kB
Inactive:       271604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        608788 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            20116 kB
Committed_AS:    63524 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 12:43:59 (client local time) WITH STATUS 143 IN 1259.05 SECONDS
stats: 18989 7 1259.05 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-gr4x6.opb
c reading problem 
c [nbvar=504]
c [nbconstr=34]
c time 1.256
c #vars     504
c #clauses  45
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=3457304
c Current CPU time (ms) : 10.38
c starts	: 1
c conflicts	: 8
c decisions	: 409
c propagations	: 1775
c inspects	: 3376
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 9
c 
c CURRENT OPTIMUM=3169868
c Current CPU time (ms) : 12.942
c starts	: 2
c conflicts	: 10
c decisions	: 599
c propagations	: 2460
c inspects	: 5213
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10
c root simplifications	: 12
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.97 2/54 26055
Raw data (stat): 26055 (runsolver) R 26054 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545035965 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.0005 s]
Raw data (loadavg): 1.17 1.01 0.99 4/64 26065
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18111 0 1 0 584 41 0 0 25 0 11 0 545035965 877502464 24078 4294967295 134512640 134569956 3221224400 3221214028 1079276790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214234 24078 13073 16 0 214218 0
vsize: 856936
[startup+20.0015 s]
Raw data (loadavg): 1.45 1.07 1.02 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18115 4 1 0 1351 41 0 0 25 0 11 0 545035965 877797376 24504 4294967295 134512640 134569956 3221224400 3221214784 1131305235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214306 24504 13073 16 0 214290 0
vsize: 857224
[startup+30.002 s]
Raw data (loadavg): 1.38 1.07 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18115 4 1 0 2321 41 0 0 25 0 11 0 545035965 870899712 22969 4294967295 134512640 134569956 3221224400 3221214784 1131309196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 22969 13073 16 0 212606 0
vsize: 850488
[startup+40.0035 s]
Raw data (loadavg): 1.32 1.06 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18115 4 1 0 3287 42 0 0 25 0 11 0 545035965 870899712 23085 4294967295 134512640 134569956 3221224400 3221214784 1131301940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23085 13073 16 0 212606 0
vsize: 850488
[startup+50.0043 s]
Raw data (loadavg): 1.27 1.06 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 4248 42 0 0 25 0 11 0 545035965 870899712 23301 4294967295 134512640 134569956 3221224400 3221214784 1131311520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23301 13073 16 0 212606 0
vsize: 850488
[startup+60.0038 s]
Raw data (loadavg): 1.23 1.06 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 5231 42 0 0 25 0 11 0 545035965 870899712 23359 4294967295 134512640 134569956 3221224400 3221214696 1131728275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23359 13073 16 0 212606 0
vsize: 850488
[startup+70.0052 s]
Raw data (loadavg): 1.19 1.06 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 6215 42 0 0 25 0 11 0 545035965 870899712 23406 4294967295 134512640 134569956 3221224400 3221214784 1131311665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23406 13073 16 0 212606 0
vsize: 850488
[startup+80.0061 s]
Raw data (loadavg): 1.16 1.05 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 7198 43 0 0 25 0 11 0 545035965 870899712 23469 4294967295 134512640 134569956 3221224400 3221214784 1131296945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23469 13073 16 0 212606 0
vsize: 850488
[startup+90.0066 s]
Raw data (loadavg): 1.14 1.05 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 8185 43 0 0 25 0 11 0 545035965 870899712 23517 4294967295 134512640 134569956 3221224400 3221214784 1131297010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23517 13073 16 0 212606 0
vsize: 850488
[startup+100.007 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 9172 43 0 0 25 0 11 0 545035965 870899712 23578 4294967295 134512640 134569956 3221224400 3221214052 1076878028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23578 13073 16 0 212606 0
vsize: 850488
[startup+110.008 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 10160 44 0 0 25 0 11 0 545035965 870899712 23620 4294967295 134512640 134569956 3221224400 3221214784 1131297010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23620 13073 16 0 212606 0
vsize: 850488
[startup+120.008 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 11148 44 0 0 24 0 11 0 545035965 870899712 23670 4294967295 134512640 134569956 3221224400 3221214784 1131306759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23670 13073 16 0 212606 0
vsize: 850488
[startup+130.009 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 12137 44 0 0 25 0 11 0 545035965 870899712 23705 4294967295 134512640 134569956 3221224400 3221214784 1131305903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23705 13073 16 0 212606 0
vsize: 850488
[startup+140.01 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 13126 45 0 0 25 0 11 0 545035965 870899712 23742 4294967295 134512640 134569956 3221224400 3221214784 1131296945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23742 13073 16 0 212606 0
vsize: 850488
[startup+150.01 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 14113 45 0 0 25 0 11 0 545035965 870899712 23809 4294967295 134512640 134569956 3221224400 3221214584 1131563072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23809 13073 16 0 212606 0
vsize: 850488
[startup+160.011 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 15102 45 0 0 25 0 11 0 545035965 870899712 23841 4294967295 134512640 134569956 3221224400 3221214784 1131309051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23841 13073 16 0 212606 0
vsize: 850488
[startup+170.012 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 16088 45 0 0 25 0 11 0 545035965 870899712 23902 4294967295 134512640 134569956 3221224400 3221214784 1131314710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23902 13073 16 0 212606 0
vsize: 850488
[startup+180.012 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 17072 45 0 0 25 0 11 0 545035965 870899712 23961 4294967295 134512640 134569956 3221224400 3221214784 1131302316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 23961 13073 16 0 212606 0
vsize: 850488
[startup+190.014 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 18053 46 0 0 25 0 11 0 545035965 870899712 24021 4294967295 134512640 134569956 3221224400 3221214784 1131311716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24021 13073 16 0 212606 0
vsize: 850488
[startup+200.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 19030 46 0 0 25 0 11 0 545035965 870899712 24090 4294967295 134512640 134569956 3221224400 3221214784 1131312995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24090 13073 16 0 212606 0
vsize: 850488
[startup+210.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 20006 46 0 0 25 0 11 0 545035965 870899712 24184 4294967295 134512640 134569956 3221224400 3221214784 1131303747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24184 13073 16 0 212606 0
vsize: 850488
[startup+220.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 20985 46 0 0 25 0 11 0 545035965 870899712 24308 4294967295 134512640 134569956 3221224400 3221214784 1131306801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24308 13073 16 0 212606 0
vsize: 850488
[startup+230.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 21967 47 0 0 25 0 11 0 545035965 870899712 24414 4294967295 134512640 134569956 3221224400 3221214784 1131301205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24414 13073 16 0 212606 0
vsize: 850488
[startup+240.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 22950 47 0 0 25 0 11 0 545035965 870899712 24494 4294967295 134512640 134569956 3221224400 3221214704 1131205372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24494 13073 16 0 212606 0
vsize: 850488
[startup+250.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 23932 47 0 0 25 0 11 0 545035965 870899712 24562 4294967295 134512640 134569956 3221224400 3221214784 1131299042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24562 13073 16 0 212606 0
vsize: 850488
[startup+260.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 24911 47 0 0 25 0 11 0 545035965 870899712 24651 4294967295 134512640 134569956 3221224400 3221214784 1131309137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24651 13073 16 0 212606 0
vsize: 850488
[startup+270.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 25889 48 0 0 24 0 11 0 545035965 870899712 24719 4294967295 134512640 134569956 3221224400 3221214784 1131306943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24719 13073 16 0 212606 0
vsize: 850488
[startup+280.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 26867 48 0 0 25 0 11 0 545035965 870899712 24783 4294967295 134512640 134569956 3221224400 3221214784 1131308449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24783 13073 16 0 212606 0
vsize: 850488
[startup+290.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 27841 48 0 0 25 0 11 0 545035965 870899712 24889 4294967295 134512640 134569956 3221224400 3221214784 1131296729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24889 13073 16 0 212606 0
vsize: 850488
[startup+300.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 28815 49 0 0 25 0 11 0 545035965 870899712 24975 4294967295 134512640 134569956 3221224400 3221214480 1131648215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 24975 13073 16 0 212606 0
vsize: 850488
[startup+310.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 29786 49 0 0 25 0 11 0 545035965 870899712 25236 4294967295 134512640 134569956 3221224400 3221214784 1131298104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 25236 13073 16 0 212606 0
vsize: 850488
[startup+320.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 30759 50 0 0 25 0 11 0 545035965 870899712 25455 4294967295 134512640 134569956 3221224400 3221214784 1131298780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 25455 13073 16 0 212606 0
vsize: 850488
[startup+330.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 31728 50 0 0 25 0 11 0 545035965 870899712 25659 4294967295 134512640 134569956 3221224400 3221214784 1131312259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 25659 13073 16 0 212606 0
vsize: 850488
[startup+340.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 32697 51 0 0 25 0 11 0 545035965 870899712 25835 4294967295 134512640 134569956 3221224400 3221214784 1131309989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 25835 13073 16 0 212606 0
vsize: 850488
[startup+350.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 33669 51 0 0 25 0 11 0 545035965 870899712 26013 4294967295 134512640 134569956 3221224400 3221214784 1131296747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26013 13073 16 0 212606 0
vsize: 850488
[startup+360.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 34642 52 0 0 25 0 11 0 545035965 870899712 26161 4294967295 134512640 134569956 3221224400 3221214784 1131301205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26161 13073 16 0 212606 0
vsize: 850488
[startup+370.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 35619 52 0 0 25 0 11 0 545035965 870899712 26247 4294967295 134512640 134569956 3221224400 3221214784 1131301224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26247 13073 16 0 212606 0
vsize: 850488
[startup+380.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 36596 52 0 0 25 0 11 0 545035965 870899712 26322 4294967295 134512640 134569956 3221224400 3221214784 1131298839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26322 13073 16 0 212606 0
vsize: 850488
[startup+390.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 37575 53 0 0 25 0 11 0 545035965 870899712 26433 4294967295 134512640 134569956 3221224400 3221214784 1131302053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26433 13073 16 0 212606 0
vsize: 850488
[startup+400.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 38551 53 0 0 24 0 11 0 545035965 870899712 26505 4294967295 134512640 134569956 3221224400 3221214784 1131304359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26505 13073 16 0 212606 0
vsize: 850488
[startup+410.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 39525 53 0 0 24 0 11 0 545035965 870899712 26611 4294967295 134512640 134569956 3221224400 3221214784 1131307010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26611 13073 16 0 212606 0
vsize: 850488
[startup+420.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 40500 54 0 0 25 0 11 0 545035965 870899712 26668 4294967295 134512640 134569956 3221224400 3221214784 1131306683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26668 13073 16 0 212606 0
vsize: 850488
[startup+430.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 41470 54 0 0 25 0 11 0 545035965 870899712 26876 4294967295 134512640 134569956 3221224400 3221214784 1131309109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26876 13073 16 0 212606 0
vsize: 850488
[startup+440.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 42442 54 0 0 25 0 11 0 545035965 870899712 26965 4294967295 134512640 134569956 3221224400 3221214784 1131309178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 26965 13073 16 0 212606 0
vsize: 850488
[startup+450.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 43410 55 0 0 25 0 11 0 545035965 870899712 27094 4294967295 134512640 134569956 3221224400 3221214784 1131300596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27094 13073 16 0 212606 0
vsize: 850488
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 44384 55 0 0 25 0 11 0 545035965 870899712 27287 4294967295 134512640 134569956 3221224400 3221214784 1131309989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27287 13073 16 0 212606 0
vsize: 850488
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 45363 55 0 0 25 0 11 0 545035965 870899712 27409 4294967295 134512640 134569956 3221224400 3221214784 1131300934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27409 13073 16 0 212606 0
vsize: 850488
[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 46343 55 0 0 25 0 11 0 545035965 870899712 27542 4294967295 134512640 134569956 3221224400 3221214784 1131298839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27542 13073 16 0 212606 0
vsize: 850488
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 47326 56 0 0 25 0 11 0 545035965 870899712 27612 4294967295 134512640 134569956 3221224400 3221214784 1131300934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27612 13073 16 0 212606 0
vsize: 850488
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 48306 56 0 0 25 0 11 0 545035965 870899712 27675 4294967295 134512640 134569956 3221224400 3221214784 1131305160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27675 13073 16 0 212606 0
vsize: 850488
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 49286 56 0 0 25 0 11 0 545035965 870899712 27788 4294967295 134512640 134569956 3221224400 3221214784 1131302053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27788 13073 16 0 212606 0
vsize: 850488
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 50264 56 0 0 24 0 11 0 545035965 870899712 27896 4294967295 134512640 134569956 3221224400 3221214784 1131296755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27896 13073 16 0 212606 0
vsize: 850488
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 51243 57 0 0 25 0 11 0 545035965 870899712 27984 4294967295 134512640 134569956 3221224400 3221214784 1131300590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 27984 13073 16 0 212606 0
vsize: 850488
[startup+540.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 52224 57 0 0 25 0 11 0 545035965 870899712 28165 4294967295 134512640 134569956 3221224400 3221214784 1131297914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28165 13073 16 0 212606 0
vsize: 850488
[startup+550.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 53207 58 0 0 25 0 11 0 545035965 870899712 28260 4294967295 134512640 134569956 3221224400 3221214784 1131302186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28260 13073 16 0 212606 0
vsize: 850488
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 54193 58 0 0 25 0 11 0 545035965 870899712 28360 4294967295 134512640 134569956 3221224400 3221214640 1131672971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28360 13073 16 0 212606 0
vsize: 850488
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 55179 58 0 0 25 0 11 0 545035965 870899712 28424 4294967295 134512640 134569956 3221224400 3221214784 1131304283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28424 13073 16 0 212606 0
vsize: 850488
[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 56166 58 0 0 25 0 11 0 545035965 870899712 28471 4294967295 134512640 134569956 3221224400 3221214784 1131296945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28471 13073 16 0 212606 0
vsize: 850488
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 57150 59 0 0 25 0 11 0 545035965 870899712 28525 4294967295 134512640 134569956 3221224400 3221214520 1131648663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28525 13073 16 0 212606 0
vsize: 850488
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 58135 59 0 0 24 0 11 0 545035965 870899712 28579 4294967295 134512640 134569956 3221224400 3221214784 1131312259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28579 13073 16 0 212606 0
vsize: 850488
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 59119 59 0 0 25 0 11 0 545035965 870899712 28612 4294967295 134512640 134569956 3221224400 3221214784 1131304332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28612 13073 16 0 212606 0
vsize: 850488
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 60103 59 0 0 25 0 11 0 545035965 870899712 28711 4294967295 134512640 134569956 3221224400 3221214784 1131309268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28711 13073 16 0 212606 0
vsize: 850488
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 61085 59 0 0 25 0 11 0 545035965 870899712 28781 4294967295 134512640 134569956 3221224400 3221214784 1131297010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28781 13073 16 0 212606 0
vsize: 850488
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 62067 60 0 0 25 0 11 0 545035965 870899712 28844 4294967295 134512640 134569956 3221224400 3221214784 1131309124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28844 13073 16 0 212606 0
vsize: 850488
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 63049 60 0 0 25 0 11 0 545035965 870899712 28951 4294967295 134512640 134569956 3221224400 3221214784 1131310311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 28951 13073 16 0 212606 0
vsize: 850488
[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 64032 60 0 0 25 0 11 0 545035965 870899712 29013 4294967295 134512640 134569956 3221224400 3221214784 1131297991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29013 13073 16 0 212606 0
vsize: 850488
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 65013 60 0 0 25 0 11 0 545035965 870899712 29154 4294967295 134512640 134569956 3221224400 3221214784 1131300366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29154 13073 16 0 212606 0
vsize: 850488
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 65997 61 0 0 25 0 11 0 545035965 870899712 29192 4294967295 134512640 134569956 3221224400 3221214168 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29192 13073 16 0 212606 0
vsize: 850488
[startup+690.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 66980 61 0 0 25 0 11 0 545035965 870899712 29285 4294967295 134512640 134569956 3221224400 3221214784 1131302344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29285 13073 16 0 212606 0
vsize: 850488
[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 67964 62 0 0 25 0 11 0 545035965 870899712 29366 4294967295 134512640 134569956 3221224400 3221214784 1131301205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29366 13073 16 0 212606 0
vsize: 850488
[startup+710.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 68948 62 0 0 25 0 11 0 545035965 870899712 29443 4294967295 134512640 134569956 3221224400 3221214784 1131301940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29443 13073 16 0 212606 0
vsize: 850488
[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 69930 62 0 0 25 0 11 0 545035965 870899712 29492 4294967295 134512640 134569956 3221224400 3221214784 1131302112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29492 13073 16 0 212606 0
vsize: 850488
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 70915 62 0 0 25 0 11 0 545035965 870899712 29565 4294967295 134512640 134569956 3221224400 3221214784 1131312126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29565 13073 16 0 212606 0
vsize: 850488
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 71895 63 0 0 25 0 11 0 545035965 870899712 29642 4294967295 134512640 134569956 3221224400 3221214784 1131309147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29642 13073 16 0 212606 0
vsize: 850488
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 72878 64 0 0 25 0 11 0 545035965 870899712 29717 4294967295 134512640 134569956 3221224400 3221214784 1131302848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29717 13073 16 0 212606 0
vsize: 850488
[startup+760.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 73859 64 0 0 25 0 11 0 545035965 870899712 29825 4294967295 134512640 134569956 3221224400 3221214784 1131302009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29825 13073 16 0 212606 0
vsize: 850488
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 74842 64 0 0 25 0 11 0 545035965 870899712 29920 4294967295 134512640 134569956 3221224400 3221214784 1131309109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 29920 13073 16 0 212606 0
vsize: 850488
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 75824 64 0 0 25 0 11 0 545035965 870899712 30032 4294967295 134512640 134569956 3221224400 3221214784 1131298892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30032 13073 16 0 212606 0
vsize: 850488
[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 76808 65 0 0 25 0 11 0 545035965 870899712 30093 4294967295 134512640 134569956 3221224400 3221214784 1131302053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30093 13073 16 0 212606 0
vsize: 850488
[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 77790 65 0 0 25 0 11 0 545035965 870899712 30172 4294967295 134512640 134569956 3221224400 3221214784 1131299673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30172 13073 16 0 212606 0
vsize: 850488
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 78770 65 0 0 24 0 11 0 545035965 870899712 30234 4294967295 134512640 134569956 3221224400 3221214784 1131309147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30234 13073 16 0 212606 0
vsize: 850488
[startup+820.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 79752 66 0 0 25 0 11 0 545035965 870899712 30286 4294967295 134512640 134569956 3221224400 3221214784 1131297079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30286 13073 16 0 212606 0
vsize: 850488
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 80732 66 0 0 25 0 11 0 545035965 870899712 30391 4294967295 134512640 134569956 3221224400 3221214784 1131300593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30391 13073 16 0 212606 0
vsize: 850488
[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 81716 66 0 0 25 0 11 0 545035965 870899712 30565 4294967295 134512640 134569956 3221224400 3221214784 1131296938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30565 13073 16 0 212606 0
vsize: 850488
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 82701 66 0 0 25 0 11 0 545035965 870899712 30624 4294967295 134512640 134569956 3221224400 3221214784 1131309870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30624 13073 16 0 212606 0
vsize: 850488
[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 83686 67 0 0 25 0 11 0 545035965 870899712 30659 4294967295 134512640 134569956 3221224400 3221214784 1131312056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30659 13073 16 0 212606 0
vsize: 850488
[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 84671 67 0 0 25 0 11 0 545035965 870899712 30731 4294967295 134512640 134569956 3221224400 3221214784 1131308321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30731 13073 16 0 212606 0
vsize: 850488
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 85655 67 0 0 25 0 11 0 545035965 870899712 30769 4294967295 134512640 134569956 3221224400 3221214784 1131301326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30769 13073 16 0 212606 0
vsize: 850488
[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 86634 67 0 0 25 0 11 0 545035965 870899712 30823 4294967295 134512640 134569956 3221224400 3221214784 1131297077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 30823 13073 16 0 212606 0
vsize: 850488
[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 87607 68 0 0 24 0 11 0 545035965 870899712 31151 4294967295 134512640 134569956 3221224400 3221214784 1131309292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 31151 13073 16 0 212606 0
vsize: 850488
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 88581 68 0 0 25 0 11 0 545035965 870899712 31239 4294967295 134512640 134569956 3221224400 3221214784 1131302053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 31239 13073 16 0 212606 0
vsize: 850488
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 89556 68 0 0 25 0 11 0 545035965 870899712 31462 4294967295 134512640 134569956 3221224400 3221214784 1131296938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 31462 13073 16 0 212606 0
vsize: 850488
[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 90534 69 0 0 25 0 11 0 545035965 870899712 31702 4294967295 134512640 134569956 3221224400 3221214476 1131648208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 31702 13073 16 0 212606 0
vsize: 850488
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 91517 69 0 0 25 0 11 0 545035965 870899712 31829 4294967295 134512640 134569956 3221224400 3221214784 1131301205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 31829 13073 16 0 212606 0
vsize: 850488
[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) S 26054 23176 23175 0 -1 0 18116 4 1 0 92501 69 0 0 25 0 11 0 545035965 870899712 31924 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 31924 13073 16 0 212606 0
vsize: 850488
[startup+960.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 93485 70 0 0 25 0 11 0 545035965 870899712 31999 4294967295 134512640 134569956 3221224400 3221214784 1131302053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 31999 13073 16 0 212606 0
vsize: 850488
[startup+970.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 94470 70 0 0 25 0 11 0 545035965 870899712 32062 4294967295 134512640 134569956 3221224400 3221214784 1131298839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32062 13073 16 0 212606 0
vsize: 850488
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 95452 70 0 0 24 0 11 0 545035965 870899712 32123 4294967295 134512640 134569956 3221224400 3221214784 1131296945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32123 13073 16 0 212606 0
vsize: 850488
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 96437 71 0 0 25 0 11 0 545035965 870899712 32197 4294967295 134512640 134569956 3221224400 3221214784 1131301205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32197 13073 16 0 212606 0
vsize: 850488
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 97419 71 0 0 25 0 11 0 545035965 870899712 32248 4294967295 134512640 134569956 3221224400 3221214680 1131230696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32248 13073 16 0 212606 0
vsize: 850488
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 98399 72 0 0 24 0 11 0 545035965 870899712 32329 4294967295 134512640 134569956 3221224400 3221214784 1131306801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32329 13073 16 0 212606 0
vsize: 850488
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 99379 72 0 0 25 0 11 0 545035965 870899712 32430 4294967295 134512640 134569956 3221224400 3221214784 1131306082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32430 13073 16 0 212606 0
vsize: 850488
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 100362 72 0 0 25 0 11 0 545035965 870899712 32534 4294967295 134512640 134569956 3221224400 3221214736 1131646667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32534 13073 16 0 212606 0
vsize: 850488
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 101343 73 0 0 25 0 11 0 545035965 870899712 32644 4294967295 134512640 134569956 3221224400 3221214784 1131301224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32644 13073 16 0 212606 0
vsize: 850488
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 102324 73 0 0 25 0 11 0 545035965 870899712 32720 4294967295 134512640 134569956 3221224400 3221214784 1131312339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32720 13073 16 0 212606 0
vsize: 850488
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 103306 73 0 0 25 0 11 0 545035965 870899712 32819 4294967295 134512640 134569956 3221224400 3221214760 1131302232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32819 13073 16 0 212606 0
vsize: 850488
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 104288 74 0 0 25 0 11 0 545035965 870899712 32921 4294967295 134512640 134569956 3221224400 3221214760 1131297126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32921 13073 16 0 212606 0
vsize: 850488
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 105271 74 0 0 25 0 11 0 545035965 870899712 32992 4294967295 134512640 134569956 3221224400 3221214760 1131308451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 32992 13073 16 0 212606 0
vsize: 850488
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 106255 74 0 0 25 0 11 0 545035965 870899712 33058 4294967295 134512640 134569956 3221224400 3221214760 1131299080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33058 13073 16 0 212606 0
vsize: 850488
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 107238 75 0 0 25 0 11 0 545035965 870899712 33176 4294967295 134512640 134569956 3221224400 3221214760 1131304382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33176 13073 16 0 212606 0
vsize: 850488
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 108223 75 0 0 25 0 11 0 545035965 870899712 33206 4294967295 134512640 134569956 3221224400 3221214760 1131296945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33206 13073 16 0 212606 0
vsize: 850488
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 109207 75 0 0 25 0 11 0 545035965 870899712 33256 4294967295 134512640 134569956 3221224400 3221214760 1131304135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33256 13073 16 0 212606 0
vsize: 850488
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 110188 75 0 0 25 0 11 0 545035965 870899712 33348 4294967295 134512640 134569956 3221224400 3221214760 1131301162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33348 13073 16 0 212606 0
vsize: 850488
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 111170 75 0 0 25 0 11 0 545035965 870899712 33418 4294967295 134512640 134569956 3221224400 3221214760 1131302320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33418 13073 16 0 212606 0
vsize: 850488
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 112149 76 0 0 25 0 11 0 545035965 870899712 33476 4294967295 134512640 134569956 3221224400 3221214760 1131306903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33476 13073 16 0 212606 0
vsize: 850488
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 113128 76 0 0 25 0 11 0 545035965 870899712 33559 4294967295 134512640 134569956 3221224400 3221214760 1131300593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33559 13073 16 0 212606 0
vsize: 850488
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 114101 77 0 0 25 0 11 0 545035965 870899712 33729 4294967295 134512640 134569956 3221224400 3221214688 1131728256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33729 13073 16 0 212606 0
vsize: 850488
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) S 26054 23176 23175 0 -1 0 18116 4 1 0 115073 77 0 0 25 0 11 0 545035965 870899712 33790 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33796 13073 16 0 212606 0
vsize: 850488
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 116042 77 0 0 25 0 11 0 545035965 870899712 33894 4294967295 134512640 134569956 3221224400 3221214760 1131308926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 33894 13073 16 0 212606 0
vsize: 850488
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 117011 77 0 0 25 0 11 0 545035965 870899712 34002 4294967295 134512640 134569956 3221224400 3221214760 1131302178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 34002 13073 16 0 212606 0
vsize: 850488
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 117977 78 0 0 25 0 11 0 545035965 870899712 34201 4294967295 134512640 134569956 3221224400 3221214288 1131750995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 34201 13073 16 0 212606 0
vsize: 850488
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 118948 78 0 0 25 0 11 0 545035965 870899712 34411 4294967295 134512640 134569956 3221224400 3221214760 1131310102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 34411 13073 16 0 212606 0
vsize: 850488
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) S 26054 23176 23175 0 -1 0 18116 4 1 0 119916 79 0 0 25 0 11 0 545035965 870899712 34559 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 34560 13073 16 0 212606 0
vsize: 850488
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 26067
Raw data (stat): 26055 (java) R 26054 23176 23175 0 -1 0 18116 4 1 0 120882 79 0 0 25 0 11 0 545035965 870899712 34692 4294967295 134512640 134569956 3221224400 3221214736 1131230833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212622 34692 13073 16 0 212606 0
vsize: 850488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 26069
Raw data (stat): 26055 (java) Z 26054 23176 23175 0 -1 1036 18116 30399 1 0 120886 85 4847 84 25 0 1 0 545035965 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): 1240.21
CPU time (s): 1259.05
CPU user time (s): 1257.35
CPU system time (s): 1.69974
CPU usage (%): 101.519
Max. virtual memory (Kb): 857224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####