Trace number 4111866

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
minisatp 2012-10-02 git-d91742bSAT 1776.97 1777.25

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
MD5SUM91412677f9785e1c6465ad7d3d170f82
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 benchmark1776.97
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6324
Total number of constraints6512
Number of constraints which are clauses6419
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint93
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 94
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.00	c Parsing PB file...
0.09/0.18	c Converting 6510 PB-constraints to clauses...
0.09/0.18	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.09/0.18	c   -- Detecting intervals from adjacent constraints: ###########################################################################################
0.09/0.18	c   -- Clauses(.)/Splits(s): .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.09/0.19	c ---[ 182]---> BDD-cost:  133
0.09/0.19	c ---[ 180]---> BDD-cost:  133
0.09/0.19	c ---[ 178]---> BDD-cost:  133
0.09/0.19	c ---[ 176]---> BDD-cost:  133
0.09/0.19	c ---[ 174]---> BDD-cost:  133
0.09/0.19	c ---[ 172]---> BDD-cost:  133
0.09/0.20	c ---[ 170]---> BDD-cost:  133
0.19/0.20	c ---[ 168]---> BDD-cost:  133
0.19/0.20	c ---[ 166]---> BDD-cost:  133
0.19/0.20	c ---[ 164]---> BDD-cost:  133
0.19/0.20	c ---[ 162]---> BDD-cost:  133
0.19/0.20	c ---[ 160]---> BDD-cost:  133
0.19/0.20	c ---[ 158]---> BDD-cost:  133
0.19/0.20	c ---[ 156]---> BDD-cost:  133
0.19/0.21	c ---[ 154]---> BDD-cost:  133
0.19/0.21	c ---[ 152]---> BDD-cost:  133
0.19/0.21	c ---[ 150]---> BDD-cost:  133
0.19/0.21	c ---[ 148]---> BDD-cost:  133
0.19/0.21	c ---[ 146]---> BDD-cost:  133
0.19/0.21	c ---[ 144]---> BDD-cost:  133
0.19/0.21	c ---[ 142]---> BDD-cost:  133
0.19/0.21	c ---[ 140]---> BDD-cost:  133
0.19/0.21	c ---[ 138]---> BDD-cost:  133
0.19/0.22	c ---[ 136]---> BDD-cost:  133
0.19/0.22	c ---[ 134]---> BDD-cost:  133
0.19/0.22	c ---[ 132]---> BDD-cost:  133
0.19/0.22	c ---[ 130]---> BDD-cost:  133
0.19/0.22	c ---[ 128]---> BDD-cost:  133
0.19/0.22	c ---[ 126]---> BDD-cost:  133
0.19/0.22	c ---[ 124]---> BDD-cost:  133
0.19/0.22	c ---[ 122]---> BDD-cost:  133
0.19/0.23	c ---[ 120]---> BDD-cost:  133
0.19/0.23	c ---[ 118]---> BDD-cost:  133
0.19/0.23	c ---[ 116]---> BDD-cost:  133
0.19/0.23	c ---[ 114]---> BDD-cost:  133
0.19/0.23	c ---[ 112]---> BDD-cost:  133
0.19/0.23	c ---[ 110]---> BDD-cost:  133
0.19/0.23	c ---[ 108]---> BDD-cost:  133
0.19/0.23	c ---[ 106]---> BDD-cost:  133
0.19/0.24	c ---[ 104]---> BDD-cost:  133
0.19/0.24	c ---[ 102]---> BDD-cost:  133
0.19/0.24	c ---[ 100]---> BDD-cost:  133
0.19/0.24	c ---[  98]---> BDD-cost:  133
0.19/0.24	c ---[  96]---> BDD-cost:  133
0.19/0.24	c ---[  94]---> BDD-cost:  133
0.19/0.24	c ---[  92]---> BDD-cost:  133
0.19/0.24	c ---[  90]---> BDD-cost:  133
0.19/0.25	c ---[  88]---> BDD-cost:  133
0.19/0.25	c ---[  86]---> BDD-cost:  133
0.19/0.25	c ---[  84]---> BDD-cost:  133
0.19/0.25	c ---[  82]---> BDD-cost:  133
0.19/0.25	c ---[  80]---> BDD-cost:  133
0.19/0.25	c ---[  78]---> BDD-cost:  133
0.19/0.25	c ---[  76]---> BDD-cost:  133
0.19/0.25	c ---[  74]---> BDD-cost:  133
0.19/0.26	c ---[  72]---> BDD-cost:  133
0.19/0.26	c ---[  70]---> BDD-cost:  133
0.19/0.26	c ---[  68]---> BDD-cost:  133
0.19/0.26	c ---[  66]---> BDD-cost:  133
0.19/0.26	c ---[  64]---> BDD-cost:  133
0.19/0.26	c ---[  62]---> BDD-cost:  133
0.19/0.26	c ---[  60]---> BDD-cost:  133
0.19/0.26	c ---[  58]---> BDD-cost:  133
0.19/0.27	c ---[  56]---> BDD-cost:  133
0.19/0.27	c ---[  54]---> BDD-cost:  133
0.19/0.27	c ---[  52]---> BDD-cost:  133
0.19/0.27	c ---[  50]---> BDD-cost:  133
0.19/0.27	c ---[  48]---> BDD-cost:  133
0.19/0.27	c ---[  46]---> BDD-cost:  133
0.19/0.27	c ---[  44]---> BDD-cost:  133
0.19/0.27	c ---[  42]---> BDD-cost:  133
0.19/0.27	c ---[  40]---> BDD-cost:  133
0.19/0.28	c ---[  38]---> BDD-cost:  133
0.19/0.28	c ---[  36]---> BDD-cost:  133
0.19/0.28	c ---[  34]---> BDD-cost:  133
0.19/0.28	c ---[  32]---> BDD-cost:  133
0.19/0.28	c ---[  30]---> BDD-cost:  133
0.19/0.28	c ---[  28]---> BDD-cost:  133
0.19/0.28	c ---[  26]---> BDD-cost:  133
0.19/0.28	c ---[  24]---> BDD-cost:  133
0.19/0.29	c ---[  22]---> BDD-cost:  133
0.19/0.29	c ---[  20]---> BDD-cost:  133
0.19/0.29	c ---[  18]---> BDD-cost:  133
0.19/0.29	c ---[  16]---> BDD-cost:  133
0.19/0.29	c ---[  14]---> BDD-cost:  129
0.19/0.29	c ---[  12]---> BDD-cost:  115
0.19/0.29	c ---[  10]---> BDD-cost:   93
0.19/0.29	c ---[   8]---> BDD-cost:   65
0.19/0.29	c ---[   6]---> BDD-cost:   47
0.19/0.29	c ---[   4]---> BDD-cost:   25
0.19/0.29	c ---[   2]---> BDD-cost:    5
1776.92/1777.23	|  Eliminated clauses:           0.02 Mb                                      |
1776.92/1777.23	============================[ Search Statistics ]==============================
1776.92/1777.23	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1776.92/1777.23	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1776.92/1777.23	===============================================================================
1776.92/1777.23	|       100 |   16973    34284    99912 |    12570      100    166 |  2.520 % |
1776.92/1777.23	|       250 |   16973    34284    99912 |    13827      250    142 |  2.520 % |
1776.92/1777.23	|       475 |   16973    34284    99912 |    15210      475    112 |  2.520 % |
1776.92/1777.23	|       812 |   16973    34284    99912 |    16731      812    127 |  2.520 % |
1776.92/1777.23	|      1318 |   16973    34284    99912 |    18404     1318    150 |  2.520 % |
1776.92/1777.23	|      2077 |   16973    34284    99912 |    20245     2077    162 |  2.520 % |
1776.92/1777.23	|      3216 |   16972    34284    99912 |    22269     3214    161 |  2.526 % |
1776.92/1777.23	|      4924 |   16972    34284    99912 |    24496     4922    148 |  2.526 % |
1776.92/1777.23	|      7486 |   16970    34284    99912 |    26946     7479    157 |  2.537 % |
1776.92/1777.23	|     11330 |   16968    34284    99912 |    29641    11317    165 |  2.548 % |
1776.92/1777.23	|     17096 |   16923    34284    99912 |    32605    17068    162 |  2.798 % |
1776.92/1777.23	|     25745 |   16923    34284    99912 |    35865    25717    174 |  2.798 % |
1776.92/1777.23	|     38719 |   16922    34284    99912 |    39452    18315    160 |  2.804 % |
1776.92/1777.23	|     58180 |   16922    34284    99912 |    43397    37776    199 |  2.804 % |
1776.92/1777.23	|     87372 |   16922    34284    99912 |    47737    42175    190 |  2.804 % |
1776.92/1777.23	|    131161 |   16921    34284    99912 |    52511    29110    157 |  2.809 % |
1776.92/1777.23	|    196845 |   16921    34284    99912 |    57762    36261    184 |  2.809 % |
1776.92/1777.23	|    295371 |   16920    34284    99912 |    63538    56996    183 |  2.815 % |
1776.92/1777.23	|    443160 |   16920    34284    99912 |    69892    56365    187 |  2.815 % |
1776.92/1777.23	|    664843 |   16920    34284    99912 |    76881    58355    174 |  2.815 % |
1776.92/1777.23	|    997368 |   16903    34284    99912 |    84570    65585    268 |  2.910 % |
1776.92/1777.23	|   1496156 |   16902    34284    99912 |    93027    75340    186 |  2.915 % |
1776.92/1777.23	|   2244338 |   16733    34284    99912 |   102329    46691    251 |  3.855 % |
1776.92/1777.23	|   3366612 |   16716    34284    99912 |   112562    88393    177 |  3.950 % |
1776.92/1777.23	===============================================================================
1776.92/1777.23	c SATISFIABLE: No goal function specified.
1776.92/1777.23	s SATISFIABLE
1776.92/1777.23	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
1776.92/1777.23	c _______________________________________________________________________________
1776.92/1777.23	c 
1776.92/1777.23	restarts              : 8190
1776.92/1777.23	conflicts             : 4820043        (2716 /sec)
1776.92/1777.23	decisions             : 28929261       (0.00 % random) (16298 /sec)
1776.92/1777.23	propagations          : 4327352906     (2437985 /sec)
1776.92/1777.23	conflict literals     : 1485813115     (18.84 % deleted)
1776.92/1777.23	Memory used           : 353.56 MB
1776.92/1777.23	CPU time              : 1774.97 s
1776.92/1777.23	c _______________________________________________________________________________

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-4111866-1466602366/watcher-4111866-1466602366 -o /tmp/evaluation-result-4111866-1466602366/solver-4111866-1466602366 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466586524-6145 --watchdog 1960 minisatp HOME/instance-4111866-1466602366.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.29 2.22 3/176 9521
/proc/meminfo: memFree=28980436/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=6600 CPUtime=0 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 62285196 6758400 236 33554432000 4194304 5646918 140735790325024 140736588570392 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 1650 236 94 355 0 1291 0

