| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | SAT (TO) | 12052 | 1800.1 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb |
| MD5SUM | 83e4cddd78ca4f87cfb13af1d930e0cc |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8820 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 8781 |
| Optimality of the best value was proved | YES |
| Number of variables | 3945 |
| Total number of constraints | 8604 |
| Number of constraints which are clauses | 8604 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59 |
| Number of terms in the objective function | 1872 |
| Biggest coefficient in the objective function | 365 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 525162 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 365 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 525162 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.09/0.10 c Converting 8577 PB-constraints to clauses... 0.09/0.10 c -- Unit propagations: (none) 0.09/0.10 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################### 0.09/0.10 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.09/0.11 c ---[8486]---> BDD-cost: 1 0.09/0.11 c ---[8484]---> BDD-cost: 1 0.09/0.11 c ---[8210]---> BDD-cost: 1 0.09/0.11 c ---[8208]---> BDD-cost: 1 0.09/0.11 c ---[7986]---> BDD-cost: 1 0.09/0.11 c ---[7984]---> BDD-cost: 1 0.09/0.11 c ---[7643]---> BDD-cost: 1 0.09/0.11 c ---[7641]---> BDD-cost: 1 0.09/0.11 c ---[7322]---> BDD-cost: 1 0.09/0.11 c ---[7320]---> BDD-cost: 1 0.09/0.11 c ---[7176]---> BDD-cost: 1 0.09/0.11 c ---[7174]---> BDD-cost: 1 0.09/0.11 c ---[7052]---> BDD-cost: 1 0.09/0.11 c ---[7050]---> BDD-cost: 1 0.09/0.11 c ---[7011]---> BDD-cost: 1 0.09/0.11 c ---[7009]---> BDD-cost: 1 0.09/0.11 c ---[7007]---> BDD-cost: 1 0.09/0.11 c ---[6931]---> BDD-cost: 1 0.09/0.11 c ---[6680]---> BDD-cost: 1 0.09/0.11 c ---[6669]---> BDD-cost: 1 0.09/0.11 c ---[6616]---> BDD-cost: 1 0.09/0.11 c ---[6597]---> BDD-cost: 1 0.09/0.11 c ---[6594]---> BDD-cost: 1 0.09/0.11 c ---[6559]---> BDD-cost: 1 0.09/0.11 c ---[6473]---> BDD-cost: 1 0.09/0.11 c ---[6375]---> BDD-cost: 1 0.09/0.11 c ---[6372]---> BDD-cost: 1 0.09/0.11 c ---[5882]---> BDD-cost: 1 0.09/0.11 c ---[5760]---> BDD-cost: 1 0.09/0.11 c ---[5753]---> BDD-cost: 1 0.09/0.11 c ---[5703]---> BDD-cost: 1 0.09/0.11 c ---[5317]---> BDD-cost: 1 0.09/0.11 c ---[5256]---> BDD-cost: 1 0.09/0.11 c ---[5245]---> BDD-cost: 1 0.09/0.11 c ---[5222]---> BDD-cost: 1 0.09/0.11 c ---[5219]---> BDD-cost: 1 0.09/0.11 c ---[5196]---> BDD-cost: 1 0.09/0.11 c ---[5165]---> BDD-cost: 1 0.09/0.11 c ---[5139]---> BDD-cost: 1 0.09/0.11 c ---[5120]---> BDD-cost: 1 0.09/0.11 c ---[5117]---> BDD-cost: 1 0.09/0.11 c ---[5079]---> BDD-cost: 1 0.09/0.11 c ---[5048]---> BDD-cost: 1 0.09/0.11 c ---[4922]---> BDD-cost: 1 0.09/0.11 c ---[4887]---> BDD-cost: 1 0.09/0.11 c ---[4770]---> BDD-cost: 1 0.09/0.11 c ---[4712]---> BDD-cost: 1 0.09/0.11 c ---[4462]---> BDD-cost: 1 0.09/0.11 c ---[4432]---> BDD-cost: 1 0.09/0.11 c ---[4339]---> BDD-cost: 1 0.09/0.11 c ---[4296]---> BDD-cost: 1 0.09/0.11 c ---[4286]---> BDD-cost: 1 0.09/0.11 c ---[4279]---> BDD-cost: 1 0.09/0.11 c ---[4222]---> BDD-cost: 1 0.09/0.11 c ---[4191]---> BDD-cost: 1 0.09/0.11 c ---[4188]---> BDD-cost: 1 0.09/0.11 c ---[4141]---> BDD-cost: 1 0.09/0.11 c ---[4138]---> BDD-cost: 1 0.09/0.11 c ---[4127]---> BDD-cost: 1 0.09/0.11 c ---[4077]---> BDD-cost: 1 0.09/0.11 c ---[4074]---> BDD-cost: 1 0.09/0.11 c ---[4057]---> BDD-cost: 1 0.09/0.11 c ---[4031]---> BDD-cost: 1 0.09/0.11 c ---[3990]---> BDD-cost: 1 0.09/0.11 c ---[3770]---> BDD-cost: 1 0.09/0.11 c ---[3693]---> BDD-cost: 1 0.09/0.11 c ---[3682]---> BDD-cost: 1 0.09/0.11 c ---[3260]---> BDD-cost: 1 0.09/0.11 c ---[3219]---> BDD-cost: 1 0.09/0.11 c ---[3216]---> BDD-cost: 1 0.09/0.11 c ---[3213]---> BDD-cost: 1 0.09/0.11 c ---[3194]---> BDD-cost: 1 0.09/0.11 c ---[2864]---> BDD-cost: 1 0.09/0.11 c ---[2768]---> BDD-cost: 1 0.09/0.11 c ---[2765]---> BDD-cost: 1 0.09/0.11 c ---[2758]---> BDD-cost: 1 0.09/0.11 c ---[2712]---> BDD-cost: 1 0.09/0.11 c ---[2654]---> BDD-cost: 1 0.09/0.11 c ---[2651]---> BDD-cost: 1 0.09/0.11 c ---[2535]---> BDD-cost: 1 0.09/0.11 c ---[2528]---> BDD-cost: 1 0.09/0.11 c ---[2525]---> BDD-cost: 1 0.09/0.11 c ---[2522]---> BDD-cost: 1 0.09/0.11 c ---[2504]---> BDD-cost: 1 0.09/0.11 c ---[2454]---> BDD-cost: 1 0.09/0.11 c ---[2436]---> BDD-cost: 1 0.09/0.11 c ---[2425]---> BDD-cost: 1 0.09/0.11 c ---[2399]---> BDD-cost: 1 0.09/0.11 c ---[2095]---> BDD-cost: 1 0.09/0.11 c ---[2068]---> BDD-cost: 1 0.09/0.11 c ---[1920]---> BDD-cost: 1 0.09/0.11 c ---[1875]---> BDD-cost: 1 0.09/0.11 c ---[1856]---> BDD-cost: 1 0.09/0.11 c ---[1799]---> BDD-cost: 1 0.09/0.11 c ---[1597]---> BDD-cost: 1 0.09/0.11 c ---[1537]---> BDD-cost: 1 0.09/0.11 c ---[1289]---> BDD-cost: 1 0.09/0.11 c ---[1274]---> BDD-cost: 1 0.09/0.11 c ---[1252]---> BDD-cost: 1 0.09/0.11 c ---[1206]---> BDD-cost: 1 0.09/0.11 c ---[1199]---> BDD-cost: 1 0.09/0.11 c ---[1156]---> BDD-cost: 1 0.09/0.11 c ---[1153]---> BDD-cost: 1 0.09/0.11 c ---[1130]---> BDD-cost: 1 0.09/0.11 c ---[1127]---> BDD-cost: 1 0.09/0.11 c ---[1108]---> BDD-cost: 1 0.09/0.11 c ---[1052]---> BDD-cost: 1 0.09/0.11 c ---[1045]---> BDD-cost: 1 0.09/0.11 c ---[1038]---> BDD-cost: 1 0.09/0.11 c ---[ 977]---> BDD-cost: 1 0.09/0.11 c ---[ 883]---> BDD-cost: 1 0.09/0.11 c ---[ 876]---> BDD-cost: 1 0.09/0.11 c ---[ 873]---> BDD-cost: 1 0.09/0.11 c ---[ 855]---> BDD-cost: 1 0.09/0.11 c ---[ 848]---> BDD-cost: 1 0.09/0.11 c ---[ 807]---> BDD-cost: 1 0.09/0.11 c ---[ 800]---> BDD-cost: 1 0.09/0.11 c ---[ 793]---> BDD-cost: 1 0.09/0.11 c ---[ 787]---> BDD-cost: 1 0.09/0.11 c ---[ 741]---> BDD-cost: 1 0.09/0.11 c ---[ 726]---> BDD-cost: 1 0.09/0.11 c ---[ 707]---> BDD-cost: 1 0.09/0.11 c ---[ 655]---> BDD-cost: 1 0.09/0.11 c ---[ 641]---> BDD-cost: 1 0.09/0.11 c ---[ 594]---> BDD-cost: 1 0.09/0.11 c ---[ 587]---> BDD-cost: 1 0.09/0.11 c ---[ 568]---> BDD-cost: 1 0.09/0.11 c ---[ 565]---> BDD-cost: 1 0.09/0.11 c ---[ 546]---> BDD-cost: 1 0.09/0.11 c ---[ 543]---> BDD-cost: 1 0.09/0.11 c ---[ 508]---> BDD-cost: 1 0.09/0.11 c ---[ 493]---> BDD-cost: 1 0.09/0.11 c ---[ 462]---> BDD-cost: 1 0.09/0.11 c ---[ 455]---> BDD-cost: 1 0.09/0.11 c ---[ 442]---> BDD-cost: 1 0.09/0.11 c ---[ 425]---> BDD-cost: 1 0.09/0.11 c ---[ 364]---> BDD-cost: 1 0.09/0.11 c ---[ 357]---> BDD-cost: 1 0.09/0.11 c ---[ 350]---> BDD-cost: 1 0.09/0.11 c ---[ 339]---> BDD-cost: 1 0.09/0.11 c ---[ 322]---> BDD-cost: 1 0.09/0.11 c ---[ 251]---> BDD-cost: 1 0.09/0.11 c ---[ 248]---> BDD-cost: 1 0.09/0.11 c ---[ 237]---> BDD-cost: 1 0.09/0.11 c ---[ 219]---> BDD-cost: 1 0.09/0.11 c ---[ 208]---> BDD-cost: 1 0.09/0.11 c ---[ 153]---> BDD-cost: 1 0.09/0.11 c ---[ 146]---> BDD-cost: 1 0.09/0.11 c ---[ 143]---> BDD-cost: 1 0.09/0.11 c ---[ 132]---> BDD-cost: 1 0.09/0.11 c ---[ 105]---> BDD-cost: 1 0.09/0.11 c ---[ 86]---> BDD-cost: 1 0.09/0.11 c ---[ 71]---> BDD-cost: 1 0.09/0.11 c ---[ 52]---> BDD-cost: 1 0.09/0.11 c ---[ 49]---> BDD-cost: 1 0.09/0.11 c ---[ 47]---> BDD-cost: 1 0.09/0.11 c ---[ 36]---> BDD-cost: 1 0.09/0.11 c ---[ 25]---> BDD-cost: 1 0.09/0.11 c ---[ 8]---> BDD-cost: 1 0.09/0.11 c ---[ 6]---> BDD-cost: 1 0.09/0.11 c ---[ 4]---> BDD-cost: 1 0.09/0.11 c ---[ 2]---> BDD-cost: 1 0.09/0.11 c ---[ 0]---> BDD-cost: 1 0.09/0.12 | Eliminated clauses: 0.05 Mb | 0.09/0.12 ============================[ Search Statistics ]============================== 0.09/0.12 | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.09/0.12 =============================================================================== 0.09/0.12 =============================================================================== 0.09/0.12 c [1mFound solution: 12052[0m 0.09/0.13 c ---[ 0]---> Adder-cost: 13074 maxlim: 513110 bits: 20/19 1800.07/1800.40 | Eliminated clauses: 0.05 Mb | 1800.07/1800.40 ============================[ Search Statistics ]============================== 1800.07/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.07/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.07/1800.40 =============================================================================== 1800.07/1800.40 | 100 | 16349 97765 347178 | 35847 100 3 | 1.047 % | 1800.07/1800.40 | 250 | 16349 97765 347178 | 39431 250 3 | 1.047 % | 1800.07/1800.40 | 475 | 16345 97765 347178 | 43375 472 4 | 1.070 % | 1800.07/1800.40 | 812 | 16345 97765 347178 | 47712 809 4 | 1.070 % | 1800.07/1800.40 | 1318 | 16343 97765 347178 | 52483 1308 4 | 1.082 % | 1800.07/1800.40 | 2077 | 16343 97765 347178 | 57732 2066 4 | 1.082 % | 1800.07/1800.40 | 3216 | 16341 97765 347178 | 63505 3200 6 | 1.093 % | 1800.07/1800.40 | 4924 | 16341 97765 347178 | 69855 4908 7 | 1.093 % | 1800.07/1800.40 | 7486 | 16341 97765 347178 | 76841 7470 11 | 1.093 % | 1800.07/1800.40 | 11330 | 16338 97765 347178 | 84525 11304 15 | 1.111 % | 1800.07/1800.40 | 17096 | 16338 97765 347178 | 92978 17070 18 | 1.111 % | 1800.07/1800.40 | 25745 | 16337 97765 347178 | 102276 25716 23 | 1.117 % | 1800.07/1800.40 | 38719 | 16335 97765 347178 | 112503 38687 29 | 1.128 % | 1800.07/1800.40 | 58180 | 16335 97765 347178 | 123754 58148 32 | 1.128 % | 1800.07/1800.40 | 87372 | 16335 97765 347178 | 136129 87340 37 | 1.128 % | 1800.07/1800.40 | 131161 | 16335 97765 347178 | 149742 131129 41 | 1.128 % | 1800.07/1800.40 | 196845 | 16335 97765 347178 | 164716 70748 45 | 1.128 % | 1800.07/1800.40 | 295371 | 16335 97765 347178 | 181188 32671 35 | 1.128 % | 1800.07/1800.40 | 443160 | 16335 97765 347178 | 199307 180460 58 | 1.128 % | 1800.07/1800.40 | 664843 | 16335 97765 347178 | 219238 55537 48 | 1.128 % | 1800.07/1800.40 | 997368 | 16335 97765 347178 | 241161 198848 79 | 1.128 % | 1800.07/1800.40 | 1496156 | 16335 97765 347178 | 265277 47420 39 | 1.128 % | 1800.07/1800.40 | 2244338 | 16335 97765 347178 | 291805 83034 100 | 1.128 % | 1800.07/1800.40 | 3366612 | 16335 97765 347178 | 320986 158158 60 | 1.128 % | 1800.07/1800.40 | 5050023 | 16275 97765 347178 | 353085 84700 195 | 1.477 % | 1800.07/1800.40 | 7575139 | 16273 97765 347178 | 388393 349849 92 | 1.489 % | 1800.07/1800.40 c 1800.07/1800.40 c *** TERMINATED *** 1800.07/1800.40 s SATISFIABLE 1800.07/1800.40 v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 x428 x430 -x432 -x434 x436 x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 x524 -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 x3617 x3619 -x3621 -x3623 -x3625 -x3627 -x3629 x3631 -x3633 -x3635 -x3637 x3639 -x3641 x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 x3853 -x3855 -x3857 -x3859 -x3861 -x3863 x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2 -x233 -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387 -x389 -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 -x14 -x423 -x425 x427 x15 x429 x16 -x431 x17 -x433 x435 x437 x18 -x439 -x441 -x443 -x19 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x23 -x499 -x501 -x503 x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 x523 -x525 -x25 -x527 -x529 -x531 -x533 -x536 -x538 -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 x28 -x552 -x554 -x556 -x558 -x560 x562 -x564 -x29 -x566 -x568 -x570 -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x32 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x33 -x700 -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 x35 -x732 -x734 -x736 x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 -x1065 -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x48 -x1097 -x1099 -x1101 x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 -x1128 -x51 -x1130 -x1132 -x1134 -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 x1146 x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154 -x1156 -x57 -x1158 -x1160 -x1162 -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x61 -x1198 -x1200 -x1202 -x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x64 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x66 -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 -x1279 -x1281 -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x72 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 -x76 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x77 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x78 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 -x84 -x1641 -x1643 x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 -x1673 -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 -x1699 -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 -x1713 -x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x98 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787 -x1789 -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883 -x1885 -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 x108 -x1901 -x1903 -x1905 x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 x116 x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 x117 -x2191 -x2193 -x2195 -x2197 x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x121 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 -x2375 -x123 -x2377 -x2379 -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x127 -x2441 -x2443 -x128 -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 -x2497 -x2499 -x2501 -x133 -x2503 -x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 -x137 -x2523 -x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 -x2880 -x153 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x161 -x3175 -x3177 -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x164 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 -x3236 -x3238 -x3240 -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x168 -x3272 -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 -x3296 -x3298 -x172 -x3300 -x173 -x3302 -x174 -x3304 -x3306 -x3308 -x175 -x3310 -x3312 -x3314 -x176 -x3316 -x3318 -x3320 -x177 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 -x3354 -x3356 -x179 -x3358 -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x181 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x183 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x184 -x3522 -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610 -x3612 -x3614 x3616 x192 x3618 x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 -x3636 x3638 -x3640 x3642 -x3644 -x3646 -x3648 -x195 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3677 -x3679 -x3681 -x3683 -x3685 -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 -x198 -x3737 -x3739 -x3741 -x3743 -x3745 -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3782 x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 x3828 -x3830 -x3832 -x3834 -x202 -x3836 -x3838 -x3840 -x203 -x3842 -x3844 -x3846 -x3848 -x3850 -x204 x3852 x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 x3864 -x3866 -x3868 -x3870 -x207 -x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896 -x3898 -x3900 -x3902 x3904 x3906 -x3908 -x211 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x212 -x3938 -x213 -x3940 -x214 -x3942 -x215 -x3944 x216
OK 12052
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-4115217-1466564136/watcher-4115217-1466564136 -o /tmp/evaluation-result-4115217-1466564136/solver-4115217-1466564136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466551518-31557 --watchdog 1960 minisatp HOME/instance-4115217-1466564136.opb pid=1067 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.08 2.03 3/176 1070 /proc/meminfo: memFree=31557360/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=6884 CPUtime=0 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 421 0 0 0 0 0 0 0 20 0 1 0 58463619 7049216 297 33554432000 4194304 5646918 140736047140864 140734290116680 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 1721 297 94 355 0 1362 0 [startup+0.100166 s] /proc/loadavg: 2.03 2.08 2.03 3/176 1070 /proc/meminfo: memFree=31557360/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=12632 CPUtime=0.09 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 1853 0 0 0 9 0 0 0 20 0 1 0 58463619 12935168 1729 33554432000 4194304 5646918 140736047140864 140734290116680 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 3158 1729 97 355 0 2799 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12632 [startup+0.200331 s] /proc/loadavg: 2.03 2.08 2.03 3/176 1070 /proc/meminfo: memFree=31557360/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=11240 CPUtime=0.19 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 2659 0 0 0 19 0 0 0 20 0 1 0 58463619 11509760 2471 33554432000 4194304 5646918 140736047140864 140734290116680 4824752 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 2810 2471 137 355 0 2451 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11240 [startup+0.300334 s] /proc/loadavg: 2.03 2.08 2.03 3/176 1070 /proc/meminfo: memFree=31557360/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=15968 CPUtime=0.29 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 3835 0 0 0 29 0 0 0 20 0 1 0 58463619 16351232 3647 33554432000 4194304 5646918 140736047140864 140734290116680 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 3992 3648 137 355 0 3633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15968 [startup+0.700305 s] /proc/loadavg: 2.03 2.08 2.03 3/176 1070 /proc/meminfo: memFree=31557360/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=34312 CPUtime=0.69 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 7385 0 0 0 68 1 0 0 20 0 1 0 58463619 35135488 8219 33554432000 4194304 5646918 140736047140864 140736046473688 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 8578 8219 137 355 0 8219 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34312 [startup+1.50023 s] /proc/loadavg: 2.03 2.08 2.03 3/177 1071 /proc/meminfo: memFree=31524888/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=33460 CPUtime=1.49 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 8519 0 0 0 148 1 0 0 20 0 1 0 58463619 34263040 8035 33554432000 4194304 5646918 140736047140864 140736047139624 4461012 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 8365 8035 140 355 0 8006 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33460 [startup+3.10025 s] /proc/loadavg: 2.03 2.08 2.03 3/177 1071 /proc/meminfo: memFree=31524144/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=33460 CPUtime=3.09 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 8519 0 0 0 308 1 0 0 20 0 1 0 58463619 34263040 8035 33554432000 4194304 5646918 140736047140864 140736047139624 4817503 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 8365 8035 140 355 0 8006 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33460 [startup+6.30026 s] /proc/loadavg: 2.03 2.08 2.03 3/177 1071 /proc/meminfo: memFree=31496236/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=63812 CPUtime=6.29 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 10612 0 0 0 627 2 0 0 20 0 1 0 58463619 65343488 15215 33554432000 4194304 5646918 140736047140864 140736047139560 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 15953 15215 185 355 0 15594 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63812 [startup+12.7003 s] /proc/loadavg: 2.02 2.08 2.03 3/177 1071 /proc/meminfo: memFree=31477336/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=82668 CPUtime=12.69 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 11734 0 0 0 1266 3 0 0 20 0 1 0 58463619 84652032 19372 33554432000 4194304 5646918 140736047140864 140736047139560 4402650 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 20667 19372 185 355 0 20308 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82668 [startup+25.5004 s] /proc/loadavg: 2.02 2.08 2.03 3/177 1071 /proc/meminfo: memFree=31523280/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=104656 CPUtime=25.49 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 14758 0 0 0 2545 4 0 0 20 0 1 0 58463619 107167744 24003 33554432000 4194304 5646918 140736047140864 140736047139000 4402661 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 26164 24003 185 355 0 25805 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 104656 [startup+51.1004 s] /proc/loadavg: 2.01 2.07 2.03 3/177 1071 /proc/meminfo: memFree=31452448/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=161608 CPUtime=51.08 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 17967 0 0 0 5101 7 0 0 20 0 1 0 58463619 165486592 32194 33554432000 4194304 5646918 140736047140864 140736047139160 4396915 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 40402 32194 185 355 0 40043 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 161608 [startup+102.3 s] /proc/loadavg: 2.13 2.09 2.03 3/177 1072 /proc/meminfo: memFree=31397056/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=192428 CPUtime=102.27 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 20672 0 0 0 10215 12 0 0 20 0 1 0 58463619 197046272 42679 33554432000 4194304 5646918 140736047140864 140736047139560 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 48107 42679 185 355 0 47748 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 192428 [startup+162.3 s] /proc/loadavg: 2.16 2.10 2.04 3/177 1073 /proc/meminfo: memFree=31428384/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=112288 CPUtime=162.25 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 22916 0 0 0 16208 17 0 0 20 0 1 0 58463619 114982912 26907 33554432000 4194304 5646918 140736047140864 140736047139576 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 28072 26907 185 355 0 27713 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 112288 [startup+222.307 s] /proc/loadavg: 2.12 2.09 2.04 3/177 1074 /proc/meminfo: memFree=31415976/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=187420 CPUtime=222.25 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 26266 0 0 0 22202 23 0 0 20 0 1 0 58463619 191918080 42832 33554432000 4194304 5646918 140736047140864 140736047139160 4403416 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 46855 42832 185 355 0 46496 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 187420 [startup+282.3 s] /proc/loadavg: 2.10 2.09 2.03 3/178 1078 /proc/meminfo: memFree=31337936/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=268328 CPUtime=282.24 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 28467 0 0 0 28196 28 0 0 20 0 1 0 58463619 274767872 59584 33554432000 4194304 5646918 140736047140864 140736047139560 4402699 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 67082 59584 185 355 0 66723 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 268328 [startup+342.3 s] /proc/loadavg: 2.09 2.09 2.03 3/178 1103 /proc/meminfo: memFree=31416860/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=218240 CPUtime=342.23 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 29966 0 0 0 34193 30 0 0 20 0 1 0 58463619 223477760 51603 33554432000 4194304 5646918 140736047140864 140736047139560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 54560 51603 185 355 0 54201 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 218240 [startup+402.3 s] /proc/loadavg: 2.09 2.08 2.03 3/177 1104 /proc/meminfo: memFree=31317040/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=218240 CPUtime=402.22 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 32206 0 0 0 40187 35 0 0 20 0 1 0 58463619 223477760 51091 33554432000 4194304 5646918 140736047140864 140736047139560 4397445 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 54560 51091 185 355 0 54201 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 218240 [startup+462.3 s] /proc/loadavg: 2.09 2.08 2.03 3/177 1105 /proc/meminfo: memFree=31338116/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=187420 CPUtime=462.21 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 34397 0 0 0 46181 40 0 0 20 0 1 0 58463619 191918080 45392 33554432000 4194304 5646918 140736047140864 140736047139160 4397627 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 46855 45392 185 355 0 46496 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 187420 [startup+522.3 s] /proc/loadavg: 2.09 2.08 2.03 3/177 1106 /proc/meminfo: memFree=31284608/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=268328 CPUtime=522.2 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 36586 0 0 0 52175 45 0 0 20 0 1 0 58463619 274767872 55488 33554432000 4194304 5646918 140736047140864 140736047139560 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 67082 55488 185 355 0 66723 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 268328 [startup+582.3 s] /proc/loadavg: 2.12 2.09 2.04 3/177 1107 /proc/meminfo: memFree=31341888/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=187420 CPUtime=582.18 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 38263 0 0 0 58169 49 0 0 20 0 1 0 58463619 191918080 45392 33554432000 4194304 5646918 140736047140864 140736047139160 4402761 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 46855 45392 185 355 0 46496 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 187420 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.16 2.07 2.02 3/178 1116 /proc/meminfo: memFree=31106600/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=511220 CPUtime=882.14 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 45693 0 0 0 88148 66 0 0 20 0 1 0 58463619 523489280 111904 33554432000 4194304 5646918 140736047140864 140736047139560 4402774 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 127805 111904 185 355 0 127446 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 511220 [startup+942.3 s] /proc/loadavg: 2.06 2.06 2.02 3/177 1118 /proc/meminfo: memFree=31284684/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=167344 CPUtime=942.13 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 46992 0 0 0 94142 71 0 0 20 0 1 0 58463619 171360256 41606 33554432000 4194304 5646918 140736047140864 140736047139576 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 41836 41606 185 355 0 41477 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 167344 [startup+1002.3 s] /proc/loadavg: 2.10 2.07 2.02 3/177 1119 /proc/meminfo: memFree=31141532/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=234532 CPUtime=1002.11 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 49048 0 0 0 100136 75 0 0 20 0 1 0 58463619 240160768 57682 33554432000 4194304 5646918 140736047140864 140736047139160 4397488 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 58633 57682 185 355 0 58274 0 Current children cumulated CPU time (s) 1002.11 Current children cumulated vsize (KiB) 234532 [startup+1062.3 s] /proc/loadavg: 2.03 2.06 2.02 3/177 1120 /proc/meminfo: memFree=31295556/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=315440 CPUtime=1062.1 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 51249 0 0 0 106130 80 0 0 20 0 1 0 58463619 323010560 73922 33554432000 4194304 5646918 140736047140864 140736047139560 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 78860 73922 185 355 0 78501 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 315440 [startup+1122.3 s] /proc/loadavg: 2.04 2.06 2.02 3/177 1121 /proc/meminfo: memFree=31306708/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=315440 CPUtime=1122.09 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 53062 0 0 0 112125 84 0 0 20 0 1 0 58463619 323010560 72898 33554432000 4194304 5646918 140736047140864 140736047139560 4402901 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 78860 72898 185 355 0 78501 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 315440 [startup+1182.3 s] /proc/loadavg: 2.01 2.04 2.01 3/177 1122 /proc/meminfo: memFree=31211304/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=234532 CPUtime=1182.08 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 54719 0 0 0 118120 88 0 0 20 0 1 0 58463619 240160768 54610 33554432000 4194304 5646918 140736047140864 140736047139160 4403164 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 58633 54610 185 355 0 58274 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 234532 [startup+1242.3 s] /proc/loadavg: 2.06 2.05 2.01 3/177 1180 /proc/meminfo: memFree=31426784/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=265352 CPUtime=1242.07 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 57135 0 0 0 124115 92 0 0 20 0 1 0 58463619 271720448 62357 33554432000 4194304 5646918 140736047140864 140736047139560 4402849 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 66338 62357 185 355 0 65979 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 265352 [startup+1302.3 s] /proc/loadavg: 2.06 2.05 2.01 3/177 1236 /proc/meminfo: memFree=31238976/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=529088 CPUtime=1302.06 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 59017 0 0 0 130110 96 0 0 20 0 1 0 58463619 541786112 101011 33554432000 4194304 5646918 140736047140864 140736047139560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 132272 101011 185 355 0 131913 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 529088 [startup+1362.3 s] /proc/loadavg: 2.05 2.05 2.01 3/177 1237 /proc/meminfo: memFree=31310860/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=315440 CPUtime=1362.04 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 60334 0 0 0 136104 100 0 0 20 0 1 0 58463619 323010560 76482 33554432000 4194304 5646918 140736047140864 140736047139560 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 78860 76482 185 355 0 78501 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 315440 [startup+1422.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 1238 /proc/meminfo: memFree=31399392/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=185212 CPUtime=1422.03 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 61633 0 0 0 142100 103 0 0 20 0 1 0 58463619 189657088 46073 33554432000 4194304 5646918 140736047140864 140736047139576 4403416 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 46303 46073 185 355 0 45944 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 185212 [startup+1482.3 s] /proc/loadavg: 2.05 2.05 2.00 3/178 1242 /proc/meminfo: memFree=31240148/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=396828 CPUtime=1482.02 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 63445 0 0 0 148095 107 0 0 20 0 1 0 58463619 406351872 82114 33554432000 4194304 5646918 140736047140864 140736047139560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 99207 82114 185 355 0 98848 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 396828 [startup+1542.31 s] /proc/loadavg: 2.02 2.04 2.00 3/177 1244 /proc/meminfo: memFree=31308460/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=337448 CPUtime=1542.02 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 65034 0 0 0 154091 111 0 0 20 0 1 0 58463619 345546752 74212 33554432000 4194304 5646918 140736047140864 140736047139560 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 84362 74212 185 355 0 84003 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 337448 [startup+1602.3 s] /proc/loadavg: 2.08 2.04 2.00 3/177 1245 /proc/meminfo: memFree=31304472/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=337448 CPUtime=1602 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 66336 0 0 0 160085 115 0 0 20 0 1 0 58463619 345546752 75748 33554432000 4194304 5646918 140736047140864 140736047139560 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 84362 75748 185 355 0 84003 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 337448 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 1246 /proc/meminfo: memFree=31356028/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=207220 CPUtime=1662 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 68168 0 0 0 166081 119 0 0 20 0 1 0 58463619 212193280 50459 33554432000 4194304 5646918 140736047140864 140736047139576 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 51805 50459 185 355 0 51446 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 207220 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 1247 /proc/meminfo: memFree=31228664/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=418836 CPUtime=1721.98 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 70004 0 0 0 172076 122 0 0 20 0 1 0 58463619 428888064 94692 33554432000 4194304 5646918 140736047140864 140736047139560 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 104709 94692 185 355 0 104350 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 418836 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 1248 /proc/meminfo: memFree=31219844/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=418836 CPUtime=1781.97 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 71856 0 0 0 178071 126 0 0 20 0 1 0 58463619 428888064 96228 33554432000 4194304 5646918 140736047140864 140736047139560 4403152 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 104709 96228 185 355 0 104350 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 418836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.02 2.00 3/177 1249 /proc/meminfo: memFree=31143820/32872528 swapFree=241860/274564 [pid=1070] ppid=1067 vsize=551096 CPUtime=1800.07 cores=1,3,5,7 /proc/1070/stat : 1070 (minisatp) R 1067 1070 31540 0 -1 4202496 72858 0 0 0 179879 128 0 0 20 0 1 0 58463619 564322304 106933 33554432000 4194304 5646918 140736047140864 140736047139560 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/1070/statm: 137774 106933 185 355 0 137415 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 551096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 1070 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1798.79 CPU system time (s): 1.3018 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 551096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.79 system time used= 1.3018 maximum resident set size= 466048 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72858 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= 70 involuntary context switches= 1855 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.10622 second user time and 8.29074 second system time The end
Begin job on node107 at 2016-06-22 04:55:36 IDJOB=4115217 IDBENCH=24963 IDSOLVER=2555 FILE ID=node107/4115217-1466564136 RUNJOBID= node107-1466551518-31557 PBS_JOBID= 19943339 Free space on /tmp= 71704 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115217-1466564136/watcher-4115217-1466564136 -o /tmp/evaluation-result-4115217-1466564136/solver-4115217-1466564136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466551518-31557 --watchdog 1960 minisatp HOME/instance-4115217-1466564136.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83e4cddd78ca4f87cfb13af1d930e0cc RANDOM SEED=640811208 node107.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.953 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.953 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.953 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.55 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.953 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.56 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.953 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.953 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31558052 kB Buffers: 65108 kB Cached: 80800 kB SwapCached: 1776 kB Active: 214528 kB Inactive: 91584 kB Active(anon): 161156 kB Inactive(anon): 1424 kB Active(file): 53372 kB Inactive(file): 90160 kB Unevictable: 274564 kB Mlocked: 241860 kB SwapTotal: 67108856 kB SwapFree: 67099324 kB Dirty: 3892 kB Writeback: 0 kB AnonPages: 421940 kB Mapped: 7856 kB Shmem: 0 kB Slab: 602920 kB SReclaimable: 46508 kB SUnreclaim: 556412 kB KernelStack: 1472 kB PageTables: 4900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 591224 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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-4115217-1466564136.opb Free space on /tmp at the end= 71700 MiB End job on node107 at 2016-06-22 05:25:36