Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab2.opb
MD5SUMe4125be387acbcc645dccab0e301ae8f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 3027
Biggest coefficient in the objective function 450560000000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 60439117299975427
Number of bits of the sum of numbers in the objective function 56
Biggest number in a constraint 450560000000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 60439117299975427
Number of bits of the biggest sum of numbers56
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.049991
Number of variables5220
Total number of constraints952
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)113
Number of constraints which are nor clauses,nor cardinality constraints839
Minimum length of a constraint1
Maximum length of a constraint114

Trace number 30001

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        698508 kB
Buffers:         32672 kB
Cached:         278560 kB
SwapCached:        412 kB
Active:          85440 kB
Inactive:       228096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        698256 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            16908 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:01:32 (client local time) WITH STATUS 143 IN 1238.46 SECONDS
stats: 21404 7 1238.46 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/wulflinc6/normalized-mps-v2-13-7-timtab2.opb
c reading problem ... done. Time 11.196 ms.
c #vars     5220
c #constraints  1079
c starts	: 10
c conflicts	: 9661
c decisions	: 12155
c propagations	: 67340
c inspects	: 4243852
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9661
c root simplifications	: 10
s UNKNOWN
c Total CPU time (ms) : 1239.076
#### 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.96 1.00 0.99 2/54 7767
Raw data (stat): 7767 (runsolver) R 7766 25568 25567 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 781092798 1052672 97 4294967295 134512640 135381576 3221224400 3221219840 134514522 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 0.96 1.00 0.99 2/63 7776
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18033 0 1 0 855 38 0 0 22 0 10 0 781092798 854200320 19575 4294967295 134512640 134569956 3221224368 3221214408 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208545 19575 13086 16 0 208529 0
vsize: 834180
[startup+20.0027 s]
Raw data (loadavg): 1.28 1.07 1.02 4/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18106 0 1 0 1729 39 0 0 25 0 11 0 781092798 869093376 24312 4294967295 134512640 134569956 3221224368 3221214488 1131247068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24312 13086 16 0 212165 0
vsize: 848724
[startup+30.0033 s]
Raw data (loadavg): 1.23 1.07 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18109 0 1 0 2612 39 0 0 25 0 11 0 781092798 869093376 25184 4294967295 134512640 134569956 3221224368 3221214496 1131627372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25184 13086 16 0 212165 0
vsize: 848724
[startup+40.0039 s]
Raw data (loadavg): 1.20 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18109 0 1 0 3562 39 0 0 25 0 11 0 781092798 869093376 25116 4294967295 134512640 134569956 3221224368 3221214664 1131419225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25116 13086 16 0 212165 0
vsize: 848724
[startup+50.005 s]
Raw data (loadavg): 1.17 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18109 0 1 0 4502 39 0 0 25 0 11 0 781092798 869093376 25116 4294967295 134512640 134569956 3221224368 3221214664 1131422718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25116 13086 16 0 212165 0
vsize: 848724
[startup+60.0057 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 5434 40 0 0 25 0 11 0 781092798 869093376 25259 4294967295 134512640 134569956 3221224368 3221214560 1131323006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25259 13086 16 0 212165 0
vsize: 848724
[startup+70.0119 s]
Raw data (loadavg): 1.12 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 6363 40 0 0 25 0 11 0 781092798 869093376 25606 4294967295 134512640 134569956 3221224368 3221214560 1131323994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25606 13086 16 0 212165 0
vsize: 848724
[startup+80.0162 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 7309 40 0 0 25 0 11 0 781092798 869093376 25817 4294967295 134512640 134569956 3221224368 3221214664 1131419185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25817 13086 16 0 212165 0
vsize: 848724
[startup+90.0172 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 8260 40 0 0 24 0 11 0 781092798 869093376 26042 4294967295 134512640 134569956 3221224368 3221214560 1131322996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26042 13086 16 0 212165 0
vsize: 848724
[startup+100.018 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 9224 40 0 0 25 0 11 0 781092798 869093376 26205 4294967295 134512640 134569956 3221224368 3221214512 1131246457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26205 13086 16 0 212165 0
vsize: 848724
[startup+110.019 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 10190 40 0 0 25 0 11 0 781092798 869093376 26292 4294967295 134512640 134569956 3221224368 3221214076 1131627408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26292 13086 16 0 212165 0
vsize: 848724
[startup+120.02 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 11158 40 0 0 25 0 11 0 781092798 869093376 26385 4294967295 134512640 134569956 3221224368 3221214512 1131246563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26385 13086 16 0 212165 0
vsize: 848724
[startup+130.02 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 12122 40 0 0 25 0 11 0 781092798 869093376 26486 4294967295 134512640 134569956 3221224368 3221214664 1131418170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26486 13086 16 0 212165 0
vsize: 848724
[startup+140.021 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 13091 40 0 0 25 0 11 0 781092798 869093376 26568 4294967295 134512640 134569956 3221224368 3221214336 1131622540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26568 13086 16 0 212165 0
vsize: 848724
[startup+150.022 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 14072 41 0 0 25 0 11 0 781092798 869093376 26608 4294967295 134512640 134569956 3221224368 3221213992 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26608 13086 16 0 212165 0
vsize: 848724
[startup+160.023 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 15051 41 0 0 25 0 11 0 781092798 869093376 26644 4294967295 134512640 134569956 3221224368 3221214488 1131246105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26644 13086 16 0 212165 0
vsize: 848724
[startup+170.024 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 16025 41 0 0 25 0 11 0 781092798 869093376 26682 4294967295 134512640 134569956 3221224368 3221214640 1131418170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26682 13086 16 0 212165 0
vsize: 848724
[startup+180.024 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 16988 41 0 0 24 0 11 0 781092798 869093376 26731 4294967295 134512640 134569956 3221224368 3221214184 1131625898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26731 13086 16 0 212165 0
vsize: 848724
[startup+190.026 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 17971 41 0 0 25 0 11 0 781092798 869093376 26748 4294967295 134512640 134569956 3221224368 3221214272 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26748 13086 16 0 212165 0
vsize: 848724
[startup+200.027 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 18954 41 0 0 25 0 11 0 781092798 869093376 26766 4294967295 134512640 134569956 3221224368 3221214736 1131371867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26766 13086 16 0 212165 0
vsize: 848724
[startup+210.028 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 19917 41 0 0 25 0 11 0 781092798 869093376 26929 4294967295 134512640 134569956 3221224368 3221214536 1131323059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26929 13086 16 0 212165 0
vsize: 848724
[startup+220.029 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 20899 41 0 0 25 0 11 0 781092798 869093376 26958 4294967295 134512640 134569956 3221224368 3221214296 1131626108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26958 13086 16 0 212165 0
vsize: 848724
[startup+230.031 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 21891 41 0 0 25 0 11 0 781092798 869093376 26988 4294967295 134512640 134569956 3221224368 3221214344 1131627861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 26988 13086 16 0 212165 0
vsize: 848724
[startup+240.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 22881 41 0 0 25 0 11 0 781092798 869093376 27024 4294967295 134512640 134569956 3221224368 3221214448 1131622922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 27024 13086 16 0 212165 0
vsize: 848724
[startup+250.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 23861 41 0 0 25 0 11 0 781092798 869093376 27150 4294967295 134512640 134569956 3221224368 3221214504 1131336874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 27150 13086 16 0 212165 0
vsize: 848724
[startup+260.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 24840 41 0 0 25 0 11 0 781092798 869093376 27316 4294967295 134512640 134569956 3221224368 3221214180 1131627849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 27316 13086 16 0 212165 0
vsize: 848724
[startup+270.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 25807 42 0 0 25 0 11 0 781092798 869093376 27551 4294967295 134512640 134569956 3221224368 3221214096 1131630080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 27551 13086 16 0 212165 0
vsize: 848724
[startup+280.03 s]
Raw data (loadavg): 1.16 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 26785 42 0 0 25 0 11 0 781092798 869093376 27669 4294967295 134512640 134569956 3221224368 3221214712 1131395708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27669 13086 16 0 212165 0
vsize: 848724
[startup+290.03 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 27751 42 0 0 25 0 11 0 781092798 869093376 27840 4294967295 134512640 134569956 3221224368 3221214080 1131627469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 27840 13086 16 0 212165 0
vsize: 848724
[startup+300.03 s]
Raw data (loadavg): 1.12 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 28719 42 0 0 25 0 11 0 781092798 869093376 27983 4294967295 134512640 134569956 3221224368 3221214348 1131627872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 27983 13086 16 0 212165 0
vsize: 848724
[startup+310.03 s]
Raw data (loadavg): 1.10 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 29688 42 0 0 25 0 11 0 781092798 869093376 28129 4294967295 134512640 134569956 3221224368 3221213708 1131627494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 28129 13086 16 0 212165 0
vsize: 848724
[startup+320.03 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 30655 42 0 0 25 0 11 0 781092798 869093376 28281 4294967295 134512640 134569956 3221224368 3221214504 1131335689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 28281 13086 16 0 212165 0
vsize: 848724
[startup+330.03 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 31623 42 0 0 25 0 11 0 781092798 869093376 28483 4294967295 134512640 134569956 3221224368 3221214408 1078020001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 28483 13086 16 0 212165 0
vsize: 848724
[startup+340.03 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 32582 42 0 0 25 0 11 0 781092798 869093376 28655 4294967295 134512640 134569956 3221224368 3221214536 1131324004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 28655 13086 16 0 212165 0
vsize: 848724
[startup+350.03 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 33533 42 0 0 25 0 11 0 781092798 869093376 28760 4294967295 134512640 134569956 3221224368 3221214184 1131626153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 28760 13086 16 0 212165 0
vsize: 848724
[startup+360.03 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 34484 42 0 0 25 0 11 0 781092798 869093376 28909 4294967295 134512640 134569956 3221224368 3221214636 1131322956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 28909 13086 16 0 212165 0
vsize: 848724
[startup+370.03 s]
Raw data (loadavg): 1.11 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 35436 42 0 0 25 0 11 0 781092798 869093376 29058 4294967295 134512640 134569956 3221224368 3221214216 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 29058 13086 16 0 212165 0
vsize: 848724
[startup+380.03 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 36389 42 0 0 25 0 11 0 781092798 869093376 29163 4294967295 134512640 134569956 3221224368 3221214416 1131627384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 29163 13086 16 0 212165 0
vsize: 848724
[startup+390.03 s]
Raw data (loadavg): 1.08 1.06 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 37344 42 0 0 25 0 11 0 781092798 869093376 29306 4294967295 134512640 134569956 3221224368 3221214536 1131323990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 29306 13086 16 0 212165 0
vsize: 848724
[startup+400.031 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 38294 43 0 0 25 0 11 0 781092798 869093376 29548 4294967295 134512640 134569956 3221224368 3221214640 1131419246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 29548 13086 16 0 212165 0
vsize: 848724
[startup+410.031 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 39257 43 0 0 25 0 11 0 781092798 869093376 29697 4294967295 134512640 134569956 3221224368 3221214536 1131323150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 29697 13086 16 0 212165 0
vsize: 848724
[startup+420.03 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 40214 43 0 0 25 0 11 0 781092798 869093376 29856 4294967295 134512640 134569956 3221224368 3221214536 1131323439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 29856 13086 16 0 212165 0
vsize: 848724
[startup+430.03 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 41186 43 0 0 25 0 11 0 781092798 869093376 29965 4294967295 134512640 134569956 3221224368 3221213944 1131627319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 29965 13086 16 0 212165 0
vsize: 848724
[startup+440.03 s]
Raw data (loadavg): 1.03 1.05 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 42146 43 0 0 25 0 11 0 781092798 869093376 30108 4294967295 134512640 134569956 3221224368 3221214384 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30108 13086 16 0 212165 0
vsize: 848724
[startup+450.03 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 43105 43 0 0 25 0 11 0 781092798 869093376 30263 4294967295 134512640 134569956 3221224368 3221214536 1131323723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 30263 13086 16 0 212165 0
vsize: 848724
[startup+460.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 44078 43 0 0 25 0 11 0 781092798 869093376 30364 4294967295 134512640 134569956 3221224368 3221214640 1131421873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30364 13086 16 0 212165 0
vsize: 848724
[startup+470.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 45037 43 0 0 25 0 11 0 781092798 869093376 30519 4294967295 134512640 134569956 3221224368 3221214488 1131267979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30519 13086 16 0 212165 0
vsize: 848724
[startup+480.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 46012 43 0 0 25 0 11 0 781092798 869093376 30632 4294967295 134512640 134569956 3221224368 3221214536 1131323439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30632 13086 16 0 212165 0
vsize: 848724
[startup+490.029 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 46987 43 0 0 25 0 11 0 781092798 869093376 30702 4294967295 134512640 134569956 3221224368 3221214108 1131627408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30702 13086 16 0 212165 0
vsize: 848724
[startup+500.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) S 7766 25568 25567 0 -1 0 18110 0 1 0 47960 44 0 0 25 0 11 0 781092798 869093376 30750 4294967295 134512640 134569956 3221224368 3221213176 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30750 13086 16 0 212165 0
vsize: 848724
[startup+510.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 48937 44 0 0 25 0 11 0 781092798 869093376 30869 4294967295 134512640 134569956 3221224368 3221214240 1131625898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30869 13086 16 0 212165 0
vsize: 848724
[startup+520.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 49912 44 0 0 25 0 11 0 781092798 869093376 30910 4294967295 134512640 134569956 3221224368 3221214244 1131627403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30910 13086 16 0 212165 0
vsize: 848724
[startup+530.033 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 50886 44 0 0 25 0 11 0 781092798 869093376 30995 4294967295 134512640 134569956 3221224368 3221214192 1131627388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 30995 13086 16 0 212165 0
vsize: 848724
[startup+540.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 51868 44 0 0 17 0 11 0 781092798 869093376 31041 4294967295 134512640 134569956 3221224368 3221214640 1131419229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31041 13086 16 0 212165 0
vsize: 848724
[startup+550.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 52849 44 0 0 25 0 11 0 781092798 869093376 31077 4294967295 134512640 134569956 3221224368 3221214136 1131627409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31077 13086 16 0 212165 0
vsize: 848724
[startup+560.034 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 53836 45 0 0 25 0 11 0 781092798 869093376 31098 4294967295 134512640 134569956 3221224368 3221214448 1131623002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31098 13086 16 0 212165 0
vsize: 848724
[startup+570.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) S 7766 25568 25567 0 -1 0 18110 0 1 0 54828 45 0 0 25 0 11 0 781092798 869093376 31105 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31105 13086 16 0 212165 0
vsize: 848724
[startup+580.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 55820 45 0 0 25 0 11 0 781092798 869093376 31118 4294967295 134512640 134569956 3221224368 3221214536 1131324184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31118 13086 16 0 212165 0
vsize: 848724
[startup+590.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 56807 45 0 0 25 0 11 0 781092798 869093376 31148 4294967295 134512640 134569956 3221224368 3221214432 1078033287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31148 13086 16 0 212165 0
vsize: 848724
[startup+600.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 57785 45 0 0 25 0 11 0 781092798 869093376 31167 4294967295 134512640 134569956 3221224368 3221213888 1131627348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31167 13086 16 0 212165 0
vsize: 848724
[startup+610.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 58768 45 0 0 25 0 11 0 781092798 869093376 31184 4294967295 134512640 134569956 3221224368 3221214232 1131626114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31184 13086 16 0 212165 0
vsize: 848724
[startup+620.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 59751 45 0 0 25 0 11 0 781092798 869093376 31202 4294967295 134512640 134569956 3221224368 3221214016 1131626066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31202 13086 16 0 212165 0
vsize: 848724
[startup+630.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 60732 45 0 0 25 0 11 0 781092798 869093376 31217 4294967295 134512640 134569956 3221224368 3221214408 1131626020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31217 13086 16 0 212165 0
vsize: 848724
[startup+640.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 61701 45 0 0 25 0 11 0 781092798 869093376 31296 4294967295 134512640 134569956 3221224368 3221214536 1131323403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31296 13086 16 0 212165 0
vsize: 848724
[startup+650.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 62680 45 0 0 25 0 11 0 781092798 869093376 31361 4294967295 134512640 134569956 3221224368 3221213992 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31361 13086 16 0 212165 0
vsize: 848724
[startup+660.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 63660 45 0 0 25 0 11 0 781092798 869093376 31420 4294967295 134512640 134569956 3221224368 3221214416 1131627356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 31420 13086 16 0 212165 0
vsize: 848724
[startup+670.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 64630 45 0 0 25 0 11 0 781092798 869093376 31523 4294967295 134512640 134569956 3221224368 3221214504 1131335839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31523 13086 16 0 212165 0
vsize: 848724
[startup+680.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 65610 45 0 0 25 0 11 0 781092798 869093376 31595 4294967295 134512640 134569956 3221224368 3221214124 1131627840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31595 13086 16 0 212165 0
vsize: 848724
[startup+690.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 66581 45 0 0 25 0 11 0 781092798 869093376 31698 4294967295 134512640 134569956 3221224368 3221214280 1131622768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31698 13086 16 0 212165 0
vsize: 848724
[startup+700.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 67561 46 0 0 25 0 11 0 781092798 869093376 31748 4294967295 134512640 134569956 3221224368 3221214640 1131420146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31748 13086 16 0 212165 0
vsize: 848724
[startup+710.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 68541 46 0 0 25 0 11 0 781092798 869093376 31828 4294967295 134512640 134569956 3221224368 3221213600 1131630277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31828 13086 16 0 212165 0
vsize: 848724
[startup+720.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 69511 46 0 0 25 0 11 0 781092798 869093376 31908 4294967295 134512640 134569956 3221224368 3221214536 1131323439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 31908 13086 16 0 212165 0
vsize: 848724
[startup+730.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 70491 46 0 0 25 0 11 0 781092798 869093376 31990 4294967295 134512640 134569956 3221224368 3221214352 1131625898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 31990 13086 16 0 212165 0
vsize: 848724
[startup+740.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 71462 46 0 0 25 0 11 0 781092798 869093376 32072 4294967295 134512640 134569956 3221224368 3221213912 1131627402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32072 13086 16 0 212165 0
vsize: 848724
[startup+750.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 72442 46 0 0 25 0 11 0 781092798 869093376 32148 4294967295 134512640 134569956 3221224368 3221214460 1131626121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32148 13086 16 0 212165 0
vsize: 848724
[startup+760.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 73423 46 0 0 25 0 11 0 781092798 869093376 32214 4294967295 134512640 134569956 3221224368 3221213600 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32214 13086 16 0 212165 0
vsize: 848724
[startup+770.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 74394 46 0 0 25 0 11 0 781092798 869093376 32282 4294967295 134512640 134569956 3221224368 3221214344 1131626111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32282 13086 16 0 212165 0
vsize: 848724
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 75365 46 0 0 25 0 11 0 781092798 869093376 32344 4294967295 134512640 134569956 3221224368 3221214080 1131627384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32344 13086 16 0 212165 0
vsize: 848724
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 76345 46 0 0 25 0 11 0 781092798 869093376 32405 4294967295 134512640 134569956 3221224368 3221213848 1131626066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32405 13086 16 0 212165 0
vsize: 848724
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 77316 46 0 0 25 0 11 0 781092798 869093376 32499 4294967295 134512640 134569956 3221224368 3221213992 1131629810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32499 13086 16 0 212165 0
vsize: 848724
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 78306 46 0 0 25 0 11 0 781092798 869093376 32499 4294967295 134512640 134569956 3221224368 3221213736 1131626076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32499 13086 16 0 212165 0
vsize: 848724
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 79295 46 0 0 25 0 11 0 781092798 869093376 32569 4294967295 134512640 134569956 3221224368 3221213944 1131627266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32569 13086 16 0 212165 0
vsize: 848724
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 80285 46 0 0 25 0 11 0 781092798 869093376 32638 4294967295 134512640 134569956 3221224368 3221214524 1131627352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32638 13086 16 0 212165 0
vsize: 848724
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 81274 46 0 0 25 0 11 0 781092798 869093376 32696 4294967295 134512640 134569956 3221224368 3221213776 1131627348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 32696 13086 16 0 212165 0
vsize: 848724
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 82263 47 0 0 25 0 11 0 781092798 869093376 32762 4294967295 134512640 134569956 3221224368 3221213736 1131626153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32762 13086 16 0 212165 0
vsize: 848724
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 83253 47 0 0 25 0 11 0 781092798 869093376 32821 4294967295 134512640 134569956 3221224368 3221213932 1131627872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32821 13086 16 0 212165 0
vsize: 848724
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 84231 47 0 0 25 0 11 0 781092798 869093376 32908 4294967295 134512640 134569956 3221224368 3221214048 1131630044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32908 13086 16 0 212165 0
vsize: 848724
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 85210 47 0 0 25 0 11 0 781092798 869093376 33002 4294967295 134512640 134569956 3221224368 3221214564 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33002 13086 16 0 212165 0
vsize: 848724
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 86190 47 0 0 25 0 11 0 781092798 869093376 33039 4294967295 134512640 134569956 3221224368 3221213960 1131626048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33039 13086 16 0 212165 0
vsize: 848724
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 87169 47 0 0 25 0 11 0 781092798 869093376 33097 4294967295 134512640 134569956 3221224368 3221213936 1131630040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33097 13086 16 0 212165 0
vsize: 848724
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 88138 47 0 0 25 0 11 0 781092798 869093376 33171 4294967295 134512640 134569956 3221224368 3221214576 1131626108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33171 13086 16 0 212165 0
vsize: 848724
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 89107 47 0 0 25 0 11 0 781092798 869093376 33218 4294967295 134512640 134569956 3221224368 3221214400 1131626111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33218 13086 16 0 212165 0
vsize: 848724
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 90075 47 0 0 20 0 11 0 781092798 869093376 33272 4294967295 134512640 134569956 3221224368 3221214556 1131625856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33272 13086 16 0 212165 0
vsize: 848724
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 91044 47 0 0 25 0 11 0 781092798 869093376 33324 4294967295 134512640 134569956 3221224368 3221214536 1131323908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33324 13086 16 0 212165 0
vsize: 848724
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 92012 47 0 0 25 0 11 0 781092798 869093376 33350 4294967295 134512640 134569956 3221224368 3221214216 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33350 13086 16 0 212165 0
vsize: 848724
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 92971 47 0 0 25 0 11 0 781092798 869093376 33513 4294967295 134512640 134569956 3221224368 3221214588 1131315212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33513 13086 16 0 212165 0
vsize: 848724
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 93937 47 0 0 25 0 11 0 781092798 869093376 33739 4294967295 134512640 134569956 3221224368 3221214776 1131589803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33739 13086 16 0 212165 0
vsize: 848724
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 94911 47 0 0 25 0 11 0 781092798 869093376 33900 4294967295 134512640 134569956 3221224368 3221214532 1131246048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33900 13086 16 0 212165 0
vsize: 848724
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 95887 48 0 0 25 0 11 0 781092798 869093376 34000 4294967295 134512640 134569956 3221224368 3221214024 1131627409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34000 13086 16 0 212165 0
vsize: 848724
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 96871 48 0 0 25 0 11 0 781092798 869093376 34069 4294967295 134512640 134569956 3221224368 3221214240 1131626062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34069 13086 16 0 212165 0
vsize: 848724
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 97851 48 0 0 25 0 11 0 781092798 869093376 34135 4294967295 134512640 134569956 3221224368 3221214536 1131323462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34135 13086 16 0 212165 0
vsize: 848724
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 98836 48 0 0 25 0 11 0 781092798 869093376 34188 4294967295 134512640 134569956 3221224368 3221214408 1076619281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34188 13086 16 0 212165 0
vsize: 848724
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 99817 48 0 0 25 0 11 0 781092798 869093376 34240 4294967295 134512640 134569956 3221224368 3221214592 1131343501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34240 13086 16 0 212165 0
vsize: 848724
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 100794 48 0 0 25 0 11 0 781092798 869093376 34307 4294967295 134512640 134569956 3221224368 3221213688 1131627377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34307 13086 16 0 212165 0
vsize: 848724
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 101776 48 0 0 24 0 11 0 781092798 869093376 34346 4294967295 134512640 134569956 3221224368 3221213880 1131630115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34346 13086 16 0 212165 0
vsize: 848724
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 102762 48 0 0 25 0 11 0 781092798 869093376 34378 4294967295 134512640 134569956 3221224368 3221214536 1131323347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34378 13086 16 0 212165 0
vsize: 848724
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 103743 48 0 0 25 0 11 0 781092798 869093376 34423 4294967295 134512640 134569956 3221224368 3221214468 1131627352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34423 13086 16 0 212165 0
vsize: 848724
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 104721 48 0 0 25 0 11 0 781092798 869093376 34490 4294967295 134512640 134569956 3221224368 3221214488 1131246449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34490 13086 16 0 212165 0
vsize: 848724
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 105703 48 0 0 25 0 11 0 781092798 869093376 34538 4294967295 134512640 134569956 3221224368 3221214536 1131323439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34538 13086 16 0 212165 0
vsize: 848724
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 106683 48 0 0 25 0 11 0 781092798 869093376 34595 4294967295 134512640 134569956 3221224368 3221213992 1131630020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34595 13086 16 0 212165 0
vsize: 848724
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 107663 49 0 0 25 0 11 0 781092798 869093376 34640 4294967295 134512640 134569956 3221224368 3221214248 1131627409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34640 13086 16 0 212165 0
vsize: 848724
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 108643 49 0 0 25 0 11 0 781092798 869093376 34698 4294967295 134512640 134569956 3221224368 3221214536 1131323403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34698 13086 16 0 212165 0
vsize: 848724
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 109628 49 0 0 25 0 11 0 781092798 869093376 34743 4294967295 134512640 134569956 3221224368 3221214536 1131323403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34743 13086 16 0 212165 0
vsize: 848724
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 110613 49 0 0 25 0 11 0 781092798 869093376 34783 4294967295 134512640 134569956 3221224368 3221214536 1131323640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34783 13086 16 0 212165 0
vsize: 848724
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7777
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 111595 49 0 0 25 0 11 0 781092798 869093376 34821 4294967295 134512640 134569956 3221224368 3221213768 1085679533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34821 13086 16 0 212165 0
vsize: 848724
[startup+1160.04 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 7830
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 112573 52 0 0 25 0 11 0 781092798 869093376 34857 4294967295 134512640 134569956 3221224368 3221213832 1131627409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34857 13086 16 0 212165 0
vsize: 848724
[startup+1170.04 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 7830
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 113558 52 0 0 19 0 11 0 781092798 869093376 34895 4294967295 134512640 134569956 3221224368 3221214216 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 34895 13086 16 0 212165 0
vsize: 848724
[startup+1180.04 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 7830
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 114541 52 0 0 19 0 11 0 781092798 869093376 34922 4294967295 134512640 134569956 3221224368 3221214536 1131323973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 34922 13086 16 0 212165 0
vsize: 848724
[startup+1190.04 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 7830
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 115524 53 0 0 23 0 11 0 781092798 869093376 34953 4294967295 134512640 134569956 3221224368 3221214188 1131627408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 34953 13086 16 0 212165 0
vsize: 848724
[startup+1200.04 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 7830
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 116508 53 0 0 25 0 11 0 781092798 869093376 34986 4294967295 134512640 134569956 3221224368 3221214432 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34986 13086 16 0 212165 0
vsize: 848724
[startup+1210.04 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 7830
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 117491 53 0 0 25 0 11 0 781092798 869093376 35020 4294967295 134512640 134569956 3221224368 3221213776 1131627384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 35020 13086 16 0 212165 0
vsize: 848724
[startup+1220.04 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 7830
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 118470 53 0 0 24 0 11 0 781092798 869093376 35064 4294967295 134512640 134569956 3221224368 3221214536 1131323403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 35064 13086 16 0 212165 0
vsize: 848724
[startup+1230.04 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7832
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 119449 54 0 0 24 0 11 0 781092798 869093376 35095 4294967295 134512640 134569956 3221224368 3221214248 1131627415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 35095 13086 16 0 212165 0
vsize: 848724
[startup+1240.04 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 7832
Raw data (stat): 7767 (java) R 7766 25568 25567 0 -1 0 18110 0 1 0 120429 54 0 0 17 0 11 0 781092798 869093376 35153 4294967295 134512640 134569956 3221224368 3221213680 1131626128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 35153 13086 16 0 212165 0
vsize: 848724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.13 s]
Raw data (loadavg): 1.04 1.02 1.00 1/54 7834
Raw data (stat): 7767 (java) Z 7766 25568 25567 0 -1 1036 18110 13499 1 0 120431 54 3328 31 18 0 1 0 781092798 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): 1240.13
CPU time (s): 1238.46
CPU user time (s): 1237.6
CPU system time (s): 0.863868
CPU usage (%): 99.8655
Max. virtual memory (Kb): 848724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####