Trace number 4084636

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT 407.01 404.319

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K109.opb
MD5SUM3a5151d7fc286e1b50737dee685a4276
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark407.01
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7412
Total number of constraints7632
Number of constraints which are clauses7523
Number of constraints which are cardinality constraints (but not clauses)109
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint109
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 110
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084636-1465285093.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  no objective function found
0.72/0.40	c ... done. Wall clock time 0.285s.
0.72/0.40	c declared #vars     7412
0.72/0.40	c #constraints  7632
0.72/0.40	c constraints type 
0.72/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6117
0.72/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 109
0.72/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.72/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1404
0.72/0.40	c 7632 constraints processed.
1.83/1.27	c cleaning 2482 clauses out of 4993 with flag 24962/5000
2.81/2.13	c cleaning 4223 clauses out of 8507 with flag 63551/11001
3.81/3.15	c cleaning 5587 clauses out of 11279 with flag 111531/18001
4.92/4.23	c cleaning 6810 clauses out of 13688 with flag 163253/26001
6.13/5.46	c cleaning 7891 clauses out of 15876 with flag 220475/35001
7.63/6.98	c cleaning 8954 clauses out of 17984 with flag 278964/45001
9.23/8.54	c cleaning 9570 clauses out of 20027 with flag 341007/56000
10.83/10.19	c cleaning 10111 clauses out of 22457 with flag 406530/68000
12.84/12.13	c cleaning 11030 clauses out of 25349 with flag 475825/81004
14.83/14.16	c cleaning 11973 clauses out of 28314 with flag 553571/95000
17.13/16.42	c cleaning 12592 clauses out of 31340 with flag 638097/110000
19.73/19.07	c cleaning 13403 clauses out of 34749 with flag 727967/126002
22.43/21.78	c cleaning 14360 clauses out of 38343 with flag 828085/143000
25.35/24.64	c cleaning 15275 clauses out of 41983 with flag 934448/161000
28.36/27.64	c cleaning 16154 clauses out of 45712 with flag 1044148/180004
31.56/30.87	c cleaning 17001 clauses out of 49554 with flag 1160306/200001
35.15/34.40	c cleaning 17923 clauses out of 53553 with flag 1287150/221001
38.75/38.04	c cleaning 18697 clauses out of 57629 with flag 1418898/243000
42.75/42.05	c cleaning 19521 clauses out of 61931 with flag 1557279/266000
46.96/46.27	c cleaning 20630 clauses out of 66409 with flag 1704100/290000
51.36/50.70	c cleaning 21792 clauses out of 70779 with flag 1858170/315000
56.05/55.40	c cleaning 22673 clauses out of 74989 with flag 2020723/341003
61.11/60.38	c cleaning 23263 clauses out of 79312 with flag 2192976/368000
66.51/65.71	c cleaning 24304 clauses out of 84049 with flag 2372217/396000
72.11/71.36	c cleaning 24994 clauses out of 88747 with flag 2562528/425002
78.11/77.37	c cleaning 25939 clauses out of 93752 with flag 2759820/455002
84.42/83.61	c cleaning 26688 clauses out of 98811 with flag 2959381/486001
91.12/90.38	c cleaning 27573 clauses out of 104122 with flag 3179301/518000
98.20/97.33	c cleaning 29117 clauses out of 109548 with flag 3396819/551000
105.41/104.58	c cleaning 29386 clauses out of 114431 with flag 3621608/585000
113.01/112.12	c cleaning 30301 clauses out of 120043 with flag 3855263/620001
120.71/119.85	c cleaning 31544 clauses out of 125742 with flag 4104994/656001
129.21/128.31	c cleaning 32612 clauses out of 131197 with flag 4355496/693000
138.19/137.14	c cleaning 33464 clauses out of 136588 with flag 4623223/731003
147.20/146.13	c cleaning 34547 clauses out of 142121 with flag 4893145/770000
157.00/155.96	c cleaning 35112 clauses out of 147574 with flag 5185213/810000
167.31/166.24	c cleaning 36201 clauses out of 153462 with flag 5494569/851000
178.00/176.99	c cleaning 37042 clauses out of 159260 with flag 5801709/893000
189.29/188.07	c cleaning 38188 clauses out of 165218 with flag 6122747/936000
200.70/199.43	c cleaning 39227 clauses out of 171031 with flag 6445818/980001
212.90/211.63	c cleaning 40100 clauses out of 176803 with flag 6785245/1025000
225.64/224.17	c cleaning 41018 clauses out of 182703 with flag 7138138/1071000
238.44/236.96	c cleaning 42182 clauses out of 188688 with flag 7505415/1118003
252.04/250.56	c cleaning 42908 clauses out of 194505 with flag 7890916/1166002
266.51/264.74	c cleaning 43855 clauses out of 200596 with flag 8275547/1215002
280.52/278.74	c cleaning 45032 clauses out of 206740 with flag 8645293/1265001
295.92/294.19	c cleaning 45792 clauses out of 212706 with flag 9048716/1316000
312.43/310.35	c cleaning 46722 clauses out of 218914 with flag 9462866/1368001
329.20/326.89	c cleaning 47901 clauses out of 225191 with flag 9886447/1421000
345.40/343.07	c cleaning 48680 clauses out of 231289 with flag 10319078/1475000
362.16/359.72	c cleaning 50018 clauses out of 237611 with flag 10767133/1530002
380.06/377.53	c cleaning 50944 clauses out of 243591 with flag 11237636/1586000
397.46/394.81	c cleaning 52130 clauses out of 249648 with flag 11686685/1643001
406.86/404.24	c SATISFIABLE
406.86/404.24	c starts		: 10394
406.86/404.24	c conflicts		: 1676316
406.86/404.24	c decisions		: 36514132
406.86/404.24	c propagations		: 660975595
406.86/404.24	c inspects		: 3554188075
406.86/404.24	c shortcuts		: 0
406.86/404.24	c learnt literals	: 47
406.86/404.24	c learnt binary clauses	: 83224
406.86/404.24	c learnt ternary clauses	: 81620
406.86/404.24	c learnt constraints	: 1676269
406.86/404.24	c ignored constraints	: 0
406.86/404.24	c root simplifications	: 0
406.86/404.24	c removed literals (reason simplification)	: 0
406.86/404.24	c reason swapping (by a shorter reason)	: 0
406.86/404.24	c Calls to reduceDB	: 53
406.86/404.24	c Number of update (reduction) of LBD	: 1199228
406.86/404.24	c Imported unit clauses	: 0
406.86/404.24	c number of reductions to clauses (during analyze)	: 0
406.86/404.24	c number of learned constraints concerned by reduction	: 0
406.86/404.24	c number of learning phase by resolution	: 0
406.86/404.24	c number of learning phase by cutting planes	: 0
406.86/404.24	c speed (assignments/second)	: 1636742.6257193515
406.86/404.24	c non guided choices	11186
406.86/404.29	c learnt constraints type 
406.86/404.29	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 83224
406.86/404.29	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 147609
406.86/404.29	s SATISFIABLE
406.86/404.29	c Found 1 solution(s)
407.01/404.30	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 
407.01/404.31	c Total wall clock time (in seconds): 404.198

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4084636-1465285093/watcher-4084636-1465285093 -o /tmp/evaluation-result-4084636-1465285093/solver-4084636-1465285093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3502 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084636-1465285093.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.20 2.15 3/194 10502
/proc/meminfo: memFree=30685084/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/10502/stat : 10502 (java) R 10499 10502 3485 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 110443724 278528 33 33554432000 1073741824 1073778376 140734398901056 140734176154888 213857168565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10502/statm: 84 41 33 9 0 25 0

