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