Trace number 4085345

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)2622 1800.99 1776.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085345-1465234237.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.70/0.45	c ... done. Wall clock time 0.338s.
0.70/0.45	c declared #vars     8405
0.70/0.45	c #constraints  11368
0.70/0.45	c constraints type 
0.70/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 700
0.70/0.45	c org.sat4j.specs.Constr$1 => 1
0.70/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 748
0.70/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9918
0.70/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.70/0.45	c 11368 constraints processed.
0.70/0.45	c objective function length is 6892 literals
1.98/1.24	c cleaning 2502 clauses out of 5003 with flag 10163/5003
2.68/1.83	c cleaning 4245 clauses out of 8498 with flag 23173/11000
3.65/2.74	c cleaning 5619 clauses out of 11253 with flag 40037/18000
4.66/3.76	c cleaning 6809 clauses out of 13634 with flag 59602/26000
5.79/4.87	c cleaning 7906 clauses out of 15825 with flag 79786/35000
7.18/6.27	c cleaning 8951 clauses out of 17921 with flag 103844/45002
8.79/7.86	c cleaning 9976 clauses out of 19968 with flag 129914/56000
10.79/9.79	c cleaning 10989 clauses out of 21994 with flag 158222/68002
12.99/11.95	c cleaning 11993 clauses out of 24005 with flag 188373/81002
15.40/14.35	c cleaning 12993 clauses out of 26010 with flag 220201/95000
17.02/15.80	c SATISFIABLE
17.02/15.80	c OPTIMIZING...
17.02/15.80	c Got one! Elapsed wall clock time (in seconds):15.689
17.02/15.80	o 2622
18.10/16.67	c cleaning 13601 clauses out of 27204 with flag 11243/109187
19.00/17.57	c cleaning 9800 clauses out of 19602 with flag 23548/115186
19.90/18.40	c cleaning 8402 clauses out of 16806 with flag 37796/122190
20.69/19.23	c cleaning 8201 clauses out of 16403 with flag 54192/130189
21.60/20.18	c cleaning 8597 clauses out of 17201 with flag 72388/139188
22.82/21.28	c cleaning 9301 clauses out of 18603 with flag 92592/149187
23.92/22.33	c cleaning 10148 clauses out of 20301 with flag 114898/160186
25.22/23.62	c cleaning 11072 clauses out of 22154 with flag 139317/172187
26.62/25.05	c cleaning 12035 clauses out of 24081 with flag 165434/185186
28.45/26.73	c cleaning 13018 clauses out of 26046 with flag 193434/199186
30.15/28.44	c cleaning 14013 clauses out of 28028 with flag 223434/214186
32.15/30.43	c cleaning 15009 clauses out of 30021 with flag 255446/230192
34.69/32.87	c cleaning 15999 clauses out of 32006 with flag 289434/247186
37.39/35.52	c cleaning 16996 clauses out of 34008 with flag 325436/265187
40.40/38.30	c cleaning 18001 clauses out of 36014 with flag 363440/284189
43.20/41.17	c cleaning 19003 clauses out of 38011 with flag 403436/304187
46.11/44.07	c cleaning 20003 clauses out of 40009 with flag 445438/325188
49.34/47.13	c cleaning 20998 clauses out of 42005 with flag 489761/347187
54.41/52.10	c cleaning 21995 clauses out of 44009 with flag 542934/370189
60.18/57.72	c cleaning 22994 clauses out of 46014 with flag 598132/394189
66.73/64.16	c cleaning 24003 clauses out of 48019 with flag 656316/419188
73.24/70.54	c cleaning 24998 clauses out of 50015 with flag 715988/445187
79.86/77.09	c cleaning 25997 clauses out of 52017 with flag 777643/472187
87.19/84.36	c cleaning 26998 clauses out of 54019 with flag 842270/500186
95.87/92.83	c cleaning 28001 clauses out of 56023 with flag 909259/529188
104.77/101.63	c cleaning 29004 clauses out of 58028 with flag 978547/559194
114.31/111.02	c cleaning 30002 clauses out of 60019 with flag 1051076/590189
124.18/120.85	c cleaning 30999 clauses out of 62015 with flag 1126253/622187
134.31/130.83	c cleaning 31995 clauses out of 64017 with flag 1202653/655188
146.69/143.03	c cleaning 33002 clauses out of 66023 with flag 1281396/689189
158.47/154.61	c cleaning 34000 clauses out of 68018 with flag 1362414/724186
170.44/166.45	c cleaning 34999 clauses out of 70021 with flag 1445365/760189
180.59/176.44	c cleaning 35999 clauses out of 72021 with flag 1530839/797188
192.52/188.29	c cleaning 36999 clauses out of 74022 with flag 1617697/835188
205.71/201.13	c cleaning 38002 clauses out of 76021 with flag 1707357/874186
220.24/215.55	c cleaning 39005 clauses out of 78021 with flag 1799374/914188
234.79/229.84	c cleaning 40003 clauses out of 80017 with flag 1894700/955189
250.28/245.19	c cleaning 41002 clauses out of 82020 with flag 1991376/997195
266.56/261.22	c cleaning 41991 clauses out of 84010 with flag 2090695/1040187
281.59/276.02	c cleaning 42995 clauses out of 86018 with flag 2191315/1084186
298.98/293.11	c cleaning 44002 clauses out of 88024 with flag 2294495/1129187
315.70/309.62	c cleaning 45002 clauses out of 90025 with flag 2399680/1175190
334.21/327.88	c cleaning 45999 clauses out of 92023 with flag 2506824/1222190
352.52/345.80	c cleaning 47000 clauses out of 94020 with flag 2616613/1270186
373.59/366.67	c cleaning 48000 clauses out of 96021 with flag 2730088/1319187
391.24/384.02	c cleaning 49000 clauses out of 98023 with flag 2844559/1369189
416.04/408.59	c cleaning 49998 clauses out of 100022 with flag 2962699/1420188
443.14/435.38	c cleaning 51000 clauses out of 102022 with flag 3083495/1472186
468.78/460.65	c cleaning 51999 clauses out of 104024 with flag 3204996/1525188
497.87/489.33	c cleaning 53003 clauses out of 106025 with flag 3329692/1579188
528.36/519.59	c cleaning 53995 clauses out of 108020 with flag 3457404/1634186
555.77/546.54	c cleaning 55006 clauses out of 110031 with flag 3587949/1690192
583.83/574.30	c cleaning 55996 clauses out of 112019 with flag 3719688/1747186
615.89/605.80	c cleaning 57000 clauses out of 114023 with flag 3855524/1805186
643.90/633.48	c cleaning 57997 clauses out of 116025 with flag 3991488/1864188
686.42/675.64	c cleaning 59006 clauses out of 118034 with flag 4130870/1924194
721.34/710.18	c cleaning 60000 clauses out of 120027 with flag 4273952/1985193
750.76/739.14	c cleaning 61001 clauses out of 122022 with flag 4418845/2047188
783.09/771.17	c cleaning 61999 clauses out of 124021 with flag 4564284/2110188
819.15/806.81	c cleaning 63005 clauses out of 126025 with flag 4711616/2174191
850.76/838.05	c cleaning 63999 clauses out of 128015 with flag 4860418/2239186
885.17/872.09	c cleaning 64993 clauses out of 130016 with flag 5012316/2305186
923.65/910.12	c cleaning 65996 clauses out of 132024 with flag 5167966/2372187
961.44/947.56	c cleaning 67001 clauses out of 134032 with flag 5324707/2440191
1003.40/989.02	c cleaning 67997 clauses out of 136026 with flag 5485879/2509186
1041.59/1026.77	c cleaning 68999 clauses out of 138029 with flag 5647599/2579186
1089.05/1073.78	c cleaning 70001 clauses out of 140030 with flag 5820411/2650186
1155.79/1139.86	c cleaning 71006 clauses out of 142029 with flag 5996372/2722186
1216.09/1199.52	c cleaning 72001 clauses out of 144024 with flag 6185838/2795187
1273.80/1256.66	c cleaning 73002 clauses out of 146023 with flag 6372319/2869187
1337.78/1319.86	c cleaning 74002 clauses out of 148026 with flag 6560058/2944192
1409.28/1390.64	c cleaning 75001 clauses out of 150023 with flag 6743975/3020191
1471.44/1452.07	c cleaning 75999 clauses out of 152017 with flag 6940181/3097186
1536.82/1516.72	c cleaning 77000 clauses out of 154020 with flag 7135485/3175188
1604.30/1583.41	c cleaning 77991 clauses out of 156018 with flag 7336680/3254186
1673.64/1652.02	c cleaning 79003 clauses out of 158028 with flag 7545168/3334187
1740.33/1717.94	c cleaning 80004 clauses out of 160025 with flag 7753098/3415187
1800.05/1776.80	c starts		: 41
1800.05/1776.80	c conflicts		: 3492030
1800.05/1776.80	c decisions		: 4931750
1800.05/1776.80	c propagations		: 241937007
1800.05/1776.80	c inspects		: 26596024682
1800.05/1776.80	c shortcuts		: 0
1800.05/1776.80	c learnt literals	: 0
1800.05/1776.80	c learnt binary clauses	: 0
1800.05/1776.80	c learnt ternary clauses	: 0
1800.05/1776.80	c learnt constraints	: 3492030
1800.05/1776.80	c ignored constraints	: 0
1800.05/1776.80	c root simplifications	: 0
1800.05/1776.80	c removed literals (reason simplification)	: 0
1800.05/1776.80	c reason swapping (by a shorter reason)	: 0
1800.05/1776.80	c Calls to reduceDB	: 87
1800.05/1776.80	c Number of update (reduction) of LBD	: 571228
1800.05/1776.80	c Imported unit clauses	: 0
1800.05/1776.80	c number of reductions to clauses (during analyze)	: 0
1800.05/1776.80	c number of learned constraints concerned by reduction	: 0
1800.05/1776.80	c number of learning phase by resolution	: 0
1800.05/1776.80	c number of learning phase by cutting planes	: 0
1800.05/1776.80	c speed (assignments/second)	: 136202.33957437513
1800.05/1776.80	c non guided choices	9766
1800.05/1776.83	c learnt constraints type 
1800.05/1776.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 156865
1800.05/1776.83	s SATISFIABLE
1800.05/1776.83	c Found 1 solution(s)
1800.05/1776.84	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 
1800.05/1776.85	c objective function=2622
1800.05/1776.85	c Total wall clock time (in seconds): 1776.74

