Trace number 3722839

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
PB12: minisatp 1.0-2-g022594cSAT 1019.93 1020.14

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
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 benchmark15.9726
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 69
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.00/0.01	c Converting 3876 PB-constraints to clauses...
0.00/0.01	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.00/0.01	c   -- Detecting intervals from adjacent constraints: #################################################################
0.00/0.01	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.01	c ---[ 130]---> BDD-cost:  107
0.00/0.01	c ---[ 128]---> BDD-cost:  107
0.00/0.01	c ---[ 126]---> BDD-cost:  107
0.00/0.01	c ---[ 124]---> BDD-cost:  107
0.00/0.01	c ---[ 122]---> BDD-cost:  107
0.00/0.01	c ---[ 120]---> BDD-cost:  107
0.00/0.01	c ---[ 118]---> BDD-cost:  107
0.00/0.01	c ---[ 116]---> BDD-cost:  107
0.00/0.01	c ---[ 114]---> BDD-cost:  107
0.00/0.01	c ---[ 112]---> BDD-cost:  107
0.00/0.01	c ---[ 110]---> BDD-cost:  107
0.00/0.01	c ---[ 108]---> BDD-cost:  107
0.00/0.01	c ---[ 106]---> BDD-cost:  107
0.00/0.01	c ---[ 104]---> BDD-cost:  107
0.00/0.01	c ---[ 102]---> BDD-cost:  107
0.00/0.01	c ---[ 100]---> BDD-cost:  107
0.00/0.01	c ---[  98]---> BDD-cost:  107
0.00/0.01	c ---[  96]---> BDD-cost:  107
0.00/0.01	c ---[  94]---> BDD-cost:  107
0.00/0.01	c ---[  92]---> BDD-cost:  107
0.00/0.01	c ---[  90]---> BDD-cost:  107
0.00/0.01	c ---[  88]---> BDD-cost:  107
0.00/0.01	c ---[  86]---> BDD-cost:  107
0.00/0.01	c ---[  84]---> BDD-cost:  107
0.00/0.01	c ---[  82]---> BDD-cost:  107
0.00/0.01	c ---[  80]---> BDD-cost:  107
0.00/0.01	c ---[  78]---> BDD-cost:  107
0.00/0.01	c ---[  76]---> BDD-cost:  107
0.00/0.01	c ---[  74]---> BDD-cost:  107
0.00/0.01	c ---[  72]---> BDD-cost:  107
0.00/0.01	c ---[  70]---> BDD-cost:  107
0.00/0.01	c ---[  68]---> BDD-cost:  107
0.00/0.01	c ---[  66]---> BDD-cost:  107
0.00/0.01	c ---[  64]---> BDD-cost:  107
0.00/0.01	c ---[  62]---> BDD-cost:  107
0.00/0.01	c ---[  60]---> BDD-cost:  107
0.00/0.01	c ---[  58]---> BDD-cost:  107
0.00/0.01	c ---[  56]---> BDD-cost:  107
0.00/0.01	c ---[  54]---> BDD-cost:  107
0.00/0.01	c ---[  52]---> BDD-cost:  107
0.00/0.01	c ---[  50]---> BDD-cost:  107
0.00/0.01	c ---[  48]---> BDD-cost:  107
0.00/0.01	c ---[  46]---> BDD-cost:  107
0.00/0.01	c ---[  44]---> BDD-cost:  107
0.00/0.01	c ---[  42]---> BDD-cost:  107
0.00/0.01	c ---[  40]---> BDD-cost:  107
0.00/0.01	c ---[  38]---> BDD-cost:  107
0.00/0.01	c ---[  36]---> BDD-cost:  107
0.00/0.01	c ---[  34]---> BDD-cost:  107
0.00/0.01	c ---[  32]---> BDD-cost:  107
0.00/0.01	c ---[  30]---> BDD-cost:  107
0.00/0.01	c ---[  28]---> BDD-cost:  107
0.00/0.01	c ---[  26]---> BDD-cost:  107
0.00/0.01	c ---[  24]---> BDD-cost:  107
0.00/0.01	c ---[  22]---> BDD-cost:  105
0.00/0.01	c ---[  20]---> BDD-cost:  101
0.00/0.01	c ---[  18]---> BDD-cost:   95
0.00/0.01	c ---[  16]---> BDD-cost:   83
0.00/0.02	c ---[  14]---> BDD-cost:   67
0.00/0.02	c ---[  12]---> BDD-cost:   55
0.00/0.02	c ---[  10]---> BDD-cost:   41
0.00/0.02	c ---[   8]---> BDD-cost:   27
0.00/0.02	c ---[   6]---> BDD-cost:   15
0.00/0.02	c ---[   4]---> BDD-cost:    7
0.00/0.02	c ---[   2]---> BDD-cost:    1
0.00/0.02	c ==================================[MINISAT+]==================================
0.00/0.02	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   19241    55136 |    6413       0        0    -nan |  0.000 % |
0.00/0.03	c |       100 |   18995    54472 |    7054      99     6591    66.6 |  6.357 % |
0.00/0.04	c |       252 |   18995    54472 |    7759     251    21955    87.5 |  6.357 % |
0.00/0.07	c |       479 |   18878    54154 |    8535     475    39668    83.5 |  6.930 % |
0.00/0.10	c |       816 |   18875    54147 |    9389     811    78474    96.8 |  6.940 % |
0.00/0.16	c |      1324 |   18875    54147 |   10328    1319   155468   117.9 |  6.940 % |
0.00/0.24	c |      2083 |   18875    54147 |   11361    2078   277140   133.4 |  6.940 % |
0.00/0.41	c |      3222 |   18875    54147 |   12497    3217   486005   151.1 |  6.940 % |
0.00/0.63	c |      4931 |   18875    54147 |   13746    4926   743617   151.0 |  6.940 % |
0.00/1.05	c |      7494 |   18863    54117 |   15121    7483  1218775   162.9 |  6.980 % |
1.68/1.72	c |     11341 |   18863    54117 |   16633   11330  1952680   172.3 |  6.980 % |
2.98/3.07	c |     17108 |   18854    54093 |   18297   17096  3312322   193.7 |  7.019 % |
4.78/4.87	c |     25757 |   18851    54085 |   20126   15715  2960738   188.4 |  7.029 % |
7.79/7.84	c |     38731 |   18851    54085 |   22139   17498  2987647   170.7 |  7.029 % |
13.88/13.99	c |     58192 |   18851    54085 |   24353   13076  2168146   165.8 |  7.029 % |
22.78/22.81	c |     87386 |   18851    54085 |   26788   15424  3249685   210.7 |  7.029 % |
41.78/41.90	c |    131179 |   18851    54085 |   29467   29497  5670267   192.2 |  7.029 % |
71.07/71.16	c |    196866 |   18851    54085 |   32414   30233  5483742   181.4 |  7.029 % |
114.07/114.12	c |    295393 |   18851    54085 |   35655   23829  3799195   159.4 |  7.029 % |
174.36/174.47	c |    443183 |   18830    54028 |   39221   28935  4728485   163.4 |  7.098 % |
283.61/283.70	c |    664866 |   18830    54028 |   43143   28588  5405207   189.1 |  7.098 % |
419.19/419.36	c |    997391 |   18824    54010 |   47457   21897  3753324   171.4 |  7.118 % |
687.03/687.29	c |   1496179 |   18821    54002 |   52203   33726  6859137   203.4 |  7.128 % |
1019.88/1020.13	c ==============================================================================
1019.88/1020.13	c SATISFIABLE: No goal function specified.
1019.88/1020.13	s SATISFIABLE
1019.88/1020.13	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
1019.88/1020.13	c _______________________________________________________________________________
1019.88/1020.13	c 
1019.88/1020.13	c restarts              : 23
1019.88/1020.13	c conflicts             : 2140093        (2099 /sec)
1019.88/1020.13	c decisions             : 5898819        (5784 /sec)
1019.88/1020.13	c propagations          : 0              (0 /sec)
1019.88/1020.13	c inspects              : 0              (0 /sec)
1019.88/1020.13	c CPU time              : 1019.81 s
1019.88/1020.13	c _______________________________________________________________________________

