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-minisat70_4_22_3.opb |
| MD5SUM | f134d089c54411466f2bcbd6371e604a |
| 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 | 3892789 |
| Best CPU time to get the best result obtained on this benchmark | 737.579 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 171879616 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 85431562646 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 171879616 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 85431562646 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.77/0.84 o 223716393 22.72/22.80 o 223420825 22.72/22.81 o 223401123 22.72/22.82 o 223131763 22.72/22.85 o 223029875 22.72/22.88 o 163646971 22.82/22.98 o 163623403 22.92/23.08 o 163589781 23.22/23.34 o 163586527 23.32/23.47 o 163578907 23.32/23.49 o 163477479 23.42/23.57 o 163392321 23.52/23.61 o 163274801 23.52/23.69 o 163262513 23.61/23.74 o 163260503 23.81/23.90 o 163174449 23.93/24.08 o 163133031 24.03/24.10 o 163120641 24.62/24.72 o 163032959 24.62/24.75 o 163023859 24.72/24.82 o 153287355 24.72/24.84 o 153266321 25.61/25.79 o 153153529 25.71/25.85 o 153112225 26.21/26.39 o 140309395 26.81/26.95 o 140308167 28.10/28.27 o 140300393 28.21/28.30 o 140297103 28.21/28.33 o 140288003 29.41/29.59 o 140283145 29.51/29.64 o 140216145 29.51/29.68 o 140207045 30.60/30.74 o 140082317 31.20/31.33 o 140075187 31.39/31.57 o 137889277 35.60/85.08 o 137875705 42.28/91.76 o 137848007 66.54/123.21 o 137801135 67.03/123.76 o 137745729 67.14/123.82 o 137733985 72.52/129.23 o 137708817 72.52/129.29 o 137706263 74.26/138.16 o 137694337 75.55/139.44 o 137657601 76.35/140.21 o 137635951 78.65/142.51 o 92899979 78.74/142.64 o 73532085 79.04/142.98 o 73395883 79.75/143.67 o 36084039 79.94/143.82 o 36061719 80.04/143.91 o 35948701 80.04/143.98 o 35899799 80.34/144.20 o 27426119 80.54/144.44 o 27399827 80.64/144.59 o 27395189 81.34/145.21 o 27361839 81.44/145.38 o 27354957 83.73/147.64 o 27230523 83.73/147.69 o 27225885 84.72/148.61 o 27146287 85.52/149.42 o 27006197 85.62/149.50 o 26951535 89.71/153.68 o 26917983 91.31/155.22 o 26899999 93.70/157.69 o 26893029 93.80/157.75 o 26889417 93.90/157.81 o 26846347 94.00/157.91 o 26833377 94.41/158.40 o 26812137 94.50/158.45 o 26806027 94.60/158.53 o 26764587 95.00/158.98 o 26764029 95.11/159.06 o 26754939 95.80/159.70 o 26740641 135.03/270.87 o 26712219 136.12/271.90 o 26698659 136.12/271.93 o 26688469 136.81/272.69 o 26683355 137.12/272.90 o 26679461 138.11/273.95 o 26672117 140.11/275.96 o 26665859 140.41/276.23 o 26661965 141.31/277.12 o 26640219 141.40/277.29 o 26623035 142.40/278.24 o 26536027 143.00/278.81 o 26528683 145.69/281.59 o 26515493 145.89/281.79 o 26508523 162.07/357.81 o 26367523 162.17/358.00 o 26294563 162.48/358.21 o 26283043 166.17/373.02 o 26277785 169.76/376.66 o 26272179 174.54/381.48 o 26257329 178.63/385.59 o 26243481 178.83/385.72 o 26236511 179.13/386.03 o 26233257 180.23/387.14 o 26178043 180.32/387.28 o 26128197 181.52/388.40 o 26122185 192.02/400.20 o 26117547 194.61/402.85 o 26093475 194.71/402.97 o 26001737 194.81/403.00 o 25997897 195.31/403.54 o 25980713 200.99/409.21 o 25972729 245.02/486.73 o 25964497 245.12/486.82 o 25955407 245.63/487.35 o 25936111 247.82/489.58 o 25918927 249.54/500.97 o 25912847 249.65/501.04 o 25907863 294.16/552.93 o 25894291 304.85/567.61 o 25890115 304.85/567.62 o 25882027 304.85/567.63 o 25874071 305.45/568.26 o 25853599 305.54/568.30 o 25848961 306.84/569.61 o 25837723 438.94/752.94 o 25837217 440.53/754.58 o 25833605 445.72/759.70 o 25807343 445.72/759.74 o 25795823 450.11/764.14 o 25660025 450.11/764.18 o 25617801 451.60/765.67 o 25617295 459.88/773.95 o 25595913 462.98/777.05 o 25428601 469.64/784.82 o 25369639 477.72/792.99 o 25367655 528.68/844.02 o 25360311 745.66/1099.30 o 25355789 956.76/1351.55 o 25329099 956.76/1351.56 o 25324869 957.05/1351.88 o 25302837 957.05/1351.89 o 25295955 957.16/1351.92 o 25291317 1023.12/1429.59 o 22966435 1051.50/1463.78 o 22962607 1051.60/1463.82 o 22944431 1051.60/1463.86 o 22927057 1051.60/1463.89 o 22913855 1051.81/1464.07 o 22839101 1059.78/1472.09 o 22752915 1059.88/1472.11 o 22719435 1059.98/1472.25 o 22614095 1060.08/1472.30 o 22591705 1060.18/1472.40 o 22568825 1060.37/1472.65 o 22529433 1060.57/1472.84 o 22488303 1060.57/1472.88 o 22465423 1060.68/1472.95 o 22415647 1060.88/1473.11 o 22407465 1060.98/1473.28 o 22371257 1061.08/1473.35 o 22349945 1061.28/1473.56 o 22317097 1061.68/1473.91 o 22247083 1061.68/1473.97 o 22227769 1062.37/1474.69 o 22215305 1063.47/1475.71 o 22137947 1063.96/1476.27 o 22116747 1066.16/1478.41 o 22099025 1066.16/1478.47 o 22086841 1070.12/1489.35 o 22067943 1070.21/1489.42 o 22067649 1075.10/1494.31 o 22017329 1075.10/1494.38 o 21978943 1075.20/1494.45 o 21951353 1078.39/1497.68 o 21941055 1082.18/1501.42 o 21939463 1086.87/1506.13 o 21922011 1086.97/1506.23 o 21885521 1094.33/1518.78 o 21875223 1137.43/1571.37 o 21827363 1137.43/1571.38 o 21797363 1137.43/1571.39 o 21788059 1137.63/1571.56 o 21751131 1137.93/1571.80 o 21747385 1137.93/1571.85 o 21710559 1138.14/1572.00 o 21677225 1140.62/1574.54 o 21664035 1143.71/1577.62 o 21589449 1143.71/1577.66 o 21576163 1143.91/1577.87 o 21513973 1160.56/1599.66 o 21500027 1163.06/1602.12 o 21495771 1170.04/1609.17 o 21447163 1170.24/1609.33 o 21441451 1170.83/1609.97 o 21428987 1171.90/1611.58 o 21427051 1173.52/1613.12 o 21417485 1174.80/1614.41 o 21408551 1175.20/1614.84 o 21377667 1175.90/1615.52 o 21359459 1178.20/1617.82 o 21312657 1178.60/1618.22 o 21305489 1178.69/1618.35 o 21281175 1182.59/1622.28 o 21280899 1184.08/1623.72 o 21278979 1186.38/1626.06 o 21256515 1194.75/1634.41 o 21252739 1194.75/1634.47 o 21242515 1195.95/1635.69 o 21216901 1196.15/1635.80 o 21195155 1196.24/1635.98 o 21177971 1196.46/1636.19 o 21176051 1199.54/1639.20 o 21168067 1296.90/1765.71 o 21103751 1327.40/1798.82 o 21028745 1327.50/1798.90 o 20984355 1327.60/1799.02 o 20974131 1330.62/1803.45 o 20972419 1332.92/1805.73 o 20971779 1333.02/1805.83 o 20968525 1333.11/1805.98 o 20930659 1333.32/1806.12 o 20921753 1334.41/1807.23 o 20902015 1336.71/1809.56 o 20894031 1358.54/1831.41 o 20864955 1360.28/1836.65 o 20862273 1360.98/1837.34 o 20856799 1361.38/1837.74 o 20216977 1361.38/1837.77 o 20215411 1361.48/1837.82 o 20211403 1361.48/1837.86 o 20209483 1361.88/1838.25 o 20206801 1374.25/1850.61 o 20169755 1374.25/1850.69 o 20160987 1374.35/1850.78 o 20141249 1375.95/1852.37 o 20131937 1376.04/1852.45 o 20128205 1376.14/1852.54 o 20127929 1376.24/1852.61 o 20126009 1379.04/1855.46 o 20118665 1395.36/1872.26 o 20103653 1395.76/1872.67 o 20093429 1398.36/1875.21 o 20092789 1401.65/1878.52 o 20000157 1401.75/1878.65 o 19980565 1406.63/1883.55 o 19972383 1411.22/1888.18 o 19962843 1414.21/1891.19 o 19957877 1417.28/1895.17 o 19956271 1417.47/1895.33 o 19888161 1417.57/1895.46 o 19884549 1417.87/1895.76 o 19876565 1418.77/1896.66 o 19873083 1418.97/1896.88 o 19843173 1419.97/1897.87 o 19841253 1426.45/1904.39 o 19799701 1447.07/1931.09 o 19796089 1447.17/1931.14 o 19795813 1447.56/1931.57 o 19794627 1506.26/1994.52 o 19787283 1540.84/2033.60 o 19786587 1845.33/2421.88 o 19734805 1915.13/2500.99 o 19733619 2110.99/2790.66 o 19292967 2111.39/2791.06 o 19290273 2111.78/2791.45 o 19281249 2111.88/2791.53 o 19182049 2112.38/2792.07 o 19154441 2113.27/2792.95 o 19145251 2113.88/2793.56 o 19115125 2113.98/2793.62 o 19085485 2116.86/2796.59 o 19063595 2117.06/2796.70 o 19035987 2117.06/2796.76 o 19035701 2117.16/2796.87 o 19035381 2118.86/2798.51 o 19034597 2119.16/2798.85 o 19009829 2119.37/2799.06 o 19007881 2121.06/2800.79 o 19005185 2121.16/2800.85 o 18996213 2121.26/2800.94 o 18966817 2126.45/2806.10 o 18947563 2134.82/2814.58 o 18935553 2134.92/2814.66 o 18879001 2135.02/2814.76 o 18854777 2135.22/2814.91 o 18842393 2137.22/2816.95 o 18824383 2137.33/2817.09 o 18792649 2150.23/2830.49 o 18764999 2150.43/2830.66 o 18756027 2151.63/2831.89 o 18752715 2158.21/2838.44 o 18745977 2158.31/2838.57 o 18700185 2159.61/2839.86 o 18691213 2176.08/2860.99 o 18689005 2176.98/2861.83 o 18688621 2246.60/2962.45 o 18682341 2246.70/2962.56 o 18679877 2246.70/2962.59 o 18676151 2248.09/2963.90 o 18670831 2248.69/2964.52 o 18670085 2248.69/2964.56 o 18660943 2248.69/2964.59 o 18659105 2248.79/2964.64 o 18645279 2250.89/2966.79 o 18643071 2253.18/2969.08 o 18642325 2254.88/2970.74 o 18635799 2263.37/2987.11 o 18632439 2264.45/2988.20 o 18629425 2264.45/2988.22 o 18620871 2264.45/2988.25 o 18617145 2264.45/2988.27 o 18547773 2264.55/2988.33 o 18534981 2265.06/2988.82 o 18534023 2272.83/2996.60 o 18493567 2272.83/2996.65 o 18480775 2277.23/3001.00 o 18465895 2277.23/3001.06 o 18460295 2277.33/3001.11 o 18454105 2283.01/3006.88 o 18453679 2283.11/3006.96 o 18445405 2283.31/3007.11 o 18391957 2283.31/3007.19 o 18390295 2289.26/3015.06 o 18347059 2289.55/3015.34 o 18331447 2289.65/3015.42 o 18320317 2291.44/3017.24 o 18313267 2299.13/3024.91 o 18312691 2301.82/3027.66 o 18268797 2301.92/3027.75 o 18264285 2302.12/3027.91 o 18261495 2309.70/3035.53 o 18255405 2311.69/3037.52 o 18252063 2311.79/3037.62 o 18240933 2315.27/3043.09 o 18224595 2315.37/3043.19 o 18223205 2315.57/3043.31 o 18199253 2320.86/3048.67 o 18196463 2362.48/3096.51 o 18189037 2364.67/3098.74 o 18186599
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 (62768 MiB free)
memory of node 1: 64473 MiB (62591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441330-1723986227/watcher-4441330-1723986227 -o /tmp/evaluation-result-4441330-1723986227/solver-4441330-1723986227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1723986219-870116 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441330-1723986227 --seed=83732635 HOME/instance-4441330-1723986227.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
Current StackSize limit: 8192 KiB
solver pid=870274, runsolver pid=870267
[startup+0.100776 s]*
/proc/loadavg: 0.71 0.22 0.13 5/257 870275
/proc/meminfo: memFree=128320152/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=47136 memory=25852 CPUtime=0.08 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 7323 0 0 0 7 1 0 0 20 0 1 0 165224693 48267264 6463 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 11784 6463 931 1006 0 10545 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47136 KiB
Current children cumulated memory: 25852 KiB
[startup+0.205393 s]*
/proc/loadavg: 0.71 0.22 0.13 6/257 870275
/proc/meminfo: memFree=128274648/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=67312 memory=46384 CPUtime=0.18 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 11865 0 0 0 17 1 0 0 20 0 1 0 165224693 68927488 11596 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 16828 11596 1075 1006 0 15589 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67312 KiB
Current children cumulated memory: 46384 KiB
[startup+0.305452 s]*
/proc/loadavg: 0.71 0.22 0.13 6/257 870275
/proc/meminfo: memFree=128269032/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=68556 memory=46972 CPUtime=0.28 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 11971 0 0 0 27 1 0 0 20 0 1 0 165224693 70201344 11743 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 17139 11743 1091 1006 0 15900 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68556 KiB
Current children cumulated memory: 46972 KiB
[startup+0.700189 s]
/proc/loadavg: 0.71 0.22 0.13 6/257 870275
/proc/meminfo: memFree=128261380/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=70180 memory=48292 CPUtime=0.67 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 12326 0 0 0 66 1 0 0 20 0 1 0 165224693 71864320 12073 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 17545 12073 1091 1006 0 16306 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70180 KiB
Current children cumulated memory: 48292 KiB
[startup+1.50022 s]
/proc/loadavg: 0.71 0.22 0.13 6/257 870275
/proc/meminfo: memFree=128193640/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=158052 memory=130868 CPUtime=1.47 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 20076 0 0 0 140 7 0 0 20 0 1 0 165224693 161845248 32717 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 39513 32717 1139 1006 0 38274 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 158052 KiB
Current children cumulated memory: 130868 KiB
[startup+3.10548 s]
/proc/loadavg: 0.71 0.22 0.13 5/257 870275
/proc/meminfo: memFree=127506060/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=325056 memory=238300 CPUtime=3.07 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 25028 0 0 0 288 19 0 0 20 0 1 0 165224693 332857344 59575 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 81264 59575 1139 1006 0 80025 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 325056 KiB
Current children cumulated memory: 238300 KiB
[startup+6.3002 s]
/proc/loadavg: 0.97 0.28 0.15 6/257 870275
/proc/meminfo: memFree=126534112/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=521664 memory=423044 CPUtime=6.26 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 31095 0 0 0 581 45 0 0 20 0 1 0 165224693 534183936 105761 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 130416 105761 1139 1006 0 129177 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 521664 KiB
Current children cumulated memory: 423044 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 0.34 0.17 6/257 870370
/proc/meminfo: memFree=125216832/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=688304 memory=555548 CPUtime=12.64 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 44906 0 0 0 1176 88 0 0 20 0 1 0 165224693 704823296 138887 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 172076 138887 1139 1006 0 170837 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 688304 KiB
Current children cumulated memory: 555548 KiB
[startup+25.5002 s]
/proc/loadavg: 1.99 0.56 0.25 5/258 870420
/proc/meminfo: memFree=123514080/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=726096 memory=610800 CPUtime=25.41 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 53784 0 0 0 2413 128 0 0 20 0 1 0 165224693 743522304 152700 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 181524 152700 1139 1006 0 180285 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 726096 KiB
Current children cumulated memory: 610800 KiB
[startup+51.1047 s]
/proc/loadavg: 2.68 0.83 0.35 3/258 870424
/proc/meminfo: memFree=122331024/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=798992 memory=664508 CPUtime=33.05 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 62037 0 0 0 3168 137 0 0 20 0 1 0 165224693 818167808 166127 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 199748 166127 1155 1006 0 198509 0
Current children cumulated CPU time: 33.05 s
Current children cumulated vsize: 798992 KiB
Current children cumulated memory: 664508 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.48 1.34 0.55 4/255 870433
/proc/meminfo: memFree=121195832/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=984596 memory=819060 CPUtime=50.53 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 76059 0 0 0 4875 178 0 0 20 0 1 0 165224693 1008226304 204765 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4930 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 246149 204765 1155 1006 0 244910 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 984596 KiB
Current children cumulated memory: 819060 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.88 1.84 0.77 4/255 870444
/proc/meminfo: memFree=117627700/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=1076468 memory=922068 CPUtime=97.73 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 99234 0 0 0 9511 262 0 0 20 0 1 0 165224693 1102303232 230517 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6363 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 269117 230517 1155 1006 0 267878 0
Current children cumulated CPU time: 97.73 s
Current children cumulated vsize: 1076468 KiB
Current children cumulated memory: 922068 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 4.01 2.25 0.98 1/255 870455
/proc/meminfo: memFree=113938168/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=1267292 memory=1077548 CPUtime=125.39 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 105118 0 0 0 12224 315 0 0 20 0 1 0 165224693 1297707008 269387 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 6642 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 316823 269387 1155 1006 0 315584 0
Current children cumulated CPU time: 125.39 s
Current children cumulated vsize: 1267292 KiB
Current children cumulated memory: 1077548 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.04 2.59 1.18 3/255 870467
/proc/meminfo: memFree=112018944/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=1388660 memory=1093940 CPUtime=146.49 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 106753 0 0 0 14305 344 0 0 20 0 1 0 165224693 1421987840 273485 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 13540 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 347165 273485 1155 1006 0 345926 0
Current children cumulated CPU time: 146.49 s
Current children cumulated vsize: 1388660 KiB
Current children cumulated memory: 1093940 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.05 2.86 1.36 1/255 870477
/proc/meminfo: memFree=111535064/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=1388660 memory=1093940 CPUtime=153.56 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 106800 0 0 0 15009 347 0 0 20 0 1 0 165224693 1421987840 273485 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 13540 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 347165 273485 1155 1006 0 345926 0
Current children cumulated CPU time: 153.56 s
Current children cumulated vsize: 1388660 KiB
Current children cumulated memory: 1093940 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.06 3.09 1.54 5/257 870492
/proc/meminfo: memFree=109793676/131524600 swapFree=131071996/131071996
[pid=870274] ppid=870267 vsize=1388660 memory=1106848 CPUtime=194.11 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 107043 0 0 0 19036 375 0 0 20 0 1 0 165224693 1421987840 276712 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 20766 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 347165 276712 1155 1006 0 345926 0
Current children cumulated CPU time: 194.11 s
Current children cumulated vsize: 1388660 KiB
Current children cumulated memory: 1106848 KiB
heavy processes:
################
# More data... #
################
Current children cumulated CPU time: 2079.87 s
Current children cumulated vsize: 1591212 KiB
Current children cumulated memory: 1403084 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 4.68 4.28 4.06 6/258 871541
/proc/meminfo: memFree=666872/131524600 swapFree=131071728/131071996
[pid=870274] ppid=870267 vsize=1591212 memory=1403084 CPUtime=2122.65 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 186050 0 0 0 209225 3040 0 0 20 0 1 0 165224693 1629401088 350771 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 67395 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 397803 350771 1155 1006 0 396564 0
Current children cumulated CPU time: 2122.65 s
Current children cumulated vsize: 1591212 KiB
Current children cumulated memory: 1403084 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 4.32 4.26 4.06 4/258 871552
/proc/meminfo: memFree=667340/131524600 swapFree=131071728/131071996
[pid=870274] ppid=870267 vsize=1591212 memory=1403084 CPUtime=2177.47 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 186373 0 0 0 214672 3075 0 0 20 0 1 0 165224693 1629401088 350771 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 67899 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 397803 350771 1155 1006 0 396564 0
Current children cumulated CPU time: 2177.47 s
Current children cumulated vsize: 1591212 KiB
Current children cumulated memory: 1403084 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 4.27 4.26 4.07 3/258 871562
/proc/meminfo: memFree=524088/131524600 swapFree=131071728/131071996
[pid=870274] ppid=870267 vsize=1595800 memory=1407676 CPUtime=2213.06 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 195036 0 0 0 218081 3225 0 0 20 0 1 0 165224693 1634099200 351919 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 69657 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 398950 351919 1155 1006 0 397711 0
Current children cumulated CPU time: 2213.06 s
Current children cumulated vsize: 1595800 KiB
Current children cumulated memory: 1407676 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 4.10 4.21 4.07 3/253 871599
/proc/meminfo: memFree=658760/131524600 swapFree=131071728/131071996
[pid=870274] ppid=870267 vsize=1596436 memory=1408312 CPUtime=2262.09 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 195940 0 0 0 222900 3309 0 0 20 0 1 0 165224693 1634750464 352078 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 70979 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 399109 352078 1155 1006 0 397870 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 1596436 KiB
Current children cumulated memory: 1408312 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 4.22 4.22 4.08 5/253 871609
/proc/meminfo: memFree=494864/131524600 swapFree=131071728/131071996
[pid=870274] ppid=870267 vsize=1596436 memory=1408312 CPUtime=2314.57 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 196079 0 0 0 228128 3329 0 0 20 0 1 0 165224693 1634750464 352078 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 72153 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 399109 352078 1155 1006 0 397870 0
Current children cumulated CPU time: 2314.57 s
Current children cumulated vsize: 1596436 KiB
Current children cumulated memory: 1408312 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 4.21 4.21 4.09 2/253 872003
/proc/meminfo: memFree=582164/131524600 swapFree=131071728/131071996
[pid=870274] ppid=870267 vsize=1601640 memory=1413516 CPUtime=2366.88 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 199660 0 0 0 233284 3404 0 0 20 0 1 0 165224693 1640079360 353379 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 72770 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 400410 353379 1155 1006 0 399171 0
Current children cumulated CPU time: 2366.88 s
Current children cumulated vsize: 1601640 KiB
Current children cumulated memory: 1413516 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/253 872013
/proc/meminfo: memFree=662304/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1601640 memory=1413516 CPUtime=2404.77 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 199896 0 0 0 237053 3424 0 0 20 0 1 0 165224693 1640079360 353379 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 75109 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 400410 353379 1155 1006 0 399171 0
Current children cumulated CPU time: 2404.77 s
Current children cumulated vsize: 1601640 KiB
Current children cumulated memory: 1413516 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 4.17 4.18 4.09 4/253 872024
/proc/meminfo: memFree=617976/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1601640 memory=1413516 CPUtime=2452.85 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 200148 0 0 0 241845 3440 0 0 20 0 1 0 165224693 1640079360 353379 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 76287 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 400410 353379 1155 1006 0 399171 0
Current children cumulated CPU time: 2452.85 s
Current children cumulated vsize: 1601640 KiB
Current children cumulated memory: 1413516 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.10 4/254 872204
/proc/meminfo: memFree=499464/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1615544 memory=1427428 CPUtime=2495.76 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 201242 0 0 0 246065 3511 0 0 20 0 1 0 165224693 1654317056 356857 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 77985 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 403886 356857 1155 1006 0 402647 0
Current children cumulated CPU time: 2495.76 s
Current children cumulated vsize: 1615544 KiB
Current children cumulated memory: 1427428 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 4.26 4.20 4.10 5/254 872214
/proc/meminfo: memFree=589236/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1616876 memory=1428752 CPUtime=2546.94 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 213327 0 0 0 251054 3640 0 0 20 0 1 0 165224693 1655681024 357188 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 78851 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 404219 357188 1155 1006 0 402980 0
Current children cumulated CPU time: 2546.94 s
Current children cumulated vsize: 1616876 KiB
Current children cumulated memory: 1428752 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.09 6/253 872227
/proc/meminfo: memFree=583332/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1619712 memory=1431592 CPUtime=2588.87 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 216336 0 0 0 255131 3756 0 0 20 0 1 0 165224693 1658585088 357898 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 80648 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 404928 357898 1155 1006 0 403689 0
Current children cumulated CPU time: 2588.87 s
Current children cumulated vsize: 1619712 KiB
Current children cumulated memory: 1431592 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.09 6/254 872250
/proc/meminfo: memFree=664456/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1619712 memory=1431592 CPUtime=2643.87 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 216675 0 0 0 260597 3790 0 0 20 0 1 0 165224693 1658585088 357898 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 81133 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 404928 357898 1155 1006 0 403689 0
Current children cumulated CPU time: 2643.87 s
Current children cumulated vsize: 1619712 KiB
Current children cumulated memory: 1431592 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/254 872260
/proc/meminfo: memFree=611916/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1619712 memory=1431592 CPUtime=2702.53 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 216971 0 0 0 266421 3832 0 0 20 0 1 0 165224693 1658585088 357898 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 81251 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 404928 357898 1155 1006 0 403689 0
Current children cumulated CPU time: 2702.53 s
Current children cumulated vsize: 1619712 KiB
Current children cumulated memory: 1431592 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 4.29 4.22 4.12 5/256 872272
/proc/meminfo: memFree=556356/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1619712 memory=1431592 CPUtime=2759.12 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 217256 0 0 0 272034 3878 0 0 20 0 1 0 165224693 1658585088 357898 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 81576 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 404928 357898 1155 1006 0 403689 0
Current children cumulated CPU time: 2759.12 s
Current children cumulated vsize: 1619712 KiB
Current children cumulated memory: 1431592 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 4.25 4.21 4.12 5/255 872282
/proc/meminfo: memFree=539532/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1622388 memory=1434268 CPUtime=2813.21 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) R 870267 870274 870103 0 -1 4194304 220650 0 0 0 277310 4011 0 0 20 0 1 0 165224693 1661325312 358567 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 82152 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 405597 358567 1155 1006 0 404358 0
Current children cumulated CPU time: 2813.21 s
Current children cumulated vsize: 1622388 KiB
Current children cumulated memory: 1434268 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.15 4.18 4.11 4/256 872295
/proc/meminfo: memFree=610112/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1622388 memory=1434268 CPUtime=2862.32 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 223457 0 0 0 282090 4142 0 0 20 0 1 0 165224693 1661325312 358567 134679101440 4194304 8311665 140727851928400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 82474 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 405597 358567 1155 1006 0 404358 0
Current children cumulated CPU time: 2862.32 s
Current children cumulated vsize: 1622388 KiB
Current children cumulated memory: 1434268 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: 4.15 4.18 4.11 2/255 872295
/proc/meminfo: memFree=1261320/131524600 swapFree=131071472/131071996
[pid=870274] ppid=870267 vsize=1622388 memory=1434268 CPUtime=2862.32 cores=5,7
/proc/870274/stat : 870274 (Exact_veripb2) D 870267 870274 870103 0 -1 4194304 223457 0 0 0 282090 4142 0 0 20 0 1 0 165224693 1661325312 358567 134679101440 4194304 8311665 140727851928400 0 0 256 0 0 8404994 0 0 0 17 5 0 0 82474 0 0 9173656 9252184 27754496 140727851934540 140727851934818 140727851934818 140727851941831 0
/proc/870274/statm: 405597 358567 1155 1006 0 404358 0
??? kill 870274 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC030 at 2024-08-18 15:03:47 IDJOB=4441330 IDBENCH=155609 IDSOLVER=3081 FILE ID=nodeC030/4441330-1723986227 RUNJOBID= nodeC030-1723986219-870116 SLURM_JOB_ID= 8268154 Free space on /tmp= 890064 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.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-4441330-1723986227/watcher-4441330-1723986227 -o /tmp/evaluation-result-4441330-1723986227/solver-4441330-1723986227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1723986219-870116 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441330-1723986227 --seed=83732635 HOME/instance-4441330-1723986227.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a RANDOM SEED=83732635 nodeC030.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 : 3673.133 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 : 7000.60 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 : 3673.845 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 : 7006.48 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 : 3603.832 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 : 7000.60 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.318 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 : 7006.48 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 : 3623.630 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 : 7000.60 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 : 3669.026 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 : 7006.48 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 : 3649.795 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 : 7000.60 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 : 3669.428 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 : 7006.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128393360 kB MemAvailable: 129501100 kB Buffers: 383432 kB Cached: 1572748 kB SwapCached: 0 kB Active: 716316 kB Inactive: 1816820 kB Active(anon): 1532 kB Inactive(anon): 621340 kB Active(file): 714784 kB Inactive(file): 1195480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 123976 kB Writeback: 0 kB AnonPages: 577000 kB Mapped: 119504 kB Shmem: 45904 kB KReclaimable: 74596 kB Slab: 186540 kB SReclaimable: 74596 kB SUnreclaim: 111944 kB KernelStack: 4064 kB PageTables: 10688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1044088 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61152 kB HardwareCorrupted: 0 kB AnonHugePages: 270336 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: 301780 kB DirectMap2M: 22540288 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890056 MiB End job on nodeC030 at 2024-08-18 16:06:52