Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
MD5SUM27d23262443a97061dfd41cca261928b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 240
Biggest coefficient in the objective function 1934281311383406679529881600000
Number of bits for the biggest coefficient in the objective function 101
Sum of the numbers in the objective function 3868562622766813359059763200000
Number of bits of the sum of numbers in the objective function 102
Biggest number in a constraint 1208925819614629174706176000000000
Number of bits of the biggest number in a constraint 110
Biggest sum of numbers in a constraint 2417851639229258349412352000000000
Number of bits of the biggest sum of numbers111
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1239.58
Number of variables240
Total number of constraints163
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)151
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint239

Trace number 29586 

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        500652 kB
Buffers:         34172 kB
Cached:         478452 kB
SwapCached:        640 kB
Active:          83120 kB
Inactive:       431956 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        500400 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13312 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:34:36 (client local time) WITH STATUS 143 IN 1239.58 SECONDS
stats: 20988 0 1239.58 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/wulflinc27/normalized-mps-v2-20-10-mas76.opb
c reading problem ... done. Time 1.443 ms.
c #vars     240
c #constraints  13
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM= 1759218604441600000 		Current CPU time: 1.78 ms
c CURRENT OPTIMUM=  879609302220800000 		Current CPU time: 2.19 ms
c CURRENT OPTIMUM=  439804651110400000 		Current CPU time: 2.43 ms
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 2.53 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 2.58 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 2.62 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 2.67 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 2.71 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 2.76 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 2.79 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 2.88 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 2.94 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 3.02 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 3.08 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 3.16 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 3.21 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 3.29 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 3.35 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 3.43 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 3.48 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 3.56 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 3.61 ms
c CURRENT OPTIMUM=        629145600000 		Current CPU time: 3.73 ms
c CURRENT OPTIMUM=        524288000000 		Current CPU time: 4.04 ms
c CURRENT OPTIMUM=        511180800000 		Current CPU time: 4.22 ms
c CURRENT OPTIMUM=        504627200000 		Current CPU time: 4.40 ms
c CURRENT OPTIMUM=        503808000000 		Current CPU time: 4.64 ms
c CURRENT OPTIMUM=        503603200000 		Current CPU time: 4.87 ms
c CURRENT OPTIMUM=        503552000000 		Current CPU time: 5.08 ms
c CURRENT OPTIMUM=        503526400000 		Current CPU time: 5.28 ms
c CURRENT OPTIMUM=        503513600000 		Current CPU time: 5.50 ms
c CURRENT OPTIMUM=        503507200000 		Current CPU time: 5.71 ms
c CURRENT OPTIMUM=        503504000000 		Current CPU time: 5.94 ms
c CURRENT OPTIMUM=        503503200000 		Current CPU time: 6.16 ms
c CURRENT OPTIMUM=        503502800000 		Current CPU time: 6.39 ms
c CURRENT OPTIMUM=        503502775000 		Current CPU time: 6.66 ms
c CURRENT OPTIMUM=        503502762500 		Current CPU time: 6.97 ms
c CURRENT OPTIMUM=        503502756250 		Current CPU time: 7.26 ms
c CURRENT OPTIMUM=        503502753125 		Current CPU time: 7.55 ms
c CURRENT OPTIMUM=        503502750032 		Current CPU time: 10.70 ms
c CURRENT OPTIMUM=        503502700480 		Current CPU time: 11.57 ms
c CURRENT OPTIMUM=        503502650480 		Current CPU time: 12.12 ms
c CURRENT OPTIMUM=        503502600480 		Current CPU time: 12.65 ms
c CURRENT OPTIMUM=        503502550480 		Current CPU time: 13.49 ms
c CURRENT OPTIMUM=        503502500480 		Current CPU time: 14.11 ms
c CURRENT OPTIMUM=        503502450480 		Current CPU time: 14.70 ms
c CURRENT OPTIMUM=        503502400480 		Current CPU time: 15.34 ms
c CURRENT OPTIMUM=        503501150480 		Current CPU time: 16.05 ms
c CURRENT OPTIMUM=        503501100480 		Current CPU time: 16.77 ms
c CURRENT OPTIMUM=        503501050480 		Current CPU time: 17.57 ms
c CURRENT OPTIMUM=        503501000480 		Current CPU time: 18.31 ms
c CURRENT OPTIMUM=        503500950480 		Current CPU time: 19.09 ms
c CURRENT OPTIMUM=        503500900480 		Current CPU time: 19.84 ms
c CURRENT OPTIMUM=        503500850480 		Current CPU time: 20.60 ms
c CURRENT OPTIMUM=        503500800480 		Current CPU time: 21.39 ms
c CURRENT OPTIMUM=        503400350480 		Current CPU time: 22.27 ms
c CURRENT OPTIMUM=        503400300480 		Current CPU time: 23.12 ms
c CURRENT OPTIMUM=        503400250480 		Current CPU time: 24.01 ms
c CURRENT OPTIMUM=        503400200480 		Current CPU time: 24.88 ms
c CURRENT OPTIMUM=        503400150480 		Current CPU time: 25.80 ms
c CURRENT OPTIMUM=        503400100480 		Current CPU time: 26.72 ms
c CURRENT OPTIMUM=        503400050480 		Current CPU time: 27.66 ms
c CURRENT OPTIMUM=        503400000480 		Current CPU time: 28.57 ms
c CURRENT OPTIMUM=        503398750480 		Current CPU time: 29.58 ms
c CURRENT OPTIMUM=        503398700480 		Current CPU time: 30.58 ms
c CURRENT OPTIMUM=        503398650480 		Current CPU time: 31.61 ms
c CURRENT OPTIMUM=        503398600480 		Current CPU time: 32.66 ms
c CURRENT OPTIMUM=        503398550480 		Current CPU time: 33.72 ms
c CURRENT OPTIMUM=        503398500480 		Current CPU time: 34.76 ms
c CURRENT OPTIMUM=        503398450480 		Current CPU time: 35.82 ms
c CURRENT OPTIMUM=        503398400480 		Current CPU time: 36.84 ms
c CURRENT OPTIMUM=        503093150480 		Current CPU time: 38.08 ms
c CURRENT OPTIMUM=        503093100480 		Current CPU time: 39.26 ms
c CURRENT OPTIMUM=        503093050480 		Current CPU time: 40.48 ms
c CURRENT OPTIMUM=        503093000480 		Current CPU time: 41.65 ms
c CURRENT OPTIMUM=        503092950480 		Current CPU time: 42.91 ms
c CURRENT OPTIMUM=        503092900480 		Current CPU time: 44.14 ms
c CURRENT OPTIMUM=        503092850480 		Current CPU time: 45.38 ms
c CURRENT OPTIMUM=        503092800480 		Current CPU time: 46.60 ms
c CURRENT OPTIMUM=        503091550480 		Current CPU time: 47.94 ms
c CURRENT OPTIMUM=        503091500480 		Current CPU time: 49.26 ms
c CURRENT OPTIMUM=        503091450480 		Current CPU time: 50.60 ms
c CURRENT OPTIMUM=        503091400480 		Current CPU time: 51.89 ms
c CURRENT OPTIMUM=        503091350480 		Current CPU time: 53.27 ms
c CURRENT OPTIMUM=        503091300480 		Current CPU time: 54.60 ms
c CURRENT OPTIMUM=        503091250480 		Current CPU time: 55.96 ms
c CURRENT OPTIMUM=        503091200480 		Current CPU time: 57.31 ms
c CURRENT OPTIMUM=        502990750480 		Current CPU time: 58.81 ms
c CURRENT OPTIMUM=        502990700480 		Current CPU time: 60.29 ms
c CURRENT OPTIMUM=        502990650480 		Current CPU time: 61.80 ms
c CURRENT OPTIMUM=        502990600480 		Current CPU time: 63.26 ms
c CURRENT OPTIMUM=        502990550480 		Current CPU time: 64.80 ms
c CURRENT OPTIMUM=        502990500480 		Current CPU time: 66.29 ms
c CURRENT OPTIMUM=        502990450480 		Current CPU time: 67.82 ms
c CURRENT OPTIMUM=        502990400480 		Current CPU time: 69.29 ms
c CURRENT OPTIMUM=        502989150480 		Current CPU time: 70.93 ms
c CURRENT OPTIMUM=        502989100480 		Current CPU time: 72.50 ms
c CURRENT OPTIMUM=        502989050480 		Current CPU time: 74.09 ms
c CURRENT OPTIMUM=        502989000480 		Current CPU time: 75.64 ms
c CURRENT OPTIMUM=        502988950480 		Current CPU time: 77.27 ms
c CURRENT OPTIMUM=        502988900480 		Current CPU time: 78.86 ms
c CURRENT OPTIMUM=        502988850480 		Current CPU time: 80.47 ms
c CURRENT OPTIMUM=        502988800480 		Current CPU time: 82.03 ms
c CURRENT OPTIMUM=        501864350480 		Current CPU time: 83.96 ms
c CURRENT OPTIMUM=        501864300480 		Current CPU time: 85.84 ms
c CURRENT OPTIMUM=        501864250480 		Current CPU time: 87.75 ms
c CURRENT OPTIMUM=        501864200480 		Current CPU time: 89.60 ms
c CURRENT OPTIMUM=        501864150480 		Current CPU time: 91.55 ms
c CURRENT OPTIMUM=        501864100480 		Current CPU time: 93.45 ms
c CURRENT OPTIMUM=        501864050480 		Current CPU time: 95.36 ms
c CURRENT OPTIMUM=        501864000480 		Current CPU time: 97.22 ms
c CURRENT OPTIMUM=        501862750480 		Current CPU time: 99.25 ms
c CURRENT OPTIMUM=        501862700480 		Current CPU time: 101.23 ms
c CURRENT OPTIMUM=        501862650480 		Current CPU time: 103.23 ms
c CURRENT OPTIMUM=        501862600480 		Current CPU time: 105.17 ms
c CURRENT OPTIMUM=        501862550480 		Current CPU time: 107.21 ms
c CURRENT OPTIMUM=        501862500480 		Current CPU time: 109.18 ms
c CURRENT OPTIMUM=        501862450480 		Current CPU time: 111.18 ms
c CURRENT OPTIMUM=        501862400480 		Current CPU time: 113.11 ms
c CURRENT OPTIMUM=        501761950480 		Current CPU time: 115.34 ms
c CURRENT OPTIMUM=        501761900480 		Current CPU time: 117.49 ms
c CURRENT OPTIMUM=        501761850480 		Current CPU time: 119.67 ms
c CURRENT OPTIMUM=        501761800480 		Current CPU time: 121.78 ms
c CURRENT OPTIMUM=        501761750480 		Current CPU time: 124.00 ms
c CURRENT OPTIMUM=        501761700480 		Current CPU time: 126.14 ms
c CURRENT OPTIMUM=        501761650480 		Current CPU time: 128.32 ms
c CURRENT OPTIMUM=        501761600480 		Current CPU time: 130.43 ms
c CURRENT OPTIMUM=        501760350480 		Current CPU time: 132.72 ms
c CURRENT OPTIMUM=        501760300480 		Current CPU time: 134.97 ms
c CURRENT OPTIMUM=        501760250480 		Current CPU time: 137.22 ms
c CURRENT OPTIMUM=        501760200480 		Current CPU time: 139.39 ms
c CURRENT OPTIMUM=        501760150480 		Current CPU time: 141.68 ms
c CURRENT OPTIMUM=        501760100480 		Current CPU time: 143.89 ms
c CURRENT OPTIMUM=        501760050480 		Current CPU time: 146.11 ms
c CURRENT OPTIMUM=        501760000480 		Current CPU time: 148.25 ms
c CURRENT OPTIMUM=        501454750480 		Current CPU time: 150.81 ms
c CURRENT OPTIMUM=        501454700480 		Current CPU time: 153.30 ms
c CURRENT OPTIMUM=        501454650480 		Current CPU time: 155.80 ms
c CURRENT OPTIMUM=        501454600480 		Current CPU time: 158.23 ms
c CURRENT OPTIMUM=        501454550480 		Current CPU time: 160.77 ms
c CURRENT OPTIMUM=        501454500480 		Current CPU time: 163.23 ms
c CURRENT OPTIMUM=        501454450480 		Current CPU time: 165.71 ms
c CURRENT OPTIMUM=        501454400480 		Current CPU time: 168.10 ms
c CURRENT OPTIMUM=        501453150480 		Current CPU time: 170.74 ms
c CURRENT OPTIMUM=        501453100480 		Current CPU time: 173.28 ms
c CURRENT OPTIMUM=        501453050480 		Current CPU time: 175.84 ms
c CURRENT OPTIMUM=        501453000480 		Current CPU time: 178.31 ms
c CURRENT OPTIMUM=        501452950480 		Current CPU time: 180.91 ms
c CURRENT OPTIMUM=        501452900480 		Current CPU time: 183.42 ms
c CURRENT OPTIMUM=        501452850480 		Current CPU time: 185.95 ms
c CURRENT OPTIMUM=        501452800480 		Current CPU time: 188.38 ms
c CURRENT OPTIMUM=        501352350480 		Current CPU time: 191.17 ms
c CURRENT OPTIMUM=        501352300480 		Current CPU time: 193.87 ms
c CURRENT OPTIMUM=        501352250480 		Current CPU time: 196.59 ms
c CURRENT OPTIMUM=        501352200480 		Current CPU time: 199.22 ms
c CURRENT OPTIMUM=        501352150480 		Current CPU time: 201.98 ms
c CURRENT OPTIMUM=        501352100480 		Current CPU time: 204.65 ms
c CURRENT OPTIMUM=        501352050480 		Current CPU time: 207.32 ms
c CURRENT OPTIMUM=        501352000480 		Current CPU time: 209.90 ms
c CURRENT OPTIMUM=        501350750480 		Current CPU time: 212.75 ms
c CURRENT OPTIMUM=        501350700480 		Current CPU time: 215.48 ms
c CURRENT OPTIMUM=        501350650480 		Current CPU time: 218.25 ms
c CURRENT OPTIMUM=        501350600480 		Current CPU time: 220.90 ms
c CURRENT OPTIMUM=        501350550480 		Current CPU time: 223.72 ms
c CURRENT OPTIMUM=        501350500480 		Current CPU time: 226.40 ms
c CURRENT OPTIMUM=        501350450480 		Current CPU time: 229.10 ms
c CURRENT OPTIMUM=        501350400480 		Current CPU time: 231.70 ms
c CURRENT OPTIMUM=        500225950480 		Current CPU time: 235.09 ms
c CURRENT OPTIMUM=        500225900480 		Current CPU time: 238.37 ms
c CURRENT OPTIMUM=        500225850480 		Current CPU time: 241.69 ms
c CURRENT OPTIMUM=        500225800480 		Current CPU time: 244.88 ms
c CURRENT OPTIMUM=        500225750480 		Current CPU time: 248.24 ms
c CURRENT OPTIMUM=        500225700480 		Current CPU time: 251.47 ms
c CURRENT OPTIMUM=        500225650480 		Current CPU time: 254.74 ms
c CURRENT OPTIMUM=        500225600480 		Current CPU time: 257.88 ms
c CURRENT OPTIMUM=        500224350480 		Current CPU time: 261.32 ms
c CURRENT OPTIMUM=        500224300480 		Current CPU time: 264.64 ms
c CURRENT OPTIMUM=        500224250480 		Current CPU time: 267.98 ms
c CURRENT OPTIMUM=        500224200480 		Current CPU time: 271.21 ms
c CURRENT OPTIMUM=        500224150480 		Current CPU time: 274.59 ms
c CURRENT OPTIMUM=        500224100480 		Current CPU time: 277.86 ms
c CURRENT OPTIMUM=        500224050480 		Current CPU time: 281.14 ms
c CURRENT OPTIMUM=        500224000480 		Current CPU time: 284.30 ms
c CURRENT OPTIMUM=        500123550480 		Current CPU time: 287.92 ms
c CURRENT OPTIMUM=        500123500480 		Current CPU time: 291.41 ms
c CURRENT OPTIMUM=        500123450480 		Current CPU time: 294.93 ms
c CURRENT OPTIMUM=        500123400480 		Current CPU time: 298.31 ms
c CURRENT OPTIMUM=        500123350480 		Current CPU time: 301.86 ms
c CURRENT OPTIMUM=        500123300480 		Current CPU time: 305.28 ms
c CURRENT OPTIMUM=        500123250480 		Current CPU time: 308.74 ms
c CURRENT OPTIMUM=        500123200480 		Current CPU time: 312.04 ms
c CURRENT OPTIMUM=        500121950480 		Current CPU time: 315.69 ms
c CURRENT OPTIMUM=        500121900480 		Current CPU time: 319.21 ms
c CURRENT OPTIMUM=        500121850480 		Current CPU time: 322.73 ms
c CURRENT OPTIMUM=        500121800480 		Current CPU time: 326.13 ms
c CURRENT OPTIMUM=        500121750480 		Current CPU time: 329.70 ms
c CURRENT OPTIMUM=        500121700480 		Current CPU time: 333.13 ms
c CURRENT OPTIMUM=        500121650480 		Current CPU time: 336.58 ms
c CURRENT OPTIMUM=        500121600480 		Current CPU time: 339.89 ms
c CURRENT OPTIMUM=        499816350480 		Current CPU time: 343.85 ms
c CURRENT OPTIMUM=        499816300480 		Current CPU time: 347.68 ms
c CURRENT OPTIMUM=        499816250480 		Current CPU time: 351.53 ms
c CURRENT OPTIMUM=        499816200480 		Current CPU time: 355.25 ms
c CURRENT OPTIMUM=        499816150480 		Current CPU time: 359.14 ms
c CURRENT OPTIMUM=        499816100480 		Current CPU time: 362.88 ms
c CURRENT OPTIMUM=        499816050480 		Current CPU time: 366.66 ms
c CURRENT OPTIMUM=        499816000480 		Current CPU time: 370.27 ms
c CURRENT OPTIMUM=        499814750480 		Current CPU time: 374.25 ms
c CURRENT OPTIMUM=        499814700480 		Current CPU time: 378.07 ms
c CURRENT OPTIMUM=        499814650480 		Current CPU time: 381.93 ms
c CURRENT OPTIMUM=        499814600480 		Current CPU time: 385.63 ms
c CURRENT OPTIMUM=        499814550480 		Current CPU time: 389.53 ms
c CURRENT OPTIMUM=        499814500480 		Current CPU time: 393.28 ms
c CURRENT OPTIMUM=        499814450480 		Current CPU time: 397.05 ms
c CURRENT OPTIMUM=        499814400480 		Current CPU time: 400.68 ms
c CURRENT OPTIMUM=        499713950480 		Current CPU time: 404.88 ms
c CURRENT OPTIMUM=        499713900480 		Current CPU time: 408.92 ms
c CURRENT OPTIMUM=        499713850480 		Current CPU time: 412.98 ms
c CURRENT OPTIMUM=        499713800480 		Current CPU time: 416.87 ms
c CURRENT OPTIMUM=        499713750480 		Current CPU time: 420.97 ms
c CURRENT OPTIMUM=        499713700480 		Current CPU time: 424.90 ms
c CURRENT OPTIMUM=        499713650480 		Current CPU time: 428.83 ms
c CURRENT OPTIMUM=        499713600480 		Current CPU time: 432.58 ms
c CURRENT OPTIMUM=        499712350480 		Current CPU time: 436.71 ms
c CURRENT OPTIMUM=        499712300480 		Current CPU time: 440.69 ms
c CURRENT OPTIMUM=        499712250480 		Current CPU time: 444.68 ms
c CURRENT OPTIMUM=        499712200480 		Current CPU time: 448.50 ms
c CURRENT OPTIMUM=        499712150480 		Current CPU time: 452.53 ms
c CURRENT OPTIMUM=        499712100480 		Current CPU time: 456.40 ms
c CURRENT OPTIMUM=        499712050480 		Current CPU time: 460.27 ms
c CURRENT OPTIMUM=        499712000480 		Current CPU time: 463.99 ms
c CURRENT OPTIMUM=        498587550480 		Current CPU time: 468.65 ms
c CURRENT OPTIMUM=        498587500480 		Current CPU time: 473.16 ms
c CURRENT OPTIMUM=        498587450480 		Current CPU time: 477.69 ms
c CURRENT OPTIMUM=        498587400480 		Current CPU time: 482.04 ms
c CURRENT OPTIMUM=        498587350480 		Current CPU time: 486.62 ms
c CURRENT OPTIMUM=        498587300480 		Current CPU time: 491.01 ms
c CURRENT OPTIMUM=        498587250480 		Current CPU time: 495.42 ms
c CURRENT OPTIMUM=        498587200480 		Current CPU time: 499.67 ms
c CURRENT OPTIMUM=        498585950480 		Current CPU time: 504.32 ms
c CURRENT OPTIMUM=        498585900480 		Current CPU time: 508.80 ms
c CURRENT OPTIMUM=        498585850480 		Current CPU time: 513.30 ms
c CURRENT OPTIMUM=        498585800480 		Current CPU time: 517.62 ms
c CURRENT OPTIMUM=        498585750480 		Current CPU time: 522.14 ms
c CURRENT OPTIMUM=        498585700480 		Current CPU time: 526.50 ms
c CURRENT OPTIMUM=        498585650480 		Current CPU time: 530.88 ms
c CURRENT OPTIMUM=        498585600480 		Current CPU time: 535.07 ms
c CURRENT OPTIMUM=        498485150480 		Current CPU time: 539.88 ms
c CURRENT OPTIMUM=        498485100480 		Current CPU time: 544.53 ms
c CURRENT OPTIMUM=        498485050480 		Current CPU time: 549.18 ms
c CURRENT OPTIMUM=        498485000480 		Current CPU time: 553.67 ms
c CURRENT OPTIMUM=        498484950480 		Current CPU time: 558.36 ms
c CURRENT OPTIMUM=        498484900480 		Current CPU time: 562.87 ms
c CURRENT OPTIMUM=        498484850480 		Current CPU time: 567.40 ms
c CURRENT OPTIMUM=        498484800480 		Current CPU time: 571.74 ms
c CURRENT OPTIMUM=        498483550480 		Current CPU time: 576.52 ms
c CURRENT OPTIMUM=        498483500480 		Current CPU time: 581.11 ms
c CURRENT OPTIMUM=        498483450480 		Current CPU time: 585.71 ms
c CURRENT OPTIMUM=        498483400480 		Current CPU time: 590.12 ms
c CURRENT OPTIMUM=        498483350480 		Current CPU time: 594.77 ms
c CURRENT OPTIMUM=        498483300480 		Current CPU time: 599.21 ms
c CURRENT OPTIMUM=        498483250480 		Current CPU time: 603.69 ms
c CURRENT OPTIMUM=        498483200480 		Current CPU time: 607.96 ms
c CURRENT OPTIMUM=        498177950480 		Current CPU time: 613.10 ms
c CURRENT OPTIMUM=        498177900480 		Current CPU time: 618.06 ms
c CURRENT OPTIMUM=        498177850480 		Current CPU time: 623.04 ms
c CURRENT OPTIMUM=        498177800480 		Current CPU time: 627.81 ms
c CURRENT OPTIMUM=        498177750480 		Current CPU time: 632.83 ms
c CURRENT OPTIMUM=        498177700480 		Current CPU time: 637.65 ms
c CURRENT OPTIMUM=        498177650480 		Current CPU time: 642.48 ms
c CURRENT OPTIMUM=        498177600480 		Current CPU time: 647.11 ms
c CURRENT OPTIMUM=        498176350480 		Current CPU time: 652.21 ms
c CURRENT OPTIMUM=        498176300480 		Current CPU time: 657.09 ms
c CURRENT OPTIMUM=        498176250480 		Current CPU time: 662.00 ms
c CURRENT OPTIMUM=        498176200480 		Current CPU time: 666.71 ms
c CURRENT OPTIMUM=        498176150480 		Current CPU time: 671.68 ms
c CURRENT OPTIMUM=        498176100480 		Current CPU time: 676.42 ms
c CURRENT OPTIMUM=        498176050480 		Current CPU time: 681.17 ms
c CURRENT OPTIMUM=        498176000480 		Current CPU time: 685.71 ms
c CURRENT OPTIMUM=        498075550480 		Current CPU time: 690.96 ms
c CURRENT OPTIMUM=        498075500480 		Current CPU time: 696.01 ms
c CURRENT OPTIMUM=        498075450480 		Current CPU time: 701.07 ms
c CURRENT OPTIMUM=        498075400480 		Current CPU time: 705.92 ms
c CURRENT OPTIMUM=        498075350480 		Current CPU time: 711.01 ms
c CURRENT OPTIMUM=        498075300480 		Current CPU time: 715.90 ms
c CURRENT OPTIMUM=        498075250480 		Current CPU time: 720.80 ms
c CURRENT OPTIMUM=        498075200480 		Current CPU time: 725.48 ms
c CURRENT OPTIMUM=        498073950480 		Current CPU time: 730.66 ms
c CURRENT OPTIMUM=        498073900480 		Current CPU time: 735.62 ms
c CURRENT OPTIMUM=        498073850480 		Current CPU time: 740.59 ms
c CURRENT OPTIMUM=        498073800480 		Current CPU time: 745.35 ms
c CURRENT OPTIMUM=        498073750480 		Current CPU time: 750.36 ms
c CURRENT OPTIMUM=        498073700480 		Current CPU time: 755.14 ms
c CURRENT OPTIMUM=        498073650480 		Current CPU time: 759.94 ms
c CURRENT OPTIMUM=        498073600480 		Current CPU time: 764.52 ms
c CURRENT OPTIMUM=        477288350480 		Current CPU time: 770.83 ms
c CURRENT OPTIMUM=        477288300480 		Current CPU time: 776.92 ms
c CURRENT OPTIMUM=        477288250480 		Current CPU time: 783.04 ms
c CURRENT OPTIMUM=        477288200480 		Current CPU time: 788.92 ms
c CURRENT OPTIMUM=        477288150480 		Current CPU time: 795.09 ms
c CURRENT OPTIMUM=        477288100480 		Current CPU time: 801.02 ms
c CURRENT OPTIMUM=        477288050480 		Current CPU time: 806.98 ms
c CURRENT OPTIMUM=        477288000480 		Current CPU time: 812.70 ms
c CURRENT OPTIMUM=        477286750480 		Current CPU time: 818.94 ms
c CURRENT OPTIMUM=        477286700480 		Current CPU time: 824.96 ms
c CURRENT OPTIMUM=        477286650480 		Current CPU time: 831.00 ms
c CURRENT OPTIMUM=        477286600480 		Current CPU time: 836.81 ms
c CURRENT OPTIMUM=        477286550480 		Current CPU time: 842.89 ms
c CURRENT OPTIMUM=        477286500480 		Current CPU time: 848.74 ms
c CURRENT OPTIMUM=        477286450480 		Current CPU time: 854.60 ms
c CURRENT OPTIMUM=        477286400480 		Current CPU time: 860.23 ms
c CURRENT OPTIMUM=        477185950480 		Current CPU time: 866.65 ms
c CURRENT OPTIMUM=        477185900480 		Current CPU time: 872.84 ms
c CURRENT OPTIMUM=        477185850480 		Current CPU time: 879.05 ms
c CURRENT OPTIMUM=        477185800480 		Current CPU time: 885.02 ms
c CURRENT OPTIMUM=        477185750480 		Current CPU time: 891.28 ms
c CURRENT OPTIMUM=        477185700480 		Current CPU time: 897.29 ms
c CURRENT OPTIMUM=        477185650480 		Current CPU time: 903.31 ms
c CURRENT OPTIMUM=        477185600480 		Current CPU time: 909.10 ms
c CURRENT OPTIMUM=        477184350480 		Current CPU time: 915.45 ms
c CURRENT OPTIMUM=        477184300480 		Current CPU time: 921.55 ms
c CURRENT OPTIMUM=        477184250480 		Current CPU time: 927.66 ms
c CURRENT OPTIMUM=        477184200480 		Current CPU time: 933.51 ms
c CURRENT OPTIMUM=        477184150480 		Current CPU time: 939.67 ms
c CURRENT OPTIMUM=        477184100480 		Current CPU time: 945.57 ms
c CURRENT OPTIMUM=        477184050480 		Current CPU time: 951.49 ms
c CURRENT OPTIMUM=        477184000480 		Current CPU time: 957.16 ms
c CURRENT OPTIMUM=        476878750480 		Current CPU time: 963.94 ms
c CURRENT OPTIMUM=        476878700480 		Current CPU time: 970.46 ms
c CURRENT OPTIMUM=        476878650480 		Current CPU time: 977.01 ms
c CURRENT OPTIMUM=        476878600480 		Current CPU time: 983.30 ms
c CURRENT OPTIMUM=        476878550480 		Current CPU time: 989.89 ms
c CURRENT OPTIMUM=        476878500480 		Current CPU time: 996.23 ms
c CURRENT OPTIMUM=        476878450480 		Current CPU time: 1002.57 ms
c CURRENT OPTIMUM=        476878400480 		Current CPU time: 1008.68 ms
c CURRENT OPTIMUM=        476877150480 		Current CPU time: 1015.34 ms
c CURRENT OPTIMUM=        476877100480 		Current CPU time: 1021.76 ms
c CURRENT OPTIMUM=        476877050480 		Current CPU time: 1028.20 ms
c CURRENT OPTIMUM=        476877000480 		Current CPU time: 1034.37 ms
c CURRENT OPTIMUM=        476876950480 		Current CPU time: 1040.84 ms
c CURRENT OPTIMUM=        476876900480 		Current CPU time: 1047.06 ms
c CURRENT OPTIMUM=        476876850480 		Current CPU time: 1053.29 ms
c CURRENT OPTIMUM=        476876800480 		Current CPU time: 1059.26 ms
c CURRENT OPTIMUM=        476776350480 		Current CPU time: 1066.11 ms
c CURRENT OPTIMUM=        476776300480 		Current CPU time: 1072.69 ms
c CURRENT OPTIMUM=        476776250480 		Current CPU time: 1079.29 ms
c CURRENT OPTIMUM=        476776200480 		Current CPU time: 1085.63 ms
c CURRENT OPTIMUM=        476776150480 		Current CPU time: 1092.27 ms
c CURRENT OPTIMUM=        476776100480 		Current CPU time: 1098.63 ms
c CURRENT OPTIMUM=        476776050480 		Current CPU time: 1105.03 ms
c CURRENT OPTIMUM=        476776000480 		Current CPU time: 1111.15 ms
c CURRENT OPTIMUM=        476774750480 		Current CPU time: 1117.88 ms
c CURRENT OPTIMUM=        476774700480 		Current CPU time: 1124.33 ms
c CURRENT OPTIMUM=        476774650480 		Current CPU time: 1130.80 ms
c CURRENT OPTIMUM=        476774600480 		Current CPU time: 1136.98 ms
c CURRENT OPTIMUM=        476774550480 		Current CPU time: 1143.49 ms
c CURRENT OPTIMUM=        476774500480 		Current CPU time: 1149.71 ms
c CURRENT OPTIMUM=        476774450480 		Current CPU time: 1155.96 ms
c CURRENT OPTIMUM=        476774400480 		Current CPU time: 1161.92 ms
c CURRENT OPTIMUM=        475649950480 		Current CPU time: 1169.40 ms
c CURRENT OPTIMUM=        475649900480 		Current CPU time: 1176.60 ms
c CURRENT OPTIMUM=        475649850480 		Current CPU time: 1183.83 ms
c CURRENT OPTIMUM=        475649800480 		Current CPU time: 1190.76 ms
c CURRENT OPTIMUM=        475649750480 		Current CPU time: 1198.03 ms
c CURRENT OPTIMUM=        475649700480 		Current CPU time: 1205.03 ms
c CURRENT OPTIMUM=        475649650480 		Current CPU time: 1212.03 ms
c CURRENT OPTIMUM=        475649600480 		Current CPU time: 1218.74 ms
c starts	: 368
c conflicts	: 1
c decisions	: 15768
c propagations	: 65671
c inspects	: 1344694
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 368
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 x122_bit0 -x123_bit0 -x124_bit0 x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 x133_bit0 x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 x150_bit0 -x151_bit_10 -x151_bit_9 -x151_bit_8 -x151_bit_7 -x151_bit_6 -x151_bit_5 -x151_bit_4 -x151_bit_3 -x151_bit_2 x151_bit_1 -x151_bit0 -x151_bit1 -x151_bit2 -x151_bit3 -x151_bit4 x151_bit5 -x151_bit6 x151_bit7 -x151_bit8 -x151_bit9 x151_bit10 -x151_bit11 -x151_bit12 -x151_bit13 x151_bit14 -x151_bit15 -x151_bit16 x151_bit17 -x151_bit18 -x151_bit19 -x151_bit20 -x151_bit21 -x151_bit22 -x151_bit23 -x151_bit24 -x151_bit25 -x151_bit26 -x151_bit27 -x151_bit28 -x151_bit29 -x151_bit30 -x151_bit31 -x151_bit32 -x151_bit33 -x151_bit34 -x151_bit35 -x151_bit36 -x151_bit37 -x151_bit38 -x151_bit39 -x151_bit40 -x151_bit41 -x151_bit42 -x151_bit43 -x151_bit44 -x151_bit45 -x151_bit46 -x151_bit47 -x151_bit48 -x151_bit49 -x151_bit50 -x151_bit51 -x151_bit52 -x151_bit53 -x151_bit54 -x151_bit55 -x151_bit56 -x151_bit57 -x151_bit58 -x151_bit59 -x151_bit60 -x151_bit61 -x151_bit62 -x151_bit63 -x151_bit64 -x151_bit65 -x151_bit66 -x151_bit67 -x151_bit68 -x151_bit69 -x151_bit70 -x151_bit71 -x151_bit72 -x151_bit73 -x151_bit74 -x151_bit75 -x151_bit76 -x151_bit77 -x151_bit78 -x151_bit79 
c objectif function=475649600480
c Total CPU time (ms) : 1219.429
#### 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.92 0.98 0.99 1/54 16627
Raw data (stat): 16627 (runsolver) R 16626 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837709602 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.01 1.00 1.00 3/64 16676
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18144 10 1 0 718 40 0 0 25 0 11 0 837709602 877846528 24085 4294967295 134512640 134569956 3221224368 3221214492 1130921217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214318 24085 13086 16 0 214302 0
vsize: 857272
[startup+20.0014 s]
Raw data (loadavg): 1.24 1.05 1.02 2/64 16688
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 1599 40 0 0 25 0 11 0 837709602 879075328 25109 4294967295 134512640 134569956 3221224368 3221214680 1131224940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214618 25109 13086 16 0 214602 0
vsize: 858472
[startup+30.0023 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 16700
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 2551 41 0 0 25 0 11 0 837709602 878223360 24892 4294967295 134512640 134569956 3221224368 3221214680 1131225439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 24892 13086 16 0 214394 0
vsize: 857640
[startup+40.0017 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 16709
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 3505 41 1 0 25 0 11 0 837709602 878223360 25240 4294967295 134512640 134569956 3221224368 3221214736 1131172598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25240 13086 16 0 214394 0
vsize: 857640
[startup+50.0029 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 16717
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 4486 42 1 0 25 0 11 0 837709602 878223360 25308 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25308 13086 16 0 214394 0
vsize: 857640
[startup+60.0028 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 16725
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 5467 43 1 0 25 0 11 0 837709602 878223360 25355 4294967295 134512640 134569956 3221224368 3221214680 1131224954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25355 13086 16 0 214394 0
vsize: 857640
[startup+70.0032 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 16731
Raw data (stat): 16627 (java) S 16626 3394 3393 0 -1 0 18147 10 1 0 6451 43 2 1 25 0 11 0 837709602 878223360 25420 4294967295 134512640 134569956 3221224368 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25420 13086 16 0 214394 0
vsize: 857640
[startup+80.0068 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 16738
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 7437 44 2 1 25 0 11 0 837709602 878223360 25470 4294967295 134512640 134569956 3221224368 3221214680 1131225603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25470 13086 16 0 214394 0
vsize: 857640
[startup+90.0073 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 16743
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 8425 44 2 1 25 0 11 0 837709602 878223360 25499 4294967295 134512640 134569956 3221224368 3221214752 1131230886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25499 13086 16 0 214394 0
vsize: 857640
[startup+100.008 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 16748
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 9413 44 2 1 25 0 11 0 837709602 878223360 25525 4294967295 134512640 134569956 3221224368 3221214680 1131225391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25525 13086 16 0 214394 0
vsize: 857640
[startup+110.009 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 16753
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 10403 44 3 1 25 0 11 0 837709602 878223360 25555 4294967295 134512640 134569956 3221224368 3221214680 1131225857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25555 13086 16 0 214394 0
vsize: 857640
[startup+120.011 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 16758
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 11388 45 3 1 25 0 11 0 837709602 878223360 25576 4294967295 134512640 134569956 3221224368 3221214680 1131225516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25576 13086 16 0 214394 0
vsize: 857640
[startup+130.011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 16763
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 12371 45 3 1 25 0 11 0 837709602 878223360 25597 4294967295 134512640 134569956 3221224368 3221214772 1131224908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25597 13086 16 0 214394 0
vsize: 857640
[startup+140.011 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 16767
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 13354 45 3 1 25 0 11 0 837709602 878223360 25645 4294967295 134512640 134569956 3221224368 3221214584 1131192552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25645 13086 16 0 214394 0
vsize: 857640
[startup+150.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 16772
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 14342 46 3 1 25 0 11 0 837709602 878223360 25691 4294967295 134512640 134569956 3221224368 3221214736 1131172544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25691 13086 16 0 214394 0
vsize: 857640
[startup+160.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 16776
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 15331 46 3 1 25 0 11 0 837709602 878223360 25742 4294967295 134512640 134569956 3221224368 3221214680 1131225523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25742 13086 16 0 214394 0
vsize: 857640
[startup+170.014 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 16780
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 16320 47 4 1 25 0 11 0 837709602 878223360 25759 4294967295 134512640 134569956 3221224368 3221214736 1131172537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25759 13086 16 0 214394 0
vsize: 857640
[startup+180.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16784
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 17309 47 4 1 25 0 11 0 837709602 878223360 25776 4294967295 134512640 134569956 3221224368 3221214680 1131225848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25776 13086 16 0 214394 0
vsize: 857640
[startup+190.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16788
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 18299 48 4 2 25 0 11 0 837709602 878223360 25793 4294967295 134512640 134569956 3221224368 3221214584 1131192565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25793 13086 16 0 214394 0
vsize: 857640
[startup+200.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16791
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 19289 48 4 2 25 0 11 0 837709602 878223360 25810 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25810 13086 16 0 214394 0
vsize: 857640
[startup+210.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16795
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 20278 48 4 2 25 0 11 0 837709602 878223360 25827 4294967295 134512640 134569956 3221224368 3221214776 1131233626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25827 13086 16 0 214394 0
vsize: 857640
[startup+220.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 16799
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 21268 49 4 2 25 0 11 0 837709602 878223360 25844 4294967295 134512640 134569956 3221224368 3221214680 1131225599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25844 13086 16 0 214394 0
vsize: 857640
[startup+230.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16802
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 22257 49 5 2 25 0 11 0 837709602 878223360 25861 4294967295 134512640 134569956 3221224368 3221214680 1131225377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25861 13086 16 0 214394 0
vsize: 857640
[startup+240.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16806
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 23246 50 5 2 25 0 11 0 837709602 878223360 25874 4294967295 134512640 134569956 3221224368 3221214680 1131225352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25874 13086 16 0 214394 0
vsize: 857640
[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16809
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 24236 50 5 2 25 0 11 0 837709602 878223360 25891 4294967295 134512640 134569956 3221224368 3221214680 1131225315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25891 13086 16 0 214394 0
vsize: 857640
[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 16812
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 25227 50 5 2 25 0 11 0 837709602 878223360 25908 4294967295 134512640 134569956 3221224368 3221214680 1131225643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25908 13086 16 0 214394 0
vsize: 857640
[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16815
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 26217 51 5 2 25 0 11 0 837709602 878223360 25921 4294967295 134512640 134569956 3221224368 3221214680 1131225805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214410 25921 13086 16 0 214394 0
vsize: 857640
[startup+280.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16818
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 27207 51 5 2 25 0 11 0 837709602 878223360 25934 4294967295 134512640 134569956 3221224368 3221214680 1131225809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25934 13086 16 0 214394 0
vsize: 857640
[startup+290.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16821
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 28198 51 5 2 25 0 11 0 837709602 878223360 25946 4294967295 134512640 134569956 3221224368 3221214776 1131233707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25946 13086 16 0 214394 0
vsize: 857640
[startup+300.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16824
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 29188 52 5 2 25 0 11 0 837709602 878223360 25959 4294967295 134512640 134569956 3221224368 3221214680 1131225391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25959 13086 16 0 214394 0
vsize: 857640
[startup+310.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16827
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 30178 52 5 2 25 0 11 0 837709602 878223360 25973 4294967295 134512640 134569956 3221224368 3221214776 1131234335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25973 13086 16 0 214394 0
vsize: 857640
[startup+320.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16829
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 31168 53 6 2 25 0 11 0 837709602 878223360 25986 4294967295 134512640 134569956 3221224368 3221214776 1131234412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25986 13086 16 0 214394 0
vsize: 857640
[startup+330.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16832
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 32159 53 6 2 25 0 11 0 837709602 878223360 25998 4294967295 134512640 134569956 3221224368 3221214736 1131172544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 25998 13086 16 0 214394 0
vsize: 857640
[startup+340.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16835
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 33149 54 6 2 25 0 11 0 837709602 878223360 26011 4294967295 134512640 134569956 3221224368 3221214680 1131225460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26011 13086 16 0 214394 0
vsize: 857640
[startup+350.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16838
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 34139 55 6 3 25 0 11 0 837709602 878223360 26024 4294967295 134512640 134569956 3221224368 3221214680 1131225969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26024 13086 16 0 214394 0
vsize: 857640
[startup+360.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 16840
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 35129 55 6 3 25 0 11 0 837709602 878223360 26032 4294967295 134512640 134569956 3221224368 3221214680 1131225599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26032 13086 16 0 214394 0
vsize: 857640
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16843
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 36120 55 6 3 25 0 11 0 837709602 878223360 26045 4294967295 134512640 134569956 3221224368 3221214680 1131225017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26045 13086 16 0 214394 0
vsize: 857640
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16846
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 37110 56 6 3 25 0 11 0 837709602 878223360 26058 4294967295 134512640 134569956 3221224368 3221214680 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26058 13086 16 0 214394 0
vsize: 857640
[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16848
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 38099 56 6 3 25 0 11 0 837709602 878223360 26071 4294967295 134512640 134569956 3221224368 3221214776 1131234348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26071 13086 16 0 214394 0
vsize: 857640
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16851
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 39088 57 6 3 25 0 11 0 837709602 878223360 26079 4294967295 134512640 134569956 3221224368 3221214680 1131225039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26079 13086 16 0 214394 0
vsize: 857640
[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16854
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 40066 57 6 3 25 0 11 0 837709602 878223360 26092 4294967295 134512640 134569956 3221224368 3221214680 1131225643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26092 13086 16 0 214394 0
vsize: 857640
[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16856
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 41045 58 6 3 25 0 11 0 837709602 878223360 26160 4294967295 134512640 134569956 3221224368 3221214680 1131225647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26160 13086 16 0 214394 0
vsize: 857640
[startup+430.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16859
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 42028 58 6 3 25 0 11 0 837709602 878223360 26269 4294967295 134512640 134569956 3221224368 3221214736 1131172602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26269 13086 16 0 214394 0
vsize: 857640
[startup+440.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16861
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 43018 59 7 3 25 0 11 0 837709602 878223360 26282 4294967295 134512640 134569956 3221224368 3221214680 1131225565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26282 13086 16 0 214394 0
vsize: 857640
[startup+450.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16864
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 44008 59 7 3 25 0 11 0 837709602 878223360 26294 4294967295 134512640 134569956 3221224368 3221214772 1131172751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26294 13086 16 0 214394 0
vsize: 857640
[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16866
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 44998 59 7 3 25 0 11 0 837709602 878223360 26307 4294967295 134512640 134569956 3221224368 3221214736 1131172643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26307 13086 16 0 214394 0
vsize: 857640
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16869
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18147 10 1 0 45988 59 7 3 25 0 11 0 837709602 878223360 26316 4294967295 134512640 134569956 3221224368 3221214736 1131172612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26316 13086 16 0 214394 0
vsize: 857640
[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16871
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 46978 60 7 3 25 0 11 0 837709602 878223360 26329 4294967295 134512640 134569956 3221224368 3221214680 1131224964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26329 13086 16 0 214394 0
vsize: 857640
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16873
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 47968 60 7 3 25 0 11 0 837709602 878223360 26338 4294967295 134512640 134569956 3221224368 3221214736 1131172561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26338 13086 16 0 214394 0
vsize: 857640
[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16875
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 48958 61 7 3 25 0 11 0 837709602 878223360 26347 4294967295 134512640 134569956 3221224368 3221214680 1131225023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26347 13086 16 0 214394 0
vsize: 857640
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16878
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 49949 61 7 3 25 0 11 0 837709602 878223360 26360 4294967295 134512640 134569956 3221224368 3221214680 1131225010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214410 26360 13086 16 0 214394 0
vsize: 857640
[startup+520.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16880
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 50939 61 7 3 25 0 11 0 837709602 878223360 26368 4294967295 134512640 134569956 3221224368 3221214676 1131193558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26368 13086 16 0 214394 0
vsize: 857640
[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16882
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 51929 62 7 3 25 0 11 0 837709602 878223360 26377 4294967295 134512640 134569956 3221224368 3221214680 1131225328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26377 13086 16 0 214394 0
vsize: 857640
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16884
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 52920 62 7 3 25 0 11 0 837709602 878223360 26385 4294967295 134512640 134569956 3221224368 3221214680 1131225458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26385 13086 16 0 214394 0
vsize: 857640
[startup+550.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16886
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 53910 62 7 3 25 0 11 0 837709602 878223360 26398 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26398 13086 16 0 214394 0
vsize: 857640
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16889
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 54899 63 8 3 25 0 11 0 837709602 878223360 26407 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26407 13086 16 0 214394 0
vsize: 857640
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16891
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 55890 63 8 3 25 0 11 0 837709602 878223360 26415 4294967295 134512640 134569956 3221224368 3221214776 1131234314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26415 13086 16 0 214394 0
vsize: 857640
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16893
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 56880 63 8 3 25 0 11 0 837709602 878223360 26424 4294967295 134512640 134569956 3221224368 3221214680 1131224954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26424 13086 16 0 214394 0
vsize: 857640
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16895
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 57870 64 8 3 25 0 11 0 837709602 878223360 26432 4294967295 134512640 134569956 3221224368 3221214680 1131225857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26432 13086 16 0 214394 0
vsize: 857640
[startup+600.041 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 16897
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 58859 64 8 3 25 0 11 0 837709602 878223360 26445 4294967295 134512640 134569956 3221224368 3221214680 1131225893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26445 13086 16 0 214394 0
vsize: 857640
[startup+610.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16900
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 59849 65 8 4 25 0 11 0 837709602 878223360 26453 4294967295 134512640 134569956 3221224368 3221214584 1131192926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26453 13086 16 0 214394 0
vsize: 857640
[startup+620.148 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 16902
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 60850 65 9 4 25 0 11 0 837709602 878223360 26462 4294967295 134512640 134569956 3221224368 3221214584 1131192552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26462 13086 16 0 214394 0
vsize: 857640
[startup+630.148 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16904
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 61840 65 9 4 25 0 11 0 837709602 878223360 26470 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26470 13086 16 0 214394 0
vsize: 857640
[startup+640.149 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16906
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 62829 66 9 4 25 0 11 0 837709602 878223360 26479 4294967295 134512640 134569956 3221224368 3221214680 1131225599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26479 13086 16 0 214394 0
vsize: 857640
[startup+650.153 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16908
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 63819 67 9 4 25 0 11 0 837709602 878223360 26488 4294967295 134512640 134569956 3221224368 3221214680 1131225377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26488 13086 16 0 214394 0
vsize: 857640
[startup+660.16 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16910
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 64809 68 9 4 25 0 11 0 837709602 878223360 26501 4294967295 134512640 134569956 3221224368 3221214680 1131225391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26501 13086 16 0 214394 0
vsize: 857640
[startup+670.161 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16912
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 65799 68 9 4 25 0 11 0 837709602 878223360 26510 4294967295 134512640 134569956 3221224368 3221214680 1131225281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26510 13086 16 0 214394 0
vsize: 857640
[startup+680.175 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16914
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 66791 68 9 4 25 0 11 0 837709602 878223360 26518 4294967295 134512640 134569956 3221224368 3221214680 1131225655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26518 13086 16 0 214394 0
vsize: 857640
[startup+690.175 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16916
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 67781 69 9 4 25 0 11 0 837709602 878223360 26526 4294967295 134512640 134569956 3221224368 3221214680 1131225565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26526 13086 16 0 214394 0
vsize: 857640
[startup+700.176 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16918
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 68771 69 9 4 25 0 11 0 837709602 878223360 26535 4294967295 134512640 134569956 3221224368 3221214680 1131225920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26535 13086 16 0 214394 0
vsize: 857640
[startup+710.184 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16920
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 69763 69 9 4 25 0 11 0 837709602 878223360 26543 4294967295 134512640 134569956 3221224368 3221214680 1131225651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26543 13086 16 0 214394 0
vsize: 857640
[startup+720.185 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16922
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 70753 70 9 4 25 0 11 0 837709602 878223360 26552 4294967295 134512640 134569956 3221224368 3221214680 1131225813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26552 13086 16 0 214394 0
vsize: 857640
[startup+730.186 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16924
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 71744 70 9 4 25 0 11 0 837709602 878223360 26560 4294967295 134512640 134569956 3221224368 3221214776 1131233384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26560 13086 16 0 214394 0
vsize: 857640
[startup+740.185 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16926
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 72734 71 9 4 25 0 11 0 837709602 878223360 26569 4294967295 134512640 134569956 3221224368 3221214736 1131172663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26569 13086 16 0 214394 0
vsize: 857640
[startup+750.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16928
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 73725 71 9 4 25 0 11 0 837709602 878223360 26577 4294967295 134512640 134569956 3221224368 3221214736 1131172561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26577 13086 16 0 214394 0
vsize: 857640
[startup+760.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16930
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 74715 72 9 4 25 0 11 0 837709602 878223360 26586 4294967295 134512640 134569956 3221224368 3221214584 1131193537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26586 13086 16 0 214394 0
vsize: 857640
[startup+770.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16932
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 75706 72 9 4 25 0 11 0 837709602 878223360 26594 4294967295 134512640 134569956 3221224368 3221214680 1131225611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26594 13086 16 0 214394 0
vsize: 857640
[startup+780.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16934
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 76697 72 9 4 25 0 11 0 837709602 878223360 26603 4294967295 134512640 134569956 3221224368 3221214680 1131225523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26603 13086 16 0 214394 0
vsize: 857640
[startup+790.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16936
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 77687 73 10 4 25 0 11 0 837709602 878223360 26611 4294967295 134512640 134569956 3221224368 3221214772 1131224908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26611 13086 16 0 214394 0
vsize: 857640
[startup+800.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16937
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 78678 73 10 4 25 0 11 0 837709602 878223360 26620 4294967295 134512640 134569956 3221224368 3221214680 1131224993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26620 13086 16 0 214394 0
vsize: 857640
[startup+810.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16939
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 79668 74 10 4 25 0 11 0 837709602 878223360 26629 4294967295 134512640 134569956 3221224368 3221214676 1131192480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26629 13086 16 0 214394 0
vsize: 857640
[startup+820.191 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16941
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 80659 74 10 4 25 0 11 0 837709602 878223360 26633 4294967295 134512640 134569956 3221224368 3221214680 1131225585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26633 13086 16 0 214394 0
vsize: 857640
[startup+830.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16942
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 81650 75 10 4 25 0 11 0 837709602 878223360 26642 4294967295 134512640 134569956 3221224368 3221214680 1131225706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26642 13086 16 0 214394 0
vsize: 857640
[startup+840.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16944
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 82640 75 10 5 25 0 11 0 837709602 878223360 26650 4294967295 134512640 134569956 3221224368 3221214680 1131225934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26650 13086 16 0 214394 0
vsize: 857640
[startup+850.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16946
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 83631 75 10 5 25 0 11 0 837709602 878223360 26654 4294967295 134512640 134569956 3221224368 3221214680 1131225585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26654 13086 16 0 214394 0
vsize: 857640
[startup+860.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16947
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 84622 76 10 5 25 0 11 0 837709602 878223360 26663 4294967295 134512640 134569956 3221224368 3221214736 1131172561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26663 13086 16 0 214394 0
vsize: 857640
[startup+870.194 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16949
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 85613 76 10 5 25 0 11 0 837709602 878223360 26671 4294967295 134512640 134569956 3221224368 3221214680 1131225017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26671 13086 16 0 214394 0
vsize: 857640
[startup+880.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16951
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 86604 77 10 5 25 0 11 0 837709602 878223360 26676 4294967295 134512640 134569956 3221224368 3221214680 1131225450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214410 26676 13086 16 0 214394 0
vsize: 857640
[startup+890.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16952
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 87594 77 10 5 25 0 11 0 837709602 878223360 26684 4294967295 134512640 134569956 3221224368 3221214772 1131224908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26684 13086 16 0 214394 0
vsize: 857640
[startup+900.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16954
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 88585 77 11 5 25 0 11 0 837709602 878223360 26688 4294967295 134512640 134569956 3221224368 3221214744 1131274640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26688 13086 16 0 214394 0
vsize: 857640
[startup+910.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16956
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 89575 78 11 5 25 0 11 0 837709602 878223360 26697 4294967295 134512640 134569956 3221224368 3221214680 1131225920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26697 13086 16 0 214394 0
vsize: 857640
[startup+920.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16957
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 90565 79 11 5 25 0 11 0 837709602 878223360 26705 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26705 13086 16 0 214394 0
vsize: 857640
[startup+930.3 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 16959
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 91565 80 11 5 25 0 11 0 837709602 878223360 26710 4294967295 134512640 134569956 3221224368 3221214680 1131224933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26710 13086 16 0 214394 0
vsize: 857640
[startup+940.3 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 16960
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 92554 81 11 5 25 0 11 0 837709602 878223360 26718 4294967295 134512640 134569956 3221224368 3221214736 1131172561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26718 13086 16 0 214394 0
vsize: 857640
[startup+950.308 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 16962
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 93546 81 11 5 25 0 11 0 837709602 878223360 26727 4294967295 134512640 134569956 3221224368 3221214680 1131225391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26727 13086 16 0 214394 0
vsize: 857640
[startup+960.317 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 16964
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 94537 82 11 5 25 0 11 0 837709602 878223360 26731 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26731 13086 16 0 214394 0
vsize: 857640
[startup+970.319 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 16965
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 95528 82 11 5 25 0 11 0 837709602 878223360 26739 4294967295 134512640 134569956 3221224368 3221214736 1131172544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26739 13086 16 0 214394 0
vsize: 857640
[startup+980.319 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16967
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 96518 83 11 5 25 0 11 0 837709602 878223360 26748 4294967295 134512640 134569956 3221224368 3221214680 1131224940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26748 13086 16 0 214394 0
vsize: 857640
[startup+990.32 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 16968
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 97509 83 11 5 25 0 11 0 837709602 878223360 26752 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26752 13086 16 0 214394 0
vsize: 857640
[startup+1000.32 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16970
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 98499 83 11 5 25 0 11 0 837709602 878223360 26761 4294967295 134512640 134569956 3221224368 3221214680 1131225271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26761 13086 16 0 214394 0
vsize: 857640
[startup+1010.32 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16972
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 99490 84 11 5 25 0 11 0 837709602 878223360 26765 4294967295 134512640 134569956 3221224368 3221214680 1131225941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26765 13086 16 0 214394 0
vsize: 857640
[startup+1020.32 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 16973
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 100480 84 11 5 25 0 11 0 837709602 878223360 26773 4294967295 134512640 134569956 3221224368 3221214680 1131225450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26773 13086 16 0 214394 0
vsize: 857640
[startup+1030.32 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16975
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 101470 84 11 5 25 0 11 0 837709602 878223360 26782 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26782 13086 16 0 214394 0
vsize: 857640
[startup+1040.32 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 16976
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 102461 85 11 5 25 0 11 0 837709602 878223360 26786 4294967295 134512640 134569956 3221224368 3221214736 1131172561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26786 13086 16 0 214394 0
vsize: 857640
[startup+1050.32 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16978
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 103451 86 11 5 25 0 11 0 837709602 878223360 26795 4294967295 134512640 134569956 3221224368 3221214680 1131225391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26795 13086 16 0 214394 0
vsize: 857640
[startup+1060.32 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 16980
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 104441 86 11 5 25 0 11 0 837709602 878223360 26799 4294967295 134512640 134569956 3221224368 3221214776 1131234392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26799 13086 16 0 214394 0
vsize: 857640
[startup+1070.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16981
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 105431 87 11 5 25 0 11 0 837709602 878223360 26807 4294967295 134512640 134569956 3221224368 3221214736 1131172655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26807 13086 16 0 214394 0
vsize: 857640
[startup+1080.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16983
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 106422 87 11 5 25 0 11 0 837709602 878223360 26812 4294967295 134512640 134569956 3221224368 3221214736 1131172602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26812 13086 16 0 214394 0
vsize: 857640
[startup+1090.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16984
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 107412 87 11 5 25 0 11 0 837709602 878223360 26820 4294967295 134512640 134569956 3221224368 3221214680 1131225349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26820 13086 16 0 214394 0
vsize: 857640
[startup+1100.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16986
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 108403 87 12 5 25 0 11 0 837709602 878223360 26829 4294967295 134512640 134569956 3221224368 3221214680 1131225010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26829 13086 16 0 214394 0
vsize: 857640
[startup+1110.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16987
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 109393 87 12 5 25 0 11 0 837709602 878223360 26833 4294967295 134512640 134569956 3221224368 3221214736 1131172544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26833 13086 16 0 214394 0
vsize: 857640
[startup+1120.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16989
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 110384 88 12 5 25 0 11 0 837709602 878223360 26841 4294967295 134512640 134569956 3221224368 3221214680 1131224929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26841 13086 16 0 214394 0
vsize: 857640
[startup+1130.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16990
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 111374 88 12 5 25 0 11 0 837709602 878223360 26846 4294967295 134512640 134569956 3221224368 3221214680 1131225458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26846 13086 16 0 214394 0
vsize: 857640
[startup+1140.33 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16992
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 112364 88 12 5 25 0 11 0 837709602 878223360 26854 4294967295 134512640 134569956 3221224368 3221214680 1131225972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26854 13086 16 0 214394 0
vsize: 857640
[startup+1150.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16993
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 113355 89 12 5 25 0 11 0 837709602 878223360 26858 4294967295 134512640 134569956 3221224368 3221214680 1131225569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26858 13086 16 0 214394 0
vsize: 857640
[startup+1160.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16995
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 114345 90 12 5 25 0 11 0 837709602 878223360 26867 4294967295 134512640 134569956 3221224368 3221214740 1131230816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26867 13086 16 0 214394 0
vsize: 857640
[startup+1170.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16997
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 115335 90 12 5 25 0 11 0 837709602 878223360 26871 4294967295 134512640 134569956 3221224368 3221214696 1131251910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26871 13086 16 0 214394 0
vsize: 857640
[startup+1180.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16998
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 116325 91 12 5 25 0 11 0 837709602 878223360 26880 4294967295 134512640 134569956 3221224368 3221214680 1131225435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26880 13086 16 0 214394 0
vsize: 857640
[startup+1190.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 16999
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 117316 91 12 5 25 0 11 0 837709602 878223360 26888 4294967295 134512640 134569956 3221224368 3221214680 1131225124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26888 13086 16 0 214394 0
vsize: 857640
[startup+1200.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17001
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 118306 91 12 5 25 0 11 0 837709602 878223360 26892 4294967295 134512640 134569956 3221224368 3221214584 1131192523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26892 13086 16 0 214394 0
vsize: 857640
[startup+1210.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17002
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 119297 92 12 5 25 0 11 0 837709602 878223360 26897 4294967295 134512640 134569956 3221224368 3221214740 1131330665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26897 13086 16 0 214394 0
vsize: 857640
[startup+1220.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17004
Raw data (stat): 16627 (java) R 16626 3394 3393 0 -1 0 18148 10 1 0 120287 92 12 5 25 0 11 0 837709602 878223360 26905 4294967295 134512640 134569956 3221224368 3221214676 1131192480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214410 26905 13086 16 0 214394 0
vsize: 857640
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.47 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 17006
Raw data (stat): 16627 (java) Z 16626 3394 3393 0 -1 1036 18148 21460 1 0 120294 97 3490 76 25 0 1 0 837709602 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): 1220.47
CPU time (s): 1239.58
CPU user time (s): 1237.84
CPU system time (s): 1.73773
CPU usage (%): 101.566
Max. virtual memory (Kb): 858472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	475649600480
#### END VERIFIER DATA ####