PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas74.opb
MD5SUM	2f4c0222752f2b0b93f11642562f283c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
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 numbers	111
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1229.69
Number of variables	240
Total number of constraints	164
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	151
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	239
Trace number 29653

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        206424 kB
Buffers:         36556 kB
Cached:         761660 kB
SwapCached:        716 kB
Active:          65024 kB
Inactive:       740028 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        206144 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            17436 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:22:48 (client local time) WITH STATUS 143 IN 1229.69 SECONDS
stats: 21054 0 1229.69 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/wulflinc20/normalized-mps-v2-20-10-mas74.opb
c reading problem ... done. Time 1.563 ms.
c #vars     240
c #constraints  14
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM= 1759218604441600000 		Current CPU time: 1.91 ms
c CURRENT OPTIMUM=  879609302220800000 		Current CPU time: 2.12 ms
c CURRENT OPTIMUM=  439804651110400000 		Current CPU time: 2.50 ms
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 2.63 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 2.78 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 2.92 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 3.16 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 3.25 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 3.31 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 3.50 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 3.54 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 3.64 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 3.69 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 3.78 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 3.83 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 3.89 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 3.96 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 4.07 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 4.16 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 4.21 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 4.23 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 4.28 ms
c CURRENT OPTIMUM=        629145600000 		Current CPU time: 4.37 ms
c CURRENT OPTIMUM=        524288000000 		Current CPU time: 4.56 ms
c CURRENT OPTIMUM=        511180800000 		Current CPU time: 4.75 ms
c CURRENT OPTIMUM=        504627200000 		Current CPU time: 4.99 ms
c CURRENT OPTIMUM=        503808000000 		Current CPU time: 5.26 ms
c CURRENT OPTIMUM=        503603200000 		Current CPU time: 5.49 ms
c CURRENT OPTIMUM=        503552000000 		Current CPU time: 5.67 ms
c CURRENT OPTIMUM=        503526400000 		Current CPU time: 5.85 ms
c CURRENT OPTIMUM=        503513600000 		Current CPU time: 6.06 ms
c CURRENT OPTIMUM=        503507200000 		Current CPU time: 6.25 ms
c CURRENT OPTIMUM=        503504000000 		Current CPU time: 6.47 ms
c CURRENT OPTIMUM=        503503200000 		Current CPU time: 6.68 ms
c CURRENT OPTIMUM=        503502800000 		Current CPU time: 6.89 ms
c CURRENT OPTIMUM=        503502775000 		Current CPU time: 7.14 ms
c CURRENT OPTIMUM=        503502762500 		Current CPU time: 7.43 ms
c CURRENT OPTIMUM=        503502756250 		Current CPU time: 7.70 ms
c CURRENT OPTIMUM=        503502753125 		Current CPU time: 7.98 ms
c CURRENT OPTIMUM=        503502750032 		Current CPU time: 11.18 ms
c CURRENT OPTIMUM=        503502700640 		Current CPU time: 11.79 ms
c CURRENT OPTIMUM=        503502650640 		Current CPU time: 12.38 ms
c CURRENT OPTIMUM=        503502600640 		Current CPU time: 12.98 ms
c CURRENT OPTIMUM=        503502550640 		Current CPU time: 13.58 ms
c CURRENT OPTIMUM=        503502500640 		Current CPU time: 14.22 ms
c CURRENT OPTIMUM=        503502450640 		Current CPU time: 14.89 ms
c CURRENT OPTIMUM=        503502400640 		Current CPU time: 15.56 ms
c CURRENT OPTIMUM=        503501150640 		Current CPU time: 16.30 ms
c CURRENT OPTIMUM=        503501100640 		Current CPU time: 17.01 ms
c CURRENT OPTIMUM=        503501050640 		Current CPU time: 17.77 ms
c CURRENT OPTIMUM=        503501000640 		Current CPU time: 18.55 ms
c CURRENT OPTIMUM=        503500950640 		Current CPU time: 19.37 ms
c CURRENT OPTIMUM=        503500900640 		Current CPU time: 20.20 ms
c CURRENT OPTIMUM=        503500850640 		Current CPU time: 21.05 ms
c CURRENT OPTIMUM=        503500800640 		Current CPU time: 21.90 ms
c CURRENT OPTIMUM=        503400350640 		Current CPU time: 22.86 ms
c CURRENT OPTIMUM=        503400300640 		Current CPU time: 23.81 ms
c CURRENT OPTIMUM=        503400250640 		Current CPU time: 24.82 ms
c CURRENT OPTIMUM=        503400200640 		Current CPU time: 25.80 ms
c CURRENT OPTIMUM=        503400150640 		Current CPU time: 26.83 ms
c CURRENT OPTIMUM=        503400100640 		Current CPU time: 27.85 ms
c CURRENT OPTIMUM=        503400050640 		Current CPU time: 28.89 ms
c CURRENT OPTIMUM=        503400000640 		Current CPU time: 29.96 ms
c CURRENT OPTIMUM=        503398750640 		Current CPU time: 31.09 ms
c CURRENT OPTIMUM=        503398700640 		Current CPU time: 32.21 ms
c CURRENT OPTIMUM=        503398650640 		Current CPU time: 33.40 ms
c CURRENT OPTIMUM=        503398600640 		Current CPU time: 34.53 ms
c CURRENT OPTIMUM=        503398550640 		Current CPU time: 35.70 ms
c CURRENT OPTIMUM=        503398500640 		Current CPU time: 36.87 ms
c CURRENT OPTIMUM=        503398450640 		Current CPU time: 38.05 ms
c CURRENT OPTIMUM=        503398400640 		Current CPU time: 39.22 ms
c CURRENT OPTIMUM=        503093150640 		Current CPU time: 40.57 ms
c CURRENT OPTIMUM=        503093100640 		Current CPU time: 41.91 ms
c CURRENT OPTIMUM=        503093050640 		Current CPU time: 43.28 ms
c CURRENT OPTIMUM=        503093000640 		Current CPU time: 44.62 ms
c CURRENT OPTIMUM=        503092950640 		Current CPU time: 46.03 ms
c CURRENT OPTIMUM=        503092900640 		Current CPU time: 47.43 ms
c CURRENT OPTIMUM=        503092850640 		Current CPU time: 48.83 ms
c CURRENT OPTIMUM=        503092800640 		Current CPU time: 50.24 ms
c CURRENT OPTIMUM=        503091550640 		Current CPU time: 51.75 ms
c CURRENT OPTIMUM=        503091500640 		Current CPU time: 53.24 ms
c CURRENT OPTIMUM=        503091450640 		Current CPU time: 54.76 ms
c CURRENT OPTIMUM=        503091400640 		Current CPU time: 56.24 ms
c CURRENT OPTIMUM=        503091350640 		Current CPU time: 57.81 ms
c CURRENT OPTIMUM=        503091300640 		Current CPU time: 59.35 ms
c CURRENT OPTIMUM=        503091250640 		Current CPU time: 60.90 ms
c CURRENT OPTIMUM=        503091200640 		Current CPU time: 62.43 ms
c CURRENT OPTIMUM=        502990750640 		Current CPU time: 64.15 ms
c CURRENT OPTIMUM=        502990700640 		Current CPU time: 65.83 ms
c CURRENT OPTIMUM=        502990650640 		Current CPU time: 67.54 ms
c CURRENT OPTIMUM=        502990600640 		Current CPU time: 69.21 ms
c CURRENT OPTIMUM=        502990550640 		Current CPU time: 70.97 ms
c CURRENT OPTIMUM=        502990500640 		Current CPU time: 72.70 ms
c CURRENT OPTIMUM=        502990450640 		Current CPU time: 74.44 ms
c CURRENT OPTIMUM=        502990400640 		Current CPU time: 76.15 ms
c CURRENT OPTIMUM=        502989150640 		Current CPU time: 78.01 ms
c CURRENT OPTIMUM=        502989100640 		Current CPU time: 79.82 ms
c CURRENT OPTIMUM=        502989050640 		Current CPU time: 81.68 ms
c CURRENT OPTIMUM=        502989000640 		Current CPU time: 83.48 ms
c CURRENT OPTIMUM=        502988950640 		Current CPU time: 85.36 ms
c CURRENT OPTIMUM=        502988900640 		Current CPU time: 87.20 ms
c CURRENT OPTIMUM=        502988850640 		Current CPU time: 89.07 ms
c CURRENT OPTIMUM=        502988800640 		Current CPU time: 90.89 ms
c CURRENT OPTIMUM=        501864350640 		Current CPU time: 93.08 ms
c CURRENT OPTIMUM=        501864300640 		Current CPU time: 95.23 ms
c CURRENT OPTIMUM=        501864250640 		Current CPU time: 97.41 ms
c CURRENT OPTIMUM=        501864200640 		Current CPU time: 99.55 ms
c CURRENT OPTIMUM=        501864150640 		Current CPU time: 101.77 ms
c CURRENT OPTIMUM=        501864100640 		Current CPU time: 103.95 ms
c CURRENT OPTIMUM=        501864050640 		Current CPU time: 106.16 ms
c CURRENT OPTIMUM=        501864000640 		Current CPU time: 108.30 ms
c CURRENT OPTIMUM=        501862750640 		Current CPU time: 110.64 ms
c CURRENT OPTIMUM=        501862700640 		Current CPU time: 112.91 ms
c CURRENT OPTIMUM=        501862650640 		Current CPU time: 115.21 ms
c CURRENT OPTIMUM=        501862600640 		Current CPU time: 117.46 ms
c CURRENT OPTIMUM=        501862550640 		Current CPU time: 119.82 ms
c CURRENT OPTIMUM=        501862500640 		Current CPU time: 122.11 ms
c CURRENT OPTIMUM=        501862450640 		Current CPU time: 124.43 ms
c CURRENT OPTIMUM=        501862400640 		Current CPU time: 126.69 ms
c CURRENT OPTIMUM=        501761950640 		Current CPU time: 129.24 ms
c CURRENT OPTIMUM=        501761900640 		Current CPU time: 131.72 ms
c CURRENT OPTIMUM=        501761850640 		Current CPU time: 134.24 ms
c CURRENT OPTIMUM=        501761800640 		Current CPU time: 136.69 ms
c CURRENT OPTIMUM=        501761750640 		Current CPU time: 139.27 ms
c CURRENT OPTIMUM=        501761700640 		Current CPU time: 141.77 ms
c CURRENT OPTIMUM=        501761650640 		Current CPU time: 144.28 ms
c CURRENT OPTIMUM=        501761600640 		Current CPU time: 146.74 ms
c CURRENT OPTIMUM=        501760350640 		Current CPU time: 149.40 ms
c CURRENT OPTIMUM=        501760300640 		Current CPU time: 151.98 ms
c CURRENT OPTIMUM=        501760250640 		Current CPU time: 154.59 ms
c CURRENT OPTIMUM=        501760200640 		Current CPU time: 157.12 ms
c CURRENT OPTIMUM=        501760150640 		Current CPU time: 159.79 ms
c CURRENT OPTIMUM=        501760100640 		Current CPU time: 162.36 ms
c CURRENT OPTIMUM=        501760050640 		Current CPU time: 164.96 ms
c CURRENT OPTIMUM=        501760000640 		Current CPU time: 167.48 ms
c CURRENT OPTIMUM=        501454750640 		Current CPU time: 170.43 ms
c CURRENT OPTIMUM=        501454700640 		Current CPU time: 173.29 ms
c CURRENT OPTIMUM=        501454650640 		Current CPU time: 176.19 ms
c CURRENT OPTIMUM=        501454600640 		Current CPU time: 179.01 ms
c CURRENT OPTIMUM=        501454550640 		Current CPU time: 181.95 ms
c CURRENT OPTIMUM=        501454500640 		Current CPU time: 184.84 ms
c CURRENT OPTIMUM=        501454450640 		Current CPU time: 187.75 ms
c CURRENT OPTIMUM=        501454400640 		Current CPU time: 190.60 ms
c CURRENT OPTIMUM=        501453150640 		Current CPU time: 193.65 ms
c CURRENT OPTIMUM=        501453100640 		Current CPU time: 196.64 ms
c CURRENT OPTIMUM=        501453050640 		Current CPU time: 199.65 ms
c CURRENT OPTIMUM=        501453000640 		Current CPU time: 202.58 ms
c CURRENT OPTIMUM=        501452950640 		Current CPU time: 205.64 ms
c CURRENT OPTIMUM=        501452900640 		Current CPU time: 208.62 ms
c CURRENT OPTIMUM=        501452850640 		Current CPU time: 211.61 ms
c CURRENT OPTIMUM=        501452800640 		Current CPU time: 214.53 ms
c CURRENT OPTIMUM=        501352350640 		Current CPU time: 217.78 ms
c CURRENT OPTIMUM=        501352300640 		Current CPU time: 220.96 ms
c CURRENT OPTIMUM=        501352250640 		Current CPU time: 224.16 ms
c CURRENT OPTIMUM=        501352200640 		Current CPU time: 227.28 ms
c CURRENT OPTIMUM=        501352150640 		Current CPU time: 230.53 ms
c CURRENT OPTIMUM=        501352100640 		Current CPU time: 233.69 ms
c CURRENT OPTIMUM=        501352050640 		Current CPU time: 236.86 ms
c CURRENT OPTIMUM=        501352000640 		Current CPU time: 239.95 ms
c CURRENT OPTIMUM=        501350750640 		Current CPU time: 243.29 ms
c CURRENT OPTIMUM=        501350700640 		Current CPU time: 246.54 ms
c CURRENT OPTIMUM=        501350650640 		Current CPU time: 249.82 ms
c CURRENT OPTIMUM=        501350600640 		Current CPU time: 252.99 ms
c CURRENT OPTIMUM=        501350550640 		Current CPU time: 256.30 ms
c CURRENT OPTIMUM=        501350500640 		Current CPU time: 259.53 ms
c CURRENT OPTIMUM=        501350450640 		Current CPU time: 262.77 ms
c CURRENT OPTIMUM=        501350400640 		Current CPU time: 265.90 ms
c CURRENT OPTIMUM=        500225950640 		Current CPU time: 269.81 ms
c CURRENT OPTIMUM=        500225900640 		Current CPU time: 273.63 ms
c CURRENT OPTIMUM=        500225850640 		Current CPU time: 277.47 ms
c CURRENT OPTIMUM=        500225800640 		Current CPU time: 281.23 ms
c CURRENT OPTIMUM=        500225750640 		Current CPU time: 285.12 ms
c CURRENT OPTIMUM=        500225700640 		Current CPU time: 288.91 ms
c CURRENT OPTIMUM=        500225650640 		Current CPU time: 292.73 ms
c CURRENT OPTIMUM=        500225600640 		Current CPU time: 296.43 ms
c CURRENT OPTIMUM=        500224350640 		Current CPU time: 300.42 ms
c CURRENT OPTIMUM=        500224300640 		Current CPU time: 304.32 ms
c CURRENT OPTIMUM=        500224250640 		Current CPU time: 308.23 ms
c CURRENT OPTIMUM=        500224200640 		Current CPU time: 312.04 ms
c CURRENT OPTIMUM=        500224150640 		Current CPU time: 315.99 ms
c CURRENT OPTIMUM=        500224100640 		Current CPU time: 319.84 ms
c CURRENT OPTIMUM=        500224050640 		Current CPU time: 323.71 ms
c CURRENT OPTIMUM=        500224000640 		Current CPU time: 327.47 ms
c CURRENT OPTIMUM=        500123550640 		Current CPU time: 331.68 ms
c CURRENT OPTIMUM=        500123500640 		Current CPU time: 335.77 ms
c CURRENT OPTIMUM=        500123450640 		Current CPU time: 339.89 ms
c CURRENT OPTIMUM=        500123400640 		Current CPU time: 343.88 ms
c CURRENT OPTIMUM=        500123350640 		Current CPU time: 348.04 ms
c CURRENT OPTIMUM=        500123300640 		Current CPU time: 352.09 ms
c CURRENT OPTIMUM=        500123250640 		Current CPU time: 356.16 ms
c CURRENT OPTIMUM=        500123200640 		Current CPU time: 360.11 ms
c CURRENT OPTIMUM=        500121950640 		Current CPU time: 364.37 ms
c CURRENT OPTIMUM=        500121900640 		Current CPU time: 368.51 ms
c CURRENT OPTIMUM=        500121850640 		Current CPU time: 372.68 ms
c CURRENT OPTIMUM=        500121800640 		Current CPU time: 376.72 ms
c CURRENT OPTIMUM=        500121750640 		Current CPU time: 380.93 ms
c CURRENT OPTIMUM=        500121700640 		Current CPU time: 385.01 ms
c CURRENT OPTIMUM=        500121650640 		Current CPU time: 389.12 ms
c CURRENT OPTIMUM=        500121600640 		Current CPU time: 393.10 ms
c CURRENT OPTIMUM=        499816350640 		Current CPU time: 397.73 ms
c CURRENT OPTIMUM=        499816300640 		Current CPU time: 402.22 ms
c CURRENT OPTIMUM=        499816250640 		Current CPU time: 406.73 ms
c CURRENT OPTIMUM=        499816200640 		Current CPU time: 411.12 ms
c CURRENT OPTIMUM=        499816150640 		Current CPU time: 415.68 ms
c CURRENT OPTIMUM=        499816100640 		Current CPU time: 420.11 ms
c CURRENT OPTIMUM=        499816050640 		Current CPU time: 424.56 ms
c CURRENT OPTIMUM=        499816000640 		Current CPU time: 428.86 ms
c CURRENT OPTIMUM=        499814750640 		Current CPU time: 433.53 ms
c CURRENT OPTIMUM=        499814700640 		Current CPU time: 438.05 ms
c CURRENT OPTIMUM=        499814650640 		Current CPU time: 442.61 ms
c CURRENT OPTIMUM=        499814600640 		Current CPU time: 447.01 ms
c CURRENT OPTIMUM=        499814550640 		Current CPU time: 451.63 ms
c CURRENT OPTIMUM=        499814500640 		Current CPU time: 456.08 ms
c CURRENT OPTIMUM=        499814450640 		Current CPU time: 460.58 ms
c CURRENT OPTIMUM=        499814400640 		Current CPU time: 464.95 ms
c CURRENT OPTIMUM=        499713950640 		Current CPU time: 469.87 ms
c CURRENT OPTIMUM=        499713900640 		Current CPU time: 474.65 ms
c CURRENT OPTIMUM=        499713850640 		Current CPU time: 479.45 ms
c CURRENT OPTIMUM=        499713800640 		Current CPU time: 484.08 ms
c CURRENT OPTIMUM=        499713750640 		Current CPU time: 488.91 ms
c CURRENT OPTIMUM=        499713700640 		Current CPU time: 493.57 ms
c CURRENT OPTIMUM=        499713650640 		Current CPU time: 498.23 ms
c CURRENT OPTIMUM=        499713600640 		Current CPU time: 502.75 ms
c CURRENT OPTIMUM=        499712350640 		Current CPU time: 507.63 ms
c CURRENT OPTIMUM=        499712300640 		Current CPU time: 512.37 ms
c CURRENT OPTIMUM=        499712250640 		Current CPU time: 517.13 ms
c CURRENT OPTIMUM=        499712200640 		Current CPU time: 521.72 ms
c CURRENT OPTIMUM=        499712150640 		Current CPU time: 526.52 ms
c CURRENT OPTIMUM=        499712100640 		Current CPU time: 531.17 ms
c CURRENT OPTIMUM=        499712050640 		Current CPU time: 535.85 ms
c CURRENT OPTIMUM=        499712000640 		Current CPU time: 540.35 ms
c CURRENT OPTIMUM=        498587550640 		Current CPU time: 545.80 ms
c CURRENT OPTIMUM=        498587500640 		Current CPU time: 551.09 ms
c CURRENT OPTIMUM=        498587450640 		Current CPU time: 556.41 ms
c CURRENT OPTIMUM=        498587400640 		Current CPU time: 561.57 ms
c CURRENT OPTIMUM=        498587350640 		Current CPU time: 566.94 ms
c CURRENT OPTIMUM=        498587300640 		Current CPU time: 572.13 ms
c CURRENT OPTIMUM=        498587250640 		Current CPU time: 577.35 ms
c CURRENT OPTIMUM=        498587200640 		Current CPU time: 582.41 ms
c CURRENT OPTIMUM=        498585950640 		Current CPU time: 587.87 ms
c CURRENT OPTIMUM=        498585900640 		Current CPU time: 593.16 ms
c CURRENT OPTIMUM=        498585850640 		Current CPU time: 598.48 ms
c CURRENT OPTIMUM=        498585800640 		Current CPU time: 603.64 ms
c CURRENT OPTIMUM=        498585750640 		Current CPU time: 609.00 ms
c CURRENT OPTIMUM=        498585700640 		Current CPU time: 614.19 ms
c CURRENT OPTIMUM=        498585650640 		Current CPU time: 619.41 ms
c CURRENT OPTIMUM=        498585600640 		Current CPU time: 624.47 ms
c CURRENT OPTIMUM=        498485150640 		Current CPU time: 630.13 ms
c CURRENT OPTIMUM=        498485100640 		Current CPU time: 635.62 ms
c CURRENT OPTIMUM=        498485050640 		Current CPU time: 641.13 ms
c CURRENT OPTIMUM=        498485000640 		Current CPU time: 646.46 ms
c CURRENT OPTIMUM=        498484950640 		Current CPU time: 652.01 ms
c CURRENT OPTIMUM=        498484900640 		Current CPU time: 657.40 ms
c CURRENT OPTIMUM=        498484850640 		Current CPU time: 662.80 ms
c CURRENT OPTIMUM=        498484800640 		Current CPU time: 668.02 ms
c CURRENT OPTIMUM=        498483550640 		Current CPU time: 673.68 ms
c CURRENT OPTIMUM=        498483500640 		Current CPU time: 679.15 ms
c CURRENT OPTIMUM=        498483450640 		Current CPU time: 684.66 ms
c CURRENT OPTIMUM=        498483400640 		Current CPU time: 689.98 ms
c CURRENT OPTIMUM=        498483350640 		Current CPU time: 695.52 ms
c CURRENT OPTIMUM=        498483300640 		Current CPU time: 700.88 ms
c CURRENT OPTIMUM=        498483250640 		Current CPU time: 706.26 ms
c CURRENT OPTIMUM=        498483200640 		Current CPU time: 711.47 ms
c CURRENT OPTIMUM=        498177950640 		Current CPU time: 717.52 ms
c CURRENT OPTIMUM=        498177900640 		Current CPU time: 723.39 ms
c CURRENT OPTIMUM=        498177850640 		Current CPU time: 729.28 ms
c CURRENT OPTIMUM=        498177800640 		Current CPU time: 734.98 ms
c CURRENT OPTIMUM=        498177750640 		Current CPU time: 740.93 ms
c CURRENT OPTIMUM=        498177700640 		Current CPU time: 746.68 ms
c CURRENT OPTIMUM=        498177650640 		Current CPU time: 752.46 ms
c CURRENT OPTIMUM=        498177600640 		Current CPU time: 758.04 ms
c CURRENT OPTIMUM=        498176350640 		Current CPU time: 764.08 ms
c CURRENT OPTIMUM=        498176300640 		Current CPU time: 769.92 ms
c CURRENT OPTIMUM=        498176250640 		Current CPU time: 775.79 ms
c CURRENT OPTIMUM=        498176200640 		Current CPU time: 781.46 ms
c CURRENT OPTIMUM=        498176150640 		Current CPU time: 787.39 ms
c CURRENT OPTIMUM=        498176100640 		Current CPU time: 793.11 ms
c CURRENT OPTIMUM=        498176050640 		Current CPU time: 798.82 ms
c CURRENT OPTIMUM=        498176000640 		Current CPU time: 804.35 ms
c CURRENT OPTIMUM=        498075550640 		Current CPU time: 810.58 ms
c CURRENT OPTIMUM=        498075500640 		Current CPU time: 816.60 ms
c CURRENT OPTIMUM=        498075450640 		Current CPU time: 822.66 ms
c CURRENT OPTIMUM=        498075400640 		Current CPU time: 828.52 ms
c CURRENT OPTIMUM=        498075350640 		Current CPU time: 834.62 ms
c CURRENT OPTIMUM=        498075300640 		Current CPU time: 840.50 ms
c CURRENT OPTIMUM=        498075250640 		Current CPU time: 846.42 ms
c CURRENT OPTIMUM=        498075200640 		Current CPU time: 852.12 ms
c CURRENT OPTIMUM=        498073950640 		Current CPU time: 858.32 ms
c CURRENT OPTIMUM=        498073900640 		Current CPU time: 864.31 ms
c CURRENT OPTIMUM=        498073850640 		Current CPU time: 870.31 ms
c CURRENT OPTIMUM=        498073800640 		Current CPU time: 876.11 ms
c CURRENT OPTIMUM=        498073750640 		Current CPU time: 882.16 ms
c CURRENT OPTIMUM=        498073700640 		Current CPU time: 888.01 ms
c CURRENT OPTIMUM=        498073650640 		Current CPU time: 893.87 ms
c CURRENT OPTIMUM=        498073600640 		Current CPU time: 899.51 ms
c CURRENT OPTIMUM=        477288350640 		Current CPU time: 906.85 ms
c CURRENT OPTIMUM=        477288300640 		Current CPU time: 913.96 ms
c CURRENT OPTIMUM=        477288250640 		Current CPU time: 921.10 ms
c CURRENT OPTIMUM=        477288200640 		Current CPU time: 928.02 ms
c CURRENT OPTIMUM=        477288150640 		Current CPU time: 935.22 ms
c CURRENT OPTIMUM=        477288100640 		Current CPU time: 942.19 ms
c CURRENT OPTIMUM=        477288050640 		Current CPU time: 949.20 ms
c CURRENT OPTIMUM=        477288000640 		Current CPU time: 955.98 ms
c CURRENT OPTIMUM=        477286750640 		Current CPU time: 963.27 ms
c CURRENT OPTIMUM=        477286700640 		Current CPU time: 970.36 ms
c CURRENT OPTIMUM=        477286650640 		Current CPU time: 977.46 ms
c CURRENT OPTIMUM=        477286600640 		Current CPU time: 984.34 ms
c CURRENT OPTIMUM=        477286550640 		Current CPU time: 991.49 ms
c CURRENT OPTIMUM=        477286500640 		Current CPU time: 998.42 ms
c CURRENT OPTIMUM=        477286450640 		Current CPU time: 1005.38 ms
c CURRENT OPTIMUM=        477286400640 		Current CPU time: 1012.10 ms
c CURRENT OPTIMUM=        477185950640 		Current CPU time: 1019.60 ms
c CURRENT OPTIMUM=        477185900640 		Current CPU time: 1026.88 ms
c CURRENT OPTIMUM=        477185850640 		Current CPU time: 1034.17 ms
c CURRENT OPTIMUM=        477185800640 		Current CPU time: 1041.22 ms
c CURRENT OPTIMUM=        477185750640 		Current CPU time: 1048.58 ms
c CURRENT OPTIMUM=        477185700640 		Current CPU time: 1055.69 ms
c CURRENT OPTIMUM=        477185650640 		Current CPU time: 1062.84 ms
c CURRENT OPTIMUM=        477185600640 		Current CPU time: 1069.74 ms
c CURRENT OPTIMUM=        477184350640 		Current CPU time: 1077.20 ms
c CURRENT OPTIMUM=        477184300640 		Current CPU time: 1084.41 ms
c CURRENT OPTIMUM=        477184250640 		Current CPU time: 1091.65 ms
c CURRENT OPTIMUM=        477184200640 		Current CPU time: 1098.65 ms
c CURRENT OPTIMUM=        477184150640 		Current CPU time: 1105.94 ms
c CURRENT OPTIMUM=        477184100640 		Current CPU time: 1112.98 ms
c CURRENT OPTIMUM=        477184050640 		Current CPU time: 1120.06 ms
c CURRENT OPTIMUM=        477184000640 		Current CPU time: 1126.88 ms
c CURRENT OPTIMUM=        476878750640 		Current CPU time: 1134.80 ms
c CURRENT OPTIMUM=        476878700640 		Current CPU time: 1142.45 ms
c CURRENT OPTIMUM=        476878650640 		Current CPU time: 1150.08 ms
c CURRENT OPTIMUM=        476878600640 		Current CPU time: 1157.46 ms
c CURRENT OPTIMUM=        476878550640 		Current CPU time: 1165.14 ms
c CURRENT OPTIMUM=        476878500640 		Current CPU time: 1172.57 ms
c CURRENT OPTIMUM=        476878450640 		Current CPU time: 1180.02 ms
c CURRENT OPTIMUM=        476878400640 		Current CPU time: 1187.23 ms
c CURRENT OPTIMUM=        476877150640 		Current CPU time: 1195.01 ms
c CURRENT OPTIMUM=        476877100640 		Current CPU time: 1202.54 ms
c CURRENT OPTIMUM=        476877050640 		Current CPU time: 1210.08 ms
c CURRENT OPTIMUM=        476877000640 		Current CPU time: 1217.39 ms
c starts	: 340
c conflicts	: 1
c decisions	: 16537
c propagations	: 60694
c inspects	: 1366768
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 340
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=476877000640
c Total CPU time (ms) : 1219.161
#### 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.86 0.98 0.99 2/54 3255
Raw data (stat): 3255 (runsolver) R 3254 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838003973 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.0005 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 3304
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18127 6 1 0 689 41 0 0 22 0 11 0 838003973 866086912 21864 4294967295 134512640 134569956 3221224368 3221214592 1131343088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211447 21864 13086 16 0 211431 0
vsize: 845788
[startup+20.0013 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 3316
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18129 6 1 0 1600 41 0 0 25 0 11 0 838003973 867528704 22261 4294967295 134512640 134569956 3221224368 3221214664 1131263338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211799 22261 13086 16 0 211783 0
vsize: 847196
[startup+30.0025 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 3327
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 2547 42 1 0 25 0 11 0 838003973 867528704 22356 4294967295 134512640 134569956 3221224368 3221214664 1131259832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211799 22356 13086 16 0 211783 0
vsize: 847196
[startup+40.0018 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 3335
Raw data (stat): 3255 (java) S 3254 25399 25398 0 -1 0 18130 6 1 0 3509 43 1 0 25 0 11 0 838003973 867528704 22695 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211799 22695 13086 16 0 211783 0
vsize: 847196
[startup+50.0024 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 3343
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 4491 44 1 0 25 0 11 0 838003973 867528704 22758 4294967295 134512640 134569956 3221224368 3221214576 1131231483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211799 22758 13086 16 0 211783 0
vsize: 847196
[startup+60.0027 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 3349
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 5475 44 1 1 25 0 11 0 838003973 867528704 22797 4294967295 134512640 134569956 3221224368 3221214664 1131261014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211799 22797 13086 16 0 211783 0
vsize: 847196
[startup+70.0039 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 3355
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 6460 45 1 1 25 0 11 0 838003973 863395840 21849 4294967295 134512640 134569956 3221224368 3221214576 1131231095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 21849 13086 16 0 210774 0
vsize: 843160
[startup+80.0046 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 3361
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 7447 45 2 1 25 0 11 0 838003973 863395840 21878 4294967295 134512640 134569956 3221224368 3221214576 1131231032 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 21878 13086 16 0 210774 0
vsize: 843160
[startup+90.0048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 3367
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 8434 45 2 1 25 0 11 0 838003973 863395840 21924 4294967295 134512640 134569956 3221224368 3221214576 1131231095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 21924 13086 16 0 210774 0
vsize: 843160
[startup+100.005 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3371
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 9423 45 2 1 25 0 11 0 838003973 863395840 21950 4294967295 134512640 134569956 3221224368 3221214576 1131231304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 21950 13086 16 0 210774 0
vsize: 843160
[startup+110.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3376
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 10413 46 3 1 25 0 11 0 838003973 863395840 21971 4294967295 134512640 134569956 3221224368 3221214576 1131231355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 21971 13086 16 0 210774 0
vsize: 843160
[startup+120.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3380
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 11401 46 3 1 25 0 11 0 838003973 863395840 21997 4294967295 134512640 134569956 3221224368 3221214576 1131231553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 21997 13086 16 0 210774 0
vsize: 843160
[startup+130.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3384
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 12390 46 3 1 25 0 11 0 838003973 863395840 22017 4294967295 134512640 134569956 3221224368 3221214576 1131231284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 22017 13086 16 0 210774 0
vsize: 843160
[startup+140.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3388
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 13375 47 3 1 25 0 11 0 838003973 863395840 22038 4294967295 134512640 134569956 3221224368 3221214576 1131231156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 22038 13086 16 0 210774 0
vsize: 843160
[startup+150.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3392
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 14358 47 3 1 25 0 11 0 838003973 863395840 22055 4294967295 134512640 134569956 3221224368 3221214664 1131262273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 22055 13086 16 0 210774 0
vsize: 843160
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3396
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 15346 48 3 1 25 0 11 0 838003973 863395840 22129 4294967295 134512640 134569956 3221224368 3221214648 1131262790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 22129 13086 16 0 210774 0
vsize: 843160
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3400
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 16335 48 4 1 25 0 11 0 838003973 863395840 22146 4294967295 134512640 134569956 3221224368 3221214560 1131231068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 22146 13086 16 0 210774 0
vsize: 843160
[startup+180.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3406
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 17324 48 4 1 25 0 11 0 838003973 863395840 22193 4294967295 134512640 134569956 3221224368 3221214560 1131231049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 22193 13086 16 0 210774 0
vsize: 843160
[startup+190.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3409
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 18315 49 4 1 25 0 11 0 838003973 863395840 22210 4294967295 134512640 134569956 3221224368 3221214560 1131231244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22210 13086 16 0 210774 0
vsize: 843160
[startup+200.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3412
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 19306 49 4 1 25 0 11 0 838003973 863395840 22227 4294967295 134512640 134569956 3221224368 3221214616 1131315024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22227 13086 16 0 210774 0
vsize: 843160
[startup+210.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3416
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 20297 49 4 1 25 0 11 0 838003973 863395840 22240 4294967295 134512640 134569956 3221224368 3221214560 1131231550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22240 13086 16 0 210774 0
vsize: 843160
[startup+220.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3419
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 21288 49 4 1 25 0 11 0 838003973 863395840 22257 4294967295 134512640 134569956 3221224368 3221214648 1131259832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22257 13086 16 0 210774 0
vsize: 843160
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3422
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 22280 49 5 1 25 0 11 0 838003973 863395840 22269 4294967295 134512640 134569956 3221224368 3221214560 1131231286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22269 13086 16 0 210774 0
vsize: 843160
[startup+240.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3425
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 23271 50 5 1 25 0 11 0 838003973 863395840 22282 4294967295 134512640 134569956 3221224368 3221214560 1131231132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22282 13086 16 0 210774 0
vsize: 843160
[startup+250.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3428
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 24263 50 5 1 25 0 11 0 838003973 863395840 22295 4294967295 134512640 134569956 3221224368 3221214648 1131259832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22295 13086 16 0 210774 0
vsize: 843160
[startup+260.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3431
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 25254 50 5 2 25 0 11 0 838003973 863395840 22308 4294967295 134512640 134569956 3221224368 3221214560 1131231513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22308 13086 16 0 210774 0
vsize: 843160
[startup+270.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3434
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 26244 50 5 2 25 0 11 0 838003973 863395840 22326 4294967295 134512640 134569956 3221224368 3221214464 1131192249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22326 13086 16 0 210774 0
vsize: 843160
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3437
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 27236 50 5 2 25 0 11 0 838003973 863395840 22338 4294967295 134512640 134569956 3221224368 3221214556 1131191200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22338 13086 16 0 210774 0
vsize: 843160
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3440
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 28227 51 5 2 25 0 11 0 838003973 863395840 22351 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 22351 13086 16 0 210774 0
vsize: 843160
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3442
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 29218 51 5 2 25 0 11 0 838003973 863395840 22364 4294967295 134512640 134569956 3221224368 3221214648 1131263353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22364 13086 16 0 210774 0
vsize: 843160
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3445
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 30210 51 5 2 25 0 11 0 838003973 863395840 22373 4294967295 134512640 134569956 3221224368 3221214560 1131231535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22373 13086 16 0 210774 0
vsize: 843160
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3447
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 31202 51 5 2 25 0 11 0 838003973 863395840 22385 4294967295 134512640 134569956 3221224368 3221214560 1131231535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22385 13086 16 0 210774 0
vsize: 843160
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3450
Raw data (stat): 3255 (java) S 3254 25399 25398 0 -1 0 18130 6 1 0 32193 52 5 2 25 0 11 0 838003973 863395840 22394 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22394 13086 16 0 210774 0
vsize: 843160
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3452
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 33185 52 5 2 25 0 11 0 838003973 863395840 22407 4294967295 134512640 134569956 3221224368 3221214560 1131230929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22407 13086 16 0 210774 0
vsize: 843160
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3455
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 34177 52 5 2 25 0 11 0 838003973 863395840 22416 4294967295 134512640 134569956 3221224368 3221214648 1131261000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22416 13086 16 0 210774 0
vsize: 843160
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3457
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 35169 52 6 2 25 0 11 0 838003973 863395840 22429 4294967295 134512640 134569956 3221224368 3221214560 1131230822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22429 13086 16 0 210774 0
vsize: 843160
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3460
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 36160 52 6 2 25 0 11 0 838003973 863395840 22437 4294967295 134512640 134569956 3221224368 3221214560 1131231193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22437 13086 16 0 210774 0
vsize: 843160
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3462
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 37152 53 6 2 25 0 11 0 838003973 863395840 22450 4294967295 134512640 134569956 3221224368 3221214648 1131259897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22450 13086 16 0 210774 0
vsize: 843160
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3464
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 38144 53 6 2 25 0 11 0 838003973 863395840 22459 4294967295 134512640 134569956 3221224368 3221214752 1131320101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22459 13086 16 0 210774 0
vsize: 843160
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3467
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 39136 53 6 2 25 0 11 0 838003973 863395840 22471 4294967295 134512640 134569956 3221224368 3221214464 1131191289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22471 13086 16 0 210774 0
vsize: 843160
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3469
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 40127 53 6 2 25 0 11 0 838003973 863395840 22480 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22480 13086 16 0 210774 0
vsize: 843160
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3471
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 41119 53 6 2 25 0 11 0 838003973 863395840 22493 4294967295 134512640 134569956 3221224368 3221214648 1131262629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22493 13086 16 0 210774 0
vsize: 843160
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3474
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 42111 53 6 2 25 0 11 0 838003973 863395840 22501 4294967295 134512640 134569956 3221224368 3221214560 1131230636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22501 13086 16 0 210774 0
vsize: 843160
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 43104 53 7 2 25 0 11 0 838003973 863395840 22510 4294967295 134512640 134569956 3221224368 3221214560 1131231266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22510 13086 16 0 210774 0
vsize: 843160
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3478
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 44095 53 7 3 25 0 11 0 838003973 863395840 22518 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22518 13086 16 0 210774 0
vsize: 843160
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3480
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 45084 53 7 3 25 0 11 0 838003973 863395840 22527 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22527 13086 16 0 210774 0
vsize: 843160
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3482
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 46067 54 7 3 25 0 11 0 838003973 863395840 22540 4294967295 134512640 134569956 3221224368 3221214560 1131231066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22540 13086 16 0 210774 0
vsize: 843160
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3484
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 47048 54 7 3 25 0 11 0 838003973 863395840 22608 4294967295 134512640 134569956 3221224368 3221214560 1131231244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22608 13086 16 0 210774 0
vsize: 843160
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3487
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 48031 54 7 3 25 0 11 0 838003973 863395840 22666 4294967295 134512640 134569956 3221224368 3221214560 1131230621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22666 13086 16 0 210774 0
vsize: 843160
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3489
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 49021 54 7 3 25 0 11 0 838003973 863395840 22727 4294967295 134512640 134569956 3221224368 3221214560 1131231149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22727 13086 16 0 210774 0
vsize: 843160
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3491
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 50013 54 7 3 25 0 11 0 838003973 863395840 22735 4294967295 134512640 134569956 3221224368 3221214560 1131231638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22735 13086 16 0 210774 0
vsize: 843160
[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3493
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 51005 54 7 3 25 0 11 0 838003973 863395840 22744 4294967295 134512640 134569956 3221224368 3221214560 1131231244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22744 13086 16 0 210774 0
vsize: 843160
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3495
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 51996 54 7 3 25 0 11 0 838003973 863395840 22757 4294967295 134512640 134569956 3221224368 3221214464 1131191291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22757 13086 16 0 210774 0
vsize: 843160
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3497
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 52987 55 7 3 25 0 11 0 838003973 863395840 22765 4294967295 134512640 134569956 3221224368 3221214560 1131231136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22765 13086 16 0 210774 0
vsize: 843160
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3499
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 53979 55 7 3 25 0 11 0 838003973 863395840 22774 4294967295 134512640 134569956 3221224368 3221214648 1131259832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22774 13086 16 0 210774 0
vsize: 843160
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3501
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 54970 55 8 3 25 0 11 0 838003973 863395840 22782 4294967295 134512640 134569956 3221224368 3221214560 1131231455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22782 13086 16 0 210774 0
vsize: 843160
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3503
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 55962 55 8 3 25 0 11 0 838003973 863395840 22791 4294967295 134512640 134569956 3221224368 3221214648 1131263361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22791 13086 16 0 210774 0
vsize: 843160
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3505
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 56953 55 8 3 25 0 11 0 838003973 863395840 22800 4294967295 134512640 134569956 3221224368 3221214648 1131261025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22800 13086 16 0 210774 0
vsize: 843160
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3507
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 57945 55 8 3 25 0 11 0 838003973 863395840 22808 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22808 13086 16 0 210774 0
vsize: 843160
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3509
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 58937 55 8 3 25 0 11 0 838003973 863395840 22817 4294967295 134512640 134569956 3221224368 3221214560 1131230650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22817 13086 16 0 210774 0
vsize: 843160
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3511
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 59928 56 8 3 25 0 11 0 838003973 863395840 22825 4294967295 134512640 134569956 3221224368 3221214560 1131230713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22825 13086 16 0 210774 0
vsize: 843160
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3512
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 60920 56 8 3 25 0 11 0 838003973 863395840 22834 4294967295 134512640 134569956 3221224368 3221214648 1131262694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22834 13086 16 0 210774 0
vsize: 843160
[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3514
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 61911 56 8 3 25 0 11 0 838003973 863395840 22838 4294967295 134512640 134569956 3221224368 3221214648 1131259832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22838 13086 16 0 210774 0
vsize: 843160
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3516
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 62903 56 8 3 25 0 11 0 838003973 863395840 22847 4294967295 134512640 134569956 3221224368 3221214648 1131259832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22847 13086 16 0 210774 0
vsize: 843160
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3518
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 63894 56 8 3 25 0 11 0 838003973 863395840 22855 4294967295 134512640 134569956 3221224368 3221214648 1131259897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22855 13086 16 0 210774 0
vsize: 843160
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3520
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 64886 56 8 3 25 0 11 0 838003973 863395840 22864 4294967295 134512640 134569956 3221224368 3221214464 1131191289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22864 13086 16 0 210774 0
vsize: 843160
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3522
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 65877 56 8 4 25 0 11 0 838003973 863395840 22872 4294967295 134512640 134569956 3221224368 3221214648 1131259832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22872 13086 16 0 210774 0
vsize: 843160
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3523
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 66869 56 8 4 25 0 11 0 838003973 863395840 22881 4294967295 134512640 134569956 3221224368 3221214656 1131276260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22881 13086 16 0 210774 0
vsize: 843160
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3525
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 67860 56 8 4 25 0 11 0 838003973 863395840 22889 4294967295 134512640 134569956 3221224368 3221214648 1131263523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22889 13086 16 0 210774 0
vsize: 843160
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3527
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 68852 57 9 4 25 0 11 0 838003973 863395840 22893 4294967295 134512640 134569956 3221224368 3221214648 1131262784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22893 13086 16 0 210774 0
vsize: 843160
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3529
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 69843 57 9 4 25 0 11 0 838003973 863395840 22902 4294967295 134512640 134569956 3221224368 3221214560 1131231278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22902 13086 16 0 210774 0
vsize: 843160
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3531
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 70835 57 9 4 25 0 11 0 838003973 863395840 22910 4294967295 134512640 134569956 3221224368 3221214644 1131230604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22910 13086 16 0 210774 0
vsize: 843160
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3532
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 71826 57 9 4 25 0 11 0 838003973 863395840 22919 4294967295 134512640 134569956 3221224368 3221214520 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22919 13086 16 0 210774 0
vsize: 843160
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3534
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 72818 58 9 4 25 0 11 0 838003973 863395840 22928 4294967295 134512640 134569956 3221224368 3221214648 1131262574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22928 13086 16 0 210774 0
vsize: 843160
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3536
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 73809 58 9 4 25 0 11 0 838003973 863395840 22932 4294967295 134512640 134569956 3221224368 3221214648 1131261076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22932 13086 16 0 210774 0
vsize: 843160
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3538
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 74801 58 9 4 25 0 11 0 838003973 863395840 22941 4294967295 134512640 134569956 3221224368 3221214560 1131231270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22941 13086 16 0 210774 0
vsize: 843160
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3539
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 75792 58 9 4 25 0 11 0 838003973 863395840 22949 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22949 13086 16 0 210774 0
vsize: 843160
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3541
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 76784 59 9 4 25 0 11 0 838003973 863395840 22958 4294967295 134512640 134569956 3221224368 3221214560 1131230706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22958 13086 16 0 210774 0
vsize: 843160
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3543
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 77775 59 9 4 25 0 11 0 838003973 863395840 22962 4294967295 134512640 134569956 3221224368 3221214560 1131230713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22962 13086 16 0 210774 0
vsize: 843160
[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3545
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 78766 59 9 4 25 0 11 0 838003973 863395840 22971 4294967295 134512640 134569956 3221224368 3221214648 1131259897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22971 13086 16 0 210774 0
vsize: 843160
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3546
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 79757 59 9 4 25 0 11 0 838003973 863395840 22979 4294967295 134512640 134569956 3221224368 3221214560 1131231330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22979 13086 16 0 210774 0
vsize: 843160
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3548
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 80748 59 9 4 25 0 11 0 838003973 863395840 22988 4294967295 134512640 134569956 3221224368 3221214648 1131263359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22988 13086 16 0 210774 0
vsize: 843160
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3550
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 81740 59 9 4 25 0 11 0 838003973 863395840 22992 4294967295 134512640 134569956 3221224368 3221214560 1131230929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 22992 13086 16 0 210774 0
vsize: 843160
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3551
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 82731 59 9 4 25 0 11 0 838003973 863395840 23000 4294967295 134512640 134569956 3221224368 3221214560 1131230799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23000 13086 16 0 210774 0
vsize: 843160
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3553
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 83721 59 9 4 25 0 11 0 838003973 863395840 23009 4294967295 134512640 134569956 3221224368 3221214648 1131259825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23009 13086 16 0 210774 0
vsize: 843160
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3555
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 84713 59 9 4 25 0 11 0 838003973 863395840 23013 4294967295 134512640 134569956 3221224368 3221214560 1131230650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23013 13086 16 0 210774 0
vsize: 843160
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3556
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 85704 60 9 4 25 0 11 0 838003973 863395840 23022 4294967295 134512640 134569956 3221224368 3221214560 1131231278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23022 13086 16 0 210774 0
vsize: 843160
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3558
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 86695 60 9 4 25 0 11 0 838003973 863395840 23030 4294967295 134512640 134569956 3221224368 3221214560 1131231638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23030 13086 16 0 210774 0
vsize: 843160
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3560
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 87686 60 9 4 25 0 11 0 838003973 863395840 23034 4294967295 134512640 134569956 3221224368 3221214560 1131231068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23034 13086 16 0 210774 0
vsize: 843160
[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3561
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 88678 60 10 4 25 0 11 0 838003973 863395840 23043 4294967295 134512640 134569956 3221224368 3221214560 1131230643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23043 13086 16 0 210774 0
vsize: 843160
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3563
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 89669 60 10 4 25 0 11 0 838003973 863395840 23051 4294967295 134512640 134569956 3221224368 3221214560 1131231568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23051 13086 16 0 210774 0
vsize: 843160
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3564
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 90660 60 10 4 25 0 11 0 838003973 863395840 23056 4294967295 134512640 134569956 3221224368 3221214560 1131231208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23056 13086 16 0 210774 0
vsize: 843160
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3566
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 91651 60 10 4 25 0 11 0 838003973 863395840 23064 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23064 13086 16 0 210774 0
vsize: 843160
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3567
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 92643 61 10 4 25 0 11 0 838003973 863395840 23069 4294967295 134512640 134569956 3221224368 3221214560 1131231218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23069 13086 16 0 210774 0
vsize: 843160
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3568
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 93634 61 10 4 25 0 11 0 838003973 863395840 23078 4294967295 134512640 134569956 3221224368 3221214648 1131259585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23078 13086 16 0 210774 0
vsize: 843160
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3570
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 94626 61 10 4 25 0 11 0 838003973 863395840 23082 4294967295 134512640 134569956 3221224368 3221214560 1131231240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23082 13086 16 0 210774 0
vsize: 843160
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3571
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 95617 61 10 4 25 0 11 0 838003973 863395840 23090 4294967295 134512640 134569956 3221224368 3221214648 1131261032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23090 13086 16 0 210774 0
vsize: 843160
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3573
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18130 6 1 0 96609 61 10 4 25 0 11 0 838003973 863395840 23095 4294967295 134512640 134569956 3221224368 3221214560 1131230617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23095 13086 16 0 210774 0
vsize: 843160
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3574
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 97600 61 10 4 25 0 11 0 838003973 863395840 23106 4294967295 134512640 134569956 3221224368 3221214560 1131231115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23106 13086 16 0 210774 0
vsize: 843160
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3576
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 98591 61 10 5 25 0 11 0 838003973 863395840 23110 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23110 13086 16 0 210774 0
vsize: 843160
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3577
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 99583 61 10 5 25 0 11 0 838003973 863395840 23114 4294967295 134512640 134569956 3221224368 3221214556 1131192278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23114 13086 16 0 210774 0
vsize: 843160
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3578
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 100574 61 10 5 25 0 11 0 838003973 863395840 23123 4294967295 134512640 134569956 3221224368 3221214560 1131231516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23123 13086 16 0 210774 0
vsize: 843160
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3580
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 101565 61 10 5 25 0 11 0 838003973 863395840 23127 4294967295 134512640 134569956 3221224368 3221214560 1131231465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23127 13086 16 0 210774 0
vsize: 843160
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3581
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 102556 61 10 5 25 0 11 0 838003973 863395840 23136 4294967295 134512640 134569956 3221224368 3221214464 1131191217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23136 13086 16 0 210774 0
vsize: 843160
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3583
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 103548 62 10 5 24 0 11 0 838003973 863395840 23140 4294967295 134512640 134569956 3221224368 3221214464 1131191213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23140 13086 16 0 210774 0
vsize: 843160
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3584
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 104539 62 10 5 25 0 11 0 838003973 863395840 23144 4294967295 134512640 134569956 3221224368 3221214464 1131191272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23144 13086 16 0 210774 0
vsize: 843160
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3585
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 105530 62 10 5 25 0 11 0 838003973 863395840 23153 4294967295 134512640 134569956 3221224368 3221214560 1131231473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23153 13086 16 0 210774 0
vsize: 843160
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3587
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 106521 62 10 5 25 0 11 0 838003973 863395840 23157 4294967295 134512640 134569956 3221224368 3221214616 1131315232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23157 13086 16 0 210774 0
vsize: 843160
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3588
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 107512 62 10 5 25 0 11 0 838003973 863395840 23165 4294967295 134512640 134569956 3221224368 3221214648 1131261957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23165 13086 16 0 210774 0
vsize: 843160
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3590
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 108504 62 10 5 25 0 11 0 838003973 863395840 23170 4294967295 134512640 134569956 3221224368 3221214560 1131231244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23170 13086 16 0 210774 0
vsize: 843160
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3591
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 109495 62 10 5 25 0 11 0 838003973 863395840 23174 4294967295 134512640 134569956 3221224368 3221214560 1131230719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23174 13086 16 0 210774 0
vsize: 843160
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3592
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 110486 62 10 5 25 0 11 0 838003973 863395840 23182 4294967295 134512640 134569956 3221224368 3221214464 1131192257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23182 13086 16 0 210774 0
vsize: 843160
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3594
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 111477 63 10 5 25 0 11 0 838003973 863395840 23187 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23187 13086 16 0 210774 0
vsize: 843160
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3595
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 112468 63 10 5 25 0 11 0 838003973 863395840 23195 4294967295 134512640 134569956 3221224368 3221214560 1131230713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210790 23195 13086 16 0 210774 0
vsize: 843160
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3596
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 113459 63 11 5 25 0 11 0 838003973 863395840 23199 4294967295 134512640 134569956 3221224368 3221214560 1131231553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23199 13086 16 0 210774 0
vsize: 843160
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3598
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 114449 63 11 5 25 0 11 0 838003973 863395840 23204 4294967295 134512640 134569956 3221224368 3221214560 1131231095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23204 13086 16 0 210774 0
vsize: 843160
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3599
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 115439 63 11 5 25 0 11 0 838003973 863395840 23212 4294967295 134512640 134569956 3221224368 3221214560 1131231132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23212 13086 16 0 210774 0
vsize: 843160
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3600
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 116429 64 11 5 25 0 11 0 838003973 863395840 23216 4294967295 134512640 134569956 3221224368 3221214560 1131231115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23216 13086 16 0 210774 0
vsize: 843160
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3602
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 117419 64 11 5 25 0 11 0 838003973 863395840 23221 4294967295 134512640 134569956 3221224368 3221214560 1131230772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23221 13086 16 0 210774 0
vsize: 843160
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3603
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 118409 64 11 5 25 0 11 0 838003973 863395840 23229 4294967295 134512640 134569956 3221224368 3221214560 1131231363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23229 13086 16 0 210774 0
vsize: 843160
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3604
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 119399 64 11 5 25 0 11 0 838003973 863395840 23233 4294967295 134512640 134569956 3221224368 3221214648 1131263359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23233 13086 16 0 210774 0
vsize: 843160
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3606
Raw data (stat): 3255 (java) R 3254 25399 25398 0 -1 0 18131 6 1 0 120389 64 11 5 25 0 11 0 838003973 863395840 23238 4294967295 134512640 134569956 3221224368 3221214560 1131230689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210790 23238 13086 16 0 210774 0
vsize: 843160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3608
Raw data (stat): 3255 (java) Z 3254 25399 25398 0 -1 1036 18131 9562 1 0 120392 69 2464 42 25 0 1 0 838003973 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.14
CPU time (s): 1229.69
CPU user time (s): 1228.57
CPU system time (s): 1.11783
CPU usage (%): 100.783
Max. virtual memory (Kb): 847196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	476877000640
#### END VERIFIER DATA ####