Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 11087 | 1800.02 | 1800.55 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb |
MD5SUM | 83e4cddd78ca4f87cfb13af1d930e0cc |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8781 |
Best CPU time to get the best result obtained on this benchmark | 44.9172 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8781 |
Optimality of the best value was proved | YES |
Number of variables | 3945 |
Total number of constraints | 8604 |
Number of constraints which are clauses | 8604 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 59 |
Number of terms in the objective function | 1872 |
Biggest coefficient in the objective function | 365 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 525162 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 365 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 525162 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/372316-1177087519/instance-372316-1177087519.opb 0.00/0.00 c File size is 269106 bytes. 0.00/0.05 c Highest Coefficient sum: 525162 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.048 s 0.00/0.05 c Var: 3945 Constr: 8604 8604/0/0 Lit: 22124 Watch. Lit: 17206 0.00/0.05 c Obj. Vars: 1872 (47.4525 % of total variables) 0.09/0.10 c Pre-processing Time: 0.102 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 3777 7190 18848 2 14380 2396 0 0 0.10 0.09/0.10 c Switching off LPR mode. 0.09/0.11 o 11675 0.107 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3777 7191 20718 2 16210 6136 1 0 0.11 0.09/0.11 o 11623 0.113 18.88/18.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.88/18.93 c 1 3777 7193 22658 3 18042 6136 3 8 0.12 18.88/18.93 c 101 3777 7293 29129 3 18244 6750 103 635 0.16 18.88/18.93 c 351 3777 7543 46108 6 18744 7426 353 1365 0.26 18.88/18.93 c 827 3777 8019 78022 9 19696 8169 829 1892 0.44 18.88/18.93 c 1640 3777 8832 118604 13 21322 8986 1642 2129 0.77 18.88/18.93 c 2961 3777 10153 194561 19 23963 9885 2963 2191 1.35 18.88/18.93 c 5042 3777 12234 329521 26 28124 10874 5044 2092 2.41 18.88/18.93 c 8265 3777 15457 560493 36 34570 11962 8267 1992 4.15 18.88/18.93 c 13201 3777 13173 450410 34 28174 13159 5983 1947 6.78 18.88/18.93 c 20709 3777 13772 452105 32 29373 14475 6582 1957 10.58 18.88/18.93 c 32070 3777 15802 792173 50 33432 15923 8612 1696 18.90 18.88/18.93 o 11594 18.927 48.28/48.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.28/48.36 c 32142 3777 15875 798991 50 35408 6136 8685 1698 18.93 48.28/48.36 c 32243 3777 10361 238708 23 22550 6750 3171 1690 19.07 48.28/48.36 c 32493 3777 10611 258743 24 23051 7426 3421 1693 19.18 48.28/48.36 c 32968 3777 11086 296189 26 24001 8169 3896 1696 19.43 48.28/48.36 c 33782 3777 11900 345709 29 25628 8986 4710 1718 19.66 48.28/48.36 c 35102 3777 13220 427616 32 28268 9885 6030 1733 20.25 48.28/48.36 c 37183 3777 15301 547397 35 32431 10874 8111 1751 21.23 48.28/48.36 c 40406 3777 12629 360035 28 27086 11962 5439 1794 22.51 48.28/48.36 c 45344 3777 17567 651487 37 36962 13159 10377 1870 24.25 48.28/48.36 c 52850 3777 16104 772843 47 34036 14475 8914 1788 29.55 48.28/48.36 c 64212 3777 18023 1029560 57 37875 15923 10833 1775 36.17 48.28/48.36 c 81356 3777 15154 520143 34 32137 17516 7964 1684 48.29 48.28/48.36 o 11568 48.351 48.88/48.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.88/48.93 c 81503 3777 15302 531074 34 34262 6136 8112 1685 48.35 48.88/48.93 c 81603 3777 10360 211190 20 22549 6750 3170 1677 48.64 48.88/48.93 c 81853 3777 10610 223886 21 23049 7426 3420 1679 48.74 48.88/48.93 o 11556 48.92 113.17/113.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.17/113.25 c 82105 3777 10863 242696 22 25386 6136 3673 1678 48.92 113.17/113.25 c 82205 3777 10963 248192 22 25586 6750 3773 1678 48.98 113.17/113.25 c 82455 3777 11213 263819 23 26083 7426 4023 1679 49.09 113.17/113.25 c 82930 3777 11688 286237 24 27032 8169 4498 1682 49.29 113.17/113.25 c 83743 3777 12501 332791 26 28658 8986 5311 1686 49.65 113.17/113.25 c 85064 3777 13822 425133 30 31300 9885 6632 1697 50.12 113.17/113.25 c 87146 3777 15904 564435 35 35466 10874 8714 1705 51.11 113.17/113.25 c 90369 3777 12629 375844 29 27086 11962 5439 1721 52.48 113.17/113.25 c 95305 3777 17565 724045 41 36958 13159 10375 1745 54.59 113.17/113.25 c 102811 3777 16341 588720 36 34511 14475 9151 1785 57.60 113.17/113.25 c 114172 3777 18364 777167 42 38557 15923 11174 1749 65.26 113.17/113.25 c 131316 3777 15154 917208 60 32136 17516 7964 1675 78.37 113.17/113.25 c 157135 3777 17697 1076128 60 37223 19268 10507 1388 113.20 113.17/113.25 o 11461 113.216 113.76/113.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.76/113.80 c 157135 3777 17698 1077998 60 39054 6136 10508 1387 113.22 113.76/113.80 c 157235 3777 10360 333082 32 22549 6750 3170 1383 113.61 113.76/113.80 c 157485 3777 10610 355444 33 23049 7426 3420 1384 113.72 113.76/113.80 o 11454 113.775 718.82/719.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 718.82/719.02 c 157606 3777 10732 364941 34 25122 6136 3542 1385 113.78 718.82/719.02 c 157706 3777 10832 372160 34 25324 6750 3642 1385 113.84 718.82/719.02 c 157957 3777 11083 387227 34 25824 7426 3893 1385 113.97 718.82/719.02 c 158432 3777 11558 411562 35 26776 8169 4368 1387 114.21 718.82/719.02 c 159246 3777 12372 458263 37 28402 8986 5182 1390 114.54 718.82/719.02 c 160566 3777 13692 527521 38 31044 9885 6502 1395 115.04 718.82/719.02 c 162647 3777 15773 663351 42 35204 10874 8583 1402 115.94 718.82/719.02 c 165871 3777 12629 418063 33 27089 11962 5439 1409 117.69 718.82/719.02 c 170807 3777 17565 797534 45 36959 13159 10375 1426 119.75 718.82/719.02 c 178313 3777 16362 639841 39 34553 14475 9172 1451 122.82 718.82/719.02 c 189675 3777 18218 931854 51 38265 15923 11028 1466 129.38 718.82/719.02 c 206819 3777 15154 646864 42 32138 17516 7964 1390 148.69 718.82/719.02 c 232638 3777 18098 1056367 58 38025 19268 10908 1320 176.24 718.82/719.02 c 271470 3777 22567 1245706 55 46963 21195 15377 1091 248.67 718.82/719.02 c 329823 3777 17790 969536 54 37409 23315 10600 875 376.68 718.82/719.02 c 417455 3777 30601 2401926 78 63031 25647 23411 866 481.60 718.82/719.02 c 549008 3777 18446 888194 48 38720 28212 11256 763 718.83 718.82/719.02 o 11443 718.847 719.12/719.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 719.12/719.35 c 549008 3777 18447 890064 48 40552 6136 11257 763 718.85 719.12/719.35 o 11289 719.174 719.22/719.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 719.22/719.42 c 549016 3777 10269 251861 24 24197 6136 3079 763 719.18 719.22/719.42 c 549116 3777 10369 261345 25 24396 6750 3179 763 719.24 719.22/719.42 o 11107 719.243 1017.25/1017.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1017.25/1017.67 c 549116 3777 10370 263215 25 26228 6136 3180 763 719.25 1017.25/1017.67 c 549216 3777 10470 269380 25 26432 6750 3280 763 719.31 1017.25/1017.67 c 549467 3777 10721 282266 26 26931 7426 3531 763 719.45 1017.25/1017.67 c 549944 3777 11198 310116 27 27887 8169 4008 764 719.70 1017.25/1017.67 c 550757 3777 12011 358708 29 29512 8986 4821 764 720.11 1017.25/1017.67 c 552077 3777 13331 447187 33 32150 9885 6141 765 720.79 1017.25/1017.67 c 554158 3777 15412 589564 38 36315 10874 8222 767 721.87 1017.25/1017.67 c 557381 3777 12629 466205 36 27088 11962 5439 769 724.72 1017.25/1017.67 c 562318 3777 17566 731256 41 36962 13159 10376 774 726.11 1017.25/1017.67 c 569825 3777 16512 761943 46 34854 14475 9322 780 730.49 1017.25/1017.67 c 581186 3777 18377 811229 44 38584 15923 11187 788 736.82 1017.25/1017.67 c 598330 3777 15154 852699 56 32137 17516 7964 795 752.05 1017.25/1017.67 c 624149 3777 18053 1165610 64 37937 19268 10863 804 775.86 1017.25/1017.67 c 662981 3777 21508 1169217 54 44846 21195 14318 811 817.06 1017.25/1017.67 c 721333 3777 17838 645196 36 37506 23315 10648 817 882.53 1017.25/1017.67 c 808965 3777 18590 663754 35 39011 25647 11400 840 962.87 1017.25/1017.67 o 11100 1017.32 1072.34/1072.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1072.34/1072.76 c 861614 3777 20455 1012288 49 44572 6136 13265 846 1017.33 1072.34/1072.76 c 861714 3777 10360 258313 24 22552 6750 3170 846 1017.77 1072.34/1072.76 c 861964 3777 10610 270870 25 23051 7426 3420 846 1017.88 1072.34/1072.76 c 862439 3777 11085 293925 26 24001 8169 3895 847 1018.01 1072.34/1072.76 c 863252 3777 11898 340335 28 25627 8986 4708 847 1018.24 1072.34/1072.76 c 864572 3777 13218 414482 31 28266 9885 6028 848 1018.68 1072.34/1072.76 c 866653 3777 15299 515386 33 32428 10874 8109 850 1019.42 1072.34/1072.76 c 869876 3777 12629 339183 26 27087 11962 5439 852 1020.78 1072.34/1072.76 c 874812 3777 17565 603137 34 36961 13159 10375 855 1022.73 1072.34/1072.76 c 882319 3777 16214 593698 36 34259 14475 9024 858 1027.48 1072.34/1072.76 c 893680 3777 18047 865311 47 37925 15923 10857 864 1033.48 1072.34/1072.76 c 910824 3777 15154 706721 46 32140 17516 7964 867 1049.75 1072.34/1072.76 c 936643 3777 19962 854852 42 41755 19268 12772 873 1072.38 1072.34/1072.76 o 11087 1072.4 1799.96/1800.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.54 c 936695 3777 20015 861241 43 43692 6136 12825 873 1072.41 1799.96/1800.54 c 936795 3777 10360 231507 22 22550 6750 3170 873 1072.95 1799.96/1800.54 c 937045 3777 10610 251290 23 23051 7426 3420 873 1073.05 1799.96/1800.54 c 937521 3777 11086 280704 25 24003 8169 3896 873 1073.25 1799.96/1800.54 c 938334 3777 11899 330135 27 25629 8986 4709 874 1073.51 1799.96/1800.54 c 939654 3777 13219 395430 29 28269 9885 6029 875 1073.88 1799.96/1800.54 c 941735 3777 15300 517110 33 32430 10874 8110 876 1074.54 1799.96/1800.54 c 944958 3777 12629 335430 26 27088 11962 5439 878 1075.85 1799.96/1800.54 c 949895 3777 17566 678433 38 36962 13159 10376 881 1077.73 1799.96/1800.54 c 957402 3777 16284 534845 32 34399 14475 9094 885 1080.75 1799.96/1800.54 c 968763 3777 18219 902096 49 38268 15923 11029 890 1088.21 1799.96/1800.54 c 985908 3777 15154 779292 51 32139 17516 7964 892 1104.19 1799.96/1800.54 c 1011727 3777 19014 1002878 52 39858 19268 11824 896 1127.97 1799.96/1800.54 c 1050559 3777 20726 1323522 63 43283 21195 13536 901 1164.77 1799.96/1800.54 c 1108912 3777 26462 1194458 45 54754 23315 19272 915 1211.00 1799.96/1800.54 c 1196544 3777 28136 1706446 60 58102 25647 20946 916 1305.70 1799.96/1800.54 c 1328096 3777 31082 1341298 43 63995 28212 23892 907 1464.17 1799.96/1800.54 c 1525528 3777 18886 1098535 58 39603 31034 11696 873 1746.94 1799.96/1800.54 c Resources Exceeded 1799.96/1800.54 v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 1799.96/1800.54 v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 1799.96/1800.54 v -x302 -x304 x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 1799.96/1800.54 v -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 1799.96/1800.54 v -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 1799.96/1800.54 v -x428 x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 x464 -x466 -x468 1799.96/1800.54 v -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 1799.96/1800.54 v -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 1799.96/1800.54 v -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 1799.96/1800.54 v -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 x627 -x629 -x631 -x633 -x635 1799.96/1800.54 v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 1799.96/1800.54 v -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 1799.96/1800.54 v -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 1799.96/1800.54 v -x763 x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x798 -x800 x802 1799.96/1800.54 v -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 1799.96/1800.54 v -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 1799.96/1800.54 v -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 1799.96/1800.54 v -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 1799.96/1800.54 v -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 1799.96/1800.54 v -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 1799.96/1800.54 v -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 1799.96/1800.54 v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 1799.96/1800.54 v -x1114 -x1116 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 1799.96/1800.54 v -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 1799.96/1800.54 v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 1799.96/1800.54 v -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 1799.96/1800.54 v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 1799.96/1800.54 v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 1799.96/1800.54 v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 x1348 1799.96/1800.54 v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 1799.96/1800.54 v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 1799.96/1800.54 v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 1799.96/1800.54 v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 1799.96/1800.54 v -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 1799.96/1800.54 v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 1799.96/1800.54 v -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 x1578 -x1580 -x1582 -x1584 -x1586 1799.96/1800.54 v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 1799.96/1800.54 v -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 1799.96/1800.54 v -x1656 -x1658 -x1660 x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 1799.96/1800.54 v -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 x1714 -x1716 -x1718 -x1720 -x1722 1799.96/1800.54 v -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 1799.96/1800.54 v -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 1799.96/1800.54 v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 1799.96/1800.54 v -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 1799.96/1800.54 v -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 1799.96/1800.54 v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 1799.96/1800.54 v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 1799.96/1800.54 v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 1799.96/1800.54 v -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 1799.96/1800.54 v -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 1799.96/1800.54 v -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 1799.96/1800.54 v -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 1799.96/1800.54 v -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 1799.96/1800.54 v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 1799.96/1800.54 v -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 1799.96/1800.54 v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 x2256 -x2258 -x2260 -x2262 -x2264 -x2266 1799.96/1800.54 v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 1799.96/1800.54 v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 1799.96/1800.54 v -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 1799.96/1800.54 v -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 1799.96/1800.54 v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 1799.96/1800.54 v -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 1799.96/1800.54 v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 x2502 -x2504 1799.96/1800.54 v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 1799.96/1800.54 v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 1799.96/1800.54 v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 1799.96/1800.54 v -x2608 -x2610 -x2612 -x2614 x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 1799.96/1800.54 v -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 1799.96/1800.54 v -x2676 -x2678 -x2680 x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1799.96/1800.54 v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 1799.96/1800.54 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 1799.96/1800.54 v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 1799.96/1800.54 v -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 1799.96/1800.54 v -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 1799.96/1800.54 v -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 1799.96/1800.54 v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 1799.96/1800.54 v -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 1799.96/1800.54 v -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 1799.96/1800.54 v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 1799.96/1800.54 v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 1799.96/1800.54 v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 1799.96/1800.54 v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1799.96/1800.54 v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 1799.96/1800.54 v -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 1799.96/1800.54 v -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 1799.96/1800.54 v -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 1799.96/1800.54 v -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 1799.96/1800.54 v -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 1799.96/1800.54 v -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 1799.96/1800.54 v -x3387 -x3389 x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 1799.96/1800.54 v -x3421 -x3423 -x3425 -x3427 x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 1799.96/1800.54 v -x3455 -x3457 -x3459 -x3461 -x3463 x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 1799.96/1800.54 v -x3489 -x3491 -x3493 -x3495 -x3497 x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 1799.96/1800.54 v -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 1799.96/1800.54 v -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 1799.96/1800.54 v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 1799.96/1800.54 v -x3623 -x3625 -x3627 -x3629 x3631 -x3633 -x3635 -x3637 -x3639 x3641 -x3643 -x3645 x3647 -x3649 -x3651 -x3653 -x3655 -x3657 1799.96/1800.54 v -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 1799.96/1800.54 v -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722 1799.96/1800.54 v -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 1799.96/1800.54 v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 -x3785 -x3787 1799.96/1800.54 v -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 1799.96/1800.54 v -x3823 -x3825 -x3827 -x3829 -x3831 x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 1799.96/1800.54 v -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 1799.96/1800.54 v -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 x3915 -x3917 -x3919 -x3921 -x3923 -x3925 1799.96/1800.54 v -x3927 -x3929 x3931 -x3933 -x3935 -x3937 x3939 -x3941 x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2 1799.96/1800.54 v -x233 -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 1799.96/1800.54 v -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 x305 -x307 -x309 -x311 1799.96/1800.54 v -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6 1799.96/1800.54 v -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387 1799.96/1800.54 v -x389 -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 1799.96/1800.54 v -x14 -x423 -x425 -x427 -x15 x429 x16 -x431 -x17 -x433 -x435 -x437 -x18 -x439 -x441 -x443 x19 -x445 x447 -x449 -x451 -x453 -x455 1799.96/1800.54 v -x457 -x459 -x461 x463 -x465 -x467 -x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 1799.96/1800.54 v -x493 -x495 -x497 -x23 -x499 -x501 -x503 -x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x25 -x527 1799.96/1800.54 v -x529 -x531 -x533 -x536 -x538 -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 -x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564 1799.96/1800.54 v -x29 -x566 -x568 -x570 -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 1799.96/1800.54 v -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 1799.96/1800.54 v -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x32 -x678 -x680 -x682 1799.96/1800.54 v -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x33 -x700 -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 1799.96/1800.54 v -x722 -x724 -x726 -x728 -x730 -x35 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 1799.96/1800.54 v -x762 x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x799 x801 -x803 1799.96/1800.54 v -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 1799.96/1800.54 v -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 1799.96/1800.54 v -x887 -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 x903 -x905 -x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921 1799.96/1800.54 v -x923 -x925 -x927 -x929 -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 x951 -x953 -x955 -x957 -x959 -x961 1799.96/1800.54 v -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 1799.96/1800.54 v -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033 1799.96/1800.54 v -x1035 -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 1799.96/1800.54 v -x1065 -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 x1095 1799.96/1800.54 v x48 -x1097 -x1099 -x1101 -x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 1799.96/1800.54 v x1128 x51 -x1130 -x1132 -x1134 -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 -x1146 -x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154 1799.96/1800.54 v -x1156 -x57 -x1158 -x1160 -x1162 -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 1799.96/1800.54 v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x61 -x1198 -x1200 -x1202 -x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 1799.96/1800.54 v -x1216 -x1218 -x1220 -x64 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 1799.96/1800.54 v -x1249 -x66 -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 1799.96/1800.54 v -x1279 -x1281 -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 1799.96/1800.54 v -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 1799.96/1800.54 v -x1345 x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 1799.96/1800.54 v -x1379 -x1381 -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 1799.96/1800.54 v -x72 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 1799.96/1800.54 v -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 1799.96/1800.54 v -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 1799.96/1800.54 v -x1515 -x1517 -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 -x76 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 1799.96/1800.54 v -x77 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 x1577 1799.96/1800.54 v -x1579 -x78 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 1799.96/1800.54 v -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 1799.96/1800.54 v -x84 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 1799.96/1800.54 v -x1673 -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 1799.96/1800.54 v -x1699 -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 x1713 x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 1799.96/1800.54 v -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x98 -x1755 -x1757 1799.96/1800.54 v -x1759 -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787 1799.96/1800.54 v -x1789 -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 1799.96/1800.54 v -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 1799.96/1800.54 v -x1853 -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883 1799.96/1800.54 v -x1885 -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 -x108 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 1799.96/1800.54 v -x1917 -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 1799.96/1800.54 v -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 x1973 -x1975 -x1977 -x1979 -x1981 1799.96/1800.54 v -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 1799.96/1800.54 v -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 x2041 -x2043 -x2045 -x2047 -x2049 1799.96/1800.54 v -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 1799.96/1800.54 v -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 1799.96/1800.54 v -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 1799.96/1800.54 v -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 -x116 -x2177 1799.96/1800.54 v -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x117 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209 1799.96/1800.54 v -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 1799.96/1800.54 v -x2245 -x2247 -x2249 -x2251 -x2253 x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 1799.96/1800.54 v -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309 1799.96/1800.54 v -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 1799.96/1800.54 v -x2343 -x2345 -x2347 x121 -x2349 -x2351 -x2353 x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 1799.96/1800.54 v -x2375 -x123 -x2377 -x2379 -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 1799.96/1800.54 v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 1799.96/1800.54 v -x2437 -x2439 -x127 -x2441 -x2443 -x128 -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 1799.96/1800.54 v -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 1799.96/1800.54 v -x2497 -x2499 x2501 x133 -x2503 -x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 x137 -x2523 1799.96/1800.54 v x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 1799.96/1800.54 v -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585 1799.96/1800.54 v -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 x2615 1799.96/1800.54 v -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647 1799.96/1800.54 v -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 x2681 1799.96/1800.54 v -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 1799.96/1800.54 v -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 1799.96/1800.54 v -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148 1799.96/1800.54 v -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 1799.96/1800.54 v -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 1799.96/1800.54 v -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 1799.96/1800.54 v -x2880 -x153 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 1799.96/1800.54 v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 1799.96/1800.54 v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 1799.96/1800.54 v -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 1799.96/1800.54 v -x3012 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 1799.96/1800.54 v -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 1799.96/1800.54 v -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 1799.96/1800.54 v -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 1799.96/1800.54 v -x3143 -x3145 -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 1799.96/1800.54 v -x161 -x3175 -x3177 -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 1799.96/1800.54 v -x3206 -x164 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 1799.96/1800.54 v -x3236 -x3238 -x3240 -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 1799.96/1800.54 v -x3268 -x3270 -x168 -x3272 -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 1799.96/1800.54 v -x3296 -x3298 -x172 x3300 x173 -x3302 -x174 -x3304 -x3306 -x3308 -x175 -x3310 -x3312 -x3314 -x176 -x3316 -x3318 -x3320 1799.96/1800.54 v -x177 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 1799.96/1800.54 v -x3354 -x3356 -x179 -x3358 -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 1799.96/1800.54 v -x3386 -x3388 x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 1799.96/1800.54 v -x181 -x3420 -x3422 -x3424 -x3426 x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 1799.96/1800.54 v -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 1799.96/1800.54 v -x3486 -x3488 -x3490 x183 -x3492 -x3494 -x3496 x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 1799.96/1800.54 v -x3520 -x184 -x3522 -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 1799.96/1800.54 v -x3550 -x3552 -x3554 -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 1799.96/1800.54 v -x3584 -x3586 -x3588 -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610 1799.96/1800.54 v -x3612 -x3614 -x3616 -x192 -x3618 -x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 -x3636 -x3638 x3640 1799.96/1800.54 v -x3642 -x3644 x3646 -x3648 -x195 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 1799.96/1800.54 v -x3677 -x3679 -x3681 -x3683 -x3685 -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 1799.96/1800.54 v -x3709 -x3711 -x3713 -x3715 -x3717 -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 -x198 -x3737 -x3739 -x3741 1799.96/1800.54 v -x3743 -x3745 -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 1799.96/1800.54 v -x3775 -x3777 -x3779 -x3782 -x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 1799.96/1800.54 v -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 -x3828 -x3830 x3832 -x3834 -x202 -x3836 -x3838 -x3840 1799.96/1800.54 v -x203 -x3842 -x3844 -x3846 -x3848 -x3850 -x204 -x3852 -x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 x3868 1799.96/1800.54 v -x3870 -x207 -x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896 1799.96/1800.54 v -x3898 -x3900 -x3902 x3904 x3906 -x3908 x211 -x3910 -x3912 x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 x3930 1799.96/1800.54 v -x3932 -x3934 -x3936 -x212 x3938 x213 -x3940 -x214 x3942 x215 -x3944 x216 1799.96/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.54 c 110 1557586 983939 6185049 30381 1934841 23191 865 1800.00 1799.96/1800.54 c Objective: 11087 1799.96/1800.54 s SATISFIABLE 1799.96/1800.54 c Total time: 1800 s
OK 11087
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-372316-1177087519 -o ROOT/results/node68/solver-372316-1177087519 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372316-1177087519/instance-372316-1177087519.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.10 1.04 3/64 2184 /proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=12000 CPUtime=0 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 184741433 12288000 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 3000 336 282 324 0 2003 0 [startup+0.077323 s] /proc/loadavg: 1.00 1.10 1.04 3/64 2184 /proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=5932 CPUtime=0.07 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 927 0 0 0 7 0 0 0 18 0 1 0 184741433 6074368 829 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 1483 829 305 324 0 552 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5932 [startup+0.101324 s] /proc/loadavg: 1.00 1.10 1.04 3/64 2184 /proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=5904 CPUtime=0.09 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 958 0 0 0 9 0 0 0 18 0 1 0 184741433 6045696 856 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 1476 856 307 324 0 545 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5904 [startup+0.301343 s] /proc/loadavg: 1.00 1.10 1.04 3/64 2184 /proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=6292 CPUtime=0.29 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 1048 0 0 0 28 1 0 0 19 0 1 0 184741433 6443008 946 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 1573 946 313 324 0 642 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6292 [startup+0.701378 s] /proc/loadavg: 1.00 1.10 1.04 3/64 2184 /proc/meminfo: memFree=1663808/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=7076 CPUtime=0.69 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 1257 0 0 0 67 2 0 0 22 0 1 0 184741433 7245824 1155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 1769 1155 313 324 0 838 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7076 [startup+1.50245 s] /proc/loadavg: 1.00 1.10 1.04 2/65 2185 /proc/meminfo: memFree=1659832/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=8764 CPUtime=1.49 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 1665 0 0 0 146 3 0 0 25 0 1 0 184741433 8974336 1563 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 2191 1563 313 324 0 1260 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8764 [startup+3.1016 s] /proc/loadavg: 1.00 1.10 1.04 2/65 2185 /proc/meminfo: memFree=1657528/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=12000 CPUtime=3.09 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 2462 0 0 0 304 5 0 0 25 0 1 0 184741433 12288000 2360 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 3000 2360 313 324 0 2069 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12000 [startup+6.30188 s] /proc/loadavg: 1.00 1.10 1.04 2/65 2185 /proc/meminfo: memFree=1650752/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=17912 CPUtime=6.29 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 3953 0 0 0 622 7 0 0 25 0 1 0 184741433 18341888 3851 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 4478 3851 313 324 0 3547 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17912 [startup+12.7015 s] /proc/loadavg: 1.00 1.10 1.04 2/65 2185 /proc/meminfo: memFree=1648192/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=19092 CPUtime=12.69 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 4247 0 0 0 1257 12 0 0 25 0 1 0 184741433 19550208 4145 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 4773 4145 313 324 0 3842 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19092 [startup+25.5016 s] /proc/loadavg: 1.00 1.09 1.03 2/65 2185 /proc/meminfo: memFree=1641984/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=25308 CPUtime=25.48 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 5812 0 0 0 2525 23 0 0 25 0 1 0 184741433 25915392 5710 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 6327 5710 313 324 0 5396 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25308 [startup+51.1019 s] /proc/loadavg: 1.00 1.09 1.03 2/65 2185 /proc/meminfo: memFree=1638144/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=29128 CPUtime=51.07 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 6766 0 0 0 5071 36 0 0 25 0 1 0 184741433 29827072 6664 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 7282 6664 313 324 0 6351 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29128 [startup+102.306 s] /proc/loadavg: 1.00 1.07 1.03 2/65 2185 /proc/meminfo: memFree=1630080/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=37236 CPUtime=102.27 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 8788 0 0 0 10173 54 0 0 25 0 1 0 184741433 38129664 8686 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 9309 8686 313 324 0 8378 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37236 [startup+162.302 s] /proc/loadavg: 1.00 1.05 1.02 2/65 2185 /proc/meminfo: memFree=1630080/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=37048 CPUtime=162.25 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 8788 0 0 0 16150 75 0 0 25 0 1 0 184741433 37937152 8651 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 9262 8651 313 324 0 8331 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 37048 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.01 2/65 2185 /proc/meminfo: memFree=1630080/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=37048 CPUtime=222.23 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 8789 0 0 0 22141 82 0 0 25 0 1 0 184741433 37937152 8652 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 9262 8652 313 324 0 8331 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 37048 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.01 2/65 2185 /proc/meminfo: memFree=1628352/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=39224 CPUtime=282.22 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 9329 0 0 0 28128 94 0 0 25 0 1 0 184741433 40165376 9192 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 9806 9192 313 324 0 8875 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 39224 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2185 /proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=47100 CPUtime=342.21 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11298 0 0 0 34113 108 0 0 25 0 1 0 184741433 48230400 11161 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 11775 11161 313 324 0 10844 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 47100 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2185 /proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=47096 CPUtime=402.19 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11300 0 0 0 40100 119 0 0 25 0 1 0 184741433 48226304 11163 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 11774 11163 313 324 0 10843 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 47096 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2185 /proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=47092 CPUtime=462.18 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11300 0 0 0 46090 128 0 0 25 0 1 0 184741433 48222208 11163 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 11773 11163 313 324 0 10842 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 47092 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2185 /proc/meminfo: memFree=1620032/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=47156 CPUtime=522.17 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 11311 0 0 0 52078 139 0 0 25 0 1 0 184741433 48287744 11174 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 11789 11174 313 324 0 10858 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 47156 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2185 /proc/meminfo: memFree=1611264/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55916 CPUtime=582.15 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13501 0 0 0 58068 147 0 0 25 0 1 0 184741433 57257984 13364 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13979 13364 313 324 0 13048 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 55916 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2185 /proc/meminfo: memFree=1609920/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=57256 CPUtime=642.14 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 64057 157 0 0 25 0 1 0 184741433 58630144 13700 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 14314 13700 313 324 0 13383 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 57256 ################ # More data... # ################ /proc/meminfo: memFree=1610496/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=56324 CPUtime=1061.94 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 105913 281 0 0 25 0 1 0 184741433 57675776 13471 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 14081 13471 313 324 0 13150 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 56324 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611776/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55052 CPUtime=1121.92 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 111885 307 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13763 13153 313 324 0 12832 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 55052 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55052 CPUtime=1181.91 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 117868 323 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13763 13153 313 324 0 12832 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 55052 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611968/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55052 CPUtime=1241.89 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 123853 336 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13763 13153 313 324 0 12832 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 55052 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611968/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55052 CPUtime=1301.88 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 129840 348 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13763 13153 313 324 0 12832 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 55052 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611968/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55052 CPUtime=1361.86 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 135826 360 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13763 13153 313 324 0 12832 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 55052 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55052 CPUtime=1421.85 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13837 0 0 0 141805 380 0 0 25 0 1 0 184741433 56373248 13153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13763 13153 313 324 0 12832 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 55052 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55060 CPUtime=1481.83 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 147783 400 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10944664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13765 13155 313 324 0 12834 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 55060 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55060 CPUtime=1541.82 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 153771 411 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13765 13155 313 324 0 12834 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 55060 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55060 CPUtime=1601.8 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 159758 422 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13765 13155 313 324 0 12834 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 55060 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55060 CPUtime=1661.79 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 165745 434 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13765 13155 313 324 0 12834 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 55060 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55060 CPUtime=1721.78 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13839 0 0 0 171733 445 0 0 25 0 1 0 184741433 56381440 13155 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13765 13155 313 324 0 12834 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 55060 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55072 CPUtime=1781.76 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13841 0 0 0 177723 453 0 0 25 0 1 0 184741433 56393728 13157 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13768 13157 313 324 0 12837 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 55072 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55072 CPUtime=1791.37 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 178681 456 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13768 13158 313 324 0 12837 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 55072 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611840/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55072 CPUtime=1794.57 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 178999 458 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13768 13158 313 324 0 12837 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 55072 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611776/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55072 CPUtime=1797.75 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179317 458 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13768 13158 313 324 0 12837 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 55072 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55072 CPUtime=1799.35 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179476 459 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13768 13158 313 324 0 12837 0 Current children cumulated CPU time (s) 1799.35 Current children cumulated vsize (KiB) 55072 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55072 CPUtime=1799.75 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179516 459 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13768 13158 313 324 0 12837 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (KiB) 55072 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2384 /proc/meminfo: memFree=1611904/2055920 swapFree=4183868/4192956 [pid=2184] ppid=2182 vsize=55072 CPUtime=1799.96 /proc/2184/stat : 2184 (bsolo3.0.16) R 2182 2184 1337 0 -1 4194304 13842 0 0 0 179536 460 0 0 25 0 1 0 184741433 56393728 13158 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2184/statm: 13768 13158 313 324 0 12837 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 55072 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.02 CPU user time (s): 1795.4 CPU system time (s): 4.6123 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 57368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.4 system time used= 4.6123 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13843 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= 11 involuntary context switches= 3844 runsolver used 1.14682 second user time and 3.82342 second system time The end
Begin job on node68 on Fri Apr 20 16:45:19 UTC 2007 IDJOB= 372316 IDBENCH= 24963 IDSOLVER= 163 FILE ID= node68/372316-1177087519 PBS_JOBID= 4640307 Free space on /tmp= 66323 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372316-1177087519/instance-372316-1177087519.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-372316-1177087519 -o ROOT/results/node68/solver-372316-1177087519 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372316-1177087519/instance-372316-1177087519.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 83e4cddd78ca4f87cfb13af1d930e0cc RANDOM SEED= 614615406 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1664280 kB Buffers: 28280 kB Cached: 300600 kB SwapCached: 2824 kB Active: 147844 kB Inactive: 191152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1664280 kB SwapTotal: 4192956 kB SwapFree: 4183868 kB Dirty: 4644 kB Writeback: 0 kB Mapped: 16116 kB Slab: 38732 kB Committed_AS: 2815680 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66323 MiB End job on node68 on Fri Apr 20 17:15:20 UTC 2007