[startup+0.100157 s]
/proc/loadavg: 2.34 2.29 2.22 3/176 9521
/proc/meminfo: memFree=28980436/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=12420 CPUtime=0.09 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 1768 0 0 0 9 0 0 0 20 0 1 0 62285196 12718080 1644 33554432000 4194304 5646918 140735790325024 140736588570392 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 3105 1645 94 355 0 2746 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12420

[startup+0.200283 s]
/proc/loadavg: 2.34 2.29 2.22 3/176 9521
/proc/meminfo: memFree=28980436/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=16524 CPUtime=0.19 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 2847 0 0 0 19 0 0 0 20 0 1 0 62285196 16920576 3180 33554432000 4194304 5646918 140735790325024 140736588570392 4953168 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 4131 3180 117 355 0 3772 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16524

[startup+0.300263 s]
/proc/loadavg: 2.34 2.29 2.22 3/176 9521
/proc/meminfo: memFree=28980436/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=17456 CPUtime=0.29 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 3070 0 0 0 29 0 0 0 20 0 1 0 62285196 17874944 3403 33554432000 4194304 5646918 140735790325024 140736588570392 4228643 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 4364 3404 120 355 0 4005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17456

[startup+0.700218 s]
/proc/loadavg: 2.34 2.29 2.22 3/176 9521
/proc/meminfo: memFree=28980436/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=19536 CPUtime=0.69 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 3605 0 0 0 69 0 0 0 20 0 1 0 62285196 20004864 4448 33554432000 4194304 5646918 140735790325024 140736588570392 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 4884 4448 144 355 0 4525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19536

