Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | ? (TO) | -1 | -1 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb |
| MD5SUM | 21308a801a9cbe43fb5a50efc40ff8ff |
| 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 | 5141383 |
| Best CPU time to get the best result obtained on this benchmark | 66218.4 |
| 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 | 14620 |
| Total number of constraints | 21851 |
| Number of constraints which are clauses | 170 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21675 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3570 |
| Number of terms in the objective function | 14365 |
| Biggest coefficient in the objective function | 169112377 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 146273936801 |
| Number of bits of the sum of numbers in the objective function | 38 |
| Biggest number in a constraint | 169112377 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 146273936801 |
| Number of bits of the biggest sum of numbers | 38 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.98/1.05 o 220560795 57.38/112.85 o 220502745 57.38/112.88 o 220426203 57.48/112.91 o 220386555 57.58/113.04 o 162550719 57.68/113.13 o 147079251 57.78/113.20 o 140265007 57.78/113.22 o 140184101 57.78/113.27 o 140069193 57.87/113.30 o 140050421 57.97/113.43 o 139962917 57.97/113.46 o 139769533 57.97/113.49 o 139744671 58.28/113.72 o 139559043 58.28/113.74 o 139490733 58.28/113.77 o 139315507 58.68/114.18 o 110994089 58.78/114.28 o 107631289 58.88/114.30 o 107530197 58.88/114.33 o 107470231 58.88/114.37 o 107446441 60.17/115.64 o 107396637 60.76/116.25 o 107274737 61.57/117.04 o 107145603 61.67/117.14 o 107136209 61.87/117.33 o 107120675 61.97/117.41 o 107117689 61.97/117.46 o 107049263 62.17/117.63 o 107026673 63.56/119.06 o 106888207 63.85/119.38 o 106872673 64.76/120.22 o 106803601 64.76/120.25 o 106782191 64.85/120.31 o 106710817 64.85/120.35 o 106709907 65.05/120.55 o 106702077 65.25/120.76 o 106646535 65.55/121.08 o 106528149 68.14/123.70 o 106338029 70.52/126.00 o 106328285 70.62/126.11 o 106138701 70.92/126.44 o 106129625 71.02/126.54 o 106009049 74.09/129.62 o 106008139 74.89/130.49 o 105997439 79.15/134.74 o 105983521 79.25/134.81 o 105897687 79.65/135.23 o 105853381 80.75/136.34 o 105814575 80.85/136.41 o 105799617 82.40/146.10 o 105784083 82.70/146.34 o 105742291 83.69/147.31 o 105693277 83.79/147.45 o 105670687 84.58/148.29 o 105659987 85.78/149.43 o 105646643 86.18/149.89 o 105639075 86.38/150.00 o 105636089 86.48/150.12 o 105620555 88.16/151.81 o 105497721 131.41/261.99 o 105234023 131.61/262.13 o 105219399 131.90/262.40 o 105200131 132.10/262.63 o 101420191 146.35/276.95 o 101411841 146.46/277.01 o 101402765 147.74/278.35 o 101393175 154.09/304.50 o 101382061 155.99/306.48 o 101287435 156.09/306.55 o 101266851 156.19/306.65 o 101217511 156.29/306.76 o 101200573 159.18/309.65 o 101176873 159.28/309.71 o 101153083 166.94/377.22 o 101117553 168.73/379.01 o 101094555 168.73/379.09 o 101067967 169.12/379.40 o 101058891 172.61/382.98 o 101035805 173.11/383.41 o 100994529 193.34/406.12 o 100987403 261.97/515.35 o 100717805 261.97/515.36 o 100692187 261.97/515.38 o 100676653 268.04/521.45 o 100634163 268.14/521.51 o 100624419 280.45/533.97 o 100462031 280.55/534.08 o 100440109 282.13/544.98 o 100365251 282.33/545.19 o 100355507 285.81/548.67 o 100354597 287.61/550.44 o 100347589 288.20/551.05 o 100266683 288.80/551.69 o 100179851 289.10/551.93 o 100163237 289.69/552.55 o 100156443 290.21/553.10 o 100145925 290.99/553.83 o 100136145 308.41/579.81 o 99992091 309.02/580.40 o 99990153 309.12/580.55 o 99987355 309.32/580.72 o 99963565 311.40/582.83 o 99941643 312.10/583.55 o 99934145 332.83/604.57 o 99926553 333.02/604.74 o 99751057 353.43/625.29 o 99747947 353.52/625.36 o 99730033 353.63/625.42 o 99674249 353.63/625.48 o 99595177 354.02/625.85 o 99585433 363.04/649.47 o 99520843 473.55/818.24 o 99494255 473.94/818.61 o 99472333 474.14/818.84 o 99449701 482.00/826.79 o 99356047 483.63/836.09 o 99321969 483.73/836.16 o 99316661 487.98/840.48 o 99311311 488.18/840.67 o 99307389 495.94/848.46 o 99306581 501.62/854.19 o 99253529 502.31/854.81 o 99238949 504.51/857.04 o 99102347 504.61/857.13 o 99092603 504.70/857.27 o 99075989 544.20/907.33 o 99058141 544.49/907.63 o 99055155 548.26/911.43 o 99042603 551.63/914.82 o 99041795 554.70/917.90 o 98935767 554.81/918.06 o 98925109 574.28/939.43 o 98921187 578.87/944.06 o 98813533 578.97/944.11 o 98803789 578.97/944.17 o 98759887 579.16/944.34 o 98756901 579.26/944.41 o 98734269 615.45/989.35 o 98717655 693.61/1106.01 o 98714705 693.61/1106.09 o 98687637 693.80/1106.28 o 98655741 694.00/1106.48 o 98623087 698.16/1110.69 o 98617737 707.31/1119.89 o 98611263 707.51/1120.03 o 98572929 707.61/1120.13 o 98560083 707.99/1120.52 o 98533849 707.99/1120.59 o 98524105 708.20/1120.72 o 98521119 712.97/1136.64 o 98509855 715.97/1139.60 o 98487223 731.95/1155.79 o 98357573 732.15/1155.91 o 98347829 739.02/1162.87 o 98340487 741.59/1170.61 o 98287691 753.20/1182.39 o 98201159 772.44/1203.69 o 98013223 782.98/1214.22 o 97964885 783.08/1214.38 o 97962947 783.28/1214.53 o 97931051 796.61/1227.95 o 97905305 806.35/1239.71 o 97858249 806.45/1239.89 o 97848505 806.65/1240.09 o 97831891 1064.02/1573.67 o 97669171 1064.02/1573.68 o 97613885 1106.46/1622.91 o 97603243 1106.56/1623.01 o 97593499 1124.93/1641.51 o 76368227 1125.03/1641.60 o 76323435 1125.13/1641.74 o 76312525 1125.23/1641.83 o 76308497 1125.72/1642.31 o 56863747 1126.43/1643.10 o 56826829 1126.62/1643.20 o 56730943 1128.42/1645.10 o 56687999 1129.60/1647.88 o 56613915 1131.18/1649.43 o 56601075 1131.28/1649.51 o 56555555 1131.28/1649.59 o 56552331 1132.68/1650.96 o 56511139 1132.78/1651.07 o 56465619 1134.58/1652.82 o 56432853 1134.88/1653.11 o 56430829 1135.07/1653.38 o 54394681 1135.27/1653.52 o 54353761 1136.07/1654.30 o 54316415 1136.67/1654.99 o 54146219 1136.88/1655.10 o 54105977 1141.26/1659.53 o 54103135 1143.04/1661.35 o 54075877 1150.31/1668.62 o 53958925 1150.41/1668.73 o 53948845 1151.82/1670.14 o 53922797 1172.91/1691.50 o 53916481 1174.10/1692.75 o 53916273 1174.21/1692.80 o 53882099 1174.21/1692.83 o 53839155 1175.80/1694.42 o 53836923 1176.30/1694.92 o 53835055 1176.40/1695.00 o 53806275 1176.40/1695.04 o 53766033 1176.51/1695.17 o 53758689 1176.60/1695.21 o 53746211 1178.99/1697.62 o 53694777 1178.99/1697.69 o 53650275 1181.88/1700.58 o 53647729 1182.18/1700.87 o 53592937 1182.67/1701.31 o 53576191 1182.77/1701.43 o 53570141 1185.87/1704.51 o 53566201 1187.86/1706.59 o 53562171 1191.11/1714.85 o 53557493 1191.21/1714.91 o 53557155 1191.21/1714.97 o 53539669 1191.31/1715.02 o 53527351 1192.91/1716.63 o 53492551 1195.48/1719.27 o 53489709 1197.76/1721.58 o 53483899 1202.81/1726.60 o 53472559 1203.22/1727.05 o 53452715 1203.31/1727.18 o 53435483 1203.41/1727.27 o 53420859 1204.49/1728.30 o 53405321 1205.77/1729.64 o 53403893 1221.03/1749.93 o 53401051 1224.81/1753.76 o 53330801 1238.74/1767.80 o 53328115 1241.13/1770.13 o 53313895 1243.03/1772.05 o 53312551 1245.12/1774.11 o 53281611 1245.22/1774.21 o 53275561 1245.32/1774.31 o 53269911 1245.42/1774.44 o 53269493 1246.72/1777.00 o 53263521 1249.91/1780.18 o 37240943 1250.00/1780.28 o 37216725 1250.10/1780.37 o 37114971 1251.09/1781.36 o 37048101 1251.19/1781.47 o 36956555 1252.20/1782.47 o 36911883 1253.08/1783.30 o 36904329 1253.28/1783.52 o 36898603 1254.38/1784.69 o 36813801 1256.16/1786.48 o 36793235 1259.14/1789.40 o 36771473 1259.23/1789.58 o 36732203 1259.43/1789.70 o 36727953 1260.22/1790.51 o 36612751 1260.42/1790.74 o 36452049 1261.42/1791.71 o 36445115 1262.21/1792.51 o 36386749 1262.41/1792.75 o 36375525 1262.50/1792.88 o 36345161 1262.60/1793.00 o 36270157 1263.39/1793.71 o 36250419 1264.49/1794.88 o 36234297 1266.47/1796.88 o 36192273 1266.77/1797.17 o 36192025 1267.27/1797.64 o 36149697 1270.06/1800.41 o 36064895 1271.96/1802.36 o 35973499 1272.55/1802.97 o 35816355 1274.85/1805.29 o 35814307 1275.84/1806.24 o 35771725 1275.94/1806.38 o 35758557 1283.43/1815.30 o 35710819 1283.62/1815.54 o 35690947 1289.58/1821.51 o 35687293 1289.98/1821.90 o 35685219 1290.28/1822.22 o 35676501 1290.68/1822.65 o 35668989 1292.57/1824.58 o 35626979 1293.07/1825.09 o 35625111 1293.17/1825.19 o 35619455 1293.37/1825.30 o 35611943 1295.56/1827.55 o 35502313 1296.26/1828.27 o 35501321 1300.34/1832.33 o 35372347 1452.25/2022.75 o 35318739 1452.25/2022.79 o 35306811 1452.34/2022.85 o 35274139 1452.94/2023.41 o 35256709 1452.94/2023.46 o 35231245 1454.64/2025.16 o 35225811 1460.94/2035.67 o 35215123 1461.64/2036.30 o 35171039 1463.14/2037.84 o 35163527 1464.13/2038.80 o 35147705 1464.13/2038.84 o 35142049 1465.03/2039.72 o 35127847 1465.23/2039.90 o 35116345 1465.23/2039.94 o 35112691 1465.23/2039.97 o 35068607 1466.91/2041.65 o 35024973 1467.33/2042.01 o 35017461 1472.59/2047.35 o 20902449 1472.70/2047.49 o 20881131 1474.09/2048.85 o 20827131 1474.19/2048.90 o 20822077 1474.29/2049.08 o 20819665 1474.39/2049.16 o 20799673 1474.48/2049.20 o 20795811 1474.79/2049.56 o 20735983 1475.09/2049.82 o 20732149 1475.09/2049.86 o 20730855 1475.19/2049.92 o 20697753 1475.19/2049.97 o 20696263 1475.29/2050.01 o 20666871 1475.40/2050.11 o 20645913 1475.49/2050.23 o 20592147 1475.69/2050.44 o 20589735 1476.78/2051.50 o 20566741 1476.88/2051.61 o 20534043 1476.88/2051.65 o 20528989 1477.58/2052.31 o 20493899 1477.58/2052.37 o 20428621 1477.68/2052.42 o 20412717 1478.67/2053.43 o 20403735 1478.67/2053.49 o 20391029 1478.77/2053.57 o 20389905 1479.46/2054.28 o 20380083 1479.57/2054.35 o 20367377 1480.05/2054.85 o 20354867 1480.15/2054.91 o 20303267 1480.15/2054.96 o 20301777 1480.26/2055.06 o 20272385 1482.45/2057.20 o 20254289 1482.45/2057.26 o 20252799 1482.55/2057.32 o 20228329 1482.55/2057.38 o 20225695 1483.35/2058.14 o 20196585 1483.35/2058.20 o 20175375 1483.44/2058.25 o 20163529 1483.54/2058.32 o 20142227 1483.64/2058.40 o 20130355 1483.84/2058.60 o 20128955 1486.66/2063.36 o 20119565 1486.76/2063.42 o 20118075 1486.86/2063.51 o 20105477 1486.86/2063.59 o 20093605 1489.16/2065.87 o 20085433 1489.26/2065.93 o 20078789 1489.37/2066.01 o 20071345 1489.46/2066.11 o 20063533 1495.04/2071.76 o 20006401 1495.14/2071.85 o 19992313 1495.24/2071.98 o 19985341 1500.12/2076.88 o 19918193 1501.32/2078.08 o 19835411 1501.42/2078.19 o 19833921 1501.62/2078.33 o 19828767 1510.39/2087.16 o 19780155 1510.48/2087.27 o 19778665 1524.26/2101.70 o 19738405 1530.12/2107.60 o 19733033 1530.12/2107.64 o 19721187 1533.61/2111.11 o 19693027 1534.50/2112.09 o 19685725 1541.77/2119.33 o 19682791 1627.38/2245.35 o 19644367 1627.38/2245.36 o 19631985 1627.48/2245.42 o 19623113 1627.48/2245.48 o 18742839 1627.58/2245.58 o 18734773 1628.18/2246.16 o 18728773 1666.58/2294.43 o 18703457 1667.28/2295.17 o 18680395 1667.67/2295.53 o 18679915 1668.57/2296.44 o 18669489 1669.48/2297.33 o 18659819 1669.66/2297.59 o 18596837 1671.54/2299.45 o 17850395 1672.14/2300.01 o 17850003 1672.24/2300.14 o 17843715 1674.92/2302.89 o 17824393 1677.41/2305.34 o 17819985 1678.21/2306.11 o 9421637 1678.30/2306.23 o 9412373 1678.50/2306.43 o 9391055 1678.60/2306.54 o 9379151 1686.55/2314.52 o 9368945 1686.65/2314.69 o 9346751 1686.75/2314.78 o 9341487 1686.85/2314.89 o 9333359 1688.35/2316.39 o 9332709 1689.94/2317.98 o 9327979 1690.05/2318.07 o 9326877 1690.24/2318.20 o 9306557 1692.93/2320.91 o 9281657 1709.41/2339.57 o 9278721 1710.10/2340.28 o 8776499 1711.50/2341.63 o 8768363 1712.09/2342.23 o 8764829 1712.19/2342.38 o 8763185 1713.19/2343.37 o 8751647 1713.59/2343.78 o 8745731 1716.28/2346.44 o 8730395 1720.16/2350.33 o 8728751 1725.11/2355.36 o 8725313 1728.57/2364.26 o 8724737 1843.45/2500.10 o 8723387 1843.45/2500.14 o 8712485 1851.51/2508.29 o 8703999 1851.61/2508.35 o 8701133 1851.70/2508.40 o 8680535 1851.80/2508.53 o 8679847 1852.31/2509.04 o 8677893 1852.41/2509.16 o 8675565 1852.80/2509.50 o 8675507 1852.80/2509.56 o 8675131 1852.90/2509.63 o 8674381 1853.00/2509.70 o 8672741 1856.38/2513.12 o 8669805 1857.87/2514.64 o 8665101 1863.94/2525.90 o 8663517 1867.52/2529.53 o 8663135 1870.80/2532.86 o 8661491 1871.30/2533.31 o 8660019 1875.39/2537.47 o 8659937 1894.58/2556.79 o 8636327 1894.78/2556.90 o 8635577 1894.88/2557.05 o 8627849 1894.98/2557.17 o 8623459 1895.17/2557.34 o 8613033 1895.37/2557.59 o 8611183 1895.58/2557.76 o 8608317 1895.78/2557.91 o 8607567 1895.88/2558.08 o 8605927 1913.71/2575.98 o 8604635 1920.92/2584.24 o 8603073 1956.04/2622.47 o 8587059 1956.13/2622.59 o 8585051 1956.33/2622.72 o 8565203 1956.53/2622.99 o 8564515 1957.13/2623.54 o 8560233 2068.34/2797.69 o 8559331 2199.17/2940.30 o 8558883 2245.76/2995.67 o 8557757 2442.98/3279.86 o 8550595 2444.56/3281.49 o 8540509 2444.76/3281.60 o 8537643 2558.56/3409.87 o 8533353 2597.41/3449.89 o 8531713 2597.51/3449.92 o 8530963 2625.38/3482.89 o 8525915 2625.68/3483.17 o 8516395 2625.78/3483.28 o 8511485 2625.97/3483.44 o 8506723 2626.27/3483.75 o 8495147 2627.19/3484.62 o 8493193 2650.75/3509.79 o 8479065 2706.41/3569.60 o 8478377
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: 63931 MiB (61875 MiB free)
memory of node 1: 64510 MiB (58522 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441334-1723986229/watcher-4441334-1723986229 -o /tmp/evaluation-result-4441334-1723986229/solver-4441334-1723986229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1723986219-901173 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441334-1723986229 --seed=83732635 HOME/instance-4441334-1723986229.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=901334, runsolver pid=901327
[startup+0.100063 s]*
/proc/loadavg: 0.63 0.20 0.13 6/259 901335
/proc/meminfo: memFree=123200648/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=62480 memory=38684 CPUtime=0.09 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 9404 0 0 0 8 1 0 0 20 0 1 0 165224605 63979520 9671 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 15620 9671 931 1006 0 14381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62480 KiB
Current children cumulated memory: 38684 KiB
[startup+0.205958 s]*
/proc/loadavg: 0.63 0.20 0.13 6/259 901335
/proc/meminfo: memFree=123192072/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=55196 memory=36256 CPUtime=0.19 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 9762 0 0 0 18 1 0 0 20 0 1 0 165224605 56520704 9064 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 13799 9064 931 1006 0 12560 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55196 KiB
Current children cumulated memory: 36256 KiB
[startup+0.305992 s]*
/proc/loadavg: 0.63 0.20 0.13 6/259 901335
/proc/meminfo: memFree=123133492/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=86816 memory=67940 CPUtime=0.29 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 15489 0 0 0 27 2 0 0 20 0 1 0 165224605 88899584 16985 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 21704 16985 1075 1006 0 20465 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86816 KiB
Current children cumulated memory: 67940 KiB
[startup+0.700219 s]
/proc/loadavg: 0.63 0.20 0.13 6/259 901335
/proc/meminfo: memFree=123103364/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=88188 memory=68792 CPUtime=0.68 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 15700 0 0 0 65 3 0 0 20 0 1 0 165224605 90304512 17198 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 22047 17198 1091 1006 0 20808 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88188 KiB
Current children cumulated memory: 68792 KiB
[startup+1.5002 s]
/proc/loadavg: 0.63 0.20 0.13 5/254 901343
/proc/meminfo: memFree=123315452/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=100592 memory=81076 CPUtime=1.48 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 18427 0 0 0 143 5 0 0 20 0 1 0 165224605 103006208 20269 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 25148 20269 1139 1006 0 23909 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 81076 KiB
[startup+3.10561 s]
/proc/loadavg: 0.63 0.20 0.13 4/256 901345
/proc/meminfo: memFree=122744652/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=180472 memory=141844 CPUtime=2.11 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 23807 0 0 0 202 9 0 0 20 0 1 0 165224605 184803328 35461 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 96 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 45118 35461 1139 1006 0 43879 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 141844 KiB
heavy processes:
[startup+6.30017 s]
/proc/loadavg: 0.90 0.26 0.15 6/261 901383
/proc/meminfo: memFree=121493064/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=663172 memory=557400 CPUtime=5.31 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 32412 0 0 0 488 43 0 0 20 0 1 0 165224605 679088128 139350 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 96 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 165793 139350 1139 1006 0 164554 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 663172 KiB
Current children cumulated memory: 557400 KiB
[startup+12.7002 s]
/proc/loadavg: 1.23 0.34 0.17 6/262 901480
/proc/meminfo: memFree=117929564/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=1056392 memory=704112 CPUtime=11.69 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 44392 0 0 0 1063 106 0 0 20 0 1 0 165224605 1081745408 176028 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 96 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 264098 176028 1139 1006 0 262859 0
Current children cumulated CPU time: 11.69 s
Current children cumulated vsize: 1056392 KiB
Current children cumulated memory: 704112 KiB
[startup+25.5002 s]
/proc/loadavg: 1.92 0.54 0.24 6/260 901495
/proc/meminfo: memFree=115097488/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=1284136 memory=1048612 CPUtime=24.45 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 64930 0 0 0 2243 202 0 0 20 0 1 0 165224605 1314955264 262153 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 96 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 321034 262153 1139 1006 0 319795 0
Current children cumulated CPU time: 24.45 s
Current children cumulated vsize: 1284136 KiB
Current children cumulated memory: 1048612 KiB
[startup+51.1057 s]
/proc/loadavg: 2.29 0.74 0.32 2/255 901517
/proc/meminfo: memFree=111366272/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=2192484 memory=1461148 CPUtime=43.9 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) D 901327 901334 901163 0 -1 4194304 79197 0 0 0 4044 346 0 0 20 0 1 0 165224605 2245103616 365287 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 96 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 548121 365287 1139 1006 0 546882 0
Current children cumulated CPU time: 43.9 s
Current children cumulated vsize: 2192484 KiB
Current children cumulated memory: 1461148 KiB
[startup+102.3 s]
/proc/loadavg: 2.74 1.10 0.47 2/254 901527
/proc/meminfo: memFree=109973696/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=2239588 memory=1531908 CPUtime=57.14 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) D 901327 901334 901163 0 -1 4194304 87185 0 0 0 5251 463 0 0 20 0 1 0 165224605 2293338112 382977 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1793 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 559897 382977 1139 1006 0 558658 0
Current children cumulated CPU time: 57.14 s
Current children cumulated vsize: 2239588 KiB
Current children cumulated memory: 1531908 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 2.98 1.47 0.63 5/254 901539
/proc/meminfo: memFree=108798732/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=2380904 memory=1657332 CPUtime=98.59 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 97437 0 0 0 9351 508 0 0 20 0 1 0 165224605 2438045696 414333 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6325 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 595226 414333 1155 1006 0 593987 0
Current children cumulated CPU time: 98.59 s
Current children cumulated vsize: 2380904 KiB
Current children cumulated memory: 1657332 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 3.11 1.78 0.79 3/254 901550
/proc/meminfo: memFree=103509352/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=2572672 memory=1774684 CPUtime=130.31 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) D 901327 901334 901163 0 -1 4194304 131739 0 0 0 12385 646 0 0 20 0 1 0 165224605 2634416128 443671 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6810 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 643168 443671 1155 1006 0 641929 0
Current children cumulated CPU time: 130.31 s
Current children cumulated vsize: 2572672 KiB
Current children cumulated memory: 1774684 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 3.12 2.03 0.94 2/254 901561
/proc/meminfo: memFree=102535216/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=2575912 memory=1778100 CPUtime=151 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) D 901327 901334 901163 0 -1 4194304 132553 0 0 0 14441 659 0 0 20 0 1 0 165224605 2637733888 444525 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 12988 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 643978 444525 1155 1006 0 642739 0
Current children cumulated CPU time: 151 s
Current children cumulated vsize: 2575912 KiB
Current children cumulated memory: 1778100 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 3.07 2.23 1.08 3/250 901572
/proc/meminfo: memFree=102205900/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=2575912 memory=1778100 CPUtime=161.84 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) D 901327 901334 901163 0 -1 4194304 132573 0 0 0 15518 666 0 0 20 0 1 0 165224605 2637733888 444525 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14971 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 643978 444525 1155 1006 0 642739 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2575912 KiB
Current children cumulated memory: 1778100 KiB
heavy processes:
[startup+402.301 s]
/proc/loadavg: 3.11 2.40 1.21 4/252 901588
/proc/meminfo: memFree=99166376/131524600 swapFree=131071996/131071996
[pid=901334] ppid=901327 vsize=2581112 memory=1801712 CPUtime=189.55 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 134011 0 0 0 18275 680 0 0 20 0 1 0 165224605 2643058688 450428 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 2 0 0 21192 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 645278 450428 1155 1006 0 644039 0
Current children cumulated CPU time: 189.55 s
Current children cumulated vsize: 2581112 KiB
Current children cumulated memory: 1801712 KiB
heavy processes:
################
# More data... #
################
Current children cumulated CPU time: 2036.66 s
Current children cumulated vsize: 3765164 KiB
Current children cumulated memory: 2621752 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 3.19 3.18 3.05 5/258 902667
/proc/meminfo: memFree=799820/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3765164 memory=2623808 CPUtime=2073.01 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 607727 0 1 0 202829 4472 0 0 20 0 1 0 165224605 3855527936 655952 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 71849 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941291 655952 1200 1006 0 940052 0
Current children cumulated CPU time: 2073.01 s
Current children cumulated vsize: 3765164 KiB
Current children cumulated memory: 2623808 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 3.11 3.16 3.05 3/257 902678
/proc/meminfo: memFree=544700/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3765164 memory=2625356 CPUtime=2126.65 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 608059 0 1 0 208153 4512 0 0 20 0 1 0 165224605 3855527936 656339 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 72458 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941291 656339 1200 1006 0 940052 0
Current children cumulated CPU time: 2126.65 s
Current children cumulated vsize: 3765164 KiB
Current children cumulated memory: 2625356 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 3.35 3.23 3.09 5/257 902689
/proc/meminfo: memFree=660260/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3765164 memory=2626920 CPUtime=2181.27 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 608339 0 1 0 213556 4571 0 0 20 0 1 0 165224605 3855527936 656730 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 72966 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941291 656730 1200 1006 0 940052 0
Current children cumulated CPU time: 2181.27 s
Current children cumulated vsize: 3765164 KiB
Current children cumulated memory: 2626920 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 3.20 3.20 3.09 5/257 902699
/proc/meminfo: memFree=534100/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2628472 CPUtime=2240.97 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 644801 0 1 0 219431 4666 0 0 20 0 1 0 165224605 3856633856 657118 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 72966 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 657118 1200 1006 0 940322 0
Current children cumulated CPU time: 2240.97 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2628472 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 3.31 3.23 3.10 4/256 902710
/proc/meminfo: memFree=507088/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2632744 CPUtime=2289.16 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 645074 0 1 0 224204 4712 0 0 20 0 1 0 165224605 3856633856 658186 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 74123 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 658186 1200 1006 0 940322 0
Current children cumulated CPU time: 2289.16 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2632744 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 3.24 3.22 3.10 4/254 903110
/proc/meminfo: memFree=570500/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2632744 CPUtime=2338.52 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 652939 0 1 0 229026 4826 0 0 20 0 1 0 165224605 3856633856 658186 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 75162 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 658186 1200 1006 0 940322 0
Current children cumulated CPU time: 2338.52 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2632744 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 3.20 3.21 3.10 4/254 903121
/proc/meminfo: memFree=568128/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2632744 CPUtime=2370.23 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 653981 0 1 0 232068 4955 0 0 20 0 1 0 165224605 3856633856 658186 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 77977 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 658186 1200 1006 0 940322 0
Current children cumulated CPU time: 2370.23 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2632744 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 3.17 3.20 3.10 5/255 903133
/proc/meminfo: memFree=504396/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2632744 CPUtime=2393.69 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 654232 0 1 0 234344 5025 0 0 20 0 1 0 165224605 3856633856 658186 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81619 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 658186 1200 1006 0 940322 0
Current children cumulated CPU time: 2393.69 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2632744 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 3.11 3.17 3.10 3/258 903316
/proc/meminfo: memFree=687224/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2632744 CPUtime=2445.45 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 657183 0 1 0 239451 5094 0 0 20 0 1 0 165224605 3856633856 658186 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 82411 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 658186 1200 1006 0 940322 0
Current children cumulated CPU time: 2445.45 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2632744 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 3.19 3.18 3.10 5/257 903327
/proc/meminfo: memFree=499956/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2632744 CPUtime=2495.88 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 657526 0 1 0 244447 5141 0 0 20 0 1 0 165224605 3856633856 658186 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 83342 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 658186 1200 1006 0 940322 0
Current children cumulated CPU time: 2495.88 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2632744 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 3.94 3.37 3.17 5/256 903340
/proc/meminfo: memFree=527668/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3766244 memory=2632816 CPUtime=2551.08 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 657874 0 1 0 249902 5206 0 0 20 0 1 0 165224605 3856633856 658204 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 83791 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 941561 658204 1200 1006 0 940322 0
Current children cumulated CPU time: 2551.08 s
Current children cumulated vsize: 3766244 KiB
Current children cumulated memory: 2632816 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 3.42 3.33 3.17 5/258 903364
/proc/meminfo: memFree=622868/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3770268 memory=2636760 CPUtime=2609.86 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 666234 0 1 0 255646 5340 0 0 20 0 1 0 165224605 3860754432 659190 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 83887 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 942567 659190 1200 1006 0 941328 0
Current children cumulated CPU time: 2609.86 s
Current children cumulated vsize: 3770268 KiB
Current children cumulated memory: 2636760 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 3.30 3.31 3.18 5/258 903375
/proc/meminfo: memFree=615984/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3770268 memory=2636760 CPUtime=2663.27 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 667731 0 1 0 260944 5383 0 0 20 0 1 0 165224605 3860754432 659190 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 84519 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 942567 659190 1200 1006 0 941328 0
Current children cumulated CPU time: 2663.27 s
Current children cumulated vsize: 3770268 KiB
Current children cumulated memory: 2636760 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 3.32 3.32 3.18 4/256 903385
/proc/meminfo: memFree=553488/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3773996 memory=2640488 CPUtime=2719.06 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 684068 0 1 0 266377 5529 0 0 20 0 1 0 165224605 3864571904 660122 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 84916 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 943499 660122 1200 1006 0 942260 0
Current children cumulated CPU time: 2719.06 s
Current children cumulated vsize: 3773996 KiB
Current children cumulated memory: 2640488 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 3.32 3.32 3.19 4/255 903395
/proc/meminfo: memFree=625284/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3773996 memory=2640488 CPUtime=2777.82 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) R 901327 901334 901163 0 -1 4194304 684489 0 1 0 272196 5586 0 0 20 0 1 0 165224605 3864571904 660122 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 85013 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 943499 660122 1200 1006 0 942260 0
Current children cumulated CPU time: 2777.82 s
Current children cumulated vsize: 3773996 KiB
Current children cumulated memory: 2640488 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.19 3.28 3.18 3/255 903408
/proc/meminfo: memFree=822148/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3792724 memory=2659216 CPUtime=2822.71 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) D 901327 901334 901163 0 -1 4194304 696316 0 1 0 276464 5807 0 0 20 0 1 0 165224605 3883749376 664804 134679101440 4194304 8311665 140727979852928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 85191 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 948181 664804 1200 1006 0 946942 0
Current children cumulated CPU time: 2822.71 s
Current children cumulated vsize: 3792724 KiB
Current children cumulated memory: 2659216 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.17 3.27 3.18 2/255 903408
/proc/meminfo: memFree=3886628/131524600 swapFree=131070704/131071996
[pid=901334] ppid=901327 vsize=3792724 memory=2659216 CPUtime=2822.71 cores=0,2
/proc/901334/stat : 901334 (Exact_veripb2) D 901327 901334 901163 0 -1 4194304 696316 0 1 0 276464 5807 0 0 20 0 1 0 165224605 3883749376 664804 134679101440 4194304 8311665 140727979852928 0 0 256 0 0 8404994 0 0 0 17 0 0 0 85191 0 0 9173656 9252184 20688896 140727979860808 140727979861086 140727979861086 140727979868103 0
/proc/901334/statm: 948181 664804 1200 1006 0 946942 0
??? kill 901334 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC031 at 2024-08-18 15:03:49 IDJOB=4441334 IDBENCH=155628 IDSOLVER=3081 FILE ID=nodeC031/4441334-1723986229 RUNJOBID= nodeC031-1723986219-901173 SLURM_JOB_ID= 8268155 Free space on /tmp= 890036 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb COMMAND LINE= HOME/Exact_veripb2 --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-4441334-1723986229/watcher-4441334-1723986229 -o /tmp/evaluation-result-4441334-1723986229/solver-4441334-1723986229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1723986219-901173 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441334-1723986229 --seed=83732635 HOME/instance-4441334-1723986229.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 21308a801a9cbe43fb5a50efc40ff8ff RANDOM SEED=83732635 nodeC031.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 : 3669.421 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.95 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 : 3677.821 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 : 7007.12 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 : 3656.266 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.95 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 : 3641.778 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 : 7007.12 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 : 3668.754 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.95 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 : 3600.369 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 : 7007.12 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 : 3628.817 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.95 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 : 3606.318 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123324468 kB MemAvailable: 129090216 kB Buffers: 391884 kB Cached: 6208852 kB SwapCached: 0 kB Active: 944576 kB Inactive: 6616464 kB Active(anon): 1544 kB Inactive(anon): 1004716 kB Active(file): 943032 kB Inactive(file): 5611748 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 561884 kB Writeback: 0 kB AnonPages: 960164 kB Mapped: 118012 kB Shmem: 45912 kB KReclaimable: 101232 kB Slab: 229376 kB SReclaimable: 101232 kB SUnreclaim: 128144 kB KernelStack: 4080 kB PageTables: 11008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1299348 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63520 kB HardwareCorrupted: 0 kB AnonHugePages: 555008 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: 330452 kB DirectMap2M: 22511616 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890048 MiB End job on nodeC031 at 2024-08-18 16:06:53