Trace number 3741393

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
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)47 1801.08 905.573

General information on the benchmark

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

Verifier Data

OK	47

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-3741393-1338763629/watcher-3741393-1338763629 -o /tmp/evaluation-result-3741393-1338763629/solver-3741393-1338763629 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741393-1338763629.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.58 3.73 3.71 3/195 8237
/proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8237/stat : 8237 (java6) R 8235 8237 4574 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342488853 9515008 182 33554432000 1073741824 1073778376 140733431872528 140733431855256 273448517301 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8237/statm: 2323 182 140 9 0 71 0

[startup+0.0797061 s]
/proc/loadavg: 3.58 3.73 3.71 3/195 8237
/proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 3879 0 1 0 4 1 0 0 20 0 18 0 342488853 2764726272 5599 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 674982 5600 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928

[startup+0.100257 s]
/proc/loadavg: 3.58 3.73 3.71 3/195 8237
/proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 4563 0 1 0 6 1 0 0 20 0 18 0 342488853 2764726272 6280 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 674982 6283 2040 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928

[startup+0.300222 s]
/proc/loadavg: 3.58 3.73 3.71 3/195 8237
/proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2699928 CPUtime=0.56 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 7482 0 1 0 54 2 0 0 20 0 18 0 342488853 2764726272 11333 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 674982 11333 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928

[startup+0.700242 s]
/proc/loadavg: 3.58 3.73 3.71 3/195 8237
/proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2699928 CPUtime=1.66 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 23450 0 1 0 159 7 0 0 20 0 18 0 342488853 2764726272 58705 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 674982 58705 2239 9 0 665676 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 2699928

[startup+1.50064 s]
/proc/loadavg: 3.58 3.73 3.71 11/213 8255
/proc/meminfo: memFree=26633844/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2966184 CPUtime=3.81 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 25330 0 1 0 369 12 0 0 20 0 22 0 342488853 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 741546 107929 2266 9 0 732240 0
[pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2965 0 1 0 100 7 0 0 20 0 22 0 342488854 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399814227096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=0.96 cores=0,2,4,6
/proc/8237/task/8252/stat : 8252 (java) R 8235 8237 4574 0 -1 4202560 11358 0 0 0 93 3 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399186237888 140399818319760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=0.94 cores=0,2,4,6
/proc/8237/task/8253/stat : 8253 (java) R 8235 8237 4574 0 -1 4202560 9664 0 0 0 92 2 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399185198008 140399821200617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 2966184

[startup+3.10086 s]
/proc/loadavg: 3.69 3.75 3.71 5/217 8259
/proc/meminfo: memFree=26632828/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2966184 CPUtime=7.54 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 25640 0 1 0 736 18 0 0 20 0 22 0 342488853 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 741546 117716 2270 9 0 732240 0
[pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2965 0 1 0 100 7 0 0 20 0 22 0 342488854 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399814227096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.15 cores=0,2,4,6
/proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 11558 0 0 0 112 3 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.18 cores=0,2,4,6
/proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9690 0 0 0 116 2 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8256] ppid=8235 vsize=2966184 CPUtime=1.88 cores=0,2,4,6
/proc/8237/task/8256/stat : 8256 (java) R 8235 8237 4574 0 -1 4202560 22 0 0 0 188 0 0 0 20 0 22 0 342488966 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399182037576 140399680429532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8257] ppid=8235 vsize=2966184 CPUtime=1.87 cores=0,2,4,6
/proc/8237/task/8257/stat : 8257 (java) R 8235 8237 4574 0 -1 4202560 65 0 0 0 187 0 0 0 20 0 22 0 342488966 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399180984200 140399680046175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 2966184

[startup+6.30079 s]
/proc/loadavg: 3.69 3.75 3.71 6/217 8259
/proc/meminfo: memFree=26562196/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2966184 CPUtime=14.21 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 26406 0 1 0 1393 28 0 0 20 0 22 0 342488853 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 741546 134055 2270 9 0 732240 0
[pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2965 0 1 0 100 7 0 0 20 0 22 0 342488854 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399814227096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 34 0 0 0 7 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 23 0 0 0 5 1 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 50 0 0 0 9 4 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 30 0 0 0 7 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 29 0 0 0 7 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 34 0 0 0 6 3 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.21 cores=0,2,4,6
/proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12188 0 0 0 118 3 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.18 cores=0,2,4,6
/proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9690 0 0 0 116 2 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8256] ppid=8235 vsize=2966184 CPUtime=4.93 cores=0,2,4,6
/proc/8237/task/8256/stat : 8256 (java) R 8235 8237 4574 0 -1 4202560 26 0 0 0 493 0 0 0 20 0 22 0 342488966 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399182037160 140399680081507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0

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

[pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 226016 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=515.69 cores=0,2,4,6
/proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 97 0 0 0 51558 11 0 0 20 0 22 0 342518615 3037372416 226016 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680256686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=515.65 cores=0,2,4,6
/proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 436 0 0 0 51556 9 0 0 20 0 22 0 342518615 3037372416 226016 33554432000 1073741824 1073778376 140736489651744 140399182036640 140399679584308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1632.66
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.77 3.64 3.63 5/218 8444
/proc/meminfo: memFree=25680780/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2966184 CPUtime=1753.4 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 33772 0 1 0 175169 171 0 0 20 0 22 0 342488853 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 741546 233783 2283 9 0 732240 0
[pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2972 0 1 0 103 7 0 0 20 0 22 0 342488854 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399814227112 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=4.2 cores=0,2,4,6
/proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 251 0 0 0 412 8 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=4.44 cores=0,2,4,6
/proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 270 0 0 0 436 8 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=4.22 cores=0,2,4,6
/proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 272 0 0 0 412 10 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=4.23 cores=0,2,4,6
/proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 304 0 0 0 413 10 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=4.13 cores=0,2,4,6
/proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 255 0 0 0 404 9 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=4.3 cores=0,2,4,6
/proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 267 0 0 0 421 9 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=4.45 cores=0,2,4,6
/proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 271 0 0 0 436 9 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=4.26 cores=0,2,4,6
/proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 271 0 0 0 416 10 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=4.58 cores=0,2,4,6
/proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 4392 0 0 0 406 52 0 0 20 0 22 0 342488857 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.62 cores=0,2,4,6
/proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12211 0 0 0 159 3 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9696 0 0 0 136 2 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=574.96 cores=0,2,4,6
/proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 100 0 0 0 57484 12 0 0 20 0 22 0 342518615 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680081470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=574.94 cores=0,2,4,6
/proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 492 0 0 0 57483 11 0 0 20 0 22 0 342518615 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399182036736 140399680317077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1753.4
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+905.501 s]
/proc/loadavg: 3.71 3.63 3.63 4/217 8444
/proc/meminfo: memFree=25651868/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2966184 CPUtime=1800.01 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 33878 0 1 0 179826 175 0 0 20 0 22 0 342488853 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 741546 240486 2283 9 0 732240 0
[pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2972 0 1 0 103 7 0 0 20 0 22 0 342488854 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399814227112 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 272 0 0 0 419 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=4.53 cores=0,2,4,6
/proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 287 0 0 0 444 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6
/proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 285 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=4.3 cores=0,2,4,6
/proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 310 0 0 0 420 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=4.21 cores=0,2,4,6
/proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 265 0 0 0 411 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=4.38 cores=0,2,4,6
/proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 270 0 0 0 429 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=4.52 cores=0,2,4,6
/proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 278 0 0 0 443 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6
/proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 277 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=4.6 cores=0,2,4,6
/proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 4394 0 0 0 407 53 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.62 cores=0,2,4,6
/proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12211 0 0 0 159 3 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9696 0 0 0 136 2 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=597.96 cores=0,2,4,6
/proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 101 0 0 0 59783 13 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680256720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=597.94 cores=0,2,4,6
/proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 510 0 0 0 59782 12 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399182036736 140399680047363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2966184

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

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

[startup+905.501 s]
/proc/loadavg: 3.71 3.63 3.63 4/217 8444
/proc/meminfo: memFree=25651868/32873852 swapFree=6856/6856
[pid=8237] ppid=8235 vsize=2966184 CPUtime=1800.01 cores=0,2,4,6
/proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 33878 0 1 0 179826 175 0 0 20 0 22 0 342488853 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8237/statm: 741546 240486 2283 9 0 732240 0
[pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.1 cores=0,2,4,6
/proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2972 0 1 0 103 7 0 0 20 0 22 0 342488854 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399814227112 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 272 0 0 0 419 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=4.53 cores=0,2,4,6
/proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 287 0 0 0 444 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6
/proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 285 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=4.3 cores=0,2,4,6
/proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 310 0 0 0 420 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=4.21 cores=0,2,4,6
/proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 265 0 0 0 411 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=4.38 cores=0,2,4,6
/proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 270 0 0 0 429 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=4.52 cores=0,2,4,6
/proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 278 0 0 0 443 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6
/proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 277 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=4.6 cores=0,2,4,6
/proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 4394 0 0 0 407 53 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.62 cores=0,2,4,6
/proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12211 0 0 0 159 3 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9696 0 0 0 136 2 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=597.96 cores=0,2,4,6
/proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 101 0 0 0 59783 13 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680256720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=597.94 cores=0,2,4,6
/proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 510 0 0 0 59782 12 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399182036736 140399680047363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2966184

Child status: 143
Real time (s): 905.573
CPU time (s): 1801.08
CPU user time (s): 1798.9
CPU system time (s): 2.18067
CPU usage (%): 198.888
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 2.18067
maximum resident set size= 962084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33917
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50176
involuntary context switches= 84337

runsolver used 3.62145 second user time and 7.71483 second system time

The end

Launcher Data

Begin job on node128 at 2012-06-04 00:47:09
IDJOB=3741393
IDBENCH=89852
IDSOLVER=2324
FILE ID=node128/3741393-1338763629
RUNJOBID= node128-1338749491-4590
PBS_JOBID= 14636803
Free space on /tmp= 70416 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741393-1338763629/watcher-3741393-1338763629 -o /tmp/evaluation-result-3741393-1338763629/solver-3741393-1338763629 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741393-1338763629.opb

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

MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120
RANDOM SEED=1577059515

node128.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.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.77
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.389
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.91
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.389
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	: 5438.56
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.389
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.389
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.389
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.91
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.389
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.389
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:       32873852 kB
MemFree:        27057216 kB
Buffers:          555576 kB
Cached:          3793428 kB
SwapCached:          744 kB
Active:          2571356 kB
Inactive:        2348892 kB
Active(anon):     561968 kB
Inactive(anon):    11420 kB
Active(file):    2009388 kB
Inactive(file):  2337472 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106656 kB
Dirty:              3604 kB
Writeback:             0 kB
AnonPages:        577072 kB
Mapped:            22252 kB
Shmem:               200 kB
Slab:             757292 kB
SReclaimable:     199376 kB
SUnreclaim:       557916 kB
KernelStack:        1608 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1577144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    516096 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= 70416 MiB
End job on node128 at 2012-06-04 01:02:17