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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM6958cafd776838585aada2c9dcafd103
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 246163
Biggest coefficient in the objective function 10737418240
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 43487073153772
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 31729070899200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 103505525327531
Number of bits of the biggest sum of numbers47
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.77058
Number of variables293602
Total number of constraints10500
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 constraints10500
Minimum length of a constraint13
Maximum length of a constraint612

Trace number 17504

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 10:18:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10825 boxname=wulflinc27 idbench=833 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 10825
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        478320 kB
Buffers:         13908 kB
Cached:         515436 kB
SwapCached:        512 kB
Active:         152308 kB
Inactive:       379044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        478068 kB
SwapTotal:     2097892 kB
SwapFree:      2096484 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            19260 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 10:40:32 (client local time) WITH STATUS 143 IN 1311.02 SECONDS
stats: 10825 7 1311.02 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-fit2p.opb
c reading problem 
c [nbvar=293602]
c [nbconstr=10500]
#### 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.82 0.83 0.86 2/54 18452
Raw data (stat): 18452 (runsolver) R 18451 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544299500 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.0005 s]
Raw data (loadavg): 0.85 0.83 0.86 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17979 0 1 0 877 40 0 0 25 0 10 0 544299500 853217280 19066 4294967295 134512640 134569956 3221224400 3221213656 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208305 19066 13073 16 0 208289 0
vsize: 833220
[startup+20.0098 s]
Raw data (loadavg): 0.87 0.84 0.86 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 1769 40 0 0 25 0 10 0 544299500 853868544 19736 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 19736 13073 16 0 208448 0
vsize: 833856
[startup+30.0101 s]
Raw data (loadavg): 0.89 0.84 0.86 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 2666 41 0 0 25 0 10 0 544299500 853868544 20169 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 20169 13073 16 0 208448 0
vsize: 833856
[startup+40.01 s]
Raw data (loadavg): 0.91 0.85 0.86 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 3595 42 0 0 25 0 10 0 544299500 853868544 20394 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 20394 13073 16 0 208448 0
vsize: 833856
[startup+50.0108 s]
Raw data (loadavg): 0.92 0.85 0.86 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 4526 42 0 0 25 0 10 0 544299500 853868544 20516 4294967295 134512640 134569956 3221224400 3221214824 1131208892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208464 20516 13073 16 0 208448 0
vsize: 833856
[startup+60.0115 s]
Raw data (loadavg): 0.93 0.86 0.86 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 5453 42 0 0 25 0 10 0 544299500 853868544 20623 4294967295 134512640 134569956 3221224400 3221214824 1131210541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208464 20623 13073 16 0 208448 0
vsize: 833856
[startup+70.0115 s]
Raw data (loadavg): 0.94 0.86 0.86 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 6394 43 0 0 25 0 10 0 544299500 853536768 20761 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 20761 13073 16 0 208367 0
vsize: 833532
[startup+80.0173 s]
Raw data (loadavg): 0.95 0.86 0.87 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 7342 43 0 0 25 0 10 0 544299500 853536768 20838 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 20838 13073 16 0 208367 0
vsize: 833532
[startup+90.0171 s]
Raw data (loadavg): 0.96 0.87 0.87 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 8287 44 0 0 25 0 10 0 544299500 853536768 20914 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 20914 13073 16 0 208367 0
vsize: 833532
[startup+100.021 s]
Raw data (loadavg): 1.04 0.89 0.87 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 9233 44 0 0 25 0 10 0 544299500 853536768 20984 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 20984 13073 16 0 208367 0
vsize: 833532
[startup+110.025 s]
Raw data (loadavg): 1.04 0.89 0.87 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 10179 44 0 0 25 0 10 0 544299500 853536768 21049 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21049 13073 16 0 208367 0
vsize: 833532
[startup+120.025 s]
Raw data (loadavg): 1.03 0.89 0.87 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 11124 44 0 0 24 0 10 0 544299500 853536768 21111 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21111 13073 16 0 208367 0
vsize: 833532
[startup+130.025 s]
Raw data (loadavg): 1.03 0.90 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 12073 44 0 0 25 0 10 0 544299500 853536768 21166 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21166 13073 16 0 208367 0
vsize: 833532
[startup+140.025 s]
Raw data (loadavg): 1.02 0.90 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 13019 45 0 0 25 0 10 0 544299500 853536768 21223 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21223 13073 16 0 208367 0
vsize: 833532
[startup+150.026 s]
Raw data (loadavg): 1.02 0.90 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 13964 45 0 0 25 0 10 0 544299500 853536768 21277 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21277 13073 16 0 208367 0
vsize: 833532
[startup+160.026 s]
Raw data (loadavg): 1.01 0.91 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 14909 46 0 0 25 0 10 0 544299500 853536768 21329 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21329 13073 16 0 208367 0
vsize: 833532
[startup+170.026 s]
Raw data (loadavg): 1.01 0.91 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 15843 46 0 0 25 0 10 0 544299500 853536768 21376 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21376 13073 16 0 208367 0
vsize: 833532
[startup+180.026 s]
Raw data (loadavg): 1.01 0.91 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 16764 46 0 0 25 0 10 0 544299500 853536768 21424 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21424 13073 16 0 208367 0
vsize: 833532
[startup+190.027 s]
Raw data (loadavg): 1.01 0.91 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 17704 46 0 0 25 0 10 0 544299500 853536768 21724 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21724 13073 16 0 208367 0
vsize: 833532
[startup+200.027 s]
Raw data (loadavg): 1.01 0.92 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 18645 47 0 0 25 0 10 0 544299500 853536768 21771 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21771 13073 16 0 208367 0
vsize: 833532
[startup+210.027 s]
Raw data (loadavg): 1.00 0.92 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 19587 47 0 0 25 0 10 0 544299500 853536768 21815 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21815 13073 16 0 208367 0
vsize: 833532
[startup+220.027 s]
Raw data (loadavg): 1.00 0.92 0.88 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 20527 47 0 0 25 0 10 0 544299500 853536768 21858 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21858 13073 16 0 208367 0
vsize: 833532
[startup+230.028 s]
Raw data (loadavg): 1.00 0.92 0.89 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 21469 48 0 0 25 0 10 0 544299500 853536768 21898 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21898 13073 16 0 208367 0
vsize: 833532
[startup+240.028 s]
Raw data (loadavg): 1.00 0.92 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 22410 48 0 0 25 0 10 0 544299500 853536768 21938 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21938 13073 16 0 208367 0
vsize: 833532
[startup+250.028 s]
Raw data (loadavg): 1.00 0.93 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 23349 49 0 0 25 0 10 0 544299500 853536768 21978 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 21978 13073 16 0 208367 0
vsize: 833532
[startup+260.029 s]
Raw data (loadavg): 1.00 0.93 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 24288 49 0 0 24 0 10 0 544299500 853536768 22017 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22017 13073 16 0 208367 0
vsize: 833532
[startup+270.029 s]
Raw data (loadavg): 1.00 0.93 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 25229 50 0 0 25 0 10 0 544299500 853536768 22053 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22053 13073 16 0 208367 0
vsize: 833532
[startup+280.03 s]
Raw data (loadavg): 1.00 0.93 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 26167 50 0 0 25 0 10 0 544299500 853536768 22091 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22091 13073 16 0 208367 0
vsize: 833532
[startup+290.031 s]
Raw data (loadavg): 1.00 0.93 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 27103 51 0 0 25 0 10 0 544299500 853536768 22127 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22127 13073 16 0 208367 0
vsize: 833532
[startup+300.032 s]
Raw data (loadavg): 1.00 0.94 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 28043 51 0 0 25 0 10 0 544299500 853536768 22161 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22161 13073 16 0 208367 0
vsize: 833532
[startup+310.032 s]
Raw data (loadavg): 1.00 0.94 0.89 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 28979 52 0 0 25 0 10 0 544299500 853536768 22197 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22197 13073 16 0 208367 0
vsize: 833532
[startup+320.032 s]
Raw data (loadavg): 1.00 0.94 0.89 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 29914 52 0 0 25 0 10 0 544299500 853536768 22231 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22231 13073 16 0 208367 0
vsize: 833532
[startup+330.033 s]
Raw data (loadavg): 1.00 0.94 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 30853 53 0 0 25 0 10 0 544299500 853536768 22264 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22264 13073 16 0 208367 0
vsize: 833532
[startup+340.033 s]
Raw data (loadavg): 1.00 0.94 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 31788 53 0 0 25 0 10 0 544299500 853536768 22299 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22299 13073 16 0 208367 0
vsize: 833532
[startup+350.034 s]
Raw data (loadavg): 1.00 0.94 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 32726 53 0 0 25 0 10 0 544299500 853536768 22330 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22330 13073 16 0 208367 0
vsize: 833532
[startup+360.035 s]
Raw data (loadavg): 1.00 0.94 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 33659 54 0 0 25 0 10 0 544299500 853536768 22363 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22363 13073 16 0 208367 0
vsize: 833532
[startup+370.034 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 34596 54 0 0 25 0 10 0 544299500 853536768 22393 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22393 13073 16 0 208367 0
vsize: 833532
[startup+380.034 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 35529 54 0 0 25 0 10 0 544299500 853536768 22425 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22425 13073 16 0 208367 0
vsize: 833532
[startup+390.034 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 36462 55 0 0 24 0 10 0 544299500 853536768 22456 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22456 13073 16 0 208367 0
vsize: 833532
[startup+400.035 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 37397 55 0 0 25 0 10 0 544299500 853536768 22485 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22485 13073 16 0 208367 0
vsize: 833532
[startup+410.035 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 38328 56 0 0 24 0 10 0 544299500 853536768 22516 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22516 13073 16 0 208367 0
vsize: 833532
[startup+420.035 s]
Raw data (loadavg): 1.00 0.95 0.90 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 39263 56 0 0 25 0 10 0 544299500 853536768 22544 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22544 13073 16 0 208367 0
vsize: 833532
[startup+430.035 s]
Raw data (loadavg): 1.00 0.95 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 40193 57 0 0 25 0 10 0 544299500 853536768 22574 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22574 13073 16 0 208367 0
vsize: 833532
[startup+440.035 s]
Raw data (loadavg): 1.00 0.95 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 41127 57 0 0 25 0 10 0 544299500 853536768 22602 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22602 13073 16 0 208367 0
vsize: 833532
[startup+450.037 s]
Raw data (loadavg): 1.08 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 42057 58 0 0 24 0 10 0 544299500 853536768 22631 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22631 13073 16 0 208367 0
vsize: 833532
[startup+460.037 s]
Raw data (loadavg): 1.07 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 42989 58 0 0 25 0 10 0 544299500 853536768 22658 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22658 13073 16 0 208367 0
vsize: 833532
[startup+470.038 s]
Raw data (loadavg): 1.06 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 43923 58 0 0 25 0 10 0 544299500 853536768 22685 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22685 13073 16 0 208367 0
vsize: 833532
[startup+480.038 s]
Raw data (loadavg): 1.05 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 44850 59 0 0 25 0 10 0 544299500 853536768 22713 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22713 13073 16 0 208367 0
vsize: 833532
[startup+490.038 s]
Raw data (loadavg): 1.04 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 45782 59 0 0 25 0 10 0 544299500 853536768 22739 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22739 13073 16 0 208367 0
vsize: 833532
[startup+500.039 s]
Raw data (loadavg): 1.03 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 46709 59 0 0 25 0 10 0 544299500 853536768 22766 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22766 13073 16 0 208367 0
vsize: 833532
[startup+510.043 s]
Raw data (loadavg): 1.03 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 47640 59 0 0 25 0 10 0 544299500 853536768 22793 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22793 13073 16 0 208367 0
vsize: 833532
[startup+520.043 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 48570 60 0 0 25 0 10 0 544299500 853536768 22818 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22818 13073 16 0 208367 0
vsize: 833532
[startup+530.043 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 49495 60 0 0 25 0 10 0 544299500 853536768 22845 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22845 13073 16 0 208367 0
vsize: 833532
[startup+540.044 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 50425 60 0 0 25 0 10 0 544299500 853536768 22870 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22870 13073 16 0 208367 0
vsize: 833532
[startup+550.044 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 51349 61 0 0 24 0 10 0 544299500 853536768 22896 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22896 13073 16 0 208367 0
vsize: 833532
[startup+560.044 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 52278 61 0 0 25 0 10 0 544299500 853536768 22920 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22920 13073 16 0 208367 0
vsize: 833532
[startup+570.099 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 53212 61 0 0 25 0 10 0 544299500 853536768 22944 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22944 13073 16 0 208367 0
vsize: 833532
[startup+580.099 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 54136 62 0 0 24 0 10 0 544299500 853536768 22970 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22970 13073 16 0 208367 0
vsize: 833532
[startup+590.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 55062 62 0 0 25 0 10 0 544299500 853536768 22994 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 22994 13073 16 0 208367 0
vsize: 833532
[startup+600.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 55989 63 0 0 25 0 10 0 544299500 853536768 23017 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 23017 13073 16 0 208367 0
vsize: 833532
[startup+610.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 56912 63 0 0 25 0 10 0 544299500 853536768 23041 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 23041 13073 16 0 208367 0
vsize: 833532
[startup+620.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 57838 64 0 0 25 0 10 0 544299500 853536768 23065 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 23065 13073 16 0 208367 0
vsize: 833532
[startup+630.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 58763 64 0 0 25 0 10 0 544299500 853536768 23088 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 23088 13073 16 0 208367 0
vsize: 833532
[startup+640.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 59689 65 0 0 25 0 10 0 544299500 853536768 23111 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 23111 13073 16 0 208367 0
vsize: 833532
[startup+650.102 s]
Raw data (loadavg): 1.00 0.97 0.91 3/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 60613 66 0 0 25 0 10 0 544299500 853536768 23134 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 23134 13073 16 0 208367 0
vsize: 833532
[startup+660.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 61530 66 0 0 24 0 10 0 544299500 853536768 24147 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24147 13073 16 0 208367 0
vsize: 833532
[startup+670.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 62453 67 0 0 25 0 10 0 544299500 853536768 24147 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24147 13073 16 0 208367 0
vsize: 833532
[startup+680.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 63369 67 0 0 25 0 10 0 544299500 853536768 24163 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24163 13073 16 0 208367 0
vsize: 833532
[startup+690.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 64284 67 0 0 25 0 10 0 544299500 853536768 24188 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24188 13073 16 0 208367 0
vsize: 833532
[startup+700.113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 65198 68 0 0 25 0 10 0 544299500 853536768 24216 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24216 13073 16 0 208367 0
vsize: 833532
[startup+710.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 66112 68 0 0 25 0 10 0 544299500 853536768 24241 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24241 13073 16 0 208367 0
vsize: 833532
[startup+720.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 67026 68 0 0 25 0 10 0 544299500 853536768 24267 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24267 13073 16 0 208367 0
vsize: 833532
[startup+730.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 67939 69 0 0 25 0 10 0 544299500 853536768 24291 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24291 13073 16 0 208367 0
vsize: 833532
[startup+740.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 68852 69 0 0 25 0 10 0 544299500 853536768 24312 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24312 13073 16 0 208367 0
vsize: 833532
[startup+750.116 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 69764 70 0 0 25 0 10 0 544299500 853536768 24345 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24345 13073 16 0 208367 0
vsize: 833532
[startup+760.116 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 70677 70 0 0 25 0 10 0 544299500 853536768 24368 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24368 13073 16 0 208367 0
vsize: 833532
[startup+770.116 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 71589 70 0 0 25 0 10 0 544299500 853536768 24391 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24391 13073 16 0 208367 0
vsize: 833532
[startup+780.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 72501 71 0 0 25 0 10 0 544299500 853536768 24412 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24412 13073 16 0 208367 0
vsize: 833532
[startup+790.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 73412 71 0 0 24 0 10 0 544299500 853536768 24444 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24444 13073 16 0 208367 0
vsize: 833532
[startup+800.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 74323 71 0 0 25 0 10 0 544299500 853536768 24469 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24469 13073 16 0 208367 0
vsize: 833532
[startup+810.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 75233 72 0 0 24 0 10 0 544299500 853536768 24491 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24491 13073 16 0 208367 0
vsize: 833532
[startup+820.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 76147 72 0 0 25 0 10 0 544299500 853536768 24510 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24510 13073 16 0 208367 0
vsize: 833532
[startup+830.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 77059 72 0 0 25 0 10 0 544299500 853536768 24539 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24539 13073 16 0 208367 0
vsize: 833532
[startup+840.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 77969 73 0 0 25 0 10 0 544299500 853536768 24559 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24559 13073 16 0 208367 0
vsize: 833532
[startup+850.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 78879 73 0 0 25 0 10 0 544299500 853536768 24583 4294967295 134512640 134569956 3221224400 3221213980 1079753248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24583 13073 16 0 208367 0
vsize: 833532
[startup+860.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 79789 73 0 0 25 0 10 0 544299500 853536768 24603 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24603 13073 16 0 208367 0
vsize: 833532
[startup+870.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 80698 74 0 0 25 0 10 0 544299500 853536768 24633 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24633 13073 16 0 208367 0
vsize: 833532
[startup+880.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 81607 74 0 0 25 0 10 0 544299500 853536768 24655 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24655 13073 16 0 208367 0
vsize: 833532
[startup+890.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 82516 74 0 0 25 0 10 0 544299500 853536768 24680 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24680 13073 16 0 208367 0
vsize: 833532
[startup+900.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 83424 75 0 0 25 0 10 0 544299500 853536768 24702 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24702 13073 16 0 208367 0
vsize: 833532
[startup+910.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 84338 75 0 0 25 0 10 0 544299500 853536768 24724 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24724 13073 16 0 208367 0
vsize: 833532
[startup+920.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 85245 76 0 0 23 0 10 0 544299500 853536768 24747 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24747 13073 16 0 208367 0
vsize: 833532
[startup+930.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 86152 76 0 0 22 0 10 0 544299500 853536768 24766 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24766 13073 16 0 208367 0
vsize: 833532
[startup+940.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 87059 76 0 0 21 0 10 0 544299500 853536768 24793 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24793 13073 16 0 208367 0
vsize: 833532
[startup+950.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 87964 77 0 0 20 0 10 0 544299500 853536768 24816 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24816 13073 16 0 208367 0
vsize: 833532
[startup+960.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 88869 78 0 0 19 0 10 0 544299500 853536768 24837 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24837 13073 16 0 208367 0
vsize: 833532
[startup+970.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 89781 78 0 0 23 0 10 0 544299500 853536768 24858 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24858 13073 16 0 208367 0
vsize: 833532
[startup+980.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 90686 79 0 0 22 0 10 0 544299500 853536768 24879 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24879 13073 16 0 208367 0
vsize: 833532
[startup+990.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 91591 79 0 0 22 0 10 0 544299500 853536768 24904 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24904 13073 16 0 208367 0
vsize: 833532
[startup+1000.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 92497 79 0 0 20 0 10 0 544299500 853536768 24924 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24924 13073 16 0 208367 0
vsize: 833532
[startup+1010.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 93401 80 0 0 19 0 10 0 544299500 853536768 24942 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24942 13073 16 0 208367 0
vsize: 833532
[startup+1020.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 94311 80 0 0 24 0 10 0 544299500 853536768 24968 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24968 13073 16 0 208367 0
vsize: 833532
[startup+1030.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 95215 80 0 0 22 0 10 0 544299500 853536768 24988 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 24988 13073 16 0 208367 0
vsize: 833532
[startup+1040.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 96120 81 0 0 21 0 10 0 544299500 853536768 25012 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25012 13073 16 0 208367 0
vsize: 833532
[startup+1050.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 97022 81 0 0 19 0 10 0 544299500 853536768 25033 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25033 13073 16 0 208367 0
vsize: 833532
[startup+1060.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 97930 81 0 0 24 0 10 0 544299500 853536768 25053 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25053 13073 16 0 208367 0
vsize: 833532
[startup+1070.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 98831 81 0 0 22 0 10 0 544299500 853536768 25074 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25074 13073 16 0 208367 0
vsize: 833532
[startup+1080.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 99734 82 0 0 20 0 10 0 544299500 853536768 25091 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25091 13073 16 0 208367 0
vsize: 833532
[startup+1090.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 100640 83 0 0 24 0 10 0 544299500 853536768 25114 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25114 13073 16 0 208367 0
vsize: 833532
[startup+1100.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 101545 83 0 0 22 0 10 0 544299500 853536768 25135 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25135 13073 16 0 208367 0
vsize: 833532
[startup+1110.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 102446 84 0 0 21 0 10 0 544299500 853536768 25156 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25156 13073 16 0 208367 0
vsize: 833532
[startup+1120.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 103347 84 0 0 19 0 10 0 544299500 853536768 25179 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25179 13073 16 0 208367 0
vsize: 833532
[startup+1130.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 104248 84 0 0 23 0 10 0 544299500 853536768 25197 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25197 13073 16 0 208367 0
vsize: 833532
[startup+1140.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 105155 85 0 0 22 0 10 0 544299500 853536768 25214 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25214 13073 16 0 208367 0
vsize: 833532
[startup+1150.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 106055 85 0 0 21 0 10 0 544299500 853536768 25238 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25238 13073 16 0 208367 0
vsize: 833532
[startup+1160.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 106956 85 0 0 19 0 10 0 544299500 853536768 25259 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25259 13073 16 0 208367 0
vsize: 833532
[startup+1170.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 107862 86 0 0 23 0 10 0 544299500 853536768 25275 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25275 13073 16 0 208367 0
vsize: 833532
[startup+1180.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 108762 86 0 0 20 0 10 0 544299500 853536768 25297 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25297 13073 16 0 208367 0
vsize: 833532
[startup+1190.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 109660 86 0 0 18 0 10 0 544299500 853536768 25319 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25319 13073 16 0 208367 0
vsize: 833532
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 110564 86 0 0 23 0 10 0 544299500 853536768 25337 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25337 13073 16 0 208367 0
vsize: 833532
[startup+1210.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 111462 87 0 0 20 0 10 0 544299500 853536768 25357 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25357 13073 16 0 208367 0
vsize: 833532
[startup+1220.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 112361 87 0 0 19 0 10 0 544299500 853536768 25373 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25373 13073 16 0 208367 0
vsize: 833532
[startup+1230.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 113266 87 0 0 22 0 10 0 544299500 853536768 25389 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25389 13073 16 0 208367 0
vsize: 833532
[startup+1240.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 114164 88 0 0 19 0 10 0 544299500 853536768 25405 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25405 13073 16 0 208367 0
vsize: 833532
[startup+1250.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 115068 88 0 0 24 0 10 0 544299500 853536768 25434 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25434 13073 16 0 208367 0
vsize: 833532
[startup+1260.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 115967 88 0 0 21 0 10 0 544299500 853536768 25451 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25451 13073 16 0 208367 0
vsize: 833532
[startup+1270.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 116866 89 0 0 19 0 10 0 544299500 853536768 25475 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25475 13073 16 0 208367 0
vsize: 833532
[startup+1280.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 117770 89 0 0 22 0 10 0 544299500 853536768 25493 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25493 13073 16 0 208367 0
vsize: 833532
[startup+1290.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 118669 90 0 0 20 0 10 0 544299500 853536768 25511 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25511 13073 16 0 208367 0
vsize: 833532
[startup+1300.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) S 18451 18865 18864 0 -1 0 17980 0 1 0 119572 90 0 0 24 0 10 0 544299500 853536768 25537 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25537 13073 16 0 208367 0
vsize: 833532
[startup+1310.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 18461
Raw data (stat): 18452 (java) R 18451 18865 18864 0 -1 0 17980 0 1 0 120477 90 0 0 21 0 10 0 544299500 853536768 25552 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208383 25552 13073 16 0 208367 0
vsize: 833532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.27 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 18462
Raw data (stat): 18452 (java) Z 18451 18865 18864 0 -1 1036 17980 7636 1 0 120480 90 10491 38 23 0 1 0 544299500 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.27
CPU time (s): 1311.02
CPU user time (s): 1309.72
CPU system time (s): 1.2958
CPU usage (%): 100.057
Max. virtual memory (Kb): 833856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####