[startup+0.100158 s]
/proc/loadavg: 2.23 2.20 2.15 3/194 10502
/proc/meminfo: memFree=30685084/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 110443724 9787879424 6028 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200326 s]
/proc/loadavg: 2.23 2.20 2.15 3/194 10502
/proc/meminfo: memFree=30685084/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 5043 0 1 0 26 1 0 0 20 0 18 0 110443724 9787879424 6950 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2389619 6950 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300358 s]
/proc/loadavg: 2.23 2.20 2.15 3/194 10502
/proc/meminfo: memFree=30685084/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 7550 0 1 0 52 2 0 0 20 0 18 0 110443724 9787879424 9888 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2389619 9888 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700302 s]
/proc/loadavg: 2.23 2.20 2.15 3/194 10502
/proc/meminfo: memFree=30685084/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9625040 CPUtime=1.33 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 8137 0 1 0 131 2 0 0 20 0 19 0 110443724 9856040960 17624 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2406260 17624 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.23 2.20 2.15 3/213 10521
/proc/meminfo: memFree=30620720/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 8147 0 1 0 216 3 0 0 20 0 19 0 110443724 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2406260 18655 2268 9 0 2396937 0
[pid=10502/tid=10504] ppid=10499 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/10502/task/10504/stat : 10504 (java) R 10499 10502 3485 0 -1 4202560 2424 0 1 0 144 2 0 0 20 0 19 0 110443725 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732775559480 140732606862551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10505] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10505/stat : 10505 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732737050920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10506] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10506/stat : 10506 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732735998120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10507] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10507/stat : 10507 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732734945832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10508] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10508/stat : 10508 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732733893032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10509] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10509/stat : 10509 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732732840744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10510] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10510/stat : 10510 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732731787944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10511] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10511/stat : 10511 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732730735656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10512] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10512/stat : 10512 (java) S 10499 10502 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732729682856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10513] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10513/stat : 10513 (java) S 10499 10502 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732598810856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10514] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10514/stat : 10514 (java) S 10499 10502 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732597756920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10515] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10515/stat : 10515 (java) S 10499 10502 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732596704520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10516] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10516/stat : 10516 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732595653008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10517] ppid=10499 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/10502/task/10517/stat : 10517 (java) S 10499 10502 3485 0 -1 4202560 1577 0 0 0 31 0 0 0 20 0 19 0 110443730 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732594600632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10518] ppid=10499 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/10502/task/10518/stat : 10518 (java) S 10499 10502 3485 0 -1 4202560 2870 0 0 0 37 0 0 0 20 0 19 0 110443730 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732593547832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10519] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10519/stat : 10519 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732592495736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10520] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10520/stat : 10520 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140732591443144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10521] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10521/stat : 10521 (java) S 10499 10502 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110443765 9856040960 18655 33554432000 1073741824 1073778376 140734398901056 140731582768040 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.23 2.20 2.15 3/213 10521
/proc/meminfo: memFree=30616136/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 8151 0 1 0 378 3 0 0 20 0 19 0 110443724 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2406260 20191 2268 9 0 2396937 0
[pid=10502/tid=10504] ppid=10499 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/10502/task/10504/stat : 10504 (java) R 10499 10502 3485 0 -1 4202560 2428 0 1 0 304 2 0 0 20 0 19 0 110443725 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732775559480 140732606902894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10505] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10505/stat : 10505 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732737050920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10506] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10506/stat : 10506 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732735998120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10507] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10507/stat : 10507 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732734945832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10508] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10508/stat : 10508 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732733893032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10509] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10509/stat : 10509 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732732840744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10510] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10510/stat : 10510 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732731787944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10511] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10511/stat : 10511 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732730735656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10512] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10512/stat : 10512 (java) S 10499 10502 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732729682856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10513] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10513/stat : 10513 (java) S 10499 10502 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732598810856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10514] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10514/stat : 10514 (java) S 10499 10502 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732597756920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10515] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10515/stat : 10515 (java) S 10499 10502 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732596704520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10516] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10516/stat : 10516 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732595653008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10517] ppid=10499 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/10502/task/10517/stat : 10517 (java) S 10499 10502 3485 0 -1 4202560 1577 0 0 0 33 0 0 0 20 0 19 0 110443730 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732594600632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10518] ppid=10499 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/10502/task/10518/stat : 10518 (java) S 10499 10502 3485 0 -1 4202560 2870 0 0 0 39 0 0 0 20 0 19 0 110443730 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732593547832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10519] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10519/stat : 10519 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732592495736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10520] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10520/stat : 10520 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140732591443144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10521] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10521/stat : 10521 (java) S 10499 10502 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110443765 9856040960 20191 33554432000 1073741824 1073778376 140734398901056 140731582768040 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.21 2.20 2.15 3/212 10521
/proc/meminfo: memFree=30604864/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9625040 CPUtime=7.03 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 8160 0 1 0 700 3 0 0 20 0 19 0 110443724 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2406260 23721 2269 9 0 2396937 0
[pid=10502/tid=10504] ppid=10499 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/10502/task/10504/stat : 10504 (java) R 10499 10502 3485 0 -1 4202560 2436 0 1 0 622 2 0 0 20 0 19 0 110443725 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732775559280 140732606806151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10505] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10505/stat : 10505 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732737050920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10506] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10506/stat : 10506 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732735998120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10507] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10507/stat : 10507 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732734945832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10508] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10508/stat : 10508 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732733893032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10509] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10509/stat : 10509 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732732840744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10510] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10510/stat : 10510 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732731787944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10511] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10511/stat : 10511 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732730735656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10512] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10512/stat : 10512 (java) S 10499 10502 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110443726 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732729682856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10513] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10513/stat : 10513 (java) S 10499 10502 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732598810856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10514] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10514/stat : 10514 (java) S 10499 10502 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732597756920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10515] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10515/stat : 10515 (java) S 10499 10502 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732596704520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10516] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10516/stat : 10516 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732595653008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10517] ppid=10499 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/10502/task/10517/stat : 10517 (java) S 10499 10502 3485 0 -1 4202560 1577 0 0 0 34 0 0 0 20 0 19 0 110443730 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732594600632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10518] ppid=10499 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/10502/task/10518/stat : 10518 (java) S 10499 10502 3485 0 -1 4202560 2870 0 0 0 41 0 0 0 20 0 19 0 110443730 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732593547832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10519] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10519/stat : 10519 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732592495736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10520] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10520/stat : 10520 (java) S 10499 10502 3485 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140732591443144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10521] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10521/stat : 10521 (java) S 10499 10502 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110443765 9856040960 23721 33554432000 1073741824 1073778376 140734398901056 140731582768040 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9625040


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

