Trace number 4103150

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)8721582 1800.86 897.371

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
MD5SUM9dd7506c46c3c26c10ff03753daf5d0f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8534594
Best CPU time to get the best result obtained on this benchmark1801.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8442880
Optimality of the best value was proved NO
Number of variables7998
Total number of constraints307
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints307
Minimum length of a constraint31
Maximum length of a constraint1290
Number of terms in the objective function 7998
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1568780661323
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1568780661323
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4103150-1466219799.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.82/0.47	c ... done. Wall clock time 0.356s.
0.82/0.47	c declared #vars     7998
0.82/0.47	c #constraints  356
0.82/0.48	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.82/0.48	c constraints type 
0.82/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 356
0.82/0.48	c 356 constraints processed.
0.82/0.48	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.82/0.48	c constraints type 
0.82/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 356
0.82/0.48	c 356 constraints processed.
0.82/0.48	c objective function length is 7998 literals
3.95/1.49	c And the winner is solver0
4.25/1.99	c SATISFIABLE
4.25/1.99	c OPTIMIZING...
4.25/1.99	c Got one! Elapsed wall clock time (in seconds):1.869
4.25/1.99	o 22564995
5.75/2.61	c cleaning 2617 clauses out of 5247 with flag 4430/5247
6.94/3.12	c And the winner is solver1
7.01/3.50	c Got one! Elapsed wall clock time (in seconds):3.385
7.01/3.50	o 9872881
7.01/3.53	c And the winner is solver0
7.25/4.01	c Got one! Elapsed wall clock time (in seconds):3.893
7.25/4.01	o 8721582
9.20/4.95	c cleaning 4187 clauses out of 8385 with flag 9659/11002
11.49/6.03	c cleaning 5100 clauses out of 10200 with flag 28038/17004
14.16/7.39	c cleaning 6049 clauses out of 12098 with flag 50898/24002
17.63/9.03	c cleaning 7025 clauses out of 14050 with flag 74081/32003
21.03/10.71	c cleaning 8013 clauses out of 16026 with flag 101479/41004
25.13/12.70	c cleaning 9005 clauses out of 18012 with flag 131717/51003
29.80/15.03	c cleaning 10003 clauses out of 20006 with flag 168091/62002
35.20/17.71	c cleaning 11003 clauses out of 22005 with flag 209121/74004
41.25/20.74	c cleaning 12000 clauses out of 24003 with flag 254501/87005
47.66/23.93	c cleaning 12994 clauses out of 26000 with flag 301604/101002
53.06/26.65	c cleaning 13988 clauses out of 28007 with flag 348104/116003
59.37/29.77	c cleaning 15005 clauses out of 30018 with flag 402795/132002
66.35/33.20	c cleaning 16005 clauses out of 32014 with flag 462007/149003
72.76/36.46	c cleaning 16999 clauses out of 34009 with flag 525106/167003
78.75/39.45	c cleaning 17996 clauses out of 36010 with flag 580506/186003
85.96/43.07	c cleaning 18994 clauses out of 38013 with flag 652578/206002
95.54/47.89	c cleaning 20002 clauses out of 40019 with flag 735726/227002
105.56/52.87	c cleaning 21001 clauses out of 42018 with flag 823039/249003
115.55/57.84	c cleaning 22001 clauses out of 44016 with flag 917064/272002
126.65/63.30	c cleaning 23001 clauses out of 46016 with flag 1014075/296003
137.25/68.69	c cleaning 23999 clauses out of 48015 with flag 1114640/321003
148.65/74.31	c cleaning 24990 clauses out of 50015 with flag 1220324/347002
160.24/80.19	c cleaning 26011 clauses out of 52029 with flag 1332214/374006
173.44/86.72	c cleaning 27005 clauses out of 54014 with flag 1445089/402002
189.21/94.54	c cleaning 28005 clauses out of 56010 with flag 1550775/431003
207.22/103.55	c cleaning 29003 clauses out of 58005 with flag 1691252/461003
223.47/111.62	c cleaning 30001 clauses out of 60001 with flag 1804622/492002
240.09/119.96	c cleaning 30997 clauses out of 62000 with flag 1908349/524002
256.67/128.20	c cleaning 31983 clauses out of 64003 with flag 2004527/557002
270.99/135.35	c cleaning 32994 clauses out of 66020 with flag 2096163/591002
285.38/142.52	c cleaning 34003 clauses out of 68026 with flag 2179886/626002
301.70/150.67	c cleaning 35005 clauses out of 70025 with flag 2268884/662004
319.51/159.59	c cleaning 35996 clauses out of 72018 with flag 2367040/699002
337.62/168.53	c cleaning 37005 clauses out of 74023 with flag 2471105/737003
359.11/179.55	c cleaning 38009 clauses out of 76018 with flag 2570413/776003
381.98/190.90	c cleaning 39000 clauses out of 78009 with flag 2679677/816003
406.26/203.05	c cleaning 39998 clauses out of 80008 with flag 2783485/857002
432.21/215.98	c cleaning 40998 clauses out of 82015 with flag 2896873/899007
458.81/229.22	c cleaning 42004 clauses out of 84013 with flag 3013629/942003
484.85/242.28	c cleaning 42997 clauses out of 86008 with flag 3140846/986002
510.10/255.12	c cleaning 43990 clauses out of 88011 with flag 3266768/1031002
534.00/267.06	c cleaning 45002 clauses out of 90021 with flag 3399004/1077002
558.62/279.28	c cleaning 46001 clauses out of 92019 with flag 3529324/1124002
584.34/292.06	c cleaning 46995 clauses out of 94019 with flag 3684017/1172003
608.98/304.30	c cleaning 48006 clauses out of 96024 with flag 3838707/1221003
640.76/320.29	c cleaning 48994 clauses out of 98017 with flag 3984726/1271002
673.02/336.31	c cleaning 49991 clauses out of 100024 with flag 4140010/1322003
706.66/353.08	c cleaning 51007 clauses out of 102034 with flag 4302369/1374004
739.81/369.57	c cleaning 52001 clauses out of 104025 with flag 4481315/1427002
770.51/384.85	c cleaning 53000 clauses out of 106025 with flag 4643309/1481003
804.31/401.63	c cleaning 54002 clauses out of 108025 with flag 4807274/1536003
838.09/418.49	c cleaning 55009 clauses out of 110023 with flag 4951955/1592003
870.69/434.62	c cleaning 56000 clauses out of 112015 with flag 5097445/1649004
907.51/452.99	c cleaning 56999 clauses out of 114013 with flag 5244430/1707002
942.94/470.50	c cleaning 58000 clauses out of 116015 with flag 5385459/1766003
984.75/491.36	c cleaning 59003 clauses out of 118016 with flag 5536498/1826004
1019.78/508.73	c cleaning 59990 clauses out of 120013 with flag 5689315/1887004
1043.68/520.68	c cleaning 0 clauses out of 5150 with flag 0/5150
1052.75/524.86	c cleaning 61007 clauses out of 122021 with flag 5844248/1949002
1090.32/543.55	c cleaning 62001 clauses out of 124014 with flag 6008052/2012002
1128.43/562.58	c cleaning 62991 clauses out of 126013 with flag 6167058/2076002
1169.38/582.98	c cleaning 63999 clauses out of 128023 with flag 6336399/2141003
1208.90/602.66	c cleaning 65005 clauses out of 130023 with flag 6506273/2207002
1246.40/621.28	c cleaning 66000 clauses out of 132018 with flag 6679554/2274002
1281.82/638.87	c cleaning 66993 clauses out of 134018 with flag 6843725/2342002
1319.84/657.76	c cleaning 67997 clauses out of 136026 with flag 7018803/2411003
1364.97/680.14	c cleaning 68997 clauses out of 138028 with flag 7206062/2481002
1408.31/701.65	c cleaning 70004 clauses out of 140033 with flag 7383353/2552004
1452.69/723.65	c cleaning 71003 clauses out of 142027 with flag 7577544/2624002
1497.53/746.63	c cleaning 72000 clauses out of 144027 with flag 7769004/2697005
1501.13/748.40	c cleaning 0 clauses out of 11150 with flag 0/11150
1541.48/768.60	c cleaning 73000 clauses out of 146025 with flag 7956973/2771003
1582.81/789.14	c cleaning 73994 clauses out of 148025 with flag 8150282/2846003
1631.41/813.31	c cleaning 75003 clauses out of 150030 with flag 8332646/2922002
1684.65/839.85	c cleaning 76000 clauses out of 152028 with flag 8537749/2999003
1734.24/864.50	c cleaning 76998 clauses out of 154028 with flag 8749838/3077003
1790.72/892.64	c cleaning 78007 clauses out of 156031 with flag 8968390/3156004
1800.19/897.30	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.19/897.30	c starts		: 350
1800.19/897.30	c conflicts		: 3170982
1800.19/897.30	c decisions		: 5051426
1800.19/897.30	c propagations		: 743394794
1800.19/897.30	c inspects		: 5903104620
1800.19/897.30	c shortcuts		: 0
1800.19/897.30	c learnt literals	: 0
1800.19/897.30	c learnt binary clauses	: 0
1800.19/897.30	c learnt ternary clauses	: 0
1800.19/897.30	c learnt constraints	: 3170982
1800.19/897.30	c ignored constraints	: 0
1800.19/897.30	c root simplifications	: 0
1800.19/897.30	c removed literals (reason simplification)	: 2067486
1800.19/897.30	c reason swapping (by a shorter reason)	: 0
1800.19/897.30	c Calls to reduceDB	: 76
1800.19/897.30	c Number of update (reduction) of LBD	: 389177
1800.19/897.30	c Imported unit clauses	: 0
1800.19/897.30	c number of reductions to clauses (during analyze)	: 0
1800.19/897.30	c number of learned constraints concerned by reduction	: 0
1800.19/897.30	c number of learning phase by resolution	: 0
1800.19/897.30	c number of learning phase by cutting planes	: 0
1800.19/897.30	c speed (assignments/second)	: 831731.3133256955
1800.19/897.30	c non guided choices	723
1800.19/897.33	c learnt constraints type 
1800.19/897.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 93002
1800.19/897.33	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.19/897.33	c starts		: 28
1800.19/897.33	c conflicts		: 12771
1800.19/897.33	c decisions		: 222081
1800.19/897.33	c propagations		: 926433
1800.19/897.33	c inspects		: 614704924
1800.19/897.33	c shortcuts		: 0
1800.19/897.33	c learnt literals	: 0
1800.19/897.33	c learnt binary clauses	: 0
1800.19/897.33	c learnt ternary clauses	: 0
1800.19/897.33	c learnt constraints	: 12771
1800.19/897.33	c ignored constraints	: 0
1800.19/897.33	c root simplifications	: 0
1800.19/897.33	c removed literals (reason simplification)	: 0
1800.19/897.33	c reason swapping (by a shorter reason)	: 0
1800.19/897.33	c Calls to reduceDB	: 2
1800.19/897.33	c Number of update (reduction) of LBD	: 0
1800.19/897.33	c Imported unit clauses	: 0
1800.19/897.33	c number of reductions to clauses (during analyze)	: 0
1800.19/897.33	c number of learned constraints concerned by reduction	: 0
1800.19/897.33	c number of learning phase by resolution	: 0
1800.19/897.33	c number of learning phase by cutting planes	: 0
1800.19/897.33	c speed (assignments/second)	: 1037.0859192391392
1800.19/897.33	c non guided choices	0
1800.19/897.33	c learnt constraints type 
1800.19/897.33	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 86
1800.19/897.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12685
1800.19/897.33	s SATISFIABLE
1800.19/897.33	c Found 3 solution(s)
1800.19/897.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 x1176 x1177 x1178 x1179 -x1180 x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 x1241 x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 x2344 x2345 x2346 x2347 x2348 x2349 x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 x2437 x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3391 x3392 x3393 x3394 x3395 x3396 -x3397 x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 x4451 x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 x4683 x4684 x4685 x4686 x4687 x4688 -x4689 x4690 x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5051 x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 x5132 x5133 x5134 x5135 x5136 x5137 x5138 x5139 -x5140 x5141 x5142 x5143 x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 x5163 x5164 x5165 x5166 x5167 x5168 x5169 x5170 x5171 x5172 x5173 x5174 x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 x5260 x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 x5351 x5352 x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 x5591 -x5592 x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 x5762 x5763 x5764 x5765 -x5766 -x5767 -x5768 x5769 x5770 x5771 x5772 x5773 x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 x5860 -x5861 x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 x6541 -x6542 -x6543 -x6544 -x6545 -x6546 x6547 -x6548 x6549 x6550 x6551 x6552 x6553 x6554 x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 x6641 x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 x6818 x6819 x6820 -x6821 x6822 -x6823 -x6824 x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 x6912 x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 x7231 x7232 x7233 x7234 x7235 x7236 x7237 x7238 -x7239 -x7240 -x7241 -x7242 -x7243 x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 x7449 x7450 x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 x7509 -x7510 -x7511 -x7512 x7513 -x7514 x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 x7741 -x7742 x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 x7779 x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 -x7787 x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 x7798 -x7799 -x7800 -x7801 x7802 -x7803 x7804 -x7805 x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 -x7814 -x7815 -x7816 -x7817 -x7818 x7819 x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 x7854 -x7855 -x7856 x7857 -x7858 -x7859 x7860 -x7861 -x7862 -x7863 -x7864 x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 x7873 -x7874 -x7875 -x7876 -x7877 -x7878 x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 x7889 -x7890 x7891 -x7892 -x7893 -x7894 x7895 -x7896 x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 x7904 -x7905 -x7906 -x7907 -x7908 x7909 -x7910 -x7911 x7912 x7913 -x7914 x7915 x7916 -x7917 -x7918 x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 x7927 x7928 x7929 x7930 x7931 -x7932 x7933 -x7934 -x7935 x7936 -x7937 x7938 -x7939 -x7940 -x7941 -x7942 -x7943 x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 x7951 x7952 -x7953 -x7954 -x7955 x7956 -x7957 -x7958 x7959 -x7960 -x7961 x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 x7971 -x7972 -x7973 -x7974 -x7975 -x7976 x7977 -x7978 -x7979 x7980 -x7981 x7982 -x7983 -x7984 -x7985 -x7986 -x7987 x7988 x7989 -x7990 x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 
1800.19/897.35	c objective function=8721582
1800.19/897.35	c Total wall clock time (in seconds): 897.236

