| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: minisat+ 1.14 | SAT (TO) | 73146 | 1800.1 | 1800.62 |
| 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 | 57391 |
| Best CPU time to get the best result obtained on this benchmark | 1800.5 |
| 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.11 c Converting 8577 PB-constraints to clauses... 0.09/0.12 c -- Unit propagations: (none) 0.09/0.12 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################### 0.09/0.12 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.09/0.13 c ---[8486]---> BDD-cost: 1 0.09/0.13 c ---[8484]---> BDD-cost: 1 0.09/0.13 c ---[8210]---> BDD-cost: 1 0.09/0.13 c ---[8208]---> BDD-cost: 1 0.09/0.13 c ---[7986]---> BDD-cost: 1 0.09/0.13 c ---[7984]---> BDD-cost: 1 0.09/0.13 c ---[7643]---> BDD-cost: 1 0.09/0.13 c ---[7641]---> BDD-cost: 1 0.09/0.13 c ---[7322]---> BDD-cost: 1 0.09/0.13 c ---[7320]---> BDD-cost: 1 0.09/0.13 c ---[7176]---> BDD-cost: 1 0.09/0.13 c ---[7174]---> BDD-cost: 1 0.09/0.13 c ---[7052]---> BDD-cost: 1 0.09/0.13 c ---[7050]---> BDD-cost: 1 0.09/0.13 c ---[7011]---> BDD-cost: 1 0.09/0.13 c ---[7009]---> BDD-cost: 1 0.09/0.13 c ---[7007]---> BDD-cost: 1 0.09/0.13 c ---[6931]---> BDD-cost: 1 0.09/0.13 c ---[6680]---> BDD-cost: 1 0.09/0.13 c ---[6669]---> BDD-cost: 1 0.09/0.13 c ---[6616]---> BDD-cost: 1 0.09/0.13 c ---[6597]---> BDD-cost: 1 0.09/0.13 c ---[6594]---> BDD-cost: 1 0.09/0.13 c ---[6559]---> BDD-cost: 1 0.09/0.13 c ---[6473]---> BDD-cost: 1 0.09/0.13 c ---[6375]---> BDD-cost: 1 0.09/0.13 c ---[6372]---> BDD-cost: 1 0.09/0.13 c ---[5882]---> BDD-cost: 1 0.09/0.13 c ---[5760]---> BDD-cost: 1 0.09/0.13 c ---[5753]---> BDD-cost: 1 0.09/0.13 c ---[5703]---> BDD-cost: 1 0.09/0.13 c ---[5317]---> BDD-cost: 1 0.09/0.13 c ---[5256]---> BDD-cost: 1 0.09/0.13 c ---[5245]---> BDD-cost: 1 0.09/0.13 c ---[5222]---> BDD-cost: 1 0.09/0.13 c ---[5219]---> BDD-cost: 1 0.09/0.13 c ---[5196]---> BDD-cost: 1 0.09/0.13 c ---[5165]---> BDD-cost: 1 0.09/0.13 c ---[5139]---> BDD-cost: 1 0.09/0.13 c ---[5120]---> BDD-cost: 1 0.09/0.13 c ---[5117]---> BDD-cost: 1 0.09/0.13 c ---[5079]---> BDD-cost: 1 0.09/0.13 c ---[5048]---> BDD-cost: 1 0.09/0.13 c ---[4922]---> BDD-cost: 1 0.09/0.13 c ---[4887]---> BDD-cost: 1 0.09/0.13 c ---[4770]---> BDD-cost: 1 0.09/0.13 c ---[4712]---> BDD-cost: 1 0.09/0.13 c ---[4462]---> BDD-cost: 1 0.09/0.13 c ---[4432]---> BDD-cost: 1 0.09/0.13 c ---[4339]---> BDD-cost: 1 0.09/0.13 c ---[4296]---> BDD-cost: 1 0.09/0.13 c ---[4286]---> BDD-cost: 1 0.09/0.13 c ---[4279]---> BDD-cost: 1 0.09/0.13 c ---[4222]---> BDD-cost: 1 0.09/0.13 c ---[4191]---> BDD-cost: 1 0.09/0.13 c ---[4188]---> BDD-cost: 1 0.09/0.13 c ---[4141]---> BDD-cost: 1 0.09/0.13 c ---[4138]---> BDD-cost: 1 0.09/0.13 c ---[4127]---> BDD-cost: 1 0.09/0.13 c ---[4077]---> BDD-cost: 1 0.09/0.13 c ---[4074]---> BDD-cost: 1 0.09/0.13 c ---[4057]---> BDD-cost: 1 0.09/0.13 c ---[4031]---> BDD-cost: 1 0.09/0.13 c ---[3990]---> BDD-cost: 1 0.09/0.13 c ---[3770]---> BDD-cost: 1 0.09/0.13 c ---[3693]---> BDD-cost: 1 0.09/0.13 c ---[3682]---> BDD-cost: 1 0.09/0.13 c ---[3260]---> BDD-cost: 1 0.09/0.13 c ---[3219]---> BDD-cost: 1 0.09/0.13 c ---[3216]---> BDD-cost: 1 0.09/0.13 c ---[3213]---> BDD-cost: 1 0.09/0.13 c ---[3194]---> BDD-cost: 1 0.09/0.13 c ---[2864]---> BDD-cost: 1 0.09/0.13 c ---[2768]---> BDD-cost: 1 0.09/0.13 c ---[2765]---> BDD-cost: 1 0.09/0.13 c ---[2758]---> BDD-cost: 1 0.09/0.13 c ---[2712]---> BDD-cost: 1 0.09/0.13 c ---[2654]---> BDD-cost: 1 0.09/0.13 c ---[2651]---> BDD-cost: 1 0.09/0.13 c ---[2535]---> BDD-cost: 1 0.09/0.13 c ---[2528]---> BDD-cost: 1 0.09/0.13 c ---[2525]---> BDD-cost: 1 0.09/0.13 c ---[2522]---> BDD-cost: 1 0.09/0.13 c ---[2504]---> BDD-cost: 1 0.09/0.13 c ---[2454]---> BDD-cost: 1 0.09/0.13 c ---[2436]---> BDD-cost: 1 0.09/0.13 c ---[2425]---> BDD-cost: 1 0.09/0.13 c ---[2399]---> BDD-cost: 1 0.09/0.13 c ---[2095]---> BDD-cost: 1 0.09/0.13 c ---[2068]---> BDD-cost: 1 0.09/0.13 c ---[1920]---> BDD-cost: 1 0.09/0.13 c ---[1875]---> BDD-cost: 1 0.09/0.13 c ---[1856]---> BDD-cost: 1 0.09/0.13 c ---[1799]---> BDD-cost: 1 0.09/0.13 c ---[1597]---> BDD-cost: 1 0.09/0.13 c ---[1537]---> BDD-cost: 1 0.09/0.13 c ---[1289]---> BDD-cost: 1 0.09/0.13 c ---[1274]---> BDD-cost: 1 0.09/0.13 c ---[1252]---> BDD-cost: 1 0.09/0.13 c ---[1206]---> BDD-cost: 1 0.09/0.13 c ---[1199]---> BDD-cost: 1 0.09/0.13 c ---[1156]---> BDD-cost: 1 0.09/0.13 c ---[1153]---> BDD-cost: 1 0.09/0.13 c ---[1130]---> BDD-cost: 1 0.09/0.13 c ---[1127]---> BDD-cost: 1 0.09/0.13 c ---[1108]---> BDD-cost: 1 0.09/0.13 c ---[1052]---> BDD-cost: 1 0.09/0.13 c ---[1045]---> BDD-cost: 1 0.09/0.13 c ---[1038]---> BDD-cost: 1 0.09/0.13 c ---[ 977]---> BDD-cost: 1 0.09/0.13 c ---[ 883]---> BDD-cost: 1 0.09/0.13 c ---[ 876]---> BDD-cost: 1 0.09/0.13 c ---[ 873]---> BDD-cost: 1 0.09/0.13 c ---[ 855]---> BDD-cost: 1 0.09/0.13 c ---[ 848]---> BDD-cost: 1 0.09/0.13 c ---[ 807]---> BDD-cost: 1 0.09/0.13 c ---[ 800]---> BDD-cost: 1 0.09/0.13 c ---[ 793]---> BDD-cost: 1 0.09/0.13 c ---[ 787]---> BDD-cost: 1 0.09/0.13 c ---[ 741]---> BDD-cost: 1 0.09/0.13 c ---[ 726]---> BDD-cost: 1 0.09/0.13 c ---[ 707]---> BDD-cost: 1 0.09/0.13 c ---[ 655]---> BDD-cost: 1 0.09/0.13 c ---[ 641]---> BDD-cost: 1 0.09/0.13 c ---[ 594]---> BDD-cost: 1 0.09/0.13 c ---[ 587]---> BDD-cost: 1 0.09/0.13 c ---[ 568]---> BDD-cost: 1 0.09/0.13 c ---[ 565]---> BDD-cost: 1 0.09/0.13 c ---[ 546]---> BDD-cost: 1 0.09/0.13 c ---[ 543]---> BDD-cost: 1 0.09/0.13 c ---[ 508]---> BDD-cost: 1 0.09/0.13 c ---[ 493]---> BDD-cost: 1 0.09/0.13 c ---[ 462]---> BDD-cost: 1 0.09/0.13 c ---[ 455]---> BDD-cost: 1 0.09/0.13 c ---[ 442]---> BDD-cost: 1 0.09/0.13 c ---[ 425]---> BDD-cost: 1 0.09/0.13 c ---[ 364]---> BDD-cost: 1 0.09/0.13 c ---[ 357]---> BDD-cost: 1 0.09/0.13 c ---[ 350]---> BDD-cost: 1 0.09/0.13 c ---[ 339]---> BDD-cost: 1 0.09/0.13 c ---[ 322]---> BDD-cost: 1 0.09/0.13 c ---[ 251]---> BDD-cost: 1 0.09/0.13 c ---[ 248]---> BDD-cost: 1 0.09/0.13 c ---[ 237]---> BDD-cost: 1 0.09/0.13 c ---[ 219]---> BDD-cost: 1 0.09/0.13 c ---[ 208]---> BDD-cost: 1 0.09/0.13 c ---[ 153]---> BDD-cost: 1 0.09/0.13 c ---[ 146]---> BDD-cost: 1 0.09/0.13 c ---[ 143]---> BDD-cost: 1 0.09/0.13 c ---[ 132]---> BDD-cost: 1 0.09/0.13 c ---[ 105]---> BDD-cost: 1 0.09/0.13 c ---[ 86]---> BDD-cost: 1 0.09/0.13 c ---[ 71]---> BDD-cost: 1 0.09/0.13 c ---[ 52]---> BDD-cost: 1 0.09/0.13 c ---[ 49]---> BDD-cost: 1 0.09/0.13 c ---[ 47]---> BDD-cost: 1 0.09/0.13 c ---[ 36]---> BDD-cost: 1 0.09/0.13 c ---[ 25]---> BDD-cost: 1 0.09/0.13 c ---[ 8]---> BDD-cost: 1 0.09/0.13 c ---[ 6]---> BDD-cost: 1 0.09/0.13 c ---[ 4]---> BDD-cost: 1 0.09/0.13 c ---[ 2]---> BDD-cost: 1 0.09/0.13 c ---[ 0]---> BDD-cost: 1 0.09/0.13 c ==================================[MINISAT+]================================== 0.09/0.13 c | Conflicts | Original | Learnt | Progress | 0.09/0.13 c | | Clauses Literals | Max Clauses Literals LPC | | 0.09/0.13 c ============================================================================== 0.09/0.13 c | 0 | 7516 19194 | 2505 0 0 nan | 0.000 % | 0.09/0.13 c ============================================================================== 0.09/0.13 c [1mFound solution: 73146[0m 0.09/0.13 o 73146 0.09/0.14 c ---[ 0]---> Adder-cost: 17944 maxlim: 2963047 bits: 22/22 16.58/16.63 c ==================================[MINISAT+]================================== 16.58/16.63 c | Conflicts | Original | Learnt | Progress | 16.58/16.63 c | | Clauses Literals | Max Clauses Literals LPC | | 16.58/16.63 c ============================================================================== 16.58/16.63 c | 0 | 132991 467331 | 44330 0 0 nan | 0.000 % | 16.58/16.68 c | 100 | 132799 466671 | 48763 73 226 3.1 | 0.984 % | 16.69/16.70 c | 250 | 132726 466419 | 53639 212 710 3.3 | 1.043 % | 16.69/16.71 c | 475 | 132717 466390 | 59003 436 1647 3.8 | 1.052 % | 16.69/16.74 c | 812 | 132717 466390 | 64903 773 3100 4.0 | 1.052 % | 16.79/16.82 c | 1318 | 132717 466390 | 71393 1279 5266 4.1 | 1.052 % | 16.89/16.98 c | 2078 | 132717 466390 | 78533 2039 9073 4.4 | 1.052 % | 17.29/17.35 c | 3217 | 132717 466390 | 86386 3178 14585 4.6 | 1.052 % | 17.49/17.52 c | 4925 | 132717 466390 | 95025 4886 43153 8.8 | 1.052 % | 18.29/18.36 c | 7487 | 132717 466390 | 104527 7448 58741 7.9 | 1.052 % | 19.48/19.57 c | 11332 | 132717 466390 | 114980 11293 84563 7.5 | 1.052 % | 20.48/20.57 c | 17098 | 132717 466390 | 126478 17059 163925 9.6 | 1.052 % | 22.68/22.70 c | 25747 | 132717 466390 | 139126 25708 257405 10.0 | 1.052 % | 23.88/23.90 c | 38721 | 132717 466390 | 153039 38682 639783 16.5 | 1.052 % | 26.87/26.94 c | 58182 | 132717 466390 | 168343 58143 1190795 20.5 | 1.052 % | 32.67/32.72 c | 87376 | 132717 466390 | 185177 87337 4285441 49.1 | 1.052 % | 41.17/41.29 c | 131165 | 132717 466390 | 203695 131126 7220611 55.1 | 1.052 % | 60.67/60.78 c | 196850 | 132717 466390 | 224064 196811 15876352 80.7 | 1.052 % | 80.96/81.06 c | 295377 | 132717 466390 | 246471 87831 5040352 57.4 | 1.052 % | 194.15/194.24 c | 443166 | 132717 466390 | 271118 235620 53065219 225.2 | 1.052 % | 401.72/401.88 c | 664851 | 132717 466390 | 298230 206939 70332088 339.9 | 1.052 % | 795.70/796.00 c | 997377 | 132717 466390 | 328053 258612 114698003 443.5 | 1.052 % | 1515.34/1515.85 c | 1496166 | 132717 466390 | 360858 143790 68772060 478.3 | 1.052 % | 1800.09/1800.61 c 1800.09/1800.61 c *** TERMINATED *** 1800.09/1800.61 s SATISFIABLE 1800.09/1800.61 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 73146
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721628-1338558088/watcher-3721628-1338558088 -o /tmp/evaluation-result-3721628-1338558088/solver-3721628-1338558088 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721628-1338558088.opb 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.00 2.06 2.01 3/176 26643 /proc/meminfo: memFree=24817484/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=1560 CPUtime=0 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 235 0 0 0 0 0 0 0 20 0 1 0 321936033 1597440 193 33554432000 134512640 135395479 4294120272 4294119104 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 390 193 74 216 0 172 0 [startup+0.034593 s] /proc/loadavg: 2.00 2.06 2.01 3/176 26643 /proc/meminfo: memFree=24817484/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=2184 CPUtime=0.03 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 408 0 0 0 3 0 0 0 20 0 1 0 321936033 2236416 366 33554432000 134512640 135395479 4294120272 4294118700 135005913 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 546 366 75 216 0 328 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2184 [startup+0.100257 s] /proc/loadavg: 2.00 2.06 2.01 3/176 26643 /proc/meminfo: memFree=24817484/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=3576 CPUtime=0.09 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 731 0 0 0 9 0 0 0 20 0 1 0 321936033 3661824 689 33554432000 134512640 135395479 4294120272 4294118252 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 894 689 75 216 0 676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3576 [startup+0.300226 s] /proc/loadavg: 2.00 2.06 2.01 3/176 26643 /proc/meminfo: memFree=24817484/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=7728 CPUtime=0.29 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 1949 0 0 0 29 0 0 0 20 0 1 0 321936033 7913472 1782 33554432000 134512640 135395479 4294120272 4293544396 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 1932 1783 103 216 0 1714 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7728 [startup+0.700292 s] /proc/loadavg: 2.00 2.06 2.01 3/176 26643 /proc/meminfo: memFree=24817484/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=17780 CPUtime=0.69 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 4462 0 0 0 69 0 0 0 20 0 1 0 321936033 18206720 4269 33554432000 134512640 135395479 4294120272 4293831820 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 4445 4269 103 216 0 4227 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17780 [startup+1.50023 s] /proc/loadavg: 2.00 2.06 2.01 3/177 26644 /proc/meminfo: memFree=24801704/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=16332 CPUtime=1.48 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 4768 0 0 0 148 0 0 0 20 0 1 0 321936033 16723968 3916 33554432000 134512640 135395479 4294120272 4294116752 135005324 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 4083 3916 106 216 0 3865 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 16332 [startup+3.10023 s] /proc/loadavg: 2.00 2.06 2.01 3/177 26644 /proc/meminfo: memFree=24801184/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=16332 CPUtime=3.08 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 4768 0 0 0 308 0 0 0 20 0 1 0 321936033 16723968 3916 33554432000 134512640 135395479 4294120272 4294117072 134680006 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 4083 3916 106 216 0 3865 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16332 [startup+6.30022 s] /proc/loadavg: 2.00 2.06 2.01 3/177 26644 /proc/meminfo: memFree=24800564/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=16332 CPUtime=6.28 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 4768 0 0 0 628 0 0 0 20 0 1 0 321936033 16723968 3916 33554432000 134512640 135395479 4294120272 4294116388 135003232 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 4083 3916 106 216 0 3865 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16332 [startup+12.7002 s] /proc/loadavg: 2.00 2.06 2.01 3/177 26644 /proc/meminfo: memFree=24799332/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=16332 CPUtime=12.68 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 4768 0 0 0 1268 0 0 0 20 0 1 0 321936033 16723968 3916 33554432000 134512640 135395479 4294120272 4294117296 135012153 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 4083 3916 106 216 0 3865 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16332 [startup+25.5003 s] /proc/loadavg: 2.00 2.06 2.01 3/177 26644 /proc/meminfo: memFree=24761992/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=53808 CPUtime=25.47 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 12420 0 0 0 2545 2 0 0 20 0 1 0 321936033 55099392 12778 33554432000 134512640 135395479 4294120272 4294118736 134588726 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 13452 12778 123 216 0 13234 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 53808 [startup+51.1003 s] /proc/loadavg: 2.06 2.07 2.01 3/177 26644 /proc/meminfo: memFree=24706256/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=103288 CPUtime=51.07 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 24776 0 0 0 5102 5 0 0 20 0 1 0 321936033 105766912 25134 33554432000 134512640 135395479 4294120272 4294118172 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 25822 25134 123 216 0 25604 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 103288 [startup+102.307 s] /proc/loadavg: 2.08 2.07 2.02 3/177 26644 /proc/meminfo: memFree=24663980/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=128172 CPUtime=102.27 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 30945 0 0 0 10220 7 0 0 20 0 1 0 321936033 131248128 31303 33554432000 134512640 135395479 4294120272 4294118624 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 32043 31303 123 216 0 31825 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 128172 [startup+162.3 s] /proc/loadavg: 2.03 2.05 2.01 3/177 26644 /proc/meminfo: memFree=24549032/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=225848 CPUtime=162.26 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 55370 0 0 0 16210 16 0 0 20 0 1 0 321936033 231268352 55728 33554432000 134512640 135395479 4294120272 4294118624 134580919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 56462 55728 123 216 0 56244 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 225848 [startup+222.3 s] /proc/loadavg: 2.05 2.06 2.01 3/177 26644 /proc/meminfo: memFree=24441028/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=314884 CPUtime=222.25 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 77643 0 0 0 22201 24 0 0 20 0 1 0 321936033 322441216 78001 33554432000 134512640 135395479 4294120272 4294118624 134580816 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 78721 78001 123 216 0 78503 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 314884 [startup+282.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 26645 /proc/meminfo: memFree=24423672/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=314884 CPUtime=282.24 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 77643 0 0 0 28200 24 0 0 20 0 1 0 321936033 322441216 78001 33554432000 134512640 135395479 4294120272 4294118624 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 78721 78001 123 216 0 78503 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 314884 [startup+342.3 s] /proc/loadavg: 2.05 2.05 2.00 3/177 26645 /proc/meminfo: memFree=24423552/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=314884 CPUtime=342.23 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 77643 0 0 0 34199 24 0 0 20 0 1 0 321936033 322441216 78001 33554432000 134512640 135395479 4294120272 4294118624 134580854 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 78721 78001 123 216 0 78503 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 314884 [startup+402.3 s] /proc/loadavg: 2.06 2.05 2.00 3/177 26645 /proc/meminfo: memFree=24393792/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=345184 CPUtime=402.22 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 85192 0 0 0 40195 27 0 0 20 0 1 0 321936033 353468416 85550 33554432000 134512640 135395479 4294120272 4294118624 134580756 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 86296 85550 123 216 0 86078 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 345184 [startup+462.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 26696 /proc/meminfo: memFree=25268744/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=426088 CPUtime=462.2 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 105453 0 0 0 46184 36 0 0 20 0 1 0 321936033 436314112 105798 33554432000 134512640 135395479 4294120272 4294118624 134580959 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 106522 105798 123 216 0 106304 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 426088 [startup+522.3 s] /proc/loadavg: 2.04 2.05 2.00 3/178 26699 /proc/meminfo: memFree=25204888/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=487168 CPUtime=522.15 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 120784 0 0 0 52171 44 0 0 20 0 1 0 321936033 498860032 121087 33554432000 134512640 135395479 4294120272 4294118624 134580923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 121792 121087 123 216 0 121574 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 487168 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 26700 /proc/meminfo: memFree=25201748/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=487688 CPUtime=582.1 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 120948 0 0 0 58166 44 0 0 20 0 1 0 321936033 499392512 121207 33554432000 134512640 135395479 4294120272 4294118624 134581436 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 121922 121207 123 216 0 121704 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 487688 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 26700 /proc/meminfo: memFree=25132020/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=553132 CPUtime=822 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 137406 0 0 0 82148 52 0 0 20 0 1 0 321936033 566407168 137619 33554432000 134512640 135395479 4294120272 4294118624 134581183 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 138283 137619 123 216 0 138065 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 553132 [startup+882.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 26701 /proc/meminfo: memFree=25061216/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=623564 CPUtime=881.99 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 154873 0 0 0 88139 60 0 0 20 0 1 0 321936033 638529536 155086 33554432000 134512640 135395479 4294120272 4294118172 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 155891 155086 123 216 0 155673 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 623564 [startup+942.3 s] /proc/loadavg: 2.06 2.04 2.00 3/177 26701 /proc/meminfo: memFree=25039764/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=643248 CPUtime=941.98 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 159806 0 0 0 94136 62 0 0 20 0 1 0 321936033 658685952 160019 33554432000 134512640 135395479 4294120272 4294118624 134580840 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 160812 160019 123 216 0 160594 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 643248 [startup+1002.3 s] /proc/loadavg: 2.06 2.04 2.00 3/177 26701 /proc/meminfo: memFree=25039080/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=643248 CPUtime=1001.97 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 159807 0 0 0 100135 62 0 0 20 0 1 0 321936033 658685952 160019 33554432000 134512640 135395479 4294120272 4294118624 134581488 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 160812 160019 123 216 0 160594 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 643248 [startup+1062.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 26701 /proc/meminfo: memFree=25038104/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=643248 CPUtime=1061.94 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 159832 0 0 0 106132 62 0 0 20 0 1 0 321936033 658685952 160029 33554432000 134512640 135395479 4294120272 4294118144 134574149 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 160812 160029 123 216 0 160594 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 643248 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/178 26704 /proc/meminfo: memFree=25035336/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=643248 CPUtime=1121.89 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 159880 0 0 0 112127 62 0 0 20 0 1 0 321936033 658685952 160040 33554432000 134512640 135395479 4294120272 4294118624 134580783 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 160812 160040 123 216 0 160594 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 643248 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/178 26728 /proc/meminfo: memFree=25034928/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=643248 CPUtime=1181.88 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 159883 0 0 0 118126 62 0 0 20 0 1 0 321936033 658685952 160040 33554432000 134512640 135395479 4294120272 4294118144 134574221 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 160812 160040 123 216 0 160594 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 643248 [startup+1242.3 s] /proc/loadavg: 2.04 2.03 2.00 3/177 26728 /proc/meminfo: memFree=25035612/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=643248 CPUtime=1241.87 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 159883 0 0 0 124125 62 0 0 20 0 1 0 321936033 658685952 160040 33554432000 134512640 135395479 4294120272 4294118624 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 160812 160040 123 216 0 160594 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 643248 [startup+1302.3 s] /proc/loadavg: 2.05 2.03 2.00 3/176 26728 /proc/meminfo: memFree=25036192/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=643248 CPUtime=1301.87 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 159883 0 0 0 130125 62 0 0 20 0 1 0 321936033 658685952 160040 33554432000 134512640 135395479 4294120272 4294118624 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 160812 160040 123 216 0 160594 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 643248 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 26729 /proc/meminfo: memFree=24996272/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1361.86 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169567 0 0 0 136118 68 0 0 20 0 1 0 321936033 698449920 169724 33554432000 134512640 135395479 4294120272 4294118528 134568540 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169724 123 216 0 170302 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 682080 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.00 3/177 26729 /proc/meminfo: memFree=24994288/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1421.86 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169567 0 0 0 142118 68 0 0 20 0 1 0 321936033 698449920 169724 33554432000 134512640 135395479 4294120272 4294118624 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169724 123 216 0 170302 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 682080 [startup+1482.3 s] /proc/loadavg: 2.08 2.04 2.01 3/177 26730 /proc/meminfo: memFree=24994164/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1481.84 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169567 0 0 0 148116 68 0 0 20 0 1 0 321936033 698449920 169724 33554432000 134512640 135395479 4294120272 4294118624 134580941 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169724 123 216 0 170302 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 682080 [startup+1542.3 s] /proc/loadavg: 2.07 2.05 2.01 3/177 26730 /proc/meminfo: memFree=24994228/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1541.83 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169568 0 0 0 154115 68 0 0 20 0 1 0 321936033 698449920 169724 33554432000 134512640 135395479 4294120272 4294118624 134581053 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169724 123 216 0 170302 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 682080 [startup+1602.3 s] /proc/loadavg: 2.06 2.05 2.01 3/177 26730 /proc/meminfo: memFree=24992860/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1601.81 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169587 0 0 0 160113 68 0 0 20 0 1 0 321936033 698449920 169741 33554432000 134512640 135395479 4294120272 4294118624 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169741 123 216 0 170302 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 682080 [startup+1662.3 s] /proc/loadavg: 2.06 2.05 2.01 3/177 26730 /proc/meminfo: memFree=24991492/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1661.8 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169587 0 0 0 166112 68 0 0 20 0 1 0 321936033 698449920 169741 33554432000 134512640 135395479 4294120272 4294118624 134581463 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169741 123 216 0 170302 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 682080 [startup+1722.3 s] /proc/loadavg: 2.06 2.06 2.00 3/178 26733 /proc/meminfo: memFree=24991204/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1721.79 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169587 0 0 0 172111 68 0 0 20 0 1 0 321936033 698449920 169741 33554432000 134512640 135395479 4294120272 4294118624 134580854 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169741 123 216 0 170302 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 682080 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.00 3/177 26734 /proc/meminfo: memFree=24991480/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1781.78 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169587 0 0 0 178110 68 0 0 20 0 1 0 321936033 698449920 169741 33554432000 134512640 135395479 4294120272 4294118624 134581451 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169741 123 216 0 170302 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 682080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.04 2.05 2.00 3/177 26734 /proc/meminfo: memFree=24991480/32873648 swapFree=6852/6852 [pid=26643] ppid=26641 vsize=682080 CPUtime=1800.09 cores=1,3,5,7 /proc/26643/stat : 26643 (minisat+) R 26641 26643 25976 0 -1 4202496 169594 0 0 0 179941 68 0 0 20 0 1 0 321936033 698449920 169748 33554432000 134512640 135395479 4294120272 4294118240 134579560 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/26643/statm: 170520 169748 123 216 0 170302 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 682080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.62 CPU time (s): 1800.1 CPU user time (s): 1799.42 CPU system time (s): 0.683896 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 682080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.683896 maximum resident set size= 679000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 169596 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= 316 involuntary context switches= 1841 runsolver used 3.49047 second user time and 9.53355 second system time The end
Begin job on node112 at 2012-06-01 15:41:28 IDJOB=3721628 IDBENCH=25048 IDSOLVER=2306 FILE ID=node112/3721628-1338558088 RUNJOBID= node112-1338552598-26043 PBS_JOBID= 14635872 Free space on /tmp= 71232 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721628-1338558088/watcher-3721628-1338558088 -o /tmp/evaluation-result-3721628-1338558088/solver-3721628-1338558088 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721628-1338558088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED=344541432 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 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.52 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 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.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 24817748 kB Buffers: 525192 kB Cached: 5778212 kB SwapCached: 0 kB Active: 2495520 kB Inactive: 4698660 kB Active(anon): 879736 kB Inactive(anon): 10936 kB Active(file): 1615784 kB Inactive(file): 4687724 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 896652 kB Mapped: 14808 kB Shmem: 200 kB Slab: 721056 kB SReclaimable: 165132 kB SUnreclaim: 555924 kB KernelStack: 1456 kB PageTables: 5736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1006840 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 860160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721628-1338558088.opb Free space on /tmp at the end= 71236 MiB End job on node112 at 2012-06-01 16:11:30