[pid=10502/tid=10513] ppid=10499 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10513/stat : 10513 (java) S 10499 10502 3485 0 -1 4202560 232 0 0 0 14 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732598810856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10514] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10514/stat : 10514 (java) S 10499 10502 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732597756920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10515] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10515/stat : 10515 (java) S 10499 10502 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732596704520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10516] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10516/stat : 10516 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732595653008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10517] ppid=10499 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/10502/task/10517/stat : 10517 (java) S 10499 10502 3485 0 -1 4202560 1581 0 0 0 34 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732594600632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10518] ppid=10499 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/10502/task/10518/stat : 10518 (java) S 10499 10502 3485 0 -1 4202560 2870 0 0 0 41 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732593547832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10519] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10519/stat : 10519 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732592495736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10520] ppid=10499 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10520/stat : 10520 (java) S 10499 10502 3485 0 -1 4202560 24 0 0 0 5 9 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732591443144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10521] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10521/stat : 10521 (java) S 10499 10502 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110443765 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140731582768040 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 405.86
Current children cumulated vsize (KiB) 9625040

[startup+404.001 s]
/proc/loadavg: 2.15 2.15 2.14 3/213 10532
/proc/meminfo: memFree=30032228/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9625040 CPUtime=406.66 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 10788 0 1 0 40578 88 0 0 20 0 19 0 110443724 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2406260 194478 2290 9 0 2396937 0
[pid=10502/tid=10504] ppid=10499 vsize=9625040 CPUtime=402.13 cores=1,3,5,7
/proc/10502/task/10504/stat : 10504 (java) R 10499 10502 3485 0 -1 4202560 2482 0 1 0 40204 9 0 0 20 0 19 0 110443725 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732775550640 140732606857541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10505] ppid=10499 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/10502/task/10505/stat : 10505 (java) S 10499 10502 3485 0 -1 4202560 185 0 0 0 17 7 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732737050920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10506] ppid=10499 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/10502/task/10506/stat : 10506 (java) S 10499 10502 3485 0 -1 4202560 293 0 0 0 23 9 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732735998120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10507] ppid=10499 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/10502/task/10507/stat : 10507 (java) S 10499 10502 3485 0 -1 4202560 332 0 0 0 17 10 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732734945832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10508] ppid=10499 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10502/task/10508/stat : 10508 (java) S 10499 10502 3485 0 -1 4202560 475 0 0 0 24 11 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732733893032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10509] ppid=10499 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/10502/task/10509/stat : 10509 (java) S 10499 10502 3485 0 -1 4202560 284 0 0 0 21 11 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732732840744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10510] ppid=10499 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/10502/task/10510/stat : 10510 (java) S 10499 10502 3485 0 -1 4202560 285 0 0 0 20 11 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732731787944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10511] ppid=10499 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/10502/task/10511/stat : 10511 (java) S 10499 10502 3485 0 -1 4202560 192 0 0 0 24 9 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732730735656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10512] ppid=10499 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/10502/task/10512/stat : 10512 (java) S 10499 10502 3485 0 -1 4202560 291 0 0 0 15 8 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732729682856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10513] ppid=10499 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10513/stat : 10513 (java) S 10499 10502 3485 0 -1 4202560 232 0 0 0 14 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732598810856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10514] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10514/stat : 10514 (java) S 10499 10502 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732597756920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10515] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10515/stat : 10515 (java) S 10499 10502 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732596704520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10516] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10516/stat : 10516 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732595653008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10517] ppid=10499 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/10502/task/10517/stat : 10517 (java) S 10499 10502 3485 0 -1 4202560 1581 0 0 0 34 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732594600632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10518] ppid=10499 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/10502/task/10518/stat : 10518 (java) S 10499 10502 3485 0 -1 4202560 2870 0 0 0 41 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732593547832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10519] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10519/stat : 10519 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732592495736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10520] ppid=10499 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10520/stat : 10520 (java) S 10499 10502 3485 0 -1 4202560 24 0 0 0 5 9 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732591443144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10521] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10521/stat : 10521 (java) S 10499 10502 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110443765 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140731582768040 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 406.66
Current children cumulated vsize (KiB) 9625040

