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-fit1p.opb
MD5SUM0417a8bac185d4a033d4915882b274ef
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 30780
Biggest coefficient in the objective function 1610612736
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 1591285381686
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 59431609958400
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 209844586667159
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.394938
Number of variables45485
Total number of constraints1026
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 constraints1026
Minimum length of a constraint17
Maximum length of a constraint619

Trace number 23018

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-22 04:07:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10799 boxname=wulflinc21 idbench=831 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  0417a8bac185d4a033d4915882b274ef  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-fit1p.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-fit1p.opb
IDLAUNCH: 10799
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        729240 kB
Buffers:          3548 kB
Cached:         281208 kB
SwapCached:       1456 kB
Active:          62440 kB
Inactive:       224716 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        728960 kB
SwapTotal:     2097892 kB
SwapFree:      2095708 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5004 kB
Slab:            12576 kB
Committed_AS:    63792 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 04:28:55 (client local time) WITH STATUS 143 IN 1277.55 SECONDS
stats: 10799 7 1277.55 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-fit1p.opb
c reading problem 
c [nbvar=45485]
c [nbconstr=1026]
c time 594.765
c #vars     45485
c #clauses  1654
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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): 1.04 1.13 1.03 2/55 30516
Raw data (stat): 30516 (runsolver) R 30515 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 427981098 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.12 1.14 1.04 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 894 42 0 0 25 0 10 0 427981098 853389312 19211 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208347 19211 13073 16 0 208331 0
vsize: 833388
[startup+20.003 s]
Raw data (loadavg): 1.10 1.14 1.04 2/64 30525
Raw data (stat): 30516 (java) S 30515 30927 30926 0 -1 0 17977 0 1 0 1785 42 0 0 25 0 10 0 427981098 854437888 19875 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 19875 13073 16 0 208587 0
vsize: 834412
[startup+30.0026 s]
Raw data (loadavg): 1.08 1.13 1.03 2/64 30525
Raw data (stat): 30516 (java) S 30515 30927 30926 0 -1 0 17977 0 1 0 2686 42 0 0 25 0 10 0 427981098 854437888 20304 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 20304 13073 16 0 208587 0
vsize: 834412
[startup+40.0034 s]
Raw data (loadavg): 1.07 1.13 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 3613 42 0 0 24 0 10 0 427981098 854437888 20540 4294967295 134512640 134569956 3221224400 3221214824 1131218620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 20540 13073 16 0 208587 0
vsize: 834412
[startup+50.0041 s]
Raw data (loadavg): 1.06 1.12 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 4540 42 0 0 24 0 10 0 427981098 854437888 20661 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 20661 13073 16 0 208587 0
vsize: 834412
[startup+60.0048 s]
Raw data (loadavg): 1.05 1.12 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 5474 43 0 0 25 0 10 0 427981098 854437888 20767 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 20767 13073 16 0 208587 0
vsize: 834412
[startup+70.0051 s]
Raw data (loadavg): 1.04 1.12 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 6416 43 0 0 25 0 10 0 427981098 854437888 20987 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 20987 13073 16 0 208587 0
vsize: 834412
[startup+80.0052 s]
Raw data (loadavg): 1.03 1.11 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 7364 43 0 0 25 0 10 0 427981098 854437888 21064 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21064 13073 16 0 208587 0
vsize: 834412
[startup+90.0059 s]
Raw data (loadavg): 1.03 1.11 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 8310 43 0 0 25 0 10 0 427981098 854437888 21139 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21139 13073 16 0 208587 0
vsize: 834412
[startup+100.006 s]
Raw data (loadavg): 1.02 1.10 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 9256 43 0 0 25 0 10 0 427981098 854437888 21209 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21209 13073 16 0 208587 0
vsize: 834412
[startup+110.006 s]
Raw data (loadavg): 1.02 1.10 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 10205 43 0 0 25 0 10 0 427981098 854437888 21270 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21270 13073 16 0 208587 0
vsize: 834412
[startup+120.007 s]
Raw data (loadavg): 1.02 1.10 1.03 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 11152 43 0 0 25 0 10 0 427981098 854437888 21332 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21332 13073 16 0 208587 0
vsize: 834412
[startup+130.007 s]
Raw data (loadavg): 1.01 1.09 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 12098 43 0 0 25 0 10 0 427981098 854437888 21391 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21391 13073 16 0 208587 0
vsize: 834412
[startup+140.007 s]
Raw data (loadavg): 1.01 1.09 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 13045 43 0 0 24 0 10 0 427981098 854437888 21447 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21447 13073 16 0 208587 0
vsize: 834412
[startup+150.008 s]
Raw data (loadavg): 1.01 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 13995 43 0 0 25 0 10 0 427981098 854437888 21498 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21498 13073 16 0 208587 0
vsize: 834412
[startup+160.009 s]
Raw data (loadavg): 1.01 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 14941 43 0 0 25 0 10 0 427981098 854437888 21550 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21550 13073 16 0 208587 0
vsize: 834412
[startup+170.009 s]
Raw data (loadavg): 1.01 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 15875 43 0 0 25 0 10 0 427981098 854437888 21597 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21597 13073 16 0 208587 0
vsize: 834412
[startup+180.009 s]
Raw data (loadavg): 1.00 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 16797 44 0 0 24 0 10 0 427981098 854437888 21645 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21645 13073 16 0 208587 0
vsize: 834412
[startup+190.01 s]
Raw data (loadavg): 1.00 1.07 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 17737 44 0 0 25 0 10 0 427981098 854437888 21945 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21945 13073 16 0 208587 0
vsize: 834412
[startup+200.01 s]
Raw data (loadavg): 1.00 1.07 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 18679 44 0 0 25 0 10 0 427981098 854437888 21991 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 21991 13073 16 0 208587 0
vsize: 834412
[startup+210.011 s]
Raw data (loadavg): 1.00 1.07 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 19624 44 0 0 25 0 10 0 427981098 854437888 22033 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 22033 13073 16 0 208587 0
vsize: 834412
[startup+220.012 s]
Raw data (loadavg): 1.00 1.06 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 20565 44 0 0 25 0 10 0 427981098 854437888 22076 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 22076 13073 16 0 208587 0
vsize: 834412
[startup+230.011 s]
Raw data (loadavg): 1.00 1.06 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 21506 44 0 0 24 0 10 0 427981098 854437888 22118 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 22118 13073 16 0 208587 0
vsize: 834412
[startup+240.012 s]
Raw data (loadavg): 1.00 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 22450 44 0 0 25 0 10 0 427981098 854437888 22156 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 22156 13073 16 0 208587 0
vsize: 834412
[startup+250.012 s]
Raw data (loadavg): 1.00 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17977 0 1 0 23390 44 0 0 25 0 10 0 427981098 854437888 22196 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208603 22196 13073 16 0 208587 0
vsize: 834412
[startup+260.013 s]
Raw data (loadavg): 1.16 1.09 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 24267 45 0 0 24 0 10 0 427981098 856371200 23203 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209075 23203 13073 16 0 209059 0
vsize: 836300
[startup+270.016 s]
Raw data (loadavg): 1.13 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) S 30515 30927 30926 0 -1 0 17984 0 1 0 25196 45 0 0 25 0 10 0 427981098 860565504 24811 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210099 24811 13073 16 0 210083 0
vsize: 840396
[startup+280.016 s]
Raw data (loadavg): 1.11 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 26124 45 0 0 25 0 10 0 427981098 857419776 24151 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24151 13073 16 0 209315 0
vsize: 837324
[startup+290.019 s]
Raw data (loadavg): 1.10 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 27050 45 0 0 25 0 10 0 427981098 857419776 24196 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24196 13073 16 0 209315 0
vsize: 837324
[startup+300.018 s]
Raw data (loadavg): 1.08 1.08 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 27976 45 0 0 25 0 10 0 427981098 857419776 24241 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24241 13073 16 0 209315 0
vsize: 837324
[startup+310.02 s]
Raw data (loadavg): 1.07 1.07 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 28901 45 0 0 25 0 10 0 427981098 857419776 24285 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24285 13073 16 0 209315 0
vsize: 837324
[startup+320.02 s]
Raw data (loadavg): 1.06 1.07 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 29825 45 0 0 25 0 10 0 427981098 857419776 24328 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24328 13073 16 0 209315 0
vsize: 837324
[startup+330.02 s]
Raw data (loadavg): 1.05 1.07 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 30748 45 0 0 25 0 10 0 427981098 857419776 24370 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24370 13073 16 0 209315 0
vsize: 837324
[startup+340.021 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 31671 45 0 0 25 0 10 0 427981098 857419776 24411 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24411 13073 16 0 209315 0
vsize: 837324
[startup+350.021 s]
Raw data (loadavg): 1.03 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 32593 45 0 0 25 0 10 0 427981098 857419776 24452 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24452 13073 16 0 209315 0
vsize: 837324
[startup+360.021 s]
Raw data (loadavg): 1.03 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 33515 45 0 0 25 0 10 0 427981098 857419776 24493 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24493 13073 16 0 209315 0
vsize: 837324
[startup+370.023 s]
Raw data (loadavg): 1.02 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 34436 45 0 0 25 0 10 0 427981098 857419776 24532 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24532 13073 16 0 209315 0
vsize: 837324
[startup+380.023 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 35356 46 0 0 24 0 10 0 427981098 857419776 24572 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24572 13073 16 0 209315 0
vsize: 837324
[startup+390.023 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 36276 46 0 0 24 0 10 0 427981098 857419776 24610 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24610 13073 16 0 209315 0
vsize: 837324
[startup+400.024 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17984 0 1 0 37195 46 0 0 24 0 10 0 427981098 857419776 24648 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24648 13073 16 0 209315 0
vsize: 837324
[startup+410.025 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 38118 46 0 0 25 0 10 0 427981098 857419776 24639 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 24639 13073 16 0 209315 0
vsize: 837324
[startup+420.024 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 39026 49 0 0 25 0 10 0 427981098 857419776 27669 4294967295 134512640 134569956 3221224400 3221214816 1131174140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 27669 13073 16 0 209315 0
vsize: 837324
[startup+430.025 s]
Raw data (loadavg): 1.07 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 39867 49 0 0 24 0 10 0 427981098 857419776 32717 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 32717 13073 16 0 209315 0
vsize: 837324
[startup+440.025 s]
Raw data (loadavg): 1.06 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 40746 50 0 0 24 0 10 0 427981098 857419776 32919 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 32919 13073 16 0 209315 0
vsize: 837324
[startup+450.025 s]
Raw data (loadavg): 1.05 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 41620 50 0 0 24 0 10 0 427981098 857419776 33180 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 33180 13073 16 0 209315 0
vsize: 837324
[startup+460.028 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) S 30515 30927 30926 0 -1 0 17986 0 1 0 42496 50 0 0 25 0 10 0 427981098 857419776 33385 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 33385 13073 16 0 209315 0
vsize: 837324
[startup+470.029 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) S 30515 30927 30926 0 -1 0 17986 0 1 0 43374 51 0 0 25 0 10 0 427981098 857419776 33660 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 33660 13073 16 0 209315 0
vsize: 837324
[startup+480.029 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 44250 51 0 0 25 0 10 0 427981098 857419776 33886 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 33886 13073 16 0 209315 0
vsize: 837324
[startup+490.03 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 45125 51 0 0 25 0 10 0 427981098 857419776 34074 4294967295 134512640 134569956 3221224400 3221214808 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 34074 13073 16 0 209315 0
vsize: 837324
[startup+500.03 s]
Raw data (loadavg): 1.02 1.05 1.00 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 46000 51 0 0 25 0 10 0 427981098 857419776 34326 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 34326 13073 16 0 209315 0
vsize: 837324
[startup+510.031 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 46877 51 0 0 25 0 10 0 427981098 857419776 34516 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 34516 13073 16 0 209315 0
vsize: 837324
[startup+520.031 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 47752 52 0 0 25 0 10 0 427981098 857419776 34802 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 34802 13073 16 0 209315 0
vsize: 837324
[startup+530.031 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 48629 52 0 0 25 0 10 0 427981098 857419776 35042 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 35042 13073 16 0 209315 0
vsize: 837324
[startup+540.032 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 49507 52 0 0 25 0 10 0 427981098 857419776 35256 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 35256 13073 16 0 209315 0
vsize: 837324
[startup+550.032 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 50384 52 0 0 25 0 10 0 427981098 857419776 35488 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 35488 13073 16 0 209315 0
vsize: 837324
[startup+560.033 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 51260 52 0 0 25 0 10 0 427981098 857419776 35723 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 35723 13073 16 0 209315 0
vsize: 837324
[startup+570.036 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 52136 52 0 0 25 0 10 0 427981098 857419776 35953 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 35953 13073 16 0 209315 0
vsize: 837324
[startup+580.036 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 53011 52 0 0 25 0 10 0 427981098 857419776 36146 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 36146 13073 16 0 209315 0
vsize: 837324
[startup+590.036 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 30525
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 17986 0 1 0 53887 53 0 0 25 0 10 0 427981098 857419776 36375 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209331 36375 13073 16 0 209315 0
vsize: 837324
[startup+600.036 s]
Raw data (loadavg): 1.02 1.04 1.00 4/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18052 0 1 0 54734 54 0 0 25 0 11 0 427981098 860504064 37235 4294967295 134512640 134569956 3221224400 3221213380 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210084 37235 13073 16 0 210068 0
vsize: 840336
[startup+610.038 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 55675 54 0 0 25 0 11 0 427981098 859688960 37315 4294967295 134512640 134569956 3221224400 3221214520 1131299436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209885 37315 13073 16 0 209869 0
vsize: 839540
[startup+620.038 s]
Raw data (loadavg): 1.09 1.06 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 56633 54 0 0 25 0 11 0 427981098 858591232 37093 4294967295 134512640 134569956 3221224400 3221214744 1131324802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37093 13073 16 0 209601 0
vsize: 838468
[startup+630.038 s]
Raw data (loadavg): 1.07 1.05 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 57598 54 0 0 25 0 11 0 427981098 858591232 37164 4294967295 134512640 134569956 3221224400 3221214624 1131586163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209617 37164 13073 16 0 209601 0
vsize: 838468
[startup+640.038 s]
Raw data (loadavg): 1.06 1.05 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 58581 54 0 0 25 0 11 0 427981098 858591232 37182 4294967295 134512640 134569956 3221224400 3221214624 1131586288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209617 37182 13073 16 0 209601 0
vsize: 838468
[startup+650.038 s]
Raw data (loadavg): 1.05 1.05 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 59563 55 0 0 25 0 11 0 427981098 858591232 37901 4294967295 134512640 134569956 3221224400 3221214624 1131586280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209617 37901 13073 16 0 209601 0
vsize: 838468
[startup+660.039 s]
Raw data (loadavg): 1.04 1.05 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 60553 55 0 0 25 0 11 0 427981098 858591232 37903 4294967295 134512640 134569956 3221224400 3221214624 1131586252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37903 13073 16 0 209601 0
vsize: 838468
[startup+670.039 s]
Raw data (loadavg): 1.04 1.05 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 61534 55 0 0 25 0 11 0 427981098 858591232 37903 4294967295 134512640 134569956 3221224400 3221214608 1131299591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37903 13073 16 0 209601 0
vsize: 838468
[startup+680.039 s]
Raw data (loadavg): 1.03 1.04 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 62518 55 0 0 25 0 11 0 427981098 858591232 37903 4294967295 134512640 134569956 3221224400 3221214712 1131383191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37903 13073 16 0 209601 0
vsize: 838468
[startup+690.04 s]
Raw data (loadavg): 1.03 1.04 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 63502 55 0 0 25 0 11 0 427981098 858591232 37903 4294967295 134512640 134569956 3221224400 3221214608 1131299712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37903 13073 16 0 209601 0
vsize: 838468
[startup+700.039 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 64485 55 0 0 25 0 11 0 427981098 858591232 37903 4294967295 134512640 134569956 3221224400 3221214600 1131279988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37903 13073 16 0 209601 0
vsize: 838468
[startup+710.04 s]
Raw data (loadavg): 1.02 1.04 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 65473 55 0 0 25 0 11 0 427981098 858591232 37903 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209617 37903 13073 16 0 209601 0
vsize: 838468
[startup+720.04 s]
Raw data (loadavg): 1.01 1.04 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 66455 55 0 0 25 0 11 0 427981098 858591232 37927 4294967295 134512640 134569956 3221224400 3221214712 1131378087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37927 13073 16 0 209601 0
vsize: 838468
[startup+730.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 67436 55 0 0 25 0 11 0 427981098 858591232 37976 4294967295 134512640 134569956 3221224400 3221214448 1131745538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 37976 13073 16 0 209601 0
vsize: 838468
[startup+740.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 68423 55 0 0 25 0 11 0 427981098 858591232 38023 4294967295 134512640 134569956 3221224400 3221214712 1131383180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38023 13073 16 0 209601 0
vsize: 838468
[startup+750.04 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 69404 55 0 0 25 0 11 0 427981098 858591232 38032 4294967295 134512640 134569956 3221224400 3221214712 1131670185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38032 13073 16 0 209601 0
vsize: 838468
[startup+760.041 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 70391 55 0 0 25 0 11 0 427981098 858591232 38083 4294967295 134512640 134569956 3221224400 3221214608 1131300054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38083 13073 16 0 209601 0
vsize: 838468
[startup+770.04 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 71372 55 0 0 25 0 11 0 427981098 858591232 38184 4294967295 134512640 134569956 3221224400 3221214712 1131383184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38184 13073 16 0 209601 0
vsize: 838468
[startup+780.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 72361 55 0 0 25 0 11 0 427981098 858591232 38216 4294967295 134512640 134569956 3221224400 3221214712 1131383168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38216 13073 16 0 209601 0
vsize: 838468
[startup+790.041 s]
Raw data (loadavg): 1.00 1.03 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 73344 55 0 0 25 0 11 0 427981098 858591232 38309 4294967295 134512640 134569956 3221224400 3221214608 1131299436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38309 13073 16 0 209601 0
vsize: 838468
[startup+800.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 74333 55 0 0 25 0 11 0 427981098 858591232 38339 4294967295 134512640 134569956 3221224400 3221214712 1131383325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38339 13073 16 0 209601 0
vsize: 838468
[startup+810.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 75321 55 0 0 25 0 11 0 427981098 858591232 38339 4294967295 134512640 134569956 3221224400 3221214712 1131383184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38339 13073 16 0 209601 0
vsize: 838468
[startup+820.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 76301 55 0 0 25 0 11 0 427981098 858591232 38339 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38339 13073 16 0 209601 0
vsize: 838468
[startup+830.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 77280 55 0 0 25 0 11 0 427981098 858591232 38407 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38407 13073 16 0 209601 0
vsize: 838468
[startup+840.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 78261 55 0 0 25 0 11 0 427981098 858591232 38463 4294967295 134512640 134569956 3221224400 3221214624 1131739788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38463 13073 16 0 209601 0
vsize: 838468
[startup+850.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 79240 55 0 0 25 0 11 0 427981098 858591232 38503 4294967295 134512640 134569956 3221224400 3221214624 1131739840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38503 13073 16 0 209601 0
vsize: 838468
[startup+860.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 80218 55 0 0 25 0 11 0 427981098 858591232 38573 4294967295 134512640 134569956 3221224400 3221214712 1131383184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38573 13073 16 0 209601 0
vsize: 838468
[startup+870.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 81204 55 0 0 25 0 11 0 427981098 858591232 38602 4294967295 134512640 134569956 3221224400 3221214712 1131383176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38602 13073 16 0 209601 0
vsize: 838468
[startup+880.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 82182 56 0 0 25 0 11 0 427981098 858591232 38649 4294967295 134512640 134569956 3221224400 3221214712 1131378338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38649 13073 16 0 209601 0
vsize: 838468
[startup+890.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 83159 56 0 0 25 0 11 0 427981098 858591232 38708 4294967295 134512640 134569956 3221224400 3221214712 1131383188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38708 13073 16 0 209601 0
vsize: 838468
[startup+900.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 84143 56 0 0 25 0 11 0 427981098 858591232 38708 4294967295 134512640 134569956 3221224400 3221214712 1131383184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38708 13073 16 0 209601 0
vsize: 838468
[startup+910.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 85120 56 0 0 25 0 11 0 427981098 858591232 38777 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38777 13073 16 0 209601 0
vsize: 838468
[startup+920.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 86099 56 0 0 25 0 11 0 427981098 858591232 38883 4294967295 134512640 134569956 3221224400 3221214712 1131383184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38883 13073 16 0 209601 0
vsize: 838468
[startup+930.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 87071 56 0 0 25 0 11 0 427981098 858591232 38959 4294967295 134512640 134569956 3221224400 3221214608 1131299726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38959 13073 16 0 209601 0
vsize: 838468
[startup+940.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 88052 56 0 0 25 0 11 0 427981098 858591232 38959 4294967295 134512640 134569956 3221224400 3221214256 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 38959 13073 16 0 209601 0
vsize: 838468
[startup+950.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 89026 56 0 0 25 0 11 0 427981098 858591232 39112 4294967295 134512640 134569956 3221224400 3221214712 1131383184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39112 13073 16 0 209601 0
vsize: 838468
[startup+960.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 90010 56 0 0 25 0 11 0 427981098 858591232 39187 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39187 13073 16 0 209601 0
vsize: 838468
[startup+970.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 90988 56 0 0 25 0 11 0 427981098 858591232 39263 4294967295 134512640 134569956 3221224400 3221214712 1131383196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209617 39263 13073 16 0 209601 0
vsize: 838468
[startup+980.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 91973 56 0 0 25 0 11 0 427981098 858591232 39318 4294967295 134512640 134569956 3221224400 3221214712 1131383191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39318 13073 16 0 209601 0
vsize: 838468
[startup+990.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) S 30515 30927 30926 0 -1 0 18055 0 1 0 92961 56 0 0 25 0 11 0 427981098 858591232 39382 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39382 13073 16 0 209601 0
vsize: 838468
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 93944 56 0 0 25 0 11 0 427981098 858591232 39415 4294967295 134512640 134569956 3221224400 3221214608 1131299693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39415 13073 16 0 209601 0
vsize: 838468
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 94922 56 0 0 25 0 11 0 427981098 858591232 39494 4294967295 134512640 134569956 3221224400 3221214712 1131324058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39494 13073 16 0 209601 0
vsize: 838468
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) S 30515 30927 30926 0 -1 0 18055 0 1 0 95903 57 0 0 25 0 11 0 427981098 858591232 39517 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39517 13073 16 0 209601 0
vsize: 838468
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 96883 57 0 0 25 0 11 0 427981098 858591232 39517 4294967295 134512640 134569956 3221224400 3221214608 1131299547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39517 13073 16 0 209601 0
vsize: 838468
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 97863 57 0 0 25 0 11 0 427981098 858591232 39592 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39592 13073 16 0 209601 0
vsize: 838468
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 98829 57 0 0 25 0 11 0 427981098 858591232 39642 4294967295 134512640 134569956 3221224400 3221214432 1131637570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39642 13073 16 0 209601 0
vsize: 838468
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 99808 57 0 0 25 0 11 0 427981098 858591232 39736 4294967295 134512640 134569956 3221224400 3221214224 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39736 13073 16 0 209601 0
vsize: 838468
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 100766 57 0 0 25 0 11 0 427981098 858591232 39811 4294967295 134512640 134569956 3221224400 3221214400 1131742511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39811 13073 16 0 209601 0
vsize: 838468
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 101729 57 0 0 25 0 11 0 427981098 858591232 39952 4294967295 134512640 134569956 3221224400 3221214400 1131747712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 39952 13073 16 0 209601 0
vsize: 838468
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 102701 57 0 0 25 0 11 0 427981098 858591232 40169 4294967295 134512640 134569956 3221224400 3221214408 1079721553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40169 13073 16 0 209601 0
vsize: 838468
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 103690 57 0 0 25 0 11 0 427981098 858591232 40231 4294967295 134512640 134569956 3221224400 3221214608 1131299547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40231 13073 16 0 209601 0
vsize: 838468
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 104679 57 0 0 25 0 11 0 427981098 858591232 40303 4294967295 134512640 134569956 3221224400 3221214600 1131280582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40303 13073 16 0 209601 0
vsize: 838468
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 105669 57 0 0 25 0 11 0 427981098 858591232 40351 4294967295 134512640 134569956 3221224400 3221214608 1131299810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40351 13073 16 0 209601 0
vsize: 838468
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 106656 57 0 0 24 0 11 0 427981098 858591232 40467 4294967295 134512640 134569956 3221224400 3221214640 1131770261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40467 13073 16 0 209601 0
vsize: 838468
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 107647 57 0 0 25 0 11 0 427981098 858591232 40467 4294967295 134512640 134569956 3221224400 3221214608 1131299785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40467 13073 16 0 209601 0
vsize: 838468
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 108638 57 0 0 25 0 11 0 427981098 858591232 40467 4294967295 134512640 134569956 3221224400 3221214648 1131299726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40467 13073 16 0 209601 0
vsize: 838468
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 109619 57 0 0 25 0 11 0 427981098 858591232 40467 4294967295 134512640 134569956 3221224400 3221214432 1131637728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40467 13073 16 0 209601 0
vsize: 838468
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 110604 57 0 0 25 0 11 0 427981098 858591232 40551 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40551 13073 16 0 209601 0
vsize: 838468
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 111591 57 0 0 25 0 11 0 427981098 858591232 40553 4294967295 134512640 134569956 3221224400 3221214608 1131299547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40553 13073 16 0 209601 0
vsize: 838468
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 112577 57 0 0 25 0 11 0 427981098 858591232 40553 4294967295 134512640 134569956 3221224400 3221214712 1131383191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40553 13073 16 0 209601 0
vsize: 838468
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 113565 57 0 0 25 0 11 0 427981098 858591232 40629 4294967295 134512640 134569956 3221224400 3221214600 1131280192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40629 13073 16 0 209601 0
vsize: 838468
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 114549 57 0 0 25 0 11 0 427981098 858591232 40685 4294967295 134512640 134569956 3221224400 3221214608 1131299726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40685 13073 16 0 209601 0
vsize: 838468
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 115536 58 0 0 25 0 11 0 427981098 858591232 40685 4294967295 134512640 134569956 3221224400 3221214712 1131383198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 40685 13073 16 0 209601 0
vsize: 838468
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 116527 58 0 0 25 0 11 0 427981098 858591232 41104 4294967295 134512640 134569956 3221224400 3221214352 1131745649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 41104 13073 16 0 209601 0
vsize: 838468
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 117522 58 0 0 25 0 11 0 427981098 858591232 41104 4294967295 134512640 134569956 3221224400 3221214608 1131299726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 41104 13073 16 0 209601 0
vsize: 838468
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 118517 58 0 0 25 0 11 0 427981098 858591232 41104 4294967295 134512640 134569956 3221224400 3221214192 1080217263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 41104 13073 16 0 209601 0
vsize: 838468
[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 119504 58 0 0 25 0 11 0 427981098 858591232 41430 4294967295 134512640 134569956 3221224400 3221214192 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 41430 13073 16 0 209601 0
vsize: 838468
[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 30526
Raw data (stat): 30516 (java) R 30515 30927 30926 0 -1 0 18055 0 1 0 120486 58 0 0 25 0 11 0 427981098 858591232 44550 4294967295 134512640 134569956 3221224400 3221214432 1131635672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 44550 13073 16 0 209601 0
vsize: 838468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 30528
Raw data (stat): 30516 (java) Z 30515 30927 30926 0 -1 1036 18055 29806 1 0 120487 58 7129 79 25 0 1 0 427981098 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1270.16
CPU time (s): 1277.55
CPU user time (s): 1276.17
CPU system time (s): 1.38079
CPU usage (%): 100.583
Max. virtual memory (Kb): 840396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####