Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | ? (TO) | -1 | -1 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_4.opb |
| MD5SUM | 7079e2ef0385c9f74a24551721d50a52 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3971977 |
| Best CPU time to get the best result obtained on this benchmark | 338.862 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 119095488 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 53595180278 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 119095488 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 53595180278 |
| Number of bits of the biggest sum of numbers | 36 |
| 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.09 o 169716375 10.66/10.79 o 169708083 10.76/10.80 o 169673675 10.76/10.81 o 169586123 10.76/10.81 o 169302525 10.76/10.82 o 169261053 10.76/10.83 o 169231655 10.76/10.84 o 169117685 10.76/10.87 o 168930347 10.96/11.04 o 168778069 10.96/11.05 o 168761003 11.06/11.11 o 168722741 11.16/11.27 o 168681269 11.16/11.28 o 168627335 11.26/11.33 o 168582599 11.36/11.41 o 168386609 11.36/11.42 o 168369543 11.36/11.44 o 168310923 11.66/11.75 o 168283415 11.76/11.84 o 168096279 11.86/11.91 o 168044645 12.26/12.37 o 167782195 12.46/12.51 o 167777395 12.46/12.53 o 167727095 12.46/12.54 o 167644797 12.56/12.61 o 167638307 12.56/12.62 o 167517141 12.56/12.65 o 167393717 12.56/12.66 o 167264693 12.65/12.78 o 167256739 12.75/12.83 o 167222771 13.66/13.77 o 167187221 13.75/13.81 o 167116351 13.85/13.90 o 167106329 14.06/14.18 o 132583289 14.15/14.20 o 132561363 14.15/14.22 o 132496137 14.15/14.24 o 132409745 14.15/14.26 o 132366599 14.15/14.27 o 132337833 14.15/14.29 o 132074417 14.25/14.30 o 132009191 14.25/14.37 o 131743889 14.35/14.40 o 131598289 14.35/14.43 o 131571409 14.35/14.49 o 117839591 14.85/15.00 o 117678889 14.95/15.02 o 117664495 14.95/15.03 o 117641169 15.15/15.20 o 117383121 15.15/15.21 o 117373671 16.15/16.21 o 117137129 16.25/16.38 o 117103823 16.45/16.50 o 117084473 17.04/17.11 o 117070425 17.34/17.45 o 117053055 17.34/17.47 o 117038463 17.34/17.49 o 117021249 17.44/17.51 o 116980575 17.44/17.53 o 116966181 17.44/17.55 o 116947997 18.05/18.17 o 116947871 18.44/18.59 o 116710391 18.54/18.64 o 116706381 18.64/18.71 o 116452497 19.24/19.39 o 116451731 32.51/72.28 o 116294243 32.60/72.33 o 116197283 32.70/72.46 o 116045259 32.70/72.47 o 115913813 33.00/72.77 o 115891973 33.10/72.89 o 115883367 33.20/72.92 o 115722935 33.20/72.99 o 115630885 33.90/73.63 o 115599289 33.90/73.66 o 115552119 34.00/73.76 o 115506791 34.49/74.27 o 115468675 35.49/75.29 o 115465701 36.09/75.81 o 115437061 36.19/75.91 o 115436935 36.68/76.41 o 115273067 37.08/76.88 o 115244953 37.98/77.78 o 97727597 38.08/77.81 o 95349725 38.28/78.05 o 95167639 38.38/78.13 o 95073589 38.38/78.18 o 95055653 38.58/78.30 o 95049559 38.58/78.33 o 94955273 38.58/78.38 o 94903113 38.78/78.52 o 94902431 38.88/78.63 o 94843703 38.98/78.70 o 94793823 39.68/79.41 o 91977817 39.78/79.50 o 91974433 39.78/79.54 o 91965447 39.98/79.73 o 91955427 40.28/80.03 o 91930805 40.28/80.07 o 91903267 40.38/80.14 o 91900267 40.38/80.19 o 85993773 40.97/80.75 o 85987679 41.17/80.94 o 85925815 41.17/80.96 o 85824711 41.17/80.99 o 85823945 41.28/81.02 o 85814959 41.28/81.07 o 85814575 41.57/81.35 o 85700249 41.77/81.52 o 85635819 41.77/81.56 o 85632819 42.27/82.00 o 85629297 42.27/82.03 o 85576371 42.27/82.08 o 85492075 42.37/82.12 o 85482323 42.37/82.15 o 85481939 42.37/82.18 o 85464385 42.67/82.47 o 85427107 42.77/82.50 o 85418763 42.77/82.53 o 85415763 43.56/83.36 o 85411347 43.66/83.47 o 85374035 43.96/83.72 o 85318119 44.06/83.81 o 85257839 44.16/83.98 o 85249239 47.25/87.09 o 78662907 47.35/87.18 o 78571401 47.46/87.22 o 78571017 54.92/101.59 o 78561381 63.30/109.96 o 78420187 63.30/109.98 o 78411685 63.30/109.99 o 78411003 63.99/110.65 o 78390355 64.39/111.01 o 78379845 72.36/119.01 o 59276809 87.18/345.46 o 59190443 87.28/345.54 o 59144873 87.38/345.60 o 59087873 87.57/345.82 o 33250799 87.57/345.86 o 33131399 87.78/346.06 o 33117791 88.38/346.60 o 33079439 88.38/346.64 o 33029935 88.58/346.88 o 32982781 88.88/347.10 o 32941789 88.97/347.29 o 32914531 89.07/347.34 o 32837731 89.47/347.70 o 32786977 89.47/347.78 o 32779267 89.67/347.90 o 32771539 89.97/348.22 o 32754067 90.57/348.81 o 32730571 90.77/349.04 o 32718661 90.87/349.11 o 32677669 91.16/349.47 o 32604399 91.26/349.50 o 32577141 91.87/350.10 o 32531379 94.86/353.11 o 32491209 95.35/353.63 o 32482083 95.35/353.64 o 32446839 96.05/354.30 o 32421799 96.05/354.31 o 32414953 96.05/354.32 o 32388151 96.85/355.10 o 32361779 97.05/355.32 o 32360387 99.24/357.50 o 32354795 101.03/359.34 o 32351075 121.89/389.46 o 32324265 121.99/389.53 o 32248969 121.99/389.54 o 32199465 121.99/389.58 o 32112599 121.99/389.59 o 32081453 122.09/389.61 o 32065491 122.09/389.64 o 32050409 122.09/389.65 o 32042065 122.09/389.65 o 31982161 122.29/389.88 o 31980769 123.09/390.64 o 31978591 123.09/390.65 o 31909241 123.09/390.67 o 31892225 123.19/390.74 o 31859061 124.18/391.72 o 31855271 124.18/391.75 o 31811569 124.18/391.77 o 31810199 124.18/391.78 o 31807849 124.28/391.81 o 31806457 124.28/391.83 o 31800865 125.18/392.79 o 31800745 125.28/392.82 o 31789577 125.28/392.83 o 31787227 125.28/392.86 o 31780243 125.88/393.46 o 31767557 125.98/393.52 o 31766983 125.98/393.55 o 31761073 127.08/394.67 o 31746425 127.77/395.32 o 31730761 127.77/395.34 o 31728411 127.87/395.48 o 31727837 127.97/395.56 o 31721927 129.92/423.14 o 31721335 129.92/423.19 o 31710999 130.02/423.22 o 31708649 130.02/423.27 o 31701665 133.01/426.21 o 31650275 133.01/426.25 o 31642045 133.21/426.43 o 31638365 133.61/426.81 o 31610105 147.85/478.30 o 31590833 147.85/478.32 o 31578923 149.15/479.68 o 31556561 185.96/521.14 o 31517887 240.60/618.84 o 28077269 241.00/619.29 o 28026601 241.10/619.33 o 28013719 241.10/619.37 o 27855737 241.29/619.55 o 27843187 241.39/619.64 o 27714587 241.39/619.67 o 27648977 241.70/619.99 o 27534465 241.81/620.04 o 27437683 242.00/620.21 o 27369219 242.10/620.37 o 27362979 242.20/620.42 o 27330141 242.30/620.52 o 27309699 242.30/620.55 o 27300801 242.30/620.59 o 27300729 242.50/620.76 o 27288029 242.60/620.84 o 27287967 242.60/620.87 o 27250879 242.70/620.91 o 27241981 242.99/621.25 o 27196799 244.18/622.42 o 27183065 244.38/622.61 o 27171155 244.48/622.76 o 27146047 244.58/622.88 o 27143897 244.89/623.11 o 27060377 244.99/623.22 o 27011489 244.99/623.26 o 26916913 245.19/623.47 o 26891805 245.29/623.51 o 26891733 245.49/623.71 o 26783679 245.49/623.77 o 26744223 247.54/639.56 o 26690223 247.84/639.85 o 26607359 247.84/639.89 o 26567189 248.15/640.15 o 26529151 248.24/640.20 o 26522167 248.24/640.25 o 26493907 248.34/640.31 o 26460925 248.34/640.39 o 26448273 248.54/640.58 o 26433387 248.64/640.63 o 26429707 249.04/641.10 o 26396955 250.74/642.73 o 26377755 252.04/644.06 o 26372101 257.02/649.07 o 26323119 257.41/649.41 o 26307531 263.80/655.80 o 24978901 263.80/655.83 o 24930907 263.80/655.86 o 24857701 263.80/655.89 o 24845791 263.90/655.92 o 24814879 263.90/655.95 o 24754207 263.90/655.98 o 24701953 264.00/656.06 o 24634069 264.00/656.10 o 24605809 264.10/656.13 o 23781153 264.30/656.32 o 14692507 264.30/656.36 o 14682061 264.39/656.42 o 14661073 264.39/656.48 o 14642469 264.49/656.52 o 14591649 264.49/656.57 o 14577909 264.79/656.82 o 14543019 264.89/656.98 o 14525813 265.88/657.92 o 14506043 355.02/777.60 o 14486771 355.02/777.64 o 14474861 381.36/821.14 o 14472653 381.36/821.15 o 14468831 381.36/821.15 o 14464157 381.36/821.16 o 14453429 381.36/821.16 o 14444399 381.36/821.17 o 14405435 391.23/831.08 o 14404189 547.33/1056.38 o 14403491 547.43/1056.45 o 14400211 547.53/1056.51 o 14397557 547.63/1056.60 o 14366333 548.04/1057.09 o 14334027 548.63/1057.64 o 14333457 548.73/1057.71 o 14323377 549.62/1058.67 o 14312111 553.31/1062.40 o 14305559 554.12/1063.19 o 14292129 554.21/1063.27 o 14289809 554.31/1063.35 o 14282609 556.60/1065.64 o 14281201 556.70/1065.76 o 14274571 560.78/1069.80 o 14274109 565.78/1074.88 o 14269515 627.39/1145.02 o 14260521 628.52/1158.80 o 14252287 628.52/1158.87 o 14249967 628.62/1158.93 o 14243337 908.30/1537.78 o 8214653 908.40/1537.84 o 8203311 908.50/1537.92 o 8202879 908.50/1537.98 o 8196501 908.61/1538.05 o 7667269 909.01/1538.40 o 7634761 909.11/1538.52 o 7626337 909.11/1538.57 o 7598465 909.21/1538.65 o 7582817 909.31/1538.75 o 7555475 909.51/1538.92 o 7540307 910.00/1539.49 o 7538913 910.20/1539.68 o 7522527 910.40/1539.81 o 7507263 910.50/1539.92 o 7506903 910.50/1539.97 o 7493863 910.61/1540.08 o 7473577 910.90/1540.32 o 7468635 911.00/1540.48 o 7453437 911.20/1540.68 o 7422717 912.20/1541.67 o 7406365 913.19/1542.67 o 7399843 913.59/1543.04 o 7394149 913.59/1543.10 o 7391601 913.89/1543.33 o 7379867 914.59/1544.02 o 7370855 915.58/1545.03 o 7361161 919.87/1549.83 o 7359401 919.97/1549.92 o 7358705 919.97/1549.94 o 7357465 919.97/1549.95 o 7351425 920.17/1550.13 o 7347985 920.77/1550.72 o 7338969 920.87/1550.85 o 7338475 921.17/1551.12 o 7336715 922.87/1552.81 o 7336091 922.87/1552.83 o 7319739 924.56/1554.50 o 7319245 945.89/1580.29 o 7314551 945.98/1580.30 o 7278541 945.98/1580.31 o 7272829 945.98/1580.39 o 7268591 946.08/1580.45 o 7266043 946.38/1580.73 o 7262373 950.47/1584.85 o 7227093 950.47/1584.89 o 7198803 950.57/1584.91 o 7169723 950.57/1584.94 o 7169099 950.57/1584.98 o 7168681 950.68/1585.02 o 7165821 950.87/1585.21 o 7156255 951.37/1585.71 o 7152017 951.96/1586.38 o 7151001 954.36/1588.74 o 7149165 955.36/1589.71 o 7146513 958.05/1592.46 o 7145085 958.54/1592.91 o 7141925 958.54/1592.95 o 7140531 958.65/1593.01 o 7133191 959.15/1593.53 o 7130965 959.55/1593.93 o 7122793 960.44/1594.84 o 7103463 960.75/1595.19 o 7084255 964.03/1598.43 o 7047057 964.13/1598.56 o 7034803 964.23/1598.61 o 7033409 970.02/1604.41 o 7026069 975.20/1609.67 o 6993579 989.47/1637.68 o 6972547 989.47/1637.69 o 6920103 989.47/1637.69 o 6909913 989.57/1637.70 o 6903913 989.57/1637.72 o 6902113 989.57/1637.73 o 6900719 991.75/1639.97 o 6898225 995.85/1644.09 o 6869337 995.96/1644.13 o 6862239 997.54/1645.79 o 6861469 1004.79/1654.76 o 6821331 1004.88/1654.83 o 6793811 1004.98/1654.90 o 6781691 1004.98/1654.96 o 6780921 1005.09/1655.06 o 6766395 1005.19/1655.19 o 6764731 1005.58/1655.50 o 6762931 1031.52/1681.58 o 6759507 1031.52/1681.59 o 6753875 1031.62/1681.64 o 6741787 1107.60/1772.97 o 6718637 1107.60/1772.98 o 6709349 1107.60/1772.98 o 6705347 1120.17/1785.59 o 6664691 1121.26/1786.63 o 6611235 1135.79/1808.98 o 6603157 1135.90/1809.09 o 6602915 1136.29/1809.45 o 6596795 1136.39/1809.50 o 6583755 1136.49/1809.68 o 6582519 1136.99/1810.19 o 6580643 1137.69/1810.89 o 6579653 1153.73/1832.90 o 6567509 1153.73/1832.98 o 6565241 1153.83/1833.04 o 6551971 1153.83/1833.08 o 6539989 1153.93/1833.12 o 6531383 1153.93/1833.15 o 6528197 1154.02/1833.24 o 6526325 1154.12/1833.33 o 6525863 1154.12/1833.37 o 6522677 1168.09/1847.30 o 6502467 1181.41/1862.76 o 6496199 1181.41/1862.77 o 6468679 1181.41/1862.77 o 6465239 1181.41/1862.77 o 6464469 1181.41/1862.77 o 6455015 1181.41/1862.79 o 6452677 1232.83/1924.86 o 6439643 1256.18/1949.83 o 6436457 1444.44/2193.68 o 6415163 1444.54/2193.74 o 6405763 1444.64/2193.81 o 6364579 2027.70/2840.17 o 6357505 2027.70/2840.19 o 6356179 2027.79/2840.28 o 6354139 2535.85/3434.68 o 6349057 2535.95/3434.76 o 6320937 2536.05/3434.81 o 6309097 2536.05/3434.86 o 6302671 2536.15/3434.91 o 6295889 2536.15/3434.96 o 6294971 2536.25/3435.01 o 6284947 2536.25/3435.06 o 6278521 2536.35/3435.12 o 6251753 2536.35/3435.17 o 6248561 2536.44/3435.26 o 6236843 2536.54/3435.32 o 6235235 2536.64/3435.40 o 6223135 2536.64/3435.49 o 6204751 2536.74/3435.55 o 6195163 2536.94/3435.70 o 6180287 2537.04/3435.83 o 6166595 2537.14/3435.90 o 6164641 2537.35/3436.13 o 6161623 2537.35/3436.18 o 6160233 2537.45/3436.23 o 6160015 2537.55/3436.39 o 6145139 2537.85/3436.64 o 6132885 2538.74/3437.53 o 6118259 2543.63/3442.47 o 6099755 2543.63/3442.48 o 6091055 2545.62/3444.49 o 6077379 2545.73/3444.51 o 6074361 2548.82/3447.68 o 6068049 2550.92/3449.73 o 6064705 2551.81/3450.63 o 6064671 2551.81/3450.68 o 6063033 2551.91/3450.73 o 6055053 2553.41/3452.24 o 6052255 2553.41/3452.29 o 6045905 2553.51/3452.33 o 6039071 2554.21/3453.03 o 6036445 2554.31/3453.17 o 6035207 2554.50/3453.36 o 6034495 2554.60/3453.40 o 6033143 2554.60/3453.45 o 6032857 2554.70/3453.51 o 6030879 2554.81/3453.66 o 6029709 2554.91/3453.72 o 6028245 2555.21/3454.01 o 6017527 2555.21/3454.06 o 6011463 2555.31/3454.11 o 6011177 2555.41/3454.22 o 6009199 2555.70/3454.51 o 6006445 2556.71/3455.52 o 6006261 2560.40/3459.28 o 6003635 2563.68/3462.52 o 6001995 2564.50/3464.86 o 6001811 2579.08/3479.40 o 5997457 2579.08/3479.44 o 5996105 2579.08/3479.48 o 5995819 2579.57/3479.92 o 5993841 2604.11/3505.32 o 5989787 2649.20/3553.55 o 5971587 2649.20/3553.55 o 5970779 2649.20/3553.56 o 5969541 2649.90/3554.24 o 5969255 2650.10/3554.42 o 5968917 2652.97/3558.93 o 5966107 2673.32/3579.32 o 5964467 2715.97/3624.02 o 5964019 2722.76/3630.84 o 5963681
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61631 MiB free)
memory of node 1: 64473 MiB (61370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440925-1723986247/watcher-4440925-1723986247 -o /tmp/evaluation-result-4440925-1723986247/solver-4440925-1723986247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1723986220-902173 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440925-1723986247 --seed=1435123513 HOME/instance-4440925-1723986247.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 419430400 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=902845, runsolver pid=902842
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 1.65 0.47 0.22 5/252 902847
/proc/meminfo: memFree=125930816/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=39232 memory=17356 CPUtime=0.09 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 4520 0 0 0 9 0 0 0 20 0 1 0 165226738 40173568 4339 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 9808 4339 850 747 0 8871 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39232 KiB
Current children cumulated memory: 17356 KiB
[startup+0.205592 s]*
/proc/loadavg: 1.65 0.47 0.22 5/252 902859
/proc/meminfo: memFree=125912956/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=40368 memory=18676 CPUtime=0.19 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 4848 0 0 0 19 0 0 0 20 0 1 0 165226738 41336832 4669 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 10092 4669 850 747 0 9155 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40368 KiB
Current children cumulated memory: 18676 KiB
[startup+0.305546 s]*
/proc/loadavg: 1.65 0.47 0.22 5/252 902859
/proc/meminfo: memFree=125897176/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=44268 memory=22108 CPUtime=0.3 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 5710 0 0 0 29 1 0 0 20 0 1 0 165226738 45330432 5527 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 11067 5527 850 747 0 10130 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44268 KiB
Current children cumulated memory: 22108 KiB
[startup+0.700176 s]
/proc/loadavg: 1.65 0.47 0.22 5/252 902859
/proc/meminfo: memFree=125845440/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=75012 memory=53324 CPUtime=0.69 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 9404 0 0 0 66 3 0 0 20 0 1 0 165226738 76812288 13331 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 18753 13331 850 747 0 17816 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75012 KiB
Current children cumulated memory: 53324 KiB
[startup+1.50021 s]
/proc/loadavg: 1.65 0.47 0.22 5/257 902879
/proc/meminfo: memFree=125753640/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=227764 memory=181492 CPUtime=1.48 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 14787 0 0 0 138 10 0 0 20 0 1 0 165226738 233230336 45373 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 56941 45373 850 747 0 56004 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 227764 KiB
Current children cumulated memory: 181492 KiB
[startup+3.1059 s]
/proc/loadavg: 1.65 0.47 0.22 5/257 902880
/proc/meminfo: memFree=125067196/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=227764 memory=187696 CPUtime=3.08 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 14856 0 0 0 292 16 0 0 20 0 1 0 165226738 233230336 46924 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 56941 46924 850 747 0 56004 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 227764 KiB
Current children cumulated memory: 187696 KiB
[startup+6.30017 s]
/proc/loadavg: 1.92 0.54 0.24 5/257 902880
/proc/meminfo: memFree=123490992/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=256292 memory=228432 CPUtime=6.28 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 15937 0 0 0 597 31 0 0 20 0 1 0 165226738 262443008 57108 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 64073 57108 850 747 0 63136 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 256292 KiB
Current children cumulated memory: 228432 KiB
[startup+12.7002 s]
/proc/loadavg: 2.17 0.62 0.27 5/257 902880
/proc/meminfo: memFree=121861892/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=269232 memory=244416 CPUtime=12.65 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 16618 0 0 0 1224 41 0 0 20 0 1 0 165226738 275693568 61104 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 67308 61104 850 747 0 66371 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 269232 KiB
Current children cumulated memory: 244416 KiB
[startup+25.5002 s]
/proc/loadavg: 2.72 0.82 0.34 3/257 902883
/proc/meminfo: memFree=119462928/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=291880 memory=264492 CPUtime=25.42 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 17042 0 0 0 2486 56 0 0 20 0 1 0 165226738 298885120 66123 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 72970 66123 850 747 0 72033 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 291880 KiB
Current children cumulated memory: 264492 KiB
[startup+51.1048 s]
/proc/loadavg: 3.22 1.09 0.44 2/263 902907
/proc/meminfo: memFree=115187076/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=354844 memory=303840 CPUtime=30.33 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 20262 0 0 0 2967 66 0 0 20 0 1 0 165226738 363360256 75960 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 88711 75960 850 747 0 87774 0
Current children cumulated CPU time: 30.33 s
Current children cumulated vsize: 354844 KiB
Current children cumulated memory: 303840 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.73 1.56 0.64 2/260 902916
/proc/meminfo: memFree=114175608/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=451888 memory=359772 CPUtime=55.72 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 27288 0 0 0 5490 82 0 0 20 0 1 0 165226738 462733312 89943 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4641 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 112972 89943 850 747 0 112035 0
Current children cumulated CPU time: 55.72 s
Current children cumulated vsize: 451888 KiB
Current children cumulated memory: 359772 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.95 2.02 0.86 2/260 902927
/proc/meminfo: memFree=108666216/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=532504 memory=448312 CPUtime=76.91 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 31608 0 0 0 7575 116 0 0 20 0 1 0 165226738 545284096 112078 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4641 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 133126 112078 850 747 0 132189 0
Current children cumulated CPU time: 76.91 s
Current children cumulated vsize: 532504 KiB
Current children cumulated memory: 448312 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 4.13 2.43 1.07 1/261 902939
/proc/meminfo: memFree=107229332/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=534284 memory=450896 CPUtime=85.12 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 32092 0 0 0 8371 141 0 0 20 0 1 0 165226738 547106816 112724 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12060 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 133571 112724 850 747 0 132634 0
Current children cumulated CPU time: 85.12 s
Current children cumulated vsize: 534284 KiB
Current children cumulated memory: 450896 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.10 2.73 1.26 1/261 902952
/proc/meminfo: memFree=106836344/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=534284 memory=453380 CPUtime=85.12 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 32092 0 0 0 8371 141 0 0 20 0 1 0 165226738 547106816 113345 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12060 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 133571 113345 850 747 0 132634 0
Current children cumulated CPU time: 85.12 s
Current children cumulated vsize: 534284 KiB
Current children cumulated memory: 453380 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.08 2.98 1.44 1/259 902963
/proc/meminfo: memFree=106217996/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=534284 memory=456316 CPUtime=85.12 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 32092 0 0 0 8371 141 0 0 20 0 1 0 165226738 547106816 114079 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12060 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 133571 114079 850 747 0 132634 0
Current children cumulated CPU time: 85.12 s
Current children cumulated vsize: 534284 KiB
Current children cumulated memory: 456316 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.13 3.20 1.61 1/261 902977
/proc/meminfo: memFree=97415692/131524600 swapFree=131071996/131071996
[pid=902845] ppid=902842 vsize=536128 memory=458148 CPUtime=128.17 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 32691 0 0 0 12619 198 0 0 20 0 1 0 165226738 548995072 114537 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 26716 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 134032 114537 850 747 0 133095 0
Current children cumulated CPU time: 128.17 s
Current children cumulated vsize: 536128 KiB
Current children cumulated memory: 458148 KiB
heavy processes:
################
# More data... #
################
Current children cumulated CPU time: 1941.92 s
Current children cumulated vsize: 648348 KiB
Current children cumulated memory: 565852 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 3.11 3.26 3.47 4/258 904090
/proc/meminfo: memFree=24273180/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=648348 memory=565852 CPUtime=1992.68 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 61460 0 0 0 197088 2180 0 0 20 0 1 0 165226738 663908352 141463 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 80412 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162087 141463 850 747 0 161150 0
Current children cumulated CPU time: 1992.68 s
Current children cumulated vsize: 648348 KiB
Current children cumulated memory: 565852 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 3.21 3.26 3.45 2/258 904103
/proc/meminfo: memFree=20718088/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=648348 memory=565860 CPUtime=2041.14 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 61590 0 0 0 201893 2221 0 0 20 0 1 0 165226738 663908352 141465 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 80682 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162087 141465 850 747 0 161150 0
Current children cumulated CPU time: 2041.14 s
Current children cumulated vsize: 648348 KiB
Current children cumulated memory: 565860 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 3.12 3.22 3.43 4/258 904113
/proc/meminfo: memFree=19750632/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=648764 memory=566280 CPUtime=2095.1 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 61831 0 0 0 207244 2266 0 0 20 0 1 0 165226738 664334336 141570 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 82145 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162191 141570 850 747 0 161254 0
Current children cumulated CPU time: 2095.1 s
Current children cumulated vsize: 648764 KiB
Current children cumulated memory: 566280 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 3.14 3.21 3.41 4/258 904123
/proc/meminfo: memFree=17674552/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=649108 memory=566380 CPUtime=2149.34 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 62075 0 0 0 212620 2314 0 0 20 0 1 0 165226738 664686592 141595 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 82707 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162277 141595 850 747 0 161340 0
Current children cumulated CPU time: 2149.34 s
Current children cumulated vsize: 649108 KiB
Current children cumulated memory: 566380 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 3.05 3.17 3.38 2/258 904134
/proc/meminfo: memFree=14414300/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=649108 memory=566628 CPUtime=2200.96 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 62249 0 0 0 217760 2336 0 0 20 0 1 0 165226738 664686592 141657 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 83532 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162277 141657 850 747 0 161340 0
Current children cumulated CPU time: 2200.96 s
Current children cumulated vsize: 649108 KiB
Current children cumulated memory: 566628 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 3.24 3.20 3.37 4/258 904532
/proc/meminfo: memFree=11518408/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=650296 memory=567820 CPUtime=2254.12 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 62701 0 0 0 223035 2377 0 0 20 0 1 0 165226738 665903104 141955 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 84201 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162574 141955 850 747 0 161637 0
Current children cumulated CPU time: 2254.12 s
Current children cumulated vsize: 650296 KiB
Current children cumulated memory: 567820 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 3.14 3.18 3.35 3/255 904542
/proc/meminfo: memFree=6427788/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=650296 memory=567820 CPUtime=2301.51 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 62835 0 0 0 227741 2410 0 0 20 0 1 0 165226738 665903104 141955 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 85452 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162574 141955 850 747 0 161637 0
Current children cumulated CPU time: 2301.51 s
Current children cumulated vsize: 650296 KiB
Current children cumulated memory: 567820 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 3.16 3.17 3.34 3/255 904555
/proc/meminfo: memFree=2097724/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=650296 memory=567820 CPUtime=2357.86 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 62987 0 0 0 233339 2447 0 0 20 0 1 0 165226738 665903104 141955 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 85802 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162574 141955 850 747 0 161637 0
Current children cumulated CPU time: 2357.86 s
Current children cumulated vsize: 650296 KiB
Current children cumulated memory: 567820 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 3.16 3.17 3.33 4/256 904735
/proc/meminfo: memFree=506656/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=651772 memory=568956 CPUtime=2399.29 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 63358 0 0 0 237454 2475 0 0 20 0 1 0 165226738 667414528 142239 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 87648 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 162943 142239 850 747 0 162006 0
Current children cumulated CPU time: 2399.29 s
Current children cumulated vsize: 651772 KiB
Current children cumulated memory: 568956 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 3.18 3.18 3.33 4/256 904746
/proc/meminfo: memFree=509992/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=652988 memory=570172 CPUtime=2450.9 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 63734 0 0 0 242569 2521 0 0 20 0 1 0 165226738 668659712 142543 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 88472 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 163247 142543 850 747 0 162310 0
Current children cumulated CPU time: 2450.9 s
Current children cumulated vsize: 652988 KiB
Current children cumulated memory: 570172 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 3.18 3.18 3.31 3/256 904759
/proc/meminfo: memFree=557452/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=653368 memory=570580 CPUtime=2506.85 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 63980 0 0 0 248119 2566 0 0 20 0 1 0 165226738 669048832 142645 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 88720 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 163342 142645 850 747 0 162405 0
Current children cumulated CPU time: 2506.85 s
Current children cumulated vsize: 653368 KiB
Current children cumulated memory: 570580 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 3.13 3.16 3.30 4/257 904782
/proc/meminfo: memFree=623360/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=653368 memory=570580 CPUtime=2563.48 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 64123 0 0 0 253750 2598 0 0 20 0 1 0 165226738 669048832 142645 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89187 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 163342 142645 850 747 0 162405 0
Current children cumulated CPU time: 2563.48 s
Current children cumulated vsize: 653368 KiB
Current children cumulated memory: 570580 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 3.15 3.16 3.28 3/257 904793
/proc/meminfo: memFree=773672/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=667348 memory=583352 CPUtime=2621.07 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 67539 0 0 0 259462 2645 0 0 20 0 1 0 165226738 683364352 145838 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89414 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 166837 145838 850 747 0 165900 0
Current children cumulated CPU time: 2621.07 s
Current children cumulated vsize: 667348 KiB
Current children cumulated memory: 583352 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 3.57 3.29 3.32 4/256 904804
/proc/meminfo: memFree=553240/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=667348 memory=583548 CPUtime=2676.31 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 67669 0 0 0 264966 2665 0 0 20 0 1 0 165226738 683364352 145887 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 89876 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 166837 145887 850 747 0 165900 0
Current children cumulated CPU time: 2676.31 s
Current children cumulated vsize: 667348 KiB
Current children cumulated memory: 583548 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 3.46 3.31 3.33 4/256 904816
/proc/meminfo: memFree=637136/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=667348 memory=583548 CPUtime=2734.22 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) R 902842 902845 902160 0 -1 4194304 67848 0 0 0 270721 2701 0 0 20 0 1 0 165226738 683364352 145887 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 90071 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 166837 145887 850 747 0 165900 0
Current children cumulated CPU time: 2734.22 s
Current children cumulated vsize: 667348 KiB
Current children cumulated memory: 583548 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.33 3.30 3.32 1/256 904826
/proc/meminfo: memFree=605212/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=667856 memory=583996 CPUtime=2771.61 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 68015 0 0 0 274432 2729 0 0 20 0 1 0 165226738 683884544 145999 134679101440 4194304 7250417 140735461735040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 90185 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 166964 145999 850 747 0 166027 0
Current children cumulated CPU time: 2771.61 s
Current children cumulated vsize: 667856 KiB
Current children cumulated memory: 583996 KiB
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 3.33 3.30 3.32 1/256 904826
/proc/meminfo: memFree=604332/131524600 swapFree=131070960/131071996
[pid=902845] ppid=902842 vsize=667856 memory=583996 CPUtime=2771.61 cores=5,7
/proc/902845/stat : 902845 (Exact_veripb2_n) D 902842 902845 902160 0 -1 4194304 68015 0 0 0 274432 2729 0 0 20 0 1 0 165226738 683884544 145999 134679101440 4194304 7250417 140735461735040 0 0 256 0 0 8404994 0 0 0 17 5 0 0 90185 0 0 7950792 8015128 16924672 140735461741364 140735461741653 140735461741653 140735461748670 0
/proc/902845/statm: 166964 145999 850 747 0 166027 0
??? kill 902845 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC032 at 2024-08-18 15:04:07 IDJOB=4440925 IDBENCH=155602 IDSOLVER=3080 FILE ID=nodeC032/4440925-1723986247 RUNJOBID= nodeC032-1723986220-902173 SLURM_JOB_ID= 8268156 Free space on /tmp= 890060 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440925-1723986247/watcher-4440925-1723986247 -o /tmp/evaluation-result-4440925-1723986247/solver-4440925-1723986247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1723986220-902173 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440925-1723986247 --seed=1435123513 HOME/instance-4440925-1723986247.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52 RANDOM SEED=1435123513 nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3618.726 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.589 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.835 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.452 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3605.516 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.804 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3586.942 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.952 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125957760 kB MemAvailable: 129522084 kB Buffers: 387468 kB Cached: 4017292 kB SwapCached: 0 kB Active: 806520 kB Inactive: 4103080 kB Active(anon): 1536 kB Inactive(anon): 549232 kB Active(file): 804984 kB Inactive(file): 3553848 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1323612 kB Writeback: 4 kB AnonPages: 504904 kB Mapped: 113840 kB Shmem: 45908 kB KReclaimable: 90628 kB Slab: 243484 kB SReclaimable: 90628 kB SUnreclaim: 152856 kB KernelStack: 4020 kB PageTables: 9736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 799096 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63808 kB HardwareCorrupted: 0 kB AnonHugePages: 290816 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 293588 kB DirectMap2M: 23597056 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890068 MiB End job on nodeC032 at 2024-08-18 16:06:52