[startup+404.201 s]
/proc/loadavg: 2.15 2.15 2.14 3/213 10532
/proc/meminfo: memFree=30032228/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9625040 CPUtime=406.86 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 10788 0 1 0 40598 88 0 0 20 0 19 0 110443724 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2406260 194478 2290 9 0 2396937 0
[pid=10502/tid=10504] ppid=10499 vsize=9625040 CPUtime=402.32 cores=1,3,5,7
/proc/10502/task/10504/stat : 10504 (java) R 10499 10502 3485 0 -1 4202560 2482 0 1 0 40223 9 0 0 20 0 19 0 110443725 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732775550640 140732606806488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10505] ppid=10499 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/10502/task/10505/stat : 10505 (java) S 10499 10502 3485 0 -1 4202560 185 0 0 0 17 7 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732737050920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10506] ppid=10499 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/10502/task/10506/stat : 10506 (java) S 10499 10502 3485 0 -1 4202560 293 0 0 0 23 9 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732735998120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10507] ppid=10499 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/10502/task/10507/stat : 10507 (java) S 10499 10502 3485 0 -1 4202560 332 0 0 0 17 10 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732734945832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10508] ppid=10499 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/10502/task/10508/stat : 10508 (java) S 10499 10502 3485 0 -1 4202560 475 0 0 0 24 11 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732733893032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10509] ppid=10499 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/10502/task/10509/stat : 10509 (java) S 10499 10502 3485 0 -1 4202560 284 0 0 0 21 11 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732732840744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10510] ppid=10499 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/10502/task/10510/stat : 10510 (java) S 10499 10502 3485 0 -1 4202560 285 0 0 0 20 11 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732731787944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10511] ppid=10499 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/10502/task/10511/stat : 10511 (java) S 10499 10502 3485 0 -1 4202560 192 0 0 0 24 9 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732730735656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10512] ppid=10499 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/10502/task/10512/stat : 10512 (java) S 10499 10502 3485 0 -1 4202560 291 0 0 0 15 8 0 0 20 0 19 0 110443726 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732729682856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10513] ppid=10499 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10513/stat : 10513 (java) S 10499 10502 3485 0 -1 4202560 232 0 0 0 14 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732598810856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10514] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10514/stat : 10514 (java) S 10499 10502 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732597756920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10515] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10515/stat : 10515 (java) S 10499 10502 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110443727 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732596704520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10516] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10516/stat : 10516 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732595653008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10517] ppid=10499 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/10502/task/10517/stat : 10517 (java) S 10499 10502 3485 0 -1 4202560 1581 0 0 0 34 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732594600632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10518] ppid=10499 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/10502/task/10518/stat : 10518 (java) S 10499 10502 3485 0 -1 4202560 2870 0 0 0 41 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732593547832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10519] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10519/stat : 10519 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732592495736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10520] ppid=10499 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10520/stat : 10520 (java) S 10499 10502 3485 0 -1 4202560 24 0 0 0 5 9 0 0 20 0 19 0 110443730 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140732591443144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10521] ppid=10499 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10521/stat : 10521 (java) S 10499 10502 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110443765 9856040960 194478 33554432000 1073741824 1073778376 140734398901056 140731582768040 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 406.86
Current children cumulated vsize (KiB) 9625040

