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-n3702.opb
MD5SUM1d23f02bf686681d1b293e114d3bb612
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 105000
Biggest coefficient in the objective function 4194304
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 39177236543
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 4194304
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 39177236543
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.03484
Number of variables105000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint21
Maximum length of a constraint2000

Trace number 17935

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 12:39:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19028 boxname=wulflinc6 idbench=1464 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 19028
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        756408 kB
Buffers:         27496 kB
Cached:         228924 kB
SwapCached:        552 kB
Active:          38344 kB
Inactive:       220148 kB
HighTotal:      131008 kB
HighFree:        30212 kB
LowTotal:       903652 kB
LowFree:        726196 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            13948 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 13:01:03 (client local time) WITH STATUS 143 IN 1302.41 SECONDS
stats: 19028 7 1302.41 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3702.opb
c reading problem 
c [nbvar=105000]
c [nbconstr=5150]
#### 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.98 0.93 2/54 16397
Raw data (stat): 16397 (runsolver) R 16396 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486924465 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.0007 s]
Raw data (loadavg): 0.87 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17976 0 1 0 891 40 0 0 25 0 10 0 486924465 853622784 19122 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 19122 13073 16 0 208388 0
vsize: 833616
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 1780 41 0 0 17 0 10 0 486924465 853889024 19706 4294967295 134512640 134569956 3221224400 3221214824 1131207045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 19706 13073 16 0 208453 0
vsize: 833876
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 2684 41 0 0 24 0 10 0 486924465 853889024 20114 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20114 13073 16 0 208453 0
vsize: 833876
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 3614 41 0 0 25 0 10 0 486924465 853889024 20343 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20343 13073 16 0 208453 0
vsize: 833876
[startup+50.0034 s]
Raw data (loadavg): 0.93 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 4543 41 0 0 25 0 10 0 486924465 853889024 20463 4294967295 134512640 134569956 3221224400 3221214288 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20463 13073 16 0 208453 0
vsize: 833876
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 5477 41 0 0 25 0 10 0 486924465 853889024 20558 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20558 13073 16 0 208453 0
vsize: 833876
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 6418 41 0 0 17 0 10 0 486924465 853889024 20776 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20776 13073 16 0 208453 0
vsize: 833876
[startup+80.0048 s]
Raw data (loadavg): 0.96 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 7368 41 0 0 25 0 10 0 486924465 853889024 20852 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20852 13073 16 0 208453 0
vsize: 833876
[startup+90.0056 s]
Raw data (loadavg): 0.96 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 8317 41 0 0 25 0 10 0 486924465 853889024 20921 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20921 13073 16 0 208453 0
vsize: 833876
[startup+100.007 s]
Raw data (loadavg): 0.97 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 9267 42 0 0 25 0 10 0 486924465 853889024 20985 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 20985 13073 16 0 208453 0
vsize: 833876
[startup+110.01 s]
Raw data (loadavg): 0.97 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 10216 42 0 0 25 0 10 0 486924465 853889024 21046 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21046 13073 16 0 208453 0
vsize: 833876
[startup+120.011 s]
Raw data (loadavg): 0.98 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 11165 42 0 0 25 0 10 0 486924465 853889024 21106 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21106 13073 16 0 208453 0
vsize: 833876
[startup+130.012 s]
Raw data (loadavg): 0.98 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 12115 42 0 0 25 0 10 0 486924465 853889024 21160 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21160 13073 16 0 208453 0
vsize: 833876
[startup+140.012 s]
Raw data (loadavg): 0.98 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 13065 42 0 0 25 0 10 0 486924465 853889024 21213 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21213 13073 16 0 208453 0
vsize: 833876
[startup+150.013 s]
Raw data (loadavg): 0.98 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 14015 42 0 0 25 0 10 0 486924465 853889024 21263 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21263 13073 16 0 208453 0
vsize: 833876
[startup+160.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 14964 42 0 0 25 0 10 0 486924465 853889024 21313 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21313 13073 16 0 208453 0
vsize: 833876
[startup+170.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 15908 43 0 0 25 0 10 0 486924465 853889024 21360 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21360 13073 16 0 208453 0
vsize: 833876
[startup+180.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 16836 43 0 0 25 0 10 0 486924465 853889024 21405 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21405 13073 16 0 208453 0
vsize: 833876
[startup+190.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 17766 43 0 0 25 0 10 0 486924465 853889024 21705 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21705 13073 16 0 208453 0
vsize: 833876
[startup+200.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 18712 43 0 0 25 0 10 0 486924465 853889024 21747 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21747 13073 16 0 208453 0
vsize: 833876
[startup+210.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 19658 43 0 0 25 0 10 0 486924465 853889024 21789 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21789 13073 16 0 208453 0
vsize: 833876
[startup+220.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 20604 43 0 0 24 0 10 0 486924465 853889024 21830 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21830 13073 16 0 208453 0
vsize: 833876
[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 21549 43 0 0 25 0 10 0 486924465 853889024 21870 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21870 13073 16 0 208453 0
vsize: 833876
[startup+240.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 22492 43 0 0 25 0 10 0 486924465 853889024 21909 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21909 13073 16 0 208453 0
vsize: 833876
[startup+250.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 23435 43 0 0 25 0 10 0 486924465 853889024 21946 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21946 13073 16 0 208453 0
vsize: 833876
[startup+260.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 24378 44 0 0 25 0 10 0 486924465 853889024 21983 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 21983 13073 16 0 208453 0
vsize: 833876
[startup+270.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 25321 44 0 0 25 0 10 0 486924465 853889024 22019 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22019 13073 16 0 208453 0
vsize: 833876
[startup+280.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 26264 44 0 0 25 0 10 0 486924465 853889024 22054 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22054 13073 16 0 208453 0
vsize: 833876
[startup+290.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 27208 44 0 0 25 0 10 0 486924465 853889024 22089 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22089 13073 16 0 208453 0
vsize: 833876
[startup+300.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 28150 44 0 0 25 0 10 0 486924465 853889024 22122 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22122 13073 16 0 208453 0
vsize: 833876
[startup+310.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 29091 45 0 0 25 0 10 0 486924465 853889024 22156 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22156 13073 16 0 208453 0
vsize: 833876
[startup+320.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 30032 45 0 0 25 0 10 0 486924465 853889024 22189 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22189 13073 16 0 208453 0
vsize: 833876
[startup+330.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 30972 45 0 0 25 0 10 0 486924465 853889024 22221 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22221 13073 16 0 208453 0
vsize: 833876
[startup+340.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 31912 45 0 0 25 0 10 0 486924465 853889024 22253 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22253 13073 16 0 208453 0
vsize: 833876
[startup+350.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 32851 45 0 0 25 0 10 0 486924465 853889024 22284 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22284 13073 16 0 208453 0
vsize: 833876
[startup+360.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 33790 45 0 0 25 0 10 0 486924465 853889024 22315 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22315 13073 16 0 208453 0
vsize: 833876
[startup+370.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 34729 46 0 0 25 0 10 0 486924465 853889024 22346 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22346 13073 16 0 208453 0
vsize: 833876
[startup+380.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 35667 46 0 0 25 0 10 0 486924465 853889024 22376 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22376 13073 16 0 208453 0
vsize: 833876
[startup+390.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 36606 46 0 0 24 0 10 0 486924465 853889024 22406 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22406 13073 16 0 208453 0
vsize: 833876
[startup+400.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 37547 46 0 0 25 0 10 0 486924465 853889024 22433 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22433 13073 16 0 208453 0
vsize: 833876
[startup+410.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 38484 46 0 0 25 0 10 0 486924465 853889024 22462 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22462 13073 16 0 208453 0
vsize: 833876
[startup+420.14 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 39430 46 0 0 25 0 10 0 486924465 853889024 22490 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22490 13073 16 0 208453 0
vsize: 833876
[startup+430.141 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 40367 46 0 0 25 0 10 0 486924465 853889024 22518 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22518 13073 16 0 208453 0
vsize: 833876
[startup+440.141 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 41302 46 0 0 25 0 10 0 486924465 853889024 22546 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22546 13073 16 0 208453 0
vsize: 833876
[startup+450.142 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 42236 47 0 0 22 0 10 0 486924465 853889024 22572 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22572 13073 16 0 208453 0
vsize: 833876
[startup+460.142 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 43175 47 0 0 20 0 10 0 486924465 853889024 22599 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22599 13073 16 0 208453 0
vsize: 833876
[startup+470.143 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 44109 47 0 0 18 0 10 0 486924465 853889024 22625 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22625 13073 16 0 208453 0
vsize: 833876
[startup+480.143 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 45047 48 0 0 22 0 10 0 486924465 853889024 22650 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22650 13073 16 0 208453 0
vsize: 833876
[startup+490.144 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 45980 49 0 0 19 0 10 0 486924465 853889024 22676 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22676 13073 16 0 208453 0
vsize: 833876
[startup+500.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 46914 49 0 0 17 0 10 0 486924465 853889024 22702 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22702 13073 16 0 208453 0
vsize: 833876
[startup+510.162 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 47852 49 0 0 21 0 10 0 486924465 853889024 22726 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 22726 13073 16 0 208453 0
vsize: 833876
[startup+520.163 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 48783 50 0 0 24 0 10 0 486924465 853889024 22752 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22752 13073 16 0 208453 0
vsize: 833876
[startup+530.164 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 49715 50 0 0 25 0 10 0 486924465 853889024 22777 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22777 13073 16 0 208453 0
vsize: 833876
[startup+540.165 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 50651 50 0 0 25 0 10 0 486924465 853889024 22800 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22800 13073 16 0 208453 0
vsize: 833876
[startup+550.166 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 51582 50 0 0 25 0 10 0 486924465 853889024 22825 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22825 13073 16 0 208453 0
vsize: 833876
[startup+560.166 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 52512 51 0 0 25 0 10 0 486924465 853889024 22850 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22850 13073 16 0 208453 0
vsize: 833876
[startup+570.168 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 53447 51 0 0 25 0 10 0 486924465 853889024 22873 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22873 13073 16 0 208453 0
vsize: 833876
[startup+580.168 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 54376 51 0 0 25 0 10 0 486924465 853889024 22897 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22897 13073 16 0 208453 0
vsize: 833876
[startup+590.169 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 55306 51 0 0 25 0 10 0 486924465 853889024 22921 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22921 13073 16 0 208453 0
vsize: 833876
[startup+600.17 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 56239 51 0 0 25 0 10 0 486924465 853889024 22943 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22943 13073 16 0 208453 0
vsize: 833876
[startup+610.171 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 57167 52 0 0 25 0 10 0 486924465 853889024 22966 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22966 13073 16 0 208453 0
vsize: 833876
[startup+620.174 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 58099 52 0 0 25 0 10 0 486924465 853889024 22988 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 22988 13073 16 0 208453 0
vsize: 833876
[startup+630.175 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 59028 52 0 0 25 0 10 0 486924465 853889024 23011 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23011 13073 16 0 208453 0
vsize: 833876
[startup+640.177 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 59955 52 0 0 24 0 10 0 486924465 853889024 23034 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23034 13073 16 0 208453 0
vsize: 833876
[startup+650.178 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 60887 52 0 0 25 0 10 0 486924465 853889024 23055 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23055 13073 16 0 208453 0
vsize: 833876
[startup+660.178 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 61814 52 0 0 25 0 10 0 486924465 853889024 23078 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23078 13073 16 0 208453 0
vsize: 833876
[startup+670.179 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 62746 52 0 0 25 0 10 0 486924465 853889024 23098 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23098 13073 16 0 208453 0
vsize: 833876
[startup+680.18 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 63672 52 0 0 22 0 10 0 486924465 853889024 23125 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 23125 13073 16 0 208453 0
vsize: 833876
[startup+690.181 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 64598 53 0 0 25 0 10 0 486924465 853889024 24143 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24143 13073 16 0 208453 0
vsize: 833876
[startup+700.182 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 65519 53 0 0 25 0 10 0 486924465 853889024 24143 4294967295 134512640 134569956 3221224400 3221214256 1077558179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24143 13073 16 0 208453 0
vsize: 833876
[startup+710.182 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 66441 53 0 0 25 0 10 0 486924465 853889024 24178 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24178 13073 16 0 208453 0
vsize: 833876
[startup+720.183 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 67358 53 0 0 24 0 10 0 486924465 853889024 24203 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24203 13073 16 0 208453 0
vsize: 833876
[startup+730.183 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 68277 53 0 0 22 0 10 0 486924465 853889024 24229 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24229 13073 16 0 208453 0
vsize: 833876
[startup+740.184 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 69197 53 0 0 25 0 10 0 486924465 853889024 24251 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24251 13073 16 0 208453 0
vsize: 833876
[startup+750.185 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 70112 53 0 0 24 0 10 0 486924465 853889024 24278 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24278 13073 16 0 208453 0
vsize: 833876
[startup+760.186 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 71032 53 0 0 25 0 10 0 486924465 853889024 24297 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24297 13073 16 0 208453 0
vsize: 833876
[startup+770.187 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 71952 54 0 0 25 0 10 0 486924465 853889024 24317 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24317 13073 16 0 208453 0
vsize: 833876
[startup+780.189 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 72866 54 0 0 25 0 10 0 486924465 853889024 24349 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24349 13073 16 0 208453 0
vsize: 833876
[startup+790.189 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 73785 54 0 0 25 0 10 0 486924465 853889024 24372 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24372 13073 16 0 208453 0
vsize: 833876
[startup+800.189 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 74704 54 0 0 25 0 10 0 486924465 853889024 24394 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24394 13073 16 0 208453 0
vsize: 833876
[startup+810.19 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 75618 55 0 0 25 0 10 0 486924465 853889024 24414 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24414 13073 16 0 208453 0
vsize: 833876
[startup+820.191 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 76536 55 0 0 25 0 10 0 486924465 853889024 24443 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24443 13073 16 0 208453 0
vsize: 833876
[startup+830.192 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 77453 55 0 0 25 0 10 0 486924465 853889024 24466 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24466 13073 16 0 208453 0
vsize: 833876
[startup+840.193 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 78364 55 0 0 24 0 10 0 486924465 853889024 24491 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24491 13073 16 0 208453 0
vsize: 833876
[startup+850.193 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 79281 55 0 0 25 0 10 0 486924465 853889024 24509 4294967295 134512640 134569956 3221224400 3221214368 1079668490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24509 13073 16 0 208453 0
vsize: 833876
[startup+860.193 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 80197 56 0 0 19 0 10 0 486924465 853889024 24535 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24535 13073 16 0 208453 0
vsize: 833876
[startup+870.194 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 81114 56 0 0 25 0 10 0 486924465 853889024 24555 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24555 13073 16 0 208453 0
vsize: 833876
[startup+880.195 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 82025 56 0 0 24 0 10 0 486924465 853889024 24579 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24579 13073 16 0 208453 0
vsize: 833876
[startup+890.196 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 82941 56 0 0 25 0 10 0 486924465 853889024 24597 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24597 13073 16 0 208453 0
vsize: 833876
[startup+900.203 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 83858 56 0 0 25 0 10 0 486924465 853889024 24623 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24623 13073 16 0 208453 0
vsize: 833876
[startup+910.203 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 84773 56 0 0 25 0 10 0 486924465 853889024 24645 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24645 13073 16 0 208453 0
vsize: 833876
[startup+920.204 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 85683 57 0 0 24 0 10 0 486924465 853889024 24664 4294967295 134512640 134569956 3221224400 3221214176 1076874558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24664 13073 16 0 208453 0
vsize: 833876
[startup+930.205 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 86598 57 0 0 25 0 10 0 486924465 853889024 24689 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24689 13073 16 0 208453 0
vsize: 833876
[startup+940.205 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 87514 57 0 0 19 0 10 0 486924465 853889024 24709 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24709 13073 16 0 208453 0
vsize: 833876
[startup+950.206 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 88429 57 0 0 19 0 10 0 486924465 853889024 24733 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24733 13073 16 0 208453 0
vsize: 833876
[startup+960.207 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 89343 57 0 0 23 0 10 0 486924465 853889024 24752 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24752 13073 16 0 208453 0
vsize: 833876
[startup+970.207 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 90256 57 0 0 23 0 10 0 486924465 853889024 24769 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24769 13073 16 0 208453 0
vsize: 833876
[startup+980.212 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 91165 58 0 0 25 0 10 0 486924465 853889024 24796 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24796 13073 16 0 208453 0
vsize: 833876
[startup+990.214 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 92076 58 0 0 25 0 10 0 486924465 853889024 24819 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24819 13073 16 0 208453 0
vsize: 833876
[startup+1000.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 92988 58 0 0 25 0 10 0 486924465 853889024 24837 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24837 13073 16 0 208453 0
vsize: 833876
[startup+1010.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 93901 58 0 0 25 0 10 0 486924465 853889024 24854 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24854 13073 16 0 208453 0
vsize: 833876
[startup+1020.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 94812 58 0 0 25 0 10 0 486924465 853889024 24871 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24871 13073 16 0 208453 0
vsize: 833876
[startup+1030.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 95724 59 0 0 25 0 10 0 486924465 853889024 24900 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24900 13073 16 0 208453 0
vsize: 833876
[startup+1040.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 96636 59 0 0 25 0 10 0 486924465 853889024 24918 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24918 13073 16 0 208453 0
vsize: 833876
[startup+1050.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 97543 59 0 0 24 0 10 0 486924465 853889024 24936 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24936 13073 16 0 208453 0
vsize: 833876
[startup+1060.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 98454 59 0 0 25 0 10 0 486924465 853889024 24963 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24963 13073 16 0 208453 0
vsize: 833876
[startup+1070.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 99365 59 0 0 25 0 10 0 486924465 853889024 24980 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 24980 13073 16 0 208453 0
vsize: 833876
[startup+1080.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 100276 60 0 0 19 0 10 0 486924465 853889024 24998 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 24998 13073 16 0 208453 0
vsize: 833876
[startup+1090.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 101187 60 0 0 19 0 10 0 486924465 853889024 25023 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25023 13073 16 0 208453 0
vsize: 833876
[startup+1100.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 102096 60 0 0 20 0 10 0 486924465 853889024 25043 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25043 13073 16 0 208453 0
vsize: 833876
[startup+1110.22 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 103005 61 0 0 20 0 10 0 486924465 853889024 25063 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25063 13073 16 0 208453 0
vsize: 833876
[startup+1120.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 103915 61 0 0 20 0 10 0 486924465 853889024 25080 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25080 13073 16 0 208453 0
vsize: 833876
[startup+1130.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 104825 61 0 0 19 0 10 0 486924465 853889024 25102 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25102 13073 16 0 208453 0
vsize: 833876
[startup+1140.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 105735 62 0 0 20 0 10 0 486924465 853889024 25121 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25121 13073 16 0 208453 0
vsize: 833876
[startup+1150.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 106644 62 0 0 20 0 10 0 486924465 853889024 25140 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25140 13073 16 0 208453 0
vsize: 833876
[startup+1160.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 107552 63 0 0 20 0 10 0 486924465 853889024 25159 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25159 13073 16 0 208453 0
vsize: 833876
[startup+1170.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 108461 63 0 0 21 0 10 0 486924465 853889024 25179 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25179 13073 16 0 208453 0
vsize: 833876
[startup+1180.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 109368 64 0 0 20 0 10 0 486924465 853889024 25196 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25196 13073 16 0 208453 0
vsize: 833876
[startup+1190.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 110277 65 0 0 20 0 10 0 486924465 853889024 25212 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25212 13073 16 0 208453 0
vsize: 833876
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 111184 65 0 0 20 0 10 0 486924465 853889024 25236 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25236 13073 16 0 208453 0
vsize: 833876
[startup+1210.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 112093 65 0 0 17 0 10 0 486924465 853889024 25253 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25253 13073 16 0 208453 0
vsize: 833876
[startup+1220.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 113001 66 0 0 17 0 10 0 486924465 853889024 25271 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25271 13073 16 0 208453 0
vsize: 833876
[startup+1230.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 113909 66 0 0 17 0 10 0 486924465 853889024 25291 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 25291 13073 16 0 208453 0
vsize: 833876
[startup+1240.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16406
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 114814 66 0 0 17 0 10 0 486924465 853889024 25310 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25310 13073 16 0 208453 0
vsize: 833876
[startup+1250.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16459
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 115698 86 0 0 17 0 10 0 486924465 853889024 25329 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25329 13073 16 0 208453 0
vsize: 833876
[startup+1260.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16459
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 116604 86 0 0 17 0 10 0 486924465 853889024 25348 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25348 13073 16 0 208453 0
vsize: 833876
[startup+1270.23 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16459
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 117511 87 0 0 17 0 10 0 486924465 853889024 25363 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25363 13073 16 0 208453 0
vsize: 833876
[startup+1280.24 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16459
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 118419 87 0 0 17 0 10 0 486924465 853889024 25378 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25378 13073 16 0 208453 0
vsize: 833876
[startup+1290.24 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16459
Raw data (stat): 16397 (java) S 16396 29653 29652 0 -1 0 17977 0 1 0 119328 88 0 0 17 0 10 0 486924465 853889024 25393 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25393 13073 16 0 208453 0
vsize: 833876
[startup+1300.25 s]
Raw data (loadavg): 0.99 0.98 0.93 2/63 16459
Raw data (stat): 16397 (java) R 16396 29653 29652 0 -1 0 17977 0 1 0 120239 88 0 0 17 0 10 0 486924465 853889024 25419 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208469 25419 13073 16 0 208453 0
vsize: 833876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1300.41 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 16460
Raw data (stat): 16397 (java) Z 16396 29653 29652 0 -1 1036 17977 7694 1 0 120243 92 9861 42 17 0 1 0 486924465 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): 1300.4
CPU time (s): 1302.41
CPU user time (s): 1301.06
CPU system time (s): 1.35579
CPU usage (%): 100.154
Max. virtual memory (Kb): 833876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####