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) | 3565.97 | 3702.01 |
| Name | PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb |
| MD5SUM | b3d827c1cec2288f345531c85d1b4d53 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -42772 |
| Best CPU time to get the best result obtained on this benchmark | 3585.96 |
| 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 | 40451 |
| Total number of constraints | 40950 |
| Number of constraints which are clauses | 40396 |
| Number of constraints which are cardinality constraints (but not clauses) | 553 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40128 |
| Number of terms in the objective function | 16038 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 11015136 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 11015136 |
| Number of bits of the biggest sum of numbers | 24 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.69/0.86 o 0 0.79/0.95 o -1000 2.09/2.27 o -1350 2.09/2.29 o -1810 2.19/2.31 o -2039 2.19/2.33 o -3039 2.19/2.35 o -4039 2.19/2.36 o -4102 2.19/2.38 o -4311 2.28/2.40 o -4322 2.28/2.42 o -5322 2.28/2.44 o -6322 2.28/2.46 o -6413 2.28/2.48 o -7413 2.38/2.50 o -8413 2.38/2.52 o -8867 2.38/2.55 o -9867 2.48/2.60 o -10077 2.78/2.94 o -10846 4.77/4.96 o -11618 6.07/6.21 o -12065 8.07/8.22 o -12255 8.27/8.44 o -12644 10.16/10.37 o -13400 12.96/13.17 o -13978 13.86/14.05 o -14165 14.25/14.40 o -14753 14.25/14.47 o -15056 14.55/14.78 o -15445 14.65/14.86 o -15637 15.14/15.31 o -16456 15.24/15.40 o -16635 15.64/15.84 o -16705 16.15/16.39 o -17631 26.59/26.95 o -18417 26.69/27.02 o -18958 26.79/27.12 o -19131 26.88/27.22 o -19829 26.88/27.28 o -20184 26.98/27.34 o -21013 27.08/27.41 o -21515 27.18/27.52 o -21915 27.28/27.62 o -22144 27.38/27.71 o -22475 29.08/29.46 o -22489 47.33/47.78 o -22684 47.73/48.11 o -22726 47.82/48.24 o -23186 60.81/61.39 o -23301 61.31/61.81 o -23690 63.21/63.77 o -23885 72.29/72.80 o -24177 93.17/94.98 o -24954 93.38/95.11 o -24996 93.38/95.15 o -25314 93.38/95.18 o -25476 95.56/97.38 o -25542 95.66/97.45 o -25676 95.86/97.63 o -25834 102.45/104.27 o -25891 102.55/104.33 o -25909 103.04/104.80 o -26288 103.84/105.69 o -26304 103.94/105.73 o -26310 113.45/117.14 o -26390 181.36/187.74 o -26396 181.46/187.83 o -26400 181.96/188.32 o -26411 182.06/188.40 o -26414 186.26/192.61 o -26623 189.35/195.76 o -26671 216.85/223.76 o -27118 216.85/223.79 o -27124 216.95/223.85 o -27226 217.05/223.90 o -27346 217.05/223.94 o -27568 217.15/224.04 o -27959 224.03/230.98 o -27979 224.13/231.03 o -28149 276.80/284.62 o -28299 327.06/335.41 o -28335 327.06/335.47 o -28344 394.92/404.83 o -28392 577.84/589.77 o -28716 578.24/590.12 o -28810 578.24/590.16 o -28834 578.34/590.23 o -28914 578.44/590.30 o -28930 578.64/590.54 o -28934 582.83/594.73 o -29129 596.98/609.61 o -29898 601.48/614.12 o -29901 601.57/614.22 o -29951 614.34/627.03 o -30081 614.44/627.13 o -30103 614.83/627.51 o -30104 619.43/632.15 o -30118 619.52/632.28 o -30150 638.19/651.99 o -30244 638.29/652.04 o -30439 638.39/652.13 o -31125 638.88/652.63 o -31212 638.98/652.79 o -31223 642.77/656.59 o -31265 642.87/656.68 o -31328 657.83/672.60 o -31367 658.03/672.82 o -31538 665.71/680.51 o -31600 718.95/738.08 o -31670 719.05/738.15 o -31764 719.25/738.35 o -31852 735.61/754.77 o -31868 736.41/755.59 o -31888 736.51/755.64 o -31916 745.01/765.91 o -31917 747.21/768.18 o -31937 747.30/768.29 o -31951 747.51/768.47 o -32057 748.60/769.54 o -32130 748.70/769.61 o -32146 748.81/769.72 o -32316 749.01/769.98 o -32577 749.21/770.17 o -32745 753.99/774.94 o -32819 753.99/775.00 o -32839 754.40/775.37 o -32851 754.50/775.46 o -32852 841.94/864.84 o -32873 963.38/988.30 o -32905 963.68/988.63 o -32932 963.78/988.70 o -32948 1137.68/1173.68 o -33042 1258.63/1301.80 o -33051 1258.63/1301.85 o -33166 1258.73/1301.90 o -33177 1283.86/1328.43 o -33214 1329.81/1374.87 o -33311 1337.70/1382.77 o -33327 1337.80/1382.88 o -33342 1353.35/1400.25 o -33358 1353.44/1400.33 o -33364 1358.03/1404.98 o -33380 1358.15/1405.06 o -33553 1358.34/1405.21 o -33560 1358.34/1405.27 o -33576 1358.44/1405.35 o -33582 1358.63/1405.57 o -33591 1360.03/1406.91 o -33716 1360.23/1407.17 o -33725 1360.43/1407.35 o -33822 1360.63/1407.50 o -33853 1360.63/1407.57 o -34026 1367.42/1414.39 o -34128 1369.31/1416.24 o -34288 1369.41/1416.35 o -34304 1387.07/1435.47 o -34334 1601.08/1650.97 o -34425 1604.37/1654.27 o -34429 1604.67/1654.59 o -35028 1605.07/1655.00 o -35095 1630.71/1681.48 o -35364 1630.91/1681.60 o -35427 1631.01/1681.75 o -35443 1631.10/1681.83 o -35477 1631.50/1682.23 o -35567 1631.60/1682.31 o -35740 1632.10/1682.83 o -35753 1645.11/1696.25 o -35758 1645.51/1696.64 o -35777 1646.11/1697.29 o -35800 1646.31/1697.45 o -35807 1646.41/1697.52 o -35841 1646.51/1697.65 o -35863 1678.02/1739.43 o -35938 1714.58/1776.50 o -36004 1762.62/1826.89 o -36026 1762.72/1826.94 o -36046 1805.92/1872.52 o -36062 1844.74/1913.75 o -36137 1847.33/1916.38 o -36217 1851.43/1920.40 o -36233 1855.82/1924.80 o -36257 1857.12/1926.11 o -36447 1857.12/1926.17 o -36665 1857.31/1926.32 o -36711 1891.63/1962.02 o -36713 1931.47/2002.97 o -36771 1933.94/2006.23 o -36782 1933.94/2006.29 o -36798 1934.04/2006.33 o -36804 1935.24/2007.53 o -36819 1939.23/2011.56 o -36837 1948.51/2020.89 o -36891 1991.82/2065.22 o -36923 2021.94/2095.41 o -36929 2064.16/2139.16 o -37058 2067.25/2142.22 o -37060 2067.35/2142.30 o -37094 2126.75/2206.10 o -37200 2162.10/2242.58 o -37222 2177.11/2259.41 o -37248 2422.75/2509.54 o -37320 2423.25/2510.03 o -37331 2432.93/2519.78 o -37347 2433.53/2520.31 o -37353 2437.32/2524.19 o -37366 2449.47/2536.78 o -37373 2451.87/2539.13 o -37400 2453.46/2540.78 o -37422 2453.66/2540.92 o -37450 2454.56/2541.86 o -37549 2454.66/2541.94 o -37736 2454.77/2542.03 o -37737 2456.95/2544.21 o -37834 2457.05/2544.36 o -37892 2457.26/2544.57 o -37923 2460.65/2547.96 o -37940 2460.75/2548.04 o -38135 2474.85/2562.43 o -38269 2519.51/2607.82 o -38456 2519.61/2607.91 o -38491 2519.71/2608.05 o -38501 2520.00/2608.33 o -38525 2520.10/2608.42 o -38535 2520.21/2608.52 o -38544 2520.51/2608.81 o -38553 2522.50/2610.87 o -38573 2525.70/2614.04 o -38602 2641.48/2734.05 o -38642 2752.87/2847.74 o -38660 2763.85/2858.72 o -38777 2763.95/2858.85 o -38797 2764.35/2859.24 o -38822 2765.45/2860.32 o -38833 2768.84/2863.73 o -38865 2771.53/2866.44 o -38921 2771.63/2866.51 o -38941 2771.84/2866.72 o -39116 2786.73/2882.07 o -39194 2854.96/2951.13 o -39258 2855.46/2951.61 o -39392 2874.65/2971.58 o -39405 2944.45/3043.25 o -39412 2947.05/3045.80 o -39447 2949.85/3048.66 o -39546 2958.87/3059.78 o -39552 3122.19/3238.63 o -39586 3314.07/3442.96 o -39630 3500.32/3635.34 o -39637
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 (61679 MiB free)
memory of node 1: 64510 MiB (62341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441021-1721828944/watcher-4441021-1721828944 -o /tmp/evaluation-result-4441021-1721828944/solver-4441021-1721828944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721828944-189938 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441021-1721828944 --seed=1690816887 HOME/instance-4441021-1721828944.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 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=189986, runsolver pid=189974
[startup+0.105383 s]*
/proc/loadavg: 1.04 1.25 2.26 7/254 189987
/proc/meminfo: memFree=126892916/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=53144 memory=29944 CPUtime=0 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 3703 0 0 0 0 0 0 0 20 0 1 0 19423655 54419456 7486 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 13286 7486 852 1006 0 12047 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 53144 KiB
Current children cumulated memory: 29944 KiB
[startup+0.206381 s]*
/proc/loadavg: 1.04 1.25 2.26 7/255 189992
/proc/meminfo: memFree=126791276/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=87156 memory=61556 CPUtime=0.1 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 12517 0 0 0 9 1 0 0 20 0 1 0 19423655 89247744 15389 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 21789 15389 899 1006 0 20550 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87156 KiB
Current children cumulated memory: 61556 KiB
[startup+0.306277 s]*
/proc/loadavg: 1.04 1.25 2.26 5/258 189998
/proc/meminfo: memFree=126559012/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=87908 memory=67056 CPUtime=0.2 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 14618 0 0 0 18 2 0 0 20 0 1 0 19423655 90017792 16764 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 21977 16764 899 1006 0 20738 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87908 KiB
Current children cumulated memory: 67056 KiB
[startup+0.700247 s]
/proc/loadavg: 1.04 1.25 2.26 7/258 189998
/proc/meminfo: memFree=126302288/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=143292 memory=118436 CPUtime=0.59 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 24424 0 0 0 55 4 0 0 20 0 1 0 19423655 146731008 29609 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 35823 29609 1075 1006 0 34584 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 143292 KiB
Current children cumulated memory: 118436 KiB
[startup+1.50025 s]
/proc/loadavg: 1.04 1.25 2.26 7/258 189998
/proc/meminfo: memFree=126115172/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=156192 memory=126400 CPUtime=1.38 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 27256 0 0 0 134 4 0 0 20 0 1 0 19423655 159940608 31600 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 39048 31600 1123 1006 0 37809 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 156192 KiB
Current children cumulated memory: 126400 KiB
[startup+3.10652 s]
/proc/loadavg: 1.28 1.30 2.27 7/258 189998
/proc/meminfo: memFree=125697880/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=158800 memory=134352 CPUtime=2.98 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 27736 0 0 0 293 5 0 0 20 0 1 0 19423655 162611200 33588 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 39700 33588 1123 1006 0 38461 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 158800 KiB
Current children cumulated memory: 134352 KiB
[startup+6.30026 s]
/proc/loadavg: 1.28 1.30 2.27 7/258 190000
/proc/meminfo: memFree=125408008/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=175948 memory=151452 CPUtime=6.17 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 29633 0 0 0 610 7 0 0 20 0 1 0 19423655 180170752 37863 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 43987 37863 1139 1006 0 42748 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 175948 KiB
Current children cumulated memory: 151452 KiB
[startup+12.7002 s]
/proc/loadavg: 1.50 1.34 2.28 7/258 190000
/proc/meminfo: memFree=124961984/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=253960 memory=197792 CPUtime=12.56 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 34916 0 0 0 1244 12 0 0 20 0 1 0 19423655 260055040 49448 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 63490 49448 1139 1006 0 62251 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 253960 KiB
Current children cumulated memory: 197792 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 1.47 2.31 7/258 190003
/proc/meminfo: memFree=124356564/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=354876 memory=294632 CPUtime=25.19 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 41980 0 0 0 2499 20 0 0 20 0 1 0 19423655 363393024 73658 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 88719 73658 1155 1006 0 87480 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 354876 KiB
Current children cumulated memory: 294632 KiB
[startup+51.1062 s]
/proc/loadavg: 2.78 1.69 2.36 7/258 190006
/proc/meminfo: memFree=122995092/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=527168 memory=392960 CPUtime=50.71 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 55000 0 0 0 5036 35 0 0 20 0 1 0 19423655 539820032 98240 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 131792 98240 1155 1006 0 130553 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 527168 KiB
Current children cumulated memory: 392960 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.07 2.46 7/262 190021
/proc/meminfo: memFree=115972184/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=794132 memory=589736 CPUtime=100.55 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 61255 0 0 0 9987 68 0 0 20 0 1 0 19423655 813191168 147434 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 136 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 198533 147434 1155 1006 0 197294 0
Current children cumulated CPU time: 100.55 s
Current children cumulated vsize: 794132 KiB
Current children cumulated memory: 589736 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.47 2.57 7/263 190034
/proc/meminfo: memFree=113612032/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=866092 memory=661784 CPUtime=158.46 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 79388 0 0 0 15731 115 0 0 20 0 1 0 19423655 886878208 165446 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 330 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 216523 165446 1155 1006 0 215284 0
Current children cumulated CPU time: 158.46 s
Current children cumulated vsize: 866092 KiB
Current children cumulated memory: 661784 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.78 2.67 7/263 190044
/proc/meminfo: memFree=109347864/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=924184 memory=718372 CPUtime=215.45 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 93629 0 0 0 21379 166 0 0 20 0 1 0 19423655 946364416 179593 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 615 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 231046 179593 1155 1006 0 229807 0
Current children cumulated CPU time: 215.45 s
Current children cumulated vsize: 924184 KiB
Current children cumulated memory: 718372 KiB
[startup+282.3 s]
/proc/loadavg: 4.41 3.10 2.79 7/267 190058
/proc/meminfo: memFree=107386400/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=969968 memory=760516 CPUtime=274.5 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 104260 0 0 0 27239 211 0 0 20 0 1 0 19423655 993247232 190129 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 692 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 242492 190129 1155 1006 0 241253 0
Current children cumulated CPU time: 274.5 s
Current children cumulated vsize: 969968 KiB
Current children cumulated memory: 760516 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.28 2.87 7/267 190068
/proc/meminfo: memFree=105834892/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=986848 memory=777628 CPUtime=333.95 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 108700 0 0 0 33152 243 0 0 20 0 1 0 19423655 1010532352 194407 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 732 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 246712 194407 1155 1006 0 245473 0
Current children cumulated CPU time: 333.95 s
Current children cumulated vsize: 986848 KiB
Current children cumulated memory: 777628 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.43 2.95 7/269 190463
/proc/meminfo: memFree=102051592/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=1135360 memory=926332 CPUtime=392.43 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 145497 0 0 0 38952 291 0 0 20 0 1 0 19423655 1162608640 231583 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 870 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 283840 231583 1155 1006 0 282601 0
Current children cumulated CPU time: 392.43 s
Current children cumulated vsize: 1135360 KiB
Current children cumulated memory: 926332 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 3.58 3.04 7/268 190475
/proc/meminfo: memFree=100220520/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=1138664 memory=985156 CPUtime=450.77 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 146562 0 0 0 44750 327 0 0 20 0 1 0 19423655 1165991936 246289 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1021 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 284666 246289 1155 1006 0 283427 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/265 191828
/proc/meminfo: memFree=22456616/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2026476 memory=1741204 CPUtime=2997.26 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 257178 0 0 0 297651 2075 0 0 20 0 1 0 19423655 2075111424 435301 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 9753 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 506619 435301 1155 1006 0 505380 0
Current children cumulated CPU time: 2997.26 s
Current children cumulated vsize: 2026476 KiB
Current children cumulated memory: 1741204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/263 191840
/proc/meminfo: memFree=19512972/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2026476 memory=1741204 CPUtime=3051.37 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 257907 0 0 0 303011 2126 0 0 20 0 1 0 19423655 2075111424 435301 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10332 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 506619 435301 1155 1006 0 505380 0
Current children cumulated CPU time: 3051.37 s
Current children cumulated vsize: 2026476 KiB
Current children cumulated memory: 1741204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/266 191855
/proc/meminfo: memFree=16704396/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2026476 memory=1741204 CPUtime=3105.92 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 258559 0 0 0 308420 2172 0 0 20 0 1 0 19423655 2075111424 435301 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 10863 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 506619 435301 1155 1006 0 505380 0
Current children cumulated CPU time: 3105.92 s
Current children cumulated vsize: 2026476 KiB
Current children cumulated memory: 1741204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/266 191867
/proc/meminfo: memFree=16007680/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2026476 memory=1741204 CPUtime=3161.27 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 259149 0 0 0 313933 2194 0 0 20 0 1 0 19423655 2075111424 435301 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 11315 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 506619 435301 1155 1006 0 505380 0
Current children cumulated CPU time: 3161.27 s
Current children cumulated vsize: 2026476 KiB
Current children cumulated memory: 1741204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/266 191877
/proc/meminfo: memFree=14995512/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2026476 memory=1741204 CPUtime=3214.15 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 259404 0 0 0 319166 2249 0 0 20 0 1 0 19423655 2075111424 435301 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12015 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 506619 435301 1155 1006 0 505380 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 2026476 KiB
Current children cumulated memory: 1741204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/264 191887
/proc/meminfo: memFree=13569788/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2092280 memory=1787724 CPUtime=3273.71 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 271815 0 0 0 325097 2274 0 0 20 0 1 0 19423655 2142494720 446931 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12043 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 523070 446931 1155 1006 0 521831 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 2092280 KiB
Current children cumulated memory: 1787724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.10 6/264 191897
/proc/meminfo: memFree=12044584/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3333.41 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 273809 0 0 0 331045 2296 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12058 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 6/261 191908
/proc/meminfo: memFree=10958144/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3390.17 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 274282 0 0 0 336684 2333 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12369 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3390.17 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/260 191919
/proc/meminfo: memFree=9479656/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3448.67 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 274977 0 0 0 342490 2377 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12505 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3448.67 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
[startup+3642.3 s]
/proc/loadavg: 4.83 4.32 4.16 6/261 191975
/proc/meminfo: memFree=21069088/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3507.3 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 275640 0 0 0 348308 2422 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12627 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3507.3 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.55 4.35 4.18 5/260 192020
/proc/meminfo: memFree=32235240/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3563.96 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 276035 0 0 0 353917 2479 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12719 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3563.96 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3702.01 s]
# the end of solver process 189986 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3541.16 s, system=24.8061 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.55 4.35 4.18 5/260 192020
/proc/meminfo: memFree=32235240/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3564.75 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 276036 0 0 0 353996 2479 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12719 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3564.75 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
[startup+3701.6 s]
/proc/loadavg: 4.55 4.35 4.18 5/260 192020
/proc/meminfo: memFree=51308536/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3565.54 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 276036 0 0 0 354075 2479 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12719 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3565.54 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
[startup+3702 s]*
/proc/loadavg: 4.55 4.35 4.18 5/266 192040
/proc/meminfo: memFree=53304856/131524600 swapFree=131054992/131071996
[pid=189986] ppid=189974 vsize=2101108 memory=1796920 CPUtime=3565.95 cores=5,7
/proc/189986/stat : 189986 (Exact_veripb2) R 189974 189986 189925 0 -1 4194304 276036 0 0 0 354116 2479 0 0 20 0 1 0 19423655 2151534592 449230 134679101440 4194304 8311665 140721771859248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 12719 0 0 9173656 9252184 30351360 140721771860808 140721771861088 140721771861088 140721771868103 0
/proc/189986/statm: 525277 449230 1155 1006 0 524038 0
Current children cumulated CPU time: 3565.95 s
Current children cumulated vsize: 2101108 KiB
Current children cumulated memory: 1796920 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3702.01
CPU time (s): 3565.97
CPU user time (s): 3541.16
CPU system time (s): 24.8061
CPU usage (%): 96.3251
Max. virtual memory (cumulated for all children) (KiB): 2285216
Max. memory (cumulated for all children) (KiB): 1803228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3541.16
system time used= 24.8061
maximum resident set size= 1833948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 84066048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180
involuntary context switches= 4638
# summary of solver processes directly reported to runsolver:
# pid: 189986
# total CPU time (s): 3565.97
# total CPU user time (s): 3541.16
# total CPU system time (s): 24.8061
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.3677 second user time and 18.9383 second system time
The end
Begin job on nodeC023 at 2024-07-24 15:49:04 IDJOB=4441021 IDBENCH=156416 IDSOLVER=3081 FILE ID=nodeC023/4441021-1721828944 RUNJOBID= nodeC023-1721828944-189938 SLURM_JOB_ID= 7891488 Free space on /tmp= 890076 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.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 102400 -w /tmp/evaluation-result-4441021-1721828944/watcher-4441021-1721828944 -o /tmp/evaluation-result-4441021-1721828944/solver-4441021-1721828944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721828944-189938 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441021-1721828944 --seed=1690816887 HOME/instance-4441021-1721828944.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b3d827c1cec2288f345531c85d1b4d53 RANDOM SEED=1690816887 nodeC023.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 : 3502.778 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.85 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 : 3644.248 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.10 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 : 3596.475 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.85 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 : 3456.090 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.10 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 : 3555.258 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.85 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 : 3613.868 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.10 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 : 3572.412 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.85 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 : 3593.470 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.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127003160 kB MemAvailable: 129696624 kB Buffers: 249020 kB Cached: 3250396 kB SwapCached: 228 kB Active: 1584736 kB Inactive: 2286964 kB Active(anon): 2332 kB Inactive(anon): 423116 kB Active(file): 1582404 kB Inactive(file): 1863848 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054992 kB Dirty: 30876 kB Writeback: 8 kB AnonPages: 372548 kB Mapped: 93632 kB Shmem: 52484 kB KReclaimable: 173716 kB Slab: 291412 kB SReclaimable: 173716 kB SUnreclaim: 117696 kB KernelStack: 3872 kB PageTables: 9476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 780252 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 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: 408276 kB DirectMap2M: 60182528 kB DirectMap1G: 75497472 kB Free space on /tmp at the end= 889976 MiB End job on nodeC023 at 2024-07-24 16:50:46