Verifier Data 

OK	2622

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-4085345-1465234237/watcher-4085345-1465234237 -o /tmp/evaluation-result-4085345-1465234237/solver-4085345-1465234237 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-754 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085345-1465234237.opb 

pid=3482
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.21 2.18 2.15 3/195 3485
/proc/meminfo: memFree=27016640/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3485/stat : 3485 (java) D 3482 3485 737 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 105356857 9515008 176 33554432000 1073741824 1073778376 140736367842256 140736367824984 272886481808 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2323 176 133 9 0 71 0

[startup+0.100161 s]
/proc/loadavg: 2.21 2.18 2.15 3/195 3485
/proc/meminfo: memFree=27016640/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 105356857 9787879424 6038 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2389619 6038 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200221 s]
/proc/loadavg: 2.21 2.18 2.15 3/195 3485
/proc/meminfo: memFree=27016640/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 5033 0 1 0 27 1 0 0 20 0 18 0 105356857 9787879424 6901 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2389619 6901 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.21 2.18 2.15 3/195 3485
/proc/meminfo: memFree=27016640/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9558476 CPUtime=0.52 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 7394 0 1 0 50 2 0 0 20 0 18 0 105356857 9787879424 11717 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2389619 11717 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700313 s]
/proc/loadavg: 2.21 2.18 2.15 3/195 3485
/proc/meminfo: memFree=27016640/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 9957 0 1 0 141 4 0 0 20 0 19 0 105356857 9856040960 31022 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2406260 31022 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9625040