Verifier Data 

OK	8721582

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103150-1466219799/watcher-4103150-1466219799 -o /tmp/evaluation-result-4103150-1466219799/solver-4103150-1466219799 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103150-1466219799.opb 

pid=19423
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.92 3.96 3.94 4/197 19426
/proc/meminfo: memFree=27765220/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19426/stat : 19426 (java) D 19423 19426 13538 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 24029801 9515008 185 33554432000 1073741824 1073778376 140736828853184 140736828842248 224913354023 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2323 185 143 9 0 71 0

[startup+0.100111 s]
/proc/loadavg: 3.92 3.96 3.94 4/197 19426
/proc/meminfo: memFree=27765220/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 4470 0 1 0 8 1 0 0 20 0 18 0 24029801 9787879424 5582 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2389619 5582 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200287 s]
/proc/loadavg: 3.92 3.96 3.94 4/197 19426
/proc/meminfo: memFree=27765220/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 5147 0 1 0 28 1 0 0 20 0 18 0 24029801 9787879424 6553 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2389619 6553 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300252 s]
/proc/loadavg: 3.92 3.96 3.94 4/197 19426
/proc/meminfo: memFree=27765220/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 7867 0 1 0 50 2 0 0 20 0 18 0 24029801 9787879424 10298 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2389619 10298 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700217 s]
/proc/loadavg: 3.92 3.96 3.94 4/197 19426
/proc/meminfo: memFree=27765220/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 18219 0 1 0 185 5 0 0 20 0 22 0 24029801 10060525568 22175 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2456183 22175 2268 9 0 2446860 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9824732

