Trace number 3687926

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)9441250 1800.6 907.248

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version 2.3.2.v20120418
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		501472288
0.00/0.10	c Max memory 		7480803328
0.00/0.10	c Total memory 		504102912
0.00/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3687926-1337874832.opb
0.09/0.12	c reading problem ... 
1.10/0.58	c ... done. Wall clock time 0.451s.
1.10/0.58	c declared #vars     7812
1.41/0.64	c #constraints  318
1.41/0.64	c constraints type 
1.41/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 318
1.41/0.64	c 318 constraints processed.
1.41/0.64	c constraints type 
1.41/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 318
1.41/0.64	c 318 constraints processed.
1.41/0.64	c objective function length is 7812 literals
2.94/1.08	c  And the winner is solver0
3.22/1.14	c SATISFIABLE
3.22/1.14	c OPTIMIZING...
3.22/1.14	c Got one! Elapsed wall clock time (in seconds):1.01
3.22/1.14	o 13475436
9.90/4.21	c cleaning 2773 clauses out of 5568 with flag 5000/5568
20.20/9.26	c cleaning 4398 clauses out of 8795 with flag 11000/11568
30.92/14.62	c cleaning 5699 clauses out of 11397 with flag 18000/18568
37.45/17.91	c cleaning 6835 clauses out of 13698 with flag 26000/26568
45.04/21.71	c cleaning 7917 clauses out of 15863 with flag 35000/35568
53.37/25.99	c cleaning 8956 clauses out of 17946 with flag 45000/45568
62.51/30.51	c cleaning 9947 clauses out of 19991 with flag 56001/56569
72.21/35.47	c cleaning 11001 clauses out of 22044 with flag 68001/68569
78.47/38.64	c  And the winner is solver1
78.60/38.84	c Got one! Elapsed wall clock time (in seconds):38.717
78.60/38.84	o 13460340
84.72/41.90	c cleaning 12076 clauses out of 24178 with flag 5001/81704
86.39/42.77	c  And the winner is solver1
86.57/42.86	c Got one! Elapsed wall clock time (in seconds):42.733
86.57/42.86	o 9441250
90.47/44.88	c cleaning 8951 clauses out of 17924 with flag 5000/87526
96.32/47.85	c cleaning 7488 clauses out of 14977 with flag 11004/93530
101.38/50.46	c cleaning 7229 clauses out of 14485 with flag 18000/100526
107.57/53.60	c cleaning 7629 clauses out of 15260 with flag 26004/108530
114.24/57.01	c cleaning 8282 clauses out of 16627 with flag 35000/117526
121.51/60.75	c cleaning 9171 clauses out of 18345 with flag 45000/127526
129.78/64.93	c cleaning 10087 clauses out of 20174 with flag 56000/138526
138.55/69.48	c cleaning 11040 clauses out of 22090 with flag 68003/150529
148.57/74.59	c cleaning 11996 clauses out of 24047 with flag 81000/163526
159.00/79.87	c cleaning 13016 clauses out of 26051 with flag 95000/177526
170.04/85.41	c cleaning 14014 clauses out of 28038 with flag 110003/192529
181.97/91.52	c cleaning 15005 clauses out of 30021 with flag 126000/208526
195.40/98.30	c cleaning 15947 clauses out of 32016 with flag 143000/225526
208.82/105.15	c cleaning 17027 clauses out of 34069 with flag 161000/243526
223.23/112.43	c cleaning 18018 clauses out of 36043 with flag 180001/262527
237.34/119.68	c cleaning 18926 clauses out of 38024 with flag 200000/282526
254.74/128.45	c cleaning 20044 clauses out of 40101 with flag 221003/303529
270.34/136.31	c cleaning 21008 clauses out of 42054 with flag 243000/325526
287.53/145.05	c cleaning 22008 clauses out of 44046 with flag 266000/348526
307.43/155.19	c cleaning 23003 clauses out of 46038 with flag 290000/372526
326.40/164.76	c cleaning 23973 clauses out of 48035 with flag 315000/397526
344.98/174.15	c cleaning 25018 clauses out of 50066 with flag 341004/423530
364.78/184.15	c cleaning 26008 clauses out of 52046 with flag 368002/450528
386.03/194.93	c cleaning 26968 clauses out of 54036 with flag 396000/478526
410.44/207.21	c cleaning 27938 clauses out of 56068 with flag 425000/507526
434.86/219.51	c cleaning 29004 clauses out of 58130 with flag 455000/537526
462.47/233.46	c cleaning 30046 clauses out of 60126 with flag 486000/568526
487.12/245.93	c cleaning 31036 clauses out of 62081 with flag 518001/600527
512.52/258.73	c cleaning 31963 clauses out of 64044 with flag 551000/633526
539.13/272.12	c cleaning 32991 clauses out of 66081 with flag 585000/667526
566.29/285.82	c cleaning 34031 clauses out of 68090 with flag 620000/702526
594.94/300.32	c cleaning 34999 clauses out of 70061 with flag 656002/738528
622.87/314.49	c cleaning 35973 clauses out of 72060 with flag 693000/775526
654.24/330.21	c cleaning 36957 clauses out of 74087 with flag 731000/813526
684.63/345.52	c cleaning 38042 clauses out of 76130 with flag 770000/852526
717.69/362.22	c cleaning 39034 clauses out of 78088 with flag 810000/892526
755.46/381.23	c cleaning 40016 clauses out of 80055 with flag 851001/933527
791.10/399.14	c cleaning 41002 clauses out of 82042 with flag 893004/975530
825.82/416.51	c cleaning 41982 clauses out of 84039 with flag 936003/1018529
863.39/435.59	c cleaning 42999 clauses out of 86054 with flag 980000/1062526
903.17/455.59	c cleaning 43996 clauses out of 88055 with flag 1025000/1107526
947.13/477.64	c cleaning 45012 clauses out of 90059 with flag 1071000/1153526
991.12/499.71	c cleaning 46014 clauses out of 92048 with flag 1118001/1200527
1031.13/519.95	c cleaning 47003 clauses out of 94033 with flag 1166000/1248526
1076.43/542.66	c cleaning 47987 clauses out of 96030 with flag 1215000/1297526
1119.71/564.31	c cleaning 48973 clauses out of 98043 with flag 1265000/1347526
1164.18/586.64	c cleaning 50004 clauses out of 100070 with flag 1316000/1398526
1209.73/609.48	c cleaning 51023 clauses out of 102066 with flag 1368000/1450526
1255.99/633.04	c cleaning 51962 clauses out of 104043 with flag 1421000/1503526
1300.15/655.22	c cleaning 53020 clauses out of 106082 with flag 1475001/1557527
1352.50/681.69	c cleaning 54003 clauses out of 108061 with flag 1530000/1612526
1409.12/710.04	c cleaning 54996 clauses out of 110058 with flag 1586000/1668526
1461.48/736.39	c cleaning 55989 clauses out of 112065 with flag 1643003/1725529
1508.17/759.80	c cleaning 57016 clauses out of 114073 with flag 1701000/1783526
1553.31/782.79	c cleaning 58004 clauses out of 116059 with flag 1760002/1842528
1607.93/810.23	c cleaning 59013 clauses out of 118053 with flag 1820000/1902526
1665.99/839.49	c cleaning 60015 clauses out of 120040 with flag 1881000/1963526
1719.79/866.52	c cleaning 60985 clauses out of 122028 with flag 1943003/2025529
1770.54/892.22	c cleaning 61997 clauses out of 124040 with flag 2006000/2088526
1800.04/907.21	c starts		: 16
1800.04/907.21	c conflicts		: 4784
1800.04/907.21	c decisions		: 415142
1800.04/907.21	c propagations		: 1388799
1800.04/907.21	c inspects		: 237081056
1800.04/907.21	c shortcuts		: 0
1800.04/907.21	c learnt literals	: 0
1800.04/907.21	c learnt binary clauses	: 0
1800.04/907.21	c learnt ternary clauses	: 0
1800.04/907.21	c learnt constraints	: 4783
1800.04/907.21	c ignored constraints	: 0
1800.04/907.21	c root simplifications	: 0
1800.04/907.21	c removed literals (reason simplification)	: 0
1800.04/907.21	c reason swapping (by a shorter reason)	: 0
1800.04/907.21	c Calls to reduceDB	: 0
1800.04/907.21	c number of reductions to clauses (during analyze)	: 0
1800.04/907.21	c number of learned constraints concerned by reduction	: 0
1800.04/907.21	c number of learning phase by resolution	: 0
1800.04/907.21	c number of learning phase by cutting planes	: 0
1800.04/907.21	c speed (assignments/second)	: 1532.814595301558
1800.04/907.21	c non guided choices	0
1800.04/907.21	c learnt constraints type 
1800.04/907.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4783
1800.04/907.21	c constraints type 
1800.04/907.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 319
1800.04/907.21	c 319 constraints processed.
1800.04/907.21	c constraints type 
1800.04/907.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 319
1800.04/907.21	c 319 constraints processed.
1800.04/907.21	s SATISFIABLE
1800.04/907.22	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 
1800.04/907.23	c objective function=9441250
1800.04/907.23	c Total wall clock time (in seconds): 907.107

