Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.4.8-gmp | ? (TO) | 1078831644959314 | 1800.08 | 1800.02 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell5.opb |
| MD5SUM | da0fa1480f123e186307c547a0028656 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 938830260671609 |
| Best CPU time to get the best result obtained on this benchmark | 1800.25 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1037979231691996 |
| Optimality of the best value was proved | NO |
| Number of variables | 1704 |
| Total number of constraints | 118 |
| Number of constraints which are clauses | 15 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 103 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 135 |
| Number of terms in the objective function | 1268 |
| Biggest coefficient in the objective function | 50331648000000000 |
| Number of bits for the biggest coefficient in the objective function | 56 |
| Sum of the numbers in the objective function | 888722133694353611 |
| Number of bits of the sum of numbers in the objective function | 60 |
| Biggest number in a constraint | 50331648000000000 |
| Number of bits of the biggest number in a constraint | 56 |
| Biggest sum of numbers in a constraint | 888722133694353611 |
| Number of bits of the biggest sum of numbers | 60 |
| 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.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.39/0.45 o 3788690497126172 1.79/1.86 o 3717478991366517 1.89/1.93 o 3715430991366517 1.99/2.00 o 3707238991366517 1.99/2.06 o 3707208313145717 2.10/2.13 o 3707127820192117 2.10/2.19 o 3707112481081717 2.29/2.32 o 3703016481081717 2.29/2.39 o 3702694509267317 2.49/2.51 o 3698598509267317 2.49/2.57 o 3697574509267317 2.59/2.63 o 3696550509267317 2.59/2.69 o 3696389523360117 3.49/3.58 o 3690437984053637 3.59/3.67 o 3657669984053637 3.69/3.75 o 3641285984053637 3.79/3.82 o 3633093984053637 3.89/3.90 o 3633087561361797 3.89/3.98 o 3633061870594437 3.99/4.06 o 3633010489059717 4.09/4.14 o 3501938489059717 4.19/4.23 o 3469170489059717 4.30/4.31 o 3403634489059717 6.50/6.53 o 3254293043524055 6.50/6.61 o 3254292964917655 6.61/6.69 o 3254292925614455 6.69/6.77 o 3254292905962855 6.79/6.84 o 3254292903506405 6.89/6.92 o 3254292898593505 6.99/7.00 o 3254292741380705 6.99/7.08 o 3254292731554905 7.09/7.16 o 3254292417129305 7.19/7.23 o 3254292416764305 7.29/7.31 o 3254292415304305 7.29/7.39 o 3254292414574305 7.39/7.46 o 3254289798254305 7.49/7.54 o 3254289765550305 7.60/7.62 o 3254289761462305 7.60/7.69 o 3254289760951305 7.71/7.77 o 3254289759929305 7.79/7.84 o 3254289498297305 7.89/7.92 o 3254289432889305 7.89/8.00 o 3254289430845305 7.99/8.07 o 3254272686397305 8.09/8.15 o 3241984686397305 8.19/8.28 o 3209216686397305 8.29/8.35 o 2947072686397305 8.39/8.45 o 2947070593341305 8.49/8.50 o 2938878593341305 8.49/8.57 o 2938874407229305 8.59/8.65 o 2938873246480249 8.70/8.72 o 2938870924982137 8.70/8.79 o 2938866281985913 8.81/8.86 o 2936818281985913 8.89/8.93 o 2936816523818873 8.99/9.00 o 2936816523711563 8.99/9.07 o 2936816523657908 9.09/9.14 o 2935792523657908 9.19/9.21 o 2923914123657908 9.29/9.32 o 2921866123657908 9.29/9.39 o 2917770123657908 9.49/9.55 o 2917770120824048 9.49/9.60 o 2917767218951408 9.59/9.68 o 2917485912225008 9.69/9.73 o 2917345258861808 9.80/9.81 o 2917208959055088 9.80/9.87 o 2917200440317168 9.91/9.92 o 2917183402841328 9.91/9.98 o 2917149327889648 9.99/10.03 o 2917148778462448 9.99/10.08 o 2917146580753648 10.09/10.14 o 2917128999083248 10.09/10.19 o 2917093835742448 10.19/10.24 o 2917092736888048 10.29/10.30 o 2917022410206448 10.29/10.35 o 2917022135492848 10.39/10.40 o 2917017740075248 10.39/10.46 o 2912921740075248 10.49/10.51 o 2908518540075248 10.49/10.56 o 2892134540075248 14.09/14.17 o 2731069436166204 14.20/14.25 o 2731067883940924 14.31/14.33 o 2731067835433884 14.39/14.41 o 2731067811180364 14.39/14.50 o 2731067799053604 14.49/14.58 o 2731067410997284 14.59/14.66 o 2731067313983204 14.69/14.74 o 2731067119955044 14.79/14.82 o 2731067113891664 14.89/14.90 o 2731066337779024 14.89/14.98 o 2731060436557136 15.09/15.11 o 2731043967196496 15.09/15.18 o 2731035732516176 15.19/15.26 o 2731002243620176 15.30/15.33 o 2731002235444176 15.41/15.42 o 2731002235188676 15.41/15.49 o 2731002104372676 15.49/15.58 o 2731002088020676 15.59/15.66 o 2731002022612676 15.69/15.74 o 2731002018524676 15.79/15.82 o 2731000971996676 15.79/15.90 o 2731000448732676 15.89/15.97 o 2731000416028676 15.99/16.05 o 2731000405808676 16.09/16.13 o 2731000324048676 16.19/16.21 o 2731000303608676 16.19/16.29 o 2731000262728676 16.29/16.37 o 2730999935688676 16.40/16.45 o 2728951935688676 16.60/16.61 o 2597879935688676 16.60/16.62 o 2073591935688676 16.60/16.69 o 2071543935688676 16.70/16.76 o 2070519935688676 16.80/16.84 o 2066423935688676 16.90/16.93 o 2001911935688676 17.00/17.01 o 2001828213448676 17.00/17.08 o 2001828049928676 17.10/17.16 o 2001827395848676 17.20/17.23 o 2001827393293676 17.30/17.31 o 2001827388183676 17.30/17.38 o 2001824771863676 17.40/17.46 o 2001819539223676 17.50/17.53 o 2001809073943676 17.50/17.60 o 2001788143383676 17.70/17.70 o 2000448587543676 17.70/17.76 o 2000448584407596 17.80/17.84 o 2000422893640236 17.90/17.91 o 1999398893640236 18.10/18.13 o 1999333016197676 18.20/18.22 o 1999300077476396 18.30/18.31 o 1998796404480556 18.40/18.40 o 1998590878341676 18.40/18.45 o 1998590877949666 18.50/18.52 o 1996072512970466 18.50/18.58 o 1995442921725666 18.60/18.64 o 1995128126103266 18.71/18.75 o 1994104126103266 18.90/18.93 o 1992056126103266 18.90/18.98 o 1987960126103266 19.00/19.05 o 1971576126103266 19.10/19.11 o 1971576106451666 19.10/19.15 o 1971576067148466 19.20/19.20 o 1971576057322666 19.20/19.27 o 1971576052409766 20.29/20.39 o 1881773157222232 20.39/20.45 o 1881771899519832 20.49/20.51 o 1881771270668632 20.49/20.58 o 1881771192062232 20.59/20.65 o 1881771034849432 20.69/20.72 o 1881770720423832 20.69/20.79 o 1881770241076632 20.80/20.86 o 1881770237331732 20.91/20.93 o 1881770222352132 20.99/21.00 o 1881770198098612 20.99/21.08 o 1881750346592492 21.09/21.14 o 1881740053242092 21.19/21.23 o 1880775271039212 21.19/21.29 o 1880773258715372 21.29/21.36 o 1880769234067692 21.39/21.43 o 1880761184772332 21.49/21.51 o 1880760178610412 21.49/21.58 o 1879736178610412 21.59/21.67 o 1877688194451412 21.80/21.85 o 1873284994451412 21.90/21.92 o 1867345794451412 21.90/22.00 o 1862942594451412 22.01/22.07 o 1861406594451412 22.10/22.14 o 1859298516289492 22.20/22.21 o 1857250516289492 22.20/22.28 o 1853154516289492 22.30/22.39 o 1848751316289492 22.40/22.46 o 1848622862452692 22.50/22.59 o 1848614858784522 22.60/22.66 o 1846559597395722 22.70/22.73 o 1846527483936522 22.80/22.80 o 1846511427206922 22.80/22.86 o 1846481436704522 23.11/23.14 o 1846447032844042 23.20/23.24 o 1798933432844042 23.30/23.31 o 1790741432844042 23.30/23.38 o 1789717432844042 23.40/23.44 o 1787669432844042 23.50/23.52 o 1786645432844042 23.50/23.59 o 1782549432844042 23.70/23.74 o 1778453432844042 23.80/23.80 o 1778448648716042 23.80/23.86 o 1778448349708042 23.90/23.92 o 1778366002904842 23.90/23.99 o 1778324829503242 24.00/24.05 o 1776276829503242 24.10/24.11 o 1775947442290442 24.10/24.17 o 1759563442290442 24.21/24.23 o 1759538899713802 24.21/24.29 o 1759532764069642 24.30/24.35 o 1759483092860682 24.40/24.41 o 1759383750442762 24.40/24.47 o 1757794271756042 24.50/24.52 o 1756999532412682 24.50/24.58 o 1756974696808202 24.60/24.66 o 1756974694935752 24.70/24.72 o 1756974664976552 24.70/24.77 o 1756974545139752 24.80/24.83 o 1756974485221352 24.80/24.89 o 1756974245547752 24.90/24.95 o 1756483394014952 25.00/25.00 o 1756237968248552 25.00/25.06 o 1755256265182952 25.31/25.33 o 1753360952143592 25.31/25.38 o 1753337347256040 25.40/25.43 o 1753325544812264 25.40/25.49 o 1753301939924712 25.50/25.54 o 1753298989313768 25.50/25.58 o 1753298989109806 25.70/25.70 o 1753102648496686 25.80/25.82 o 1753102634089406 25.80/25.88 o 1753102633067406 25.90/25.95 o 1753102631023406 26.00/26.01 o 1753102630512406 26.00/26.07 o 1753102622336406 26.10/26.13 o 1753102618248406 26.10/26.18 o 1752298884744406 26.20/26.23 o 1752282786153686 26.30/26.36 o 1747879586153686 26.49/26.53 o 1747819605148886 26.59/26.64 o 1743828332773886 26.59/26.69 o 1743823937356286 26.69/26.73 o 1711055937356286 26.79/26.83 o 1710687798706686 27.00/27.00 o 1702056765925886 27.00/27.05 o 1702056737111326 27.10/27.10 o 1702056506594846 27.10/27.16 o 1702056391336606 27.20/27.21 o 1702055469270686 27.20/27.26 o 1702055411641566 27.30/27.31 o 1702054950608606 27.30/27.37 o 1702047574081246 27.40/27.42 o 1702027007484646 27.40/27.47 o 1702021976675046 27.51/27.52 o 1701825648045606 27.51/27.59 o 1701696859319846 27.60/27.64 o 1701696856894494 27.70/27.78 o 1693504856894494 27.80/27.86 o 1693502341489694 27.90/27.96 o 1693478736602142 28.00/28.02 o 1660710736602142 28.00/28.07 o 1656614736602142 28.10/28.12 o 1654566736602142 35.90/35.91 o 1648810821957025 36.00/36.00 o 1648810801852825 36.00/36.09 o 1648810708412825 36.10/36.18 o 1648810521532825 36.20/36.27 o 1648810520072825 36.31/36.36 o 1648810473352825 36.40/36.44 o 1648810461369145 36.50/36.53 o 1648810460977135 36.60/36.62 o 1648810460193115 36.60/36.69 o 1648810458625075 36.70/36.77 o 1648810455488995 36.80/36.84 o 1648810442944675 36.90/36.92 o 1648810436672515 36.90/36.99 o 1648810375188995 37.00/37.07 o 1648810129254915 37.10/37.14 o 1648810006287875 37.20/37.22 o 1648809975546115 37.30/37.31 o 1648809960175235 37.30/37.38 o 1648809952489795 37.41/37.45 o 1648809948647075 37.50/37.53 o 1648809942807075 37.50/37.59 o 1648809785594275 37.60/37.67 o 1648809784633595 37.70/37.75 o 1648809776048795 37.80/37.82 o 1648809771756395 37.80/37.88 o 1648809769610195 37.90/37.96 o 1648809737443475 38.00/38.04 o 1648809735433055 38.10/38.11 o 1648809734427845 38.10/38.19 o 1648809733925240 38.20/38.26 o 1648809729904400 38.30/38.34 o 1648809721862720 38.41/38.41 o 1648809705779360 38.41/38.48 o 1648809577112480 38.51/38.55 o 1648809512779040 38.60/38.63 o 1648809255445280 38.70/38.70 o 1648808740777760 38.70/38.77 o 1648807454108960 38.80/38.84 o 1648806355254560 38.90/38.91 o 1648774158073120 38.90/38.97 o 1648766108777760 39.00/39.04 o 1648701714414880 39.10/39.11 o 1647677714414880 39.10/39.18 o 1646653714414880 39.20/39.25 o 1646653245813280 39.30/39.32 o 1646653128662880 39.30/39.39 o 1646651254256480 39.40/39.51 o 1646647505443680 39.50/39.57 o 1646647271142880 39.61/39.63 o 1646646333939680 39.70/39.70 o 1646638836314080 39.70/39.77 o 1646623841062880 39.80/39.84 o 1646583594586080 39.90/39.91 o 1646583555780448 40.00/40.04 o 1646583478169184 40.10/40.10 o 1645559478169184 40.20/40.23 o 1643511478169184 40.20/40.29 o 1643429131365984 40.30/40.39 o 1643418838015584 40.40/40.46 o 1643398251314784 40.50/40.53 o 1643357077913184 40.60/40.63 o 1595024277913184 40.60/40.69 o 1594895489187424 40.80/40.80 o 1594883881696864 40.80/40.89 o 1594141002301024 41.00/41.01 o 1593562729938528 41.00/41.09 o 1593444705500768 41.10/41.15 o 1585252705500768 41.20/41.22 o 1584780607749728 41.20/41.28 o 1584544558874208 41.30/41.34 o 1584543529539168 41.40/41.40 o 1584541470869088 41.40/41.46 o 1584537353528928 41.50/41.57 o 1572658953528928 41.50/41.59 o 1568255753528928 41.60/41.65 o 1562316553528928 41.70/41.74 o 1562315019617888 41.70/41.79 o 1562212256548448 41.81/41.85 o 1562212069107808 41.90/41.90 o 1562199223724128 41.90/41.96 o 1562199200294048 42.00/42.01 o 1562173509526688 42.00/42.07 o 1562172010001568 42.10/42.12 o 1562171963141408 42.10/42.17 o 1561966437002528 42.20/42.22 o 1561555384724768 42.20/42.27 o 1561555009843488 42.30/42.33 o 1561503628308768 42.30/42.38 o 1561503534588448 42.40/42.43 o 1561502784825888 42.40/42.48 o 1561502773110848 42.50/42.53 o 1561502006155328 42.60/42.61 o 1559454006155328 42.60/42.66 o 1559451705288768 42.81/42.90 o 1513996703033408 42.91/42.96 o 1512708815775808 43.00/43.01 o 1512323023693888 43.00/43.05 o 1511551439530048 43.10/43.10 o 1511551335101504 43.10/43.16 o 1511242701435968 43.20/43.21 o 1509194701435968 43.20/43.26 o 1508170701435968 43.30/43.31 o 1507553434104896 43.30/43.37 o 1507244800439360 43.40/43.45 o 1507211311543360 43.50/43.55 o 1507198074994728 43.60/43.61 o 1507191391567912 43.60/43.66 o 1507137924153384 43.70/43.71 o 1502734724153384 43.70/43.76 o 1501252191567912 43.80/43.81 o 1501248849854504 43.80/43.86 o 1501248014426152 43.80/43.91 o 1501247596711976 43.91/43.96 o 1501245925855272 43.91/44.01 o 1500221925855272 44.01/44.06 o 1488343525855272 44.10/44.10 o 1488021554040872 44.20/44.23 o 1440507954040872 44.20/44.27 o 1435471224082472 44.30/44.32 o 1431375224082472 47.80/47.86 o 1425698995908122 47.90/47.95 o 1425698930500122 48.00/48.04 o 1425698897796122 48.10/48.12 o 1425698881444122 48.20/48.21 o 1425698879400122 48.20/48.30 o 1425698871224122 48.31/48.38 o 1425698867136122 48.41/48.46 o 1425698866625122 48.50/48.55 o 1425698865603122 48.60/48.63 o 1425698350935602 48.70/48.72 o 1425697321600562 48.80/48.81 o 1425697070060082 48.80/48.89 o 1425696944289842 48.90/48.98 o 1425695636129842 49.00/49.08 o 1425687117391922 49.10/49.16 o 1425670079916082 49.20/49.24 o 1424646079916082 49.30/49.32 o 1424645929216050 49.30/49.39 o 1412562729216050 49.41/49.46 o 1412556306524210 49.51/49.54 o 1412350780385330 49.80/49.87 o 1409455625804042 49.90/49.96 o 1361122825804042 50.00/50.04 o 1360098825804042 50.10/50.12 o 1358050825804042 50.20/50.20 o 1357999444269322 50.20/50.28 o 1353596244269322 50.30/50.36 o 1349500244269322 50.40/50.51 o 1345404244269322 76.50/76.57 o 1345368949286161 76.60/76.62 o 1345368947039221 76.60/76.68 o 1345368932395421 76.70/76.74 o 1345368925073521 76.80/76.84 o 1345368921412571 76.91/76.95 o 1345368918956121 77.01/77.05 o 1345368909130321 77.10/77.16 o 1345368889478721 77.20/77.26 o 1345368884565821 77.30/77.37 o 1345368878679101 77.40/77.47 o 1345368855627453 77.50/77.57 o 1345368849864541 77.60/77.68 o 1345368846983085 77.70/77.78 o 1345368835457261 77.80/77.88 o 1345368831436421 77.90/77.99 o 1345368815353061 78.01/78.09 o 1345368807311381 78.11/78.19 o 1345368807128881 78.20/78.29 o 1345368798952881 78.30/78.39 o 1345368794864881 78.40/78.49 o 1345368778512881 78.60/78.60 o 1345368647696881 78.70/78.70 o 1345368386064881 78.70/78.79 o 1345367862800881 78.80/78.89 o 1345366816272881 78.90/78.99 o 1345365558570481 79.00/79.09 o 1345364929719281 79.11/79.19 o 1345364528301041 79.21/79.29 o 1345364327591921 79.30/79.39 o 1345364300120561 79.40/79.49 o 1345364298199201 79.50/79.58 o 1345364175232161 79.60/79.68 o 1345364144490401 79.70/79.78 o 1345364136804961 79.80/79.87 o 1345364121434081 79.90/79.97 o 1345364117591361 80.00/80.06 o 1345364056107841 80.10/80.16 o 1345363810173761 80.21/80.25 o 1345363318305601 80.31/80.35 o 1345361350832961 80.40/80.44 o 1345360367096641 80.50/80.53 o 1345360366135961 80.60/80.63 o 1345360361426585 80.70/80.72 o 1345360342589081 80.80/80.81 o 1345360333170329 80.90/80.90 o 1345360330815641 80.90/80.99 o 1345359125215385 81.00/81.08 o 1345359124038041 81.10/81.18 o 1345356712837529 81.20/81.27 o 1345356712248857 81.31/81.36 o 1345356410848793 81.41/81.44 o 1345355808048665 81.50/81.53 o 1345355732698649 81.60/81.62 o 1345355581998617 81.70/81.71 o 1345355544323609 81.80/81.80 o 1345347025585689 81.80/81.88 o 1345330968856089 81.90/81.97 o 1345322940491289 82.00/82.06 o 1345290827032089 82.10/82.14 o 1345188063962649 82.20/82.23 o 1344931156289049 82.30/82.31 o 1344417340941849 82.41/82.44 o 1344412108301849 82.41/82.51 o 1344406875661849 82.51/82.59 o 1332323675661849 82.70/82.75 o 1299555675661849 82.80/82.88 o 1234019675661849 82.90/82.93 o 1231971675661849 82.90/82.99 o 1215587675661849 83.00/83.07 o 1213539675661849 83.51/83.52 o 1211502140941849 83.51/83.59 o 1207406140941849 83.70/83.73 o 1207401318540825 83.80/83.81 o 1206377318540825 83.80/83.88 o 1206360849180185 83.90/83.96 o 1206351204378137 84.00/84.03 o 1173583204378137 84.10/84.10 o 1173563914774041 84.10/84.18 o 1173559092373017 84.20/84.26 o 1169463092373017 84.30/84.33 o 1168439092373017 84.40/84.41 o 1164035892373017 84.40/84.49 o 1164002953651737 84.50/84.56 o 1163978841646617 85.20/85.23 o 1163948163425817 85.30/85.32 o 1163941130757657 85.40/85.45 o 1163936487761433 85.50/85.53 o 1163934399190553 85.60/85.65 o 1163934340797853 85.71/85.72 o 1163934223647453 85.71/85.79 o 1163934194359853 85.81/85.86 o 1163933725758253 85.90/85.93 o 1163933491457453 86.00/86.01 o 1163932554254253 86.00/86.08 o 1163930679847853 86.10/86.15 o 1163915684596653 86.20/86.22 o 1163911935783853 86.20/86.29 o 1163904438158253 277.40/277.40 o 1131688608914698 277.40/277.45 o 1131688602387914 277.50/277.51 o 1131688594898114 277.50/277.56 o 1131688587037474 277.60/277.65 o 1131688585469434 277.70/277.70 o 1131688565817834 277.70/277.74 o 1131688562072934 277.70/277.78 o 1131688561112254 277.80/277.82 o 1131688521809054 277.80/277.86 o 1131688521025034 277.90/277.90 o 1131688520721865 277.90/277.95 o 1131688517690175 277.90/277.99 o 1131688517083837 278.00/278.03 o 1131688510811677 278.00/278.07 o 1131688498267357 278.10/278.11 o 1131688466906557 278.10/278.14 o 1131688451226157 278.10/278.18 o 1131688450745817 278.21/278.23 o 1131688448824457 278.21/278.27 o 1131688387340937 278.21/278.31 o 1131688384884487 278.32/278.35 o 1131688369163207 278.32/278.39 o 1131688359461799 278.40/278.42 o 1131688357589349 278.40/278.46 o 1131688354453269 278.40/278.49 o 1131688341399701 278.50/278.53 o 1131688311440501 278.50/278.56 o 1131688311048491 278.50/278.59 o 1131688308623139 278.60/278.62 o 1131688277881379 278.60/278.65 o 1131688276668703 278.60/278.68 o 1131688261297823 278.70/278.71 o 1131688256447119 278.70/278.74 o 1131688206269839 278.70/278.76 o 1131688143384719 278.70/278.79 o 1131688091170447 278.80/278.82 o 1131688065063311 278.80/278.84 o 1131688062181855 278.80/278.87 o 1131688030739295 278.80/278.89 o 1131687551392095 278.90/278.92 o 1131687311718495 278.90/278.94 o 1131687191881695 278.90/278.97 o 1131679142586335 278.90/279.00 o 1131671093290975 279.00/279.02 o 1131663423735775 279.00/279.04 o 1131662465041375 279.00/279.06 o 1131660547652575 279.00/279.08 o 1131656712874975 279.10/279.12 o 1131549778045919 279.20/279.21 o 1125508178045919 279.20/279.30 o 1123460178045919 279.42/279.48 o 1123145382423519 279.50/279.53 o 1122515791178719 279.50/279.59 o 1122491679173599 279.70/279.71 o 1122459565714399 279.70/279.77 o 1121431935019999 279.80/279.83 o 1121415878290399 279.90/279.97 o 1120391878290399 340.61/340.61 o 1120027053379327 340.61/340.67 o 1120027052888037 340.71/340.74 o 1120027051814937 340.81/340.80 o 1120027050999089 340.81/340.87 o 1120027049865545 340.92/340.94 o 1120027049354545 341.02/341.04 o 1120027049150583 341.11/341.14 o 1120027048583811 341.11/341.19 o 1120027048338166 341.21/341.25 o 1120027048082666 341.31/341.30 o 1120027047546116 341.31/341.38 o 1120027046563536 341.41/341.44 o 1120027046155612 341.51/341.52 o 1120027045872226 341.61/341.62 o 1120027045369621 341.71/341.73 o 1120027044364411 341.81/341.83 o 1120027043775739 341.91/341.93 o 1120027042598395 341.91/341.99 o 1120027042118055 342.02/342.09 o 1120027041157375 342.12/342.18 o 1120027040863039 342.21/342.27 o 1120027040004559 342.31/342.36 o 1120027038287599 342.41/342.47 o 1120027034853679 342.51/342.56 o 1120027021117999 342.61/342.66 o 1120027014250159 342.71/342.75 o 1120026986778799 342.81/342.85 o 1120026980786959 342.91/342.94 o 1120026956819599 343.01/343.04 o 1120026860950159 343.11/343.13 o 1120026669211279 343.22/343.22 o 1120026621276559 343.31/343.32 o 1120018751385999 343.41/343.41 o 1120014574244239 343.51/343.51 o 1120014570223399 343.61/343.61 o 1120014568212979 343.71/343.71 o 1120014565269619 343.81/343.80 o 1120014559382899 343.91/343.90 o 1120014549776099 343.91/343.99 o 1120014544972699 344.01/344.09 o 1120014533199259 344.11/344.19 o 1120014513985659 344.21/344.30 o 1115918513985659 344.32/344.39 o 1114894513985659 344.41/344.44 o 1114862316804219 344.61/344.65 o 1114858292156539 344.71/344.75 o 1112810292156539 490.41/490.49 o 1085682044401810 490.62/490.62 o 1085682044107474 490.71/490.75 o 1085682043747292 490.81/490.86 o 1085682043244687 490.91/490.99 o 1085682042524323 491.11/491.10 o 1085682041519113 491.21/491.23 o 1085682040078385 491.31/491.35 o 1085682039703895 491.41/491.46 o 1085682038205935 491.51/491.59 o 1085682038018690 491.62/491.71 o 1085682035664002 491.81/491.83 o 1085682034486658 491.91/491.94 o 1085682033897986 492.01/492.06 o 1085682032685310 492.11/492.17 o 1085682027834606 492.21/492.29 o 1085682025409254 492.41/492.42 o 1085682022527798 492.51/492.54 o 1085682020517378 492.61/492.65 o 1085682016496538 492.72/492.77 o 1085682016241038 492.82/492.89 o 1085682013686038 492.91/492.99 o 1085682013175038 493.11/493.11 o 1085682012153038 493.21/493.23 o 1085682010109038 493.31/493.33 o 1085682006021038 493.41/493.45 o 1085682001311662 493.51/493.58 o 1085682000919652 493.61/493.68 o 1085681994647492 493.71/493.80 o 1085681988884580 493.82/493.90 o 1085681984964480 494.01/494.02 o 1085681856297600 494.11/494.13 o 1085681840214240 494.21/494.24 o 1085681808047520 494.31/494.36 o 1085681800005840 494.41/494.46 o 1085681542672080 494.51/494.58 o 1085681478338640 494.71/494.70 o 1085673106114640 494.81/494.81 o 1085664733890640 494.92/494.91 o 1085663063033936 495.02/495.03 o 1085661050710096 495.11/495.14 o 1085650585430096 495.21/495.26 o 1085629654870096 495.31/495.37 o 1085587793750096 495.41/495.48 o 1085574426896464 495.51/495.59 o 1085373924091984 495.71/495.70 o 1085245135366224 495.81/495.81 o 1085245054949424 495.91/495.93 o 1085237005654064 496.02/496.04 o 1083189005654064 496.21/496.25 o 1083105283414064 496.31/496.36 o 1082081283414064 496.51/496.57 o 1080033283414064 496.71/496.72 o 1079901528528944 496.81/496.81 o 1079868589807664 496.91/496.92 o 1079852120447024 497.01/497.02 o 1079851605779504 497.12/497.13 o 1079850576444464 497.22/497.23 o 1079848517774384 497.31/497.33 o 1079844400434224 497.41/497.44 o 1079836165753904 497.51/497.55 o 1079770288311344 497.61/497.66 o 1079506778541104 497.81/497.84 o 1078979759000624 497.91/497.95 o 1078979748948524 498.01/498.07 o 1078979588114924 498.11/498.18 o 1078979547906524 498.22/498.27 o 1078978904572124 498.32/498.38 o 1078978899546074 498.41/498.48 o 1078976326208474 498.51/498.58 o 1078893979405274 498.61/498.68 o 1078892692736474 498.71/498.78 o 1078872106035674 498.81/498.89 o 1078861812685274 498.91/498.98 o 1078856666010074 499.01/499.09 o 1078856645905874 499.11/499.19 o 1078856324238674 499.32/499.35 o 1078855774811474 499.42/499.44 o 1078853577102674 499.51/499.52 o 1078849181685074 499.61/499.61 o 1078840827401554 499.61/499.69 o 1078840566330194 499.71/499.78 o 1078831775494994 499.81/499.86 o 1078831644959314 1800.06/1800.01 >>> Terminate signal received 1800.06/1800.01 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 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 x879 x880 x881 x882 x883 x884 x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 -x906 x907 -x908 x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 x938 -x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 x965 -x966 -x967 x968 x969 x970 x971 x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 x1031 x1032 -x1033 x1034 x1035 x1036 x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 -x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 x1306 x1307 x1308 x1309 x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 x1383 x1384 -x1385 x1386 -x1387 x1388 -x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 x1497 -x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 x1526 x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
OK 1078831644959314
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-3466734-1307401517/watcher-3466734-1307401517 -o /tmp/evaluation-result-3466734-1307401517/solver-3466734-1307401517 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466734-1307401517.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: 2.02 2.02 1.98 2/443 16062 /proc/meminfo: memFree=29706888/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=8036 CPUtime=0 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 525 0 0 0 0 0 0 0 25 0 1 0 930382394 8228864 472 33554432000 4194304 6736272 140735481134656 18446744073709551615 5219536 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2009 472 248 621 0 1379 0 [startup+0.088229 s] /proc/loadavg: 2.02 2.02 1.98 2/443 16062 /proc/meminfo: memFree=29706888/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6740 CPUtime=0.08 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1344 0 0 0 8 0 0 0 25 0 1 0 930382394 6901760 1264 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148075 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1685 1264 275 621 0 1055 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6740 [startup+0.100234 s] /proc/loadavg: 2.02 2.02 1.98 2/443 16062 /proc/meminfo: memFree=29706888/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6740 CPUtime=0.09 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1344 0 0 0 9 0 0 0 25 0 1 0 930382394 6901760 1264 33554432000 4194304 6736272 140735481134656 18446744073709551615 5155009 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1685 1264 275 621 0 1055 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6740 [startup+0.300205 s] /proc/loadavg: 2.02 2.02 1.98 2/443 16062 /proc/meminfo: memFree=29706888/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6740 CPUtime=0.29 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1354 0 0 0 29 0 0 0 25 0 1 0 930382394 6901760 1274 33554432000 4194304 6736272 140735481134656 18446744073709551615 5818635 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1685 1274 284 621 0 1055 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6740 [startup+0.70112 s] /proc/loadavg: 2.02 2.02 1.98 2/443 16062 /proc/meminfo: memFree=29706888/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6744 CPUtime=0.69 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1367 0 0 0 69 0 0 0 25 0 1 0 930382394 6905856 1287 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148141 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1686 1287 286 621 0 1056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6744 [startup+1.50096 s] /proc/loadavg: 2.02 2.02 1.98 3/444 16063 /proc/meminfo: memFree=29702788/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6744 CPUtime=1.49 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1367 0 0 0 149 0 0 0 25 0 1 0 930382394 6905856 1287 33554432000 4194304 6736272 140735481134656 18446744073709551615 4755960 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1686 1287 286 621 0 1056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6744 [startup+3.10067 s] /proc/loadavg: 2.02 2.02 1.98 3/444 16063 /proc/meminfo: memFree=29701796/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6744 CPUtime=3.09 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1367 0 0 0 309 0 0 0 25 0 1 0 930382394 6905856 1287 33554432000 4194304 6736272 140735481134656 18446744073709551615 4753761 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1686 1287 286 621 0 1056 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6744 [startup+6.30107 s] /proc/loadavg: 2.02 2.02 1.98 3/444 16063 /proc/meminfo: memFree=29701056/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6888 CPUtime=6.3 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1393 0 0 0 630 0 0 0 25 0 1 0 930382394 7053312 1313 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148069 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1722 1313 286 621 0 1092 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 6888 [startup+12.7009 s] /proc/loadavg: 2.02 2.02 1.98 3/444 16064 /proc/meminfo: memFree=29700420/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=6888 CPUtime=12.7 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1417 0 0 0 1270 0 0 0 25 0 1 0 930382394 7053312 1337 33554432000 4194304 6736272 140735481134656 18446744073709551615 5818612 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1722 1337 287 621 0 1092 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 6888 [startup+25.5005 s] /proc/loadavg: 2.01 2.02 1.98 3/444 16064 /proc/meminfo: memFree=29700540/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=7124 CPUtime=25.5 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1457 0 0 0 2550 0 0 0 25 0 1 0 930382394 7294976 1376 33554432000 4194304 6736272 140735481134656 18446744073709551615 5219536 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1781 1376 287 621 0 1151 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 7124 [startup+51.1006 s] /proc/loadavg: 2.01 2.01 1.98 3/444 16065 /proc/meminfo: memFree=29699752/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=7752 CPUtime=51.1 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1601 0 0 0 5110 0 0 0 25 0 1 0 930382394 7938048 1518 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148079 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 1938 1518 287 621 0 1308 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 7752 [startup+102.316 s] /proc/loadavg: 2.10 2.04 2.00 3/444 16066 /proc/meminfo: memFree=29697644/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=9008 CPUtime=102.31 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1836 0 0 0 10231 0 0 0 25 0 1 0 930382394 9224192 1750 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148128 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2252 1750 287 621 0 1622 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 9008 [startup+162.301 s] /proc/loadavg: 2.03 2.03 2.00 3/444 16068 /proc/meminfo: memFree=29696368/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=10420 CPUtime=162.3 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 1988 0 0 0 16230 0 0 0 25 0 1 0 930382394 10670080 1902 33554432000 4194304 6736272 140735481134656 18446744073709551615 5219607 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2605 1902 287 621 0 1975 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 10420 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 16069 /proc/meminfo: memFree=29695216/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=10420 CPUtime=222.3 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 2290 0 0 0 22230 0 0 0 25 0 1 0 930382394 10670080 2201 33554432000 4194304 6736272 140735481134656 18446744073709551615 4755840 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2605 2201 287 621 0 1975 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 10420 [startup+282.301 s] /proc/loadavg: 2.08 2.03 2.00 3/444 16071 /proc/meminfo: memFree=29695164/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=10420 CPUtime=282.3 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 2290 0 0 0 28230 0 0 0 25 0 1 0 930382394 10670080 2201 33554432000 4194304 6736272 140735481134656 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2605 2201 287 621 0 1975 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 10420 [startup+342.301 s] /proc/loadavg: 2.03 2.03 2.00 3/444 16072 /proc/meminfo: memFree=29695252/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=10420 CPUtime=342.31 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 2290 0 0 0 34231 0 0 0 25 0 1 0 930382394 10670080 2201 33554432000 4194304 6736272 140735481134656 18446744073709551615 5818792 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2605 2201 287 621 0 1975 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 10420 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/444 16074 /proc/meminfo: memFree=29695340/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=10684 CPUtime=402.31 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 2352 0 0 0 40231 0 0 0 25 0 1 0 930382394 10940416 2263 33554432000 4194304 6736272 140735481134656 18446744073709551615 5150512 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2671 2263 287 621 0 2041 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 10684 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 16076 /proc/meminfo: memFree=29695428/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=10684 CPUtime=462.31 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 2352 0 0 0 46231 0 0 0 25 0 1 0 930382394 10940416 2263 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148005 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 2671 2263 287 621 0 2041 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 10684 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/444 16077 /proc/meminfo: memFree=29694036/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=522.31 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 2720 0 0 0 52231 0 0 0 25 0 1 0 930382394 13676544 2628 33554432000 4194304 6736272 140735481134656 18446744073709551615 5811923 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2628 287 621 0 2709 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 13356 [startup+582.301 s] /proc/loadavg: 2.15 2.03 2.01 3/444 16079 /proc/meminfo: memFree=29694116/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=582.31 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 2720 0 0 0 58231 0 0 0 25 0 1 0 930382394 13676544 2628 33554432000 4194304 6736272 140735481134656 18446744073709551615 5811942 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2628 287 621 0 2709 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 13356 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.09 2.05 2.01 3/444 16085 /proc/meminfo: memFree=29694428/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=822.32 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 82232 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 13356 [startup+882.3 s] /proc/loadavg: 2.07 2.05 2.01 3/444 16087 /proc/meminfo: memFree=29694000/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=882.32 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 88232 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5806372 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 13356 [startup+942.301 s] /proc/loadavg: 2.02 2.04 2.00 3/444 16088 /proc/meminfo: memFree=29694332/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=942.32 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 94232 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148207 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 13356 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/444 16090 /proc/meminfo: memFree=29694536/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=1002.33 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 100233 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5803381 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 13356 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 16092 /proc/meminfo: memFree=29694628/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=1062.33 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 106233 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 13356 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 16093 /proc/meminfo: memFree=29694216/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=1122.33 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 112233 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5219634 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 13356 [startup+1182.3 s] /proc/loadavg: 2.04 2.03 2.00 3/444 16095 /proc/meminfo: memFree=29693924/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=1182.33 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 118233 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5148061 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 13356 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 16096 /proc/meminfo: memFree=29692752/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=1242.33 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 124233 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5221904 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 13356 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 16125 /proc/meminfo: memFree=29678612/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=1302.35 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 130235 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5818582 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 13356 [startup+1362.3 s] /proc/loadavg: 2.12 2.04 2.01 3/444 16127 /proc/meminfo: memFree=29677572/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=13356 CPUtime=1362.34 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 3028 0 0 0 136234 0 0 0 25 0 1 0 930382394 13676544 2935 33554432000 4194304 6736272 140735481134656 18446744073709551615 5818362 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 3339 2935 287 621 0 2709 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 13356 [startup+1422.32 s] /proc/loadavg: 2.04 2.03 2.00 3/444 16128 /proc/meminfo: memFree=29674432/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1422.35 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 142235 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 16076 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 16130 /proc/meminfo: memFree=29673016/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1482.34 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 148234 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 16076 [startup+1542.3 s] /proc/loadavg: 2.13 2.05 2.01 3/444 16131 /proc/meminfo: memFree=29672604/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1542.34 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 154234 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 5142252 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 16076 [startup+1602.3 s] /proc/loadavg: 2.10 2.05 2.01 3/444 16133 /proc/meminfo: memFree=29672816/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1602.34 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 160234 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 5146800 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 16076 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 2.00 3/444 16135 /proc/meminfo: memFree=29670556/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1662.35 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 166235 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 16076 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/444 16136 /proc/meminfo: memFree=29670880/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1722.35 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 172235 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 4753884 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 16076 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 16138 /proc/meminfo: memFree=29668240/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1782.35 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 178235 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 5817937 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 16076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/444 16138 /proc/meminfo: memFree=29668984/32950928 swapFree=52246700/67111528 [pid=16062] ppid=16060 vsize=16076 CPUtime=1800.06 cores=0,2,4,6 /proc/16062/stat : 16062 (minisatid-gmp) R 16060 16062 14419 0 -1 4202496 4926 0 0 0 180006 0 0 0 25 0 1 0 930382394 16461824 3611 33554432000 4194304 6736272 140735481134656 18446744073709551615 4747840 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/16062/statm: 4019 3611 287 621 0 3389 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 16076 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.08 CPU user time (s): 1800.07 CPU system time (s): 0.010998 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 18752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.010998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4931 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= 7 involuntary context switches= 2655 runsolver used 7.99578 second user time and 16.5715 second system time The end
Begin job on node114 at 2011-06-07 01:05:17 IDJOB=3466734 IDBENCH=2479 IDSOLVER=1957 FILE ID=node114/3466734-1307401517 RUNJOBID= node114-1307397850-15740 PBS_JOBID= 13514193 Free space on /tmp= 73996 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466734-1307401517/watcher-3466734-1307401517 -o /tmp/evaluation-result-3466734-1307401517/solver-3466734-1307401517 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466734-1307401517.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= da0fa1480f123e186307c547a0028656 RANDOM SEED=1675915898 node114.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.848 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.69 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.848 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 : 5226.15 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.848 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.74 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.848 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.848 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.75 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.848 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.848 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.74 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.848 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: 29707052 kB Buffers: 353628 kB Cached: 576796 kB SwapCached: 10744 kB Active: 2453492 kB Inactive: 517308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29707052 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 2037664 kB Mapped: 22360 kB Slab: 143500 kB PageTables: 62320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108182052 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= 73992 MiB End job on node114 at 2011-06-07 01:35:19