[startup+1.50087 s]
/proc/loadavg: 3.76 3.93 3.93 7/219 19448
/proc/meminfo: memFree=27657672/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 21802 0 1 0 414 11 0 0 20 0 19 0 24029801 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2456183 49101 2287 9 0 2446860 0
[pid=19426/tid=19428] ppid=19423 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/19426/task/19428/stat : 19428 (java) S 19423 19426 13538 0 -1 4202560 2526 0 1 0 43 2 0 0 20 0 19 0 24029802 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009563534200 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19429] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19429/stat : 19429 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009407281960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19430] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19430/stat : 19430 (java) S 19423 19426 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009406229160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19431] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19431/stat : 19431 (java) S 19423 19426 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009405176872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19432] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19432/stat : 19432 (java) S 19423 19426 13538 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009404124072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19433] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19433/stat : 19433 (java) S 19423 19426 13538 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009403070760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19434] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19434/stat : 19434 (java) S 19423 19426 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009402017960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19435] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19435/stat : 19435 (java) S 19423 19426 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009400965672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19436] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19436/stat : 19436 (java) S 19423 19426 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24029803 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009399912872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19437] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19437/stat : 19437 (java) S 19423 19426 13538 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 24029804 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009387715304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19438] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19438/stat : 19438 (java) S 19423 19426 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24029805 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009386661368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19439] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19439/stat : 19439 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24029805 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009385608968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19440] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19440/stat : 19440 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24029807 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009384557456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19441] ppid=19423 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/19426/task/19441/stat : 19441 (java) S 19423 19426 13538 0 -1 4202560 6892 0 0 0 85 2 0 0 20 0 19 0 24029807 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009383504056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19442] ppid=19423 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/19426/task/19442/stat : 19442 (java) S 19423 19426 13538 0 -1 4202560 10874 0 0 0 82 2 0 0 20 0 19 0 24029807 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009382451256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19443] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19443/stat : 19443 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24029807 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009381399160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19444] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19444/stat : 19444 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24029807 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009380346568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19448] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19448/stat : 19448 (java) S 19423 19426 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24029855 10060525568 49101 33554432000 1073741824 1073778376 140736828853184 140009376134696 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9824732