Verifier Data

OK	9441250

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687926-1337874832/watcher-3687926-1337874832 -o /tmp/evaluation-result-3687926-1337874832/solver-3687926-1337874832 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687926-1337874832.opb 

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: 3.68 3.79 3.62 4/199 27363
/proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27363/stat : 27363 (java) R 27361 27363 26250 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253608009 9515008 184 33554432000 1073741824 1073778376 140735918132416 140735918123448 215143315687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27363/statm: 2323 185 142 9 0 71 0

[startup+0.103125 s]
/proc/loadavg: 3.68 3.79 3.62 4/199 27363
/proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 4267 0 1 0 8 1 0 0 20 0 18 0 253608009 9787813888 5462 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2389603 5462 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.200237 s]
/proc/loadavg: 3.68 3.79 3.62 4/199 27363
/proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 5044 0 1 0 27 1 0 0 20 0 18 0 253608009 9787813888 6911 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2389603 6911 2204 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558412

[startup+0.300209 s]
/proc/loadavg: 3.68 3.79 3.62 4/199 27363
/proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9558412 CPUtime=0.49 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 9625 0 1 0 47 2 0 0 20 0 18 0 253608009 9787813888 12073 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2389603 12074 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700215 s]
/proc/loadavg: 3.68 3.79 3.62 4/199 27363
/proc/meminfo: memFree=27334852/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9824668 CPUtime=1.81 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 19438 0 1 0 176 5 0 0 20 0 22 0 253608009 10060460032 24868 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2456167 24868 2253 9 0 2446860 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 9824668

