Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-van.opb
MD5SUMc873046761311ae6438733dc6285180e
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 192
Biggest coefficient in the objective function 2427002644
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 319999999936
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 28349428224
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 319999999936
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark93.0229
Number of variables98496
Total number of constraints39811
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)195
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint1
Maximum length of a constraint361

Trace number 18392

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 14:43:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18118 boxname=wulflinc6 idbench=1394 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c873046761311ae6438733dc6285180e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-van.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-van.opb
IDLAUNCH: 18118
/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:        607656 kB
Buffers:         30152 kB
Cached:         374984 kB
SwapCached:        552 kB
Active:         120484 kB
Inactive:       286704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        607404 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            14016 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 15:06:04 (client local time) WITH STATUS 143 IN 1330.36 SECONDS
stats: 18118 7 1330.36 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-van.opb
c reading problem 
c [nbvar=98496]
c [nbconstr=39811]
#### 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.93 0.94 0.90 2/54 17899
Raw data (stat): 17899 (runsolver) R 17898 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487671709 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.002 s]
Raw data (loadavg): 1.02 0.96 0.91 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 872 40 0 0 23 0 10 0 487671709 853680128 19353 4294967295 134512640 134569956 3221224416 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208418 19353 13073 16 0 208402 0
vsize: 833672
[startup+20.006 s]
Raw data (loadavg): 1.01 0.96 0.91 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 1766 41 0 0 20 0 10 0 487671709 853581824 19847 4294967295 134512640 134569956 3221224416 3221214732 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208394 19847 13073 16 0 208378 0
vsize: 833576
[startup+30.0257 s]
Raw data (loadavg): 1.08 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 2645 41 0 0 19 0 10 0 487671709 854396928 20552 4294967295 134512640 134569956 3221224416 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208593 20552 13073 16 0 208577 0
vsize: 834372
[startup+40.0627 s]
Raw data (loadavg): 1.07 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 3564 41 0 0 17 0 10 0 487671709 854069248 20780 4294967295 134512640 134569956 3221224416 3221214620 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 20780 13073 16 0 208497 0
vsize: 834052
[startup+50.088 s]
Raw data (loadavg): 1.06 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 4491 42 0 0 19 0 10 0 487671709 854069248 20970 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 20970 13073 16 0 208497 0
vsize: 834052
[startup+60.106 s]
Raw data (loadavg): 1.05 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 5403 43 0 0 22 0 10 0 487671709 854069248 21119 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21119 13073 16 0 208497 0
vsize: 834052
[startup+70.1112 s]
Raw data (loadavg): 1.04 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 6324 43 0 0 17 0 10 0 487671709 854069248 21251 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21251 13073 16 0 208497 0
vsize: 834052
[startup+80.1129 s]
Raw data (loadavg): 1.04 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 7256 43 0 0 17 0 10 0 487671709 854069248 21445 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21445 13073 16 0 208497 0
vsize: 834052
[startup+90.1141 s]
Raw data (loadavg): 1.03 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 8190 43 0 0 17 0 10 0 487671709 854069248 21546 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21546 13073 16 0 208497 0
vsize: 834052
[startup+100.115 s]
Raw data (loadavg): 1.02 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 9125 44 0 0 18 0 10 0 487671709 854069248 21640 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21640 13073 16 0 208497 0
vsize: 834052
[startup+110.116 s]
Raw data (loadavg): 1.02 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 10060 45 0 0 17 0 10 0 487671709 854069248 21728 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21728 13073 16 0 208497 0
vsize: 834052
[startup+120.117 s]
Raw data (loadavg): 1.02 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 10995 45 0 0 17 0 10 0 487671709 854069248 21810 4294967295 134512640 134569956 3221224416 3221214304 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21810 13073 16 0 208497 0
vsize: 834052
[startup+130.12 s]
Raw data (loadavg): 1.01 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 11929 45 0 0 17 0 10 0 487671709 854069248 21889 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21889 13073 16 0 208497 0
vsize: 834052
[startup+140.126 s]
Raw data (loadavg): 1.01 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 12864 45 0 0 17 0 10 0 487671709 854069248 21967 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 21967 13073 16 0 208497 0
vsize: 834052
[startup+150.127 s]
Raw data (loadavg): 1.01 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 13799 46 0 0 17 0 10 0 487671709 854069248 22038 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22038 13073 16 0 208497 0
vsize: 834052
[startup+160.128 s]
Raw data (loadavg): 1.01 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 14734 46 0 0 17 0 10 0 487671709 854069248 22106 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22106 13073 16 0 208497 0
vsize: 834052
[startup+170.128 s]
Raw data (loadavg): 1.01 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 15669 47 0 0 17 0 10 0 487671709 854069248 22171 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22171 13073 16 0 208497 0
vsize: 834052
[startup+180.129 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 16600 47 0 0 17 0 10 0 487671709 854069248 22235 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22235 13073 16 0 208497 0
vsize: 834052
[startup+190.13 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 17515 48 0 0 17 0 10 0 487671709 854069248 22297 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22297 13073 16 0 208497 0
vsize: 834052
[startup+200.131 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 18433 48 0 0 17 0 10 0 487671709 854069248 22516 4294967295 134512640 134569956 3221224416 3221214320 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22516 13073 16 0 208497 0
vsize: 834052
[startup+210.132 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 19360 48 0 0 17 0 10 0 487671709 854069248 22583 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22583 13073 16 0 208497 0
vsize: 834052
[startup+220.133 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 20290 49 0 0 17 0 10 0 487671709 854069248 22639 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22639 13073 16 0 208497 0
vsize: 834052
[startup+230.133 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 21220 49 0 0 17 0 10 0 487671709 854069248 22694 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22694 13073 16 0 208497 0
vsize: 834052
[startup+240.134 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 22150 49 0 0 17 0 10 0 487671709 854069248 22748 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22748 13073 16 0 208497 0
vsize: 834052
[startup+250.135 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 23078 50 0 0 17 0 10 0 487671709 854069248 22800 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22800 13073 16 0 208497 0
vsize: 834052
[startup+260.139 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 24007 50 0 0 17 0 10 0 487671709 854069248 22851 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22851 13073 16 0 208497 0
vsize: 834052
[startup+270.143 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 24931 51 0 0 16 0 10 0 487671709 854069248 22904 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22904 13073 16 0 208497 0
vsize: 834052
[startup+280.143 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 25859 51 0 0 17 0 10 0 487671709 854069248 22952 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 22952 13073 16 0 208497 0
vsize: 834052
[startup+290.145 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 26786 52 0 0 17 0 10 0 487671709 854069248 23000 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23000 13073 16 0 208497 0
vsize: 834052
[startup+300.146 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 27712 52 0 0 17 0 10 0 487671709 854069248 23047 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23047 13073 16 0 208497 0
vsize: 834052
[startup+310.147 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 28637 52 0 0 17 0 10 0 487671709 854069248 23093 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23093 13073 16 0 208497 0
vsize: 834052
[startup+320.158 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 29563 53 0 0 17 0 10 0 487671709 854069248 23138 4294967295 134512640 134569956 3221224416 3221214320 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23138 13073 16 0 208497 0
vsize: 834052
[startup+330.159 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 30487 53 0 0 17 0 10 0 487671709 854069248 23183 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23183 13073 16 0 208497 0
vsize: 834052
[startup+340.159 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 31411 53 0 0 17 0 10 0 487671709 854069248 23226 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23226 13073 16 0 208497 0
vsize: 834052
[startup+350.162 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 32335 54 0 0 17 0 10 0 487671709 854069248 23271 4294967295 134512640 134569956 3221224416 3221214524 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23271 13073 16 0 208497 0
vsize: 834052
[startup+360.167 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 33258 54 0 0 17 0 10 0 487671709 854069248 23313 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23313 13073 16 0 208497 0
vsize: 834052
[startup+370.171 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 34179 54 0 0 17 0 10 0 487671709 854069248 23355 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23355 13073 16 0 208497 0
vsize: 834052
[startup+380.176 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 35097 54 0 0 16 0 10 0 487671709 854069248 23398 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23398 13073 16 0 208497 0
vsize: 834052
[startup+390.192 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 36019 54 0 0 16 0 10 0 487671709 854069248 23439 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23439 13073 16 0 208497 0
vsize: 834052
[startup+400.21 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 36941 54 0 0 16 0 10 0 487671709 854069248 23479 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23479 13073 16 0 208497 0
vsize: 834052
[startup+410.211 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 37860 55 0 0 17 0 10 0 487671709 854069248 23518 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23518 13073 16 0 208497 0
vsize: 834052
[startup+420.212 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 38779 55 0 0 16 0 10 0 487671709 854069248 23557 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23557 13073 16 0 208497 0
vsize: 834052
[startup+430.218 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 39698 55 0 0 16 0 10 0 487671709 854069248 23596 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 23596 13073 16 0 208497 0
vsize: 834052
[startup+440.223 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 40615 55 0 0 16 0 10 0 487671709 854069248 23634 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23634 13073 16 0 208497 0
vsize: 834052
[startup+450.223 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 41532 55 0 0 16 0 10 0 487671709 854069248 23671 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23671 13073 16 0 208497 0
vsize: 834052
[startup+460.224 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 42448 56 0 0 16 0 10 0 487671709 854069248 23708 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23708 13073 16 0 208497 0
vsize: 834052
[startup+470.231 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 43365 56 0 0 16 0 10 0 487671709 854069248 23745 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23745 13073 16 0 208497 0
vsize: 834052
[startup+480.232 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 44281 56 0 0 16 0 10 0 487671709 854069248 23782 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23782 13073 16 0 208497 0
vsize: 834052
[startup+490.233 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 45196 56 0 0 16 0 10 0 487671709 854069248 23818 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23818 13073 16 0 208497 0
vsize: 834052
[startup+500.237 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 46110 56 0 0 16 0 10 0 487671709 854069248 23854 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23854 13073 16 0 208497 0
vsize: 834052
[startup+510.237 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 47024 56 0 0 16 0 10 0 487671709 854069248 23889 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23889 13073 16 0 208497 0
vsize: 834052
[startup+520.239 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 47937 56 0 0 16 0 10 0 487671709 854069248 23923 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23923 13073 16 0 208497 0
vsize: 834052
[startup+530.24 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 48849 57 0 0 16 0 10 0 487671709 854069248 23958 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23958 13073 16 0 208497 0
vsize: 834052
[startup+540.245 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 49761 57 0 0 16 0 10 0 487671709 854069248 23992 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 23992 13073 16 0 208497 0
vsize: 834052
[startup+550.251 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 50673 57 0 0 16 0 10 0 487671709 854069248 24026 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24026 13073 16 0 208497 0
vsize: 834052
[startup+560.256 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 51587 58 0 0 16 0 10 0 487671709 854069248 24057 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24057 13073 16 0 208497 0
vsize: 834052
[startup+570.26 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 52502 58 0 0 16 0 10 0 487671709 854069248 24090 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24090 13073 16 0 208497 0
vsize: 834052
[startup+580.271 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 53412 58 0 0 16 0 10 0 487671709 854069248 24123 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 24123 13073 16 0 208497 0
vsize: 834052
[startup+590.275 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 54322 58 0 0 16 0 10 0 487671709 854069248 24156 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24156 13073 16 0 208497 0
vsize: 834052
[startup+600.276 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 55232 58 0 0 16 0 10 0 487671709 854069248 24188 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24188 13073 16 0 208497 0
vsize: 834052
[startup+610.278 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 56140 58 0 0 16 0 10 0 487671709 854069248 24220 4294967295 134512640 134569956 3221224416 3221214320 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24220 13073 16 0 208497 0
vsize: 834052
[startup+620.284 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 57051 58 0 0 16 0 10 0 487671709 854069248 24250 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24250 13073 16 0 208497 0
vsize: 834052
[startup+630.289 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 57962 58 0 0 16 0 10 0 487671709 854069248 24282 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24282 13073 16 0 208497 0
vsize: 834052
[startup+640.29 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 58869 58 0 0 17 0 10 0 487671709 854069248 24313 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24313 13073 16 0 208497 0
vsize: 834052
[startup+650.294 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 59776 58 0 0 16 0 10 0 487671709 854069248 24344 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 24344 13073 16 0 208497 0
vsize: 834052
[startup+660.298 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 60682 59 0 0 16 0 10 0 487671709 854069248 24375 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24375 13073 16 0 208497 0
vsize: 834052
[startup+670.298 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 61592 59 0 0 16 0 10 0 487671709 854069248 24403 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24403 13073 16 0 208497 0
vsize: 834052
[startup+680.3 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 62498 59 0 0 16 0 10 0 487671709 854069248 24433 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24433 13073 16 0 208497 0
vsize: 834052
[startup+690.301 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 63403 60 0 0 16 0 10 0 487671709 854069248 24463 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 24463 13073 16 0 208497 0
vsize: 834052
[startup+700.305 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 64309 60 0 0 16 0 10 0 487671709 854069248 25080 4294967295 134512640 134569956 3221224416 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 25080 13073 16 0 208497 0
vsize: 834052
[startup+710.306 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 65212 60 0 0 16 0 10 0 487671709 854069248 25080 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25080 13073 16 0 208497 0
vsize: 834052
[startup+720.308 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 66105 61 0 0 16 0 10 0 487671709 854069248 25108 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25108 13073 16 0 208497 0
vsize: 834052
[startup+730.309 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 67007 61 0 0 17 0 10 0 487671709 854069248 25135 4294967295 134512640 134569956 3221224416 3221214320 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25135 13073 16 0 208497 0
vsize: 834052
[startup+740.31 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 67909 61 0 0 17 0 10 0 487671709 854069248 25162 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25162 13073 16 0 208497 0
vsize: 834052
[startup+750.312 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 68802 61 0 0 17 0 10 0 487671709 854069248 25191 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25191 13073 16 0 208497 0
vsize: 834052
[startup+760.313 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 69702 62 0 0 17 0 10 0 487671709 854069248 25218 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25218 13073 16 0 208497 0
vsize: 834052
[startup+770.314 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 70596 62 0 0 16 0 10 0 487671709 854069248 25246 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25246 13073 16 0 208497 0
vsize: 834052
[startup+780.315 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 71496 63 0 0 17 0 10 0 487671709 854069248 25273 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25273 13073 16 0 208497 0
vsize: 834052
[startup+790.316 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 72395 63 0 0 17 0 10 0 487671709 854069248 25299 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25299 13073 16 0 208497 0
vsize: 834052
[startup+800.318 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 73286 63 0 0 16 0 10 0 487671709 854069248 25327 4294967295 134512640 134569956 3221224416 3221214320 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25327 13073 16 0 208497 0
vsize: 834052
[startup+810.322 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 74184 63 0 0 16 0 10 0 487671709 854069248 25353 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 25353 13073 16 0 208497 0
vsize: 834052
[startup+820.323 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 75074 63 0 0 16 0 10 0 487671709 854069248 25380 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 25380 13073 16 0 208497 0
vsize: 834052
[startup+830.328 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 75972 64 0 0 17 0 10 0 487671709 854069248 25406 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25406 13073 16 0 208497 0
vsize: 834052
[startup+840.329 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 76869 64 0 0 17 0 10 0 487671709 854069248 25436 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25436 13073 16 0 208497 0
vsize: 834052
[startup+850.33 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 77758 65 0 0 17 0 10 0 487671709 854069248 25466 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25466 13073 16 0 208497 0
vsize: 834052
[startup+860.332 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 78654 65 0 0 17 0 10 0 487671709 854069248 25498 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25498 13073 16 0 208497 0
vsize: 834052
[startup+870.333 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 79550 66 0 0 17 0 10 0 487671709 854069248 25528 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25528 13073 16 0 208497 0
vsize: 834052
[startup+880.334 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 80438 66 0 0 17 0 10 0 487671709 854069248 25560 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25560 13073 16 0 208497 0
vsize: 834052
[startup+890.336 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 81333 67 0 0 17 0 10 0 487671709 854069248 25590 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25590 13073 16 0 208497 0
vsize: 834052
[startup+900.337 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 82227 68 0 0 17 0 10 0 487671709 854069248 25618 4294967295 134512640 134569956 3221224416 3221214524 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25618 13073 16 0 208497 0
vsize: 834052
[startup+910.341 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 83117 68 0 0 17 0 10 0 487671709 854069248 25647 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25647 13073 16 0 208497 0
vsize: 834052
[startup+920.346 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 84008 68 0 0 17 0 10 0 487671709 854069248 25678 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25678 13073 16 0 208497 0
vsize: 834052
[startup+930.348 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 84901 68 0 0 17 0 10 0 487671709 854069248 25702 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25702 13073 16 0 208497 0
vsize: 834052
[startup+940.349 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 85795 69 0 0 17 0 10 0 487671709 854069248 25734 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25734 13073 16 0 208497 0
vsize: 834052
[startup+950.35 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 86680 69 0 0 17 0 10 0 487671709 854069248 25763 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25763 13073 16 0 208497 0
vsize: 834052
[startup+960.351 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 87572 70 0 0 17 0 10 0 487671709 854069248 25789 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25789 13073 16 0 208497 0
vsize: 834052
[startup+970.352 s]
Raw data (loadavg): 1.00 0.98 0.92 2/63 17908
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 88463 70 0 0 17 0 10 0 487671709 854069248 25819 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25819 13073 16 0 208497 0
vsize: 834052
[startup+980.357 s]
Raw data (loadavg): 1.15 1.01 0.93 2/63 17961
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 89352 73 0 0 16 0 10 0 487671709 854069248 25842 4294967295 134512640 134569956 3221224416 3221214524 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 25842 13073 16 0 208497 0
vsize: 834052
[startup+990.362 s]
Raw data (loadavg): 1.13 1.01 0.93 2/63 17961
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 90244 73 0 0 17 0 10 0 487671709 854069248 25872 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25872 13073 16 0 208497 0
vsize: 834052
[startup+1000.36 s]
Raw data (loadavg): 1.11 1.01 0.93 2/63 17961
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 91129 74 0 0 17 0 10 0 487671709 854069248 25916 4294967295 134512640 134569956 3221224416 3221214304 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25916 13073 16 0 208497 0
vsize: 834052
[startup+1010.36 s]
Raw data (loadavg): 1.09 1.01 0.93 2/63 17961
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 92024 74 0 0 17 0 10 0 487671709 854069248 25937 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25937 13073 16 0 208497 0
vsize: 834052
[startup+1020.36 s]
Raw data (loadavg): 1.08 1.01 0.93 2/63 17961
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 92918 74 0 0 17 0 10 0 487671709 854069248 25965 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 25965 13073 16 0 208497 0
vsize: 834052
[startup+1030.36 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 17961
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 93813 74 0 0 17 0 10 0 487671709 854069248 25989 4294967295 134512640 134569956 3221224416 3221214320 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 25989 13073 16 0 208497 0
vsize: 834052
[startup+1040.36 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 17961
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 94701 75 0 0 17 0 10 0 487671709 854069248 26021 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26021 13073 16 0 208497 0
vsize: 834052
[startup+1050.36 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 95592 75 0 0 17 0 10 0 487671709 854069248 26022 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26022 13073 16 0 208497 0
vsize: 834052
[startup+1060.37 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 96489 75 0 0 17 0 10 0 487671709 854069248 26076 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26076 13073 16 0 208497 0
vsize: 834052
[startup+1070.37 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 97390 76 0 0 17 0 10 0 487671709 854069248 26102 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26102 13073 16 0 208497 0
vsize: 834052
[startup+1080.37 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 98287 76 0 0 17 0 10 0 487671709 854069248 26120 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26120 13073 16 0 208497 0
vsize: 834052
[startup+1090.37 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 99189 76 0 0 17 0 10 0 487671709 854069248 26154 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 26154 13073 16 0 208497 0
vsize: 834052
[startup+1100.37 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 100085 76 0 0 17 0 10 0 487671709 854069248 26154 4294967295 134512640 134569956 3221224416 3221214844 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26154 13073 16 0 208497 0
vsize: 834052
[startup+1110.37 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 100980 77 0 0 17 0 10 0 487671709 854069248 26231 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26231 13073 16 0 208497 0
vsize: 834052
[startup+1120.37 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 101882 77 0 0 17 0 10 0 487671709 854069248 26245 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26245 13073 16 0 208497 0
vsize: 834052
[startup+1130.37 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 102782 77 0 0 17 0 10 0 487671709 854069248 26265 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26265 13073 16 0 208497 0
vsize: 834052
[startup+1140.37 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 103675 78 0 0 17 0 10 0 487671709 854069248 26266 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26266 13073 16 0 208497 0
vsize: 834052
[startup+1150.37 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 104567 78 0 0 17 0 10 0 487671709 854069248 26319 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26319 13073 16 0 208497 0
vsize: 834052
[startup+1160.37 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 105459 78 0 0 17 0 10 0 487671709 854069248 26358 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26358 13073 16 0 208497 0
vsize: 834052
[startup+1170.37 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 106357 79 0 0 17 0 10 0 487671709 854069248 26358 4294967295 134512640 134569956 3221224416 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26358 13073 16 0 208497 0
vsize: 834052
[startup+1180.37 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 107258 79 0 0 17 0 10 0 487671709 854069248 26399 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26399 13073 16 0 208497 0
vsize: 834052
[startup+1190.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 108153 79 0 0 17 0 10 0 487671709 854069248 26416 4294967295 134512640 134569956 3221224416 3221214524 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26416 13073 16 0 208497 0
vsize: 834052
[startup+1200.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 109051 80 0 0 17 0 10 0 487671709 854069248 26442 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26442 13073 16 0 208497 0
vsize: 834052
[startup+1210.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 109950 80 0 0 17 0 10 0 487671709 854069248 26461 4294967295 134512640 134569956 3221224416 3221214304 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208513 26461 13073 16 0 208497 0
vsize: 834052
[startup+1220.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 110848 81 0 0 17 0 10 0 487671709 854069248 26486 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26486 13073 16 0 208497 0
vsize: 834052
[startup+1230.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 111742 81 0 0 17 0 10 0 487671709 854069248 26512 4294967295 134512640 134569956 3221224416 3221214852 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26512 13073 16 0 208497 0
vsize: 834052
[startup+1240.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 112643 81 0 0 17 0 10 0 487671709 854069248 26533 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26533 13073 16 0 208497 0
vsize: 834052
[startup+1250.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 113544 82 0 0 17 0 10 0 487671709 854069248 26559 4294967295 134512640 134569956 3221224416 3221214320 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26559 13073 16 0 208497 0
vsize: 834052
[startup+1260.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 114438 82 0 0 16 0 10 0 487671709 854069248 26586 4294967295 134512640 134569956 3221224416 3221214852 1080204144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26586 13073 16 0 208497 0
vsize: 834052
[startup+1270.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 115338 82 0 0 17 0 10 0 487671709 854069248 26611 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26611 13073 16 0 208497 0
vsize: 834052
[startup+1280.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17963
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 116237 83 0 0 17 0 10 0 487671709 854069248 26633 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26633 13073 16 0 208497 0
vsize: 834052
[startup+1290.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17965
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 117134 83 0 0 16 0 10 0 487671709 854069248 26657 4294967295 134512640 134569956 3221224416 3221213456 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26657 13073 16 0 208497 0
vsize: 834052
[startup+1300.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17965
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 118028 83 0 0 17 0 10 0 487671709 854069248 26678 4294967295 134512640 134569956 3221224416 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26678 13073 16 0 208497 0
vsize: 834052
[startup+1310.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17965
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 118926 84 0 0 17 0 10 0 487671709 854069248 26706 4294967295 134512640 134569956 3221224416 3221214320 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26706 13073 16 0 208497 0
vsize: 834052
[startup+1320.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17965
Raw data (stat): 17899 (java) R 17898 29653 29652 0 -1 0 18005 0 1 0 119824 84 0 0 17 0 10 0 487671709 854069248 26732 4294967295 134512640 134569956 3221224416 3221214304 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26732 13073 16 0 208497 0
vsize: 834052
[startup+1330.39 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 17965
Raw data (stat): 17899 (java) S 17898 29653 29652 0 -1 0 18005 0 1 0 120718 84 0 0 17 0 10 0 487671709 854069248 26755 4294967295 134512640 134569956 3221224416 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208513 26755 13073 16 0 208497 0
vsize: 834052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.5 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 17966
Raw data (stat): 17899 (java) Z 17898 29653 29652 0 -1 1036 18005 8327 1 0 120721 84 12187 42 16 0 1 0 487671709 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): 1330.5
CPU time (s): 1330.36
CPU user time (s): 1329.09
CPU system time (s): 1.27181
CPU usage (%): 99.9894
Max. virtual memory (Kb): 834372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####