[startup+1.50067 s]
/proc/loadavg: 2.21 2.18 2.15 3/214 3504
/proc/meminfo: memFree=26890396/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9625040 CPUtime=2.32 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 10001 0 1 0 227 5 0 0 20 0 19 0 105356857 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2406260 36175 2271 9 0 2396937 0
[pid=3485/tid=3487] ppid=3482 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/3485/task/3487/stat : 3487 (java) R 3482 3485 737 0 -1 4202560 2469 0 1 0 143 3 0 0 20 0 19 0 105356858 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634916123000 140634761524769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3488] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3488/stat : 3488 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634888575400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3489] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3489/stat : 3489 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634887522856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3490] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3490/stat : 3490 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634886469800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3491] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3491/stat : 3491 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634885417256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3492] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3492/stat : 3492 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634884365224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3493] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3493/stat : 3493 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634883312680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3494] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3494/stat : 3494 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634882259624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3495] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3495/stat : 3495 (java) S 3482 3485 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634881207080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3496] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3496/stat : 3496 (java) S 3482 3485 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634268600680 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3497] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3497/stat : 3497 (java) S 3482 3485 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634267547000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3498] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3498/stat : 3498 (java) S 3482 3485 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634266493832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3499] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3499/stat : 3499 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634265442576 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3500] ppid=3482 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/3485/task/3500/stat : 3500 (java) S 3482 3485 737 0 -1 4202560 3782 0 0 0 39 2 0 0 20 0 19 0 105356863 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634264390456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3501] ppid=3482 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/3485/task/3501/stat : 3501 (java) R 3482 3485 737 0 -1 4202560 2473 0 0 0 41 0 0 0 20 0 19 0 105356863 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634263337792 140634920215294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3502] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3502/stat : 3502 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634262285048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3503] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3503/stat : 3503 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634261232712 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3504] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3504/stat : 3504 (java) S 3482 3485 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105356907 9856040960 36175 33554432000 1073741824 1073778376 140736367842256 140634260177960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.19 2.18 2.15 3/214 3504
/proc/meminfo: memFree=26836284/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9625040 CPUtime=4.06 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 10151 0 1 0 399 7 0 0 20 0 19 0 105356857 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2406260 47014 2285 9 0 2396937 0
[pid=3485/tid=3487] ppid=3482 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/3485/task/3487/stat : 3487 (java) R 3482 3485 737 0 -1 4202560 2483 0 1 0 301 4 0 0 20 0 19 0 105356858 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634916121976 140634762239387 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3488] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3488/stat : 3488 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634888575400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3489] ppid=3482 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/3485/task/3489/stat : 3489 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634887522856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3490] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3490/stat : 3490 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634886469800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3491] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3491/stat : 3491 (java) S 3482 3485 737 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634885417256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3492] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3492/stat : 3492 (java) S 3482 3485 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634884365224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3493] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3493/stat : 3493 (java) S 3482 3485 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634883312680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3494] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3494/stat : 3494 (java) S 3482 3485 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634882259624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3495] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3495/stat : 3495 (java) S 3482 3485 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634881207080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3496] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3496/stat : 3496 (java) S 3482 3485 737 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634268600680 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3497] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3497/stat : 3497 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634267547000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3498] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3498/stat : 3498 (java) S 3482 3485 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634266493832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3499] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3499/stat : 3499 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634265442576 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3500] ppid=3482 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/3485/task/3500/stat : 3500 (java) S 3482 3485 737 0 -1 4202560 3782 0 0 0 42 2 0 0 20 0 19 0 105356863 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634264390456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3501] ppid=3482 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/3485/task/3501/stat : 3501 (java) S 3482 3485 737 0 -1 4202560 2475 0 0 0 45 0 0 0 20 0 19 0 105356863 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634263337912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3502] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3502/stat : 3502 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634262285048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3503] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3503/stat : 3503 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634261232712 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3504] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3504/stat : 3504 (java) S 3482 3485 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105356907 9856040960 47014 33554432000 1073741824 1073778376 140736367842256 140634260177960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9625040