Verifier Data

OK	0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3722839-1338579876/watcher-3722839-1338579876 -o /tmp/evaluation-result-3722839-1338579876/solver-3722839-1338579876 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722839-1338579876.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29192
/proc/meminfo: memFree=28832040/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0

[startup+0.105952 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29192
/proc/meminfo: memFree=28832040/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200286 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29192
/proc/meminfo: memFree=28832040/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300266 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29192
/proc/meminfo: memFree=28832040/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700245 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29192
/proc/meminfo: memFree=28832040/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 29197
/proc/meminfo: memFree=28820220/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=13168 CPUtime=1.48 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 3118 0 0 0 148 0 0 0 20 0 1 0 324111994 13484032 3074 33554432000 4194304 5276501 140737001167040 140737001164936 4637016 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 3292 3074 116 265 0 3024 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22316

[startup+3.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 29197
/proc/meminfo: memFree=28812780/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=20420 CPUtime=3.08 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 4943 0 0 0 307 1 0 0 20 0 1 0 324111994 20910080 4899 33554432000 4194304 5276501 140737001167040 140737001165032 4633200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 5105 4899 116 265 0 4837 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29568

[startup+6.3003 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 29197
/proc/meminfo: memFree=28801992/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=24564 CPUtime=6.28 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 5974 0 0 0 627 1 0 0 20 0 1 0 324111994 25153536 5930 33554432000 4194304 5276501 140737001167040 140737001165288 4390960 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 6141 5930 117 265 0 5873 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33712

[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 29197
/proc/meminfo: memFree=28791352/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=26664 CPUtime=12.69 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 6487 0 0 0 1267 2 0 0 20 0 1 0 324111994 27303936 6443 33554432000 4194304 5276501 140737001167040 140737001165032 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 6666 6443 117 265 0 6398 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35812

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 29197
/proc/meminfo: memFree=28762336/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=37308 CPUtime=25.48 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 9109 0 0 0 2545 3 0 0 20 0 1 0 324111994 38203392 9065 33554432000 4194304 5276501 140737001167040 140737001165288 4395041 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 9327 9065 117 265 0 9059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46456

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 29197
/proc/meminfo: memFree=28742676/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=43060 CPUtime=51.07 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 10531 0 0 0 5104 3 0 0 20 0 1 0 324111994 44093440 10487 33554432000 4194304 5276501 140737001167040 140737001165224 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 10765 10487 117 265 0 10497 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52208

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29197
/proc/meminfo: memFree=28735956/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=49060 CPUtime=102.28 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 11938 0 0 0 10224 4 0 0 20 0 1 0 324111994 50237440 11894 33554432000 4194304 5276501 140737001167040 140737001165208 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 12265 11894 117 265 0 11997 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 58208

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29197
/proc/meminfo: memFree=28725528/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=59584 CPUtime=162.26 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 14471 0 0 0 16222 4 0 0 20 0 1 0 324111994 61014016 14427 33554432000 4194304 5276501 140737001167040 140737001165448 4399829 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 14896 14427 117 265 0 14628 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 68732

[startup+222.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 29197
/proc/meminfo: memFree=28712056/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=71604 CPUtime=222.23 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 17386 0 0 0 22217 6 0 0 20 0 1 0 324111994 73322496 17640 33554432000 4194304 5276501 140737001167040 140737001165224 4400448 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 17901 17640 117 265 0 17633 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 80752

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 29197
/proc/meminfo: memFree=28707280/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=76808 CPUtime=282.21 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 18591 0 0 0 28215 6 0 0 20 0 1 0 324111994 78651392 18849 33554432000 4194304 5276501 140737001167040 140737001165224 4395062 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 19202 18849 117 265 0 18934 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 85956

[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 29201
/proc/meminfo: memFree=28700204/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=84204 CPUtime=342.2 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 20346 0 0 0 34214 6 0 0 20 0 1 0 324111994 86224896 20604 33554432000 4194304 5276501 140737001167040 140737001165224 4399942 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 21051 20604 117 265 0 20783 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 93352

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29201
/proc/meminfo: memFree=28697296/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29202
/proc/meminfo: memFree=28646636/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=114152 CPUtime=642.13 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 27587 0 0 0 64204 9 0 0 20 0 1 0 324111994 116891648 28080 33554432000 4194304 5276501 140737001167040 140737001165272 4390912 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 28538 28080 117 265 0 28270 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 123300

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29202
/proc/meminfo: memFree=28632500/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=114368 CPUtime=702.12 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 27632 0 0 0 70203 9 0 0 20 0 1 0 324111994 117112832 28125 33554432000 4194304 5276501 140737001167040 140737001165272 4400441 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 28592 28125 117 265 0 28324 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 123516

[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29202
/proc/meminfo: memFree=28631384/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=115472 CPUtime=762.12 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 27849 0 0 0 76203 9 0 0 20 0 1 0 324111994 118243328 28342 33554432000 4194304 5276501 140737001167040 140737001165272 4395041 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 28868 28342 117 265 0 28600 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 124620

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29202
/proc/meminfo: memFree=28630764/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=116092 CPUtime=822.11 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 27982 0 0 0 82202 9 0 0 20 0 1 0 324111994 118878208 28475 33554432000 4194304 5276501 140737001167040 140737001165272 4397856 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 29023 28475 117 265 0 28755 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 125240

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29202
/proc/meminfo: memFree=28594912/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=116092 CPUtime=882.1 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 27984 0 0 0 88201 9 0 0 20 0 1 0 324111994 118878208 28477 33554432000 4194304 5276501 140737001167040 140737001165272 4394737 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 29023 28477 117 265 0 28755 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 125240

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29206
/proc/meminfo: memFree=28547100/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=118408 CPUtime=942.09 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 28505 0 0 0 94199 10 0 0 20 0 1 0 324111994 121249792 29071 33554432000 4194304 5276501 140737001167040 140737001165272 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 29602 29071 117 265 0 29334 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 127556

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28539040/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126340 CPUtime=1002.08 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30438 0 0 0 100197 11 0 0 20 0 1 0 324111994 129372160 31004 33554432000 4194304 5276501 140737001167040 140737001165448 4395233 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31585 31004 117 265 0 31317 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 135488

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

[startup+1011.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28538916/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126532 CPUtime=1010.98 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30460 0 0 0 101087 11 0 0 20 0 1 0 324111994 129568768 31026 33554432000 4194304 5276501 140737001167040 140737001165224 4400452 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31633 31026 117 265 0 31365 0
Current children cumulated CPU time (s) 1010.98
Current children cumulated vsize (KiB) 135680

[startup+1014.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28538916/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126532 CPUtime=1014.18 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30460 0 0 0 101407 11 0 0 20 0 1 0 324111994 129568768 31026 33554432000 4194304 5276501 140737001167040 140737001165224 4395233 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31633 31026 117 265 0 31365 0
Current children cumulated CPU time (s) 1014.18
Current children cumulated vsize (KiB) 135680

[startup+1017.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28538916/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126532 CPUtime=1017.39 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30460 0 0 0 101728 11 0 0 20 0 1 0 324111994 129568768 31026 33554432000 4194304 5276501 140737001167040 140737001165224 4399860 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31633 31026 117 265 0 31365 0
Current children cumulated CPU time (s) 1017.39
Current children cumulated vsize (KiB) 135680

[startup+1019.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28538916/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126532 CPUtime=1018.98 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30460 0 0 0 101887 11 0 0 20 0 1 0 324111994 129568768 31026 33554432000 4194304 5276501 140737001167040 140737001165224 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31633 31026 117 265 0 31365 0
Current children cumulated CPU time (s) 1018.98
Current children cumulated vsize (KiB) 135680

[startup+1019.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28538916/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126532 CPUtime=1019.38 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30460 0 0 0 101927 11 0 0 20 0 1 0 324111994 129568768 31026 33554432000 4194304 5276501 140737001167040 140737001165224 4394769 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31633 31026 117 265 0 31365 0
Current children cumulated CPU time (s) 1019.38
Current children cumulated vsize (KiB) 135680

[startup+1020 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28538916/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126532 CPUtime=1019.78 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30460 0 0 0 101967 11 0 0 20 0 1 0 324111994 129568768 31026 33554432000 4194304 5276501 140737001167040 140737001165224 4399826 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31633 31026 117 265 0 31365 0
Current children cumulated CPU time (s) 1019.78
Current children cumulated vsize (KiB) 135680

[startup+1020.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29229
/proc/meminfo: memFree=28538916/32873844 swapFree=7644/7644
[pid=29192] ppid=29190 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29192/stat : 29192 (minisat+_script) S 29190 29192 26286 0 -1 4202496 385 551 0 0 0 0 0 0 20 0 1 0 324111993 9367552 277 33554432000 4194304 5064252 140737440678496 140737440677408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29192/statm: 2287 277 236 213 0 72 0
[pid=29196] ppid=29192 vsize=126532 CPUtime=1019.88 cores=0,2,4,6
/proc/29196/stat : 29196 (minisat+_64-bit) R 29192 29192 26286 0 -1 4202496 30460 0 0 0 101977 11 0 0 20 0 1 0 324111994 129568768 31026 33554432000 4194304 5276501 140737001167040 140737001165224 4399866 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29196/statm: 31633 31026 117 265 0 31365 0
Current children cumulated CPU time (s) 1019.88
Current children cumulated vsize (KiB) 135680

Child status: 0
Real time (s): 1020.14
CPU time (s): 1019.93
CPU user time (s): 1019.81
CPU system time (s): 0.113982
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 135680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.81
system time used= 0.113982
maximum resident set size= 124104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31410
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= 65
involuntary context switches= 1049

runsolver used 1.92571 second user time and 5.36018 second system time

The end

Launcher Data

Begin job on node147 at 2012-06-01 21:44:36
IDJOB=3722839
IDBENCH=90229
IDSOLVER=2307
FILE ID=node147/3722839-1338579876
RUNJOBID= node147-1338570335-28135
PBS_JOBID= 14635837
Free space on /tmp= 70784 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722839-1338579876/watcher-3722839-1338579876 -o /tmp/evaluation-result-3722839-1338579876/solver-3722839-1338579876 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3722839-1338579876.opb

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=1525542692

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28831660 kB
Buffers:          413624 kB
Cached:          2382904 kB
SwapCached:         3380 kB
Active:          1768900 kB
Inactive:        1414840 kB
Active(anon):     383292 kB
Inactive(anon):     5920 kB
Active(file):    1385608 kB
Inactive(file):  1408920 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              2384 kB
Writeback:             0 kB
AnonPages:        392136 kB
Mapped:             9856 kB
Shmem:                 0 kB
Slab:             719088 kB
SReclaimable:     160352 kB
SUnreclaim:       558736 kB
KernelStack:        1472 kB
PageTables:         4436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     508828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70780 MiB
End job on node147 at 2012-06-01 22:01:36