[startup+1.50075 s]
/proc/loadavg: 3.68 3.79 3.62 4/218 27385
/proc/meminfo: memFree=27202124/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9824668 CPUtime=4.35 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 22032 0 1 0 425 10 0 0 20 0 22 0 253608009 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2456167 51295 2273 9 0 2446860 0
[pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2473 0 1 0 55 2 0 0 20 0 22 0 253608010 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253608012 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9897 0 0 0 96 3 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 8191 0 0 0 101 2 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27385] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27385/stat : 27385 (java) S 27361 27363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253608077 10060460032 51295 33554432000 1073741824 1073778376 140733229280736 140207645972136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 9824668

[startup+3.10083 s]
/proc/loadavg: 3.63 3.77 3.61 4/221 27388
/proc/meminfo: memFree=27137644/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9824668 CPUtime=7.66 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 22420 0 1 0 753 13 0 0 20 0 22 0 253608009 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2456167 57255 2274 9 0 2446860 0
[pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2473 0 1 0 55 2 0 0 20 0 22 0 253608010 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 97 0 0 0 1 1 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608011 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 253608012 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9897 0 0 0 96 3 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 8208 0 0 0 106 2 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27385] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27385/stat : 27385 (java) S 27361 27363 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253608077 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207645972136 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27386] ppid=27361 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/27363/task/27386/stat : 27386 (java) R 27361 27363 26250 0 -1 4202560 5 0 0 0 188 0 0 0 20 0 22 0 253608124 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207648074000 140208151268345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27387] ppid=27361 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/27363/task/27387/stat : 27387 (java) R 27361 27363 26250 0 -1 4202560 24 0 0 0 188 0 0 0 20 0 22 0 253608124 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207649128504 140208151284434 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 57255 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 9824668

