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/miplib2003/normalized-mps-v2-20-10-mas74.opb
MD5SUM	6a0bff14a7f6c8e613cddf35e20a182f
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	1217.78
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 29585

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 09:12:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20987 boxname=wulflinc31 idbench=975 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6a0bff14a7f6c8e613cddf35e20a182f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-mas74.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-mas74.opb
IDLAUNCH: 20987
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        477448 kB
Buffers:         24952 kB
Cached:         502016 kB
SwapCached:       1052 kB
Active:          58628 kB
Inactive:       470572 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        477196 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22344 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:33:20 (client local time) WITH STATUS 143 IN 1217.78 SECONDS
stats: 20987 0 1217.78 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/wulflinc31/normalized-mps-v2-20-10-mas74.opb
c reading problem ... done. Time 1.604 ms.
c #vars     240
c #constraints  14
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM= 1759218604441600000 		Current CPU time: 1.74 ms
c CURRENT OPTIMUM=  879609302220800000 		Current CPU time: 1.94 ms
c CURRENT OPTIMUM=  439804651110400000 		Current CPU time: 2.10 ms
c CURRENT OPTIMUM=  219902325555200000 		Current CPU time: 2.49 ms
c CURRENT OPTIMUM=  109951162777600000 		Current CPU time: 2.60 ms
c CURRENT OPTIMUM=   54975581388800000 		Current CPU time: 2.71 ms
c CURRENT OPTIMUM=   27487790694400000 		Current CPU time: 2.78 ms
c CURRENT OPTIMUM=   13743895347200000 		Current CPU time: 2.84 ms
c CURRENT OPTIMUM=    6871947673600000 		Current CPU time: 3.01 ms
c CURRENT OPTIMUM=    3435973836800000 		Current CPU time: 3.15 ms
c CURRENT OPTIMUM=    1717986918400000 		Current CPU time: 3.28 ms
c CURRENT OPTIMUM=     858993459200000 		Current CPU time: 3.40 ms
c CURRENT OPTIMUM=     429496729600000 		Current CPU time: 3.54 ms
c CURRENT OPTIMUM=     214748364800000 		Current CPU time: 3.65 ms
c CURRENT OPTIMUM=     107374182400000 		Current CPU time: 3.79 ms
c CURRENT OPTIMUM=      53687091200000 		Current CPU time: 3.90 ms
c CURRENT OPTIMUM=      26843545600000 		Current CPU time: 4.03 ms
c CURRENT OPTIMUM=      13421772800000 		Current CPU time: 4.14 ms
c CURRENT OPTIMUM=       6710886400000 		Current CPU time: 4.16 ms
c CURRENT OPTIMUM=       3355443200000 		Current CPU time: 4.19 ms
c CURRENT OPTIMUM=       1677721600000 		Current CPU time: 4.21 ms
c CURRENT OPTIMUM=        838860800000 		Current CPU time: 4.26 ms
c CURRENT OPTIMUM=        629145600000 		Current CPU time: 4.35 ms
c CURRENT OPTIMUM=        524288000000 		Current CPU time: 4.53 ms
c CURRENT OPTIMUM=        511180800000 		Current CPU time: 4.71 ms
c CURRENT OPTIMUM=        504627200000 		Current CPU time: 4.90 ms
c CURRENT OPTIMUM=        503808000000 		Current CPU time: 5.10 ms
c CURRENT OPTIMUM=        503603200000 		Current CPU time: 5.33 ms
c CURRENT OPTIMUM=        503552000000 		Current CPU time: 5.51 ms
c CURRENT OPTIMUM=        503526400000 		Current CPU time: 5.69 ms
c CURRENT OPTIMUM=        503513600000 		Current CPU time: 5.88 ms
c CURRENT OPTIMUM=        503507200000 		Current CPU time: 6.07 ms
c CURRENT OPTIMUM=        503504000000 		Current CPU time: 6.29 ms
c CURRENT OPTIMUM=        503503200000 		Current CPU time: 6.51 ms
c CURRENT OPTIMUM=        503502800000 		Current CPU time: 6.73 ms
c CURRENT OPTIMUM=        503502775000 		Current CPU time: 6.98 ms
c CURRENT OPTIMUM=        503502762500 		Current CPU time: 7.27 ms
c CURRENT OPTIMUM=        503502756250 		Current CPU time: 7.55 ms
c CURRENT OPTIMUM=        503502753125 		Current CPU time: 7.82 ms
c CURRENT OPTIMUM=        503502750032 		Current CPU time: 11.08 ms
c CURRENT OPTIMUM=        503502700640 		Current CPU time: 11.72 ms
c CURRENT OPTIMUM=        503502650640 		Current CPU time: 12.32 ms
c CURRENT OPTIMUM=        503502600640 		Current CPU time: 12.93 ms
c CURRENT OPTIMUM=        503502550640 		Current CPU time: 13.55 ms
c CURRENT OPTIMUM=        503502500640 		Current CPU time: 14.21 ms
c CURRENT OPTIMUM=        503502450640 		Current CPU time: 14.90 ms
c CURRENT OPTIMUM=        503502400640 		Current CPU time: 15.59 ms
c CURRENT OPTIMUM=        503501150640 		Current CPU time: 16.35 ms
c CURRENT OPTIMUM=        503501100640 		Current CPU time: 17.08 ms
c CURRENT OPTIMUM=        503501050640 		Current CPU time: 17.88 ms
c CURRENT OPTIMUM=        503501000640 		Current CPU time: 18.67 ms
c CURRENT OPTIMUM=        503500950640 		Current CPU time: 19.52 ms
c CURRENT OPTIMUM=        503500900640 		Current CPU time: 20.37 ms
c CURRENT OPTIMUM=        503500850640 		Current CPU time: 21.24 ms
c CURRENT OPTIMUM=        503500800640 		Current CPU time: 22.11 ms
c CURRENT OPTIMUM=        503400350640 		Current CPU time: 23.09 ms
c CURRENT OPTIMUM=        503400300640 		Current CPU time: 24.07 ms
c CURRENT OPTIMUM=        503400250640 		Current CPU time: 25.12 ms
c CURRENT OPTIMUM=        503400200640 		Current CPU time: 26.11 ms
c CURRENT OPTIMUM=        503400150640 		Current CPU time: 27.17 ms
c CURRENT OPTIMUM=        503400100640 		Current CPU time: 28.22 ms
c CURRENT OPTIMUM=        503400050640 		Current CPU time: 29.30 ms
c CURRENT OPTIMUM=        503400000640 		Current CPU time: 30.41 ms
c CURRENT OPTIMUM=        503398750640 		Current CPU time: 31.58 ms
c CURRENT OPTIMUM=        503398700640 		Current CPU time: 32.73 ms
c CURRENT OPTIMUM=        503398650640 		Current CPU time: 33.96 ms
c CURRENT OPTIMUM=        503398600640 		Current CPU time: 35.12 ms
c CURRENT OPTIMUM=        503398550640 		Current CPU time: 36.34 ms
c CURRENT OPTIMUM=        503398500640 		Current CPU time: 37.54 ms
c CURRENT OPTIMUM=        503398450640 		Current CPU time: 38.76 ms
c CURRENT OPTIMUM=        503398400640 		Current CPU time: 39.96 ms
c CURRENT OPTIMUM=        503093150640 		Current CPU time: 41.36 ms
c CURRENT OPTIMUM=        503093100640 		Current CPU time: 42.74 ms
c CURRENT OPTIMUM=        503093050640 		Current CPU time: 44.16 ms
c CURRENT OPTIMUM=        503093000640 		Current CPU time: 45.53 ms
c CURRENT OPTIMUM=        503092950640 		Current CPU time: 47.00 ms
c CURRENT OPTIMUM=        503092900640 		Current CPU time: 48.44 ms
c CURRENT OPTIMUM=        503092850640 		Current CPU time: 49.89 ms
c CURRENT OPTIMUM=        503092800640 		Current CPU time: 51.34 ms
c CURRENT OPTIMUM=        503091550640 		Current CPU time: 52.90 ms
c CURRENT OPTIMUM=        503091500640 		Current CPU time: 54.44 ms
c CURRENT OPTIMUM=        503091450640 		Current CPU time: 56.01 ms
c CURRENT OPTIMUM=        503091400640 		Current CPU time: 57.53 ms
c CURRENT OPTIMUM=        503091350640 		Current CPU time: 59.15 ms
c CURRENT OPTIMUM=        503091300640 		Current CPU time: 60.74 ms
c CURRENT OPTIMUM=        503091250640 		Current CPU time: 62.35 ms
c CURRENT OPTIMUM=        503091200640 		Current CPU time: 63.92 ms
c CURRENT OPTIMUM=        502990750640 		Current CPU time: 65.70 ms
c CURRENT OPTIMUM=        502990700640 		Current CPU time: 67.44 ms
c CURRENT OPTIMUM=        502990650640 		Current CPU time: 69.21 ms
c CURRENT OPTIMUM=        502990600640 		Current CPU time: 70.94 ms
c CURRENT OPTIMUM=        502990550640 		Current CPU time: 72.75 ms
c CURRENT OPTIMUM=        502990500640 		Current CPU time: 74.54 ms
c CURRENT OPTIMUM=        502990450640 		Current CPU time: 76.34 ms
c CURRENT OPTIMUM=        502990400640 		Current CPU time: 78.10 ms
c CURRENT OPTIMUM=        502989150640 		Current CPU time: 80.02 ms
c CURRENT OPTIMUM=        502989100640 		Current CPU time: 81.89 ms
c CURRENT OPTIMUM=        502989050640 		Current CPU time: 83.79 ms
c CURRENT OPTIMUM=        502989000640 		Current CPU time: 85.64 ms
c CURRENT OPTIMUM=        502988950640 		Current CPU time: 87.58 ms
c CURRENT OPTIMUM=        502988900640 		Current CPU time: 89.48 ms
c CURRENT OPTIMUM=        502988850640 		Current CPU time: 91.41 ms
c CURRENT OPTIMUM=        502988800640 		Current CPU time: 93.29 ms
c CURRENT OPTIMUM=        501864350640 		Current CPU time: 95.55 ms
c CURRENT OPTIMUM=        501864300640 		Current CPU time: 97.77 ms
c CURRENT OPTIMUM=        501864250640 		Current CPU time: 100.02 ms
c CURRENT OPTIMUM=        501864200640 		Current CPU time: 102.22 ms
c CURRENT OPTIMUM=        501864150640 		Current CPU time: 104.51 ms
c CURRENT OPTIMUM=        501864100640 		Current CPU time: 106.76 ms
c CURRENT OPTIMUM=        501864050640 		Current CPU time: 109.04 ms
c CURRENT OPTIMUM=        501864000640 		Current CPU time: 111.27 ms
c CURRENT OPTIMUM=        501862750640 		Current CPU time: 113.68 ms
c CURRENT OPTIMUM=        501862700640 		Current CPU time: 116.03 ms
c CURRENT OPTIMUM=        501862650640 		Current CPU time: 118.41 ms
c CURRENT OPTIMUM=        501862600640 		Current CPU time: 120.73 ms
c CURRENT OPTIMUM=        501862550640 		Current CPU time: 123.16 ms
c CURRENT OPTIMUM=        501862500640 		Current CPU time: 125.52 ms
c CURRENT OPTIMUM=        501862450640 		Current CPU time: 127.91 ms
c CURRENT OPTIMUM=        501862400640 		Current CPU time: 130.26 ms
c CURRENT OPTIMUM=        501761950640 		Current CPU time: 132.89 ms
c CURRENT OPTIMUM=        501761900640 		Current CPU time: 135.46 ms
c CURRENT OPTIMUM=        501761850640 		Current CPU time: 138.05 ms
c CURRENT OPTIMUM=        501761800640 		Current CPU time: 140.58 ms
c CURRENT OPTIMUM=        501761750640 		Current CPU time: 143.24 ms
c CURRENT OPTIMUM=        501761700640 		Current CPU time: 145.81 ms
c CURRENT OPTIMUM=        501761650640 		Current CPU time: 148.42 ms
c CURRENT OPTIMUM=        501761600640 		Current CPU time: 150.96 ms
c CURRENT OPTIMUM=        501760350640 		Current CPU time: 153.70 ms
c CURRENT OPTIMUM=        501760300640 		Current CPU time: 156.38 ms
c CURRENT OPTIMUM=        501760250640 		Current CPU time: 159.07 ms
c CURRENT OPTIMUM=        501760200640 		Current CPU time: 161.68 ms
c CURRENT OPTIMUM=        501760150640 		Current CPU time: 164.43 ms
c CURRENT OPTIMUM=        501760100640 		Current CPU time: 167.09 ms
c CURRENT OPTIMUM=        501760050640 		Current CPU time: 169.77 ms
c CURRENT OPTIMUM=        501760000640 		Current CPU time: 172.39 ms
c CURRENT OPTIMUM=        501454750640 		Current CPU time: 175.42 ms
c CURRENT OPTIMUM=        501454700640 		Current CPU time: 178.38 ms
c CURRENT OPTIMUM=        501454650640 		Current CPU time: 181.36 ms
c CURRENT OPTIMUM=        501454600640 		Current CPU time: 184.27 ms
c CURRENT OPTIMUM=        501454550640 		Current CPU time: 187.30 ms
c CURRENT OPTIMUM=        501454500640 		Current CPU time: 190.25 ms
c CURRENT OPTIMUM=        501454450640 		Current CPU time: 193.23 ms
c CURRENT OPTIMUM=        501454400640 		Current CPU time: 196.13 ms
c CURRENT OPTIMUM=        501453150640 		Current CPU time: 199.27 ms
c CURRENT OPTIMUM=        501453100640 		Current CPU time: 202.33 ms
c CURRENT OPTIMUM=        501453050640 		Current CPU time: 205.42 ms
c CURRENT OPTIMUM=        501453000640 		Current CPU time: 208.41 ms
c CURRENT OPTIMUM=        501452950640 		Current CPU time: 211.55 ms
c CURRENT OPTIMUM=        501452900640 		Current CPU time: 214.60 ms
c CURRENT OPTIMUM=        501452850640 		Current CPU time: 217.66 ms
c CURRENT OPTIMUM=        501452800640 		Current CPU time: 220.65 ms
c CURRENT OPTIMUM=        501352350640 		Current CPU time: 224.00 ms
c CURRENT OPTIMUM=        501352300640 		Current CPU time: 227.25 ms
c CURRENT OPTIMUM=        501352250640 		Current CPU time: 230.54 ms
c CURRENT OPTIMUM=        501352200640 		Current CPU time: 233.73 ms
c CURRENT OPTIMUM=        501352150640 		Current CPU time: 237.06 ms
c CURRENT OPTIMUM=        501352100640 		Current CPU time: 240.30 ms
c CURRENT OPTIMUM=        501352050640 		Current CPU time: 243.55 ms
c CURRENT OPTIMUM=        501352000640 		Current CPU time: 246.72 ms
c CURRENT OPTIMUM=        501350750640 		Current CPU time: 250.14 ms
c CURRENT OPTIMUM=        501350700640 		Current CPU time: 253.47 ms
c CURRENT OPTIMUM=        501350650640 		Current CPU time: 256.83 ms
c CURRENT OPTIMUM=        501350600640 		Current CPU time: 260.08 ms
c CURRENT OPTIMUM=        501350550640 		Current CPU time: 263.48 ms
c CURRENT OPTIMUM=        501350500640 		Current CPU time: 266.78 ms
c CURRENT OPTIMUM=        501350450640 		Current CPU time: 270.11 ms
c CURRENT OPTIMUM=        501350400640 		Current CPU time: 273.32 ms
c CURRENT OPTIMUM=        500225950640 		Current CPU time: 277.34 ms
c CURRENT OPTIMUM=        500225900640 		Current CPU time: 281.26 ms
c CURRENT OPTIMUM=        500225850640 		Current CPU time: 285.20 ms
c CURRENT OPTIMUM=        500225800640 		Current CPU time: 289.04 ms
c CURRENT OPTIMUM=        500225750640 		Current CPU time: 293.04 ms
c CURRENT OPTIMUM=        500225700640 		Current CPU time: 296.92 ms
c CURRENT OPTIMUM=        500225650640 		Current CPU time: 300.82 ms
c CURRENT OPTIMUM=        500225600640 		Current CPU time: 304.62 ms
c CURRENT OPTIMUM=        500224350640 		Current CPU time: 308.72 ms
c CURRENT OPTIMUM=        500224300640 		Current CPU time: 312.70 ms
c CURRENT OPTIMUM=        500224250640 		Current CPU time: 316.72 ms
c CURRENT OPTIMUM=        500224200640 		Current CPU time: 320.62 ms
c CURRENT OPTIMUM=        500224150640 		Current CPU time: 324.68 ms
c CURRENT OPTIMUM=        500224100640 		Current CPU time: 328.63 ms
c CURRENT OPTIMUM=        500224050640 		Current CPU time: 332.60 ms
c CURRENT OPTIMUM=        500224000640 		Current CPU time: 336.46 ms
c CURRENT OPTIMUM=        500123550640 		Current CPU time: 340.78 ms
c CURRENT OPTIMUM=        500123500640 		Current CPU time: 344.97 ms
c CURRENT OPTIMUM=        500123450640 		Current CPU time: 349.18 ms
c CURRENT OPTIMUM=        500123400640 		Current CPU time: 353.28 ms
c CURRENT OPTIMUM=        500123350640 		Current CPU time: 357.55 ms
c CURRENT OPTIMUM=        500123300640 		Current CPU time: 361.69 ms
c CURRENT OPTIMUM=        500123250640 		Current CPU time: 365.85 ms
c CURRENT OPTIMUM=        500123200640 		Current CPU time: 369.90 ms
c CURRENT OPTIMUM=        500121950640 		Current CPU time: 374.26 ms
c CURRENT OPTIMUM=        500121900640 		Current CPU time: 378.51 ms
c CURRENT OPTIMUM=        500121850640 		Current CPU time: 382.78 ms
c CURRENT OPTIMUM=        500121800640 		Current CPU time: 386.91 ms
c CURRENT OPTIMUM=        500121750640 		Current CPU time: 391.23 ms
c CURRENT OPTIMUM=        500121700640 		Current CPU time: 395.42 ms
c CURRENT OPTIMUM=        500121650640 		Current CPU time: 399.63 ms
c CURRENT OPTIMUM=        500121600640 		Current CPU time: 403.70 ms
c CURRENT OPTIMUM=        499816350640 		Current CPU time: 408.43 ms
c CURRENT OPTIMUM=        499816300640 		Current CPU time: 413.03 ms
c CURRENT OPTIMUM=        499816250640 		Current CPU time: 417.67 ms
c CURRENT OPTIMUM=        499816200640 		Current CPU time: 422.15 ms
c CURRENT OPTIMUM=        499816150640 		Current CPU time: 426.83 ms
c CURRENT OPTIMUM=        499816100640 		Current CPU time: 431.34 ms
c CURRENT OPTIMUM=        499816050640 		Current CPU time: 435.90 ms
c CURRENT OPTIMUM=        499816000640 		Current CPU time: 440.31 ms
c CURRENT OPTIMUM=        499814750640 		Current CPU time: 445.07 ms
c CURRENT OPTIMUM=        499814700640 		Current CPU time: 449.69 ms
c CURRENT OPTIMUM=        499814650640 		Current CPU time: 454.34 ms
c CURRENT OPTIMUM=        499814600640 		Current CPU time: 458.86 ms
c CURRENT OPTIMUM=        499814550640 		Current CPU time: 463.59 ms
c CURRENT OPTIMUM=        499814500640 		Current CPU time: 468.16 ms
c CURRENT OPTIMUM=        499814450640 		Current CPU time: 472.77 ms
c CURRENT OPTIMUM=        499814400640 		Current CPU time: 477.24 ms
c CURRENT OPTIMUM=        499713950640 		Current CPU time: 482.28 ms
c CURRENT OPTIMUM=        499713900640 		Current CPU time: 487.19 ms
c CURRENT OPTIMUM=        499713850640 		Current CPU time: 492.10 ms
c CURRENT OPTIMUM=        499713800640 		Current CPU time: 496.84 ms
c CURRENT OPTIMUM=        499713750640 		Current CPU time: 501.79 ms
c CURRENT OPTIMUM=        499713700640 		Current CPU time: 506.56 ms
c CURRENT OPTIMUM=        499713650640 		Current CPU time: 511.34 ms
c CURRENT OPTIMUM=        499713600640 		Current CPU time: 515.98 ms
c CURRENT OPTIMUM=        499712350640 		Current CPU time: 520.99 ms
c CURRENT OPTIMUM=        499712300640 		Current CPU time: 525.84 ms
c CURRENT OPTIMUM=        499712250640 		Current CPU time: 530.72 ms
c CURRENT OPTIMUM=        499712200640 		Current CPU time: 535.44 ms
c CURRENT OPTIMUM=        499712150640 		Current CPU time: 540.37 ms
c CURRENT OPTIMUM=        499712100640 		Current CPU time: 545.14 ms
c CURRENT OPTIMUM=        499712050640 		Current CPU time: 549.92 ms
c CURRENT OPTIMUM=        499712000640 		Current CPU time: 554.54 ms
c CURRENT OPTIMUM=        498587550640 		Current CPU time: 560.13 ms
c CURRENT OPTIMUM=        498587500640 		Current CPU time: 565.55 ms
c CURRENT OPTIMUM=        498587450640 		Current CPU time: 570.99 ms
c CURRENT OPTIMUM=        498587400640 		Current CPU time: 576.27 ms
c CURRENT OPTIMUM=        498587350640 		Current CPU time: 581.77 ms
c CURRENT OPTIMUM=        498587300640 		Current CPU time: 587.10 ms
c CURRENT OPTIMUM=        498587250640 		Current CPU time: 592.46 ms
c CURRENT OPTIMUM=        498587200640 		Current CPU time: 597.58 ms
c CURRENT OPTIMUM=        498585950640 		Current CPU time: 603.11 ms
c CURRENT OPTIMUM=        498585900640 		Current CPU time: 608.48 ms
c CURRENT OPTIMUM=        498585850640 		Current CPU time: 613.87 ms
c CURRENT OPTIMUM=        498585800640 		Current CPU time: 619.09 ms
c CURRENT OPTIMUM=        498585750640 		Current CPU time: 624.53 ms
c CURRENT OPTIMUM=        498585700640 		Current CPU time: 629.80 ms
c CURRENT OPTIMUM=        498585650640 		Current CPU time: 635.09 ms
c CURRENT OPTIMUM=        498585600640 		Current CPU time: 640.20 ms
c CURRENT OPTIMUM=        498485150640 		Current CPU time: 645.94 ms
c CURRENT OPTIMUM=        498485100640 		Current CPU time: 651.51 ms
c CURRENT OPTIMUM=        498485050640 		Current CPU time: 657.09 ms
c CURRENT OPTIMUM=        498485000640 		Current CPU time: 662.49 ms
c CURRENT OPTIMUM=        498484950640 		Current CPU time: 668.13 ms
c CURRENT OPTIMUM=        498484900640 		Current CPU time: 673.59 ms
c CURRENT OPTIMUM=        498484850640 		Current CPU time: 679.06 ms
c CURRENT OPTIMUM=        498484800640 		Current CPU time: 684.36 ms
c CURRENT OPTIMUM=        498483550640 		Current CPU time: 690.09 ms
c CURRENT OPTIMUM=        498483500640 		Current CPU time: 695.63 ms
c CURRENT OPTIMUM=        498483450640 		Current CPU time: 701.21 ms
c CURRENT OPTIMUM=        498483400640 		Current CPU time: 706.60 ms
c CURRENT OPTIMUM=        498483350640 		Current CPU time: 712.21 ms
c CURRENT OPTIMUM=        498483300640 		Current CPU time: 717.65 ms
c CURRENT OPTIMUM=        498483250640 		Current CPU time: 723.10 ms
c CURRENT OPTIMUM=        498483200640 		Current CPU time: 728.36 ms
c CURRENT OPTIMUM=        498177950640 		Current CPU time: 734.49 ms
c CURRENT OPTIMUM=        498177900640 		Current CPU time: 740.45 ms
c CURRENT OPTIMUM=        498177850640 		Current CPU time: 746.42 ms
c CURRENT OPTIMUM=        498177800640 		Current CPU time: 752.20 ms
c CURRENT OPTIMUM=        498177750640 		Current CPU time: 758.22 ms
c CURRENT OPTIMUM=        498177700640 		Current CPU time: 764.05 ms
c CURRENT OPTIMUM=        498177650640 		Current CPU time: 769.90 ms
c CURRENT OPTIMUM=        498177600640 		Current CPU time: 775.57 ms
c CURRENT OPTIMUM=        498176350640 		Current CPU time: 781.69 ms
c CURRENT OPTIMUM=        498176300640 		Current CPU time: 787.62 ms
c CURRENT OPTIMUM=        498176250640 		Current CPU time: 793.57 ms
c CURRENT OPTIMUM=        498176200640 		Current CPU time: 799.31 ms
c CURRENT OPTIMUM=        498176150640 		Current CPU time: 805.32 ms
c CURRENT OPTIMUM=        498176100640 		Current CPU time: 811.11 ms
c CURRENT OPTIMUM=        498176050640 		Current CPU time: 816.93 ms
c CURRENT OPTIMUM=        498176000640 		Current CPU time: 822.54 ms
c CURRENT OPTIMUM=        498075550640 		Current CPU time: 828.86 ms
c CURRENT OPTIMUM=        498075500640 		Current CPU time: 834.98 ms
c CURRENT OPTIMUM=        498075450640 		Current CPU time: 841.11 ms
c CURRENT OPTIMUM=        498075400640 		Current CPU time: 847.05 ms
c CURRENT OPTIMUM=        498075350640 		Current CPU time: 853.22 ms
c CURRENT OPTIMUM=        498075300640 		Current CPU time: 859.20 ms
c CURRENT OPTIMUM=        498075250640 		Current CPU time: 865.20 ms
c CURRENT OPTIMUM=        498075200640 		Current CPU time: 870.98 ms
c CURRENT OPTIMUM=        498073950640 		Current CPU time: 877.25 ms
c CURRENT OPTIMUM=        498073900640 		Current CPU time: 883.32 ms
c CURRENT OPTIMUM=        498073850640 		Current CPU time: 889.40 ms
c CURRENT OPTIMUM=        498073800640 		Current CPU time: 895.28 ms
c CURRENT OPTIMUM=        498073750640 		Current CPU time: 901.41 ms
c CURRENT OPTIMUM=        498073700640 		Current CPU time: 907.33 ms
c CURRENT OPTIMUM=        498073650640 		Current CPU time: 913.26 ms
c CURRENT OPTIMUM=        498073600640 		Current CPU time: 918.98 ms
c CURRENT OPTIMUM=        477288350640 		Current CPU time: 926.40 ms
c CURRENT OPTIMUM=        477288300640 		Current CPU time: 933.60 ms
c CURRENT OPTIMUM=        477288250640 		Current CPU time: 940.85 ms
c CURRENT OPTIMUM=        477288200640 		Current CPU time: 947.87 ms
c CURRENT OPTIMUM=        477288150640 		Current CPU time: 955.15 ms
c CURRENT OPTIMUM=        477288100640 		Current CPU time: 962.21 ms
c CURRENT OPTIMUM=        477288050640 		Current CPU time: 969.30 ms
c CURRENT OPTIMUM=        477288000640 		Current CPU time: 976.18 ms
c CURRENT OPTIMUM=        477286750640 		Current CPU time: 983.56 ms
c CURRENT OPTIMUM=        477286700640 		Current CPU time: 990.73 ms
c CURRENT OPTIMUM=        477286650640 		Current CPU time: 997.91 ms
c CURRENT OPTIMUM=        477286600640 		Current CPU time: 1004.89 ms
c CURRENT OPTIMUM=        477286550640 		Current CPU time: 1012.13 ms
c CURRENT OPTIMUM=        477286500640 		Current CPU time: 1019.15 ms
c CURRENT OPTIMUM=        477286450640 		Current CPU time: 1026.19 ms
c CURRENT OPTIMUM=        477286400640 		Current CPU time: 1032.99 ms
c CURRENT OPTIMUM=        477185950640 		Current CPU time: 1040.59 ms
c CURRENT OPTIMUM=        477185900640 		Current CPU time: 1047.96 ms
c CURRENT OPTIMUM=        477185850640 		Current CPU time: 1055.35 ms
c CURRENT OPTIMUM=        477185800640 		Current CPU time: 1062.52 ms
c CURRENT OPTIMUM=        477185750640 		Current CPU time: 1069.99 ms
c CURRENT OPTIMUM=        477185700640 		Current CPU time: 1077.19 ms
c CURRENT OPTIMUM=        477185650640 		Current CPU time: 1084.43 ms
c CURRENT OPTIMUM=        477185600640 		Current CPU time: 1091.43 ms
c CURRENT OPTIMUM=        477184350640 		Current CPU time: 1098.98 ms
c CURRENT OPTIMUM=        477184300640 		Current CPU time: 1106.29 ms
c CURRENT OPTIMUM=        477184250640 		Current CPU time: 1113.62 ms
c CURRENT OPTIMUM=        477184200640 		Current CPU time: 1120.71 ms
c CURRENT OPTIMUM=        477184150640 		Current CPU time: 1128.10 ms
c CURRENT OPTIMUM=        477184100640 		Current CPU time: 1135.24 ms
c CURRENT OPTIMUM=        477184050640 		Current CPU time: 1142.41 ms
c CURRENT OPTIMUM=        477184000640 		Current CPU time: 1149.33 ms
c CURRENT OPTIMUM=        476878750640 		Current CPU time: 1157.36 ms
c CURRENT OPTIMUM=        476878700640 		Current CPU time: 1165.14 ms
c CURRENT OPTIMUM=        476878650640 		Current CPU time: 1172.96 ms
c CURRENT OPTIMUM=        476878600640 		Current CPU time: 1180.51 ms
c CURRENT OPTIMUM=        476878550640 		Current CPU time: 1188.35 ms
c CURRENT OPTIMUM=        476878500640 		Current CPU time: 1195.97 ms
c CURRENT OPTIMUM=        476878450640 		Current CPU time: 1203.60 ms
c CURRENT OPTIMUM=        476878400640 		Current CPU time: 1210.97 ms
c CURRENT OPTIMUM=        476877150640 		Current CPU time: 1218.93 ms
c starts	: 337
c conflicts	: 1
c decisions	: 16440
c propagations	: 60152
c inspects	: 1339766
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 337
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=476877150640
c Total CPU time (ms) : 1219.256
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 13084
Raw data (stat): 13084 (runsolver) R 13083 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837687767 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.0004 s]
Raw data (loadavg): 1.10 1.02 1.01 3/65 13133
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18120 7 1 0 712 42 1 0 25 0 11 0 837687767 858501120 19930 4294967295 134512640 134569956 3221224368 3221214464 1130892668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209595 19930 13086 16 0 209579 0
vsize: 838380
[startup+20.0003 s]
Raw data (loadavg): 1.08 1.02 1.00 2/65 13145
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18124 7 1 0 1616 42 1 0 24 0 11 0 837687767 858734592 20341 4294967295 134512640 134569956 3221224368 3221214576 1131235225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209652 20341 13086 16 0 209636 0
vsize: 838608
[startup+30.0017 s]
Raw data (loadavg): 1.07 1.01 1.00 2/65 13155
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 2569 43 2 1 25 0 11 0 837687767 858468352 20175 4294967295 134512640 134569956 3221224368 3221214664 1131311758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20175 13086 16 0 209571 0
vsize: 838348
[startup+40.0022 s]
Raw data (loadavg): 1.06 1.01 1.00 2/65 13164
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 3528 44 2 1 24 0 11 0 837687767 858468352 20522 4294967295 134512640 134569956 3221224368 3221214664 1131307406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20522 13086 16 0 209571 0
vsize: 838348
[startup+50.0036 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 13171
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 4512 44 2 1 25 0 11 0 837687767 858468352 20578 4294967295 134512640 134569956 3221224368 3221214576 1131235634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20578 13086 16 0 209571 0
vsize: 838348
[startup+60.0045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 13179
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 5497 45 2 1 25 0 11 0 837687767 858468352 20620 4294967295 134512640 134569956 3221224368 3221214664 1131307406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20620 13086 16 0 209571 0
vsize: 838348
[startup+70.005 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 13185
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 6482 45 2 1 25 0 11 0 837687767 858468352 20681 4294967295 134512640 134569956 3221224368 3221214664 1131312463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20681 13086 16 0 209571 0
vsize: 838348
[startup+80.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 13191
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 7469 46 3 1 25 0 11 0 837687767 858468352 20711 4294967295 134512640 134569956 3221224368 3221214480 1131196068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20711 13086 16 0 209571 0
vsize: 838348
[startup+90.0063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 13196
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 8458 47 3 1 25 0 11 0 837687767 858468352 20757 4294967295 134512640 134569956 3221224368 3221214576 1131235223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20757 13086 16 0 209571 0
vsize: 838348
[startup+100.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 13201
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 9447 47 3 1 25 0 11 0 837687767 858468352 20782 4294967295 134512640 134569956 3221224368 3221214608 1131348730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20782 13086 16 0 209571 0
vsize: 838348
[startup+110.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 13205
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 10436 48 3 1 25 0 11 0 837687767 858468352 20804 4294967295 134512640 134569956 3221224368 3221214576 1131235217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20804 13086 16 0 209571 0
vsize: 838348
[startup+120.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 13212
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 11426 48 4 1 25 0 11 0 837687767 858468352 20825 4294967295 134512640 134569956 3221224368 3221214576 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20825 13086 16 0 209571 0
vsize: 838348
[startup+130.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 13216
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 12416 49 4 2 25 0 11 0 837687767 858468352 20846 4294967295 134512640 134569956 3221224368 3221214664 1131308545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20846 13086 16 0 209571 0
vsize: 838348
[startup+140.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 13220
Raw data (stat): 13084 (java) S 13083 29618 29617 0 -1 0 18125 7 1 0 13403 49 4 2 25 0 11 0 837687767 858468352 20863 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20863 13086 16 0 209571 0
vsize: 838348
[startup+150.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 13224
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 14388 50 4 2 25 0 11 0 837687767 858468352 20880 4294967295 134512640 134569956 3221224368 3221214576 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20880 13086 16 0 209571 0
vsize: 838348
[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13227
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 15374 50 4 2 25 0 11 0 837687767 858468352 20953 4294967295 134512640 134569956 3221224368 3221214576 1131235616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20953 13086 16 0 209571 0
vsize: 838348
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13231
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 16363 51 4 2 25 0 11 0 837687767 858468352 20971 4294967295 134512640 134569956 3221224368 3221214560 1131235442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 20971 13086 16 0 209571 0
vsize: 838348
[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13237
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 17353 51 5 2 25 0 11 0 837687767 858468352 21018 4294967295 134512640 134569956 3221224368 3221214560 1131234818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21018 13086 16 0 209571 0
vsize: 838348
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13240
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 18344 51 5 2 25 0 11 0 837687767 858468352 21035 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21035 13086 16 0 209571 0
vsize: 838348
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13243
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 19335 52 5 2 25 0 11 0 837687767 858468352 21052 4294967295 134512640 134569956 3221224368 3221214560 1131235223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21052 13086 16 0 209571 0
vsize: 838348
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13247
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 20327 52 5 2 20 0 11 0 837687767 858468352 21065 4294967295 134512640 134569956 3221224368 3221214648 1131308519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21065 13086 16 0 209571 0
vsize: 838348
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13250
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 21317 53 5 2 25 0 11 0 837687767 858468352 21078 4294967295 134512640 134569956 3221224368 3221214648 1131307151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21078 13086 16 0 209571 0
vsize: 838348
[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13253
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 22308 53 5 3 25 0 11 0 837687767 858468352 21095 4294967295 134512640 134569956 3221224368 3221214648 1131309326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21095 13086 16 0 209571 0
vsize: 838348
[startup+240.017 s]
Raw data (loadavg): 1.08 1.02 1.01 2/65 13258
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 23299 54 5 3 25 0 11 0 837687767 858468352 21108 4294967295 134512640 134569956 3221224368 3221214560 1131235742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21108 13086 16 0 209571 0
vsize: 838348
[startup+250.018 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 13261
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 24290 54 5 3 25 0 11 0 837687767 858468352 21120 4294967295 134512640 134569956 3221224368 3221214560 1131234785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21120 13086 16 0 209571 0
vsize: 838348
[startup+260.019 s]
Raw data (loadavg): 1.06 1.01 1.00 2/65 13264
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 25281 55 6 3 25 0 11 0 837687767 858468352 21133 4294967295 134512640 134569956 3221224368 3221214648 1131308666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21133 13086 16 0 209571 0
vsize: 838348
[startup+270.019 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 13267
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 26272 55 6 3 25 0 11 0 837687767 858468352 21146 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21146 13086 16 0 209571 0
vsize: 838348
[startup+280.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 13270
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 27262 56 6 3 25 0 11 0 837687767 858468352 21159 4294967295 134512640 134569956 3221224368 3221214464 1131196091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21159 13086 16 0 209571 0
vsize: 838348
[startup+290.021 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 13272
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 28253 57 6 3 25 0 11 0 837687767 858468352 21171 4294967295 134512640 134569956 3221224368 3221214752 1131336412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21171 13086 16 0 209571 0
vsize: 838348
[startup+300.022 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 13277
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 29244 58 6 3 25 0 11 0 837687767 858468352 21184 4294967295 134512640 134569956 3221224368 3221214560 1131235390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21184 13086 16 0 209571 0
vsize: 838348
[startup+310.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 13280
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 30235 59 6 3 25 0 11 0 837687767 858468352 21197 4294967295 134512640 134569956 3221224368 3221214648 1131311620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21197 13086 16 0 209571 0
vsize: 838348
[startup+320.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 13282
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 31227 59 6 3 25 0 11 0 837687767 858468352 21206 4294967295 134512640 134569956 3221224368 3221214648 1131312423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21206 13086 16 0 209571 0
vsize: 838348
[startup+330.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 13285
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 32218 59 6 3 25 0 11 0 837687767 858468352 21218 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21218 13086 16 0 209571 0
vsize: 838348
[startup+340.023 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 13287
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 33209 60 6 3 25 0 11 0 837687767 858468352 21231 4294967295 134512640 134569956 3221224368 3221214560 1131234843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21231 13086 16 0 209571 0
vsize: 838348
[startup+350.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 13289
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 34201 60 6 3 25 0 11 0 837687767 858468352 21240 4294967295 134512640 134569956 3221224368 3221214560 1131235285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21240 13086 16 0 209571 0
vsize: 838348
[startup+360.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 13294
Raw data (stat): 13084 (java) S 13083 29618 29617 0 -1 0 18125 7 1 0 35192 61 6 3 25 0 11 0 837687767 858468352 21253 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21253 13086 16 0 209571 0
vsize: 838348
[startup+370.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 13296
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 36184 62 6 3 25 0 11 0 837687767 858468352 21262 4294967295 134512640 134569956 3221224368 3221214560 1131235329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21262 13086 16 0 209571 0
vsize: 838348
[startup+380.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13299
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 37176 62 6 4 25 0 11 0 837687767 858468352 21270 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21270 13086 16 0 209571 0
vsize: 838348
[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13301
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 38168 62 7 4 25 0 11 0 837687767 858468352 21283 4294967295 134512640 134569956 3221224368 3221214560 1131235291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21283 13086 16 0 209571 0
vsize: 838348
[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13303
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 39160 63 7 4 25 0 11 0 837687767 858468352 21292 4294967295 134512640 134569956 3221224368 3221214560 1131235351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21292 13086 16 0 209571 0
vsize: 838348
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13306
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 40151 63 7 4 25 0 11 0 837687767 858468352 21300 4294967295 134512640 134569956 3221224368 3221214648 1131307341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21300 13086 16 0 209571 0
vsize: 838348
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13310
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 41142 64 7 4 25 0 11 0 837687767 858468352 21313 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21313 13086 16 0 209571 0
vsize: 838348
[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13312
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 42134 65 7 4 25 0 11 0 837687767 858468352 21321 4294967295 134512640 134569956 3221224368 3221214648 1131312392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21321 13086 16 0 209571 0
vsize: 838348
[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13314
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 43125 65 7 4 25 0 11 0 837687767 858468352 21330 4294967295 134512640 134569956 3221224368 3221214648 1131311744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21330 13086 16 0 209571 0
vsize: 838348
[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13316
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 44117 66 7 4 25 0 11 0 837687767 858468352 21343 4294967295 134512640 134569956 3221224368 3221214560 1131234860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21343 13086 16 0 209571 0
vsize: 838348
[startup+460.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13319
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 45108 66 7 4 25 0 11 0 837687767 858468352 21351 4294967295 134512640 134569956 3221224368 3221214560 1131235444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21351 13086 16 0 209571 0
vsize: 838348
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13321
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 46097 67 7 4 25 0 11 0 837687767 858468352 21360 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21360 13086 16 0 209571 0
vsize: 838348
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13325
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 47082 67 7 4 25 0 11 0 837687767 858468352 21368 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21368 13086 16 0 209571 0
vsize: 838348
[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13327
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 48062 68 8 4 25 0 11 0 837687767 858468352 21436 4294967295 134512640 134569956 3221224368 3221214648 1131309371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21436 13086 16 0 209571 0
vsize: 838348
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13329
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 49043 68 8 4 25 0 11 0 837687767 858468352 21445 4294967295 134512640 134569956 3221224368 3221214648 1131311875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21445 13086 16 0 209571 0
vsize: 838348
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13331
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 50032 69 8 4 25 0 11 0 837687767 858468352 21560 4294967295 134512640 134569956 3221224368 3221214560 1131235302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21560 13086 16 0 209571 0
vsize: 838348
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13333
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 51023 69 8 4 25 0 11 0 837687767 858468352 21568 4294967295 134512640 134569956 3221224368 3221214560 1131235696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21568 13086 16 0 209571 0
vsize: 838348
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13335
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 52014 70 8 4 25 0 11 0 837687767 858468352 21577 4294967295 134512640 134569956 3221224368 3221214560 1131235782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21577 13086 16 0 209571 0
vsize: 838348
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13339
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 53005 70 8 4 25 0 11 0 837687767 858468352 21585 4294967295 134512640 134569956 3221224368 3221214648 1131311752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21585 13086 16 0 209571 0
vsize: 838348
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13341
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 53997 71 8 4 25 0 11 0 837687767 858468352 21594 4294967295 134512640 134569956 3221224368 3221214648 1131311758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21594 13086 16 0 209571 0
vsize: 838348
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13343
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 54988 71 8 4 25 0 11 0 837687767 858468352 21602 4294967295 134512640 134569956 3221224368 3221214648 1131312895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21602 13086 16 0 209571 0
vsize: 838348
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13345
Raw data (stat): 13084 (java) S 13083 29618 29617 0 -1 0 18125 7 1 0 55979 72 8 4 25 0 11 0 837687767 858468352 21611 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21611 13086 16 0 209571 0
vsize: 838348
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13347
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 56971 72 8 4 25 0 11 0 837687767 858468352 21619 4294967295 134512640 134569956 3221224368 3221214560 1131235275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21619 13086 16 0 209571 0
vsize: 838348
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13349
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 57962 72 8 4 25 0 11 0 837687767 858468352 21629 4294967295 134512640 134569956 3221224368 3221214560 1131235124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21629 13086 16 0 209571 0
vsize: 838348
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13353
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 58953 73 8 4 25 0 11 0 837687767 858468352 21637 4294967295 134512640 134569956 3221224368 3221214560 1131235464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21637 13086 16 0 209571 0
vsize: 838348
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13355
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 59944 73 8 4 25 0 11 0 837687767 858468352 21646 4294967295 134512640 134569956 3221224368 3221214648 1131307341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21646 13086 16 0 209571 0
vsize: 838348
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13356
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 60936 74 8 4 25 0 11 0 837687767 858468352 21654 4294967295 134512640 134569956 3221224368 3221214752 1131336499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21654 13086 16 0 209571 0
vsize: 838348
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13358
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 61927 74 8 4 25 0 11 0 837687767 858468352 21663 4294967295 134512640 134569956 3221224368 3221214560 1131235426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21663 13086 16 0 209571 0
vsize: 838348
[startup+640.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13360
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 62919 74 9 4 25 0 11 0 837687767 858468352 21667 4294967295 134512640 134569956 3221224368 3221214648 1131309269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21667 13086 16 0 209571 0
vsize: 838348
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13362
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 63910 74 9 4 25 0 11 0 837687767 858468352 21675 4294967295 134512640 134569956 3221224368 3221214648 1131307341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21675 13086 16 0 209571 0
vsize: 838348
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13366
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 64901 74 9 4 25 0 11 0 837687767 858468352 21684 4294967295 134512640 134569956 3221224368 3221214560 1131235398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21684 13086 16 0 209571 0
vsize: 838348
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13368
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 65893 75 9 5 25 0 11 0 837687767 858468352 21692 4294967295 134512640 134569956 3221224368 3221214560 1131235940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21692 13086 16 0 209571 0
vsize: 838348
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 13369
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 66885 75 9 5 25 0 10 0 837687767 858468352 21701 4294967295 134512640 134569956 3221224368 3221215016 1131225480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21701 13086 16 0 209571 0
vsize: 838348
[startup+690.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13371
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 67886 75 9 5 25 0 11 0 837687767 858468352 21709 4294967295 134512640 134569956 3221224368 3221214560 1131235379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21709 13086 16 0 209571 0
vsize: 838348
[startup+700.155 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13373
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 68877 75 9 5 25 0 11 0 837687767 858468352 21713 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21713 13086 16 0 209571 0
vsize: 838348
[startup+710.156 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13375
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 69869 75 9 5 25 0 11 0 837687767 858468352 21722 4294967295 134512640 134569956 3221224368 3221214560 1131235356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21722 13086 16 0 209571 0
vsize: 838348
[startup+720.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13379
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 70862 75 9 5 25 0 11 0 837687767 858468352 21730 4294967295 134512640 134569956 3221224368 3221214560 1131235800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21730 13086 16 0 209571 0
vsize: 838348
[startup+730.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13381
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 71853 75 9 5 25 0 11 0 837687767 858468352 21739 4294967295 134512640 134569956 3221224368 3221214648 1131308422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21739 13086 16 0 209571 0
vsize: 838348
[startup+740.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13382
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 72844 75 9 5 25 0 11 0 837687767 858468352 21747 4294967295 134512640 134569956 3221224368 3221214644 1131234764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21747 13086 16 0 209571 0
vsize: 838348
[startup+750.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13384
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 73836 76 9 5 25 0 11 0 837687767 858468352 21752 4294967295 134512640 134569956 3221224368 3221214560 1131235225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21752 13086 16 0 209571 0
vsize: 838348
[startup+760.183 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13386
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 74828 76 9 5 25 0 11 0 837687767 858468352 21761 4294967295 134512640 134569956 3221224368 3221214560 1131235438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21761 13086 16 0 209571 0
vsize: 838348
[startup+770.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13387
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 75820 76 9 5 25 0 11 0 837687767 858468352 21770 4294967295 134512640 134569956 3221224368 3221214560 1131235203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21770 13086 16 0 209571 0
vsize: 838348
[startup+780.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13391
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 76809 76 10 5 25 0 11 0 837687767 858468352 21778 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21778 13086 16 0 209571 0
vsize: 838348
[startup+790.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13393
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 77801 76 10 5 25 0 11 0 837687767 858468352 21782 4294967295 134512640 134569956 3221224368 3221214648 1131308670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21782 13086 16 0 209571 0
vsize: 838348
[startup+800.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13394
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 78793 76 10 5 25 0 11 0 837687767 858468352 21791 4294967295 134512640 134569956 3221224368 3221214464 1131197069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21791 13086 16 0 209571 0
vsize: 838348
[startup+810.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13396
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 79784 77 10 5 25 0 11 0 837687767 858468352 21799 4294967295 134512640 134569956 3221224368 3221214560 1131235390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21799 13086 16 0 209571 0
vsize: 838348
[startup+820.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13398
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 80775 77 10 5 25 0 11 0 837687767 858468352 21804 4294967295 134512640 134569956 3221224368 3221214648 1131307135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21804 13086 16 0 209571 0
vsize: 838348
[startup+830.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13400
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 81767 77 10 5 25 0 11 0 837687767 858468352 21812 4294967295 134512640 134569956 3221224368 3221214648 1131308590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21812 13086 16 0 209571 0
vsize: 838348
[startup+840.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13403
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 82757 77 10 5 25 0 11 0 837687767 858468352 21821 4294967295 134512640 134569956 3221224368 3221214560 1131235438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21821 13086 16 0 209571 0
vsize: 838348
[startup+850.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13405
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 83749 77 10 5 25 0 11 0 837687767 858468352 21829 4294967295 134512640 134569956 3221224368 3221214560 1131235225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21829 13086 16 0 209571 0
vsize: 838348
[startup+860.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13407
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 84740 77 10 5 25 0 11 0 837687767 858468352 21833 4294967295 134512640 134569956 3221224368 3221214592 1131249216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21833 13086 16 0 209571 0
vsize: 838348
[startup+870.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13408
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 85731 77 10 5 25 0 11 0 837687767 858468352 21842 4294967295 134512640 134569956 3221224368 3221214560 1131235217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21842 13086 16 0 209571 0
vsize: 838348
[startup+880.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13410
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 86722 78 10 5 25 0 11 0 837687767 858468352 21850 4294967295 134512640 134569956 3221224368 3221214560 1131235296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21850 13086 16 0 209571 0
vsize: 838348
[startup+890.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13411
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 87713 78 10 5 25 0 11 0 837687767 858468352 21855 4294967295 134512640 134569956 3221224368 3221214560 1131235151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21855 13086 16 0 209571 0
vsize: 838348
[startup+900.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13415
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 88704 78 10 5 25 0 11 0 837687767 858468352 21863 4294967295 134512640 134569956 3221224368 3221214560 1131234785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21863 13086 16 0 209571 0
vsize: 838348
[startup+910.201 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13417
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 89695 78 10 5 25 0 11 0 837687767 858468352 21867 4294967295 134512640 134569956 3221224368 3221214648 1131308422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21867 13086 16 0 209571 0
vsize: 838348
[startup+920.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13419
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 90686 78 10 5 25 0 11 0 837687767 858468352 21876 4294967295 134512640 134569956 3221224368 3221214560 1131234818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21876 13086 16 0 209571 0
vsize: 838348
[startup+930.203 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13420
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 91678 78 10 5 25 0 11 0 837687767 858468352 21884 4294967295 134512640 134569956 3221224368 3221214560 1131235634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21884 13086 16 0 209571 0
vsize: 838348
[startup+940.203 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13421
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 92669 78 10 5 25 0 11 0 837687767 858468352 21889 4294967295 134512640 134569956 3221224368 3221214648 1131307393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21889 13086 16 0 209571 0
vsize: 838348
[startup+950.204 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13423
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 93660 78 11 5 25 0 11 0 837687767 858468352 21897 4294967295 134512640 134569956 3221224368 3221214560 1131234969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21897 13086 16 0 209571 0
vsize: 838348
[startup+960.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13426
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 94652 78 11 5 25 0 11 0 837687767 858468352 21902 4294967295 134512640 134569956 3221224368 3221214648 1131311605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21902 13086 16 0 209571 0
vsize: 838348
[startup+970.204 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13427
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 95642 79 11 5 25 0 11 0 837687767 858468352 21910 4294967295 134512640 134569956 3221224368 3221214560 1131235742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21910 13086 16 0 209571 0
vsize: 838348
[startup+980.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13429
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 96634 79 11 5 25 0 11 0 837687767 858468352 21915 4294967295 134512640 134569956 3221224368 3221214648 1131311739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21915 13086 16 0 209571 0
vsize: 838348
[startup+990.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13430
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 97626 79 11 5 25 0 11 0 837687767 858468352 21923 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21923 13086 16 0 209571 0
vsize: 838348
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13432
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18125 7 1 0 98617 79 11 5 25 0 11 0 837687767 858468352 21927 4294967295 134512640 134569956 3221224368 3221214648 1131307341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21927 13086 16 0 209571 0
vsize: 838348
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13433
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 99608 79 11 6 25 0 11 0 837687767 858468352 21934 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21934 13086 16 0 209571 0
vsize: 838348
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13437
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 100599 79 11 6 25 0 11 0 837687767 858468352 21942 4294967295 134512640 134569956 3221224368 3221214648 1131307341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21942 13086 16 0 209571 0
vsize: 838348
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13438
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 101590 79 11 6 25 0 11 0 837687767 858468352 21946 4294967295 134512640 134569956 3221224368 3221214560 1131234785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21946 13086 16 0 209571 0
vsize: 838348
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13439
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 102581 79 11 6 25 0 11 0 837687767 858468352 21955 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21955 13086 16 0 209571 0
vsize: 838348
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13441
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 103572 80 11 6 25 0 11 0 837687767 858468352 21959 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21959 13086 16 0 209571 0
vsize: 838348
[startup+1060.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13442
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 104563 80 11 6 25 0 11 0 837687767 858468352 21968 4294967295 134512640 134569956 3221224368 3221214648 1131311735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 21968 13086 16 0 209571 0
vsize: 838348
[startup+1070.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13443
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 105554 80 11 6 25 0 11 0 837687767 858468352 21972 4294967295 134512640 134569956 3221224368 3221214648 1131311735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21972 13086 16 0 209571 0
vsize: 838348
[startup+1080.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13447
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 106544 80 11 6 25 0 11 0 837687767 858468352 21976 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21976 13086 16 0 209571 0
vsize: 838348
[startup+1090.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13448
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 107535 80 11 6 25 0 11 0 837687767 858468352 21985 4294967295 134512640 134569956 3221224368 3221214648 1131307334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21985 13086 16 0 209571 0
vsize: 838348
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13450
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 108527 80 11 6 25 0 11 0 837687767 858468352 21989 4294967295 134512640 134569956 3221224368 3221214560 1131235210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21989 13086 16 0 209571 0
vsize: 838348
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13451
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 109518 80 11 6 25 0 11 0 837687767 858468352 21993 4294967295 134512640 134569956 3221224368 3221214648 1131307406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 21993 13086 16 0 209571 0
vsize: 838348
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13452
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 110509 80 11 6 25 0 11 0 837687767 858468352 22002 4294967295 134512640 134569956 3221224368 3221214560 1131235255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 22002 13086 16 0 209571 0
vsize: 838348
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13454
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 111500 80 11 6 25 0 11 0 837687767 858468352 22006 4294967295 134512640 134569956 3221224368 3221214560 1131235690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22006 13086 16 0 209571 0
vsize: 838348
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13457
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 112491 80 11 6 25 0 11 0 837687767 858468352 22010 4294967295 134512640 134569956 3221224368 3221214560 1131235756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22010 13086 16 0 209571 0
vsize: 838348
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13458
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 113482 80 11 6 25 0 11 0 837687767 858468352 22019 4294967295 134512640 134569956 3221224368 3221214560 1131235398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209587 22019 13086 16 0 209571 0
vsize: 838348
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13460
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 114472 81 12 6 25 0 11 0 837687767 858468352 22023 4294967295 134512640 134569956 3221224368 3221214648 1131308545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22023 13086 16 0 209571 0
vsize: 838348
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13461
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 115463 81 12 6 25 0 11 0 837687767 858468352 22031 4294967295 134512640 134569956 3221224368 3221214560 1131235756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22031 13086 16 0 209571 0
vsize: 838348
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13462
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 116454 81 12 6 25 0 11 0 837687767 858468352 22036 4294967295 134512640 134569956 3221224368 3221214648 1131307143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22036 13086 16 0 209571 0
vsize: 838348
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13464
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 117445 82 12 6 25 0 11 0 837687767 858468352 22040 4294967295 134512640 134569956 3221224368 3221214648 1131312453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22040 13086 16 0 209571 0
vsize: 838348
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13467
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 118436 82 12 6 25 0 11 0 837687767 858468352 22044 4294967295 134512640 134569956 3221224368 3221214560 1131235699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22044 13086 16 0 209571 0
vsize: 838348
[startup+1210.22 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13468
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 119428 82 12 6 25 0 11 0 837687767 858468352 22053 4294967295 134512640 134569956 3221224368 3221214560 1131235420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22053 13086 16 0 209571 0
vsize: 838348
[startup+1220.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 13470
Raw data (stat): 13084 (java) R 13083 29618 29617 0 -1 0 18126 7 1 0 120419 82 12 6 25 0 11 0 837687767 858468352 22057 4294967295 134512640 134569956 3221224368 3221214648 1131311632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209587 22057 13086 16 0 209571 0
vsize: 838348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 13472
Raw data (stat): 13084 (java) Z 13083 29618 29617 0 -1 1036 18126 2725 1 0 120421 82 1245 28 25 0 1 0 837687767 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.3
CPU time (s): 1217.78
CPU user time (s): 1216.67
CPU system time (s): 1.10683
CPU usage (%): 99.7932
Max. virtual memory (Kb): 838608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	476877150640
#### END VERIFIER DATA ####