Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | ? (TO) | 2228239019842 | 1800.09 | 1800.02 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb |
MD5SUM | 34e6501168eba14fba603ee8987209fc |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1228810444800 |
Best CPU time to get the best result obtained on this benchmark | 13.8989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1470471039630 |
Optimality of the best value was proved | NO |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259231065 |
Number of bits of the biggest sum of numbers | 69 |
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.02 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.87/1.01 o 545259590190117 0.98/1.02 o 545259590190109 0.98/1.04 o 536870982190109 0.98/1.04 o 536870982181917 0.98/1.06 o 536870982181789 0.98/1.07 o 536870982181773 0.98/1.08 o 536870982181709 0.98/1.08 o 536870982179661 0.98/1.11 o 536870982175565 1.09/1.12 o 536870982171469 1.09/1.13 o 536870982155085 1.09/1.14 o 536870982146893 1.09/1.15 o 536870982144845 1.09/1.16 o 536870982144844 1.09/1.17 o 536870977950540 1.17/1.22 o 536870977949533 1.17/1.23 o 536870977949277 1.17/1.23 o 536870977945181 1.17/1.24 o 536870977944157 1.17/1.25 o 536870977943645 1.17/1.26 o 536870977927261 1.17/1.27 o 536870977925213 1.17/1.28 o 536870977859677 1.17/1.29 o 536870977859675 1.27/1.30 o 536870976811099 1.27/1.31 o 536870976286811 1.27/1.33 o 536870976024667 1.27/1.36 o 536870976016851 1.27/1.37 o 536870976016835 1.27/1.38 o 536870976000451 1.27/1.39 o 536870975967683 1.37/1.40 o 536870975836611 1.37/1.41 o 536870975836603 1.47/1.56 o 536870975761300 1.47/1.57 o 536870975761296 1.47/1.57 o 536870975761292 1.57/1.60 o 536870975744919 1.57/1.63 o 536870975744917 1.57/1.64 o 536870975744915 1.57/1.65 o 536870975482771 1.57/1.66 o 536870974958483 1.57/1.67 o 536870972861331 1.67/1.70 o 536870972337043 1.67/1.76 o 536870969904639 1.67/1.77 o 536870969904638 1.67/1.78 o 536870969904574 1.67/1.79 o 536870969904446 1.67/1.79 o 536870969904414 1.77/1.80 o 536870969904398 1.77/1.81 o 536870969904390 1.77/1.81 o 536870969904388 1.77/1.82 o 536870969904260 1.77/1.83 o 536870969904228 1.77/1.84 o 536870969904226 1.77/1.84 o 536870969904222 1.77/1.85 o 536870969904214 1.77/1.86 o 536870969904150 1.77/1.87 o 536870969887766 1.77/1.88 o 536870969854998 1.87/1.92 o 536870969441894 1.87/1.93 o 536870969179750 1.87/1.94 o 536870969179748 1.87/1.95 o 536870969179747 1.87/1.95 o 536870968917603 1.87/1.96 o 536870968917599 1.87/1.97 o 536870968909407 1.87/1.98 o 536870968778335 1.87/1.98 o 536870968761951 1.87/1.99 o 536870968761943 1.97/2.01 o 536870968760919 1.97/2.01 o 536870968758871 1.97/2.03 o 536870968754775 1.97/2.03 o 536870968722007 1.97/2.05 o 536870968656471 1.97/2.05 o 536870968394327 1.97/2.07 o 536870967870039 1.97/2.08 o 536870966821463 2.37/2.49 o 536870961736240 2.47/2.51 o 536870961736112 2.47/2.52 o 536870961734064 2.47/2.53 o 536870961734063 2.47/2.54 o 536870961734061 2.47/2.55 o 536870961733549 2.47/2.55 o 536870961733541 2.47/2.56 o 536870961733537 2.47/2.57 o 536870961733473 2.47/2.58 o 536870961732449 2.47/2.58 o 536870961601377 2.57/2.61 o 536870961568609 2.57/2.62 o 536870961568577 2.57/2.63 o 536870961568561 2.57/2.64 o 536870961044273 2.57/2.66 o 536870961043249 2.57/2.67 o 536870961039153 2.57/2.68 o 536870961039025 2.57/2.69 o 536870961036977 2.67/2.71 o 536870961028785 3.77/3.82 o 536870961028726 3.77/3.83 o 536870961028694 3.77/3.84 o 536870961028686 3.77/3.84 o 536870961028682 3.77/3.85 o 536870961028680 3.77/3.86 o 536870961028424 3.77/3.87 o 536870961028296 3.77/3.89 o 536870961028280 3.87/3.90 o 536870961028279 3.87/3.91 o 536870961027255 3.87/3.92 o 536870961027239 3.87/3.93 o 536870961027235 3.87/3.94 o 536870961026723 3.87/3.95 o 536870961026691 3.87/3.96 o 536870961026563 3.87/3.98 o 536870961024515 3.87/3.99 o 536870961024259 3.97/4.01 o 536870961024251 3.97/4.02 o 536870961024187 3.97/4.02 o 536870961015995 3.97/4.04 o 536870961015979 3.97/4.05 o 536870960999595 3.97/4.06 o 536870960966827 3.97/4.07 o 536870960901291 3.97/4.08 o 536870960901035 3.97/4.08 o 536870960900523 3.97/4.09 o 536870959851947 4.07/4.11 o 536870959851939 4.07/4.12 o 536870959851811 4.07/4.14 o 536870959851555 4.07/4.15 o 536870959851043 4.07/4.16 o 536870959850979 4.07/4.17 o 536870959850977 4.07/4.18 o 536870959850973 4.07/4.18 o 536870959850957 4.17/4.20 o 536870959850956 4.17/4.21 o 536870959849932 4.17/4.23 o 536870959849900 4.17/4.24 o 536870959718828 4.17/4.26 o 536870959702444 4.17/4.27 o 536870959636908 4.17/4.27 o 536870959628716 4.17/4.29 o 536870959624620 4.17/4.30 o 536870959624492 4.17/4.30 o 536870959624476 4.17/4.31 o 536870959624468 4.28/4.35 o 536870959601892 4.28/4.35 o 536870959601380 4.28/4.36 o 536870959568612 4.28/4.38 o 536870959568548 4.28/4.38 o 536870959560356 4.28/4.40 o 536870959544039 4.39/4.42 o 536870959543015 4.39/4.43 o 536870959543013 4.39/4.44 o 536870959542757 4.39/4.44 o 536870959540709 4.47/4.52 o 536870942633115 5.27/5.39 o 16777298283739 5.38/5.42 o 16777298283611 5.38/5.43 o 16777298218075 5.38/5.43 o 16777298218073 5.38/5.44 o 16777298218009 5.38/5.46 o 16777298218001 5.57/5.63 o 16777298158493 5.57/5.64 o 16777298158485 5.57/5.65 o 16777298158483 5.57/5.66 o 16777298158227 5.57/5.66 o 16777298157203 5.57/5.67 o 16777298156691 5.67/5.73 o 16777294496868 5.67/5.74 o 16777294496866 5.67/5.75 o 16777294496738 5.67/5.75 o 16777294463970 5.67/5.76 o 16777294455778 5.67/5.77 o 16777294451682 5.67/5.78 o 16777294450658 5.67/5.78 o 16777293402082 5.77/5.81 o 16777293393890 5.77/5.83 o 16777293131746 5.77/5.84 o 16777293131682 5.87/5.97 o 16777284998204 5.87/5.98 o 16777284998203 5.87/5.99 o 16777284997691 5.87/5.99 o 16777284996667 5.97/6.00 o 16777284996635 5.97/6.01 o 16777284996507 5.97/6.03 o 16777284996491 5.97/6.04 o 16777284996487 5.97/6.05 o 16777284992391 5.97/6.07 o 16777284926855 5.97/6.08 o 16777284926791 5.97/6.09 o 16777284926783 6.07/6.10 o 16777284926781 6.07/6.12 o 16777284924733 6.07/6.13 o 16777284924732 6.07/6.15 o 16777284924731 6.07/6.16 o 16777284923707 6.07/6.17 o 16777284922683 6.87/6.95 o 16777282589471 6.87/6.96 o 16777282573087 6.87/6.97 o 16777282540319 6.87/6.98 o 16777282540315 6.87/6.99 o 16777282540307 6.97/7.00 o 16777282540306 6.97/7.01 o 16777282538258 6.97/7.02 o 16777282538194 6.97/7.03 o 16777282537682 6.97/7.04 o 16777282537650 6.97/7.04 o 16777282537648 6.97/7.05 o 16777282537520 6.97/7.08 o 16777282537504 7.07/7.10 o 16777282537248 7.07/7.13 o 16777282529056 7.07/7.16 o 16777282397984 7.07/7.18 o 16777281873696 7.17/7.21 o 16777281873632 7.17/7.23 o 16777281873628 7.17/7.26 o 16777281857244 7.17/7.28 o 16777281857228 7.27/7.31 o 16777281824460 7.27/7.33 o 16777281816268 7.27/7.36 o 16777281816140 7.27/7.38 o 16777281815628 7.37/7.41 o 16777281815372 7.47/7.53 o 16777274262304 7.47/7.54 o 16777274262272 7.47/7.55 o 16777274258176 7.47/7.56 o 16777274249984 7.47/7.56 o 16777274118912 7.47/7.57 o 16777274102528 7.47/7.58 o 16777274102527 7.47/7.59 o 16777274102511 7.47/7.60 o 16777274098415 7.69/7.75 o 16777274068200 8.07/8.14 o 12582966606218 9.37/9.48 o 12451921674442 9.47/9.50 o 12451921641674 9.47/9.51 o 12451921510602 9.47/9.52 o 12451921248458 9.47/9.54 o 12451921248442 9.47/9.54 o 12451921248440 9.47/9.55 o 12451921244344 9.47/9.57 o 12451921244336 9.47/9.58 o 12451921236144 9.57/9.60 o 12451921170608 9.57/9.63 o 12451921170352 9.57/9.64 o 12451921170336 9.57/9.67 o 12451921162144 9.57/9.69 o 12451921161632 9.67/9.71 o 12451921161628 9.67/9.73 o 12451921161627 9.67/9.75 o 12451921161625 9.67/9.77 o 12451921161617 9.67/9.79 o 12451921161489 9.67/9.81 o 12451921161457 9.78/9.83 o 12451921161393 9.78/9.85 o 12451921159345 9.78/9.87 o 12451921142961 9.78/9.89 o 12451921141937 9.78/9.91 o 12451921109169 9.89/9.93 o 12451921076401 9.89/9.95 o 12451921076385 9.89/9.97 o 12451921074337 9.89/9.98 o 12451921074209 9.97/10.01 o 12451912685601 9.97/10.02 o 12451912685345 9.97/10.03 o 12451912684833 9.97/10.04 o 12451912684801 9.97/10.06 o 12451912683777 9.97/10.08 o 12451912683761 10.07/10.11 o 12451912681713 10.07/10.13 o 12451912681617 10.07/10.14 o 12451912550545 10.07/10.15 o 12451912550541 10.07/10.16 o 12451912026253 10.07/10.17 o 12451912022157 10.07/10.18 o 12451912022125 10.07/10.19 o 12451912013933 10.07/10.19 o 12451911997549 10.17/10.20 o 12451911995501 10.17/10.21 o 12451911962733 10.17/10.22 o 12451911438445 10.17/10.23 o 12451911307373 10.17/10.24 o 12451911307365 10.17/10.25 o 12451911307361 10.17/10.25 o 12451911307359 10.17/10.26 o 12451911307103 10.17/10.27 o 12451911306975 10.17/10.27 o 12451911305951 10.17/10.28 o 12451911305950 10.17/10.28 o 12451911305886 10.27/10.33 o 12451911207583 10.27/10.38 o 12320837114797 10.27/10.39 o 11796549114797 10.37/10.40 o 11534405114797 10.37/10.41 o 11534405114765 10.37/10.41 o 11534405113741 10.37/10.42 o 11534405113229 10.37/10.43 o 11534405113225 10.37/10.44 o 11534405080457 10.37/10.46 o 11534405080201 10.37/10.47 o 11534405080073 10.37/10.49 o 11534405075977 10.47/10.51 o 11534405010441 10.47/10.52 o 11534405002249 10.47/10.54 o 11534405002241 10.47/10.55 o 11534405000193 10.47/10.56 o 11534405000177 10.47/10.58 o 11534405000176 10.47/10.59 o 11534404983792 10.57/10.61 o 11534404983790 10.57/10.61 o 11534404983726 10.57/10.62 o 11534404721582 10.57/10.65 o 11534396332974 10.57/10.67 o 11534395284398 10.57/10.68 o 11534395284334 10.57/10.69 o 11534395284078 10.67/10.71 o 11534395283951 10.67/10.74 o 11534395283877 10.67/10.75 o 11534395283873 10.67/10.76 o 11534395283871 10.67/10.76 o 11534395283359 10.67/10.77 o 11534395283103 10.67/10.78 o 11534395283095 10.67/10.79 o 11534395020951 10.77/10.80 o 11534395019927 10.77/10.81 o 11534394987159 10.77/10.88 o 11534378606562 10.77/10.90 o 10485802606562 10.88/10.92 o 10485802606530 10.88/10.93 o 10485802344386 10.88/10.93 o 10485802328002 10.88/10.95 o 10485802328000 10.88/10.96 o 10485802327996 10.88/10.97 o 10485802327988 10.88/10.99 o 10485802295220 10.88/11.00 o 10485802295156 10.99/11.03 o 10485802293140 10.99/11.04 o 10485802293108 10.99/11.05 o 10485802292084 10.99/11.06 o 10485802292076 10.99/11.08 o 10485802292072 10.99/11.09 o 10485802292008 11.07/11.10 o 10485802292007 11.07/11.11 o 10485802283815 11.07/11.13 o 10485802279719 11.07/11.14 o 10485802279207 11.07/11.15 o 10485801754919 11.07/11.16 o 10485801754903 11.07/11.17 o 10485801623831 11.07/11.18 o 10485801623703 11.07/11.19 o 10485801623701 11.17/11.20 o 10485801607317 11.17/11.21 o 10485801607061 11.17/11.22 o 10485801607060 11.17/11.22 o 10485801602964 11.17/11.23 o 10485801602836 11.17/11.24 o 10485801602834 11.17/11.24 o 10485801602578 11.17/11.25 o 10485801602514 11.17/11.26 o 10485801601490 11.17/11.26 o 10485801599442 11.17/11.27 o 10485801599434 11.17/11.28 o 10485801337290 11.17/11.29 o 10485801337288 11.27/11.33 o 10485801206776 11.37/11.43 o 10485784906307 11.37/11.43 o 8388632906307 12.37/12.46 o 7602214936269 12.37/12.48 o 7340070936269 12.37/12.48 o 6291494936269 12.47/12.50 o 6291494936268 12.47/12.51 o 6291494936204 12.47/12.52 o 6291494936200 12.47/12.54 o 6291494936192 12.47/12.55 o 6291494936160 12.47/12.56 o 6291494936144 12.47/12.58 o 6291494936142 12.47/12.59 o 6291494932046 12.57/12.60 o 6291494931790 12.57/12.62 o 6291494931662 12.57/12.63 o 6291494929614 12.57/12.64 o 6291494896846 12.57/12.66 o 6291494895822 12.57/12.67 o 6291494895806 12.57/12.69 o 6291494895798 12.67/12.70 o 6291494895670 12.67/12.71 o 6291494895606 12.67/12.73 o 6291494895094 12.67/12.74 o 6291494893046 12.67/12.75 o 6291494893014 12.67/12.76 o 6291494892758 12.67/12.77 o 6291494630614 12.67/12.79 o 6291494630612 12.67/12.79 o 6291494106324 12.77/12.80 o 6291493975252 12.77/12.81 o 6291491878100 12.77/12.82 o 6291491877972 12.77/12.83 o 6291491877970 12.77/12.84 o 6291491877966 12.77/12.85 o 6291491875918 12.77/12.86 o 6291491875790 12.77/12.87 o 6291491810254 12.77/12.88 o 6291491744846 12.77/12.89 o 6291491744814 12.87/12.90 o 6193187744814 12.87/12.93 o 6193187741742 12.87/12.94 o 6193187741614 12.87/12.94 o 6193187708846 12.87/12.95 o 6193187708814 12.87/12.96 o 6193187707790 12.87/12.96 o 6193187707726 12.87/12.97 o 6193187705678 12.87/12.97 o 6193187705676 12.87/12.98 o 6193187705420 12.87/12.99 o 6193187704908 12.87/12.99 o 6193187696716 12.97/13.00 o 6193187680332 12.97/13.01 o 6193187680324 12.97/13.01 o 6193187680292 12.97/13.02 o 6193187418148 12.97/13.02 o 6193187418144 12.97/13.04 o 6193187352615 12.97/13.05 o 6176803352615 13.87/13.92 o 6173483433562 13.87/13.95 o 6173419433562 13.87/13.95 o 6172907433562 13.87/13.98 o 6172875433562 13.87/13.99 o 6172859433562 13.97/14.02 o 6172859432538 13.97/14.03 o 6172859432506 13.97/14.04 o 6172859416122 13.97/14.06 o 6172859415610 13.97/14.07 o 6172859415609 13.97/14.08 o 6172859415593 13.97/14.08 o 6172859415585 13.97/14.09 o 6172859415457 14.07/14.10 o 6172859415393 14.07/14.11 o 6172859153249 14.07/14.12 o 6172859153245 14.07/14.13 o 6172859152989 14.07/14.14 o 6172859087453 14.07/14.15 o 6172859054685 14.07/14.16 o 6172859050589 14.07/14.16 o 6172859042397 14.07/14.17 o 6172859042395 14.07/14.18 o 6172859040347 14.07/14.19 o 6172851040347 14.07/14.20 o 6172723040347 14.07/14.20 o 6172722040347 14.07/14.21 o 6172722039835 14.18/14.22 o 6172722039771 14.18/14.23 o 6172722039769 14.18/14.24 o 6172722039737 14.18/14.25 o 6172720991161 14.18/14.28 o 6172718894009 14.18/14.29 o 6172718877625 14.18/14.30 o 6172718746553 14.18/14.31 o 6172718746549 14.29/14.32 o 6172718746541 14.29/14.33 o 6172718746285 14.37/14.40 o 6172718698013 14.37/14.41 o 6168622698013 14.37/14.42 o 6160430698013 14.37/14.43 o 6160430698011 14.37/14.45 o 6160430696987 14.37/14.46 o 6160430696979 14.37/14.48 o 6160430696851 14.37/14.49 o 6160430696595 14.47/14.51 o 6160430692499 14.47/14.52 o 6160430692498 14.47/14.54 o 6160430684306 14.47/14.55 o 6160430684290 14.47/14.57 o 6160430683778 14.47/14.58 o 6160430683774 14.57/14.60 o 6160430683742 14.57/14.61 o 6160430667358 14.57/14.63 o 6160430667294 14.57/14.67 o 6160430296709 14.57/14.68 o 6160430263941 14.67/14.70 o 6160430263429 14.67/14.71 o 6160430263365 14.67/14.72 o 6160430263361 14.67/14.74 o 6160430263359 14.67/14.75 o 6160430261311 14.67/14.76 o 6160430261055 14.67/14.77 o 6160430260927 14.67/14.78 o 6160430260895 14.77/14.80 o 6160430260887 14.77/14.81 o 6160430256791 14.77/14.82 o 6160430255767 14.77/14.83 o 6160430255751 14.77/14.85 o 6160429608609 14.77/14.86 o 5898285608609 14.77/14.88 o 5767213608609 14.77/14.88 o 5767213543073 14.77/14.89 o 5767213526689 14.87/14.90 o 5767213525665 14.87/14.91 o 5767213394593 14.87/14.93 o 5767213394337 14.87/14.95 o 5767213394333 14.87/14.96 o 5767213386141 14.87/14.98 o 5767213353373 14.97/15.02 o 5767212876955 14.97/15.03 o 5767212811419 14.97/15.05 o 5767212811415 14.97/15.05 o 5767212811383 14.97/15.07 o 5767212811367 14.97/15.08 o 5767212811111 14.97/15.09 o 5767212811047 15.07/15.11 o 5767212811045 15.07/15.12 o 5767211762469 15.17/15.30 o 5767211512720 15.28/15.32 o 5767211510800 15.28/15.33 o 5767211510736 15.28/15.34 o 5767211510734 15.28/15.35 o 5767211508686 15.28/15.35 o 5767211507662 15.28/15.36 o 5767211507654 15.28/15.37 o 5767211507622 15.28/15.38 o 5767211507606 15.28/15.39 o 5767211507350 15.28/15.40 o 5767211507222 15.39/15.42 o 5767211503137 15.39/15.42 o 5767211503136 15.39/15.43 o 5754923503136 15.39/15.47 o 5754918751776 15.39/15.48 o 5754918749728 15.39/15.49 o 5754918748704 15.39/15.49 o 5754918748702 15.47/15.50 o 5754918748574 15.47/15.50 o 5754918748566 15.47/15.51 o 5754918744470 15.47/15.51 o 5754918744406 15.47/15.55 o 5754918731889 15.47/15.56 o 5623846731889 15.47/15.57 o 5591078731889 15.47/15.58 o 5525542731889 15.57/15.60 o 5509158731889 15.57/15.61 o 5505062731889 15.57/15.63 o 5242918731889 15.57/15.65 o 5242918731887 15.57/15.66 o 5242918731879 15.57/15.67 o 5242918731877 15.57/15.68 o 5242918731873 15.67/15.75 o 5242910349431 15.67/15.75 o 4718622349431 15.67/15.76 o 4718622349423 15.67/15.77 o 4718622349295 15.67/15.78 o 4718622349039 15.67/15.78 o 4718622346991 15.67/15.79 o 4718622346989 15.77/15.80 o 4718622346925 15.77/15.82 o 4718622346909 15.77/15.84 o 4718622346877 15.77/15.85 o 4718622346873 15.77/15.86 o 4718622346872 15.77/15.86 o 4718622346360 15.77/15.87 o 4718622345336 15.77/15.88 o 4718622344824 15.87/15.99 o 4706350454759 15.97/16.01 o 4706350446567 15.97/16.07 o 4706346252261 15.97/16.08 o 4706346252197 15.97/16.08 o 4706346252193 15.97/16.09 o 4706346250145 15.97/16.09 o 4706346246049 16.07/16.10 o 4706346245793 16.07/16.12 o 4706346245761 16.07/16.13 o 4706346245753 16.07/16.14 o 4706346180217 16.07/16.15 o 4706346179961 16.07/16.15 o 4706346177913 16.07/16.16 o 4706346177849 16.07/16.17 o 4706346161465 16.07/16.18 o 4706346161457 16.07/16.19 o 4706346161425 16.17/16.20 o 4706346161297 16.17/16.21 o 4706346153105 16.17/16.22 o 4706346152593 16.17/16.23 o 4706346152589 16.17/16.25 o 4706346119821 16.17/16.26 o 4706346119819 16.17/16.27 o 4706346118795 16.17/16.28 o 4706346118779 16.17/16.29 o 4706346114683 16.27/16.30 o 4706345852539 16.27/16.31 o 4706345721467 16.27/16.32 o 4706345197179 16.77/16.80 o 4702250079433 16.77/16.81 o 4669482079433 16.77/16.82 o 4636714079433 16.77/16.82 o 4636706079433 16.77/16.84 o 4636706075337 16.77/16.84 o 4636706067145 16.77/16.86 o 4636706050761 16.77/16.87 o 4636705788617 16.77/16.89 o 4636705788585 16.87/16.90 o 4636705788569 16.87/16.91 o 4636705788561 16.87/16.92 o 4636705788305 16.87/16.94 o 4636705788301 16.87/16.96 o 4636705788299 16.87/16.98 o 4636705788235 16.97/17.00 o 4636705788107 16.97/17.02 o 4636705788106 16.97/17.04 o 4636705771722 16.97/17.05 o 4636705771466 16.97/17.07 o 4636705247178 18.27/18.35 o 4603931827091 18.27/18.35 o 4472859827091 18.27/18.36 o 4456475827091 18.27/18.37 o 4194331827091 18.27/18.38 o 4194331826963 18.27/18.39 o 4194331826959 18.27/18.39 o 4194331794191 18.37/18.41 o 4194331794189 18.37/18.42 o 4194331793677 18.37/18.42 o 4194331793613 18.37/18.44 o 4194331792589 18.37/18.46 o 4194331784397 18.37/18.48 o 4194331784389 18.37/18.49 o 4194331784133 18.47/18.51 o 4194331784101 18.47/18.53 o 4194331718565 18.47/18.54 o 4194331653029 18.47/18.56 o 4194331653028 18.47/18.58 o 4194331653024 18.47/18.60 o 4194331652962 18.47/18.61 o 4194331652898 18.58/18.62 o 4194331652770 18.58/18.64 o 4194331648674 18.58/18.65 o 4194331647650 18.58/18.66 o 4194331647646 18.58/18.66 o 4194331645598 18.58/18.67 o 4194331645566 18.58/18.68 o 4194331637374 18.58/18.69 o 4194331629182 18.58/18.70 o 4194331628926 18.58/18.71 o 4194331628894 18.58/18.71 o 4194331628382 21.57/21.61 o 4194329148539 21.57/21.62 o 4194329115771 21.57/21.63 o 4194329115739 21.57/21.64 o 4194329115737 21.57/21.64 o 4194329050201 21.57/21.66 o 4194329049177 21.57/21.68 o 4194329048665 21.67/21.70 o 4194329048649 21.67/21.72 o 4194329048585 21.67/21.73 o 4194329044489 21.67/21.75 o 4194329042441 21.67/21.77 o 4194329026057 21.67/21.79 o 4194329017865 21.77/21.81 o 4194329017861 21.77/21.83 o 4194329017853 21.77/21.85 o 4194328886781 27.17/27.22 o 3407914622837 27.17/27.24 o 3407914606453 27.17/27.25 o 3407914606437 27.17/27.26 o 3407914598245 27.17/27.27 o 3407898598245 27.17/27.28 o 3407898565477 27.17/27.29 o 3407898565475 27.27/27.30 o 3407898561379 27.27/27.32 o 3407898528611 27.27/27.33 o 3407898528579 27.27/27.34 o 3407898528563 27.27/27.35 o 3407898527539 27.27/27.36 o 3407898462003 27.27/27.37 o 3407898461999 27.27/27.38 o 3407898461935 27.27/27.40 o 3407898461927 27.27/27.41 o 3407898461799 27.38/27.42 o 3407898461797 27.38/27.43 o 3407898461541 27.38/27.44 o 3407898461509 27.38/27.46 o 3407898460997 27.38/27.47 o 3407898460981 27.38/27.47 o 3407898459957 27.38/27.48 o 3407898443573 27.38/27.50 o 3407898395461 27.38/27.51 o 3407898395445 27.38/27.51 o 3407898395317 27.49/27.52 o 3407898395313 27.49/27.53 o 3407898395297 27.49/27.53 o 3407898264225 27.49/27.54 o 3342362264225 27.49/27.55 o 3342362198689 27.49/27.55 o 3342362197665 27.49/27.57 o 3342362195617 27.49/27.59 o 3342362195553 27.57/27.60 o 3342362162785 27.57/27.61 o 3342362162777 27.57/27.61 o 3342362031705 27.57/27.67 o 3342359934572 27.57/27.69 o 3342359934060 27.57/27.69 o 3309591934060 27.67/27.71 o 3309591933036 27.67/27.72 o 3309591670892 27.67/27.72 o 3309591670891 27.67/27.73 o 3309591666795 27.67/27.75 o 3309591666283 27.67/27.76 o 3309591664235 27.67/27.78 o 3309591664233 27.67/27.79 o 3309591663977 27.77/27.81 o 3309591663961 27.77/27.82 o 3309591663897 27.77/27.83 o 3309591663893 27.77/27.85 o 3309591663861 27.77/27.86 o 3309591663853 28.07/28.14 o 3309581748841 28.07/28.15 o 3309565748841 28.07/28.15 o 3309053748841 28.07/28.16 o 3308989748841 28.07/28.18 o 3304893748841 28.17/28.20 o 3304637748841 28.17/28.21 o 3304509748841 28.17/28.23 o 3304509732457 28.27/28.33 o 3304509731938 28.27/28.37 o 3302461731938 28.27/28.38 o 3302429731938 28.27/28.39 o 3301405731938 28.37/28.41 o 3293213731938 28.37/28.42 o 3293213731426 28.37/28.44 o 3293213731410 28.37/28.45 o 3293213599314 28.37/28.46 o 3293213599306 28.37/28.48 o 3293213599305 28.37/28.49 o 3293213468233 28.37/28.50 o 3293213467209 28.37/28.51 o 3293213467207 28.48/28.52 o 3293213467203 28.59/28.68 o 3293209824182 28.59/28.69 o 3293209824178 28.67/28.70 o 3293209823666 28.67/28.71 o 3293209821618 28.67/28.73 o 3293209821362 28.67/28.77 o 3293209821361 28.67/28.78 o 3292185821361 28.87/28.94 o 3292185143069 28.87/28.95 o 3292185143068 28.87/28.97 o 3292185143036 28.87/28.98 o 3292185142780 28.97/29.01 o 3292185142778 28.97/29.01 o 3292185142266 28.97/29.04 o 3292185125882 28.97/29.04 o 3292185125881 28.97/29.05 o 3292185121785 28.97/29.06 o 3292185120761 28.97/29.06 o 3292185118713 28.97/29.07 o 3292185118709 29.07/29.10 o 3292185110517 29.07/29.12 o 3292185044981 29.07/29.13 o 3292185044917 29.07/29.13 o 3292185044789 29.07/29.15 o 3292184522780 29.07/29.17 o 3292184522764 29.07/29.18 o 3292184522763 29.17/29.20 o 3292184521739 29.17/29.22 o 3292184521735 29.17/29.23 o 3292184521703 29.17/29.25 o 3292184521701 29.17/29.26 o 3292184521445 29.17/29.28 o 3292184520933 29.17/29.29 o 3292184520805 29.27/29.31 o 3292184520741 29.27/29.32 o 3292184518693 29.27/29.34 o 3292184518685 29.27/29.35 o 3292184502301 29.27/29.36 o 3292184498205 29.27/29.38 o 3292184432669 31.67/31.77 o 3274779085979 31.67/31.79 o 3274747085979 31.67/31.81 o 3274683085979 31.67/31.81 o 3274675085979 31.78/31.82 o 3274419085979 31.78/31.82 o 3274415085979 31.78/31.83 o 3273391085979 31.78/31.84 o 3273375085979 31.78/31.85 o 3273247085979 31.78/31.85 o 3273245085979 31.78/31.86 o 3272733085979 31.78/31.87 o 3272732085979 31.78/31.88 o 3272732084955 31.78/31.89 o 3272732084947 31.78/31.90 o 3272732084943 31.78/31.91 o 3272732084815 31.89/31.92 o 3272732084813 31.89/31.93 o 3272732084301 31.89/31.94 o 3272732084237 31.89/31.96 o 3272732082192 31.89/31.96 o 3272731951120 31.89/31.98 o 3272731951112 31.89/31.98 o 3272731950856 31.89/31.99 o 3272731688712 31.97/32.00 o 3272731655944 33.37/33.48 o 3272730209181 33.47/33.51 o 3268634209181 33.47/33.52 o 3260442209181 33.47/33.54 o 3244058209181 33.47/33.56 o 3240986209181 33.47/33.58 o 3240986208157 33.47/33.59 o 3240986175389 33.57/33.62 o 3240986175381 33.57/33.63 o 3240986175253 33.57/33.64 o 3240986175249 33.57/33.65 o 3240986175233 33.57/33.66 o 3240986175169 33.57/33.67 o 3240986175167 33.57/33.68 o 3240986174911 33.57/33.69 o 3240986174879 33.67/33.71 o 3240986174367 33.67/33.72 o 3240986142143 33.67/33.73 o 3240986141119 33.67/33.74 o 3240986132927 33.67/33.74 o 3240986132919 33.67/33.77 o 3240986130871 33.67/33.77 o 3240986114487 33.67/33.78 o 3240986114479 33.67/33.78 o 3240986114223 33.67/33.79 o 3240986114207 33.67/33.79 o 3240986048671 33.77/33.80 o 3240986015903 33.77/33.81 o 3240986015775 33.77/33.82 o 3240986015263 33.77/33.83 o 3240986015262 33.77/33.84 o 3240986015260 33.77/33.84 o 3240986015256 33.77/33.85 o 3240986015192 33.77/33.87 o 3240986014936 33.77/33.89 o 3240986014928 33.87/33.92 o 3240986006736 33.87/33.94 o 3240986006608 33.87/33.95 o 3240986006576 33.87/33.96 o 3175449875504 33.87/33.97 o 3175449875488 33.87/34.01 o 3175449875487 33.98/34.03 o 3174553875487 33.98/34.04 o 3174553874975 33.98/34.05 o 3174553870879 33.98/34.06 o 3174553870877 33.98/34.06 o 3174553870621 33.98/34.07 o 3174553837853 33.98/34.08 o 3174553837852 33.98/34.08 o 3174553836828 33.98/34.11 o 3174553312540 34.09/34.13 o 3174553308444 34.09/34.15 o 3174553308436 34.09/34.17 o 3174552784148 34.09/34.19 o 3174552784116 34.17/34.20 o 3174552784112 34.17/34.22 o 3174552783856 34.17/34.24 o 3174552783854 34.17/34.26 o 3174552783790 34.17/34.28 o 3174552751022 34.27/34.30 o 3174552750510 34.27/34.32 o 3174552750509 34.27/34.34 o 3174552750381 34.27/34.36 o 3174552750365 34.27/34.37 o 3174552748317 34.27/34.39 o 3174552740125 34.37/34.41 o 3174552739997 34.37/34.42 o 3174552739965 34.37/34.44 o 3174552739453 34.37/34.46 o 3174552731261 34.37/34.47 o 3174552665725 34.37/34.49 o 3174552665469 34.97/35.02 o 3174552295305 34.97/35.03 o 3174552295297 34.97/35.04 o 3174552295233 34.97/35.05 o 3174552295105 34.97/35.06 o 3174552286913 34.97/35.07 o 3174552285889 34.97/35.09 o 3174552281793 34.97/35.10 o 3174552279745 34.97/35.11 o 3174552246977 35.08/35.12 o 3174552246961 35.08/35.14 o 3174552246449 35.08/35.15 o 3174552246193 35.08/35.16 o 3174552180657 35.08/35.17 o 3174552164273 35.08/35.18 o 3174552156081 35.08/35.19 o 3174552156079 35.08/35.21 o 3174552156015 35.19/35.22 o 3174552151919 35.19/35.22 o 3174552151407 35.19/35.23 o 3174552150383 35.19/35.24 o 3174551888239 35.19/35.24 o 3174551888237 35.19/35.25 o 3170455888239 35.19/35.27 o 3170399888239 35.19/35.28 o 3170399887215 35.19/35.29 o 3170399885167 35.27/35.31 o 3170399884655 35.27/35.32 o 3170399884653 35.27/35.34 o 3170399884650 35.27/35.35 o 3170399753578 35.77/35.89 o 3162211505363 35.87/35.92 o 3145827505363 35.87/35.92 o 3145819505363 35.87/35.93 o 3145755505363 35.87/35.93 o 3145755505362 35.87/35.94 o 3145755504338 35.87/35.94 o 3145755502290 35.87/35.95 o 3145755501778 35.87/35.98 o 3145755501650 35.87/35.99 o 3145755501646 35.97/36.01 o 3145755501614 35.97/36.04 o 3145755501550 35.97/36.07 o 3145755501534 35.97/36.09 o 3145755501526 36.07/36.12 o 3145755501270 36.07/36.14 o 3145755484886 36.07/36.17 o 3145755476694 36.07/36.19 o 3145755472598 36.18/36.22 o 3145755472534 36.18/36.25 o 3145755472502 36.18/36.27 o 3145755468406 36.18/36.30 o 3145755468398 36.29/36.32 o 3145755337326 36.29/36.35 o 3145755206254 36.29/36.37 o 3145755140718 36.37/36.40 o 3145754878574 36.37/36.42 o 3145754874478 36.37/36.44 o 3145754874350 36.37/36.46 o 3145754874318 36.37/36.47 o 3145754874302 36.37/36.49 o 3145754873278 36.47/36.51 o 3145754873270 36.47/36.53 o 3145754873014 36.47/36.55 o 3145754873012 36.47/36.57 o 3145754872948 36.47/36.58 o 3145754741876 36.57/36.60 o 3145754733684 36.57/36.62 o 3145754700916 36.57/36.64 o 3145754699958 36.57/36.64 o 3145754699894 36.57/36.66 o 3145754699890 36.57/36.68 o 3145754699634 36.67/36.70 o 3145754683250 36.67/36.71 o 3145754682738 36.67/36.73 o 3145754674546 36.67/36.75 o 3145754674418 36.67/36.76 o 3145754641650 36.67/36.77 o 3145754637554 36.67/36.79 o 3145754572018 36.77/36.82 o 3145754570318 36.77/36.83 o 3145754570310 36.77/36.86 o 3145754566672 36.77/36.87 o 3145754566664 36.77/36.89 o 3145754566408 36.87/36.90 o 3145754566406 36.87/36.91 o 3145754566374 36.87/36.91 o 3145754566370 36.87/36.93 o 3145754566369 36.87/36.94 o 3145754566353 36.87/36.94 o 3145754566321 36.87/36.95 o 3145754565297 36.87/36.96 o 3145754565233 36.87/36.98 o 3145754565225 36.87/36.98 o 3145754564713 36.97/37.00 o 3145754560617 36.97/37.03 o 3145754560361 36.97/37.05 o 3145754560357 36.97/37.07 o 3145754543973 36.97/37.09 o 3145754541925 37.07/37.11 o 3145754476389 37.07/37.13 o 3145754476261 37.07/37.15 o 3145754476259 37.07/37.17 o 3145754475747 37.07/37.19 o 3145754475745 37.07/37.20 o 3145754475743 37.17/37.21 o 3145754475679 45.77/45.82 o 3145752591208 45.77/45.83 o 3145752591206 45.77/45.85 o 3145752591142 45.77/45.86 o 3145752591134 45.77/45.88 o 3145752590622 45.87/45.90 o 3145752586526 45.87/45.92 o 3145752586522 45.87/45.94 o 3145752570138 45.87/45.96 o 3145752570010 45.87/45.97 o 3145752570008 45.87/46.00 o 3145752537242 45.97/46.01 o 3145752533146 45.97/46.02 o 3145752532890 45.97/46.04 o 3145752532889 45.97/46.05 o 3145752516505 45.97/46.06 o 3145752508313 45.97/46.07 o 3145752508305 45.97/46.08 o 3145752507281 45.97/46.09 o 3145752506769 45.97/46.10 o 3145752506705 45.97/46.11 o 3145752506673 46.08/46.11 o 3145752506545 46.08/46.12 o 3145752506529 46.08/46.13 o 3145752506527 46.08/46.14 o 3145752504479 46.08/46.15 o 3145752503455 46.08/46.16 o 3145752503453 48.07/48.16 o 3145752340776 48.07/48.17 o 3145752078632 48.07/48.19 o 3145752078630 48.17/48.20 o 3145752077606 48.17/48.22 o 3145752077604 48.17/48.23 o 3145752075556 48.17/48.24 o 3145752067364 48.17/48.26 o 3145752066852 48.17/48.28 o 3145752050468 48.17/48.31 o 3145752050464 48.28/48.33 o 3145752046368 48.28/48.35 o 3145752046112 48.28/48.37 o 3145752046104 48.28/48.40 o 3145752046040 48.39/48.42 o 3145752046008 48.39/48.44 o 3145752045992 48.39/48.46 o 3145752045864 48.39/48.49 o 3145752013096 48.47/48.53 o 3145752012841 48.47/48.55 o 3145752012833 48.47/48.56 o 3145752011809 48.47/48.57 o 3145752011807 48.47/48.58 o 3145752007711 48.47/48.58 o 3145752007199 48.47/48.59 o 3145752007135 48.57/48.60 o 3145750958559 48.67/48.71 o 3145750757524 48.67/48.73 o 3145750744126 51.97/52.00 o 3145749389669 51.97/52.04 o 3145749364607 51.97/52.05 o 3145749364095 51.97/52.06 o 3145749359999 51.97/52.08 o 3145749359871 52.07/52.11 o 3145749359615 52.07/52.13 o 3145749359103 52.07/52.15 o 3145749359071 52.07/52.16 o 3145749359063 52.07/52.17 o 3145749359031 52.07/52.18 o 3145749358903 52.17/52.20 o 3145749358901 52.17/52.21 o 3145749358885 52.17/52.23 o 3145749358821 52.17/52.24 o 3145749358309 52.17/52.26 o 3145749358053 52.17/52.27 o 3145749356005 52.17/52.29 o 3145749347813 52.27/52.30 o 3145749347781 52.27/52.32 o 3145749343685 52.27/52.33 o 3145749343429 52.27/52.34 o 3145749310661 52.27/52.35 o 3145749310657 52.27/52.35 o 3145749302465 52.27/52.36 o 3145749300417 52.27/52.37 o 3145749300289 52.27/52.38 o 3145749300225 52.27/52.39 o 3145749299201 52.37/52.40 o 3145749299193 52.37/52.40 o 3145749299177 52.37/52.41 o 3145749233641 52.37/52.42 o 3145749233129 52.37/52.43 o 3145749216745 52.37/52.46 o 3145749216257 52.37/52.47 o 3145749216249 52.37/52.48 o 3145749216248 52.37/52.48 o 3145749216244 52.37/52.49 o 3145749216228 52.47/52.50 o 3145749216226 52.47/52.50 o 3145749208034 52.47/52.51 o 3145749175266 52.47/52.52 o 3145749158882 52.47/52.54 o 3145749158881 52.47/52.56 o 3145749142497 52.47/52.57 o 3145749142241 52.47/52.59 o 3145749141729 52.57/52.62 o 3145749141665 52.57/52.64 o 3145749141537 52.57/52.67 o 3145749139489 52.57/52.69 o 3145749139485 52.68/52.72 o 3145749073949 52.68/52.74 o 3145749073947 52.68/52.76 o 3145749041179 52.68/52.79 o 3145749032987 52.68/52.81 o 3145749032971 52.79/52.83 o 3145749028875 52.79/52.85 o 3145749028843 52.79/52.87 o 3145749028331 52.79/52.89 o 3145749028323 58.67/58.70 o 3145748966542 58.67/58.72 o 3145748966534 58.67/58.73 o 3145748966406 58.67/58.73 o 3145748966342 58.67/58.75 o 3145748966326 58.67/58.77 o 3145748966318 58.67/58.79 o 3145748966254 58.77/58.80 o 3145748965998 58.77/58.82 o 3145748965486 58.77/58.84 o 3145748961390 58.77/58.87 o 3145748961389 58.77/58.88 o 3145748961385 58.87/58.90 o 3145748961257 58.87/58.90 o 3145748961255 58.87/58.91 o 3145748960743 58.87/58.91 o 3145748960679 58.87/58.92 o 3145748960671 58.87/58.93 o 3145748958623 58.87/58.93 o 3145748958367 58.87/58.94 o 3145748958351 58.87/58.97 o 3145748958336 58.87/58.99 o 3145748956288 69.97/70.04 o 3145748817376 69.97/70.05 o 3145748817120 69.97/70.06 o 3145748800736 69.97/70.08 o 3145748784352 69.97/70.08 o 3145748783328 82.97/83.00 o 2883608609740 82.97/83.03 o 2883608609732 82.97/83.04 o 2883608576964 82.97/83.05 o 2883608576836 82.97/83.07 o 2883608574788 82.97/83.09 o 2883608574756 83.07/83.11 o 2883608566564 83.07/83.13 o 2883608304420 83.07/83.15 o 2883608304418 83.07/83.16 o 2883608304386 83.07/83.18 o 2883608304384 83.17/83.20 o 2883608304383 83.17/83.22 o 2883608303871 83.17/83.24 o 2883608302847 83.17/83.26 o 2883608302843 83.17/83.28 o 2883608302715 83.17/83.29 o 2883608302683 83.27/83.31 o 2883608302619 83.27/83.33 o 2883608302363 83.27/83.35 o 2883608302347 83.27/83.36 o 2883608302339 83.27/83.38 o 2883608171267 83.37/83.40 o 2883608163075 83.37/83.41 o 2883608163011 85.68/85.79 o 2883606352113 85.68/85.81 o 2883606352081 85.79/85.82 o 2883606350033 85.87/85.90 o 2883606344879 85.87/85.91 o 2883606328495 85.87/85.93 o 2883606328463 85.87/85.93 o 2883606327439 85.87/85.94 o 2883606326927 85.87/85.95 o 2883606322831 85.87/85.96 o 2883606322575 85.87/85.98 o 2883606289807 85.97/86.01 o 2883606289679 85.97/86.03 o 2883606273295 85.97/86.05 o 2883606273294 85.97/86.07 o 2883606271246 86.07/86.10 o 2883606271230 86.07/86.12 o 2883606271228 86.07/86.15 o 2883606271164 86.07/86.17 o 2883606271156 86.07/86.19 o 2883606271152 86.17/86.21 o 2883606262960 86.17/86.24 o 2883606258864 86.17/86.26 o 2883606258860 86.17/86.28 o 2883606258604 86.27/86.30 o 2883606250412 86.27/86.33 o 2883606249900 86.27/86.35 o 2883606249892 86.27/86.37 o 2883606249890 86.27/86.39 o 2883606249762 86.37/86.42 o 2883606118690 86.37/86.42 o 2883606117666 86.37/86.44 o 2883606113570 86.37/86.46 o 2883606111522 86.37/86.47 o 2883606095138 86.37/86.49 o 2883606078754 86.47/86.51 o 2883606045986 86.47/86.52 o 2883606045970 86.47/86.54 o 2883606045906 86.47/86.55 o 2883606037714 116.87/116.97 o 2850841026304 116.97/117.00 o 2813977026304 116.97/117.02 o 2813977009920 116.97/117.03 o 2813977009888 116.97/117.05 o 2813976977120 116.97/117.09 o 2813976977118 117.07/117.10 o 2813976944350 117.07/117.11 o 2813976944334 117.07/117.11 o 2813976944326 117.07/117.14 o 2813976944322 117.07/117.16 o 2813976813250 117.07/117.19 o 2813976813122 117.17/117.21 o 2813976813118 117.17/117.22 o 2813976288830 117.17/117.24 o 2813976280638 117.17/117.27 o 2813976280622 117.17/117.29 o 2813976215086 117.17/117.29 o 2813976215054 117.27/117.38 o 2813975944849 117.27/117.39 o 2813975944847 117.27/117.39 o 2813975936655 117.37/117.40 o 2813975936647 117.37/117.42 o 2813975805575 117.37/117.44 o 2813975805543 117.37/117.45 o 2813975805527 117.37/117.46 o 2813975805526 117.37/117.48 o 2813975805522 117.47/117.50 o 2813975805520 117.47/117.51 o 2813975804496 117.47/117.53 o 2813975804368 117.47/117.54 o 2813975804304 117.47/117.56 o 2813975803280 117.47/117.58 o 2813975803248 117.47/117.59 o 2813975803120 117.47/117.61 o 2813975802864 117.58/117.62 o 2813975800816 117.58/117.64 o 2813975792624 117.58/117.65 o 2813975792622 117.58/117.67 o 2813975792110 117.58/117.68 o 2813975792046 117.58/117.70 o 2813975791633 117.58/117.71 o 2813975791631 117.69/117.73 o 2813975791629 117.69/117.74 o 2813975791627 117.69/117.74 o 2813975791619 117.69/117.76 o 2813975791618 117.69/117.76 o 2813975758850 117.69/117.77 o 2813975758846 117.69/117.79 o 2813975750654 117.69/117.80 o 2813975750398 117.77/117.81 o 2813975748350 117.77/117.82 o 2813975744254 117.77/117.83 o 2813975743230 117.77/117.84 o 2813975743228 117.77/117.85 o 2813975743212 117.77/117.86 o 2813975743196 118.37/118.42 o 2813967173161 118.37/118.44 o 2813967173033 118.37/118.46 o 2813967173031 118.37/118.47 o 2813967172903 118.37/118.48 o 2813967172902 118.37/118.49 o 2813967172838 118.47/118.52 o 2813967140070 118.47/118.55 o 2813935140070 118.47/118.55 o 2813903140070 118.47/118.57 o 2813903140054 118.47/118.59 o 2813903139030 118.57/118.61 o 2813903138774 118.57/118.62 o 2813903073238 118.57/118.63 o 2813903071190 118.57/118.67 o 2813903071188 118.57/118.67 o 2813903070676 118.57/118.69 o 2813903068628 118.57/118.69 o 2813903003092 118.57/118.70 o 2813903002836 118.57/118.71 o 2813902986452 118.68/118.72 o 2813902982356 118.68/118.73 o 2813902851284 118.68/118.74 o 2813902818516 118.68/118.75 o 2813902818512 118.68/118.75 o 2813902810320 118.68/118.76 o 2813902809296 118.68/118.77 o 2813902807248 118.68/118.77 o 2813902806736 118.68/118.78 o 2813902806608 118.68/118.79 o 2813902741072 118.68/118.79 o 2813902741040 118.68/118.80 o 2813902741038 140.97/141.02 o 2809747832914 140.97/141.03 o 2809746832914 140.97/141.04 o 2809744832914 140.97/141.07 o 2809740832914 140.97/141.08 o 2809732832914 140.97/141.09 o 2809716832914 141.07/141.10 o 2809684832914 141.07/141.11 o 2808660832914 141.07/141.14 o 2806612832914 141.07/141.16 o 2806100832914 141.07/141.18 o 2805844832914 141.07/141.19 o 2805780832914 141.17/141.22 o 2801684832914 141.17/141.22 o 2785300832914 141.17/141.23 o 2654228832914 141.17/141.26 o 2621460832914 141.17/141.27 o 2621460832910 141.17/141.27 o 2621460832908 141.27/141.32 o 2621460767502 141.27/141.35 o 2621460767438 141.27/141.36 o 2621460766926 154.27/154.34 o 2621459462985 154.27/154.35 o 2621459462977 154.27/154.37 o 2621459462945 154.27/154.38 o 2621459462689 154.27/154.38 o 2621459462673 154.37/154.40 o 2621459462641 154.37/154.42 o 2621459462637 154.37/154.43 o 2621459462629 154.37/154.44 o 2621459462628 154.37/154.46 o 2621459462626 154.37/154.47 o 2621459462114 154.37/154.48 o 2621459453922 154.37/154.49 o 2621459452898 154.47/154.50 o 2621459420130 154.47/154.54 o 2621459405285 154.47/154.55 o 2621459401189 154.47/154.55 o 2621459392997 154.47/154.56 o 2621459376613 154.47/154.58 o 2621459343845 154.47/154.59 o 2621459343843 154.57/154.60 o 2621459343715 154.57/154.61 o 2621459343683 154.57/154.63 o 2621459343427 154.57/154.65 o 2621459343363 154.57/154.67 o 2621459342851 154.57/154.69 o 2621459334659 154.67/154.71 o 2621459330563 154.67/154.72 o 2621459329539 154.67/154.74 o 2621459327491 154.67/154.76 o 2621459311107 165.87/165.95 o 2621458516432 165.87/165.96 o 2621458516428 165.87/165.97 o 2621458516420 165.87/165.97 o 2621458516418 165.87/165.98 o 2621458516386 165.87/166.01 o 2621458516322 165.98/166.02 o 2621458515810 165.98/166.03 o 2621458514786 191.78/191.86 o 2616869054776 191.78/191.88 o 2616869050680 191.78/191.89 o 2616869050168 202.18/202.26 o 2611222212735 202.18/202.27 o 2611218212735 202.18/202.28 o 2611216212735 202.18/202.29 o 2611208212735 202.18/202.29 o 2611207212735 202.18/202.30 o 2610183212735 202.18/202.31 o 2609671212735 202.28/202.32 o 2609639212735 202.28/202.33 o 2609575212735 202.28/202.33 o 2609319212735 202.28/202.34 o 2609191212735 202.28/202.35 o 2609175212735 202.28/202.36 o 2605079212735 202.28/202.37 o 2588695212735 202.28/202.37 o 2572311212735 202.40/202.42 o 2572311210638 202.40/202.43 o 2572311210630 202.40/202.45 o 2572311209606 202.40/202.48 o 2572311209604 202.40/202.50 o 2572311207556 202.48/202.52 o 2572311207300 202.48/202.54 o 2572311076228 202.48/202.56 o 2572311068036 202.48/202.58 o 2572311068004 202.58/202.60 o 2572311068003 202.58/202.62 o 2572311067995 202.58/202.64 o 2572311035227 202.58/202.66 o 2572311018843 265.68/265.72 o 2555928735597 265.68/265.74 o 2555924735597 265.68/265.75 o 2555924731501 265.68/265.77 o 2555924665965 265.68/265.78 o 2555924661869 265.68/265.79 o 2555924653677 265.78/265.85 o 2555924653414 265.78/265.86 o 2555924653410 265.78/265.87 o 2555924651362 265.78/265.88 o 2555924618594 265.78/265.88 o 2555924618338 265.78/265.89 o 2555924618306 265.88/265.90 o 2555924617282 265.88/265.91 o 2555924617274 265.88/265.91 o 2555924600890 265.88/265.92 o 2555924596794 265.88/265.93 o 2555924596666 265.88/265.94 o 2555924596665 265.88/265.94 o 2555924531129 265.88/265.95 o 2555924531125 265.88/265.96 o 2555924531109 265.88/265.96 o 2555924531107 265.88/265.97 o 2555924531075 265.88/265.98 o 2555924531071 265.98/266.01 o 2555924531010 265.98/266.02 o 2555924531006 265.98/266.02 o 2555924530990 265.98/266.03 o 2555924530958 265.98/266.04 o 2555924498190 265.98/266.04 o 2555924498126 265.98/266.06 o 2555924498124 265.98/266.07 o 2555924497612 265.98/266.07 o 2555924497356 265.98/266.08 o 2555924497324 265.98/266.10 o 2543636497324 270.49/270.56 o 2527250912010 270.49/270.57 o 2523154912010 270.49/270.58 o 2490386912010 270.49/270.59 o 2490386780938 270.49/270.59 o 2490386715402 270.49/270.61 o 2490386699018 270.49/270.61 o 2490386690826 270.68/270.71 o 2490322732162 270.68/270.71 o 2490322732160 270.68/270.72 o 2490322732128 270.68/270.73 o 2490322732064 270.68/270.73 o 2490322732048 270.68/270.74 o 2490322732040 270.68/270.75 o 2490258732040 270.68/270.75 o 2490258729992 270.68/270.76 o 2490258729736 270.68/270.78 o 2490130729736 270.78/270.80 o 2490130729704 270.78/270.82 o 2490130729576 298.48/298.52 o 2359063306889 298.48/298.56 o 2359063306888 298.48/298.59 o 2359062306888 298.48/298.59 o 2359060306888 298.58/298.60 o 2358036306888 298.58/298.61 o 2357524306888 298.58/298.61 o 2341140306888 298.58/298.62 o 2339092306888 298.58/298.63 o 2330900306888 298.58/298.63 o 2326804306888 298.58/298.64 o 2326548306888 298.58/298.65 o 2326548306880 298.58/298.67 o 2326548306876 298.58/298.68 o 2326548304828 298.58/298.69 o 2326548300732 298.68/298.70 o 2326548300700 298.68/298.71 o 2326548292508 298.68/298.72 o 2326548292380 298.68/298.73 o 2326548284188 298.68/298.75 o 2326548283164 298.68/298.76 o 2326548283100 298.68/298.78 o 2326548250332 298.68/298.79 o 2326548250316 316.48/316.57 o 2326545331890 316.58/316.60 o 2326545331858 316.58/316.62 o 2326545323666 316.58/316.63 o 2326545322642 316.58/316.64 o 2326545322514 316.58/316.65 o 2326545322002 316.58/316.66 o 2326545321938 316.58/316.67 o 2326545321922 316.58/316.67 o 2326545321918 316.58/316.68 o 2326545321917 316.58/316.71 o 2326545321915 316.58/316.71 o 2326545321883 316.69/316.74 o 2326545320859 316.69/316.78 o 2326545313726 316.69/316.79 o 2326545313718 316.69/316.79 o 2326545313206 316.69/316.80 o 2326545311158 316.80/316.82 o 2326545244054 316.80/316.83 o 2326545244038 316.80/316.83 o 2326545244030 316.80/316.86 o 2326545243006 316.80/316.87 o 2326545242974 316.80/316.88 o 2326545242972 316.80/316.89 o 2326545242968 316.88/316.90 o 2326545242840 316.88/316.91 o 2326545242776 316.88/316.93 o 2326545242744 316.88/316.95 o 2326545242728 316.88/316.96 o 2326545240680 316.88/316.98 o 2326545236584 316.98/317.00 o 2326545236576 316.98/317.02 o 2326545236328 316.98/317.03 o 2326545236320 397.69/397.79 o 2310165411220 397.79/397.81 o 2310165411204 397.79/397.82 o 2310165411202 397.79/397.83 o 2310165410946 397.79/397.84 o 2310165410942 397.79/397.85 o 2310165410910 397.79/397.87 o 2310165408862 397.79/397.88 o 2310165407838 397.89/397.91 o 2310165407326 397.89/397.93 o 2310165407262 397.89/397.95 o 2310165407134 397.89/397.97 o 2310165398942 397.99/398.00 o 2310165366174 397.99/398.02 o 2310165366158 397.99/398.04 o 2310165366156 397.99/398.05 o 2310165300620 397.99/398.06 o 2310165284236 397.99/398.08 o 2310165251468 397.99/398.10 o 2310165247372 398.10/398.12 o 2310165247356 398.10/398.13 o 2310165247228 398.10/398.14 o 2310165247224 398.10/398.15 o 2310165247216 398.10/398.17 o 2310165246960 398.10/398.18 o 2310165246928 398.10/398.20 o 2310165246926 398.21/398.22 o 2310165230545 398.21/398.23 o 2310165230529 398.21/398.24 o 2310165230528 398.21/398.25 o 2310165230400 398.21/398.26 o 2310165229376 398.21/398.27 o 2310165229368 398.21/398.29 o 2310165163832 398.21/398.29 o 2310165163320 398.29/398.30 o 2310165161272 398.29/398.31 o 2310165161016 398.29/398.32 o 2310165160984 398.29/398.33 o 2310165160982 398.29/398.33 o 2310165160918 398.29/398.34 o 2310165152726 398.29/398.35 o 2310165148630 398.29/398.35 o 2310165148626 398.29/398.36 o 2310165148562 398.29/398.39 o 2310165148530 398.39/398.40 o 2310165148274 398.39/398.40 o 2310165148266 398.39/398.41 o 2310165148264 398.39/398.44 o 2310165115496 398.39/398.45 o 2310165115368 398.39/398.46 o 2310165115352 398.39/398.48 o 2310165098968 398.49/398.50 o 2310165094872 398.49/398.52 o 2310165093848 398.49/398.54 o 2310165077464 398.49/398.55 o 2310165077400 398.49/398.57 o 2310165075352 398.49/398.58 o 2310165074328 398.59/398.61 o 2310165074072 398.59/398.63 o 2310165065880 398.59/398.66 o 2310165061784 398.59/398.66 o 2310165061720 398.59/398.67 o 2310165061716 398.59/398.68 o 2310165059668 398.59/398.69 o 2310165059156 398.59/398.69 o 2310165059155 398.69/398.70 o 2310165026387 398.69/398.71 o 2310165026379 398.69/398.71 o 2310164960843 398.69/398.72 o 2310164960811 398.69/398.77 o 2310164956723 398.69/398.78 o 2310164956722 398.69/398.79 o 2310164940338 398.79/398.80 o 2310164939826 398.79/398.81 o 2310164907058 398.79/398.83 o 2310164906034 496.99/497.03 o 2293783725016 496.99/497.04 o 2293783708632 496.99/497.05 o 2293779708632 496.99/497.06 o 2293779708568 496.99/497.07 o 2293779706520 496.99/497.08 o 2293779698328 496.99/497.09 o 2293779698200 496.99/497.11 o 2293779698196 497.10/497.12 o 2293779694100 497.10/497.15 o 2293779694068 497.10/497.17 o 2293779628532 497.10/497.19 o 2293779628276 497.10/497.21 o 2293779628268 497.21/497.23 o 2293779628012 497.21/497.24 o 2293779627756 497.21/497.26 o 2293779627692 497.21/497.28 o 2293779627676 497.29/497.30 o 2293779627164 497.29/497.32 o 2293779626140 497.29/497.34 o 2293779593372 497.29/497.35 o 2293779593356 516.59/516.70 o 2293778985409 516.69/516.72 o 2293778985393 516.69/516.73 o 2293778985391 516.69/516.74 o 2293778985387 516.69/516.75 o 2293778985386 516.69/516.75 o 2293778985382 516.69/516.77 o 2293778985350 516.69/516.77 o 2293778985342 516.69/516.78 o 2293778984318 516.69/516.79 o 2293778984302 516.79/516.80 o 2293778984046 516.79/516.81 o 2293778984044 516.79/516.82 o 2293778979948 516.79/516.83 o 2293778979944 516.79/516.84 o 2293778979936 516.79/516.85 o 2293778963552 516.79/516.86 o 2293778963551 516.79/516.86 o 2293778963519 516.79/516.89 o 2293778963455 516.79/516.90 o 2293778955263 516.90/516.92 o 2293778955135 516.90/516.93 o 2293778954623 516.90/516.96 o 2293778954607 516.90/516.97 o 2293778953583 516.90/516.98 o 2293778953327 516.90/516.98 o 2293778953323 516.90/516.99 o 2293778953067 516.90/517.01 o 2293778953003 517.01/517.02 o 2293778952875 517.01/517.03 o 2293778952363 517.01/517.04 o 2293778952331 701.31/701.39 o 2289682509373 701.41/701.41 o 2256914509373 701.41/701.42 o 2248722509373 701.41/701.44 o 2248722509309 701.41/701.45 o 2248722509301 701.41/701.46 o 2248722492917 701.41/701.47 o 2248722492913 701.41/701.49 o 2248722491889 701.51/701.50 o 2248722229745 701.51/701.54 o 2248722206159 701.51/701.55 o 2232338206159 701.51/701.56 o 2228242206159 701.51/701.58 o 2228242206095 701.51/701.59 o 2228242201999 701.61/701.61 o 2228242201487 701.61/701.62 o 2228242199439 701.61/701.63 o 2228242195343 701.61/701.65 o 2228242195215 701.61/701.66 o 2228242194959 701.61/701.68 o 2228242194444 701.61/701.71 o 2228242194428 701.72/701.73 o 2228242194426 701.72/701.74 o 2228242194418 701.72/701.74 o 2228242194162 701.72/701.76 o 2228242194098 701.72/701.77 o 2228242161330 701.72/701.77 o 2228242095794 701.72/701.79 o 2228242095793 701.72/701.80 o 2228242095792 701.83/701.85 o 2228242064116 701.83/701.86 o 2228242047732 701.83/701.86 o 2228242047716 701.83/701.87 o 2228242047708 983.91/983.94 o 2228240702327 983.91/983.95 o 2228240702199 983.91/983.96 o 2228240702197 983.91/983.97 o 2228240669429 983.91/983.99 o 2228240603893 984.01/984.01 o 2228240570103 984.01/984.02 o 2228240570087 984.01/984.03 o 2228240570085 984.01/984.04 o 2228240565989 984.01/984.06 o 2228240563941 984.01/984.08 o 2228240563937 984.11/984.10 o 2228240563809 984.11/984.12 o 2228240563553 984.11/984.14 o 2228240562529 984.11/984.16 o 2228240558433 984.11/984.19 o 2228240558401 984.21/984.21 o 2228240558393 984.21/984.23 o 2228240558389 984.21/984.25 o 2228240558388 984.21/984.28 o 2228240556340 984.31/984.30 o 2228240556324 984.31/984.30 o 2228240548132 984.31/984.33 o 2228240548004 984.31/984.35 o 2228240547972 984.31/984.37 o 2228240547968 984.31/984.39 o 2228240482432 984.42/984.42 o 2228240482416 984.42/984.44 o 2228240482352 984.42/984.46 o 2228240482351 984.42/984.48 o 2228240482343 984.42/984.50 o 2228240482087 984.53/984.52 o 2228240481575 984.53/984.54 o 2228240477479 984.53/984.56 o 2228240476967 984.53/984.58 o 2228240476903 984.61/984.60 o 2228240460519 1733.75/1733.72 o 2228239107714 1733.75/1733.74 o 2228239107650 1733.75/1733.75 o 2228239107586 1733.75/1733.76 o 2228239107330 1733.75/1733.78 o 2228239107314 1733.85/1733.81 o 2228239107313 1733.85/1733.81 o 2228239107309 1733.85/1733.82 o 2228239103213 1733.85/1733.83 o 2228239102701 1733.85/1733.84 o 2228239102669 1733.85/1733.86 o 2228239102665 1733.85/1733.87 o 2228239102537 1733.85/1733.89 o 2228239102535 1733.95/1733.90 o 2228239102531 1733.95/1733.92 o 2228239102499 1733.95/1733.93 o 2228239086115 1733.95/1733.95 o 2228239069733 1733.95/1733.96 o 2228239067685 1733.95/1733.98 o 2228239059493 1733.95/1733.99 o 2228239059365 1734.05/1734.00 o 2228239058853 1734.05/1734.01 o 2228239058789 1734.05/1734.03 o 2228239058781 1734.05/1734.04 o 2228239058765 1734.05/1734.05 o 2228239054669 1734.05/1734.06 o 2228239054413 1734.05/1734.07 o 2228239054349 1734.05/1734.08 o 2228239052301 1734.15/1734.10 o 2228239052178 1734.15/1734.12 o 2228239051154 1734.15/1734.13 o 2228239051152 1734.15/1734.14 o 2228239034768 1734.15/1734.15 o 2228239034736 1734.15/1734.16 o 2228239034732 1734.15/1734.18 o 2228239034731 1734.25/1734.20 o 2228239034715 1734.25/1734.21 o 2228239026523 1734.25/1734.22 o 2228239026515 1734.25/1734.23 o 2228239026514 1734.25/1734.24 o 2228239024466 1734.25/1734.24 o 2228239023954 1734.25/1734.25 o 2228239019858 1734.25/1734.26 o 2228239019842 1800.06/1800.02 >>> Terminate signal received 1800.06/1800.02 v -x1 x2 -x3 x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 x16 -x17 x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 x102 -x103 x104 x105 x106 -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 x116 x117 x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 -x135 x136 x137 x138 x139 x140 x141 x142 -x143 -x144 x145 x146 x147 x148 x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 x193 x194 x195 x196 x197 x198 -x199 x200 -x201 x202 x203 x204 x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 x235 x236 x237 x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 x281 x282 x283 -x284 x285 x286 x287 x288 x289 -x290 -x291 -x292 x293 x294 x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 x325 x326 x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 x586 x587 -x588 -x589 x590 x591 -x592 -x593 -x594 x595 x596 -x597 -x598 x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 x630 -x631 -x632 x633 x634 x635 -x636 -x637 x638 x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 x676 x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 x751 x752 -x753 -x754 x755 -x756 -x757 x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 x779 -x780
OK 2228239019842
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466724-1307401864/watcher-3466724-1307401864 -o /tmp/evaluation-result-3466724-1307401864/solver-3466724-1307401864 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466724-1307401864.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.01 2.00 3/517 8073 /proc/meminfo: memFree=21358288/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=11796 CPUtime=0 cores=0,2,4,6 /proc/8073/stat : 8073 (runsolver) R 8071 8073 6581 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 1 0 851783109 12079104 53 33554432000 4194304 5432328 140735140401680 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0 /proc/8073/statm: 2949 53 34 303 0 2643 0 [startup+0.08452 s] /proc/loadavg: 1.97 2.01 2.00 3/517 8073 /proc/meminfo: memFree=21358288/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=9176 CPUtime=0.06 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 829 0 0 0 6 0 0 0 25 0 1 0 851783109 9396224 777 33554432000 4194304 6736272 140733892706592 18446744073709551615 5817937 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 2294 777 248 621 0 1664 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9176 [startup+0.10052 s] /proc/loadavg: 1.97 2.01 2.00 3/517 8073 /proc/meminfo: memFree=21358288/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=9832 CPUtime=0.08 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 1013 0 0 0 8 0 0 0 25 0 1 0 851783109 10067968 961 33554432000 4194304 6736272 140733892706592 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 2458 962 266 621 0 1828 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9832 [startup+0.300481 s] /proc/loadavg: 1.97 2.01 2.00 3/517 8073 /proc/meminfo: memFree=21358288/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=24316 CPUtime=0.27 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4627 0 0 0 27 0 0 0 25 0 1 0 851783109 24899584 4575 33554432000 4194304 6736272 140733892706592 18446744073709551615 5803347 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6079 4575 274 621 0 5449 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 24316 [startup+0.700404 s] /proc/loadavg: 1.97 2.01 2.00 3/517 8073 /proc/meminfo: memFree=21358288/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=19960 CPUtime=0.67 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4639 0 0 0 67 0 0 0 25 0 1 0 851783109 20439040 4584 33554432000 4194304 6736272 140733892706592 18446744073709551615 5818527 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 4990 4584 275 621 0 4360 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 19960 [startup+1.50124 s] /proc/loadavg: 1.97 2.01 2.00 3/518 8074 /proc/meminfo: memFree=21240232/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=20096 CPUtime=1.47 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4679 0 0 0 147 0 0 0 25 0 1 0 851783109 20578304 4624 33554432000 4194304 6736272 140733892706592 18446744073709551615 5811920 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5024 4624 290 621 0 4394 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 20096 [startup+3.10092 s] /proc/loadavg: 1.97 2.01 2.00 3/518 8074 /proc/meminfo: memFree=21236040/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=20228 CPUtime=3.07 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4709 0 0 0 307 0 0 0 25 0 1 0 851783109 20713472 4654 33554432000 4194304 6736272 140733892706592 18446744073709551615 5818569 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5057 4654 290 621 0 4427 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 20228 [startup+6.30029 s] /proc/loadavg: 1.98 2.01 2.00 3/518 8074 /proc/meminfo: memFree=21234152/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=20376 CPUtime=6.27 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4757 0 0 0 627 0 0 0 25 0 1 0 851783109 20865024 4702 33554432000 4194304 6736272 140733892706592 18446744073709551615 4505656 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5094 4702 290 621 0 4464 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 20376 [startup+12.701 s] /proc/loadavg: 1.98 2.01 2.00 3/518 8075 /proc/meminfo: memFree=21233092/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=20376 CPUtime=12.67 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4758 0 0 0 1267 0 0 0 25 0 1 0 851783109 20865024 4703 33554432000 4194304 6736272 140733892706592 18446744073709551615 5803162 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5094 4703 291 621 0 4464 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 20376 [startup+25.5005 s] /proc/loadavg: 1.98 2.00 2.00 3/518 8075 /proc/meminfo: memFree=21232800/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=20616 CPUtime=25.47 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4808 0 0 0 2547 0 0 0 25 0 1 0 851783109 21110784 4753 33554432000 4194304 6736272 140733892706592 18446744073709551615 5803152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5154 4753 291 621 0 4524 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 20616 [startup+51.1004 s] /proc/loadavg: 1.99 2.00 2.00 3/518 8076 /proc/meminfo: memFree=21232512/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=21004 CPUtime=51.07 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 4896 0 0 0 5107 0 0 0 25 0 1 0 851783109 21508096 4840 33554432000 4194304 6736272 140733892706592 18446744073709551615 4753621 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5251 4840 291 621 0 4621 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21004 [startup+102.319 s] /proc/loadavg: 1.99 2.00 2.00 3/518 8077 /proc/meminfo: memFree=21231148/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22256 CPUtime=102.29 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5027 0 0 0 10229 0 0 0 25 0 1 0 851783109 22790144 4971 33554432000 4194304 6736272 140733892706592 18446744073709551615 4753686 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5564 4971 291 621 0 4934 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 22256 [startup+162.3 s] /proc/loadavg: 2.06 2.02 2.00 3/518 8079 /proc/meminfo: memFree=21228372/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22256 CPUtime=162.27 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5109 0 0 0 16227 0 0 0 25 0 1 0 851783109 22790144 5052 33554432000 4194304 6736272 140733892706592 18446744073709551615 5817023 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5564 5052 291 621 0 4934 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 22256 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/518 8080 /proc/meminfo: memFree=21230592/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22256 CPUtime=222.28 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5114 0 0 0 22228 0 0 0 25 0 1 0 851783109 22790144 5057 33554432000 4194304 6736272 140733892706592 18446744073709551615 5817984 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5564 5057 291 621 0 4934 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 22256 [startup+282.3 s] /proc/loadavg: 2.01 2.00 2.00 3/518 8082 /proc/meminfo: memFree=21231568/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22256 CPUtime=282.28 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5128 0 0 0 28227 1 0 0 25 0 1 0 851783109 22790144 5071 33554432000 4194304 6736272 140733892706592 18446744073709551615 5149207 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5564 5071 291 621 0 4934 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 22256 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/518 8083 /proc/meminfo: memFree=21230316/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22256 CPUtime=342.28 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5129 0 0 0 34227 1 0 0 25 0 1 0 851783109 22790144 5072 33554432000 4194304 6736272 140733892706592 18446744073709551615 5811961 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5564 5072 291 621 0 4934 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 22256 [startup+402.3 s] /proc/loadavg: 2.07 2.03 2.01 3/518 8085 /proc/meminfo: memFree=21229676/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22656 CPUtime=402.29 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5321 0 0 0 40228 1 0 0 25 0 1 0 851783109 23199744 5263 33554432000 4194304 6736272 140733892706592 18446744073709551615 5811923 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5664 5263 291 621 0 5034 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 22656 [startup+462.3 s] /proc/loadavg: 2.06 2.03 2.01 3/518 8087 /proc/meminfo: memFree=21229284/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22656 CPUtime=462.29 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5321 0 0 0 46228 1 0 0 25 0 1 0 851783109 23199744 5263 33554432000 4194304 6736272 140733892706592 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5664 5263 291 621 0 5034 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 22656 [startup+522.3 s] /proc/loadavg: 2.02 2.02 2.00 3/518 8088 /proc/meminfo: memFree=21228880/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22656 CPUtime=522.29 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5322 0 0 0 52228 1 0 0 25 0 1 0 851783109 23199744 5264 33554432000 4194304 6736272 140733892706592 18446744073709551615 5811942 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5664 5264 291 621 0 5034 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 22656 [startup+582.3 s] /proc/loadavg: 2.01 2.02 2.00 3/518 8090 /proc/meminfo: memFree=21228112/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=22656 CPUtime=582.3 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5322 0 0 0 58229 1 0 0 25 0 1 0 851783109 23199744 5264 33554432000 4194304 6736272 140733892706592 18446744073709551615 5811912 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 5664 5264 291 621 0 5034 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 22656 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.03 2.00 3/518 8096 /proc/meminfo: memFree=21227504/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=822.31 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 82229 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5221904 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 25348 [startup+882.301 s] /proc/loadavg: 2.12 2.05 2.01 3/518 8098 /proc/meminfo: memFree=21226364/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=882.31 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 88229 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 25348 [startup+942.301 s] /proc/loadavg: 2.04 2.04 2.00 3/518 8099 /proc/meminfo: memFree=21225348/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=942.31 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 94229 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5816988 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 25348 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/518 8101 /proc/meminfo: memFree=21225700/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1002.32 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 100230 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5818656 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 25348 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 8103 /proc/meminfo: memFree=21225912/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1062.32 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 106230 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5148197 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 25348 [startup+1122.3 s] /proc/loadavg: 2.12 2.05 2.01 3/518 8104 /proc/meminfo: memFree=21224900/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1122.32 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 112230 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 25348 [startup+1182.3 s] /proc/loadavg: 2.10 2.05 2.01 3/518 8106 /proc/meminfo: memFree=21224136/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1182.32 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 118230 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 25348 [startup+1242.3 s] /proc/loadavg: 2.04 2.04 2.00 3/518 8107 /proc/meminfo: memFree=21224108/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1242.33 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 124231 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5142094 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 25348 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.00 3/518 8109 /proc/meminfo: memFree=21223440/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1302.34 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 130232 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 4753634 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 25348 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 8111 /proc/meminfo: memFree=21224904/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1362.33 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 136231 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 4753698 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 25348 [startup+1422.32 s] /proc/loadavg: 2.06 2.05 2.01 3/518 8112 /proc/meminfo: memFree=21225360/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1422.35 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 142233 2 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5818029 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 25348 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/518 8114 /proc/meminfo: memFree=21224232/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1482.34 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 148231 3 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 4734638 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 25348 [startup+1542.3 s] /proc/loadavg: 2.01 2.03 2.00 3/518 8115 /proc/meminfo: memFree=21225440/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1542.34 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 154231 3 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 25348 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 8117 /proc/meminfo: memFree=21225284/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1602.35 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5567 0 0 0 160232 3 0 0 25 0 1 0 851783109 25956352 5507 33554432000 4194304 6736272 140733892706592 18446744073709551615 5806349 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5507 291 621 0 5707 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 25348 [startup+1662.3 s] /proc/loadavg: 2.07 2.04 2.01 3/518 8119 /proc/meminfo: memFree=21224508/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1662.35 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5612 0 0 0 166232 3 0 0 25 0 1 0 851783109 25956352 5552 33554432000 4194304 6736272 140733892706592 18446744073709551615 4734638 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5552 291 621 0 5707 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 25348 [startup+1722.3 s] /proc/loadavg: 2.06 2.05 2.01 3/518 8120 /proc/meminfo: memFree=21224608/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1722.35 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5612 0 0 0 172232 3 0 0 25 0 1 0 851783109 25956352 5552 33554432000 4194304 6736272 140733892706592 18446744073709551615 5811885 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5552 291 621 0 5707 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 25348 [startup+1782.3 s] /proc/loadavg: 2.02 2.04 2.00 3/518 8122 /proc/meminfo: memFree=21221116/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1782.35 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5612 0 0 0 178232 3 0 0 25 0 1 0 851783109 25956352 5552 33554432000 4194304 6736272 140733892706592 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5552 291 621 0 5707 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 25348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 2/516 8123 /proc/meminfo: memFree=21454356/32950928 swapFree=34259960/67111528 [pid=8073] ppid=8071 vsize=25348 CPUtime=1800.06 cores=0,2,4,6 /proc/8073/stat : 8073 (minisatid-gmp) R 8071 8073 6581 0 -1 4202496 5612 0 0 0 180003 3 0 0 25 0 1 0 851783109 25956352 5552 33554432000 4194304 6736272 140733892706592 18446744073709551615 5806398 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/8073/statm: 6337 5552 291 621 0 5707 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 25348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.09 CPU user time (s): 1800.05 CPU system time (s): 0.037994 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 25348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.037994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5617 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= 4 involuntary context switches= 5389 runsolver used 9.70352 second user time and 20.4359 second system time The end
Begin job on node149 at 2011-06-07 01:11:04 IDJOB=3466724 IDBENCH=2505 IDSOLVER=1957 FILE ID=node149/3466724-1307401864 RUNJOBID= node149-1307398258-7806 PBS_JOBID= 13514158 Free space on /tmp= 73784 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466724-1307401864/watcher-3466724-1307401864 -o /tmp/evaluation-result-3466724-1307401864/solver-3466724-1307401864 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466724-1307401864.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 34e6501168eba14fba603ee8987209fc RANDOM SEED=1022984915 node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 21358816 kB Buffers: 344016 kB Cached: 3312476 kB SwapCached: 123196 kB Active: 615800 kB Inactive: 10639684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 21358816 kB SwapTotal: 67111528 kB SwapFree: 34259960 kB Dirty: 11036 kB Writeback: 0 kB AnonPages: 7500028 kB Mapped: 18964 kB Slab: 149532 kB PageTables: 117832 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 173233964 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73780 MiB End job on node149 at 2011-06-07 01:41:06