[startup+6.30079 s]
/proc/loadavg: 3.63 3.77 3.61 5/221 27388
/proc/meminfo: memFree=26914108/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9824668 CPUtime=14.32 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 26370 0 1 0 1413 19 0 0 20 0 22 0 253608009 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2456167 84826 2286 9 0 2446860 0
[pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.57 cores=0,2,4,6
/proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2473 0 1 0 55 2 0 0 20 0 22 0 253608010 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 104 0 0 0 3 0 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 107 0 0 0 3 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 90 0 0 0 3 0 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 101 0 0 0 2 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 22 0 253608011 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 101 0 0 0 9 0 0 0 20 0 22 0 253608012 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 104 3 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12032 0 0 0 127 3 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 84826 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=754.95 cores=0,2,4,6
/proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 798 0 0 0 75478 17 0 0 20 0 22 0 253612297 10060460032 365229 33554432000 1073741824 1073778376 140733229280736 140207648074848 140208151268358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=754.95 cores=0,2,4,6
/proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1931 0 0 0 75474 21 0 0 20 0 22 0 253612297 10060460032 365229 33554432000 1073741824 1073778376 140733229280736 140207649128448 140208151398859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 365229 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1631.59
Current children cumulated vsize (KiB) 9824668

[startup+882.307 s]
/proc/loadavg: 3.80 3.93 3.81 5/221 27485
/proc/meminfo: memFree=27330560/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9824668 CPUtime=1750.58 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 40214 0 1 0 174859 199 0 0 20 0 22 0 253608009 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2456167 391091 2287 9 0 2446860 0
[pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2509 0 1 0 62 3 0 0 20 0 22 0 253608010 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=2.04 cores=0,2,4,6
/proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 1327 0 0 0 188 16 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=2.2 cores=0,2,4,6
/proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 1378 0 0 0 201 19 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 896 0 0 0 197 18 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 1177 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=2 cores=0,2,4,6
/proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 929 0 0 0 185 15 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=2.13 cores=0,2,4,6
/proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 1208 0 0 0 198 15 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 1260 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=1.9 cores=0,2,4,6
/proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 747 0 0 0 178 12 0 0 20 0 22 0 253608011 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=22.97 cores=0,2,4,6
/proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 1799 0 0 0 2278 19 0 0 20 0 22 0 253608012 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 115 3 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12577 0 0 0 182 3 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 253608015 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=813.12 cores=0,2,4,6
/proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 799 0 0 0 81293 19 0 0 20 0 22 0 253612297 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207648074848 140208151296072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=813.12 cores=0,2,4,6
/proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1938 0 0 0 81290 22 0 0 20 0 22 0 253612297 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207649128336 140208151284434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 391091 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1750.58
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.201 s]
/proc/loadavg: 3.80 3.92 3.81 5/221 27485
/proc/meminfo: memFree=27165048/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 40420 0 1 0 179794 210 0 0 20 0 22 0 253608009 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2456167 409064 2287 9 0 2446860 0
[pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2510 0 1 0 62 3 0 0 20 0 22 0 253608010 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 1334 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 1400 0 0 0 210 20 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=2.19 cores=0,2,4,6
/proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 906 0 0 0 200 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6
/proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 1201 0 0 0 197 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=2.06 cores=0,2,4,6
/proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 951 0 0 0 190 16 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=2.24 cores=0,2,4,6
/proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 1233 0 0 0 207 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6
/proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 1287 0 0 0 198 18 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=1.96 cores=0,2,4,6
/proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 768 0 0 0 183 13 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=23.57 cores=0,2,4,6
/proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 1840 0 0 0 2338 19 0 0 20 0 22 0 253608012 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 115 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12577 0 0 0 182 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6
/proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 800 0 0 0 83708 19 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207648075648 140208151296319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6
/proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1941 0 0 0 83705 22 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207649127184 140208151284751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668

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

Solver just ended. Dumping a history of the last processes samples

[startup+907.201 s]
/proc/loadavg: 3.80 3.92 3.81 5/221 27485
/proc/meminfo: memFree=27165048/32873844 swapFree=7364/7364
[pid=27363] ppid=27361 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6
/proc/27363/stat : 27363 (java) S 27361 27363 26250 0 -1 4202496 40420 0 1 0 179794 210 0 0 20 0 22 0 253608009 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140733229271872 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27363/statm: 2456167 409064 2287 9 0 2446860 0
[pid=27363/tid=27365] ppid=27361 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/27363/task/27365/stat : 27365 (java) S 27361 27363 26250 0 -1 4202560 2510 0 1 0 62 3 0 0 20 0 22 0 253608010 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208304407544 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27366] ppid=27361 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/27363/task/27366/stat : 27366 (java) S 27361 27363 26250 0 -1 4202560 1334 0 0 0 191 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208276859560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27367] ppid=27361 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/27363/task/27367/stat : 27367 (java) S 27361 27363 26250 0 -1 4202560 1400 0 0 0 210 20 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208275807016 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27368] ppid=27361 vsize=9824668 CPUtime=2.19 cores=0,2,4,6
/proc/27363/task/27368/stat : 27368 (java) S 27361 27363 26250 0 -1 4202560 906 0 0 0 200 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208274754472 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27369] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6
/proc/27363/task/27369/stat : 27369 (java) S 27361 27363 26250 0 -1 4202560 1201 0 0 0 197 19 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208273701928 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27370] ppid=27361 vsize=9824668 CPUtime=2.06 cores=0,2,4,6
/proc/27363/task/27370/stat : 27370 (java) S 27361 27363 26250 0 -1 4202560 951 0 0 0 190 16 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208272648360 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27371] ppid=27361 vsize=9824668 CPUtime=2.24 cores=0,2,4,6
/proc/27363/task/27371/stat : 27371 (java) S 27361 27363 26250 0 -1 4202560 1233 0 0 0 207 17 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208271595816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27372] ppid=27361 vsize=9824668 CPUtime=2.16 cores=0,2,4,6
/proc/27363/task/27372/stat : 27372 (java) S 27361 27363 26250 0 -1 4202560 1287 0 0 0 198 18 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208270543272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27373] ppid=27361 vsize=9824668 CPUtime=1.96 cores=0,2,4,6
/proc/27363/task/27373/stat : 27373 (java) S 27361 27363 26250 0 -1 4202560 768 0 0 0 183 13 0 0 20 0 22 0 253608011 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140208269490728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27374] ppid=27361 vsize=9824668 CPUtime=23.57 cores=0,2,4,6
/proc/27363/task/27374/stat : 27374 (java) S 27361 27363 26250 0 -1 4202560 1840 0 0 0 2338 19 0 0 20 0 22 0 253608012 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207657552488 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27375] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27375/stat : 27375 (java) S 27361 27363 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207656498808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27376] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27376/stat : 27376 (java) S 27361 27363 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253608013 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207655446152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27377] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27377/stat : 27377 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207654394896 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27363/tid=27378] ppid=27361 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/27363/task/27378/stat : 27378 (java) S 27361 27363 26250 0 -1 4202560 9904 0 0 0 115 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207653341240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27379] ppid=27361 vsize=9824668 CPUtime=1.85 cores=0,2,4,6
/proc/27363/task/27379/stat : 27379 (java) S 27361 27363 26250 0 -1 4202560 12577 0 0 0 182 3 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207652288696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27380] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27380/stat : 27380 (java) S 27361 27363 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207651236344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27381] ppid=27361 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/27363/task/27381/stat : 27381 (java) S 27361 27363 26250 0 -1 4202560 53 0 0 0 16 18 0 0 20 0 22 0 253608015 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207650184008 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27363/tid=27388] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27388/stat : 27388 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253608126 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207647024168 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27392] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6
/proc/27363/task/27392/stat : 27392 (java) R 27361 27363 26250 0 -1 4202560 800 0 0 0 83708 19 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207648075648 140208151296319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27363/tid=27393] ppid=27361 vsize=9824668 CPUtime=837.27 cores=0,2,4,6
/proc/27363/task/27393/stat : 27393 (java) R 27361 27363 26250 0 -1 4202560 1941 0 0 0 83705 22 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207649127184 140208151284751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27363/tid=27394] ppid=27361 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27363/task/27394/stat : 27394 (java) S 27361 27363 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253612297 10060460032 409064 33554432000 1073741824 1073778376 140733229280736 140207645971240 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 907.248
CPU time (s): 1800.6
CPU user time (s): 1798.05
CPU system time (s): 2.55161
CPU usage (%): 198.468
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.05
system time used= 2.55161
maximum resident set size= 1636376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40452
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28611
involuntary context switches= 38597

