Trace number 4103720

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 Resolution PB16SAT (TO)48382442725 1800.03 1786.06

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-boeing1.opb
MD5SUM89b57889d16cd406631a12aac7aefa29
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark48382442725
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8869
Total number of constraints561
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 constraints561
Minimum length of a constraint11
Maximum length of a constraint6849
Number of terms in the objective function 6523
Biggest coefficient in the objective function 24535000678400
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 1761916844753634
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 4102681610158080
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 384599747612655519
Number of bits of the biggest sum of numbers59
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4103720-1466249029.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.85/0.48	c ... done. Wall clock time 0.375s.
0.85/0.48	c declared #vars     8869
0.85/0.48	c #constraints  570
0.85/0.48	c constraints type 
0.85/0.48	c org.sat4j.specs.Constr$1 => 5
0.85/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 565
0.85/0.48	c 570 constraints processed.
0.85/0.48	c objective function length is 6523 literals
2.29/1.49	c cleaning 2498 clauses out of 4996 with flag 11188/5000
3.60/2.68	c cleaning 4249 clauses out of 8498 with flag 23209/11000
5.14/4.19	c cleaning 5625 clauses out of 11249 with flag 37215/18000
5.85/4.89	c cleaning 6810 clauses out of 13625 with flag 54067/26001
7.46/6.45	c cleaning 7906 clauses out of 15816 with flag 73821/35002
9.42/8.36	c cleaning 8950 clauses out of 17912 with flag 96299/45004
11.84/10.71	c cleaning 9977 clauses out of 19958 with flag 121607/56000
14.13/13.09	c cleaning 10992 clauses out of 21983 with flag 146300/68002
17.45/16.21	c cleaning 11996 clauses out of 23993 with flag 172304/81004
20.65/19.45	c cleaning 12996 clauses out of 25996 with flag 200302/95003
24.36/23.14	c cleaning 13989 clauses out of 27999 with flag 230300/110002
29.09/27.77	c cleaning 14991 clauses out of 30008 with flag 262329/126000
31.69/30.34	c cleaning 16006 clauses out of 32017 with flag 296813/143000
34.69/33.39	c cleaning 17002 clauses out of 34011 with flag 332813/161000
38.29/36.89	c cleaning 18005 clauses out of 36010 with flag 370815/180001
42.39/40.92	c cleaning 19001 clauses out of 38005 with flag 410815/200001
46.70/45.26	c cleaning 20000 clauses out of 40004 with flag 452815/221001
51.79/50.29	c cleaning 20998 clauses out of 42005 with flag 496817/243002
56.70/55.16	c cleaning 22002 clauses out of 44005 with flag 542813/266000
62.79/61.26	c cleaning 22998 clauses out of 46003 with flag 590813/290000
69.53/67.90	c cleaning 24001 clauses out of 48006 with flag 640815/315001
77.23/75.61	c cleaning 25002 clauses out of 50004 with flag 692813/341000
85.24/83.65	c cleaning 25998 clauses out of 52005 with flag 746819/368003
90.41/88.79	c cleaning 26996 clauses out of 54006 with flag 803633/396002
97.53/95.75	c cleaning 27998 clauses out of 56008 with flag 861629/425000
101.93/100.17	c cleaning 28994 clauses out of 58010 with flag 921697/455000
107.21/105.35	c cleaning 30003 clauses out of 60016 with flag 984285/486000
107.31/105.40	c SATISFIABLE
107.31/105.40	c OPTIMIZING...
107.31/105.40	c Got one! Elapsed wall clock time (in seconds):105.293
107.31/105.40	o 48382442725
108.34/106.37	c cleaning 17798 clauses out of 35597 with flag 14973/491585
109.88/107.88	c cleaning 11887 clauses out of 23800 with flag 29226/497586
110.87/108.80	c cleaning 9445 clauses out of 18912 with flag 44000/504585
112.08/110.02	c cleaning 8728 clauses out of 17467 with flag 60000/512585
113.40/111.37	c cleaning 8870 clauses out of 17739 with flag 78000/521585
115.00/112.93	c cleaning 9434 clauses out of 18870 with flag 98002/531586
116.90/114.81	c cleaning 10215 clauses out of 20436 with flag 120005/542586
119.10/117.03	c cleaning 11110 clauses out of 22221 with flag 144005/554586
121.74/119.61	c cleaning 12046 clauses out of 24110 with flag 170003/567585
124.44/122.34	c cleaning 13032 clauses out of 26067 with flag 198009/581588
127.71/125.58	c cleaning 14017 clauses out of 28033 with flag 228005/596586
131.50/129.33	c cleaning 15005 clauses out of 30015 with flag 260003/612585
134.48/132.21	c cleaning 15992 clauses out of 32010 with flag 295786/629585
137.88/135.69	c cleaning 17003 clauses out of 34019 with flag 336085/647586
141.56/139.26	c cleaning 18004 clauses out of 36016 with flag 378273/666586
146.10/143.78	c cleaning 19007 clauses out of 38013 with flag 422732/686587
151.36/148.93	c cleaning 20002 clauses out of 40004 with flag 470923/707585
156.79/154.37	c cleaning 21000 clauses out of 42002 with flag 521988/729585
162.54/160.03	c cleaning 22001 clauses out of 44002 with flag 576166/752585
168.75/166.29	c cleaning 22995 clauses out of 46001 with flag 627493/776585
173.46/170.95	c cleaning 23993 clauses out of 48007 with flag 682843/801586
179.29/176.77	c cleaning 25002 clauses out of 50013 with flag 741315/827585
185.31/182.71	c cleaning 25999 clauses out of 52011 with flag 801699/854585
192.24/189.63	c cleaning 27001 clauses out of 54014 with flag 866652/882587
199.69/197.02	c cleaning 28002 clauses out of 56013 with flag 933975/911587
207.42/204.76	c cleaning 29001 clauses out of 58009 with flag 1003479/941585
213.35/210.66	c cleaning 30005 clauses out of 60009 with flag 1069799/972586
230.36/227.57	c cleaning 31001 clauses out of 62004 with flag 1133799/1004586
247.91/245.08	c cleaning 31996 clauses out of 64004 with flag 1199801/1037587
266.96/264.05	c cleaning 33002 clauses out of 66006 with flag 1267797/1071585
288.18/285.14	c cleaning 34003 clauses out of 68005 with flag 1337799/1106586
309.64/306.56	c cleaning 35001 clauses out of 70003 with flag 1409801/1142587
331.00/327.82	c cleaning 35997 clauses out of 72000 with flag 1483797/1179585
351.11/347.88	c cleaning 36986 clauses out of 74003 with flag 1559797/1217585
371.78/368.47	c cleaning 38003 clauses out of 76017 with flag 1637799/1256585
379.89/376.44	c cleaning 39008 clauses out of 78016 with flag 1717903/1296587
388.00/384.47	c cleaning 39982 clauses out of 80006 with flag 1799930/1337585
403.50/399.84	c cleaning 41004 clauses out of 82024 with flag 1885953/1379585
413.65/409.84	c cleaning 42010 clauses out of 84020 with flag 1971988/1422585
425.92/422.05	c cleaning 43004 clauses out of 86010 with flag 2060030/1466585
437.36/433.34	c cleaning 44003 clauses out of 88006 with flag 2150041/1511585
458.08/453.95	c cleaning 45001 clauses out of 90003 with flag 2242041/1557585
505.33/501.06	c cleaning 46001 clauses out of 92002 with flag 2336041/1604585
554.24/549.87	c cleaning 47002 clauses out of 94003 with flag 2432045/1652587
611.04/606.46	c cleaning 48000 clauses out of 96000 with flag 2530043/1701586
662.01/657.27	c cleaning 49000 clauses out of 98000 with flag 2630043/1751586
683.19/678.24	c cleaning 49995 clauses out of 100002 with flag 2732150/1802588
706.68/701.57	c cleaning 50997 clauses out of 102004 with flag 2836377/1854585
727.95/722.64	c cleaning 51998 clauses out of 104008 with flag 2942555/1907586
757.04/751.50	c cleaning 53004 clauses out of 106009 with flag 3050574/1961585
781.25/775.52	c cleaning 53989 clauses out of 108005 with flag 3163358/2016585
811.76/805.82	c cleaning 55000 clauses out of 110017 with flag 3275487/2072586
844.69/838.56	c cleaning 56002 clauses out of 112019 with flag 3390298/2129588
864.03/857.66	c cleaning 57007 clauses out of 114016 with flag 3506349/2187587
903.83/897.19	c cleaning 58001 clauses out of 116009 with flag 3624349/2246587
925.52/918.57	c cleaning 59000 clauses out of 118006 with flag 3744413/2306585
943.83/936.67	c cleaning 59996 clauses out of 120006 with flag 3868229/2367585
981.12/973.62	c cleaning 61006 clauses out of 122012 with flag 3992233/2429587
1017.91/1010.25	c cleaning 61999 clauses out of 124004 with flag 4118229/2492585
1053.29/1045.46	c cleaning 63002 clauses out of 126006 with flag 4246231/2556586
1091.11/1083.07	c cleaning 63993 clauses out of 128004 with flag 4376231/2621586
1133.59/1125.30	c cleaning 65005 clauses out of 130010 with flag 4508231/2687585
1173.52/1164.99	c cleaning 65997 clauses out of 132006 with flag 4642233/2754586
1200.40/1191.52	c cleaning 67001 clauses out of 134010 with flag 4778529/2822587
1225.15/1216.04	c cleaning 67995 clauses out of 136009 with flag 4916979/2891587
1279.14/1269.68	c cleaning 69002 clauses out of 138012 with flag 5076316/2961585
1336.86/1326.89	c cleaning 70005 clauses out of 140010 with flag 5242200/3032585
1381.11/1370.50	c cleaning 70997 clauses out of 142005 with flag 5386218/3104585
1408.98/1397.99	c cleaning 72003 clauses out of 144011 with flag 5532375/3177588
1477.87/1466.46	c cleaning 72998 clauses out of 146005 with flag 5680369/3251585
1541.05/1528.95	c cleaning 73999 clauses out of 148007 with flag 5830369/3326585
1591.74/1579.05	c cleaning 75005 clauses out of 150010 with flag 5982504/3402587
1675.45/1662.23	c cleaning 76002 clauses out of 152003 with flag 6136500/3479585
1738.31/1724.63	c cleaning 77000 clauses out of 154001 with flag 6292500/3557585
1800.03/1786.00	c starts		: 10157
1800.03/1786.00	c conflicts		: 3635803
1800.03/1786.00	c decisions		: 6031395
1800.03/1786.00	c propagations		: 34587014
1800.03/1786.00	c inspects		: 29676787026
1800.03/1786.00	c shortcuts		: 0
1800.03/1786.00	c learnt literals	: 5
1800.03/1786.00	c learnt binary clauses	: 17
1800.03/1786.00	c learnt ternary clauses	: 12
1800.03/1786.00	c learnt constraints	: 3635798
1800.03/1786.00	c ignored constraints	: 0
1800.03/1786.00	c root simplifications	: 0
1800.03/1786.00	c removed literals (reason simplification)	: 0
1800.03/1786.00	c reason swapping (by a shorter reason)	: 0
1800.03/1786.00	c Calls to reduceDB	: 101
1800.03/1786.00	c Number of update (reduction) of LBD	: 28258
1800.03/1786.00	c Imported unit clauses	: 0
1800.03/1786.00	c number of reductions to clauses (during analyze)	: 0
1800.03/1786.00	c number of learned constraints concerned by reduction	: 0
1800.03/1786.00	c number of learning phase by resolution	: 0
1800.03/1786.00	c number of learning phase by cutting planes	: 0
1800.03/1786.00	c speed (assignments/second)	: 19371.366995039403
1800.03/1786.00	c non guided choices	133733
1800.03/1786.03	c learnt constraints type 
1800.03/1786.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17
1800.03/1786.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155202
1800.03/1786.03	s SATISFIABLE
1800.03/1786.03	c Found 1 solution(s)
1800.03/1786.04	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 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 x8011 -x8012 -x8013 x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 x8040 x8041 -x8042 x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 x8094 -x8095 -x8096 -x8097 -x8098 -x8099 x8100 x8101 -x8102 x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 x8131 x8132 -x8133 x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 x8180 x8181 x8182 x8183 x8184 x8185 x8186 x8187 x8188 x8189 -x8190 x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 x8210 x8211 x8212 x8213 x8214 x8215 x8216 x8217 x8218 x8219 x8220 x8221 x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 x8240 x8241 x8242 x8243 x8244 x8245 x8246 x8247 x8248 x8249 x8250 x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 x8270 x8271 x8272 x8273 x8274 x8275 x8276 x8277 x8278 x8279 x8280 x8281 x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 x8314 x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 x8373 -x8374 -x8375 x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 x8556 -x8557 x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 x8587 x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 x8660 x8661 x8662 x8663 x8664 x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 x8691 x8692 x8693 x8694 x8695 x8696 x8697 x8698 x8699 x8700 x8701 x8702 x8703 x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 x8720 x8721 x8722 x8723 x8724 x8725 x8726 x8727 x8728 x8729 x8730 -x8731 x8732 x8733 x8734 x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 x8750 x8751 x8752 x8753 x8754 x8755 x8756 x8757 x8758 x8759 x8760 x8761 x8762 x8763 x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 x8781 x8782 x8783 x8784 x8785 x8786 x8787 x8788 x8789 x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 x8810 x8811 x8812 x8813 x8814 x8815 x8816 x8817 x8818 x8819 x8820 x8821 x8822 x8823 x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 x8840 x8841 x8842 x8843 x8844 x8845 x8846 x8847 x8848 x8849 x8850 x8851 x8852 x8853 x8854 x8855 -x8856 x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 
1800.03/1786.05	c objective function=48382442725
1800.03/1786.05	c Total wall clock time (in seconds): 1785.937

