| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| minisatp 2012-10-02 git-d91742b | SAT (TO) | 69675 | 1800.09 | 1800.42 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
| MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 61123 |
| Best CPU time to get the best result obtained on this benchmark | 1800.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| 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 | 2110 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3036193 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2110 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3036193 |
| Number of bits of the biggest sum of numbers | 22 |
| 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.11 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################### 0.09/0.11 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.12 c ---[ 132]---> BDD-cost: 1 0.09/0.12 c ---[ 105]---> BDD-cost: 1 0.09/0.12 c ---[ 86]---> BDD-cost: 1 0.09/0.12 c ---[ 71]---> BDD-cost: 1 0.09/0.12 c ---[ 52]---> BDD-cost: 1 0.09/0.12 c ---[ 49]---> BDD-cost: 1 0.09/0.12 c ---[ 47]---> BDD-cost: 1 0.09/0.12 c ---[ 36]---> BDD-cost: 1 0.09/0.12 c ---[ 25]---> BDD-cost: 1 0.09/0.12 c ---[ 8]---> BDD-cost: 1 0.09/0.12 c ---[ 6]---> BDD-cost: 1 0.09/0.12 c ---[ 4]---> BDD-cost: 1 0.09/0.12 c ---[ 2]---> BDD-cost: 1 0.09/0.12 c ---[ 0]---> BDD-cost: 1 0.09/0.13 | Eliminated clauses: 0.05 Mb | 0.09/0.13 ============================[ Search Statistics ]============================== 0.09/0.13 | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.09/0.13 =============================================================================== 0.09/0.13 =============================================================================== 0.09/0.13 c [1mFound solution: 69675[0m 0.09/0.14 c ---[ 0]---> Adder-cost: 17944 maxlim: 2966518 bits: 22/22 1800.05/1800.40 | Eliminated clauses: 0.05 Mb | 1800.05/1800.40 ============================[ Search Statistics ]============================== 1800.05/1800.40 | Conflicts | ORIGINAL | LEARNT | Progress | 1800.05/1800.40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1800.05/1800.40 =============================================================================== 1800.05/1800.40 | 100 | 21195 131716 468417 | 48295 100 3 | 0.943 % | 1800.05/1800.40 | 250 | 21195 131716 468417 | 53125 250 4 | 0.943 % | 1800.05/1800.40 | 475 | 21195 131716 468417 | 58437 475 4 | 0.943 % | 1800.05/1800.40 | 812 | 21195 131716 468417 | 64281 812 4 | 0.943 % | 1800.05/1800.40 | 1318 | 21182 131716 468417 | 70709 1317 4 | 1.002 % | 1800.05/1800.40 | 2077 | 21182 131716 468417 | 77780 2076 5 | 1.002 % | 1800.05/1800.40 | 3216 | 21182 131716 468417 | 85559 3215 5 | 1.002 % | 1800.05/1800.40 | 4924 | 21182 131716 468417 | 94114 4923 10 | 1.002 % | 1800.05/1800.40 | 7486 | 21182 131716 468417 | 103526 7485 14 | 1.002 % | 1800.05/1800.40 | 11330 | 21182 131716 468417 | 113879 11329 18 | 1.002 % | 1800.05/1800.40 | 17096 | 21182 131716 468417 | 125267 17095 20 | 1.002 % | 1800.05/1800.40 | 25745 | 21182 131716 468417 | 137793 25744 23 | 1.002 % | 1800.05/1800.40 | 38719 | 21182 131716 468417 | 151573 38718 29 | 1.002 % | 1800.05/1800.40 | 58180 | 21182 131716 468417 | 166730 58179 31 | 1.002 % | 1800.05/1800.40 | 87372 | 21182 131716 468417 | 183403 87371 37 | 1.002 % | 1800.05/1800.40 | 131161 | 21169 131716 468417 | 201743 131159 43 | 1.061 % | 1800.05/1800.40 | 196845 | 21169 131716 468417 | 221918 196843 48 | 1.061 % | 1800.05/1800.40 | 295371 | 21168 131716 468417 | 244110 97192 72 | 1.065 % | 1800.05/1800.40 | 443160 | 21168 131716 468417 | 268521 244981 74 | 1.065 % | 1800.05/1800.40 | 664843 | 21168 131716 468417 | 295373 222402 56 | 1.065 % | 1800.05/1800.40 | 997368 | 21168 131716 468417 | 324910 277830 91 | 1.065 % | 1800.05/1800.40 | 1496156 | 21164 131716 468417 | 357401 171164 151 | 1.083 % | 1800.05/1800.40 | 2244338 | 21164 131716 468417 | 393141 267360 301 | 1.083 % | 1800.05/1800.40 | 3366612 | 21164 131716 468417 | 432455 298085 154 | 1.083 % | 1800.05/1800.40 c 1800.05/1800.40 c *** TERMINATED *** 1800.05/1800.40 s SATISFIABLE 1800.05/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 69675
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-4112030-1466567729/watcher-4112030-1466567729 -o /tmp/evaluation-result-4112030-1466567729/solver-4112030-1466567729 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466551518-24318 --watchdog 1960 minisatp HOME/instance-4112030-1466567729.opb pid=26229 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.26 2.26 2.20 3/176 26232 /proc/meminfo: memFree=30120296/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=6880 CPUtime=0 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 58819757 7045120 274 33554432000 4194304 5646918 140734205862912 140734185063928 4264411 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 1720 280 94 355 0 1361 0 [startup+0.10019 s] /proc/loadavg: 2.26 2.26 2.20 3/176 26232 /proc/meminfo: memFree=30120296/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=12304 CPUtime=0.09 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 1786 0 0 0 9 0 0 0 20 0 1 0 58819757 12599296 1663 33554432000 4194304 5646918 140734205862912 140734185063928 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 3076 1664 97 355 0 2717 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12304 [startup+0.200315 s] /proc/loadavg: 2.26 2.26 2.20 3/176 26232 /proc/meminfo: memFree=30120296/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=11240 CPUtime=0.19 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 2656 0 0 0 19 0 0 0 20 0 1 0 58819757 11509760 2469 33554432000 4194304 5646918 140734205862912 140734205861384 4823795 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 2810 2469 137 355 0 2451 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11240 [startup+0.300316 s] /proc/loadavg: 2.26 2.26 2.20 3/176 26232 /proc/meminfo: memFree=30120296/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=15452 CPUtime=0.28 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 3715 0 0 0 28 0 0 0 20 0 1 0 58819757 15822848 3528 33554432000 4194304 5646918 140734205862912 140734205861384 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 3863 3531 137 355 0 3504 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 15452 [startup+0.700301 s] /proc/loadavg: 2.26 2.26 2.20 3/176 26232 /proc/meminfo: memFree=30120296/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=35304 CPUtime=0.69 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 8187 0 0 0 68 1 0 0 20 0 1 0 58819757 36151296 8511 33554432000 4194304 5646918 140734205862912 140734205861384 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 8826 8511 137 355 0 8467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35304 [startup+1.50019 s] /proc/loadavg: 2.24 2.25 2.19 3/177 26233 /proc/meminfo: memFree=30150824/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=38144 CPUtime=1.48 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 10205 0 0 0 147 1 0 0 20 0 1 0 58819757 39059456 9211 33554432000 4194304 5646918 140734205862912 140734205861672 4817614 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 9536 9211 140 355 0 9177 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 38144 [startup+3.10019 s] /proc/loadavg: 2.24 2.25 2.19 3/177 26233 /proc/meminfo: memFree=30150452/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=38144 CPUtime=3.08 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 10205 0 0 0 307 1 0 0 20 0 1 0 58819757 39059456 9211 33554432000 4194304 5646918 140734205862912 140734205861672 4823346 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 9536 9211 140 355 0 9177 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 38144 [startup+6.30019 s] /proc/loadavg: 2.22 2.25 2.19 3/177 26233 /proc/meminfo: memFree=30150328/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=38144 CPUtime=6.28 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 10205 0 0 0 627 1 0 0 20 0 1 0 58819757 39059456 9211 33554432000 4194304 5646918 140734205862912 140734205861672 4309324 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 9536 9211 140 355 0 9177 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38144 [startup+12.7002 s] /proc/loadavg: 2.28 2.26 2.20 4/177 26233 /proc/meminfo: memFree=30112172/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=38144 CPUtime=12.68 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 10205 0 0 0 1267 1 0 0 20 0 1 0 58819757 39059456 9211 33554432000 4194304 5646918 140734205862912 140734205861672 4823259 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 9536 9211 140 355 0 9177 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38144 [startup+25.5004 s] /proc/loadavg: 2.30 2.26 2.20 3/177 26289 /proc/meminfo: memFree=30179668/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=109724 CPUtime=25.49 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 17811 0 0 0 2545 4 0 0 20 0 1 0 58819757 112357376 25440 33554432000 4194304 5646918 140734205862912 140734205861608 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 27431 25440 186 355 0 27072 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 109724 [startup+51.1004 s] /proc/loadavg: 2.20 2.24 2.19 4/177 26289 /proc/meminfo: memFree=30140484/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=128692 CPUtime=51.07 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 21207 0 0 0 5102 5 0 0 20 0 1 0 58819757 131780608 29072 33554432000 4194304 5646918 140734205862912 140734205861608 4398960 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 32173 29072 186 355 0 31814 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 128692 [startup+102.3 s] /proc/loadavg: 2.23 2.25 2.19 4/177 26290 /proc/meminfo: memFree=30047528/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=167944 CPUtime=102.28 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 27471 0 0 0 10219 9 0 0 20 0 1 0 58819757 171974656 37774 33554432000 4194304 5646918 140734205862912 140734205861048 4402774 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 41986 37774 186 355 0 41627 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 167944 [startup+162.3 s] /proc/loadavg: 2.35 2.28 2.20 3/177 26292 /proc/meminfo: memFree=30006256/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=225100 CPUtime=162.26 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 33633 0 0 0 16212 14 0 0 20 0 1 0 58819757 230502400 54569 33554432000 4194304 5646918 140734205862912 140734205861048 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 56275 54569 186 355 0 55916 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 225100 [startup+222.307 s] /proc/loadavg: 2.25 2.25 2.19 3/177 26293 /proc/meminfo: memFree=29975212/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=314620 CPUtime=222.26 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 38686 0 0 0 22208 18 0 0 20 0 1 0 58819757 322170880 61571 33554432000 4194304 5646918 140734205862912 140734205861016 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 78655 61571 186 355 0 78296 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 314620 [startup+282.3 s] /proc/loadavg: 2.18 2.24 2.19 4/178 26297 /proc/meminfo: memFree=29958380/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=237060 CPUtime=282.24 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 41677 0 0 0 28202 22 0 0 20 0 1 0 58819757 242749440 52689 33554432000 4194304 5646918 140734205862912 140734205861048 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 59265 52689 186 355 0 58906 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 237060 [startup+342.3 s] /proc/loadavg: 2.16 2.22 2.18 3/178 26321 /proc/meminfo: memFree=29860472/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=456000 CPUtime=342.24 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 44007 0 0 0 34197 27 0 0 20 0 1 0 58819757 466944000 89761 33554432000 4194304 5646918 140734205862912 140734205861048 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 114000 89761 186 355 0 113641 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 456000 [startup+402.3 s] /proc/loadavg: 2.23 2.22 2.18 3/177 26322 /proc/meminfo: memFree=29885596/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=325832 CPUtime=402.23 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 47712 0 0 0 40191 32 0 0 20 0 1 0 58819757 333651968 61768 33554432000 4194304 5646918 140734205862912 140734205861048 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 81458 61768 186 355 0 81099 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 325832 [startup+462.3 s] /proc/loadavg: 2.17 2.21 2.18 4/177 26324 /proc/meminfo: memFree=29869844/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=461548 CPUtime=462.22 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 49068 0 0 0 46187 35 0 0 20 0 1 0 58819757 472625152 87651 33554432000 4194304 5646918 140734205862912 140734205861048 4402863 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 115387 87651 186 355 0 115028 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 461548 [startup+522.3 s] /proc/loadavg: 2.20 2.21 2.18 3/177 26325 /proc/meminfo: memFree=29844792/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=331516 CPUtime=522.2 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 52781 0 0 0 52180 40 0 0 20 0 1 0 58819757 339472384 77977 33554432000 4194304 5646918 140734205862912 140734205861048 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 82879 77977 186 355 0 82520 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 331516 [startup+582.3 s] /proc/loadavg: 2.19 2.20 2.18 3/177 26326 /proc/meminfo: memFree=29619288/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=467796 CPUtime=582.18 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 54271 0 0 0 58174 44 0 0 20 0 1 0 58819757 479023104 111677 33554432000 4194304 5646918 140734205862912 140734205861048 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 116949 111677 186 355 0 116590 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 467796 ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.22 2.23 2.19 3/178 26335 /proc/meminfo: memFree=29747540/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=483328 CPUtime=882.1 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 65404 0 0 0 88148 62 0 0 20 0 1 0 58819757 494927872 91263 33554432000 4194304 5646918 140734205862912 140734205861048 4403427 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 120832 91263 186 355 0 120473 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 483328 [startup+942.3 s] /proc/loadavg: 2.24 2.23 2.18 4/177 26336 /proc/meminfo: memFree=29920824/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=190464 CPUtime=942.08 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 68129 0 0 0 94143 65 0 0 20 0 1 0 58819757 195035136 43781 33554432000 4194304 5646918 140734205862912 140734205861608 4403201 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 47616 43781 186 355 0 47257 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 190464 [startup+1002.3 s] /proc/loadavg: 2.17 2.22 2.18 3/177 26337 /proc/meminfo: memFree=29795056/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=353888 CPUtime=1002.08 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 70300 0 0 0 100139 69 0 0 20 0 1 0 58819757 362381312 77629 33554432000 4194304 5646918 140734205862912 140734205861048 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 88472 77629 186 355 0 88113 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 353888 [startup+1062.3 s] /proc/loadavg: 2.16 2.20 2.18 3/177 26339 /proc/meminfo: memFree=29689264/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=487596 CPUtime=1062.07 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 71167 0 0 0 106135 72 0 0 20 0 1 0 58819757 499298304 104554 33554432000 4194304 5646918 140734205862912 140734205861048 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 121899 104554 186 355 0 121540 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 487596 [startup+1122.3 s] /proc/loadavg: 2.24 2.21 2.18 3/177 26340 /proc/meminfo: memFree=29835824/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=276788 CPUtime=1122.05 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 74330 0 0 0 112129 76 0 0 20 0 1 0 58819757 283430912 65183 33554432000 4194304 5646918 140734205862912 140734205861048 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 69197 65183 186 355 0 68838 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 276788 [startup+1182.3 s] /proc/loadavg: 2.18 2.20 2.18 3/177 26341 /proc/meminfo: memFree=29717080/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=492300 CPUtime=1182.05 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 75782 0 0 0 118125 80 0 0 20 0 1 0 58819757 504115200 93712 33554432000 4194304 5646918 140734205862912 140734205861048 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 123075 93712 186 355 0 122716 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 492300 [startup+1242.3 s] /proc/loadavg: 2.29 2.22 2.19 3/177 26342 /proc/meminfo: memFree=29896756/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=199348 CPUtime=1242.04 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 77484 0 0 0 124121 83 0 0 20 0 1 0 58819757 204132352 46233 33554432000 4194304 5646918 140734205862912 140734205861608 4402815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 49837 46233 186 355 0 49478 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 199348 [startup+1302.3 s] /proc/loadavg: 2.16 2.19 2.18 3/177 26343 /proc/meminfo: memFree=29809360/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=363548 CPUtime=1302.03 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 79820 0 0 0 130117 86 0 0 20 0 1 0 58819757 372273152 79215 33554432000 4194304 5646918 140734205862912 140734205861048 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 90887 79215 186 355 0 90528 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 363548 [startup+1362.3 s] /proc/loadavg: 2.13 2.18 2.18 3/177 26345 /proc/meminfo: memFree=29626256/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=496796 CPUtime=1362.02 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 80575 0 0 0 136113 89 0 0 20 0 1 0 58819757 508719104 106029 33554432000 4194304 5646918 140734205862912 140734205861048 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 124199 106029 186 355 0 123840 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 496796 [startup+1422.3 s] /proc/loadavg: 2.18 2.19 2.18 3/177 26346 /proc/meminfo: memFree=29806800/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=284324 CPUtime=1422.01 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 82696 0 0 0 142107 94 0 0 20 0 1 0 58819757 291147776 66627 33554432000 4194304 5646918 140734205862912 140734205861048 4403201 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 71081 66627 186 355 0 70722 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 284324 [startup+1482.3 s] /proc/loadavg: 2.25 2.20 2.18 3/178 26350 /proc/meminfo: memFree=29581656/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=498540 CPUtime=1482 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 83604 0 0 0 148103 97 0 0 20 0 1 0 58819757 510504960 100747 33554432000 4194304 5646918 140734205862912 140734205861048 4397445 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 124635 100747 186 355 0 124276 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 498540 [startup+1542.31 s] /proc/loadavg: 2.26 2.22 2.19 3/177 26351 /proc/meminfo: memFree=29543016/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=715784 CPUtime=1542 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 84618 0 0 0 154100 100 0 0 20 0 1 0 58819757 732962816 134975 33554432000 4194304 5646918 140734205862912 140734205861048 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 178946 134975 186 355 0 178587 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 715784 [startup+1602.3 s] /proc/loadavg: 2.25 2.22 2.19 3/177 26352 /proc/meminfo: memFree=29938452/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=288492 CPUtime=1601.98 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 86757 0 0 0 160093 105 0 0 20 0 1 0 58819757 295415808 61452 33554432000 4194304 5646918 140734205862912 140734205861048 4399417 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 72123 61452 186 355 0 71764 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 288492 [startup+1662.3 s] /proc/loadavg: 2.25 2.23 2.18 3/177 26354 /proc/meminfo: memFree=29789132/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=504276 CPUtime=1661.98 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 88012 0 0 0 166089 109 0 0 20 0 1 0 58819757 516378624 96944 33554432000 4194304 5646918 140734205862912 140734205861048 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 126069 96944 186 355 0 125710 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 504276 [startup+1722.3 s] /proc/loadavg: 2.20 2.21 2.18 3/177 26355 /proc/meminfo: memFree=29500748/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=722004 CPUtime=1721.96 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 89153 0 0 0 172083 113 0 0 20 0 1 0 58819757 739332096 134877 33554432000 4194304 5646918 140734205862912 140734205861048 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 180501 134877 186 355 0 180142 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 722004 [startup+1782.3 s] /proc/loadavg: 2.17 2.20 2.18 4/177 26356 /proc/meminfo: memFree=29350960/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=724528 CPUtime=1781.95 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 89801 0 0 0 178079 116 0 0 20 0 1 0 58819757 741916672 173850 33554432000 4194304 5646918 140734205862912 140734205861048 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 181132 173850 186 355 0 180773 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 724528 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.20 2.21 2.18 3/177 26356 /proc/meminfo: memFree=29393272/32872528 swapFree=1498360/1645528 [pid=26232] ppid=26229 vsize=1074172 CPUtime=1800.05 cores=1,3,5,7 /proc/26232/stat : 26232 (minisatp) R 26229 26232 24301 0 -1 4202496 90439 0 0 0 179888 117 0 0 20 0 1 0 58819757 1099952128 184197 33554432000 4194304 5646918 140734205862912 140734205861608 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/26232/statm: 268543 184197 186 355 0 268184 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1074172 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 26232 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.42 CPU time (s): 1800.09 CPU user time (s): 1798.89 CPU system time (s): 1.20082 CPU usage (%): 99.9812 Max. virtual memory (cumulated for all children) (KiB): 1074172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.89 system time used= 1.20082 maximum resident set size= 736788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90439 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= 94 involuntary context switches= 1853 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54331 second user time and 6.94494 second system time The end
Begin job on node124 at 2016-06-22 05:55:29 IDJOB=4112030 IDBENCH=25048 IDSOLVER=2555 FILE ID=node124/4112030-1466567729 RUNJOBID= node124-1466551518-24318 PBS_JOBID= 19943334 Free space on /tmp= 71724 MiB SOLVER NAME= minisatp 2012-10-02 git-d91742b BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= minisatp BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112030-1466567729/watcher-4112030-1466567729 -o /tmp/evaluation-result-4112030-1466567729/solver-4112030-1466567729 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466551518-24318 --watchdog 1960 minisatp HOME/instance-4112030-1466567729.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED=1783876806 node124.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.791 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.58 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.791 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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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.55 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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30121584 kB Buffers: 76728 kB Cached: 70240 kB SwapCached: 6160 kB Active: 259284 kB Inactive: 97428 kB Active(anon): 206412 kB Inactive(anon): 5948 kB Active(file): 52872 kB Inactive(file): 91480 kB Unevictable: 1645528 kB Mlocked: 1498360 kB SwapTotal: 67108856 kB SwapFree: 67095208 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 1862632 kB Mapped: 7888 kB Shmem: 0 kB Slab: 601008 kB SReclaimable: 45312 kB SUnreclaim: 555696 kB KernelStack: 1456 kB PageTables: 7580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1991572 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 299008 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-4112030-1466567729.opb Free space on /tmp at the end= 71720 MiB End job on node124 at 2016-06-22 06:25:30