[startup+3.10089 s]
/proc/loadavg: 3.76 3.93 3.93 5/219 19451
/proc/meminfo: memFree=27576460/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9824732 CPUtime=6.94 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 27229 0 1 0 680 14 0 0 20 0 22 0 24029801 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2456183 56148 2293 9 0 2446860 0
[pid=19426/tid=19428] ppid=19423 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/19426/task/19428/stat : 19428 (java) S 19423 19426 13538 0 -1 4202560 2526 0 1 0 45 2 0 0 20 0 22 0 24029802 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009563534200 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19429] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19429/stat : 19429 (java) S 19423 19426 13538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009407281960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19430] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19430/stat : 19430 (java) S 19423 19426 13538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009406229160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19431] ppid=19423 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19426/task/19431/stat : 19431 (java) S 19423 19426 13538 0 -1 4202560 113 0 0 0 2 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009405176872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19432] ppid=19423 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19426/task/19432/stat : 19432 (java) S 19423 19426 13538 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009404124072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19433] ppid=19423 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19426/task/19433/stat : 19433 (java) S 19423 19426 13538 0 -1 4202560 78 0 0 0 1 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009403070760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19434] ppid=19423 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19426/task/19434/stat : 19434 (java) S 19423 19426 13538 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009402017960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19435] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19435/stat : 19435 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009400965672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19436] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19436/stat : 19436 (java) S 19423 19426 13538 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 22 0 24029803 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009399912872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19437] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19437/stat : 19437 (java) S 19423 19426 13538 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 24029804 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009387715304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19438] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19438/stat : 19438 (java) S 19423 19426 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009386661368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19439] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19439/stat : 19439 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009385608968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19440] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19440/stat : 19440 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009384557456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19441] ppid=19423 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/19426/task/19441/stat : 19441 (java) S 19423 19426 13538 0 -1 4202560 6910 0 0 0 103 2 0 0 20 0 22 0 24029807 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009383504056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19442] ppid=19423 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/19426/task/19442/stat : 19442 (java) S 19423 19426 13538 0 -1 4202560 15900 0 0 0 108 3 0 0 20 0 22 0 24029807 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009382451256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19443] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19443/stat : 19443 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009381399160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19444] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19444/stat : 19444 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009380346568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19448] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19448/stat : 19448 (java) S 19423 19426 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24029855 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009376134696 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19449] ppid=19423 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/19426/task/19449/stat : 19449 (java) R 19423 19426 13538 0 -1 4202560 3 0 0 0 105 0 0 0 20 0 22 0 24030001 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009378238808 140009436460412 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19450] ppid=19423 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/19426/task/19450/stat : 19450 (java) R 19423 19426 13538 0 -1 4202560 5 0 0 0 106 0 0 0 20 0 22 0 24030001 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009379290648 140009436720913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19451] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19451/stat : 19451 (java) S 19423 19426 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24030002 10060525568 56148 33554432000 1073741824 1073778376 140736828853184 140009377186984 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 3.78 3.93 3.93 5/219 19457
/proc/meminfo: memFree=27407788/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9824732 CPUtime=12.12 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 30690 0 1 0 1186 26 0 0 20 0 22 0 24029801 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2456183 91238 2293 9 0 2446860 0
[pid=19426/tid=19428] ppid=19423 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/19426/task/19428/stat : 19428 (java) S 19423 19426 13538 0 -1 4202560 2526 0 1 0 47 2 0 0 20 0 22 0 24029802 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009563534200 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19429] ppid=19423 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19426/task/19429/stat : 19429 (java) S 19423 19426 13538 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009407281960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19430] ppid=19423 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19426/task/19430/stat : 19430 (java) S 19423 19426 13538 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009406229160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19431] ppid=19423 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19426/task/19431/stat : 19431 (java) S 19423 19426 13538 0 -1 4202560 122 0 0 0 2 1 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009405176872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19432] ppid=19423 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19426/task/19432/stat : 19432 (java) S 19423 19426 13538 0 -1 4202560 32 0 0 0 2 1 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009404124072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19433] ppid=19423 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19426/task/19433/stat : 19433 (java) S 19423 19426 13538 0 -1 4202560 96 0 0 0 2 2 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009403070760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19434] ppid=19423 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19426/task/19434/stat : 19434 (java) S 19423 19426 13538 0 -1 4202560 91 0 0 0 2 0 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009402017960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19435] ppid=19423 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19426/task/19435/stat : 19435 (java) S 19423 19426 13538 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009400965672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19436] ppid=19423 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19426/task/19436/stat : 19436 (java) S 19423 19426 13538 0 -1 4202560 117 0 0 0 2 0 0 0 20 0 22 0 24029803 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009399912872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19437] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19437/stat : 19437 (java) S 19423 19426 13538 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 24029804 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009387715304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19438] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19438/stat : 19438 (java) S 19423 19426 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009386661368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19439] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19439/stat : 19439 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009385608968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19440] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19440/stat : 19440 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009384557456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19441] ppid=19423 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/19426/task/19441/stat : 19441 (java) S 19423 19426 13538 0 -1 4202560 6932 0 0 0 123 2 0 0 20 0 22 0 24029807 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009383504056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19442] ppid=19423 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/19426/task/19442/stat : 19442 (java) S 19423 19426 13538 0 -1 4202560 19058 0 0 0 132 4 0 0 20 0 22 0 24029807 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009382451256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19443] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19443/stat : 19443 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 91238 33554432000 1073741824 1073778376 140736828853184 140009381399160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19444] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7

