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-mas76.opb
MD5SUM	4a13dc0bd882da2f4fbd9bf80867a673
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	1230.31
Number of variables	240
Total number of constraints	163
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	12
Minimum length of a constraint	1
Maximum length of a constraint	239
Trace number 29654

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 10:02:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21055 boxname=wulflinc30 idbench=1043 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4a13dc0bd882da2f4fbd9bf80867a673  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-mas76.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-mas76.opb
IDLAUNCH: 21055
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        655716 kB
Buffers:         35688 kB
Cached:         320256 kB
SwapCached:        716 kB
Active:          87000 kB
Inactive:       271092 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        655464 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15216 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:23:03 (client local time) WITH STATUS 143 IN 1230.31 SECONDS
stats: 21055 0 1230.31 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/wulflinc30/normalized-mps-v2-20-10-mas76.opb
c reading problem ... done. Time 1.78 ms.
c #vars     240
c #constraints  13
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM= 1759218604441600000 		Current CPU time: 2.14 ms
c CURRENT OPTIMUM=  879609302220800000 		Current CPU time: 2.40 ms
c CURRENT OPTIMUM=  439804651110400000 		Current CPU time: 2.55 ms
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 2.68 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 2.79 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 3.08 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 3.18 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 3.22 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 3.47 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 3.52 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 3.56 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 3.61 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 3.65 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 3.69 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 3.76 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 3.89 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 4.13 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 4.19 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 4.24 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 4.28 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 4.32 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 4.49 ms
c CURRENT OPTIMUM=        629145600000 		Current CPU time: 4.76 ms
c CURRENT OPTIMUM=        524288000000 		Current CPU time: 5.70 ms
c CURRENT OPTIMUM=        511180800000 		Current CPU time: 6.21 ms
c CURRENT OPTIMUM=        504627200000 		Current CPU time: 6.70 ms
c CURRENT OPTIMUM=        503808000000 		Current CPU time: 6.93 ms
c CURRENT OPTIMUM=        503603200000 		Current CPU time: 7.18 ms
c CURRENT OPTIMUM=        503552000000 		Current CPU time: 7.37 ms
c CURRENT OPTIMUM=        503526400000 		Current CPU time: 7.57 ms
c CURRENT OPTIMUM=        503513600000 		Current CPU time: 7.76 ms
c CURRENT OPTIMUM=        503507200000 		Current CPU time: 7.97 ms
c CURRENT OPTIMUM=        503504000000 		Current CPU time: 8.22 ms
c CURRENT OPTIMUM=        503503200000 		Current CPU time: 8.45 ms
c CURRENT OPTIMUM=        503502800000 		Current CPU time: 8.69 ms
c CURRENT OPTIMUM=        503502775000 		Current CPU time: 8.96 ms
c CURRENT OPTIMUM=        503502762500 		Current CPU time: 9.29 ms
c CURRENT OPTIMUM=        503502756250 		Current CPU time: 9.59 ms
c CURRENT OPTIMUM=        503502753125 		Current CPU time: 9.90 ms
c CURRENT OPTIMUM=        503502750032 		Current CPU time: 13.62 ms
c CURRENT OPTIMUM=        503502700480 		Current CPU time: 14.18 ms
c CURRENT OPTIMUM=        503502650480 		Current CPU time: 14.79 ms
c CURRENT OPTIMUM=        503502600480 		Current CPU time: 15.37 ms
c CURRENT OPTIMUM=        503502550480 		Current CPU time: 16.03 ms
c CURRENT OPTIMUM=        503502500480 		Current CPU time: 16.70 ms
c CURRENT OPTIMUM=        503502450480 		Current CPU time: 17.36 ms
c CURRENT OPTIMUM=        503502400480 		Current CPU time: 18.06 ms
c CURRENT OPTIMUM=        503501150480 		Current CPU time: 18.82 ms
c CURRENT OPTIMUM=        503501100480 		Current CPU time: 19.59 ms
c CURRENT OPTIMUM=        503501050480 		Current CPU time: 20.35 ms
c CURRENT OPTIMUM=        503501000480 		Current CPU time: 21.15 ms
c CURRENT OPTIMUM=        503500950480 		Current CPU time: 22.00 ms
c CURRENT OPTIMUM=        503500900480 		Current CPU time: 22.84 ms
c CURRENT OPTIMUM=        503500850480 		Current CPU time: 23.69 ms
c CURRENT OPTIMUM=        503500800480 		Current CPU time: 24.56 ms
c CURRENT OPTIMUM=        503400350480 		Current CPU time: 25.52 ms
c CURRENT OPTIMUM=        503400300480 		Current CPU time: 26.49 ms
c CURRENT OPTIMUM=        503400250480 		Current CPU time: 27.49 ms
c CURRENT OPTIMUM=        503400200480 		Current CPU time: 28.47 ms
c CURRENT OPTIMUM=        503400150480 		Current CPU time: 29.52 ms
c CURRENT OPTIMUM=        503400100480 		Current CPU time: 30.55 ms
c CURRENT OPTIMUM=        503400050480 		Current CPU time: 31.61 ms
c CURRENT OPTIMUM=        503400000480 		Current CPU time: 32.65 ms
c CURRENT OPTIMUM=        503398750480 		Current CPU time: 33.79 ms
c CURRENT OPTIMUM=        503398700480 		Current CPU time: 34.92 ms
c CURRENT OPTIMUM=        503398650480 		Current CPU time: 36.08 ms
c CURRENT OPTIMUM=        503398600480 		Current CPU time: 37.26 ms
c CURRENT OPTIMUM=        503398550480 		Current CPU time: 38.46 ms
c CURRENT OPTIMUM=        503398500480 		Current CPU time: 39.65 ms
c CURRENT OPTIMUM=        503398450480 		Current CPU time: 40.86 ms
c CURRENT OPTIMUM=        503398400480 		Current CPU time: 42.01 ms
c CURRENT OPTIMUM=        503093150480 		Current CPU time: 43.40 ms
c CURRENT OPTIMUM=        503093100480 		Current CPU time: 44.75 ms
c CURRENT OPTIMUM=        503093050480 		Current CPU time: 46.13 ms
c CURRENT OPTIMUM=        503093000480 		Current CPU time: 47.47 ms
c CURRENT OPTIMUM=        503092950480 		Current CPU time: 48.91 ms
c CURRENT OPTIMUM=        503092900480 		Current CPU time: 50.30 ms
c CURRENT OPTIMUM=        503092850480 		Current CPU time: 51.71 ms
c CURRENT OPTIMUM=        503092800480 		Current CPU time: 53.10 ms
c CURRENT OPTIMUM=        503091550480 		Current CPU time: 54.61 ms
c CURRENT OPTIMUM=        503091500480 		Current CPU time: 56.11 ms
c CURRENT OPTIMUM=        503091450480 		Current CPU time: 57.62 ms
c CURRENT OPTIMUM=        503091400480 		Current CPU time: 59.09 ms
c CURRENT OPTIMUM=        503091350480 		Current CPU time: 60.66 ms
c CURRENT OPTIMUM=        503091300480 		Current CPU time: 62.18 ms
c CURRENT OPTIMUM=        503091250480 		Current CPU time: 63.72 ms
c CURRENT OPTIMUM=        503091200480 		Current CPU time: 65.23 ms
c CURRENT OPTIMUM=        502990750480 		Current CPU time: 66.94 ms
c CURRENT OPTIMUM=        502990700480 		Current CPU time: 68.63 ms
c CURRENT OPTIMUM=        502990650480 		Current CPU time: 70.34 ms
c CURRENT OPTIMUM=        502990600480 		Current CPU time: 72.00 ms
c CURRENT OPTIMUM=        502990550480 		Current CPU time: 73.72 ms
c CURRENT OPTIMUM=        502990500480 		Current CPU time: 75.43 ms
c CURRENT OPTIMUM=        502990450480 		Current CPU time: 77.15 ms
c CURRENT OPTIMUM=        502990400480 		Current CPU time: 78.83 ms
c CURRENT OPTIMUM=        502989150480 		Current CPU time: 80.67 ms
c CURRENT OPTIMUM=        502989100480 		Current CPU time: 82.45 ms
c CURRENT OPTIMUM=        502989050480 		Current CPU time: 84.25 ms
c CURRENT OPTIMUM=        502989000480 		Current CPU time: 86.00 ms
c CURRENT OPTIMUM=        502988950480 		Current CPU time: 87.83 ms
c CURRENT OPTIMUM=        502988900480 		Current CPU time: 89.61 ms
c CURRENT OPTIMUM=        502988850480 		Current CPU time: 91.41 ms
c CURRENT OPTIMUM=        502988800480 		Current CPU time: 93.15 ms
c CURRENT OPTIMUM=        501864350480 		Current CPU time: 95.30 ms
c CURRENT OPTIMUM=        501864300480 		Current CPU time: 97.41 ms
c CURRENT OPTIMUM=        501864250480 		Current CPU time: 99.54 ms
c CURRENT OPTIMUM=        501864200480 		Current CPU time: 101.61 ms
c CURRENT OPTIMUM=        501864150480 		Current CPU time: 103.78 ms
c CURRENT OPTIMUM=        501864100480 		Current CPU time: 105.91 ms
c CURRENT OPTIMUM=        501864050480 		Current CPU time: 108.04 ms
c CURRENT OPTIMUM=        501864000480 		Current CPU time: 110.12 ms
c CURRENT OPTIMUM=        501862750480 		Current CPU time: 112.39 ms
c CURRENT OPTIMUM=        501862700480 		Current CPU time: 114.61 ms
c CURRENT OPTIMUM=        501862650480 		Current CPU time: 116.85 ms
c CURRENT OPTIMUM=        501862600480 		Current CPU time: 119.02 ms
c CURRENT OPTIMUM=        501862550480 		Current CPU time: 121.30 ms
c CURRENT OPTIMUM=        501862500480 		Current CPU time: 123.51 ms
c CURRENT OPTIMUM=        501862450480 		Current CPU time: 125.74 ms
c CURRENT OPTIMUM=        501862400480 		Current CPU time: 127.90 ms
c CURRENT OPTIMUM=        501761950480 		Current CPU time: 130.39 ms
c CURRENT OPTIMUM=        501761900480 		Current CPU time: 132.79 ms
c CURRENT OPTIMUM=        501761850480 		Current CPU time: 135.23 ms
c CURRENT OPTIMUM=        501761800480 		Current CPU time: 137.58 ms
c CURRENT OPTIMUM=        501761750480 		Current CPU time: 140.07 ms
c CURRENT OPTIMUM=        501761700480 		Current CPU time: 142.46 ms
c CURRENT OPTIMUM=        501761650480 		Current CPU time: 144.89 ms
c CURRENT OPTIMUM=        501761600480 		Current CPU time: 147.25 ms
c CURRENT OPTIMUM=        501760350480 		Current CPU time: 149.82 ms
c CURRENT OPTIMUM=        501760300480 		Current CPU time: 152.32 ms
c CURRENT OPTIMUM=        501760250480 		Current CPU time: 154.85 ms
c CURRENT OPTIMUM=        501760200480 		Current CPU time: 157.27 ms
c CURRENT OPTIMUM=        501760150480 		Current CPU time: 159.83 ms
c CURRENT OPTIMUM=        501760100480 		Current CPU time: 162.30 ms
c CURRENT OPTIMUM=        501760050480 		Current CPU time: 164.78 ms
c CURRENT OPTIMUM=        501760000480 		Current CPU time: 167.18 ms
c CURRENT OPTIMUM=        501454750480 		Current CPU time: 170.04 ms
c CURRENT OPTIMUM=        501454700480 		Current CPU time: 172.82 ms
c CURRENT OPTIMUM=        501454650480 		Current CPU time: 175.62 ms
c CURRENT OPTIMUM=        501454600480 		Current CPU time: 178.33 ms
c CURRENT OPTIMUM=        501454550480 		Current CPU time: 181.17 ms
c CURRENT OPTIMUM=        501454500480 		Current CPU time: 183.93 ms
c CURRENT OPTIMUM=        501454450480 		Current CPU time: 186.70 ms
c CURRENT OPTIMUM=        501454400480 		Current CPU time: 189.41 ms
c CURRENT OPTIMUM=        501453150480 		Current CPU time: 192.41 ms
c CURRENT OPTIMUM=        501453100480 		Current CPU time: 195.29 ms
c CURRENT OPTIMUM=        501453050480 		Current CPU time: 198.21 ms
c CURRENT OPTIMUM=        501453000480 		Current CPU time: 201.01 ms
c CURRENT OPTIMUM=        501452950480 		Current CPU time: 203.96 ms
c CURRENT OPTIMUM=        501452900480 		Current CPU time: 206.81 ms
c CURRENT OPTIMUM=        501452850480 		Current CPU time: 209.69 ms
c CURRENT OPTIMUM=        501452800480 		Current CPU time: 212.45 ms
c CURRENT OPTIMUM=        501352350480 		Current CPU time: 215.61 ms
c CURRENT OPTIMUM=        501352300480 		Current CPU time: 218.68 ms
c CURRENT OPTIMUM=        501352250480 		Current CPU time: 221.77 ms
c CURRENT OPTIMUM=        501352200480 		Current CPU time: 224.76 ms
c CURRENT OPTIMUM=        501352150480 		Current CPU time: 227.89 ms
c CURRENT OPTIMUM=        501352100480 		Current CPU time: 230.90 ms
c CURRENT OPTIMUM=        501352050480 		Current CPU time: 233.93 ms
c CURRENT OPTIMUM=        501352000480 		Current CPU time: 236.85 ms
c CURRENT OPTIMUM=        501350750480 		Current CPU time: 240.08 ms
c CURRENT OPTIMUM=        501350700480 		Current CPU time: 243.18 ms
c CURRENT OPTIMUM=        501350650480 		Current CPU time: 246.31 ms
c CURRENT OPTIMUM=        501350600480 		Current CPU time: 249.32 ms
c CURRENT OPTIMUM=        501350550480 		Current CPU time: 252.47 ms
c CURRENT OPTIMUM=        501350500480 		Current CPU time: 255.51 ms
c CURRENT OPTIMUM=        501350450480 		Current CPU time: 258.57 ms
c CURRENT OPTIMUM=        501350400480 		Current CPU time: 261.50 ms
c CURRENT OPTIMUM=        500225950480 		Current CPU time: 265.33 ms
c CURRENT OPTIMUM=        500225900480 		Current CPU time: 269.05 ms
c CURRENT OPTIMUM=        500225850480 		Current CPU time: 272.80 ms
c CURRENT OPTIMUM=        500225800480 		Current CPU time: 276.42 ms
c CURRENT OPTIMUM=        500225750480 		Current CPU time: 280.22 ms
c CURRENT OPTIMUM=        500225700480 		Current CPU time: 283.88 ms
c CURRENT OPTIMUM=        500225650480 		Current CPU time: 287.57 ms
c CURRENT OPTIMUM=        500225600480 		Current CPU time: 291.13 ms
c CURRENT OPTIMUM=        500224350480 		Current CPU time: 295.02 ms
c CURRENT OPTIMUM=        500224300480 		Current CPU time: 298.78 ms
c CURRENT OPTIMUM=        500224250480 		Current CPU time: 302.57 ms
c CURRENT OPTIMUM=        500224200480 		Current CPU time: 306.22 ms
c CURRENT OPTIMUM=        500224150480 		Current CPU time: 310.05 ms
c CURRENT OPTIMUM=        500224100480 		Current CPU time: 313.75 ms
c CURRENT OPTIMUM=        500224050480 		Current CPU time: 317.47 ms
c CURRENT OPTIMUM=        500224000480 		Current CPU time: 321.04 ms
c CURRENT OPTIMUM=        500123550480 		Current CPU time: 325.14 ms
c CURRENT OPTIMUM=        500123500480 		Current CPU time: 329.09 ms
c CURRENT OPTIMUM=        500123450480 		Current CPU time: 333.07 ms
c CURRENT OPTIMUM=        500123400480 		Current CPU time: 336.90 ms
c CURRENT OPTIMUM=        500123350480 		Current CPU time: 340.92 ms
c CURRENT OPTIMUM=        500123300480 		Current CPU time: 344.79 ms
c CURRENT OPTIMUM=        500123250480 		Current CPU time: 348.71 ms
c CURRENT OPTIMUM=        500123200480 		Current CPU time: 352.46 ms
c CURRENT OPTIMUM=        500121950480 		Current CPU time: 356.59 ms
c CURRENT OPTIMUM=        500121900480 		Current CPU time: 360.55 ms
c CURRENT OPTIMUM=        500121850480 		Current CPU time: 364.54 ms
c CURRENT OPTIMUM=        500121800480 		Current CPU time: 368.38 ms
c CURRENT OPTIMUM=        500121750480 		Current CPU time: 372.43 ms
c CURRENT OPTIMUM=        500121700480 		Current CPU time: 376.31 ms
c CURRENT OPTIMUM=        500121650480 		Current CPU time: 380.22 ms
c CURRENT OPTIMUM=        500121600480 		Current CPU time: 383.96 ms
c CURRENT OPTIMUM=        499816350480 		Current CPU time: 388.45 ms
c CURRENT OPTIMUM=        499816300480 		Current CPU time: 392.79 ms
c CURRENT OPTIMUM=        499816250480 		Current CPU time: 397.16 ms
c CURRENT OPTIMUM=        499816200480 		Current CPU time: 401.35 ms
c CURRENT OPTIMUM=        499816150480 		Current CPU time: 405.77 ms
c CURRENT OPTIMUM=        499816100480 		Current CPU time: 410.00 ms
c CURRENT OPTIMUM=        499816050480 		Current CPU time: 414.28 ms
c CURRENT OPTIMUM=        499816000480 		Current CPU time: 418.38 ms
c CURRENT OPTIMUM=        499814750480 		Current CPU time: 422.89 ms
c CURRENT OPTIMUM=        499814700480 		Current CPU time: 427.21 ms
c CURRENT OPTIMUM=        499814650480 		Current CPU time: 431.57 ms
c CURRENT OPTIMUM=        499814600480 		Current CPU time: 435.76 ms
c CURRENT OPTIMUM=        499814550480 		Current CPU time: 440.17 ms
c CURRENT OPTIMUM=        499814500480 		Current CPU time: 444.42 ms
c CURRENT OPTIMUM=        499814450480 		Current CPU time: 448.68 ms
c CURRENT OPTIMUM=        499814400480 		Current CPU time: 452.79 ms
c CURRENT OPTIMUM=        499713950480 		Current CPU time: 457.52 ms
c CURRENT OPTIMUM=        499713900480 		Current CPU time: 462.10 ms
c CURRENT OPTIMUM=        499713850480 		Current CPU time: 466.69 ms
c CURRENT OPTIMUM=        499713800480 		Current CPU time: 471.09 ms
c CURRENT OPTIMUM=        499713750480 		Current CPU time: 475.73 ms
c CURRENT OPTIMUM=        499713700480 		Current CPU time: 480.17 ms
c CURRENT OPTIMUM=        499713650480 		Current CPU time: 484.62 ms
c CURRENT OPTIMUM=        499713600480 		Current CPU time: 488.86 ms
c CURRENT OPTIMUM=        499712350480 		Current CPU time: 493.54 ms
c CURRENT OPTIMUM=        499712300480 		Current CPU time: 498.04 ms
c CURRENT OPTIMUM=        499712250480 		Current CPU time: 502.56 ms
c CURRENT OPTIMUM=        499712200480 		Current CPU time: 506.89 ms
c CURRENT OPTIMUM=        499712150480 		Current CPU time: 511.45 ms
c CURRENT OPTIMUM=        499712100480 		Current CPU time: 515.83 ms
c CURRENT OPTIMUM=        499712050480 		Current CPU time: 520.22 ms
c CURRENT OPTIMUM=        499712000480 		Current CPU time: 524.43 ms
c CURRENT OPTIMUM=        498587550480 		Current CPU time: 529.71 ms
c CURRENT OPTIMUM=        498587500480 		Current CPU time: 534.81 ms
c CURRENT OPTIMUM=        498587450480 		Current CPU time: 539.93 ms
c CURRENT OPTIMUM=        498587400480 		Current CPU time: 544.85 ms
c CURRENT OPTIMUM=        498587350480 		Current CPU time: 550.03 ms
c CURRENT OPTIMUM=        498587300480 		Current CPU time: 555.00 ms
c CURRENT OPTIMUM=        498587250480 		Current CPU time: 560.00 ms
c CURRENT OPTIMUM=        498587200480 		Current CPU time: 564.80 ms
c CURRENT OPTIMUM=        498585950480 		Current CPU time: 570.07 ms
c CURRENT OPTIMUM=        498585900480 		Current CPU time: 575.14 ms
c CURRENT OPTIMUM=        498585850480 		Current CPU time: 580.23 ms
c CURRENT OPTIMUM=        498585800480 		Current CPU time: 585.12 ms
c CURRENT OPTIMUM=        498585750480 		Current CPU time: 590.25 ms
c CURRENT OPTIMUM=        498585700480 		Current CPU time: 595.18 ms
c CURRENT OPTIMUM=        498585650480 		Current CPU time: 600.15 ms
c CURRENT OPTIMUM=        498585600480 		Current CPU time: 604.89 ms
c CURRENT OPTIMUM=        498485150480 		Current CPU time: 610.34 ms
c CURRENT OPTIMUM=        498485100480 		Current CPU time: 615.60 ms
c CURRENT OPTIMUM=        498485050480 		Current CPU time: 620.87 ms
c CURRENT OPTIMUM=        498485000480 		Current CPU time: 625.94 ms
c CURRENT OPTIMUM=        498484950480 		Current CPU time: 631.25 ms
c CURRENT OPTIMUM=        498484900480 		Current CPU time: 636.36 ms
c CURRENT OPTIMUM=        498484850480 		Current CPU time: 641.49 ms
c CURRENT OPTIMUM=        498484800480 		Current CPU time: 646.40 ms
c CURRENT OPTIMUM=        498483550480 		Current CPU time: 651.82 ms
c CURRENT OPTIMUM=        498483500480 		Current CPU time: 657.01 ms
c CURRENT OPTIMUM=        498483450480 		Current CPU time: 662.22 ms
c CURRENT OPTIMUM=        498483400480 		Current CPU time: 667.21 ms
c CURRENT OPTIMUM=        498483350480 		Current CPU time: 672.48 ms
c CURRENT OPTIMUM=        498483300480 		Current CPU time: 677.51 ms
c CURRENT OPTIMUM=        498483250480 		Current CPU time: 682.57 ms
c CURRENT OPTIMUM=        498483200480 		Current CPU time: 687.40 ms
c CURRENT OPTIMUM=        498177950480 		Current CPU time: 693.23 ms
c CURRENT OPTIMUM=        498177900480 		Current CPU time: 698.84 ms
c CURRENT OPTIMUM=        498177850480 		Current CPU time: 704.47 ms
c CURRENT OPTIMUM=        498177800480 		Current CPU time: 709.87 ms
c CURRENT OPTIMUM=        498177750480 		Current CPU time: 715.55 ms
c CURRENT OPTIMUM=        498177700480 		Current CPU time: 721.01 ms
c CURRENT OPTIMUM=        498177650480 		Current CPU time: 726.47 ms
c CURRENT OPTIMUM=        498177600480 		Current CPU time: 731.72 ms
c CURRENT OPTIMUM=        498176350480 		Current CPU time: 737.49 ms
c CURRENT OPTIMUM=        498176300480 		Current CPU time: 743.02 ms
c CURRENT OPTIMUM=        498176250480 		Current CPU time: 748.58 ms
c CURRENT OPTIMUM=        498176200480 		Current CPU time: 753.91 ms
c CURRENT OPTIMUM=        498176150480 		Current CPU time: 759.52 ms
c CURRENT OPTIMUM=        498176100480 		Current CPU time: 764.88 ms
c CURRENT OPTIMUM=        498176050480 		Current CPU time: 770.26 ms
c CURRENT OPTIMUM=        498176000480 		Current CPU time: 775.41 ms
c CURRENT OPTIMUM=        498075550480 		Current CPU time: 781.36 ms
c CURRENT OPTIMUM=        498075500480 		Current CPU time: 787.07 ms
c CURRENT OPTIMUM=        498075450480 		Current CPU time: 792.79 ms
c CURRENT OPTIMUM=        498075400480 		Current CPU time: 798.24 ms
c CURRENT OPTIMUM=        498075350480 		Current CPU time: 803.96 ms
c CURRENT OPTIMUM=        498075300480 		Current CPU time: 809.43 ms
c CURRENT OPTIMUM=        498075250480 		Current CPU time: 814.93 ms
c CURRENT OPTIMUM=        498075200480 		Current CPU time: 820.18 ms
c CURRENT OPTIMUM=        498073950480 		Current CPU time: 825.99 ms
c CURRENT OPTIMUM=        498073900480 		Current CPU time: 831.55 ms
c CURRENT OPTIMUM=        498073850480 		Current CPU time: 837.15 ms
c CURRENT OPTIMUM=        498073800480 		Current CPU time: 842.55 ms
c CURRENT OPTIMUM=        498073750480 		Current CPU time: 848.22 ms
c CURRENT OPTIMUM=        498073700480 		Current CPU time: 853.65 ms
c CURRENT OPTIMUM=        498073650480 		Current CPU time: 859.09 ms
c CURRENT OPTIMUM=        498073600480 		Current CPU time: 864.27 ms
c CURRENT OPTIMUM=        477288350480 		Current CPU time: 871.42 ms
c CURRENT OPTIMUM=        477288300480 		Current CPU time: 878.33 ms
c CURRENT OPTIMUM=        477288250480 		Current CPU time: 885.26 ms
c CURRENT OPTIMUM=        477288200480 		Current CPU time: 891.94 ms
c CURRENT OPTIMUM=        477288150480 		Current CPU time: 898.92 ms
c CURRENT OPTIMUM=        477288100480 		Current CPU time: 905.61 ms
c CURRENT OPTIMUM=        477288050480 		Current CPU time: 912.31 ms
c CURRENT OPTIMUM=        477288000480 		Current CPU time: 918.74 ms
c CURRENT OPTIMUM=        477286750480 		Current CPU time: 925.79 ms
c CURRENT OPTIMUM=        477286700480 		Current CPU time: 932.62 ms
c CURRENT OPTIMUM=        477286650480 		Current CPU time: 939.47 ms
c CURRENT OPTIMUM=        477286600480 		Current CPU time: 946.05 ms
c CURRENT OPTIMUM=        477286550480 		Current CPU time: 952.94 ms
c CURRENT OPTIMUM=        477286500480 		Current CPU time: 959.57 ms
c CURRENT OPTIMUM=        477286450480 		Current CPU time: 966.22 ms
c CURRENT OPTIMUM=        477286400480 		Current CPU time: 972.60 ms
c CURRENT OPTIMUM=        477185950480 		Current CPU time: 979.89 ms
c CURRENT OPTIMUM=        477185900480 		Current CPU time: 986.90 ms
c CURRENT OPTIMUM=        477185850480 		Current CPU time: 993.93 ms
c CURRENT OPTIMUM=        477185800480 		Current CPU time: 1000.69 ms
c CURRENT OPTIMUM=        477185750480 		Current CPU time: 1007.79 ms
c CURRENT OPTIMUM=        477185700480 		Current CPU time: 1014.60 ms
c CURRENT OPTIMUM=        477185650480 		Current CPU time: 1021.43 ms
c CURRENT OPTIMUM=        477185600480 		Current CPU time: 1027.99 ms
c CURRENT OPTIMUM=        477184350480 		Current CPU time: 1035.17 ms
c CURRENT OPTIMUM=        477184300480 		Current CPU time: 1042.07 ms
c CURRENT OPTIMUM=        477184250480 		Current CPU time: 1049.00 ms
c CURRENT OPTIMUM=        477184200480 		Current CPU time: 1055.64 ms
c CURRENT OPTIMUM=        477184150480 		Current CPU time: 1062.61 ms
c CURRENT OPTIMUM=        477184100480 		Current CPU time: 1069.30 ms
c CURRENT OPTIMUM=        477184050480 		Current CPU time: 1076.01 ms
c CURRENT OPTIMUM=        477184000480 		Current CPU time: 1082.43 ms
c CURRENT OPTIMUM=        476878750480 		Current CPU time: 1090.11 ms
c CURRENT OPTIMUM=        476878700480 		Current CPU time: 1097.51 ms
c CURRENT OPTIMUM=        476878650480 		Current CPU time: 1104.94 ms
c CURRENT OPTIMUM=        476878600480 		Current CPU time: 1112.05 ms
c CURRENT OPTIMUM=        476878550480 		Current CPU time: 1119.52 ms
c CURRENT OPTIMUM=        476878500480 		Current CPU time: 1126.70 ms
c CURRENT OPTIMUM=        476878450480 		Current CPU time: 1133.89 ms
c CURRENT OPTIMUM=        476878400480 		Current CPU time: 1140.80 ms
c CURRENT OPTIMUM=        476877150480 		Current CPU time: 1148.36 ms
c CURRENT OPTIMUM=        476877100480 		Current CPU time: 1155.64 ms
c CURRENT OPTIMUM=        476877050480 		Current CPU time: 1162.93 ms
c CURRENT OPTIMUM=        476877000480 		Current CPU time: 1169.92 ms
c CURRENT OPTIMUM=        476876950480 		Current CPU time: 1177.26 ms
c CURRENT OPTIMUM=        476876900480 		Current CPU time: 1184.30 ms
c CURRENT OPTIMUM=        476876850480 		Current CPU time: 1191.35 ms
c CURRENT OPTIMUM=        476876800480 		Current CPU time: 1198.11 ms
c CURRENT OPTIMUM=        476776350480 		Current CPU time: 1205.85 ms
c CURRENT OPTIMUM=        476776300480 		Current CPU time: 1213.32 ms
c starts	: 346
c conflicts	: 1
c decisions	: 15213
c propagations	: 61908
c inspects	: 1188113
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 346
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=476776300480
c Total CPU time (ms) : 1219.099
#### 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.94 1.00 0.99 2/54 6014
Raw data (stat): 6014 (runsolver) R 6013 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838000877 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 1.26 1.07 1.02 2/64 6060
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18160 9 1 0 562 41 0 0 25 0 11 0 838000877 876797952 24183 4294967295 134512640 134569956 3221224368 3221214640 1131287122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214062 24183 13086 16 0 214046 0
vsize: 856248
[startup+20.0017 s]
Raw data (loadavg): 1.29 1.08 1.02 2/64 6072
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18164 9 1 0 1423 41 1 0 25 0 11 0 838000877 869404672 22593 4294967295 134512640 134569956 3221224368 3221214640 1131287175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 22593 13086 16 0 212241 0
vsize: 849028
[startup+30.0025 s]
Raw data (loadavg): 1.25 1.08 1.02 2/64 6083
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 2381 42 1 0 25 0 11 0 838000877 869404672 22690 4294967295 134512640 134569956 3221224368 3221214552 1131230290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 22690 13086 16 0 212241 0
vsize: 849028
[startup+40.0033 s]
Raw data (loadavg): 1.21 1.08 1.02 2/64 6092
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 3338 42 1 1 25 0 11 0 838000877 869404672 22767 4294967295 134512640 134569956 3221224368 3221214544 1131192513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 22767 13086 16 0 212241 0
vsize: 849028
[startup+50.0041 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 6100
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 4313 42 1 1 25 0 11 0 838000877 869404672 23107 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23107 13086 16 0 212241 0
vsize: 849028
[startup+60.0045 s]
Raw data (loadavg): 1.15 1.07 1.02 2/64 6106
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 5298 43 2 1 25 0 11 0 838000877 869404672 23154 4294967295 134512640 134569956 3221224368 3221214552 1131229345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23154 13086 16 0 212241 0
vsize: 849028
[startup+70.0057 s]
Raw data (loadavg): 1.13 1.07 1.02 2/64 6113
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 6284 43 2 1 25 0 11 0 838000877 869404672 23192 4294967295 134512640 134569956 3221224368 3221214544 1131193541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23192 13086 16 0 212241 0
vsize: 849028
[startup+80.0065 s]
Raw data (loadavg): 1.11 1.06 1.01 2/64 6119
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 7270 43 3 1 25 0 11 0 838000877 869404672 23253 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23253 13086 16 0 212241 0
vsize: 849028
[startup+90.0074 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 6124
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 8258 44 3 1 24 0 11 0 838000877 869404672 23303 4294967295 134512640 134569956 3221224368 3221214640 1131296388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23303 13086 16 0 212241 0
vsize: 849028
[startup+100.008 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 6129
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 9248 44 3 1 25 0 11 0 838000877 869404672 23328 4294967295 134512640 134569956 3221224368 3221214552 1131228921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23328 13086 16 0 212241 0
vsize: 849028
[startup+110.009 s]
Raw data (loadavg): 1.06 1.06 1.01 2/64 6134
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 10238 44 3 1 25 0 11 0 838000877 869404672 23354 4294967295 134512640 134569956 3221224368 3221214552 1131230379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23354 13086 16 0 212241 0
vsize: 849028
[startup+120.009 s]
Raw data (loadavg): 1.05 1.05 1.01 2/63 6138
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 11228 44 3 1 25 0 10 0 838000877 869404672 23379 4294967295 134512640 134569956 3221224368 3221205820 1073952961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23379 13086 16 0 212241 0
vsize: 849028
[startup+130.01 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 6143
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 12218 45 4 1 25 0 11 0 838000877 869404672 23396 4294967295 134512640 134569956 3221224368 3221214640 1131290517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23396 13086 16 0 212241 0
vsize: 849028
[startup+140.01 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 6147
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 13204 45 4 1 25 0 11 0 838000877 869404672 23418 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23418 13086 16 0 212241 0
vsize: 849028
[startup+150.011 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 6151
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 14191 45 4 1 25 0 11 0 838000877 869404672 23435 4294967295 134512640 134569956 3221224368 3221214640 1131296956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23435 13086 16 0 212241 0
vsize: 849028
[startup+160.012 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 6157
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 15177 45 4 1 25 0 11 0 838000877 869404672 23505 4294967295 134512640 134569956 3221224368 3221214552 1131228956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23505 13086 16 0 212241 0
vsize: 849028
[startup+170.013 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 6161
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 16167 45 4 1 25 0 11 0 838000877 869404672 23524 4294967295 134512640 134569956 3221224368 3221214640 1131289636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23524 13086 16 0 212241 0
vsize: 849028
[startup+180.013 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 6165
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 17158 45 4 2 22 0 11 0 838000877 869404672 23571 4294967295 134512640 134569956 3221224368 3221214640 1131296256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23571 13086 16 0 212241 0
vsize: 849028
[startup+190.013 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 6168
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 18149 45 4 2 25 0 11 0 838000877 869404672 23588 4294967295 134512640 134569956 3221224368 3221214640 1131289378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23588 13086 16 0 212241 0
vsize: 849028
[startup+200.014 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 6172
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 19139 45 4 2 25 0 11 0 838000877 869404672 23605 4294967295 134512640 134569956 3221224368 3221214636 1131192480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23605 13086 16 0 212241 0
vsize: 849028
[startup+210.015 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 6175
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 20130 46 5 2 25 0 11 0 838000877 869404672 23622 4294967295 134512640 134569956 3221224368 3221214552 1131228990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23622 13086 16 0 212241 0
vsize: 849028
[startup+220.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6179
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 21121 46 5 2 25 0 11 0 838000877 869404672 23639 4294967295 134512640 134569956 3221224368 3221214640 1131294917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23639 13086 16 0 212241 0
vsize: 849028
[startup+230.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6182
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 22111 46 5 2 25 0 11 0 838000877 869404672 23652 4294967295 134512640 134569956 3221224368 3221214640 1131287107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23652 13086 16 0 212241 0
vsize: 849028
[startup+240.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6185
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 23101 47 5 2 25 0 11 0 838000877 869404672 23664 4294967295 134512640 134569956 3221224368 3221214640 1131296187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23664 13086 16 0 212241 0
vsize: 849028
[startup+250.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6188
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 24093 47 5 2 25 0 11 0 838000877 869404672 23681 4294967295 134512640 134569956 3221224368 3221214552 1131229078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23681 13086 16 0 212241 0
vsize: 849028
[startup+260.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6192
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 25082 47 5 2 17 0 11 0 838000877 869404672 23696 4294967295 134512640 134569956 3221224368 3221214552 1131230194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23696 13086 16 0 212241 0
vsize: 849028
[startup+270.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6194
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 26074 47 5 2 25 0 11 0 838000877 869404672 23709 4294967295 134512640 134569956 3221224368 3221214672 1131197017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 23709 13086 16 0 212241 0
vsize: 849028
[startup+280.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 6197
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 27065 48 5 2 25 0 11 0 838000877 869404672 23722 4294967295 134512640 134569956 3221224368 3221214552 1131229018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23722 13086 16 0 212241 0
vsize: 849028
[startup+290.021 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 6200
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 28056 48 6 2 25 0 11 0 838000877 869404672 23739 4294967295 134512640 134569956 3221224368 3221214552 1131229030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23739 13086 16 0 212241 0
vsize: 849028
[startup+300.022 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 6203
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 29047 48 6 2 25 0 11 0 838000877 869404672 23752 4294967295 134512640 134569956 3221224368 3221214552 1131229703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23752 13086 16 0 212241 0
vsize: 849028
[startup+310.023 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 6205
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 30039 49 6 2 25 0 11 0 838000877 869404672 23760 4294967295 134512640 134569956 3221224368 3221214552 1131229139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23760 13086 16 0 212241 0
vsize: 849028
[startup+320.024 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 6208
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 31030 49 6 3 25 0 11 0 838000877 869404672 23773 4294967295 134512640 134569956 3221224368 3221214640 1131287240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23773 13086 16 0 212241 0
vsize: 849028
[startup+330.024 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 6210
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 32021 49 6 3 25 0 11 0 838000877 869404672 23786 4294967295 134512640 134569956 3221224368 3221214552 1131229139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23786 13086 16 0 212241 0
vsize: 849028
[startup+340.024 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 6213
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 33013 49 6 3 25 0 11 0 838000877 869404672 23794 4294967295 134512640 134569956 3221224368 3221214640 1131287179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23794 13086 16 0 212241 0
vsize: 849028
[startup+350.025 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 6216
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 34004 50 6 3 25 0 11 0 838000877 869404672 23808 4294967295 134512640 134569956 3221224368 3221214544 1131192513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23808 13086 16 0 212241 0
vsize: 849028
[startup+360.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6218
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 34996 50 6 3 25 0 11 0 838000877 869404672 23816 4294967295 134512640 134569956 3221224368 3221214552 1131229193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23816 13086 16 0 212241 0
vsize: 849028
[startup+370.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6221
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 35987 51 6 3 21 0 11 0 838000877 869404672 23829 4294967295 134512640 134569956 3221224368 3221214640 1131289528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23829 13086 16 0 212241 0
vsize: 849028
[startup+380.027 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 6223
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 36978 51 6 3 25 0 11 0 838000877 869404672 23842 4294967295 134512640 134569956 3221224368 3221214640 1131286959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23842 13086 16 0 212241 0
vsize: 849028
[startup+390.027 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 6226
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 37969 52 6 3 25 0 11 0 838000877 869404672 23850 4294967295 134512640 134569956 3221224368 3221214640 1131296990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23850 13086 16 0 212241 0
vsize: 849028
[startup+400.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6228
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 38961 52 6 3 25 0 11 0 838000877 869404672 23863 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23863 13086 16 0 212241 0
vsize: 849028
[startup+410.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6230
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 39954 52 6 3 25 0 11 0 838000877 869404672 23872 4294967295 134512640 134569956 3221224368 3221214552 1131228870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23872 13086 16 0 212241 0
vsize: 849028
[startup+420.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6233
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 40944 52 7 3 25 0 11 0 838000877 869404672 23884 4294967295 134512640 134569956 3221224368 3221214640 1131296132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23884 13086 16 0 212241 0
vsize: 849028
[startup+430.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6235
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 41936 53 7 3 25 0 11 0 838000877 869404672 23893 4294967295 134512640 134569956 3221224368 3221214640 1131287240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23893 13086 16 0 212241 0
vsize: 849028
[startup+440.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6237
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 42926 53 7 3 25 0 11 0 838000877 869404672 23902 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23902 13086 16 0 212241 0
vsize: 849028
[startup+450.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6240
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 43916 53 7 3 25 0 11 0 838000877 869404672 23914 4294967295 134512640 134569956 3221224368 3221214640 1131296971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23914 13086 16 0 212241 0
vsize: 849028
[startup+460.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6242
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 44898 53 7 3 25 0 11 0 838000877 869404672 23923 4294967295 134512640 134569956 3221224368 3221214552 1131228907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23923 13086 16 0 212241 0
vsize: 849028
[startup+470.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6244
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 45881 53 7 3 25 0 11 0 838000877 869404672 23991 4294967295 134512640 134569956 3221224368 3221214640 1131294156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23991 13086 16 0 212241 0
vsize: 849028
[startup+480.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6246
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 46863 54 7 3 25 0 11 0 838000877 869404672 24055 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24055 13086 16 0 212241 0
vsize: 849028
[startup+490.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 6249
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 47855 54 7 3 25 0 11 0 838000877 869404672 24112 4294967295 134512640 134569956 3221224368 3221214552 1131228921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24112 13086 16 0 212241 0
vsize: 849028
[startup+500.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6251
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 48846 54 7 3 25 0 11 0 838000877 869404672 24121 4294967295 134512640 134569956 3221224368 3221214552 1131228921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24121 13086 16 0 212241 0
vsize: 849028
[startup+510.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6253
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 49838 55 7 3 25 0 11 0 838000877 869404672 24129 4294967295 134512640 134569956 3221224368 3221214552 1131229155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24129 13086 16 0 212241 0
vsize: 849028
[startup+520.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6255
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 50830 55 7 3 25 0 11 0 838000877 869404672 24142 4294967295 134512640 134569956 3221224368 3221214552 1131229139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24142 13086 16 0 212241 0
vsize: 849028
[startup+530.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6257
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 51822 55 7 3 25 0 11 0 838000877 869404672 24151 4294967295 134512640 134569956 3221224368 3221214640 1131287175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24151 13086 16 0 212241 0
vsize: 849028
[startup+540.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6259
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18165 9 1 0 52814 56 7 3 25 0 11 0 838000877 869404672 24159 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24159 13086 16 0 212241 0
vsize: 849028
[startup+550.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6261
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 53805 56 8 3 25 0 11 0 838000877 869404672 24169 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24169 13086 16 0 212241 0
vsize: 849028
[startup+560.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6263
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 54798 56 8 3 25 0 11 0 838000877 869404672 24178 4294967295 134512640 134569956 3221224368 3221214640 1131295138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24178 13086 16 0 212241 0
vsize: 849028
[startup+570.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6265
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 55789 56 8 3 25 0 11 0 838000877 869404672 24186 4294967295 134512640 134569956 3221224368 3221214640 1131296260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24186 13086 16 0 212241 0
vsize: 849028
[startup+580.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6267
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 56782 57 8 3 25 0 11 0 838000877 869404672 24195 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24195 13086 16 0 212241 0
vsize: 849028
[startup+590.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6269
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 57773 57 8 4 25 0 11 0 838000877 869404672 24203 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24203 13086 16 0 212241 0
vsize: 849028
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6271
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 58765 58 8 4 25 0 11 0 838000877 869404672 24212 4294967295 134512640 134569956 3221224368 3221214552 1131228921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24212 13086 16 0 212241 0
vsize: 849028
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6273
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 59757 58 8 4 25 0 11 0 838000877 869404672 24220 4294967295 134512640 134569956 3221224368 3221214552 1131229135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24220 13086 16 0 212241 0
vsize: 849028
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6275
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 60749 59 8 4 25 0 11 0 838000877 869404672 24229 4294967295 134512640 134569956 3221224368 3221214640 1131289469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24229 13086 16 0 212241 0
vsize: 849028
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6277
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 61741 59 8 4 25 0 11 0 838000877 869404672 24237 4294967295 134512640 134569956 3221224368 3221214640 1131290639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24237 13086 16 0 212241 0
vsize: 849028
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6279
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 62733 59 8 4 25 0 11 0 838000877 869404672 24246 4294967295 134512640 134569956 3221224368 3221214640 1131296376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24246 13086 16 0 212241 0
vsize: 849028
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6281
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 63725 60 8 4 25 0 11 0 838000877 869404672 24254 4294967295 134512640 134569956 3221224368 3221214640 1131290691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24254 13086 16 0 212241 0
vsize: 849028
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6283
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 64717 60 8 4 25 0 11 0 838000877 869404672 24263 4294967295 134512640 134569956 3221224368 3221214640 1131295064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24263 13086 16 0 212241 0
vsize: 849028
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6285
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 65709 60 8 4 25 0 11 0 838000877 869404672 24271 4294967295 134512640 134569956 3221224368 3221214552 1131230554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24271 13086 16 0 212241 0
vsize: 849028
[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6287
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 66700 61 8 4 25 0 11 0 838000877 869404672 24280 4294967295 134512640 134569956 3221224368 3221214640 1131295194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24280 13086 16 0 212241 0
vsize: 849028
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6289
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 67692 62 8 4 25 0 11 0 838000877 869404672 24288 4294967295 134512640 134569956 3221224368 3221214640 1131290691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24288 13086 16 0 212241 0
vsize: 849028
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6291
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 68684 62 8 4 25 0 11 0 838000877 869404672 24297 4294967295 134512640 134569956 3221224368 3221214552 1131229020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24297 13086 16 0 212241 0
vsize: 849028
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6292
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 69676 62 8 4 25 0 11 0 838000877 869404672 24305 4294967295 134512640 134569956 3221224368 3221214552 1131229357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24305 13086 16 0 212241 0
vsize: 849028
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6294
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 70667 63 8 4 25 0 11 0 838000877 869404672 24314 4294967295 134512640 134569956 3221224368 3221214544 1131193541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24314 13086 16 0 212241 0
vsize: 849028
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6296
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 71659 63 9 4 25 0 11 0 838000877 869404672 24323 4294967295 134512640 134569956 3221224368 3221214552 1131228820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24323 13086 16 0 212241 0
vsize: 849028
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6298
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 72651 64 9 4 25 0 11 0 838000877 869404672 24328 4294967295 134512640 134569956 3221224368 3221214552 1131229139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24328 13086 16 0 212241 0
vsize: 849028
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6300
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 73643 64 9 4 25 0 11 0 838000877 869404672 24336 4294967295 134512640 134569956 3221224368 3221214552 1131228987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24336 13086 16 0 212241 0
vsize: 849028
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6301
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 74635 65 9 4 25 0 11 0 838000877 869404672 24345 4294967295 134512640 134569956 3221224368 3221214552 1131230114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24345 13086 16 0 212241 0
vsize: 849028
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6303
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 75626 65 9 4 25 0 11 0 838000877 869404672 24353 4294967295 134512640 134569956 3221224368 3221214640 1131289332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24353 13086 16 0 212241 0
vsize: 849028
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6305
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 76618 65 9 4 25 0 11 0 838000877 869404672 24361 4294967295 134512640 134569956 3221224368 3221214640 1131287175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24361 13086 16 0 212241 0
vsize: 849028
[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6307
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 77610 65 9 4 25 0 11 0 838000877 869404672 24366 4294967295 134512640 134569956 3221224368 3221214552 1131230359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24366 13086 16 0 212241 0
vsize: 849028
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6309
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 78601 66 9 4 25 0 11 0 838000877 869404672 24374 4294967295 134512640 134569956 3221224368 3221214552 1131229179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 24374 13086 16 0 212241 0
vsize: 849028
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6310
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 79594 66 9 4 25 0 11 0 838000877 869404672 24383 4294967295 134512640 134569956 3221224368 3221214640 1131290506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 24383 13086 16 0 212241 0
vsize: 849028
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6312
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 80585 66 10 4 25 0 11 0 838000877 869404672 24391 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 24391 13086 16 0 212241 0
vsize: 849028
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6314
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 81577 66 10 4 25 0 11 0 838000877 869404672 24400 4294967295 134512640 134569956 3221224368 3221214552 1131230281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 24400 13086 16 0 212241 0
vsize: 849028
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6316
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 82568 66 10 4 25 0 11 0 838000877 869404672 24404 4294967295 134512640 134569956 3221224368 3221214552 1131230322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24404 13086 16 0 212241 0
vsize: 849028
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6318
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 83559 66 10 4 25 0 11 0 838000877 869404672 24412 4294967295 134512640 134569956 3221224368 3221214552 1131230554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24412 13086 16 0 212241 0
vsize: 849028
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6319
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 84550 67 10 4 25 0 11 0 838000877 869404672 24421 4294967295 134512640 134569956 3221224368 3221214632 1131452971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24421 13086 16 0 212241 0
vsize: 849028
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6321
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 85542 67 10 4 25 0 11 0 838000877 869404672 24429 4294967295 134512640 134569956 3221224368 3221214552 1131229541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24429 13086 16 0 212241 0
vsize: 849028
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6323
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 86533 67 10 4 25 0 11 0 838000877 869404672 24438 4294967295 134512640 134569956 3221224368 3221214552 1131229582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24438 13086 16 0 212241 0
vsize: 849028
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6324
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 87525 68 10 4 25 0 11 0 838000877 869404672 24442 4294967295 134512640 134569956 3221224368 3221214640 1131289451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24442 13086 16 0 212241 0
vsize: 849028
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6326
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 88517 68 10 4 25 0 11 0 838000877 869404672 24451 4294967295 134512640 134569956 3221224368 3221214640 1131296933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24451 13086 16 0 212241 0
vsize: 849028
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6327
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 89509 68 10 4 25 0 11 0 838000877 869404672 24460 4294967295 134512640 134569956 3221224368 3221214640 1131287175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24460 13086 16 0 212241 0
vsize: 849028
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6329
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 90501 69 10 4 25 0 11 0 838000877 869404672 24464 4294967295 134512640 134569956 3221224368 3221214552 1131229020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 24464 13086 16 0 212241 0
vsize: 849028
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6330
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 91492 69 10 4 25 0 11 0 838000877 869404672 24472 4294967295 134512640 134569956 3221224368 3221214552 1131229139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24472 13086 16 0 212241 0
vsize: 849028
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6331
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 92484 69 10 4 25 0 11 0 838000877 869404672 24477 4294967295 134512640 134569956 3221224368 3221214552 1131228976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24477 13086 16 0 212241 0
vsize: 849028
[startup+950.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6333
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 93475 69 11 5 25 0 11 0 838000877 869404672 24489 4294967295 134512640 134569956 3221224368 3221214640 1131295187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24489 13086 16 0 212241 0
vsize: 849028
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6334
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 94466 69 11 5 25 0 11 0 838000877 869404672 24493 4294967295 134512640 134569956 3221224368 3221214640 1131294097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24493 13086 16 0 212241 0
vsize: 849028
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6336
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 95457 70 11 5 25 0 11 0 838000877 869404672 24498 4294967295 134512640 134569956 3221224368 3221214640 1131288449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24498 13086 16 0 212241 0
vsize: 849028
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6337
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 96448 70 11 5 25 0 11 0 838000877 869404672 24506 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24506 13086 16 0 212241 0
vsize: 849028
[startup+990.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6339
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 97440 71 11 5 25 0 11 0 838000877 869404672 24510 4294967295 134512640 134569956 3221224368 3221214552 1131229439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24510 13086 16 0 212241 0
vsize: 849028
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6340
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 98431 71 11 5 25 0 11 0 838000877 869404672 24519 4294967295 134512640 134569956 3221224368 3221214552 1131228972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24519 13086 16 0 212241 0
vsize: 849028
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6342
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 99422 72 11 5 25 0 11 0 838000877 869404672 24523 4294967295 134512640 134569956 3221224368 3221214552 1131229139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24523 13086 16 0 212241 0
vsize: 849028
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6343
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 100414 72 11 5 25 0 11 0 838000877 869404672 24532 4294967295 134512640 134569956 3221224368 3221214640 1131287240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24532 13086 16 0 212241 0
vsize: 849028
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6345
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 101406 72 11 5 25 0 11 0 838000877 869404672 24536 4294967295 134512640 134569956 3221224368 3221214552 1131229197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24536 13086 16 0 212241 0
vsize: 849028
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6346
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 102398 73 11 5 25 0 11 0 838000877 869404672 24544 4294967295 134512640 134569956 3221224368 3221214640 1131291692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24544 13086 16 0 212241 0
vsize: 849028
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6348
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 103389 73 11 5 25 0 11 0 838000877 869404672 24549 4294967295 134512640 134569956 3221224368 3221214640 1131295187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24549 13086 16 0 212241 0
vsize: 849028
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6349
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 104381 73 11 5 25 0 11 0 838000877 869404672 24557 4294967295 134512640 134569956 3221224368 3221214640 1131288400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24557 13086 16 0 212241 0
vsize: 849028
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6350
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 105373 73 11 5 25 0 11 0 838000877 869404672 24561 4294967295 134512640 134569956 3221224368 3221214552 1131230541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24561 13086 16 0 212241 0
vsize: 849028
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6352
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 106365 74 11 5 25 0 11 0 838000877 869404672 24570 4294967295 134512640 134569956 3221224368 3221214552 1131228853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24570 13086 16 0 212241 0
vsize: 849028
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6353
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 107357 74 11 5 25 0 11 0 838000877 869404672 24574 4294967295 134512640 134569956 3221224368 3221214636 1131192480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24574 13086 16 0 212241 0
vsize: 849028
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6355
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 108349 75 12 5 25 0 11 0 838000877 869404672 24578 4294967295 134512640 134569956 3221224368 3221214552 1131228856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24578 13086 16 0 212241 0
vsize: 849028
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6356
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 109340 75 12 5 25 0 11 0 838000877 869404672 24587 4294967295 134512640 134569956 3221224368 3221214552 1131229139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24587 13086 16 0 212241 0
vsize: 849028
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6357
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 110332 75 12 5 25 0 11 0 838000877 869404672 24591 4294967295 134512640 134569956 3221224368 3221214640 1131287175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24591 13086 16 0 212241 0
vsize: 849028
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6359
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 111324 75 12 5 25 0 11 0 838000877 869404672 24600 4294967295 134512640 134569956 3221224368 3221214640 1131291561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24600 13086 16 0 212241 0
vsize: 849028
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6360
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 112315 76 12 5 25 0 11 0 838000877 869404672 24604 4294967295 134512640 134569956 3221224368 3221214552 1131229739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24604 13086 16 0 212241 0
vsize: 849028
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6362
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 113308 76 12 5 25 0 11 0 838000877 869404672 24608 4294967295 134512640 134569956 3221224368 3221214552 1131229018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24608 13086 16 0 212241 0
vsize: 849028
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6363
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 114299 76 12 5 25 0 11 0 838000877 869404672 24617 4294967295 134512640 134569956 3221224368 3221214640 1131290777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24617 13086 16 0 212241 0
vsize: 849028
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6364
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 115291 77 12 5 25 0 11 0 838000877 869404672 24621 4294967295 134512640 134569956 3221224368 3221214640 1131297300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24621 13086 16 0 212241 0
vsize: 849028
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6366
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 116282 77 12 5 25 0 11 0 838000877 869404672 24629 4294967295 134512640 134569956 3221224368 3221214552 1131228904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24629 13086 16 0 212241 0
vsize: 849028
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6367
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 117274 77 12 5 25 0 11 0 838000877 869404672 24634 4294967295 134512640 134569956 3221224368 3221214552 1131228907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24634 13086 16 0 212241 0
vsize: 849028
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6369
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 118266 77 12 5 25 0 11 0 838000877 869404672 24638 4294967295 134512640 134569956 3221224368 3221214552 1131229832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24638 13086 16 0 212241 0
vsize: 849028
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6370
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 119257 78 12 5 25 0 11 0 838000877 869404672 24646 4294967295 134512640 134569956 3221224368 3221214640 1131295019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24646 13086 16 0 212241 0
vsize: 849028
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6371
Raw data (stat): 6014 (java) R 6013 22056 22055 0 -1 0 18166 9 1 0 120249 78 12 5 25 0 11 0 838000877 869404672 24651 4294967295 134512640 134569956 3221224368 3221214552 1131230369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24651 13086 16 0 212241 0
vsize: 849028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6373
Raw data (stat): 6014 (java) Z 6013 22056 22055 0 -1 1036 18166 11706 1 0 120254 83 2646 46 25 0 1 0 838000877 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.17
CPU time (s): 1230.31
CPU user time (s): 1229.01
CPU system time (s): 1.2958
CPU usage (%): 100.83
Max. virtual memory (Kb): 856248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	476776300480
#### END VERIFIER DATA ####