[startup+1.50026 s]
/proc/loadavg: 2.34 2.29 2.22 3/177 9522
/proc/meminfo: memFree=28962684/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=22256 CPUtime=1.48 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 4049 0 0 0 148 0 0 0 20 0 1 0 62285196 22790144 4890 33554432000 4194304 5646918 140735790325024 140735790323064 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 5564 4890 144 355 0 5205 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22256

[startup+3.10028 s]
/proc/loadavg: 2.34 2.29 2.22 3/177 9522
/proc/meminfo: memFree=28956048/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=33856 CPUtime=3.09 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 5102 0 0 0 308 1 0 0 20 0 1 0 62285196 34668544 6449 33554432000 4194304 5646918 140735790325024 140735790323720 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 8464 6450 144 355 0 8105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33856

[startup+6.30025 s]
/proc/loadavg: 2.31 2.29 2.22 3/177 9522
/proc/meminfo: memFree=28943608/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=46160 CPUtime=6.29 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 5860 0 0 0 628 1 0 0 20 0 1 0 62285196 47267840 9759 33554432000 4194304 5646918 140735790325024 140735790323128 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 11540 9759 144 355 0 11181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46160

[startup+12.7003 s]
/proc/loadavg: 2.28 2.28 2.22 4/177 9522
/proc/meminfo: memFree=28931664/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=66932 CPUtime=12.69 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 8194 0 0 0 1267 2 0 0 20 0 1 0 62285196 68538368 12551 33554432000 4194304 5646918 140735790325024 140735790323160 4403187 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 16733 12551 146 355 0 16374 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66932