[startup+404.301 s]
/proc/loadavg: 2.15 2.15 2.14 3/213 10532
/proc/meminfo: memFree=30032228/32872528 swapFree=12352/737972
[pid=10502] ppid=10499 vsize=9691604 CPUtime=407.01 cores=1,3,5,7
/proc/10502/stat : 10502 (java) S 10499 10502 3485 0 -1 4202496 11082 0 1 0 40613 88 0 0 20 0 19 0 110443724 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140734398892192 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2422901 194749 2295 9 0 2413578 0
[pid=10502/tid=10504] ppid=10499 vsize=9691604 CPUtime=402.36 cores=1,3,5,7
/proc/10502/task/10504/stat : 10504 (java) S 10499 10502 3485 0 -1 4202560 2484 0 1 0 40227 9 0 0 20 0 19 0 110443725 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732775559896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10505] ppid=10499 vsize=9691604 CPUtime=0.24 cores=1,3,5,7
/proc/10502/task/10505/stat : 10505 (java) S 10499 10502 3485 0 -1 4202560 185 0 0 0 17 7 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732737050920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10506] ppid=10499 vsize=9691604 CPUtime=0.32 cores=1,3,5,7
/proc/10502/task/10506/stat : 10506 (java) S 10499 10502 3485 0 -1 4202560 293 0 0 0 23 9 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732735998120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10507] ppid=10499 vsize=9691604 CPUtime=0.27 cores=1,3,5,7
/proc/10502/task/10507/stat : 10507 (java) S 10499 10502 3485 0 -1 4202560 332 0 0 0 17 10 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732734945832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10508] ppid=10499 vsize=9691604 CPUtime=0.35 cores=1,3,5,7
/proc/10502/task/10508/stat : 10508 (java) S 10499 10502 3485 0 -1 4202560 475 0 0 0 24 11 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732733893032 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10509] ppid=10499 vsize=9691604 CPUtime=0.32 cores=1,3,5,7
/proc/10502/task/10509/stat : 10509 (java) S 10499 10502 3485 0 -1 4202560 284 0 0 0 21 11 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732732840744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10510] ppid=10499 vsize=9691604 CPUtime=0.31 cores=1,3,5,7
/proc/10502/task/10510/stat : 10510 (java) S 10499 10502 3485 0 -1 4202560 285 0 0 0 20 11 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732731787944 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10502/tid=10511] ppid=10499 vsize=9691604 CPUtime=0.33 cores=1,3,5,7
/proc/10502/task/10511/stat : 10511 (java) S 10499 10502 3485 0 -1 4202560 192 0 0 0 24 9 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732730735656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10512] ppid=10499 vsize=9691604 CPUtime=0.23 cores=1,3,5,7
/proc/10502/task/10512/stat : 10512 (java) S 10499 10502 3485 0 -1 4202560 291 0 0 0 15 8 0 0 20 0 19 0 110443726 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732729682856 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10513] ppid=10499 vsize=9691604 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10513/stat : 10513 (java) S 10499 10502 3485 0 -1 4202560 232 0 0 0 14 0 0 0 20 0 19 0 110443727 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732598810856 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10502/tid=10514] ppid=10499 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10514/stat : 10514 (java) S 10499 10502 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110443727 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732597756920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10515] ppid=10499 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10515/stat : 10515 (java) S 10499 10502 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110443727 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732596704520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10516] ppid=10499 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10516/stat : 10516 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732595653008 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10517] ppid=10499 vsize=9691604 CPUtime=0.36 cores=1,3,5,7
/proc/10502/task/10517/stat : 10517 (java) S 10499 10502 3485 0 -1 4202560 1838 0 0 0 36 0 0 0 20 0 19 0 110443730 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732594600632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10502/tid=10518] ppid=10499 vsize=9691604 CPUtime=0.44 cores=1,3,5,7
/proc/10502/task/10518/stat : 10518 (java) S 10499 10502 3485 0 -1 4202560 2895 0 0 0 44 0 0 0 20 0 19 0 110443730 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732593547832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10519] ppid=10499 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/10502/task/10519/stat : 10519 (java) S 10499 10502 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110443730 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732592495736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10502/tid=10520] ppid=10499 vsize=9691604 CPUtime=0.14 cores=1,3,5,7
/proc/10502/task/10520/stat : 10520 (java) S 10499 10502 3485 0 -1 4202560 24 0 0 0 5 9 0 0 20 0 19 0 110443730 9924202496 194749 33554432000 1073741824 1073778376 140734398901056 140732591443144 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 407.01
Current children cumulated vsize (KiB) 9691604

