Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
MD5SUM0a05016ca1456223450d9ec498a510c4
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 85660
Biggest coefficient in the objective function 425249996800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 200022778005600
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 425249996800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 200022778005600
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.776881
Number of variables85660
Total number of constraints712
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 constraints712
Minimum length of a constraint20
Maximum length of a constraint1700

Trace number 19557

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 19:17:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16428 boxname=wulflinc28 idbench=1264 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0a05016ca1456223450d9ec498a510c4  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ship08l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ship08l.opb
IDLAUNCH: 16428
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        452488 kB
Buffers:         34700 kB
Cached:         519532 kB
SwapCached:        104 kB
Active:         214148 kB
Inactive:       342476 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        452236 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19920 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:39:14 (client local time) WITH STATUS 143 IN 1310.17 SECONDS
stats: 16428 7 1310.17 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ship08l.opb
c reading problem 
c [nbvar=85660]
c [nbconstr=712]
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.94 2/54 30082
Raw data (stat): 30082 (runsolver) R 30081 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547539771 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.94 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 894 40 0 0 25 0 10 0 547539771 853487616 19224 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208371 19224 13073 16 0 208355 0
vsize: 833484
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 1781 40 0 0 24 0 10 0 547539771 854294528 19832 4294967295 134512640 134569956 3221224400 3221214824 1131216208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 19832 13073 16 0 208552 0
vsize: 834272
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 2681 40 0 0 25 0 10 0 547539771 854294528 20256 4294967295 134512640 134569956 3221224400 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 20256 13073 16 0 208552 0
vsize: 834272
[startup+40.002 s]
Raw data (loadavg): 0.92 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 3611 40 0 0 20 0 10 0 547539771 854294528 20484 4294967295 134512640 134569956 3221224400 3221214824 1131215754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 20484 13073 16 0 208552 0
vsize: 834272
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 4538 41 0 0 25 0 10 0 547539771 854294528 20628 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 20628 13073 16 0 208552 0
vsize: 834272
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 5473 41 0 0 25 0 10 0 547539771 854294528 20759 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 20759 13073 16 0 208552 0
vsize: 834272
[startup+70.003 s]
Raw data (loadavg): 0.95 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 6415 41 0 0 25 0 10 0 547539771 854294528 20962 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 20962 13073 16 0 208552 0
vsize: 834272
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 7360 42 0 0 25 0 10 0 547539771 854294528 21040 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21040 13073 16 0 208552 0
vsize: 834272
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 8308 42 0 0 25 0 10 0 547539771 854294528 21113 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21113 13073 16 0 208552 0
vsize: 834272
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 9254 42 0 0 25 0 10 0 547539771 854294528 21183 4294967295 134512640 134569956 3221224400 3221214680 1076619332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21183 13073 16 0 208552 0
vsize: 834272
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 10200 43 0 0 24 0 10 0 547539771 854294528 21248 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21248 13073 16 0 208552 0
vsize: 834272
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 11150 43 0 0 25 0 10 0 547539771 854294528 21306 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21306 13073 16 0 208552 0
vsize: 834272
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 12095 44 0 0 25 0 10 0 547539771 854294528 21364 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21364 13073 16 0 208552 0
vsize: 834272
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 13043 44 0 0 25 0 10 0 547539771 854294528 21420 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21420 13073 16 0 208552 0
vsize: 834272
[startup+150.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 13989 44 0 0 24 0 10 0 547539771 854294528 21475 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21475 13073 16 0 208552 0
vsize: 834272
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 14937 45 0 0 25 0 10 0 547539771 854294528 21523 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21523 13073 16 0 208552 0
vsize: 834272
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 15867 45 0 0 25 0 10 0 547539771 854294528 21573 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 21573 13073 16 0 208552 0
vsize: 834272
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 16794 45 0 0 25 0 10 0 547539771 854294528 21619 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 21619 13073 16 0 208552 0
vsize: 834272
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 17731 45 0 0 25 0 10 0 547539771 854294528 21921 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 21921 13073 16 0 208552 0
vsize: 834272
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 18673 45 0 0 25 0 10 0 547539771 854294528 21967 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 21967 13073 16 0 208552 0
vsize: 834272
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 19615 45 0 0 25 0 10 0 547539771 854294528 22011 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22011 13073 16 0 208552 0
vsize: 834272
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 20555 46 0 0 24 0 10 0 547539771 854294528 22054 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22054 13073 16 0 208552 0
vsize: 834272
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 21500 46 0 0 25 0 10 0 547539771 854294528 22094 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22094 13073 16 0 208552 0
vsize: 834272
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 22439 46 0 0 25 0 10 0 547539771 854294528 22134 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22134 13073 16 0 208552 0
vsize: 834272
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 23379 46 0 0 25 0 10 0 547539771 854294528 22174 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22174 13073 16 0 208552 0
vsize: 834272
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 24317 47 0 0 25 0 10 0 547539771 854294528 22213 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22213 13073 16 0 208552 0
vsize: 834272
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 25258 47 0 0 25 0 10 0 547539771 854294528 22250 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22250 13073 16 0 208552 0
vsize: 834272
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 26198 47 0 0 25 0 10 0 547539771 854294528 22287 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22287 13073 16 0 208552 0
vsize: 834272
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 27136 47 0 0 23 0 10 0 547539771 854294528 22323 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22323 13073 16 0 208552 0
vsize: 834272
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 28073 47 0 0 25 0 10 0 547539771 854294528 22359 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22359 13073 16 0 208552 0
vsize: 834272
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 29013 47 0 0 25 0 10 0 547539771 854294528 22393 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22393 13073 16 0 208552 0
vsize: 834272
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 29950 47 0 0 25 0 10 0 547539771 854294528 22427 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22427 13073 16 0 208552 0
vsize: 834272
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 30885 47 0 0 25 0 10 0 547539771 854294528 22462 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22462 13073 16 0 208552 0
vsize: 834272
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 31820 48 0 0 24 0 10 0 547539771 854294528 22496 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22496 13073 16 0 208552 0
vsize: 834272
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 32759 48 0 0 25 0 10 0 547539771 854294528 22527 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22527 13073 16 0 208552 0
vsize: 834272
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 33694 48 0 0 25 0 10 0 547539771 854294528 22560 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22560 13073 16 0 208552 0
vsize: 834272
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 34629 48 0 0 25 0 10 0 547539771 854294528 22591 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22591 13073 16 0 208552 0
vsize: 834272
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 35565 48 0 0 25 0 10 0 547539771 854294528 22622 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22622 13073 16 0 208552 0
vsize: 834272
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 36498 48 0 0 17 0 10 0 547539771 854294528 22653 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22653 13073 16 0 208552 0
vsize: 834272
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 37434 48 0 0 25 0 10 0 547539771 854294528 22682 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22682 13073 16 0 208552 0
vsize: 834272
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 38365 48 0 0 25 0 10 0 547539771 854294528 22713 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22713 13073 16 0 208552 0
vsize: 834272
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 39297 48 0 0 25 0 10 0 547539771 854294528 22743 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22743 13073 16 0 208552 0
vsize: 834272
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 40232 49 0 0 25 0 10 0 547539771 854294528 22771 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22771 13073 16 0 208552 0
vsize: 834272
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 41163 49 0 0 25 0 10 0 547539771 854294528 22800 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22800 13073 16 0 208552 0
vsize: 834272
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 42097 49 0 0 25 0 10 0 547539771 854294528 22827 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22827 13073 16 0 208552 0
vsize: 834272
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 43026 49 0 0 25 0 10 0 547539771 854294528 22856 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22856 13073 16 0 208552 0
vsize: 834272
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 43956 49 0 0 25 0 10 0 547539771 854294528 22883 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22883 13073 16 0 208552 0
vsize: 834272
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 44887 49 0 0 25 0 10 0 547539771 854294528 22910 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 22910 13073 16 0 208552 0
vsize: 834272
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 45816 49 0 0 24 0 10 0 547539771 854294528 22938 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22938 13073 16 0 208552 0
vsize: 834272
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 46747 49 0 0 25 0 10 0 547539771 854294528 22964 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22964 13073 16 0 208552 0
vsize: 834272
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 47674 49 0 0 24 0 10 0 547539771 854294528 22992 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 22992 13073 16 0 208552 0
vsize: 834272
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 48605 49 0 0 25 0 10 0 547539771 854294528 23017 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23017 13073 16 0 208552 0
vsize: 834272
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 49532 49 0 0 25 0 10 0 547539771 854294528 23044 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23044 13073 16 0 208552 0
vsize: 834272
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 50461 50 0 0 25 0 10 0 547539771 854294528 23069 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23069 13073 16 0 208552 0
vsize: 834272
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 51387 50 0 0 25 0 10 0 547539771 854294528 23094 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23094 13073 16 0 208552 0
vsize: 834272
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 52316 50 0 0 25 0 10 0 547539771 854294528 23119 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23119 13073 16 0 208552 0
vsize: 834272
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 53245 50 0 0 25 0 10 0 547539771 854294528 23143 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23143 13073 16 0 208552 0
vsize: 834272
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 54170 50 0 0 25 0 10 0 547539771 854294528 23168 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23168 13073 16 0 208552 0
vsize: 834272
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 55098 50 0 0 25 0 10 0 547539771 854294528 23192 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23192 13073 16 0 208552 0
vsize: 834272
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 56021 50 0 0 24 0 10 0 547539771 854294528 23217 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23217 13073 16 0 208552 0
vsize: 834272
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 56949 50 0 0 25 0 10 0 547539771 854294528 23240 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23240 13073 16 0 208552 0
vsize: 834272
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 57876 51 0 0 21 0 10 0 547539771 854294528 23263 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23263 13073 16 0 208552 0
vsize: 834272
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 58798 51 0 0 25 0 10 0 547539771 854294528 23288 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23288 13073 16 0 208552 0
vsize: 834272
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 59724 51 0 0 25 0 10 0 547539771 854294528 23310 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23310 13073 16 0 208552 0
vsize: 834272
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 60650 51 0 0 25 0 10 0 547539771 854294528 23333 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 23333 13073 16 0 208552 0
vsize: 834272
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 61566 51 0 0 25 0 10 0 547539771 854294528 24340 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24340 13073 16 0 208552 0
vsize: 834272
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 62487 51 0 0 25 0 10 0 547539771 854294528 24340 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24340 13073 16 0 208552 0
vsize: 834272
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 63403 51 0 0 25 0 10 0 547539771 854294528 24366 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24366 13073 16 0 208552 0
vsize: 834272
[startup+690.031 s]
Raw data (loadavg): 1.07 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 64319 51 0 0 25 0 10 0 547539771 854294528 24389 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24389 13073 16 0 208552 0
vsize: 834272
[startup+700.035 s]
Raw data (loadavg): 1.06 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 65230 51 0 0 25 0 10 0 547539771 854294528 24419 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24419 13073 16 0 208552 0
vsize: 834272
[startup+710.036 s]
Raw data (loadavg): 1.05 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 66143 51 0 0 21 0 10 0 547539771 854294528 24445 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24445 13073 16 0 208552 0
vsize: 834272
[startup+720.037 s]
Raw data (loadavg): 1.04 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 67057 52 0 0 25 0 10 0 547539771 854294528 24470 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24470 13073 16 0 208552 0
vsize: 834272
[startup+730.036 s]
Raw data (loadavg): 1.03 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 67971 52 0 0 25 0 10 0 547539771 854294528 24493 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24493 13073 16 0 208552 0
vsize: 834272
[startup+740.037 s]
Raw data (loadavg): 1.03 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 68885 52 0 0 25 0 10 0 547539771 854294528 24514 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24514 13073 16 0 208552 0
vsize: 834272
[startup+750.043 s]
Raw data (loadavg): 1.02 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 69799 52 0 0 25 0 10 0 547539771 854294528 24547 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24547 13073 16 0 208552 0
vsize: 834272
[startup+760.043 s]
Raw data (loadavg): 1.02 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 70712 52 0 0 25 0 10 0 547539771 854294528 24572 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24572 13073 16 0 208552 0
vsize: 834272
[startup+770.046 s]
Raw data (loadavg): 1.02 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 71624 52 0 0 25 0 10 0 547539771 854294528 24593 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24593 13073 16 0 208552 0
vsize: 834272
[startup+780.046 s]
Raw data (loadavg): 1.01 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 72533 52 0 0 24 0 10 0 547539771 854294528 24615 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24615 13073 16 0 208552 0
vsize: 834272
[startup+790.047 s]
Raw data (loadavg): 1.01 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 73445 53 0 0 25 0 10 0 547539771 854294528 24649 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24649 13073 16 0 208552 0
vsize: 834272
[startup+800.047 s]
Raw data (loadavg): 1.01 0.99 0.94 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 74358 53 0 0 25 0 10 0 547539771 854294528 24671 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24671 13073 16 0 208552 0
vsize: 834272
[startup+810.048 s]
Raw data (loadavg): 1.09 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 75270 53 0 0 25 0 10 0 547539771 854294528 24692 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24692 13073 16 0 208552 0
vsize: 834272
[startup+820.048 s]
Raw data (loadavg): 1.07 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 76182 53 0 0 25 0 10 0 547539771 854294528 24722 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24722 13073 16 0 208552 0
vsize: 834272
[startup+830.048 s]
Raw data (loadavg): 1.06 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 77093 53 0 0 25 0 10 0 547539771 854294528 24742 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24742 13073 16 0 208552 0
vsize: 834272
[startup+840.049 s]
Raw data (loadavg): 1.05 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 78004 53 0 0 25 0 10 0 547539771 854294528 24767 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24767 13073 16 0 208552 0
vsize: 834272
[startup+850.049 s]
Raw data (loadavg): 1.04 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 78915 53 0 0 25 0 10 0 547539771 854294528 24787 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24787 13073 16 0 208552 0
vsize: 834272
[startup+860.05 s]
Raw data (loadavg): 1.04 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 79825 53 0 0 25 0 10 0 547539771 854294528 24815 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24815 13073 16 0 208552 0
vsize: 834272
[startup+870.05 s]
Raw data (loadavg): 1.03 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 80735 53 0 0 25 0 10 0 547539771 854294528 24839 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24839 13073 16 0 208552 0
vsize: 834272
[startup+880.049 s]
Raw data (loadavg): 1.02 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 81644 54 0 0 25 0 10 0 547539771 854294528 24858 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24858 13073 16 0 208552 0
vsize: 834272
[startup+890.05 s]
Raw data (loadavg): 1.02 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 82553 54 0 0 25 0 10 0 547539771 854294528 24877 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24877 13073 16 0 208552 0
vsize: 834272
[startup+900.05 s]
Raw data (loadavg): 1.02 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 83462 54 0 0 25 0 10 0 547539771 854294528 24908 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24908 13073 16 0 208552 0
vsize: 834272
[startup+910.05 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 84370 54 0 0 25 0 10 0 547539771 854294528 24927 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24927 13073 16 0 208552 0
vsize: 834272
[startup+920.05 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 85277 54 0 0 25 0 10 0 547539771 854294528 24951 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208568 24951 13073 16 0 208552 0
vsize: 834272
[startup+930.05 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 86184 54 0 0 25 0 10 0 547539771 854294528 24970 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 24970 13073 16 0 208552 0
vsize: 834272
[startup+940.049 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 87091 54 0 0 25 0 10 0 547539771 854294528 25000 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25000 13073 16 0 208552 0
vsize: 834272
[startup+950.049 s]
Raw data (loadavg): 1.01 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 87996 55 0 0 25 0 10 0 547539771 854294528 25022 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25022 13073 16 0 208552 0
vsize: 834272
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 88903 55 0 0 25 0 10 0 547539771 854294528 25041 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25041 13073 16 0 208552 0
vsize: 834272
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 89809 55 0 0 22 0 10 0 547539771 854294528 25065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25065 13073 16 0 208552 0
vsize: 834272
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 90716 55 0 0 22 0 10 0 547539771 854294528 25084 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25084 13073 16 0 208552 0
vsize: 834272
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 91621 55 0 0 21 0 10 0 547539771 854294528 25111 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25111 13073 16 0 208552 0
vsize: 834272
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 92527 55 0 0 21 0 10 0 547539771 854294528 25129 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25129 13073 16 0 208552 0
vsize: 834272
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 93433 55 0 0 21 0 10 0 547539771 854294528 25155 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25155 13073 16 0 208552 0
vsize: 834272
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 94338 55 0 0 22 0 10 0 547539771 854294528 25176 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25176 13073 16 0 208552 0
vsize: 834272
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 95243 55 0 0 20 0 10 0 547539771 854294528 25194 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25194 13073 16 0 208552 0
vsize: 834272
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 96148 56 0 0 21 0 10 0 547539771 854294528 25220 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25220 13073 16 0 208552 0
vsize: 834272
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 97052 56 0 0 21 0 10 0 547539771 854294528 25241 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25241 13073 16 0 208552 0
vsize: 834272
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 97954 56 0 0 19 0 10 0 547539771 854294528 25263 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25263 13073 16 0 208552 0
vsize: 834272
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 98858 56 0 0 19 0 10 0 547539771 854294528 25280 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25280 13073 16 0 208552 0
vsize: 834272
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 99764 56 0 0 23 0 10 0 547539771 854294528 25303 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25303 13073 16 0 208552 0
vsize: 834272
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 100670 56 0 0 24 0 10 0 547539771 854294528 25324 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25324 13073 16 0 208552 0
vsize: 834272
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 101573 56 0 0 23 0 10 0 547539771 854294528 25345 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25345 13073 16 0 208552 0
vsize: 834272
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 102476 56 0 0 23 0 10 0 547539771 854294528 25364 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25364 13073 16 0 208552 0
vsize: 834272
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 103377 56 0 0 22 0 10 0 547539771 854294528 25386 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25386 13073 16 0 208552 0
vsize: 834272
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 104280 56 0 0 21 0 10 0 547539771 854294528 25404 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25404 13073 16 0 208552 0
vsize: 834272
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 105181 57 0 0 20 0 10 0 547539771 854294528 25428 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25428 13073 16 0 208552 0
vsize: 834272
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 106083 57 0 0 19 0 10 0 547539771 854294528 25448 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25448 13073 16 0 208552 0
vsize: 834272
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 106985 57 0 0 19 0 10 0 547539771 854294528 25465 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25465 13073 16 0 208552 0
vsize: 834272
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 107892 57 0 0 23 0 10 0 547539771 854294528 25487 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25487 13073 16 0 208552 0
vsize: 834272
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 108791 57 0 0 22 0 10 0 547539771 854294528 25508 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25508 13073 16 0 208552 0
vsize: 834272
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 109689 57 0 0 22 0 10 0 547539771 854294528 25527 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25527 13073 16 0 208552 0
vsize: 834272
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 110588 57 0 0 20 0 10 0 547539771 854294528 25546 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25546 13073 16 0 208552 0
vsize: 834272
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 111488 57 0 0 19 0 10 0 547539771 854294528 25564 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25564 13073 16 0 208552 0
vsize: 834272
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) S 30081 10614 10613 0 -1 0 17982 0 1 0 112389 57 0 0 24 0 10 0 547539771 854294528 25580 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25580 13073 16 0 208552 0
vsize: 834272
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 113293 57 0 0 22 0 10 0 547539771 854294528 25596 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25596 13073 16 0 208552 0
vsize: 834272
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 114192 57 0 0 20 0 10 0 547539771 854294528 25626 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25626 13073 16 0 208552 0
vsize: 834272
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 115091 57 0 0 20 0 10 0 547539771 854294528 25642 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25642 13073 16 0 208552 0
vsize: 834272
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 115989 57 0 0 18 0 10 0 547539771 854294528 25666 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25666 13073 16 0 208552 0
vsize: 834272
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 116894 57 0 0 22 0 10 0 547539771 854294528 25678 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25678 13073 16 0 208552 0
vsize: 834272
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 117794 57 0 0 22 0 10 0 547539771 854294528 25704 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25704 13073 16 0 208552 0
vsize: 834272
[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 118694 57 0 0 21 0 10 0 547539771 854294528 25729 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25729 13073 16 0 208552 0
vsize: 834272
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 119596 57 0 0 19 0 10 0 547539771 854294528 25744 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25744 13073 16 0 208552 0
vsize: 834272
[startup+1310.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 30091
Raw data (stat): 30082 (java) R 30081 10614 10613 0 -1 0 17982 0 1 0 120499 57 0 0 19 0 10 0 547539771 854294528 25769 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208568 25769 13073 16 0 208552 0
vsize: 834272
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.18 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 30092
Raw data (stat): 30082 (java) Z 30081 10614 10613 0 -1 1036 17982 7299 1 0 120504 57 10409 44 20 0 1 0 547539771 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.17
CPU time (s): 1310.17
CPU user time (s): 1309.14
CPU system time (s): 1.02284
CPU usage (%): 99.9994
Max. virtual memory (Kb): 834272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####