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) | 2859.69 | 3741.58 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb |
| MD5SUM | 5c43d7dab24b2d6eb632f3b262990bf9 |
| 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 | 2838011 |
| Best CPU time to get the best result obtained on this benchmark | 3600.1 |
| 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 | 126385 |
| Total number of constraints | 286973 |
| Number of constraints which are clauses | 201180 |
| Number of constraints which are cardinality constraints (but not clauses) | 43 |
| Number of constraints which are nor clauses,nor cardinality constraints | 85750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1820 |
| Number of terms in the objective function | 46445 |
| Biggest coefficient in the objective function | 126506008 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 32130212021 |
| Number of bits of the sum of numbers in the objective function | 35 |
| Biggest number in a constraint | 126506008 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 32130212021 |
| Number of bits of the biggest sum of numbers | 35 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3.77/3.81 o 303672628 71.65/147.67 o 303230936 72.54/148.57 o 303149867 72.85/148.81 o 303013994 72.94/148.93 o 302991282 73.15/149.13 o 302732944 73.34/149.31 o 302472110 76.15/152.12 o 132536844 76.23/152.29 o 132271875 76.33/152.39 o 132237742 76.92/152.90 o 130818721 77.52/153.53 o 130786614 77.93/153.93 o 130749979 78.92/154.91 o 128823580 79.22/155.20 o 128558611 79.32/155.31 o 128524478 79.82/155.88 o 127941638 79.92/155.98 o 127808546 80.03/156.09 o 127744644 80.92/156.93 o 126475725 81.03/157.04 o 126158385 81.21/157.22 o 126153243 81.81/157.83 o 126070898 82.13/158.15 o 125991585 82.71/158.71 o 85257047 82.81/158.82 o 84993947 82.91/158.92 o 84826946 83.02/159.03 o 84713766 84.90/160.90 o 84703763 95.63/178.97 o 84543020 95.73/179.09 o 84499347 95.92/179.21 o 84494930 96.52/179.83 o 84472821 96.92/180.24 o 74487169 100.21/183.59 o 73173025 104.29/187.68 o 72934701 104.49/187.82 o 72858481 118.18/217.39 o 72372034 118.38/217.53 o 72275294 134.29/245.79 o 62482477 136.58/248.01 o 56641195 136.68/248.16 o 56225819 153.05/363.65 o 56222573 153.25/363.87 o 56221561 154.25/364.82 o 56220415 155.94/366.56 o 56217316 157.04/367.61 o 56217144 172.67/383.31 o 43906279 203.75/447.36 o 43816979 204.25/447.80 o 43743374 204.85/448.46 o 40928030 205.75/449.36 o 26670124 206.15/449.70 o 25599557 207.46/451.05 o 24870345 207.65/451.25 o 24772823 209.94/453.55 o 24725753 210.14/453.77 o 24685428 211.23/454.89 o 24670488 211.54/455.15 o 24494455 217.81/466.48 o 24287582 218.10/466.72 o 24103869 221.29/469.92 o 23961521 229.07/477.76 o 23923945 233.15/481.86 o 23845299 274.86/538.80 o 23804974 289.13/553.19 o 23522164 289.32/553.35 o 23385735 353.49/637.12 o 23328773 574.57/927.07 o 22482587 606.45/973.41 o 21646607 606.65/973.69 o 21548835 607.25/974.25 o 21540073 609.15/976.17 o 21369032 630.26/997.38 o 21366643 630.56/997.62 o 21201303 638.14/1005.27 o 21189254 666.70/1040.36 o 21186813 666.89/1040.57 o 21147850 667.40/1041.09 o 21146510 668.50/1042.13 o 21145067 677.46/1060.78 o 21098052 678.88/1062.17 o 21081361 1207.92/1705.00 o 21017138 1212.41/1709.42 o 20970033 1331.38/1845.03 o 20914033 1331.48/1845.15 o 20772656 1479.72/2022.00 o 20607332 1580.17/2141.57 o 16473668 1599.61/2161.03 o 16424302 1601.10/2162.53 o 16421650 1608.04/2180.92 o 16415794 1610.03/2182.96 o 16405301 1610.15/2183.10 o 16384493 1621.50/2194.49 o 14490001 1621.69/2194.67 o 14397976 1621.89/2194.81 o 14371304 1622.70/2195.61 o 14350579 1655.08/2233.35 o 14339899 1697.32/2284.83 o 14330102 1697.63/2285.16 o 14287090 1697.82/2285.39 o 14281408 1743.17/2340.85 o 14272843 1900.03/2564.95 o 14247673 1967.31/2646.16 o 14239684
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: 64096 MiB (54878 MiB free)
memory of node 1: 64473 MiB (60066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441341-1723986232/watcher-4441341-1723986232 -o /tmp/evaluation-result-4441341-1723986232/solver-4441341-1723986232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1723986219-888460 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441341-1723986232 --seed=83732635 HOME/instance-4441341-1723986232.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 419430400 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=888615, runsolver pid=888612
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 1.03 0.29 0.16 5/238 888616
/proc/meminfo: memFree=117624488/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=104540 memory=79312 CPUtime=0.1 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 10572 0 0 0 6 4 0 0 20 0 1 0 165220848 107048960 19828 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 26135 19828 852 1006 0 24896 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 104540 KiB
Current children cumulated memory: 79312 KiB
[startup+0.213535 s]*
/proc/loadavg: 1.03 0.29 0.16 5/238 888616
/proc/meminfo: memFree=117587220/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=125584 memory=100824 CPUtime=0.21 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 15861 0 0 0 15 6 0 0 20 0 1 0 165220848 128598016 25206 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 31396 25206 899 1006 0 30157 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 125584 KiB
Current children cumulated memory: 100824 KiB
[startup+0.313409 s]*
/proc/loadavg: 1.03 0.29 0.16 4/239 888617
/proc/meminfo: memFree=117562368/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=152508 memory=123052 CPUtime=0.31 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 17840 0 0 0 24 7 0 0 20 0 1 0 165220848 156168192 30763 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 38127 30763 899 1006 0 36888 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 152508 KiB
Current children cumulated memory: 123052 KiB
[startup+0.700291 s]
/proc/loadavg: 1.03 0.29 0.16 5/244 888637
/proc/meminfo: memFree=117511700/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=181420 memory=156644 CPUtime=0.68 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 23972 0 0 0 59 9 0 0 20 0 1 0 165220848 185774080 39161 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 45355 39161 899 1006 0 44116 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 181420 KiB
Current children cumulated memory: 156644 KiB
[startup+1.5003 s]
/proc/loadavg: 1.03 0.29 0.16 5/244 888637
/proc/meminfo: memFree=117406600/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=255664 memory=238948 CPUtime=1.48 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 43279 0 0 0 133 15 0 0 20 0 1 0 165220848 261799936 59737 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 63916 59737 1075 1006 0 62677 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 255664 KiB
Current children cumulated memory: 238948 KiB
[startup+3.11286 s]
/proc/loadavg: 1.27 0.35 0.18 5/244 888637
/proc/meminfo: memFree=116986920/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=454512 memory=419756 CPUtime=3.08 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 54731 0 0 0 287 21 0 0 20 0 1 0 165220848 465420288 104939 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 113628 104939 1091 1006 0 112389 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 454512 KiB
Current children cumulated memory: 419756 KiB
[startup+6.30029 s]
/proc/loadavg: 1.27 0.35 0.18 5/241 888652
/proc/meminfo: memFree=116538228/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=522672 memory=484940 CPUtime=6.26 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 65145 0 0 0 598 28 0 0 20 0 1 0 165220848 535216128 121235 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 130668 121235 1139 1006 0 129429 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 522672 KiB
Current children cumulated memory: 484940 KiB
[startup+12.7003 s]
/proc/loadavg: 1.69 0.47 0.22 5/241 888699
/proc/meminfo: memFree=115277100/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=1344508 memory=1052880 CPUtime=12.64 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 78677 0 0 0 1180 84 0 0 20 0 1 0 165220848 1376776192 263220 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 336127 263220 1139 1006 0 334888 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1344508 KiB
Current children cumulated memory: 1052880 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 0.59 0.26 4/247 888723
/proc/meminfo: memFree=112762876/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=1367156 memory=1092164 CPUtime=25.4 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 80944 0 0 0 2410 130 0 0 20 0 1 0 165220848 1399967744 273041 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 341789 273041 1139 1006 0 340550 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1367156 KiB
Current children cumulated memory: 1092164 KiB
[startup+51.112 s]
/proc/loadavg: 2.71 0.87 0.36 1/247 888726
/proc/meminfo: memFree=112186052/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=1423360 memory=1129488 CPUtime=35.78 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 84647 0 0 0 3429 149 0 0 20 0 1 0 165220848 1457520640 282372 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 355840 282372 1139 1006 0 354601 0
Current children cumulated CPU time: 35.78 s
Current children cumulated vsize: 1423360 KiB
Current children cumulated memory: 1129488 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.64 1.44 0.59 3/246 888734
/proc/meminfo: memFree=110706772/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=1423360 memory=1129488 CPUtime=35.78 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 84647 0 0 0 3429 149 0 0 20 0 1 0 165220848 1457520640 282372 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 355840 282372 1139 1006 0 354601 0
Current children cumulated CPU time: 35.78 s
Current children cumulated vsize: 1423360 KiB
Current children cumulated memory: 1129488 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.97 1.94 0.82 3/247 888748
/proc/meminfo: memFree=106325800/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=1800988 memory=1418124 CPUtime=86.3 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 111370 0 0 0 8403 227 0 0 20 0 1 0 165220848 1844211712 354531 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 7568 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 450247 354531 1155 1006 0 449008 0
Current children cumulated CPU time: 86.3 s
Current children cumulated vsize: 1800988 KiB
Current children cumulated memory: 1418124 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 3.60 2.22 0.99 2/241 888791
/proc/meminfo: memFree=102705160/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=2165108 memory=1671156 CPUtime=123.16 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 135819 0 0 0 12021 295 0 0 20 0 1 0 165220848 2217070592 417789 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9869 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 541277 417789 1155 1006 0 540038 0
Current children cumulated CPU time: 123.16 s
Current children cumulated vsize: 2165108 KiB
Current children cumulated memory: 1671156 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 3.22 2.37 1.12 1/241 888803
/proc/meminfo: memFree=101586588/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=2297920 memory=1875384 CPUtime=147.39 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 160322 0 0 0 14402 337 0 0 20 0 1 0 165220848 2353070080 468846 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 11092 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 574480 468846 1155 1006 0 573241 0
Current children cumulated CPU time: 147.39 s
Current children cumulated vsize: 2297920 KiB
Current children cumulated memory: 1875384 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 3.19 2.51 1.25 2/239 888813
/proc/meminfo: memFree=100401396/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=2297920 memory=1876276 CPUtime=147.39 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 160322 0 0 0 14402 337 0 0 20 0 1 0 165220848 2353070080 469069 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 11092 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 574480 469069 1155 1006 0 573241 0
Current children cumulated CPU time: 147.39 s
Current children cumulated vsize: 2297920 KiB
Current children cumulated memory: 1876276 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 3.22 2.65 1.37 4/241 888829
/proc/meminfo: memFree=97493852/131655788 swapFree=131071996/131071996
[pid=888615] ppid=888612 vsize=2419044 memory=2088236 CPUtime=183.61 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 178623 0 0 0 17979 382 0 0 20 0 1 0 165220848 2477101056 522059 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 21800 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 604761 522059 1155 1006 0 603522 0
Current children cumulated CPU time: 183.61 s
Current children cumulated vsize: 2419044 KiB
Current children cumulated memory: 2088236 KiB
heavy processes:
################
# More data... #
################
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 3.15 3.19 3.11 3/243 890389
/proc/meminfo: memFree=609232/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7398028 memory=5864604 CPUtime=2434.71 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 1669829 0 0 0 239708 3763 0 0 20 0 1 0 165220848 7575580672 1466151 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 77782 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1849507 1466151 1155 1006 0 1848268 0
Current children cumulated CPU time: 2434.71 s
Current children cumulated vsize: 7398028 KiB
Current children cumulated memory: 5864604 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 3.15 3.18 3.11 4/245 890570
/proc/meminfo: memFree=582868/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7398028 memory=5864604 CPUtime=2487.12 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 1686473 0 0 0 244874 3838 0 0 20 0 1 0 165220848 7575580672 1466151 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 78672 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1849507 1466151 1155 1006 0 1848268 0
Current children cumulated CPU time: 2487.12 s
Current children cumulated vsize: 7398028 KiB
Current children cumulated memory: 5864604 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 3.24 3.22 3.13 4/245 890581
/proc/meminfo: memFree=611276/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7398028 memory=5864604 CPUtime=2534.38 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 1687977 0 0 0 249546 3892 0 0 20 0 1 0 165220848 7575580672 1466151 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 79931 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1849507 1466151 1155 1006 0 1848268 0
Current children cumulated CPU time: 2534.38 s
Current children cumulated vsize: 7398028 KiB
Current children cumulated memory: 5864604 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 3.20 3.21 3.13 4/243 890598
/proc/meminfo: memFree=637116/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7398028 memory=5864604 CPUtime=2583.05 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 1723609 0 0 0 254341 3964 0 0 20 0 1 0 165220848 7575580672 1466151 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81047 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1849507 1466151 1155 1006 0 1848268 0
Current children cumulated CPU time: 2583.05 s
Current children cumulated vsize: 7398028 KiB
Current children cumulated memory: 5864604 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 3.13 3.18 3.12 4/250 890626
/proc/meminfo: memFree=618396/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7409820 memory=5876316 CPUtime=2640.7 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 1727295 0 0 0 260008 4062 0 0 20 0 1 0 165220848 7587655680 1469079 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81263 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1852455 1469079 1155 1006 0 1851216 0
Current children cumulated CPU time: 2640.7 s
Current children cumulated vsize: 7409820 KiB
Current children cumulated memory: 5876316 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 3.15 3.18 3.12 4/250 890636
/proc/meminfo: memFree=516656/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7411456 memory=5877952 CPUtime=2698.59 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 1730832 0 0 0 265705 4154 0 0 20 0 1 0 165220848 7589330944 1469488 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81457 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1852864 1469488 1155 1006 0 1851625 0
Current children cumulated CPU time: 2698.59 s
Current children cumulated vsize: 7411456 KiB
Current children cumulated memory: 5877952 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 3.12 3.16 3.12 4/249 890647
/proc/meminfo: memFree=565372/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7433104 memory=5895852 CPUtime=2755.02 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 1736193 0 0 0 271292 4210 0 0 20 0 1 0 165220848 7611498496 1473963 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81795 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1858276 1473963 1155 1006 0 1857037 0
Current children cumulated CPU time: 2755.02 s
Current children cumulated vsize: 7433104 KiB
Current children cumulated memory: 5895852 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 3.28 3.20 3.14 4/249 890657
/proc/meminfo: memFree=606756/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7433104 memory=5897384 CPUtime=2813.32 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) R 888612 888615 888450 0 -1 4194304 1738655 0 0 0 277058 4274 0 0 20 0 1 0 165220848 7611498496 1474346 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81946 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1858276 1474346 1155 1006 0 1857037 0
Current children cumulated CPU time: 2813.32 s
Current children cumulated vsize: 7433104 KiB
Current children cumulated memory: 5897384 KiB
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.22 3.19 3.14 2/240 890695
/proc/meminfo: memFree=18728764/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7433104 memory=5897384 CPUtime=2859.64 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 1741085 0 0 0 281637 4327 0 0 20 0 1 0 165220848 7611498496 1474346 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81999 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1858276 1474346 1155 1006 0 1857037 0
Current children cumulated CPU time: 2859.64 s
Current children cumulated vsize: 7433104 KiB
Current children cumulated memory: 5897384 KiB
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 3.22 3.19 3.14 2/240 890695
/proc/meminfo: memFree=18721204/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7433104 memory=5897384 CPUtime=2859.64 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 1741085 0 0 0 281637 4327 0 0 20 0 1 0 165220848 7611498496 1474346 134679101440 4194304 8311665 140731188103936 0 0 256 0 0 8404994 0 0 0 17 0 0 0 81999 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1858276 1474346 1155 1006 0 1857037 0
??? kill 888615 sig 9
??? end of watcher thread
[startup+3741.58 s]
# the end of solver process 888615 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=2816.37 s, system=43.3181 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 3.22 3.19 3.14 2/240 890695
/proc/meminfo: memFree=18728764/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7433104 memory=5897384 CPUtime=2859.64 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 1741085 0 0 0 281637 4327 0 0 20 0 1 0 165220848 7611498496 1474346 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81999 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1858276 1474346 1155 1006 0 1857037 0
Current children cumulated CPU time: 2859.64 s
Current children cumulated vsize: 7433104 KiB
Current children cumulated memory: 5897384 KiB
[startup+3701.6 s]
/proc/loadavg: 3.22 3.19 3.14 2/240 890695
/proc/meminfo: memFree=18723332/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7433104 memory=5897384 CPUtime=2859.64 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 1741085 0 0 0 281637 4327 0 0 20 0 1 0 165220848 7611498496 1474346 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81999 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1858276 1474346 1155 1006 0 1857037 0
Current children cumulated CPU time: 2859.64 s
Current children cumulated vsize: 7433104 KiB
Current children cumulated memory: 5897384 KiB
[startup+3702 s]*
/proc/loadavg: 3.22 3.19 3.14 2/240 890695
/proc/meminfo: memFree=18721556/131655788 swapFree=131070960/131071996
[pid=888615] ppid=888612 vsize=7433104 memory=5897384 CPUtime=2859.64 cores=0,2
/proc/888615/stat : 888615 (Exact_veripb2) D 888612 888615 888450 0 -1 4194304 1741085 0 0 0 281637 4327 0 0 20 0 1 0 165220848 7611498496 1474346 134679101440 4194304 8311665 140731188103936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 81999 0 0 9173656 9252184 25686016 140731188110152 140731188110430 140731188110430 140731188117447 0
/proc/888615/statm: 1858276 1474346 1155 1006 0 1857037 0
Current children cumulated CPU time: 2859.64 s
Current children cumulated vsize: 7433104 KiB
Current children cumulated memory: 5897384 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3741.58
CPU time (s): 2859.69
CPU user time (s): 2816.37
CPU system time (s): 43.3181
CPU usage (%): 76.4301
Max. virtual memory (cumulated for all children) (KiB): 7925720
Max. memory (cumulated for all children) (KiB): 6119456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2816.37
system time used= 43.3181
maximum resident set size= 6267560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1741085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 143521528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176
involuntary context switches= 20221
# summary of solver processes directly reported to runsolver:
# pid: 888615
# total CPU time (s): 2859.69
# total CPU user time (s): 2816.37
# total CPU system time (s): 43.3181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0552 second user time and 35.675 second system time
The end
Begin job on nodeC009 at 2024-08-18 15:03:52 IDJOB=4441341 IDBENCH=155703 IDSOLVER=3081 FILE ID=nodeC009/4441341-1723986232 RUNJOBID= nodeC009-1723986219-888460 SLURM_JOB_ID= 8268140 Free space on /tmp= 723696 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_1_mh_ic.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-4441341-1723986232/watcher-4441341-1723986232 -o /tmp/evaluation-result-4441341-1723986232/solver-4441341-1723986232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1723986219-888460 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441341-1723986232 --seed=83732635 HOME/instance-4441341-1723986232.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c43d7dab24b2d6eb632f3b262990bf9 RANDOM SEED=83732635 nodeC009.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 : 0xb00001f cpu MHz : 1197.257 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1197.449 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.271 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1197.256 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1379.696 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 3671.507 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 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 : 0xb00001f cpu MHz : 1197.269 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.99 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 : 0xb00001f cpu MHz : 1197.467 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 117711240 kB MemAvailable: 129728036 kB Buffers: 405908 kB Cached: 12446128 kB SwapCached: 0 kB Active: 958156 kB Inactive: 12391340 kB Active(anon): 1484 kB Inactive(anon): 541924 kB Active(file): 956672 kB Inactive(file): 11849416 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 958896 kB Writeback: 4 kB AnonPages: 497012 kB Mapped: 112984 kB Shmem: 45896 kB KReclaimable: 101812 kB Slab: 230956 kB SReclaimable: 101812 kB SUnreclaim: 129144 kB KernelStack: 3824 kB PageTables: 10192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 881000 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54208 kB HardwareCorrupted: 0 kB AnonHugePages: 282624 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: 316232 kB DirectMap2M: 23705600 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 723760 MiB End job on nodeC009 at 2024-08-18 16:06:14