[startup+6.30088 s]
/proc/loadavg: 2.19 2.18 2.15 3/214 3504
/proc/meminfo: memFree=26836020/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9625040 CPUtime=7.28 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 10152 0 1 0 721 7 0 0 20 0 19 0 105356857 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2406260 46922 2285 9 0 2396937 0
[pid=3485/tid=3487] ppid=3482 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/3485/task/3487/stat : 3487 (java) R 3482 3485 737 0 -1 4202560 2484 0 1 0 621 4 0 0 20 0 19 0 105356858 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634916114112 140634762325280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3488] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3488/stat : 3488 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634888575400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3489] ppid=3482 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/3485/task/3489/stat : 3489 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634887522856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3490] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3490/stat : 3490 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634886469800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3491] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3491/stat : 3491 (java) S 3482 3485 737 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634885417256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3492] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3492/stat : 3492 (java) S 3482 3485 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634884365224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3493] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3493/stat : 3493 (java) S 3482 3485 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634883312680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3494] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3494/stat : 3494 (java) S 3482 3485 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634882259624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3495] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3495/stat : 3495 (java) S 3482 3485 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105356859 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634881207080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3496] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3496/stat : 3496 (java) S 3482 3485 737 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634268600680 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3497] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3497/stat : 3497 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634267547000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3498] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3498/stat : 3498 (java) S 3482 3485 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634266493832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3499] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3499/stat : 3499 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634265442576 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3500] ppid=3482 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/3485/task/3500/stat : 3500 (java) S 3482 3485 737 0 -1 4202560 3782 0 0 0 45 2 0 0 20 0 19 0 105356863 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634264390456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3501] ppid=3482 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/3485/task/3501/stat : 3501 (java) S 3482 3485 737 0 -1 4202560 2475 0 0 0 45 0 0 0 20 0 19 0 105356863 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634263337912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3502] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3502/stat : 3502 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634262285048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3503] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3503/stat : 3503 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634261232712 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3504] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3504/stat : 3504 (java) S 3482 3485 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105356907 9856040960 46922 33554432000 1073741824 1073778376 140736367842256 140634260177960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9625040


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