Child status: 10

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10502 and gives
#  childrusage.ru_utime.tv_sec=405
#  childrusage.ru_utime.tv_usec=70419
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=102832
# CPU time returned by wait4() is 406.173
# while last known CPU time is 407.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 404.319
CPU time (s): 407.01
CPU user time (s): 406.13
CPU system time (s): 0.88
CPU usage (%): 100.666
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.07
system time used= 1.10283
maximum resident set size= 779004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11085
page faults= 1
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9111
involuntary context switches= 1565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11083 second user time and 1.61575 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 09:38:13
IDJOB=4084636
IDBENCH=90137
IDSOLVER=2546
FILE ID=node112/4084636-1465285093
RUNJOBID= node112-1465252319-3502
PBS_JOBID= 19843261
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K109.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084636-1465285093/watcher-4084636-1465285093 -o /tmp/evaluation-result-4084636-1465285093/solver-4084636-1465285093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3502 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084636-1465285093.opb

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

MD5SUM BENCH= 3a5151d7fc286e1b50737dee685a4276
RANDOM SEED=2113551535

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30685620 kB
Buffers:          115192 kB
Cached:           153992 kB
SwapCached:         1624 kB
Active:           529628 kB
Inactive:         185524 kB
Active(anon):     448240 kB
Inactive(anon):      608 kB
Active(file):      81388 kB
Inactive(file):   184916 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:              1240 kB
Writeback:             0 kB
AnonPages:       1259948 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             599500 kB
SReclaimable:      43036 kB
SUnreclaim:       556464 kB
KernelStack:        1760 kB
PageTables:         6752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1378228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node112 at 2016-06-07 09:44:57