runsolver used 3.67144 second user time and 7.95379 second system time

The end

Launcher Data

Begin job on node133 at 2012-05-24 17:53:52
IDJOB=3687926
IDBENCH=2297
IDSOLVER=2268
FILE ID=node133/3687926-1337874832
RUNJOBID= node133-1337871880-26266
PBS_JOBID= 14620071
Free space on /tmp= 71620 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687926-1337874832/watcher-3687926-1337874832 -o /tmp/evaluation-result-3687926-1337874832/solver-3687926-1337874832 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687926-1337874832.opb

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

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=1452361849

node133.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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
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.540
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	: 5331.92
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.540
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	: 5331.92
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.540
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	: 5331.91
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.540
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	: 5331.91
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.540
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	: 5331.90
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.540
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	: 5331.91
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.540
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27335380 kB
Buffers:          211360 kB
Cached:          2377540 kB
SwapCached:            0 kB
Active:          2601116 kB
Inactive:        2166924 kB
Active(anon):    2181764 kB
Inactive(anon):        0 kB
Active(file):     419352 kB
Inactive(file):  2166924 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       2186252 kB
Mapped:            22600 kB
Shmem:               212 kB
Slab:             628720 kB
SReclaimable:      70988 kB
SUnreclaim:       557732 kB
KernelStack:        1640 kB
PageTables:         8504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2362752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2111488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node133 at 2012-05-24 18:09:01