[startup+25.5003 s]
/proc/loadavg: 2.30 2.29 2.22 3/177 9522
/proc/meminfo: memFree=28875176/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=116428 CPUtime=25.48 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 10063 0 0 0 2544 4 0 0 20 0 1 0 62285196 119222272 25199 33554432000 4194304 5646918 140735790325024 140735790323320 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 29107 25199 146 355 0 28748 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116428

[startup+51.1003 s]
/proc/loadavg: 2.20 2.26 2.21 4/177 9522
/proc/meminfo: memFree=28850416/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=147356 CPUtime=51.09 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 10981 0 0 0 5101 8 0 0 20 0 1 0 62285196 150892544 29881 33554432000 4194304 5646918 140735790325024 140735790323720 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 36839 29881 146 355 0 36480 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 147356

[startup+102.3 s]
/proc/loadavg: 2.18 2.25 2.20 4/177 9523
/proc/meminfo: memFree=28842256/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=116536 CPUtime=102.28 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 11495 0 0 0 10213 15 0 0 20 0 1 0 62285196 119332864 27209 33554432000 4194304 5646918 140735790325024 140735790323320 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 29134 27209 146 355 0 28775 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116536

[startup+162.3 s]
/proc/loadavg: 2.34 2.28 2.21 4/177 9524
/proc/meminfo: memFree=28873052/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=67216 CPUtime=162.27 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 12933 0 0 0 16204 23 0 0 20 0 1 0 62285196 68829184 16440 33554432000 4194304 5646918 140735790325024 140735790323736 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 16804 16440 146 355 0 16445 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 67216

