Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb
MD5SUM96fe6be9d2b9e3e89a4b05733b0daf45
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 615983
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07084
Number of variables2124
Total number of constraints612
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint1
Maximum length of a constraint64

Trace number 29945 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 13:02:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21348 boxname=wulflinc26 idbench=1336 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  96fe6be9d2b9e3e89a4b05733b0daf45  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 21348
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        342052 kB
Buffers:         37260 kB
Cached:         632156 kB
SwapCached:        656 kB
Active:         157556 kB
Inactive:       514416 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        341800 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            14992 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:22:40 (client local time) WITH STATUS 143 IN 1224.56 SECONDS
stats: 21348 7 1224.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-vpm1.opb
c reading problem ... done. Time 4.612 ms.
c #vars     2124
c #constraints  486
c starts	: 7
c conflicts	: 2100
c decisions	: 22792
c propagations	: 60768
c inspects	: 4468797
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2100
c root simplifications	: 316
s UNKNOWN
c Total CPU time (ms) : 1229.178
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 4460
Raw data (stat): 4460 (runsolver) R 4459 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839089264 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0001 s]
Raw data (loadavg): 1.03 1.00 1.00 5/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18086 0 1 0 649 39 0 0 25 0 11 0 839089264 864948224 21391 4294967295 134512640 134569956 3221224368 3221214276 1130908194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 21403 13086 16 0 211153 0
vsize: 844676
[startup+20.0736 s]
Raw data (loadavg): 1.18 1.03 1.01 3/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18118 0 1 0 1355 39 0 0 25 0 11 0 839089264 874491904 24192 4294967295 134512640 134569956 3221224368 3221214488 1131313292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213499 24192 13086 16 0 213483 0
vsize: 853996
[startup+30.0927 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18119 0 1 0 2303 39 0 0 25 0 11 0 839089264 868749312 23282 4294967295 134512640 134569956 3221224368 3221214608 1131216025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 23282 13086 16 0 212081 0
vsize: 848388
[startup+40.0934 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18119 0 1 0 3230 39 0 0 25 0 11 0 839089264 868749312 23543 4294967295 134512640 134569956 3221224368 3221214668 1131162693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 23543 13086 16 0 212081 0
vsize: 848388
[startup+50.0937 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18119 0 1 0 4151 39 0 0 24 0 11 0 839089264 868749312 23777 4294967295 134512640 134569956 3221224368 3221214576 1131295262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 23777 13086 16 0 212081 0
vsize: 848388
[startup+60.0939 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 5108 40 0 0 24 0 11 0 839089264 868749312 24191 4294967295 134512640 134569956 3221224368 3221214672 1131567540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24191 13086 16 0 212081 0
vsize: 848388
[startup+70.0943 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 6081 40 0 0 25 0 11 0 839089264 868749312 24346 4294967295 134512640 134569956 3221224368 3221214272 1131607737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24346 13086 16 0 212081 0
vsize: 848388
[startup+80.0948 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 7062 40 0 0 24 0 11 0 839089264 868749312 24456 4294967295 134512640 134569956 3221224368 3221214856 1131291349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24456 13086 16 0 212081 0
vsize: 848388
[startup+90.0961 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 8048 40 0 0 25 0 11 0 839089264 868749312 24499 4294967295 134512640 134569956 3221224368 3221214576 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24499 13086 16 0 212081 0
vsize: 848388
[startup+100.096 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 9033 40 0 0 25 0 11 0 839089264 868749312 24575 4294967295 134512640 134569956 3221224368 3221214320 1085632273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24575 13086 16 0 212081 0
vsize: 848388
[startup+110.096 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 10023 40 0 0 25 0 11 0 839089264 868749312 24608 4294967295 134512640 134569956 3221224368 3221214672 1131566916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24608 13086 16 0 212081 0
vsize: 848388
[startup+120.097 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 11013 40 0 0 25 0 11 0 839089264 868749312 24632 4294967295 134512640 134569956 3221224368 3221214672 1131565413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24632 13086 16 0 212081 0
vsize: 848388
[startup+130.097 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 12002 40 0 0 25 0 11 0 839089264 868749312 24659 4294967295 134512640 134569956 3221224368 3221214664 1131162638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24659 13086 16 0 212081 0
vsize: 848388
[startup+140.097 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 12991 40 0 0 25 0 11 0 839089264 868749312 24680 4294967295 134512640 134569956 3221224368 3221214672 1131566988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24680 13086 16 0 212081 0
vsize: 848388
[startup+150.097 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 13980 40 0 0 25 0 11 0 839089264 868749312 24706 4294967295 134512640 134569956 3221224368 3221214320 1131606080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24706 13086 16 0 212081 0
vsize: 848388
[startup+160.097 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 14969 40 0 0 25 0 11 0 839089264 868749312 24732 4294967295 134512640 134569956 3221224368 3221214576 1131294462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24732 13086 16 0 212081 0
vsize: 848388
[startup+170.097 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 15959 40 0 0 25 0 11 0 839089264 868749312 24764 4294967295 134512640 134569956 3221224368 3221214576 1131293582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24764 13086 16 0 212081 0
vsize: 848388
[startup+180.097 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 16950 40 0 0 25 0 11 0 839089264 868749312 24790 4294967295 134512640 134569956 3221224368 3221214672 1131572496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24790 13086 16 0 212081 0
vsize: 848388
[startup+190.098 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 17939 40 0 0 25 0 11 0 839089264 868749312 24810 4294967295 134512640 134569956 3221224368 3221214140 1131606116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24810 13086 16 0 212081 0
vsize: 848388
[startup+200.098 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 4470
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 18928 40 0 0 25 0 11 0 839089264 868749312 24833 4294967295 134512640 134569956 3221224368 3221214552 1131293540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212097 24833 13086 16 0 212081 0
vsize: 848388
[startup+210.098 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 19918 41 0 0 25 0 11 0 839089264 868749312 24850 4294967295 134512640 134569956 3221224368 3221214644 1131193760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24850 13086 16 0 212081 0
vsize: 848388
[startup+220.099 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 20906 41 0 0 24 0 11 0 839089264 868749312 24880 4294967295 134512640 134569956 3221224368 3221214648 1131572251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24880 13086 16 0 212081 0
vsize: 848388
[startup+230.099 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 21896 41 0 0 25 0 11 0 839089264 868749312 24901 4294967295 134512640 134569956 3221224368 3221214552 1131293691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24901 13086 16 0 212081 0
vsize: 848388
[startup+240.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 22885 41 0 0 25 0 11 0 839089264 868749312 24916 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24916 13086 16 0 212081 0
vsize: 848388
[startup+250.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 23873 41 0 0 25 0 11 0 839089264 868749312 24951 4294967295 134512640 134569956 3221224368 3221214648 1131567540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24951 13086 16 0 212081 0
vsize: 848388
[startup+260.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 24863 41 0 0 24 0 11 0 839089264 868749312 24974 4294967295 134512640 134569956 3221224368 3221214560 1131193821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24974 13086 16 0 212081 0
vsize: 848388
[startup+270.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 25854 41 0 0 25 0 11 0 839089264 868749312 24991 4294967295 134512640 134569956 3221224368 3221214644 1131162604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 24991 13086 16 0 212081 0
vsize: 848388
[startup+280.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 26844 41 0 0 25 0 11 0 839089264 868749312 25009 4294967295 134512640 134569956 3221224368 3221214552 1131294511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25009 13086 16 0 212081 0
vsize: 848388
[startup+290.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 27834 42 0 0 25 0 11 0 839089264 868749312 25030 4294967295 134512640 134569956 3221224368 3221214648 1131567385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25030 13086 16 0 212081 0
vsize: 848388
[startup+300.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 28825 42 0 0 25 0 11 0 839089264 868749312 25048 4294967295 134512640 134569956 3221224368 3221214552 1131293544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25048 13086 16 0 212081 0
vsize: 848388
[startup+310.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 29814 42 0 0 25 0 11 0 839089264 868749312 25063 4294967295 134512640 134569956 3221224368 3221214648 1131565598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25063 13086 16 0 212081 0
vsize: 848388
[startup+320.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 30803 42 0 0 25 0 11 0 839089264 868749312 25084 4294967295 134512640 134569956 3221224368 3221214552 1131290372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25084 13086 16 0 212081 0
vsize: 848388
[startup+330.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 31793 42 0 0 25 0 11 0 839089264 868749312 25097 4294967295 134512640 134569956 3221224368 3221214552 1131293697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25097 13086 16 0 212081 0
vsize: 848388
[startup+340.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 32780 42 0 0 25 0 11 0 839089264 868749312 25129 4294967295 134512640 134569956 3221224368 3221214552 1131289716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25129 13086 16 0 212081 0
vsize: 848388
[startup+350.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 33767 43 0 0 25 0 11 0 839089264 868749312 25145 4294967295 134512640 134569956 3221224368 3221214552 1131293547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25145 13086 16 0 212081 0
vsize: 848388
[startup+360.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 34755 43 0 0 25 0 11 0 839089264 868749312 25164 4294967295 134512640 134569956 3221224368 3221214224 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25164 13086 16 0 212081 0
vsize: 848388
[startup+370.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 35744 43 0 0 25 0 11 0 839089264 868749312 25209 4294967295 134512640 134569956 3221224368 3221214552 1131293649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25209 13086 16 0 212081 0
vsize: 848388
[startup+380.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 36734 43 0 0 25 0 11 0 839089264 868749312 25224 4294967295 134512640 134569956 3221224368 3221214552 1131289739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25224 13086 16 0 212081 0
vsize: 848388
[startup+390.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 37725 43 0 0 25 0 11 0 839089264 868749312 25238 4294967295 134512640 134569956 3221224368 3221214552 1131289845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25238 13086 16 0 212081 0
vsize: 848388
[startup+400.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 38714 43 0 0 25 0 11 0 839089264 868749312 25251 4294967295 134512640 134569956 3221224368 3221214648 1131571974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25251 13086 16 0 212081 0
vsize: 848388
[startup+410.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 39704 43 0 0 25 0 11 0 839089264 868749312 25273 4294967295 134512640 134569956 3221224368 3221214648 1131566857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25273 13086 16 0 212081 0
vsize: 848388
[startup+420.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 40694 44 0 0 25 0 11 0 839089264 868749312 25287 4294967295 134512640 134569956 3221224368 3221214808 1131216025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25287 13086 16 0 212081 0
vsize: 848388
[startup+430.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 41684 44 0 0 25 0 11 0 839089264 868749312 25308 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25308 13086 16 0 212081 0
vsize: 848388
[startup+440.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 42675 44 0 0 25 0 11 0 839089264 868749312 25320 4294967295 134512640 134569956 3221224368 3221214552 1131293686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212097 25320 13086 16 0 212081 0
vsize: 848388
[startup+450.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 43667 44 0 0 25 0 11 0 839089264 868749312 25330 4294967295 134512640 134569956 3221224368 3221214648 1131572024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25330 13086 16 0 212081 0
vsize: 848388
[startup+460.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 44658 44 0 0 25 0 11 0 839089264 868749312 25347 4294967295 134512640 134569956 3221224368 3221214552 1131293471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25347 13086 16 0 212081 0
vsize: 848388
[startup+470.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 45648 44 0 0 24 0 11 0 839089264 868749312 25355 4294967295 134512640 134569956 3221224368 3221214648 1131572608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25355 13086 16 0 212081 0
vsize: 848388
[startup+480.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 46639 44 0 0 25 0 11 0 839089264 868749312 25366 4294967295 134512640 134569956 3221224368 3221214648 1131565601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25366 13086 16 0 212081 0
vsize: 848388
[startup+490.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 47629 44 0 0 25 0 11 0 839089264 868749312 25382 4294967295 134512640 134569956 3221224368 3221214080 1131606152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25382 13086 16 0 212081 0
vsize: 848388
[startup+500.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 48619 44 0 0 25 0 11 0 839089264 868749312 25391 4294967295 134512640 134569956 3221224368 3221214828 1130883254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25391 13086 16 0 212081 0
vsize: 848388
[startup+510.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 49609 45 0 0 25 0 11 0 839089264 868749312 25411 4294967295 134512640 134569956 3221224368 3221214552 1131294389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212097 25411 13086 16 0 212081 0
vsize: 848388
[startup+520.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 50599 45 0 0 25 0 11 0 839089264 868749312 25424 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25424 13086 16 0 212081 0
vsize: 848388
[startup+530.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 51589 45 0 0 22 0 11 0 839089264 868749312 25444 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25444 13086 16 0 212081 0
vsize: 848388
[startup+540.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 52579 45 0 0 25 0 11 0 839089264 868749312 25455 4294967295 134512640 134569956 3221224368 3221214552 1131293483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25455 13086 16 0 212081 0
vsize: 848388
[startup+550.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 53570 45 0 0 25 0 11 0 839089264 868749312 25467 4294967295 134512640 134569956 3221224368 3221214032 1131606119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25467 13086 16 0 212081 0
vsize: 848388
[startup+560.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 54561 45 0 0 25 0 11 0 839089264 868749312 25482 4294967295 134512640 134569956 3221224368 3221214552 1131293797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25482 13086 16 0 212081 0
vsize: 848388
[startup+570.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 55553 45 0 0 25 0 11 0 839089264 868749312 25490 4294967295 134512640 134569956 3221224368 3221214552 1131293561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25490 13086 16 0 212081 0
vsize: 848388
[startup+580.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 56544 45 0 0 25 0 11 0 839089264 868749312 25498 4294967295 134512640 134569956 3221224368 3221214648 1131565633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25498 13086 16 0 212081 0
vsize: 848388
[startup+590.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 57536 45 0 0 25 0 11 0 839089264 868749312 25506 4294967295 134512640 134569956 3221224368 3221214552 1131293813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25506 13086 16 0 212081 0
vsize: 848388
[startup+600.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 58528 45 0 0 25 0 11 0 839089264 868749312 25513 4294967295 134512640 134569956 3221224368 3221214352 1131606152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25513 13086 16 0 212081 0
vsize: 848388
[startup+610.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 59519 45 0 0 25 0 11 0 839089264 868749312 25524 4294967295 134512640 134569956 3221224368 3221214552 1131289839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25524 13086 16 0 212081 0
vsize: 848388
[startup+620.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 60510 46 0 0 25 0 11 0 839089264 868749312 25534 4294967295 134512640 134569956 3221224368 3221214648 1131567540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25534 13086 16 0 212081 0
vsize: 848388
[startup+630.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 61500 46 0 0 25 0 11 0 839089264 868749312 25546 4294967295 134512640 134569956 3221224368 3221214552 1131293587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25546 13086 16 0 212081 0
vsize: 848388
[startup+640.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 62491 46 0 0 25 0 11 0 839089264 868749312 25551 4294967295 134512640 134569956 3221224368 3221214648 1131574295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25551 13086 16 0 212081 0
vsize: 848388
[startup+650.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 63482 46 0 0 25 0 11 0 839089264 868749312 25562 4294967295 134512640 134569956 3221224368 3221214648 1131565552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25562 13086 16 0 212081 0
vsize: 848388
[startup+660.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 64472 46 0 0 25 0 11 0 839089264 868749312 25575 4294967295 134512640 134569956 3221224368 3221214140 1131607883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25575 13086 16 0 212081 0
vsize: 848388
[startup+670.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 65462 46 0 0 25 0 11 0 839089264 868749312 25587 4294967295 134512640 134569956 3221224368 3221214648 1131565633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25587 13086 16 0 212081 0
vsize: 848388
[startup+680.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 66452 46 0 0 25 0 11 0 839089264 868749312 25597 4294967295 134512640 134569956 3221224368 3221214072 1131609000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25597 13086 16 0 212081 0
vsize: 848388
[startup+690.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 67442 46 0 0 25 0 11 0 839089264 868749312 25607 4294967295 134512640 134569956 3221224368 3221214648 1131572017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25607 13086 16 0 212081 0
vsize: 848388
[startup+700.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 68432 46 0 0 25 0 11 0 839089264 868749312 25625 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25625 13086 16 0 212081 0
vsize: 848388
[startup+710.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 69422 46 0 0 25 0 11 0 839089264 868749312 25638 4294967295 134512640 134569956 3221224368 3221214808 1131216025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25638 13086 16 0 212081 0
vsize: 848388
[startup+720.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 70412 46 0 0 25 0 11 0 839089264 868749312 25645 4294967295 134512640 134569956 3221224368 3221214648 1131572956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25645 13086 16 0 212081 0
vsize: 848388
[startup+730.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 71403 46 0 0 25 0 11 0 839089264 868749312 25657 4294967295 134512640 134569956 3221224368 3221214552 1131293777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25657 13086 16 0 212081 0
vsize: 848388
[startup+740.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 72393 46 0 0 25 0 11 0 839089264 868749312 25669 4294967295 134512640 134569956 3221224368 3221214552 1131289765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25669 13086 16 0 212081 0
vsize: 848388
[startup+750.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 73384 46 0 0 25 0 11 0 839089264 868749312 25682 4294967295 134512640 134569956 3221224368 3221214648 1131565601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25682 13086 16 0 212081 0
vsize: 848388
[startup+760.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 74374 46 0 0 25 0 11 0 839089264 868749312 25688 4294967295 134512640 134569956 3221224368 3221214296 1131606146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25688 13086 16 0 212081 0
vsize: 848388
[startup+770.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 75365 46 0 0 25 0 11 0 839089264 868749312 25694 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25694 13086 16 0 212081 0
vsize: 848388
[startup+780.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 76355 46 0 0 25 0 11 0 839089264 868749312 25705 4294967295 134512640 134569956 3221224368 3221214552 1131294823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25705 13086 16 0 212081 0
vsize: 848388
[startup+790.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 77345 46 0 0 25 0 11 0 839089264 868749312 25710 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25710 13086 16 0 212081 0
vsize: 848388
[startup+800.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 78335 47 0 0 25 0 11 0 839089264 868749312 25733 4294967295 134512640 134569956 3221224368 3221214648 1131565397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25733 13086 16 0 212081 0
vsize: 848388
[startup+810.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 79324 47 0 0 25 0 11 0 839089264 868749312 25736 4294967295 134512640 134569956 3221224368 3221214552 1131293813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25736 13086 16 0 212081 0
vsize: 848388
[startup+820.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 80314 47 0 0 25 0 11 0 839089264 868749312 25746 4294967295 134512640 134569956 3221224368 3221214552 1131293468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25746 13086 16 0 212081 0
vsize: 848388
[startup+830.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 81304 47 0 0 25 0 11 0 839089264 868749312 25757 4294967295 134512640 134569956 3221224368 3221214552 1131293561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25757 13086 16 0 212081 0
vsize: 848388
[startup+840.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 82296 47 0 0 25 0 11 0 839089264 868749312 25773 4294967295 134512640 134569956 3221224368 3221214472 1131606127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25773 13086 16 0 212081 0
vsize: 848388
[startup+850.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 83286 47 0 0 25 0 11 0 839089264 868749312 25778 4294967295 134512640 134569956 3221224368 3221214648 1131566864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25778 13086 16 0 212081 0
vsize: 848388
[startup+860.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 84277 47 0 0 25 0 11 0 839089264 868749312 25789 4294967295 134512640 134569956 3221224368 3221214648 1131565677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25789 13086 16 0 212081 0
vsize: 848388
[startup+870.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 85268 48 0 0 25 0 11 0 839089264 868749312 25794 4294967295 134512640 134569956 3221224368 3221214144 1131607889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25794 13086 16 0 212081 0
vsize: 848388
[startup+880.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 86259 48 0 0 25 0 11 0 839089264 868749312 25801 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25801 13086 16 0 212081 0
vsize: 848388
[startup+890.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 87250 48 0 0 25 0 11 0 839089264 868749312 25810 4294967295 134512640 134569956 3221224368 3221214552 1131294476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25810 13086 16 0 212081 0
vsize: 848388
[startup+900.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 88241 48 0 0 25 0 11 0 839089264 868749312 25817 4294967295 134512640 134569956 3221224368 3221214648 1131565601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25817 13086 16 0 212081 0
vsize: 848388
[startup+910.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 89232 48 0 0 25 0 11 0 839089264 868749312 25820 4294967295 134512640 134569956 3221224368 3221214648 1131567540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25820 13086 16 0 212081 0
vsize: 848388
[startup+920.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 90223 48 0 0 25 0 11 0 839089264 868749312 25831 4294967295 134512640 134569956 3221224368 3221214648 1131567540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25831 13086 16 0 212081 0
vsize: 848388
[startup+930.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 91213 48 0 0 25 0 11 0 839089264 868749312 25838 4294967295 134512640 134569956 3221224368 3221214552 1131293859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25838 13086 16 0 212081 0
vsize: 848388
[startup+940.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 92202 49 0 0 25 0 11 0 839089264 868749312 25841 4294967295 134512640 134569956 3221224368 3221214648 1131567424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25841 13086 16 0 212081 0
vsize: 848388
[startup+950.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 93192 49 0 0 25 0 11 0 839089264 868749312 25844 4294967295 134512640 134569956 3221224368 3221214648 1131571912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25844 13086 16 0 212081 0
vsize: 848388
[startup+960.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 94181 49 0 0 21 0 11 0 839089264 868749312 25857 4294967295 134512640 134569956 3221224368 3221214552 1131293801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25857 13086 16 0 212081 0
vsize: 848388
[startup+970.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 95171 49 0 0 25 0 11 0 839089264 868749312 25870 4294967295 134512640 134569956 3221224368 3221214648 1131572024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25870 13086 16 0 212081 0
vsize: 848388
[startup+980.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 96160 49 0 0 25 0 11 0 839089264 868749312 25880 4294967295 134512640 134569956 3221224368 3221214648 1131565633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25880 13086 16 0 212081 0
vsize: 848388
[startup+990.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 97149 49 0 0 25 0 11 0 839089264 868749312 25886 4294967295 134512640 134569956 3221224368 3221214552 1131293738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25886 13086 16 0 212081 0
vsize: 848388
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 98138 49 0 0 25 0 11 0 839089264 868749312 25893 4294967295 134512640 134569956 3221224368 3221214600 1131300912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212097 25893 13086 16 0 212081 0
vsize: 848388
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 99113 49 0 0 25 0 11 0 839089264 868749312 25902 4294967295 134512640 134569956 3221224368 3221214648 1131566820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25902 13086 16 0 212081 0
vsize: 848388
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 100076 49 0 0 25 0 11 0 839089264 868749312 25914 4294967295 134512640 134569956 3221224368 3221214552 1131294348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25914 13086 16 0 212081 0
vsize: 848388
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 101040 49 0 0 25 0 11 0 839089264 868749312 25926 4294967295 134512640 134569956 3221224368 3221214644 1131193760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 25926 13086 16 0 212081 0
vsize: 848388
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 102005 49 0 0 25 0 11 0 839089264 868749312 26072 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26072 13086 16 0 212081 0
vsize: 848388
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 102987 50 0 0 25 0 11 0 839089264 868749312 26264 4294967295 134512640 134569956 3221224368 3221213952 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26264 13086 16 0 212081 0
vsize: 848388
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 103978 50 0 0 25 0 11 0 839089264 868749312 26298 4294967295 134512640 134569956 3221224368 3221214136 1131773743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26298 13086 16 0 212081 0
vsize: 848388
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 104968 50 0 0 25 0 11 0 839089264 868749312 26305 4294967295 134512640 134569956 3221224368 3221214552 1131295333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26305 13086 16 0 212081 0
vsize: 848388
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 105958 50 0 0 25 0 11 0 839089264 868749312 26314 4294967295 134512640 134569956 3221224368 3221213836 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26314 13086 16 0 212081 0
vsize: 848388
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 106948 50 0 0 25 0 11 0 839089264 868749312 26318 4294967295 134512640 134569956 3221224368 3221214552 1131293686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26318 13086 16 0 212081 0
vsize: 848388
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 107939 50 0 0 25 0 11 0 839089264 868749312 26324 4294967295 134512640 134569956 3221224368 3221214552 1131293590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26324 13086 16 0 212081 0
vsize: 848388
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 108931 50 0 0 25 0 11 0 839089264 868749312 26326 4294967295 134512640 134569956 3221224368 3221214336 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26326 13086 16 0 212081 0
vsize: 848388
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 109927 50 0 0 25 0 11 0 839089264 868749312 26334 4294967295 134512640 134569956 3221224368 3221214196 1131607888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26334 13086 16 0 212081 0
vsize: 848388
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18120 0 1 0 110908 50 0 0 25 0 11 0 839089264 868749312 26342 4294967295 134512640 134569956 3221224368 3221214056 1085679296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26342 13086 16 0 212081 0
vsize: 848388
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 111878 50 0 0 25 0 11 0 839089264 868749312 26348 4294967295 134512640 134569956 3221224368 3221214024 1131607378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26348 13086 16 0 212081 0
vsize: 848388
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 112833 50 0 0 25 0 11 0 839089264 868749312 26357 4294967295 134512640 134569956 3221224368 3221214552 1131293552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26357 13086 16 0 212081 0
vsize: 848388
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 113788 50 0 0 25 0 11 0 839089264 868749312 26360 4294967295 134512640 134569956 3221224368 3221213864 1131607864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26360 13086 16 0 212081 0
vsize: 848388
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 114732 51 0 0 25 0 11 0 839089264 868749312 26488 4294967295 134512640 134569956 3221224368 3221214644 1131162693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26488 13086 16 0 212081 0
vsize: 848388
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 115688 51 0 0 25 0 11 0 839089264 868749312 26742 4294967295 134512640 134569956 3221224368 3221214552 1131295298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26742 13086 16 0 212081 0
vsize: 848388
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 116654 51 0 0 25 0 11 0 839089264 868749312 26866 4294967295 134512640 134569956 3221224368 3221214016 1131606152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26866 13086 16 0 212081 0
vsize: 848388
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 117623 51 0 0 25 0 11 0 839089264 868749312 26998 4294967295 134512640 134569956 3221224368 3221214560 1131193810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 26998 13086 16 0 212081 0
vsize: 848388
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 118601 51 0 0 25 0 11 0 839089264 868749312 27088 4294967295 134512640 134569956 3221224368 3221214196 1131607888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 27088 13086 16 0 212081 0
vsize: 848388
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 119581 51 0 0 25 0 11 0 839089264 868749312 27189 4294967295 134512640 134569956 3221224368 3221214648 1131566988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 27189 13086 16 0 212081 0
vsize: 848388
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4472
Raw data (stat): 4460 (java) R 4459 20687 20686 0 -1 0 18121 0 1 0 120569 51 0 0 25 0 11 0 839089264 868749312 27271 4294967295 134512640 134569956 3221224368 3221214552 1131293601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212097 27271 13086 16 0 212081 0
vsize: 848388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4474
Raw data (stat): 4460 (java) Z 4459 20687 20686 0 -1 1036 18121 5383 1 0 120570 51 1808 24 25 0 1 0 839089264 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.22
CPU time (s): 1224.56
CPU user time (s): 1223.79
CPU system time (s): 0.764883
CPU usage (%): 99.5401
Max. virtual memory (Kb): 853996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####