[pid=3485/tid=3497] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3497/stat : 3497 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634267547000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3498] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3498/stat : 3498 (java) S 3482 3485 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634266493832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3499] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3499/stat : 3499 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634265442576 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3500] ppid=3482 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/3485/task/3500/stat : 3500 (java) S 3482 3485 737 0 -1 4202560 6890 0 0 0 62 2 0 0 20 0 19 0 105356863 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634264390456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3501] ppid=3482 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/3485/task/3501/stat : 3501 (java) S 3482 3485 737 0 -1 4202560 2815 0 0 0 57 0 0 0 20 0 19 0 105356863 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634263337912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3502] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3502/stat : 3502 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634262285048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3503] ppid=3482 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/3485/task/3503/stat : 3503 (java) S 3482 3485 737 0 -1 4202560 93 0 0 0 26 24 0 0 20 0 19 0 105356863 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634261232712 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3504] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3504/stat : 3504 (java) S 3482 3485 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105356907 9856040960 151644 33554432000 1073741824 1073778376 140736367842256 140634260177960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1623.47
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.09 2.21 2.17 4/213 3608
/proc/meminfo: memFree=29612432/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9625040 CPUtime=1684.19 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 28783 0 1 0 168191 228 0 0 20 0 19 0 105356857 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2406260 179685 2294 9 0 2396937 0
[pid=3485/tid=3487] ppid=3482 vsize=9625040 CPUtime=1647.99 cores=0,2,4,6
/proc/3485/task/3487/stat : 3487 (java) R 3482 3485 737 0 -1 4202560 2815 0 1 0 164767 32 0 0 20 0 19 0 105356858 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634916121856 140634762325285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3488] ppid=3482 vsize=9625040 CPUtime=3.44 cores=0,2,4,6
/proc/3485/task/3488/stat : 3488 (java) S 3482 3485 737 0 -1 4202560 1318 0 0 0 321 23 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634888575400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3489] ppid=3482 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/3485/task/3489/stat : 3489 (java) S 3482 3485 737 0 -1 4202560 1498 0 0 0 336 24 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634887522856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3490] ppid=3482 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/3485/task/3490/stat : 3490 (java) S 3482 3485 737 0 -1 4202560 978 0 0 0 328 25 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634886469800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3491] ppid=3482 vsize=9625040 CPUtime=3.56 cores=0,2,4,6
/proc/3485/task/3491/stat : 3491 (java) S 3482 3485 737 0 -1 4202560 2516 0 0 0 329 27 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634885417256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3492] ppid=3482 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/3485/task/3492/stat : 3492 (java) S 3482 3485 737 0 -1 4202560 1650 0 0 0 329 25 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634884365224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3493] ppid=3482 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/3485/task/3493/stat : 3493 (java) S 3482 3485 737 0 -1 4202560 1165 0 0 0 346 26 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634883312680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3494] ppid=3482 vsize=9625040 CPUtime=3.9 cores=0,2,4,6
/proc/3485/task/3494/stat : 3494 (java) S 3482 3485 737 0 -1 4202560 1817 0 0 0 366 24 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634882259624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3495] ppid=3482 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/3485/task/3495/stat : 3495 (java) S 3482 3485 737 0 -1 4202560 1871 0 0 0 342 23 0 0 20 0 19 0 105356859 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634881207080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3496] ppid=3482 vsize=9625040 CPUtime=6.04 cores=0,2,4,6
/proc/3485/task/3496/stat : 3496 (java) S 3482 3485 737 0 -1 4202560 2091 0 0 0 597 7 0 0 20 0 19 0 105356860 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634268600680 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3497] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3497/stat : 3497 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634267547000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3498] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3498/stat : 3498 (java) S 3482 3485 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634266493832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3499] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3499/stat : 3499 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634265442576 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3500] ppid=3482 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/3485/task/3500/stat : 3500 (java) S 3482 3485 737 0 -1 4202560 6890 0 0 0 62 2 0 0 20 0 19 0 105356863 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634264390456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3501] ppid=3482 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/3485/task/3501/stat : 3501 (java) S 3482 3485 737 0 -1 4202560 2815 0 0 0 57 0 0 0 20 0 19 0 105356863 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634263337912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3502] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3502/stat : 3502 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634262285048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3503] ppid=3482 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/3485/task/3503/stat : 3503 (java) S 3482 3485 737 0 -1 4202560 95 0 0 0 27 26 0 0 20 0 19 0 105356863 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634261232712 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3504] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3504/stat : 3504 (java) S 3482 3485 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105356907 9856040960 179685 33554432000 1073741824 1073778376 140736367842256 140634260177960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1684.19
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.35 2.25 2.18 3/213 3610
/proc/meminfo: memFree=29659628/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9625040 CPUtime=1744.84 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 29254 0 1 0 174248 236 0 0 20 0 19 0 105356857 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2406260 173114 2294 9 0 2396937 0
[pid=3485/tid=3487] ppid=3482 vsize=9625040 CPUtime=1707.44 cores=0,2,4,6
/proc/3485/task/3487/stat : 3487 (java) R 3482 3485 737 0 -1 4202560 2828 0 1 0 170712 32 0 0 20 0 19 0 105356858 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634916121976 140634762348713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3488] ppid=3482 vsize=9625040 CPUtime=3.56 cores=0,2,4,6
/proc/3485/task/3488/stat : 3488 (java) S 3482 3485 737 0 -1 4202560 1400 0 0 0 332 24 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634888575400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3489] ppid=3482 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/3485/task/3489/stat : 3489 (java) S 3482 3485 737 0 -1 4202560 1506 0 0 0 347 24 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634887522856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3490] ppid=3482 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/3485/task/3490/stat : 3490 (java) S 3482 3485 737 0 -1 4202560 988 0 0 0 339 26 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634886469800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3491] ppid=3482 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/3485/task/3491/stat : 3491 (java) S 3482 3485 737 0 -1 4202560 2531 0 0 0 341 27 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634885417256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3492] ppid=3482 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/3485/task/3492/stat : 3492 (java) S 3482 3485 737 0 -1 4202560 1733 0 0 0 338 27 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634884365224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3493] ppid=3482 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/3485/task/3493/stat : 3493 (java) S 3482 3485 737 0 -1 4202560 1181 0 0 0 357 27 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634883312680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3494] ppid=3482 vsize=9625040 CPUtime=4.02 cores=0,2,4,6
/proc/3485/task/3494/stat : 3494 (java) S 3482 3485 737 0 -1 4202560 1897 0 0 0 376 26 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634882259624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3495] ppid=3482 vsize=9625040 CPUtime=3.75 cores=0,2,4,6
/proc/3485/task/3495/stat : 3495 (java) S 3482 3485 737 0 -1 4202560 1883 0 0 0 351 24 0 0 20 0 19 0 105356859 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634881207080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3496] ppid=3482 vsize=9625040 CPUtime=6.3 cores=0,2,4,6
/proc/3485/task/3496/stat : 3496 (java) S 3482 3485 737 0 -1 4202560 2239 0 0 0 623 7 0 0 20 0 19 0 105356860 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634268600680 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3497] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3497/stat : 3497 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634267547000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3498] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3498/stat : 3498 (java) S 3482 3485 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634266493832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3499] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3499/stat : 3499 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634265442576 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3500] ppid=3482 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/3485/task/3500/stat : 3500 (java) S 3482 3485 737 0 -1 4202560 6890 0 0 0 62 2 0 0 20 0 19 0 105356863 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634264390456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3501] ppid=3482 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/3485/task/3501/stat : 3501 (java) S 3482 3485 737 0 -1 4202560 2815 0 0 0 57 0 0 0 20 0 19 0 105356863 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634263337912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3502] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3502/stat : 3502 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634262285048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3503] ppid=3482 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/3485/task/3503/stat : 3503 (java) S 3482 3485 737 0 -1 4202560 99 0 0 0 28 27 0 0 20 0 19 0 105356863 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634261232712 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3504] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3504/stat : 3504 (java) S 3482 3485 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105356907 9856040960 173114 33554432000 1073741824 1073778376 140736367842256 140634260177960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1744.84
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.8 s]
/proc/loadavg: 2.21 2.23 2.18 3/214 3614
/proc/meminfo: memFree=29670164/32872528 swapFree=16252/1391864
[pid=3485] ppid=3482 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/3485/stat : 3485 (java) S 3482 3485 737 0 -1 4202496 31161 0 1 0 179757 248 0 0 20 0 19 0 105356857 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140736367833392 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3485/statm: 2406260 166292 2294 9 0 2396937 0
[pid=3485/tid=3487] ppid=3482 vsize=9625040 CPUtime=1761.42 cores=0,2,4,6
/proc/3485/task/3487/stat : 3487 (java) R 3482 3485 737 0 -1 4202560 2839 0 1 0 176109 33 0 0 20 0 19 0 105356858 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634916121856 140634762186755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3488] ppid=3482 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/3485/task/3488/stat : 3488 (java) S 3482 3485 737 0 -1 4202560 1667 0 0 0 343 25 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634888575400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3489] ppid=3482 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/3485/task/3489/stat : 3489 (java) S 3482 3485 737 0 -1 4202560 1525 0 0 0 359 25 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634887522856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3485/tid=3490] ppid=3482 vsize=9625040 CPUtime=3.79 cores=0,2,4,6
/proc/3485/task/3490/stat : 3490 (java) S 3482 3485 737 0 -1 4202560 1017 0 0 0 352 27 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634886469800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3491] ppid=3482 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/3485/task/3491/stat : 3491 (java) S 3482 3485 737 0 -1 4202560 2763 0 0 0 353 30 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634885417256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3492] ppid=3482 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/3485/task/3492/stat : 3492 (java) S 3482 3485 737 0 -1 4202560 2192 0 0 0 349 28 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634884365224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3493] ppid=3482 vsize=9625040 CPUtime=3.99 cores=0,2,4,6
/proc/3485/task/3493/stat : 3493 (java) S 3482 3485 737 0 -1 4202560 1743 0 0 0 370 29 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634883312680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3494] ppid=3482 vsize=9625040 CPUtime=4.13 cores=0,2,4,6
/proc/3485/task/3494/stat : 3494 (java) S 3482 3485 737 0 -1 4202560 2038 0 0 0 386 27 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634882259624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3495] ppid=3482 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/3485/task/3495/stat : 3495 (java) S 3482 3485 737 0 -1 4202560 1889 0 0 0 358 25 0 0 20 0 19 0 105356859 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634881207080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3496] ppid=3482 vsize=9625040 CPUtime=6.54 cores=0,2,4,6
/proc/3485/task/3496/stat : 3496 (java) S 3482 3485 737 0 -1 4202560 2416 0 0 0 647 7 0 0 20 0 19 0 105356860 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634268600680 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3497] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3497/stat : 3497 (java) S 3482 3485 737 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634267547000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3498] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3498/stat : 3498 (java) S 3482 3485 737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105356860 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634266493832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3499] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3499/stat : 3499 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634265442576 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3500] ppid=3482 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/3485/task/3500/stat : 3500 (java) S 3482 3485 737 0 -1 4202560 6890 0 0 0 62 2 0 0 20 0 19 0 105356863 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634264390456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3485/tid=3501] ppid=3482 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/3485/task/3501/stat : 3501 (java) S 3482 3485 737 0 -1 4202560 2815 0 0 0 57 0 0 0 20 0 19 0 105356863 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634263337912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3502] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3502/stat : 3502 (java) S 3482 3485 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105356863 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634262285048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3485/tid=3503] ppid=3482 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/3485/task/3503/stat : 3503 (java) S 3482 3485 737 0 -1 4202560 103 0 0 0 29 28 0 0 20 0 19 0 105356863 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634261232712 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3485/tid=3504] ppid=3482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/3485/task/3504/stat : 3504 (java) S 3482 3485 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105356907 9856040960 166292 33554432000 1073741824 1073778376 140736367842256 140634260177960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 3485 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1776.86
CPU time (s): 1800.99
CPU user time (s): 1797.98
CPU system time (s): 3.01054
CPU usage (%): 101.358
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 3.01054
maximum resident set size= 877496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31200
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49211
involuntary context switches= 52582

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5514 second user time and 12.993 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-06 19:30:37
IDJOB=4085345
IDBENCH=2233
IDSOLVER=2546
FILE ID=node119/4085345-1465234237
RUNJOBID= node119-1465217315-754
PBS_JOBID= 19843200
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085345-1465234237/watcher-4085345-1465234237 -o /tmp/evaluation-result-4085345-1465234237/solver-4085345-1465234237 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-754 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085345-1465234237.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1211260771

node119.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.410
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	: 5332.82
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.410
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.410
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.410
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.410
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.410
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.410
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.56
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.410
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27016532 kB
Buffers:           26656 kB
Cached:            90968 kB
SwapCached:          832 kB
Active:          3673892 kB
Inactive:          58056 kB
Active(anon):    3615080 kB
Inactive(anon):     1608 kB
Active(file):      58812 kB
Inactive(file):    56448 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:              1268 kB
Writeback:            28 kB
AnonPages:       5044468 kB
Mapped:            15328 kB
Shmem:                 0 kB
Slab:             565976 kB
SReclaimable:       9812 kB
SUnreclaim:       556164 kB
KernelStack:        1616 kB
PageTables:        14168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5621068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4993024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node119 at 2016-06-06 20:00:14