################
# More data... #
################


[startup+882.308 s]
/proc/loadavg: 4.03 4.07 4.02 5/219 19551
/proc/meminfo: memFree=25004252/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9824732 CPUtime=1770.04 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 45500 0 1 0 176779 225 0 0 20 0 22 0 24029801 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2456183 862348 2302 9 0 2446860 0
[pid=19426/tid=19428] ppid=19423 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/19426/task/19428/stat : 19428 (java) S 19423 19426 13538 0 -1 4202560 2536 0 1 0 49 4 0 0 20 0 22 0 24029802 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009563534200 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19429] ppid=19423 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/19426/task/19429/stat : 19429 (java) S 19423 19426 13538 0 -1 4202560 1138 0 0 0 189 18 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009407281960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19430] ppid=19423 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/19426/task/19430/stat : 19430 (java) S 19423 19426 13538 0 -1 4202560 706 0 0 0 209 18 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009406229160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19431] ppid=19423 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/19426/task/19431/stat : 19431 (java) S 19423 19426 13538 0 -1 4202560 1061 0 0 0 195 18 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009405176872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19432] ppid=19423 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/19426/task/19432/stat : 19432 (java) S 19423 19426 13538 0 -1 4202560 799 0 0 0 219 21 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009404124072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19433] ppid=19423 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/19426/task/19433/stat : 19433 (java) S 19423 19426 13538 0 -1 4202560 727 0 0 0 207 17 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009403070760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19434] ppid=19423 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/19426/task/19434/stat : 19434 (java) S 19423 19426 13538 0 -1 4202560 813 0 0 0 224 20 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009402017960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19435] ppid=19423 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/19426/task/19435/stat : 19435 (java) S 19423 19426 13538 0 -1 4202560 823 0 0 0 222 19 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009400965672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19436] ppid=19423 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/19426/task/19436/stat : 19436 (java) S 19423 19426 13538 0 -1 4202560 779 0 0 0 210 20 0 0 20 0 22 0 24029803 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009399912872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19437] ppid=19423 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/19426/task/19437/stat : 19437 (java) S 19423 19426 13538 0 -1 4202560 2071 0 0 0 330 10 0 0 20 0 22 0 24029804 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009387715304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19438] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19438/stat : 19438 (java) S 19423 19426 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009386661368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19439] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19439/stat : 19439 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009385608968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19440] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19440/stat : 19440 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009384557456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19441] ppid=19423 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/19426/task/19441/stat : 19441 (java) S 19423 19426 13538 0 -1 4202560 11319 0 0 0 220 3 0 0 20 0 22 0 24029807 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009383504056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19442] ppid=19423 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/19426/task/19442/stat : 19442 (java) S 19423 19426 13538 0 -1 4202560 19064 0 0 0 138 4 0 0 20 0 22 0 24029807 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009382451256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19443] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19443/stat : 19443 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009381399160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19444] ppid=19423 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/19426/task/19444/stat : 19444 (java) S 19423 19426 13538 0 -1 4202560 51 0 0 0 15 19 0 0 20 0 22 0 24029807 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009380346568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19454] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19454/stat : 19454 (java) S 19423 19426 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24030153 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009376134440 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19455] ppid=19423 vsize=9824732 CPUtime=869.93 cores=1,3,5,7
/proc/19426/task/19455/stat : 19455 (java) R 19423 19426 13538 0 -1 4202560 312 0 0 0 86970 23 0 0 20 0 22 0 24030203 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009379291168 140009436459932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19456] ppid=19423 vsize=9824732 CPUtime=869.93 cores=1,3,5,7
/proc/19426/task/19456/stat : 19456 (java) R 19423 19426 13538 0 -1 4202560 1908 0 0 0 86952 41 0 0 20 0 22 0 24030203 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009378237488 140009436484375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19457] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19457/stat : 19457 (java) S 19423 19426 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24030204 10060525568 862348 33554432000 1073741824 1073778376 140736828853184 140009377186728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1770.04
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.301 s]
/proc/loadavg: 4.02 4.06 4.01 5/219 19552
/proc/meminfo: memFree=25004136/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 45503 0 1 0 179794 225 0 0 20 0 22 0 24029801 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2456183 862344 2302 9 0 2446860 0
[pid=19426/tid=19428] ppid=19423 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/19426/task/19428/stat : 19428 (java) S 19423 19426 13538 0 -1 4202560 2536 0 1 0 49 4 0 0 20 0 22 0 24029802 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009563534200 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19429] ppid=19423 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/19426/task/19429/stat : 19429 (java) S 19423 19426 13538 0 -1 4202560 1138 0 0 0 192 18 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009407281960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19430] ppid=19423 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/19426/task/19430/stat : 19430 (java) S 19423 19426 13538 0 -1 4202560 706 0 0 0 215 18 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009406229160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19431] ppid=19423 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/19426/task/19431/stat : 19431 (java) S 19423 19426 13538 0 -1 4202560 1061 0 0 0 201 18 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009405176872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19432] ppid=19423 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/19426/task/19432/stat : 19432 (java) S 19423 19426 13538 0 -1 4202560 799 0 0 0 223 21 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009404124072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19433] ppid=19423 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/19426/task/19433/stat : 19433 (java) S 19423 19426 13538 0 -1 4202560 727 0 0 0 213 17 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009403070760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19434] ppid=19423 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19426/task/19434/stat : 19434 (java) S 19423 19426 13538 0 -1 4202560 813 0 0 0 229 20 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009402017960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19435] ppid=19423 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/19426/task/19435/stat : 19435 (java) S 19423 19426 13538 0 -1 4202560 823 0 0 0 226 19 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009400965672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19436] ppid=19423 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/19426/task/19436/stat : 19436 (java) S 19423 19426 13538 0 -1 4202560 779 0 0 0 213 20 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009399912872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19437] ppid=19423 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/19426/task/19437/stat : 19437 (java) S 19423 19426 13538 0 -1 4202560 2071 0 0 0 330 10 0 0 20 0 22 0 24029804 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009387715304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19438] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19438/stat : 19438 (java) S 19423 19426 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009386661368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19439] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19439/stat : 19439 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009385608968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19440] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19440/stat : 19440 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009384557456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19441] ppid=19423 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/19426/task/19441/stat : 19441 (java) S 19423 19426 13538 0 -1 4202560 11320 0 0 0 220 3 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009383504056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19442] ppid=19423 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/19426/task/19442/stat : 19442 (java) S 19423 19426 13538 0 -1 4202560 19064 0 0 0 138 4 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009382451256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19443] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19443/stat : 19443 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009381399160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19444] ppid=19423 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/19426/task/19444/stat : 19444 (java) S 19423 19426 13538 0 -1 4202560 51 0 0 0 15 19 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009380346568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19454] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19454/stat : 19454 (java) S 19423 19426 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24030153 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009376134440 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19455] ppid=19423 vsize=9824732 CPUtime=884.82 cores=1,3,5,7
/proc/19426/task/19455/stat : 19455 (java) R 19423 19426 13538 0 -1 4202560 312 0 0 0 88459 23 0 0 20 0 22 0 24030203 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009379290240 140009436558362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19456] ppid=19423 vsize=9824732 CPUtime=884.83 cores=1,3,5,7
/proc/19426/task/19456/stat : 19456 (java) R 19423 19426 13538 0 -1 4202560 1910 0 0 0 88442 41 0 0 20 0 22 0 24030203 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009378238256 140009436484165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19457] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19457/stat : 19457 (java) S 19423 19426 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24030204 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009377186728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19426 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.301 s]
/proc/loadavg: 4.02 4.06 4.01 5/219 19552
/proc/meminfo: memFree=25004136/32872528 swapFree=163656/177964
[pid=19426] ppid=19423 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/19426/stat : 19426 (java) S 19423 19426 13538 0 -1 4202496 45503 0 1 0 179794 225 0 0 20 0 22 0 24029801 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140736828844320 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19426/statm: 2456183 862344 2302 9 0 2446860 0
[pid=19426/tid=19428] ppid=19423 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/19426/task/19428/stat : 19428 (java) S 19423 19426 13538 0 -1 4202560 2536 0 1 0 49 4 0 0 20 0 22 0 24029802 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009563534200 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19429] ppid=19423 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/19426/task/19429/stat : 19429 (java) S 19423 19426 13538 0 -1 4202560 1138 0 0 0 192 18 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009407281960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19430] ppid=19423 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/19426/task/19430/stat : 19430 (java) S 19423 19426 13538 0 -1 4202560 706 0 0 0 215 18 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009406229160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19431] ppid=19423 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/19426/task/19431/stat : 19431 (java) S 19423 19426 13538 0 -1 4202560 1061 0 0 0 201 18 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009405176872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19432] ppid=19423 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/19426/task/19432/stat : 19432 (java) S 19423 19426 13538 0 -1 4202560 799 0 0 0 223 21 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009404124072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19433] ppid=19423 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/19426/task/19433/stat : 19433 (java) S 19423 19426 13538 0 -1 4202560 727 0 0 0 213 17 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009403070760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19434] ppid=19423 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/19426/task/19434/stat : 19434 (java) S 19423 19426 13538 0 -1 4202560 813 0 0 0 229 20 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009402017960 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19435] ppid=19423 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/19426/task/19435/stat : 19435 (java) S 19423 19426 13538 0 -1 4202560 823 0 0 0 226 19 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009400965672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19436] ppid=19423 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/19426/task/19436/stat : 19436 (java) S 19423 19426 13538 0 -1 4202560 779 0 0 0 213 20 0 0 20 0 22 0 24029803 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009399912872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19437] ppid=19423 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/19426/task/19437/stat : 19437 (java) S 19423 19426 13538 0 -1 4202560 2071 0 0 0 330 10 0 0 20 0 22 0 24029804 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009387715304 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19438] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19438/stat : 19438 (java) S 19423 19426 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009386661368 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19439] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19439/stat : 19439 (java) S 19423 19426 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 24029805 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009385608968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19440] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19440/stat : 19440 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009384557456 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19441] ppid=19423 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/19426/task/19441/stat : 19441 (java) S 19423 19426 13538 0 -1 4202560 11320 0 0 0 220 3 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009383504056 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19442] ppid=19423 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/19426/task/19442/stat : 19442 (java) S 19423 19426 13538 0 -1 4202560 19064 0 0 0 138 4 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009382451256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19426/tid=19443] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19443/stat : 19443 (java) S 19423 19426 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009381399160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19444] ppid=19423 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/19426/task/19444/stat : 19444 (java) S 19423 19426 13538 0 -1 4202560 51 0 0 0 15 19 0 0 20 0 22 0 24029807 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009380346568 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19454] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19454/stat : 19454 (java) S 19423 19426 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24030153 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009376134440 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19426/tid=19455] ppid=19423 vsize=9824732 CPUtime=884.82 cores=1,3,5,7
/proc/19426/task/19455/stat : 19455 (java) R 19423 19426 13538 0 -1 4202560 312 0 0 0 88459 23 0 0 20 0 22 0 24030203 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009379290240 140009436558362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19426/tid=19456] ppid=19423 vsize=9824732 CPUtime=884.83 cores=1,3,5,7
/proc/19426/task/19456/stat : 19456 (java) R 19423 19426 13538 0 -1 4202560 1910 0 0 0 88442 41 0 0 20 0 22 0 24030203 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009378238256 140009436484165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19426/tid=19457] ppid=19423 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19426/task/19457/stat : 19457 (java) S 19423 19426 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 24030204 10060525568 862344 33554432000 1073741824 1073778376 140736828853184 140009377186728 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 897.371
CPU time (s): 1800.86
CPU user time (s): 1798.06
CPU system time (s): 2.80057
CPU usage (%): 200.682
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.06
system time used= 2.80057
maximum resident set size= 3463344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45539
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23955
involuntary context switches= 24800

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02408 second user time and 7.38288 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 05:16:39
IDJOB=4103150
IDBENCH=2282
IDSOLVER=2543
FILE ID=node105/4103150-1466219799
RUNJOBID= node105-1466206102-13555
PBS_JOBID= 19918167
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103150-1466219799/watcher-4103150-1466219799 -o /tmp/evaluation-result-4103150-1466219799/solver-4103150-1466219799 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103150-1466219799.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f
RANDOM SEED=1731937656

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27765864 kB
Buffers:           89868 kB
Cached:            98480 kB
SwapCached:         1764 kB
Active:          4052276 kB
Inactive:         129396 kB
Active(anon):    3994360 kB
Inactive(anon):     1440 kB
Active(file):      57916 kB
Inactive(file):   127956 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:              1208 kB
Writeback:             0 kB
AnonPages:       4179092 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             601216 kB
SReclaimable:      44676 kB
SUnreclaim:       556540 kB
KernelStack:        1600 kB
PageTables:        12408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4852480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3926016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node105 at 2016-06-18 05:31:36