[startup+222.307 s]
/proc/loadavg: 2.29 2.27 2.21 3/177 9526
/proc/meminfo: memFree=28808332/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=147356 CPUtime=222.26 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 13591 0 0 0 22195 31 0 0 20 0 1 0 62285196 150892544 29344 33554432000 4194304 5646918 140735790325024 140735790323320 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 36839 29344 146 355 0 36480 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 147356

[startup+282.3 s]
/proc/loadavg: 2.24 2.26 2.21 3/177 9527
/proc/meminfo: memFree=28776500/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=147356 CPUtime=282.25 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 14950 0 0 0 28186 39 0 0 20 0 1 0 62285196 150892544 34464 33554432000 4194304 5646918 140735790325024 140735790323720 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 36839 34464 146 355 0 36480 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 147356

[startup+342.3 s]
/proc/loadavg: 2.30 2.27 2.22 3/177 9528
/proc/meminfo: memFree=28712108/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=197604 CPUtime=342.24 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 17725 0 0 0 34178 46 0 0 20 0 1 0 62285196 202346496 45013 33554432000 4194304 5646918 140735790325024 140735790323720 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 49401 45013 146 355 0 49042 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 197604

[startup+402.3 s]
/proc/loadavg: 2.17 2.24 2.20 3/177 9584
/proc/meminfo: memFree=29666072/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=181248 CPUtime=402.22 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 19024 0 0 0 40168 54 0 0 20 0 1 0 62285196 185597952 39316 33554432000 4194304 5646918 140735790325024 140735790323720 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 45312 39316 146 355 0 44953 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 181248

[startup+462.3 s]
/proc/loadavg: 2.22 2.24 2.20 3/178 9588
/proc/meminfo: memFree=29691904/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=101108 CPUtime=462.22 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 20350 0 0 0 46162 60 0 0 20 0 1 0 62285196 103534592 24885 33554432000 4194304 5646918 140735790325024 140735790323720 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 25277 24885 146 355 0 24918 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 101108

[startup+522.3 s]
/proc/loadavg: 2.24 2.24 2.20 3/177 9590
/proc/meminfo: memFree=29649572/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=181248 CPUtime=522.21 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 22423 0 0 0 52152 69 0 0 20 0 1 0 62285196 185597952 43424 33554432000 4194304 5646918 140735790325024 140735790323720 4403173 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 45312 43424 146 355 0 44953 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 181248

[startup+582.3 s]
/proc/loadavg: 2.19 2.22 2.19 3/177 9591
/proc/meminfo: memFree=29633284/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=181248 CPUtime=582.21 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 24471 0 0 0 58145 76 0 0 20 0 1 0 62285196 185597952 42912 33554432000 4194304 5646918 140735790325024 140735790323720 4399664 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 45312 42912 146 355 0 44953 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 181248


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

/proc/loadavg: 2.16 2.24 2.20 3/177 9606
/proc/meminfo: memFree=29552408/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=150428 CPUtime=1182.1 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 44903 0 0 0 118079 131 0 0 20 0 1 0 62285196 154038272 35734 33554432000 4194304 5646918 140735790325024 140735790323320 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 37607 35734 146 355 0 37248 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 150428

[startup+1242.3 s]
/proc/loadavg: 2.22 2.24 2.20 4/177 9607
/proc/meminfo: memFree=29614540/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=231336 CPUtime=1242.09 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 47716 0 0 0 124072 137 0 0 20 0 1 0 62285196 236888064 45830 33554432000 4194304 5646918 140735790325024 140735790323720 4397380 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 57834 45830 146 355 0 57475 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 231336