Verifier Data 

OK	48382442725

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-4103720-1466249029/watcher-4103720-1466249029 -o /tmp/evaluation-result-4103720-1466249029/solver-4103720-1466249029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103720-1466249029.opb 

pid=8242
running on 4 cores: 0,2,4,6

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: 2.59 2.30 2.21 3/194 8245
/proc/meminfo: memFree=29516436/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 26949771 98570240 977 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 24065 977 743 9 0 16771 0
[pid=8245/tid=8246] ppid=8242 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 26949771 98570240 977 33554432000 1073741824 1073778376 140736115338576 140306083450408 259112387968 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.59 2.30 2.21 3/194 8245
/proc/meminfo: memFree=29516436/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 4398 0 1 0 10 1 0 0 20 0 18 0 26949771 9787879424 6024 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2389619 6024 2131 9 0 2380296 0
[pid=8245/tid=8246] ppid=8242 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 26949771 9787879424 6025 33554432000 1073741824 1073778376 140736115338576 140306083453704 259115771149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200307 s]
/proc/loadavg: 2.59 2.30 2.21 3/194 8245
/proc/meminfo: memFree=29516436/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 5021 0 1 0 30 1 0 0 20 0 18 0 26949771 9787879424 6924 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2389619 6924 2220 9 0 2380296 0
[pid=8245/tid=8246] ppid=8242 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2398 0 1 0 17 0 0 0 20 0 18 0 26949771 9787879424 6924 33554432000 1073741824 1073778376 140736115338576 140306083447704 140305928105296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300323 s]
/proc/loadavg: 2.59 2.30 2.21 3/194 8245
/proc/meminfo: memFree=29516436/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 8306 0 1 0 53 2 0 0 20 0 18 0 26949771 9787879424 10975 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2389619 10975 2234 9 0 2380296 0
[pid=8245/tid=8246] ppid=8242 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 18 0 26949771 9787879424 11487 33554432000 1073741824 1073778376 140736115338576 140306083447704 140305928524692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700268 s]
/proc/loadavg: 2.59 2.30 2.21 3/194 8245
/proc/meminfo: memFree=29516436/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9625040 CPUtime=1.5 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 12320 0 1 0 147 3 0 0 20 0 19 0 26949771 9856040960 23529 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2406260 23529 2265 9 0 2396937 0
[pid=8245/tid=8246] ppid=8242 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2444 0 1 0 65 2 0 0 20 0 19 0 26949771 9856040960 23530 33554432000 1073741824 1073778376 140736115338576 140306083455616 140305928678420 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.59 2.30 2.21 3/213 8264
/proc/meminfo: memFree=29362168/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 12562 0 1 0 238 4 0 0 20 0 19 0 26949771 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2406260 38443 2273 9 0 2396937 0
[pid=8245/tid=8246] ppid=8242 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2474 0 1 0 144 3 0 0 20 0 19 0 26949771 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306083453400 140305928810654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8248] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8248/stat : 8248 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306055907752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8249] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8249/stat : 8249 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306054855208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8250] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8250/stat : 8250 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306053802152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8251] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8251/stat : 8251 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306052749608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8252] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8252/stat : 8252 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306051697576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8253] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8253/stat : 8253 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306050645032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8254] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8254/stat : 8254 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306049591976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8255] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8255/stat : 8255 (java) S 8242 8245 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140306048539432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8256] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8256/stat : 8256 (java) S 8242 8245 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26949773 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305437272424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8257] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8257/stat : 8257 (java) S 8242 8245 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305436218744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8258] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8258/stat : 8258 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305435165576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8259] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8259/stat : 8259 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305434114320 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8260] ppid=8242 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/8245/task/8260/stat : 8260 (java) S 8242 8245 6916 0 -1 4202560 5239 0 0 0 50 2 0 0 20 0 19 0 26949776 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305433062200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8261] ppid=8242 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/8245/task/8261/stat : 8261 (java) R 8242 8245 6916 0 -1 4202560 3576 0 0 0 39 0 0 0 20 0 19 0 26949776 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305432003496 140306087571920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8262] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8262/stat : 8262 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305430956792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8263] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8263/stat : 8263 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305429904456 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8264] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8264/stat : 8264 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949824 9856040960 38443 33554432000 1073741824 1073778376 140736115338576 140305428849704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.54 2.29 2.21 3/213 8264
/proc/meminfo: memFree=29270568/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 12713 0 1 0 406 6 0 0 20 0 19 0 26949771 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2406260 43531 2287 9 0 2396937 0
[pid=8245/tid=8246] ppid=8242 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2485 0 1 0 303 3 0 0 20 0 19 0 26949771 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306083446496 140305928679233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8248] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8248/stat : 8248 (java) S 8242 8245 6916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306055907752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8249] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8249/stat : 8249 (java) S 8242 8245 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306054855208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8250] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8250/stat : 8250 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306053802152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8251] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8251/stat : 8251 (java) S 8242 8245 6916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306052749608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8252] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8252/stat : 8252 (java) S 8242 8245 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306051697576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8253] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8253/stat : 8253 (java) S 8242 8245 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306050645032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8254] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8254/stat : 8254 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306049591976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8255] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8255/stat : 8255 (java) S 8242 8245 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140306048539432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8256] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8256/stat : 8256 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949773 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305437272424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8257] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8257/stat : 8257 (java) S 8242 8245 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305436218744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8258] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8258/stat : 8258 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305435165576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8259] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8259/stat : 8259 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305434114320 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8260] ppid=8242 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8245/task/8260/stat : 8260 (java) S 8242 8245 6916 0 -1 4202560 5239 0 0 0 52 2 0 0 20 0 19 0 26949776 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305433062200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8261] ppid=8242 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8245/task/8261/stat : 8261 (java) R 8242 8245 6916 0 -1 4202560 3684 0 0 0 44 0 0 0 20 0 19 0 26949776 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305432009656 140306086321648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8262] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8262/stat : 8262 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305430956792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8263] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8263/stat : 8263 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305429904456 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8264] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8264/stat : 8264 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949824 9856040960 43531 33554432000 1073741824 1073778376 140736115338576 140305428849704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.54 2.29 2.21 4/213 8264
/proc/meminfo: memFree=29258056/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9625040 CPUtime=7.36 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 12741 0 1 0 728 8 0 0 20 0 19 0 26949771 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2406260 46538 2287 9 0 2396937 0
[pid=8245/tid=8246] ppid=8242 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2489 0 1 0 620 3 0 0 20 0 19 0 26949771 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306083453104 140305928694572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8248] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8248/stat : 8248 (java) S 8242 8245 6916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306055907752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8249] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8249/stat : 8249 (java) S 8242 8245 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306054855208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8250] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8250/stat : 8250 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306053802152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8251] ppid=8242 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8245/task/8251/stat : 8251 (java) S 8242 8245 6916 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306052749608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8252] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8252/stat : 8252 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306051697576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8253] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8253/stat : 8253 (java) S 8242 8245 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306050645032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8254] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8254/stat : 8254 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306049591976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8255] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8255/stat : 8255 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949772 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140306048539432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8256] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8256/stat : 8256 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949773 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140305437272424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8257] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8257/stat : 8257 (java) S 8242 8245 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140305436218744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8258] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8258/stat : 8258 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140305435165576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8259] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8259/stat : 8259 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140305434114320 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8260] ppid=8242 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/8245/task/8260/stat : 8260 (java) S 8242 8245 6916 0 -1 4202560 5239 0 0 0 54 2 0 0 20 0 19 0 26949776 9856040960 46538 33554432000 1073741824 1073778376 140736115338576 140305433062200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8261] ppid=8242 vsize=9625040 CPUtime=0.45 cores=0,2,4,6

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

