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/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM46f4eb904b1c96b45521a6459aa5d49d
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 4456

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-13 17:19:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2511 boxname=wulflinc19 idbench=279 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 2511
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        888568 kB
Buffers:         31588 kB
Cached:          79944 kB
SwapCached:         56 kB
Active:          51552 kB
Inactive:        63016 kB
HighTotal:      131008 kB
HighFree:        46956 kB
LowTotal:       903652 kB
LowFree:        841612 kB
SwapTotal:     2097892 kB
SwapFree:      2097836 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7028 kB
Slab:            25740 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:41:38 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2511 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
c reading problem 
c [nbvar=109757]
c [nbconstr=313451]
#### 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.13 1.04 0.99 2/55 24353
Raw data (stat): 24353 (runsolver) R 24352 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477692095 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 1.11 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 820 40 0 0 25 0 10 0 477692095 854683648 20409 4294967295 134512640 134569956 3221224384 3221214364 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 20409 13073 16 0 208647 0
vsize: 834652
[startup+20.0017 s]
Raw data (loadavg): 1.09 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 1677 40 0 0 25 0 10 0 477692095 854683648 21228 4294967295 134512640 134569956 3221224384 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 21228 13073 16 0 208647 0
vsize: 834652
[startup+30.0025 s]
Raw data (loadavg): 1.08 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 2533 41 0 0 25 0 10 0 477692095 854683648 21747 4294967295 134512640 134569956 3221224384 3221214576 1131154412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 21747 13073 16 0 208647 0
vsize: 834652
[startup+40.0037 s]
Raw data (loadavg): 1.07 1.03 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 3393 41 0 0 18 0 10 0 477692095 854683648 22106 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22106 13073 16 0 208647 0
vsize: 834652
[startup+50.0071 s]
Raw data (loadavg): 1.06 1.03 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 4250 42 0 0 16 0 10 0 477692095 854683648 22462 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22462 13073 16 0 208647 0
vsize: 834652
[startup+60.0078 s]
Raw data (loadavg): 1.12 1.05 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 5108 43 0 0 17 0 10 0 477692095 854683648 22851 4294967295 134512640 134569956 3221224384 3221214792 1131318988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 22851 13073 16 0 208647 0
vsize: 834652
[startup+70.0081 s]
Raw data (loadavg): 1.10 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 5968 43 0 0 18 0 10 0 477692095 854683648 23131 4294967295 134512640 134569956 3221224384 3221214576 1131154373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23131 13073 16 0 208647 0
vsize: 834652
[startup+80.0125 s]
Raw data (loadavg): 1.09 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 6823 43 0 0 22 0 10 0 477692095 854683648 23489 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23489 13073 16 0 208647 0
vsize: 834652
[startup+90.0123 s]
Raw data (loadavg): 1.07 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 7687 44 0 0 17 0 10 0 477692095 854683648 23761 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 23761 13073 16 0 208647 0
vsize: 834652
[startup+100.013 s]
Raw data (loadavg): 1.06 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 8564 44 0 0 19 0 10 0 477692095 854683648 24101 4294967295 134512640 134569956 3221224384 3221214176 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24101 13073 16 0 208647 0
vsize: 834652
[startup+110.013 s]
Raw data (loadavg): 1.05 1.04 0.99 2/64 24362
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 9447 45 0 0 23 0 10 0 477692095 854683648 24335 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24335 13073 16 0 208647 0
vsize: 834652
[startup+120.014 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 10327 45 0 0 17 0 10 0 477692095 854683648 24570 4294967295 134512640 134569956 3221224384 3221214256 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24570 13073 16 0 208647 0
vsize: 834652
[startup+130.015 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 11218 46 0 0 19 0 10 0 477692095 854683648 24783 4294967295 134512640 134569956 3221224384 3221214176 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24783 13073 16 0 208647 0
vsize: 834652
[startup+140.015 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 12113 46 0 0 22 0 10 0 477692095 854683648 24986 4294967295 134512640 134569956 3221224384 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 24986 13073 16 0 208647 0
vsize: 834652
[startup+150.015 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 13004 47 0 0 18 0 10 0 477692095 854683648 25188 4294967295 134512640 134569956 3221224384 3221214576 1131154359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25188 13073 16 0 208647 0
vsize: 834652
[startup+160.016 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 13903 47 0 0 20 0 10 0 477692095 854683648 25367 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25367 13073 16 0 208647 0
vsize: 834652
[startup+170.02 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 14798 47 0 0 16 0 10 0 477692095 854683648 25536 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25536 13073 16 0 208647 0
vsize: 834652
[startup+180.02 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 15687 47 0 0 16 0 10 0 477692095 854683648 25717 4294967295 134512640 134569956 3221224384 3221214700 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 25717 13073 16 0 208647 0
vsize: 834652
[startup+190.025 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 16568 48 0 0 16 0 10 0 477692095 854683648 25899 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 25899 13073 16 0 208647 0
vsize: 834652
[startup+200.026 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 17470 48 0 0 16 0 10 0 477692095 854683648 26167 4294967295 134512640 134569956 3221224384 3221214176 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 26167 13073 16 0 208647 0
vsize: 834652
[startup+210.027 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 18375 48 0 0 16 0 10 0 477692095 854683648 26324 4294967295 134512640 134569956 3221224384 3221214576 1131154349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26324 13073 16 0 208647 0
vsize: 834652
[startup+220.028 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 19281 49 0 0 16 0 10 0 477692095 854683648 26483 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26483 13073 16 0 208647 0
vsize: 834652
[startup+230.032 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 20181 49 0 0 16 0 10 0 477692095 854683648 26649 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 26649 13073 16 0 208647 0
vsize: 834652
[startup+240.035 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 21089 49 0 0 16 0 10 0 477692095 854683648 26794 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26794 13073 16 0 208647 0
vsize: 834652
[startup+250.035 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 21997 49 0 0 16 0 10 0 477692095 854683648 26940 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 26940 13073 16 0 208647 0
vsize: 834652
[startup+260.036 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 22894 49 0 0 15 0 10 0 477692095 854683648 27096 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27096 13073 16 0 208647 0
vsize: 834652
[startup+270.036 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 23789 49 0 0 16 0 10 0 477692095 854683648 27226 4294967295 134512640 134569956 3221224384 3221214576 1131154377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 27226 13073 16 0 208647 0
vsize: 834652
[startup+280.04 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 24684 50 0 0 16 0 10 0 477692095 854683648 27360 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27360 13073 16 0 208647 0
vsize: 834652
[startup+290.042 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 25585 50 0 0 16 0 10 0 477692095 854683648 27662 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27662 13073 16 0 208647 0
vsize: 834652
[startup+300.042 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 26492 51 0 0 16 0 10 0 477692095 854683648 27790 4294967295 134512640 134569956 3221224384 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27790 13073 16 0 208647 0
vsize: 834652
[startup+310.043 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 27393 51 0 0 16 0 10 0 477692095 854683648 27933 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 27933 13073 16 0 208647 0
vsize: 834652
[startup+320.044 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 28302 52 0 0 16 0 10 0 477692095 854683648 28058 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28058 13073 16 0 208647 0
vsize: 834652
[startup+330.046 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 24364
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 29204 52 0 0 16 0 10 0 477692095 854683648 28178 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28178 13073 16 0 208647 0
vsize: 834652
[startup+340.047 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 30114 53 0 0 16 0 10 0 477692095 854683648 28306 4294967295 134512640 134569956 3221224384 3221214352 1079668423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28306 13073 16 0 208647 0
vsize: 834652
[startup+350.048 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 31022 53 0 0 16 0 10 0 477692095 854683648 28427 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28427 13073 16 0 208647 0
vsize: 834652
[startup+360.052 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24364
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 31926 53 0 0 16 0 10 0 477692095 854683648 28542 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28542 13073 16 0 208647 0
vsize: 834652
[startup+370.057 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 32834 54 0 0 16 0 10 0 477692095 854683648 28668 4294967295 134512640 134569956 3221224384 3221214576 1131154252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28668 13073 16 0 208647 0
vsize: 834652
[startup+380.056 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 33746 54 0 0 16 0 10 0 477692095 854683648 28782 4294967295 134512640 134569956 3221224384 3221214576 1131154412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28782 13073 16 0 208647 0
vsize: 834652
[startup+390.056 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 34651 54 0 0 16 0 10 0 477692095 854683648 28903 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 28903 13073 16 0 208647 0
vsize: 834652
[startup+400.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 35563 55 0 0 16 0 10 0 477692095 854683648 29010 4294967295 134512640 134569956 3221224384 3221214176 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29010 13073 16 0 208647 0
vsize: 834652
[startup+410.058 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24364
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 36474 55 0 0 16 0 10 0 477692095 854683648 29114 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29114 13073 16 0 208647 0
vsize: 834652
[startup+420.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 37378 56 0 0 16 0 10 0 477692095 854683648 29226 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29226 13073 16 0 208647 0
vsize: 834652
[startup+430.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 38290 57 0 0 16 0 10 0 477692095 854683648 29337 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29337 13073 16 0 208647 0
vsize: 834652
[startup+440.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 39196 57 0 0 16 0 10 0 477692095 854683648 29442 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29442 13073 16 0 208647 0
vsize: 834652
[startup+450.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 40108 57 0 0 16 0 10 0 477692095 854683648 29541 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29541 13073 16 0 208647 0
vsize: 834652
[startup+460.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 41020 58 0 0 16 0 10 0 477692095 854683648 29647 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29647 13073 16 0 208647 0
vsize: 834652
[startup+470.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 41926 58 0 0 16 0 10 0 477692095 854683648 29744 4294967295 134512640 134569956 3221224384 3221214576 1131154261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29744 13073 16 0 208647 0
vsize: 834652
[startup+480.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 42836 58 0 0 16 0 10 0 477692095 854683648 29844 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29844 13073 16 0 208647 0
vsize: 834652
[startup+490.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 43746 58 0 0 16 0 10 0 477692095 854683648 29943 4294967295 134512640 134569956 3221224384 3221214700 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 29943 13073 16 0 208647 0
vsize: 834652
[startup+500.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 44656 59 0 0 16 0 10 0 477692095 854683648 30044 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30044 13073 16 0 208647 0
vsize: 834652
[startup+510.075 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 45560 59 0 0 15 0 10 0 477692095 854683648 30155 4294967295 134512640 134569956 3221224384 3221214700 1080204144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30155 13073 16 0 208647 0
vsize: 834652
[startup+520.075 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 46471 60 0 0 16 0 10 0 477692095 854683648 30256 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30256 13073 16 0 208647 0
vsize: 834652
[startup+530.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 47383 60 0 0 16 0 10 0 477692095 854683648 30347 4294967295 134512640 134569956 3221224384 3221214176 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30347 13073 16 0 208647 0
vsize: 834652
[startup+540.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 48293 60 0 0 16 0 10 0 477692095 854683648 30442 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30442 13073 16 0 208647 0
vsize: 834652
[startup+550.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 49203 61 0 0 16 0 10 0 477692095 854683648 30535 4294967295 134512640 134569956 3221224384 3221214576 1131154388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30535 13073 16 0 208647 0
vsize: 834652
[startup+560.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 50112 61 0 0 16 0 10 0 477692095 854683648 30627 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30627 13073 16 0 208647 0
vsize: 834652
[startup+570.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 51014 62 0 0 16 0 10 0 477692095 854683648 30730 4294967295 134512640 134569956 3221224384 3221214576 1131154345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30730 13073 16 0 208647 0
vsize: 834652
[startup+580.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 51924 62 0 0 16 0 10 0 477692095 854683648 30823 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30823 13073 16 0 208647 0
vsize: 834652
[startup+590.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 52835 63 0 0 16 0 10 0 477692095 854683648 30914 4294967295 134512640 134569956 3221224384 3221214576 1131154279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 30914 13073 16 0 208647 0
vsize: 834652
[startup+600.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 53734 63 0 0 16 0 10 0 477692095 854683648 31026 4294967295 134512640 134569956 3221224384 3221214576 1131154246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 31026 13073 16 0 208647 0
vsize: 834652
[startup+610.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 54629 63 0 0 16 0 10 0 477692095 854683648 31124 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 31124 13073 16 0 208647 0
vsize: 834652
[startup+620.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 55532 63 0 0 16 0 10 0 477692095 854683648 31366 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 31366 13073 16 0 208647 0
vsize: 834652
[startup+630.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 56442 64 0 0 16 0 10 0 477692095 854683648 31456 4294967295 134512640 134569956 3221224384 3221214576 1131154412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 31456 13073 16 0 208647 0
vsize: 834652
[startup+640.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 57352 64 0 0 16 0 10 0 477692095 854683648 31543 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 31543 13073 16 0 208647 0
vsize: 834652
[startup+650.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 58261 65 0 0 16 0 10 0 477692095 854683648 31629 4294967295 134512640 134569956 3221224384 3221214576 1131154252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 31629 13073 16 0 208647 0
vsize: 834652
[startup+660.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 59169 65 0 0 16 0 10 0 477692095 854683648 31718 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 31718 13073 16 0 208647 0
vsize: 834652
[startup+670.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 60071 66 0 0 16 0 10 0 477692095 854683648 31812 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 31812 13073 16 0 208647 0
vsize: 834652
[startup+680.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 60983 66 0 0 16 0 10 0 477692095 854683648 31901 4294967295 134512640 134569956 3221224384 3221214176 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 31901 13073 16 0 208647 0
vsize: 834652
[startup+690.093 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 61896 66 0 0 16 0 10 0 477692095 854683648 31976 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 31976 13073 16 0 208647 0
vsize: 834652
[startup+700.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 62806 66 0 0 16 0 10 0 477692095 854683648 32051 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32051 13073 16 0 208647 0
vsize: 834652
[startup+710.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24366
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 63716 66 0 0 16 0 10 0 477692095 854683648 32129 4294967295 134512640 134569956 3221224384 3221214176 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32129 13073 16 0 208647 0
vsize: 834652
[startup+720.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 64625 66 0 0 16 0 10 0 477692095 854683648 32216 4294967295 134512640 134569956 3221224384 3221214080 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32216 13073 16 0 208647 0
vsize: 834652
[startup+730.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 65535 67 0 0 16 0 10 0 477692095 854683648 32298 4294967295 134512640 134569956 3221224384 3221214240 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32298 13073 16 0 208647 0
vsize: 834652
[startup+740.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 66448 67 0 0 16 0 10 0 477692095 854683648 32374 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32374 13073 16 0 208647 0
vsize: 834652
[startup+750.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 67361 67 0 0 16 0 10 0 477692095 854683648 32456 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32456 13073 16 0 208647 0
vsize: 834652
[startup+760.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 68270 67 0 0 16 0 10 0 477692095 854683648 32537 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32537 13073 16 0 208647 0
vsize: 834652
[startup+770.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 69178 67 0 0 16 0 10 0 477692095 854683648 32618 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32618 13073 16 0 208647 0
vsize: 834652
[startup+780.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 70087 67 0 0 16 0 10 0 477692095 854683648 32699 4294967295 134512640 134569956 3221224384 3221214576 1131154359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32699 13073 16 0 208647 0
vsize: 834652
[startup+790.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 70997 67 0 0 16 0 10 0 477692095 854683648 32778 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32778 13073 16 0 208647 0
vsize: 834652
[startup+800.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 71907 67 0 0 16 0 10 0 477692095 854683648 32854 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32854 13073 16 0 208647 0
vsize: 834652
[startup+810.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 72816 68 0 0 16 0 10 0 477692095 854683648 32934 4294967295 134512640 134569956 3221224384 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 32934 13073 16 0 208647 0
vsize: 834652
[startup+820.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 73725 68 0 0 16 0 10 0 477692095 854683648 33010 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33010 13073 16 0 208647 0
vsize: 834652
[startup+830.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 74634 68 0 0 16 0 10 0 477692095 854683648 33083 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 33083 13073 16 0 208647 0
vsize: 834652
[startup+840.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 75544 68 0 0 16 0 10 0 477692095 854683648 33160 4294967295 134512640 134569956 3221224384 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33160 13073 16 0 208647 0
vsize: 834652
[startup+850.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 76453 68 0 0 16 0 10 0 477692095 854683648 33231 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33231 13073 16 0 208647 0
vsize: 834652
[startup+860.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 77362 68 0 0 16 0 10 0 477692095 854683648 33300 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33300 13073 16 0 208647 0
vsize: 834652
[startup+870.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 78269 68 0 0 16 0 10 0 477692095 854683648 33376 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33376 13073 16 0 208647 0
vsize: 834652
[startup+880.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 79177 69 0 0 16 0 10 0 477692095 854683648 33449 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33449 13073 16 0 208647 0
vsize: 834652
[startup+890.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 80084 69 0 0 16 0 10 0 477692095 854683648 33525 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33525 13073 16 0 208647 0
vsize: 834652
[startup+900.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 80991 69 0 0 16 0 10 0 477692095 854683648 33599 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33599 13073 16 0 208647 0
vsize: 834652
[startup+910.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 81899 69 0 0 16 0 10 0 477692095 854683648 33669 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33669 13073 16 0 208647 0
vsize: 834652
[startup+920.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 82806 69 0 0 16 0 10 0 477692095 854683648 33738 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33738 13073 16 0 208647 0
vsize: 834652
[startup+930.12 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 83712 69 0 0 16 0 10 0 477692095 854683648 33809 4294967295 134512640 134569956 3221224384 3221214176 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33809 13073 16 0 208647 0
vsize: 834652
[startup+940.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 84618 69 0 0 16 0 10 0 477692095 854683648 33880 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33880 13073 16 0 208647 0
vsize: 834652
[startup+950.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 85531 69 0 0 16 0 10 0 477692095 854683648 33950 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 33950 13073 16 0 208647 0
vsize: 834652
[startup+960.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 86439 70 0 0 16 0 10 0 477692095 854683648 34020 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 34020 13073 16 0 208647 0
vsize: 834652
[startup+970.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 87346 70 0 0 16 0 10 0 477692095 854683648 34086 4294967295 134512640 134569956 3221224384 3221214576 1131154234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 34086 13073 16 0 208647 0
vsize: 834652
[startup+980.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 88254 70 0 0 16 0 10 0 477692095 854683648 34157 4294967295 134512640 134569956 3221224384 3221214576 1131154243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 34157 13073 16 0 208647 0
vsize: 834652
[startup+990.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 89162 70 0 0 16 0 10 0 477692095 854683648 34227 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 34227 13073 16 0 208647 0
vsize: 834652
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 90071 70 0 0 16 0 10 0 477692095 854683648 34290 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 34290 13073 16 0 208647 0
vsize: 834652
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24368
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 90979 70 0 0 16 0 10 0 477692095 854683648 34362 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 34362 13073 16 0 208647 0
vsize: 834652
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 91885 70 0 0 16 0 10 0 477692095 854683648 34428 4294967295 134512640 134569956 3221224384 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 34428 13073 16 0 208647 0
vsize: 834652
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 92797 70 0 0 16 0 10 0 477692095 854683648 35145 4294967295 134512640 134569956 3221224384 3221214168 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35145 13073 16 0 208647 0
vsize: 834652
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 93718 70 0 0 16 0 10 0 477692095 854683648 35145 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35145 13073 16 0 208647 0
vsize: 834652
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 94629 71 0 0 16 0 10 0 477692095 854683648 35145 4294967295 134512640 134569956 3221224384 3221214576 1131154377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35145 13073 16 0 208647 0
vsize: 834652
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 95528 71 0 0 16 0 10 0 477692095 854683648 35215 4294967295 134512640 134569956 3221224384 3221214176 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35215 13073 16 0 208647 0
vsize: 834652
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 96427 71 0 0 16 0 10 0 477692095 854683648 35282 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35282 13073 16 0 208647 0
vsize: 834652
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 97327 72 0 0 16 0 10 0 477692095 854683648 35357 4294967295 134512640 134569956 3221224384 3221214176 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 35357 13073 16 0 208647 0
vsize: 834652
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 98235 72 0 0 16 0 10 0 477692095 854683648 35408 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35408 13073 16 0 208647 0
vsize: 834652
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 99132 72 0 0 16 0 10 0 477692095 854683648 35476 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35476 13073 16 0 208647 0
vsize: 834652
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 100031 72 0 0 16 0 10 0 477692095 854683648 35545 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35545 13073 16 0 208647 0
vsize: 834652
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 100938 72 0 0 16 0 10 0 477692095 854683648 35604 4294967295 134512640 134569956 3221224384 3221214576 1131154412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35604 13073 16 0 208647 0
vsize: 834652
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 101837 72 0 0 16 0 10 0 477692095 854683648 35693 4294967295 134512640 134569956 3221224384 3221214168 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35693 13073 16 0 208647 0
vsize: 834652
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 102746 72 0 0 16 0 10 0 477692095 854683648 35744 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 35744 13073 16 0 208647 0
vsize: 834652
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 103645 73 0 0 16 0 10 0 477692095 854683648 35800 4294967295 134512640 134569956 3221224384 3221214576 1131154377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35800 13073 16 0 208647 0
vsize: 834652
[startup+1160.17 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 104544 73 0 0 16 0 10 0 477692095 854683648 35895 4294967295 134512640 134569956 3221224384 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 35895 13073 16 0 208647 0
vsize: 834652
[startup+1170.17 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 105456 73 0 0 16 0 10 0 477692095 854683648 35962 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 35962 13073 16 0 208647 0
vsize: 834652
[startup+1180.17 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 106355 73 0 0 16 0 10 0 477692095 854683648 35995 4294967295 134512640 134569956 3221224384 3221214576 1131154237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 35995 13073 16 0 208647 0
vsize: 834652
[startup+1190.17 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 107253 74 0 0 16 0 10 0 477692095 854683648 36062 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36062 13073 16 0 208647 0
vsize: 834652
[startup+1200.17 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 108157 75 0 0 16 0 10 0 477692095 854683648 36168 4294967295 134512640 134569956 3221224384 3221214176 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36168 13073 16 0 208647 0
vsize: 834652
[startup+1210.18 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 109060 75 0 0 16 0 10 0 477692095 854683648 36217 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36217 13073 16 0 208647 0
vsize: 834652
[startup+1220.18 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 109957 75 0 0 16 0 10 0 477692095 854683648 36303 4294967295 134512640 134569956 3221224384 3221214576 1131154395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36303 13073 16 0 208647 0
vsize: 834652
[startup+1230.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 110868 76 0 0 16 0 10 0 477692095 854683648 36330 4294967295 134512640 134569956 3221224384 3221214240 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36330 13073 16 0 208647 0
vsize: 834652
[startup+1240.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 111772 76 0 0 16 0 10 0 477692095 854683648 36411 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36411 13073 16 0 208647 0
vsize: 834652
[startup+1250.18 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 112679 77 0 0 16 0 10 0 477692095 854683648 36443 4294967295 134512640 134569956 3221224384 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36443 13073 16 0 208647 0
vsize: 834652
[startup+1260.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 113577 77 0 0 16 0 10 0 477692095 854683648 36550 4294967295 134512640 134569956 3221224384 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36550 13073 16 0 208647 0
vsize: 834652
[startup+1270.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 114479 77 0 0 16 0 10 0 477692095 854683648 36614 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36614 13073 16 0 208647 0
vsize: 834652
[startup+1280.18 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 115390 78 0 0 16 0 10 0 477692095 854683648 36657 4294967295 134512640 134569956 3221224384 3221214692 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36657 13073 16 0 208647 0
vsize: 834652
[startup+1290.18 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 116290 78 0 0 16 0 10 0 477692095 854683648 36732 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36732 13073 16 0 208647 0
vsize: 834652
[startup+1300.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 117192 79 0 0 16 0 10 0 477692095 854683648 36801 4294967295 134512640 134569956 3221224384 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208663 36801 13073 16 0 208647 0
vsize: 834652
[startup+1310.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24370
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 118099 79 0 0 16 0 10 0 477692095 854683648 36858 4294967295 134512640 134569956 3221224384 3221214240 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36858 13073 16 0 208647 0
vsize: 834652
[startup+1320.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24372
Raw data (stat): 24353 (java) S 24352 22929 22928 0 -1 0 18017 0 1 0 119006 80 0 0 16 0 10 0 477692095 854683648 36925 4294967295 134512640 134569956 3221224384 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36925 13073 16 0 208647 0
vsize: 834652
[startup+1330.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24372
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 119916 80 0 0 16 0 10 0 477692095 854683648 36946 4294967295 134512640 134569956 3221224384 3221214576 1131154349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 36946 13073 16 0 208647 0
vsize: 834652
[startup+1340.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24372
Raw data (stat): 24353 (java) R 24352 22929 22928 0 -1 0 18017 0 1 0 120817 81 0 0 16 0 10 0 477692095 854683648 37042 4294967295 134512640 134569956 3221224384 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208663 37042 13073 16 0 208647 0
vsize: 834652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 24373
Raw data (stat): 24353 (java) Z 24352 22929 22928 0 -1 1036 18017 18778 1 0 120821 81 13168 61 16 0 1 0 477692095 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): 1340.3
CPU time (s): 1341.32
CPU user time (s): 1339.89
CPU system time (s): 1.43178
CPU usage (%): 100.076
Max. virtual memory (Kb): 834652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####