[startup+1302.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/177 9608
/proc/meminfo: memFree=29655320/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=150428 CPUtime=1302.08 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 49720 0 0 0 130063 145 0 0 20 0 1 0 62285196 154038272 34204 33554432000 4194304 5646918 140735790325024 140735790323320 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 37607 34204 146 355 0 37248 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 150428

[startup+1362.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/177 9609
/proc/meminfo: memFree=29625540/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=181248 CPUtime=1362.07 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 51732 0 0 0 136055 152 0 0 20 0 1 0 62285196 185597952 40415 33554432000 4194304 5646918 140735790325024 140735790323720 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 45312 40415 146 355 0 44953 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 181248

[startup+1422.3 s]
/proc/loadavg: 2.21 2.23 2.19 4/176 9610
/proc/meminfo: memFree=29590736/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=181248 CPUtime=1422.07 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 53667 0 0 0 142049 158 0 0 20 0 1 0 62285196 185597952 43999 33554432000 4194304 5646918 140735790325024 140735790323720 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 45312 43999 146 355 0 44953 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 181248

[startup+1482.3 s]
/proc/loadavg: 2.25 2.25 2.20 3/177 9612
/proc/meminfo: memFree=29632472/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=150428 CPUtime=1482.06 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 56467 0 0 0 148040 166 0 0 20 0 1 0 62285196 154038272 34204 33554432000 4194304 5646918 140735790325024 140735790323320 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 37607 34204 146 355 0 37248 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 150428

[startup+1542.31 s]
/proc/loadavg: 2.18 2.23 2.19 4/177 9613
/proc/meminfo: memFree=29615552/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=150428 CPUtime=1542.05 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 58920 0 0 0 154033 172 0 0 20 0 1 0 62285196 154038272 33693 33554432000 4194304 5646918 140735790325024 140735790323320 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 37607 33693 146 355 0 37248 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 150428

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/177 9614
/proc/meminfo: memFree=29627596/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=181248 CPUtime=1602.04 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 60927 0 0 0 160024 180 0 0 20 0 1 0 62285196 185597952 39906 33554432000 4194304 5646918 140735790325024 140735790323720 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 45312 39906 146 355 0 44953 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 181248

[startup+1662.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/178 9618
/proc/meminfo: memFree=29504604/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=231520 CPUtime=1662.03 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 63723 0 0 0 166017 186 0 0 20 0 1 0 62285196 237076480 46389 33554432000 4194304 5646918 140735790325024 140735790323720 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 57880 46389 146 355 0 57521 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 231520

[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/178 9644
/proc/meminfo: memFree=29602288/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=131696 CPUtime=1722.02 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 66123 0 0 0 172010 192 0 0 20 0 1 0 62285196 134856704 32605 33554432000 4194304 5646918 140735790325024 140735790323736 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 32924 32605 146 355 0 32565 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 131696

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9521 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1740.8 s]
/proc/loadavg: 2.28 2.24 2.19 4/178 9646
/proc/meminfo: memFree=29557568/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=261924 CPUtime=1740.52 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 67088 0 0 0 173857 195 0 0 20 0 1 0 62285196 268210176 57582 33554432000 4194304 5646918 140735790325024 140735790323720 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 65481 57582 146 355 0 65122 0
Current children cumulated CPU time (s) 1740.52
Current children cumulated vsize (KiB) 261924

[startup+1753.6 s]
/proc/loadavg: 2.22 2.22 2.18 3/178 9646
/proc/meminfo: memFree=29612700/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=131696 CPUtime=1753.31 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 67617 0 0 0 175135 196 0 0 20 0 1 0 62285196 134856704 32605 33554432000 4194304 5646918 140735790325024 140735790323720 4402863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 32924 32605 146 355 0 32565 0
Current children cumulated CPU time (s) 1753.31
Current children cumulated vsize (KiB) 131696

[startup+1766.4 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 9646
/proc/meminfo: memFree=29514348/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=211836 CPUtime=1766.12 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 67752 0 0 0 176414 198 0 0 20 0 1 0 62285196 216920064 50113 33554432000 4194304 5646918 140735790325024 140735790323720 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 52959 50113 146 355 0 52600 0
Current children cumulated CPU time (s) 1766.12
Current children cumulated vsize (KiB) 211836

[startup+1772.8 s]
/proc/loadavg: 2.17 2.21 2.18 3/177 9646
/proc/meminfo: memFree=29573864/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=261924 CPUtime=1772.51 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 68575 0 0 0 177053 198 0 0 20 0 1 0 62285196 268210176 55022 33554432000 4194304 5646918 140735790325024 140735790323720 4388947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 65481 55022 146 355 0 65122 0
Current children cumulated CPU time (s) 1772.51
Current children cumulated vsize (KiB) 261924

[startup+1774.41 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 9646
/proc/meminfo: memFree=29557420/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=261924 CPUtime=1774.12 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 68577 0 0 0 177213 199 0 0 20 0 1 0 62285196 268210176 56046 33554432000 4194304 5646918 140735790325024 140735790323720 4397491 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 65481 56046 146 355 0 65122 0
Current children cumulated CPU time (s) 1774.12
Current children cumulated vsize (KiB) 261924

[startup+1776 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 9646
/proc/meminfo: memFree=29551276/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=261924 CPUtime=1775.72 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 68580 0 0 0 177373 199 0 0 20 0 1 0 62285196 268210176 57582 33554432000 4194304 5646918 140735790325024 140735790323720 4399766 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 65481 57582 146 355 0 65122 0
Current children cumulated CPU time (s) 1775.72
Current children cumulated vsize (KiB) 261924

[startup+1776.8 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 9646
/proc/meminfo: memFree=29545132/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=261924 CPUtime=1776.52 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 68581 0 0 0 177453 199 0 0 20 0 1 0 62285196 268210176 58094 33554432000 4194304 5646918 140735790325024 140735790323720 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 65481 58094 146 355 0 65122 0
Current children cumulated CPU time (s) 1776.52
Current children cumulated vsize (KiB) 261924

[startup+1777.2 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 9646
/proc/meminfo: memFree=29545132/32872528 swapFree=1556504/1720024
[pid=9521] ppid=9518 vsize=261924 CPUtime=1776.92 cores=0,2,4,6
/proc/9521/stat : 9521 (minisatp) R 9518 9521 6129 0 -1 4202496 68581 0 0 0 177493 199 0 0 20 0 1 0 62285196 268210176 58094 33554432000 4194304 5646918 140735790325024 140735790323720 4402772 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/9521/statm: 65481 58094 146 355 0 65122 0
Current children cumulated CPU time (s) 1776.92
Current children cumulated vsize (KiB) 261924

Child status: 0
Real time (s): 1777.25
CPU time (s): 1776.97
CPU user time (s): 1774.97
CPU system time (s): 1.9957
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 362044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.97
system time used= 1.9957
maximum resident set size= 334404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85126 second user time and 7.84081 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-22 15:32:46
IDJOB=4111866
IDBENCH=90131
IDSOLVER=2555
FILE ID=node117/4111866-1466602366
RUNJOBID= node117-1466586524-6145
PBS_JOBID= 19953369
Free space on /tmp= 71640 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111866-1466602366/watcher-4111866-1466602366 -o /tmp/evaluation-result-4111866-1466602366/solver-4111866-1466602366 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466586524-6145 --watchdog 1960  minisatp HOME/instance-4111866-1466602366.opb

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

MD5SUM BENCH= 91412677f9785e1c6465ad7d3d170f82
RANDOM SEED=1067680709

node117.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.912
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
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:        28980940 kB
Buffers:           95716 kB
Cached:           439040 kB
SwapCached:         2448 kB
Active:           972780 kB
Inactive:         453256 kB
Active(anon):     891768 kB
Inactive(anon):     1968 kB
Active(file):      81012 kB
Inactive(file):   451288 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67099588 kB
Dirty:              4288 kB
Writeback:             0 kB
AnonPages:       2613856 kB
Mapped:             7748 kB
Shmem:                 0 kB
Slab:             605976 kB
SReclaimable:      49860 kB
SUnreclaim:       556116 kB
KernelStack:        1472 kB
PageTables:         9328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2790196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1026048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4111866-1466602366.opb

Free space on /tmp at the end= 71648 MiB
End job on node117 at 2016-06-22 16:02:23