[pid=8245/tid=8264] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8264/stat : 8264 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949824 9856040960 91239 33554432000 1073741824 1073778376 140736115338576 140305428849704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1675.54
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/213 8308
/proc/meminfo: memFree=27299972/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9625040 CPUtime=1736.02 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 33836 0 1 0 173456 146 0 0 20 0 19 0 26949771 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2406260 98899 2296 9 0 2396937 0
[pid=8245/tid=8246] ppid=8242 vsize=9625040 CPUtime=1708.05 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2865 0 1 0 170774 31 0 0 20 0 19 0 26949771 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306083454176 140305928797557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8248] ppid=8242 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/8245/task/8248/stat : 8248 (java) S 8242 8245 6916 0 -1 4202560 1638 0 0 0 212 14 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306055907752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8249] ppid=8242 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/8245/task/8249/stat : 8249 (java) S 8242 8245 6916 0 -1 4202560 2637 0 0 0 213 15 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306054855208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8250] ppid=8242 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/8245/task/8250/stat : 8250 (java) S 8242 8245 6916 0 -1 4202560 1644 0 0 0 208 14 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306053802152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8251] ppid=8242 vsize=9625040 CPUtime=2.27 cores=0,2,4,6
/proc/8245/task/8251/stat : 8251 (java) S 8242 8245 6916 0 -1 4202560 2995 0 0 0 212 15 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306052749608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8252] ppid=8242 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/8245/task/8252/stat : 8252 (java) S 8242 8245 6916 0 -1 4202560 2284 0 0 0 204 16 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306051697576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8253] ppid=8242 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/8245/task/8253/stat : 8253 (java) S 8242 8245 6916 0 -1 4202560 3146 0 0 0 216 15 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306050645032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8254] ppid=8242 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/8245/task/8254/stat : 8254 (java) S 8242 8245 6916 0 -1 4202560 2524 0 0 0 210 14 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306049591976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8255] ppid=8242 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/8245/task/8255/stat : 8255 (java) S 8242 8245 6916 0 -1 4202560 2842 0 0 0 214 14 0 0 20 0 19 0 26949772 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140306048539432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8256] ppid=8242 vsize=9625040 CPUtime=4.18 cores=0,2,4,6
/proc/8245/task/8256/stat : 8256 (java) S 8242 8245 6916 0 -1 4202560 966 0 0 0 412 6 0 0 20 0 19 0 26949773 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305437272424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8257] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8257/stat : 8257 (java) S 8242 8245 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305436218744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8258] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8258/stat : 8258 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305435165576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8259] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8259/stat : 8259 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305434114320 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8260] ppid=8242 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8245/task/8260/stat : 8260 (java) S 8242 8245 6916 0 -1 4202560 5239 0 0 0 56 2 0 0 20 0 19 0 26949776 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305433062200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8261] ppid=8242 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8245/task/8261/stat : 8261 (java) S 8242 8245 6916 0 -1 4202560 3697 0 0 0 54 0 0 0 20 0 19 0 26949776 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305432009656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8262] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8262/stat : 8262 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305430956792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8263] ppid=8242 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/8245/task/8263/stat : 8263 (java) S 8242 8245 6916 0 -1 4202560 99 0 0 0 19 22 0 0 20 0 19 0 26949776 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305429904456 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8264] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8264/stat : 8264 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949824 9856040960 98899 33554432000 1073741824 1073778376 140736115338576 140305428849704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1736.02
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/213 8375
/proc/meminfo: memFree=29609552/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9625040 CPUtime=1796.31 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 33958 0 1 0 179484 147 0 0 20 0 19 0 26949771 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2406260 93301 2296 9 0 2396937 0
[pid=8245/tid=8246] ppid=8242 vsize=9625040 CPUtime=1767.51 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2876 0 1 0 176719 32 0 0 20 0 19 0 26949771 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306083454176 140305928797557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8248] ppid=8242 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/8245/task/8248/stat : 8248 (java) S 8242 8245 6916 0 -1 4202560 1642 0 0 0 217 14 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306055907752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8249] ppid=8242 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/8245/task/8249/stat : 8249 (java) S 8242 8245 6916 0 -1 4202560 2637 0 0 0 218 15 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306054855208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8250] ppid=8242 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/8245/task/8250/stat : 8250 (java) S 8242 8245 6916 0 -1 4202560 1646 0 0 0 214 14 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306053802152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8251] ppid=8242 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/8245/task/8251/stat : 8251 (java) S 8242 8245 6916 0 -1 4202560 2995 0 0 0 216 15 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306052749608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8252] ppid=8242 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/8245/task/8252/stat : 8252 (java) S 8242 8245 6916 0 -1 4202560 2296 0 0 0 210 16 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306051697576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8253] ppid=8242 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/8245/task/8253/stat : 8253 (java) S 8242 8245 6916 0 -1 4202560 3155 0 0 0 223 15 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306050645032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8254] ppid=8242 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/8245/task/8254/stat : 8254 (java) S 8242 8245 6916 0 -1 4202560 2529 0 0 0 214 14 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306049591976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8255] ppid=8242 vsize=9625040 CPUtime=2.35 cores=0,2,4,6
/proc/8245/task/8255/stat : 8255 (java) S 8242 8245 6916 0 -1 4202560 2846 0 0 0 221 14 0 0 20 0 19 0 26949772 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140306048539432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8256] ppid=8242 vsize=9625040 CPUtime=4.45 cores=0,2,4,6
/proc/8245/task/8256/stat : 8256 (java) S 8242 8245 6916 0 -1 4202560 1037 0 0 0 438 7 0 0 20 0 19 0 26949773 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305437272424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8257] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8257/stat : 8257 (java) S 8242 8245 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305436218744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8258] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8258/stat : 8258 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305435165576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8259] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8259/stat : 8259 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305434114320 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8260] ppid=8242 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8245/task/8260/stat : 8260 (java) S 8242 8245 6916 0 -1 4202560 5239 0 0 0 56 2 0 0 20 0 19 0 26949776 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305433062200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8261] ppid=8242 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8245/task/8261/stat : 8261 (java) S 8242 8245 6916 0 -1 4202560 3697 0 0 0 54 0 0 0 20 0 19 0 26949776 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305432009656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8262] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8262/stat : 8262 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305430956792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8263] ppid=8242 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/8245/task/8263/stat : 8263 (java) S 8242 8245 6916 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 26949776 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305429904456 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8264] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8264/stat : 8264 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949824 9856040960 93301 33554432000 1073741824 1073778376 140736115338576 140305428849704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786 s]
/proc/loadavg: 2.13 2.19 2.18 3/213 8375
/proc/meminfo: memFree=29609516/32872528 swapFree=1497824/1644992
[pid=8245] ppid=8242 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/8245/stat : 8245 (java) S 8242 8245 6916 0 -1 4202496 33966 0 1 0 179856 147 0 0 20 0 19 0 26949771 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140736115329712 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8245/statm: 2406260 93307 2296 9 0 2396937 0
[pid=8245/tid=8246] ppid=8242 vsize=9625040 CPUtime=1771.19 cores=0,2,4,6
/proc/8245/task/8246/stat : 8246 (java) R 8242 8245 6916 0 -1 4202560 2877 0 1 0 177087 32 0 0 20 0 19 0 26949771 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306083454176 140305928822784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8248] ppid=8242 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/8245/task/8248/stat : 8248 (java) S 8242 8245 6916 0 -1 4202560 1642 0 0 0 217 14 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306055907752 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8249] ppid=8242 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/8245/task/8249/stat : 8249 (java) S 8242 8245 6916 0 -1 4202560 2637 0 0 0 218 15 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306054855208 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8250] ppid=8242 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/8245/task/8250/stat : 8250 (java) S 8242 8245 6916 0 -1 4202560 1646 0 0 0 214 14 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306053802152 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8251] ppid=8242 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/8245/task/8251/stat : 8251 (java) S 8242 8245 6916 0 -1 4202560 2995 0 0 0 216 15 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306052749608 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8252] ppid=8242 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/8245/task/8252/stat : 8252 (java) S 8242 8245 6916 0 -1 4202560 2297 0 0 0 210 16 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306051697576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8253] ppid=8242 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/8245/task/8253/stat : 8253 (java) S 8242 8245 6916 0 -1 4202560 3155 0 0 0 223 15 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306050645032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8245/tid=8254] ppid=8242 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/8245/task/8254/stat : 8254 (java) S 8242 8245 6916 0 -1 4202560 2529 0 0 0 214 14 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306049591976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8255] ppid=8242 vsize=9625040 CPUtime=2.36 cores=0,2,4,6
/proc/8245/task/8255/stat : 8255 (java) S 8242 8245 6916 0 -1 4202560 2852 0 0 0 222 14 0 0 20 0 19 0 26949772 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140306048539432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8256] ppid=8242 vsize=9625040 CPUtime=4.45 cores=0,2,4,6
/proc/8245/task/8256/stat : 8256 (java) S 8242 8245 6916 0 -1 4202560 1037 0 0 0 438 7 0 0 20 0 19 0 26949773 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305437272424 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8257] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8257/stat : 8257 (java) S 8242 8245 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305436218744 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8258] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8258/stat : 8258 (java) S 8242 8245 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 26949774 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305435165576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8259] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8259/stat : 8259 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305434114320 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8260] ppid=8242 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8245/task/8260/stat : 8260 (java) S 8242 8245 6916 0 -1 4202560 5239 0 0 0 56 2 0 0 20 0 19 0 26949776 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305433062200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8245/tid=8261] ppid=8242 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8245/task/8261/stat : 8261 (java) S 8242 8245 6916 0 -1 4202560 3697 0 0 0 54 0 0 0 20 0 19 0 26949776 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305432009656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8262] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8262/stat : 8262 (java) S 8242 8245 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26949776 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305430956792 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8245/tid=8263] ppid=8242 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/8245/task/8263/stat : 8263 (java) S 8242 8245 6916 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 26949776 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305429904456 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8245/tid=8264] ppid=8242 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8245/task/8264/stat : 8264 (java) S 8242 8245 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26949824 9856040960 93307 33554432000 1073741824 1073778376 140736115338576 140305428849704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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 8245 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8245 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=128251
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=951703
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.06
CPU time (s): 1800.03
CPU user time (s): 1798.56
CPU system time (s): 1.47
CPU usage (%): 100.782
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 1.9517
maximum resident set size= 605232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34003
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49942
involuntary context switches= 43947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.67353 second user time and 13.393 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 13:23:49
IDJOB=4103720
IDBENCH=2442
IDSOLVER=2546
FILE ID=node124/4103720-1466249029
RUNJOBID= node124-1466241833-6932
PBS_JOBID= 19918215
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103720-1466249029/watcher-4103720-1466249029 -o /tmp/evaluation-result-4103720-1466249029/solver-4103720-1466249029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103720-1466249029.opb

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

MD5SUM BENCH= 89b57889d16cd406631a12aac7aefa29
RANDOM SEED=237539303

node124.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.791
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.58
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.791
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.791
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.791
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.791
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.55
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.791
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.791
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.54
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.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29517080 kB
Buffers:          131780 kB
Cached:           180820 kB
SwapCached:         3080 kB
Active:           702976 kB
Inactive:         213456 kB
Active(anon):     603448 kB
Inactive(anon):     2880 kB
Active(file):      99528 kB
Inactive(file):   210576 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:             17296 kB
Writeback:            16 kB
AnonPages:       2245372 kB
Mapped:            16932 kB
Shmem:                 0 kB
Slab:             625400 kB
SReclaimable:      68936 kB
SUnreclaim:       556464 kB
KernelStack:        1680 kB
PageTables:         8400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2719244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    722944 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= 71724 MiB
End job on node124 at 2016-06-18 13:53:36