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/ IC/normalized-minisat50_6_9_5_ic.opb |
| MD5SUM | 26d1f8baed9b076d56083d3420fb6ea6 |
| 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 | 18236785 |
| Best CPU time to get the best result obtained on this benchmark | 72000.2 |
| 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 | 125200 |
| Total number of constraints | 250157 |
| Number of constraints which are clauses | 120150 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 130000 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 7400 |
| Biggest coefficient in the objective function | 160989184 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 45888664096 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 160989184 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 45888664096 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
7.26/7.36 o 297057125 12.85/12.95 o 296009063 12.95/13.01 o 294783197 12.95/13.10 o 294355065 13.15/13.27 o 292993349 13.25/13.37 o 289171783 13.35/13.42 o 285170027 13.55/13.60 o 221017705 13.65/13.72 o 192650985 13.85/13.91 o 172627137 14.15/14.21 o 172475217 14.65/14.79 o 122793441 85.21/151.27 o 122495605 85.42/151.45 o 121846303 85.51/151.54 o 121762671 85.81/151.84 o 114936929 93.67/165.97 o 114817879 93.77/166.06 o 114225681 93.96/166.21 o 113090047 97.15/169.46 o 112854315 97.25/169.56 o 112481089 98.36/170.69 o 111797289 102.54/174.86 o 111782831 102.74/175.09 o 111768941 102.84/175.19 o 111198329 102.94/175.28 o 110414737 103.84/176.14 o 110239687 104.93/177.27 o 109039381 105.43/177.72 o 107322185 105.53/177.85 o 103183005 105.73/178.03 o 102957905 109.62/181.94 o 101752465 109.73/182.07 o 99520733 110.22/182.58 o 97594189 110.42/182.78 o 96538507 117.15/194.06 o 95452189 117.34/194.20 o 94259431 164.35/296.02 o 93822019 262.15/501.78 o 93608681 262.64/502.20 o 92290955 263.05/502.60 o 89782673 263.34/502.95 o 88868793 265.54/505.18 o 88588949 265.74/505.32 o 87171935 265.84/505.49 o 82569375 266.03/505.66 o 79634543 275.67/516.65 o 77997195 276.57/517.54 o 77698231 282.06/523.06 o 77567053 286.24/527.23 o 77285341 355.57/611.42 o 76655293 403.31/684.52 o 76318633 403.41/684.64 o 74716231 403.51/684.77 o 73948477 408.40/689.63 o 73239731 457.22/768.53 o 70421251 457.32/768.68 o 70152767 457.52/768.85 o 69214317 460.11/771.43 o 68537261 460.21/771.55 o 68379225 462.20/773.57 o 67978535 490.05/802.32 o 67741139 552.03/872.19 o 66158779 557.01/877.19 o 66031839 557.11/877.27 o 65983377 557.21/877.34 o 65909953 557.31/877.41 o 64953229 578.04/906.04 o 64826503 578.14/906.13 o 64670589 598.11/928.36 o 63332763 598.21/928.47 o 63252499 599.10/929.37 o 62482747 599.30/929.51 o 62167467 762.67/1144.81 o 61716315 763.27/1145.44 o 60080647 763.37/1145.56 o 57662593 768.65/1150.87 o 56991063 770.24/1152.48 o 56986321 779.61/1161.84 o 56558727 847.36/1239.16 o 56278869 847.46/1239.29 o 55938307 851.35/1243.17 o 55909495 905.40/1302.15 o 55223729 916.57/1313.34 o 54982549 917.96/1314.74 o 54916313 919.26/1316.01 o 53788641 919.36/1316.11 o 53749297 926.40/1325.70 o 53666945 999.45/1429.05 o 53651883 1011.42/1441.05 o 53516933 1162.10/1624.88 o 53355017 1162.31/1625.03 o 53263187 1162.41/1625.13 o 53156819 1162.90/1625.60 o 52792883 1162.90/1625.68 o 52186827 1226.36/1730.15 o 52116985 1227.85/1731.68 o 51910625 1228.05/1731.81 o 51653477 1228.15/1731.98 o 51544895 1506.56/2056.68 o 51200885 1518.42/2068.54 o 51139189 1518.52/2068.63 o 51042947 1520.22/2070.30 o 50954321 1520.62/2070.74 o 49647671 1521.22/2071.39 o 49553127 1521.31/2071.47 o 49547203 1521.41/2071.55 o 48902701 1542.64/2096.33 o 48886609 1576.56/2136.52 o 47461329 1589.41/2150.79 o 45128161 1602.27/2163.61 o 45075701 1636.75/2211.96 o 44606647 1747.44/2341.84 o 44344995 1971.78/2601.57 o 44285557 1993.29/2633.72 o 39567325 1993.39/2633.83 o 39527611 1993.69/2634.18 o 39263691 1999.27/2639.70 o 39217107 2012.48/2656.34 o 38585957 2109.06/2755.79 o 36493321 2119.54/2766.24 o 35082209 2119.63/2766.33 o 34558777 2121.43/2768.15 o 33719417 2121.72/2768.41 o 33695979 2168.11/2823.14 o 32332503 2390.97/3065.47 o 30291543 2396.35/3070.81 o 30275543 2405.67/3085.36 o 30250525 2575.06/3267.39 o 30232615
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 (61321 MiB free)
memory of node 1: 64473 MiB (63224 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441339-1723986232/watcher-4441339-1723986232 -o /tmp/evaluation-result-4441339-1723986232/solver-4441339-1723986232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1723986219-890782 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441339-1723986232 --seed=83732635 HOME/instance-4441339-1723986232.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=890988, runsolver pid=890985
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.20 0.35 0.17 5/258 890989
/proc/meminfo: memFree=127442064/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=112668 memory=89572 CPUtime=0.09 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 12230 0 0 0 7 2 0 0 20 0 1 0 165224349 115372032 22393 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 28167 22393 899 1006 0 26928 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112668 KiB
Current children cumulated memory: 89572 KiB
[startup+0.205595 s]*
/proc/loadavg: 1.20 0.35 0.17 5/258 890989
/proc/meminfo: memFree=127396928/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=164864 memory=131008 CPUtime=0.19 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 20803 0 0 0 15 4 0 0 20 0 1 0 165224349 168820736 32752 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 41216 32752 899 1006 0 39977 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 164864 KiB
Current children cumulated memory: 131008 KiB
[startup+0.305552 s]*
/proc/loadavg: 1.20 0.35 0.17 5/258 890989
/proc/meminfo: memFree=127380720/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=164864 memory=141248 CPUtime=0.29 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 20808 0 0 0 25 4 0 0 20 0 1 0 165224349 168820736 35312 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 41216 35312 899 1006 0 39977 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 164864 KiB
Current children cumulated memory: 141248 KiB
[startup+0.700238 s]
/proc/loadavg: 1.20 0.35 0.17 5/258 890989
/proc/meminfo: memFree=127336220/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=211984 memory=203696 CPUtime=0.68 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 32818 0 0 0 62 6 0 0 20 0 1 0 165224349 217071616 50924 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 52996 50924 931 1006 0 51757 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 211984 KiB
Current children cumulated memory: 203696 KiB
[startup+1.50023 s]
/proc/loadavg: 1.20 0.35 0.17 5/258 890989
/proc/meminfo: memFree=127237588/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=417876 memory=399272 CPUtime=1.48 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 53608 0 0 0 135 13 0 0 20 0 1 0 165224349 427905024 99818 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 104469 99818 1091 1006 0 103230 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 417876 KiB
Current children cumulated memory: 399272 KiB
[startup+3.10555 s]
/proc/loadavg: 1.43 0.41 0.19 5/258 890989
/proc/meminfo: memFree=126679656/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=436992 memory=410516 CPUtime=3.08 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 54516 0 0 0 294 14 0 0 20 0 1 0 165224349 447479808 102563 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 109248 102629 1091 1006 0 108009 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 436992 KiB
Current children cumulated memory: 410516 KiB
[startup+6.30022 s]
/proc/loadavg: 1.43 0.41 0.19 5/258 890990
/proc/meminfo: memFree=126401832/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=436992 memory=421708 CPUtime=6.26 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 55836 0 0 0 612 14 0 0 20 0 1 0 165224349 447479808 105427 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 109248 105427 1123 1006 0 108009 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 436992 KiB
Current children cumulated memory: 421708 KiB
[startup+12.7002 s]
/proc/loadavg: 1.82 0.53 0.23 5/258 890990
/proc/meminfo: memFree=125217436/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=856716 memory=671436 CPUtime=12.65 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 69033 0 0 0 1229 36 0 0 20 0 1 0 165224349 877277184 167859 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 214179 167859 1139 1006 0 212940 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 856716 KiB
Current children cumulated memory: 671436 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 0.66 0.28 1/259 890993
/proc/meminfo: memFree=122778740/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1143444 memory=929704 CPUtime=19.56 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 74480 0 0 0 1894 62 0 0 20 0 1 0 165224349 1170886656 232426 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 285861 232426 1139 1006 0 284622 0
Current children cumulated CPU time: 19.56 s
Current children cumulated vsize: 1143444 KiB
Current children cumulated memory: 929704 KiB
heavy processes:
[startup+51.1059 s]
/proc/loadavg: 2.91 0.95 0.38 4/259 890998
/proc/meminfo: memFree=121761560/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1171744 memory=970320 CPUtime=31.96 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 75539 0 0 0 3118 78 0 0 20 0 1 0 165224349 1199865856 242580 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1903 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 292936 242580 1139 1006 0 291697 0
Current children cumulated CPU time: 31.96 s
Current children cumulated vsize: 1171744 KiB
Current children cumulated memory: 970320 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.63 1.48 0.60 3/259 891006
/proc/meminfo: memFree=116073668/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1233768 memory=1052232 CPUtime=60.39 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 80611 0 0 0 5902 137 0 0 20 0 1 0 165224349 1263378432 263058 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3118 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 308442 263058 1139 1006 0 307203 0
Current children cumulated CPU time: 60.39 s
Current children cumulated vsize: 1233768 KiB
Current children cumulated memory: 1052232 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.91 1.95 0.82 4/258 891018
/proc/meminfo: memFree=113461336/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1352588 memory=1154800 CPUtime=92.69 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 86660 0 0 0 9098 171 0 0 20 0 1 0 165224349 1385050112 288700 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6572 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 338147 288700 1139 1006 0 336908 0
Current children cumulated CPU time: 92.69 s
Current children cumulated vsize: 1352588 KiB
Current children cumulated memory: 1154800 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 4.07 2.36 1.03 1/258 891030
/proc/meminfo: memFree=109249236/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1354524 memory=1156740 CPUtime=143.18 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 87321 0 0 0 14134 184 0 0 20 0 1 0 165224349 1387032576 289185 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 7651 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 338631 289185 1139 1006 0 337392 0
Current children cumulated CPU time: 143.18 s
Current children cumulated vsize: 1354524 KiB
Current children cumulated memory: 1156740 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.12 2.69 1.23 4/258 891040
/proc/meminfo: memFree=108336824/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1537996 memory=1247136 CPUtime=150.68 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 96795 0 0 0 14873 195 0 0 20 0 1 0 165224349 1574907904 311784 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 13118 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 384499 311784 1139 1006 0 383260 0
Current children cumulated CPU time: 150.68 s
Current children cumulated vsize: 1537996 KiB
Current children cumulated memory: 1247136 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.08 2.95 1.41 1/259 891054
/proc/meminfo: memFree=105106060/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1722668 memory=1383072 CPUtime=184.18 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 114202 0 0 0 18117 301 0 0 20 0 1 0 165224349 1764012032 345768 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14315 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 430667 345768 1139 1006 0 429428 0
Current children cumulated CPU time: 184.18 s
Current children cumulated vsize: 1722668 KiB
Current children cumulated memory: 1383072 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.18 3.18 1.59 5/259 891068
/proc/meminfo: memFree=101651712/131524600 swapFree=131063756/131071996
[pid=890988] ppid=890985 vsize=1755440 memory=1412092 CPUtime=200.13 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 118586 0 0 0 19663 350 0 0 20 0 1 0 165224349 1797570560 353023 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 20158 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 438860 353023 1139 1006 0 437621 0
Current children cumulated CPU time: 200.13 s
Current children cumulated vsize: 1755440 KiB
Current children cumulated memory: 1412092 KiB
################
# More data... #
################
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 392354 0 0 0 206974 2596 0 0 20 0 1 0 165224349 2177249280 440494 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 64060 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 531555 440494 1155 1006 0 530316 0
Current children cumulated CPU time: 2095.7 s
Current children cumulated vsize: 2126220 KiB
Current children cumulated memory: 1761976 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 3.19 3.26 3.34 4/253 892174
/proc/meminfo: memFree=1820520/131524600 swapFree=131058344/131071996
[pid=890988] ppid=890985 vsize=2126220 memory=1761976 CPUtime=2148.48 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 393466 0 0 0 212218 2630 0 0 20 0 1 0 165224349 2177249280 440494 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 64767 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 531555 440494 1155 1006 0 530316 0
Current children cumulated CPU time: 2148.48 s
Current children cumulated vsize: 2126220 KiB
Current children cumulated memory: 1761976 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 3.12 3.23 3.32 3/253 892186
/proc/meminfo: memFree=640352/131524600 swapFree=131058344/131071996
[pid=890988] ppid=890985 vsize=2126220 memory=1761976 CPUtime=2205.35 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 394336 0 0 0 217867 2668 0 0 20 0 1 0 165224349 2177249280 440494 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 64935 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 531555 440494 1155 1006 0 530316 0
Current children cumulated CPU time: 2205.35 s
Current children cumulated vsize: 2126220 KiB
Current children cumulated memory: 1761976 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 3.09 3.20 3.30 4/253 892196
/proc/meminfo: memFree=577276/131524600 swapFree=131058344/131071996
[pid=890988] ppid=890985 vsize=2126220 memory=1761976 CPUtime=2260.18 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 396547 0 0 0 223309 2709 0 0 20 0 1 0 165224349 2177249280 440494 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 65564 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 531555 440494 1155 1006 0 530316 0
Current children cumulated CPU time: 2260.18 s
Current children cumulated vsize: 2126220 KiB
Current children cumulated memory: 1761976 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 3.14 3.19 3.29 4/253 892207
/proc/meminfo: memFree=487772/131524600 swapFree=131058344/131071996
[pid=890988] ppid=890985 vsize=2158688 memory=1794444 CPUtime=2312.91 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 404121 0 0 0 228511 2780 0 0 20 0 1 0 165224349 2210496512 448611 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 66275 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 539672 448611 1155 1006 0 538433 0
Current children cumulated CPU time: 2312.91 s
Current children cumulated vsize: 2158688 KiB
Current children cumulated memory: 1794444 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 3.10 3.17 3.28 4/254 892218
/proc/meminfo: memFree=680336/131524600 swapFree=131058344/131071996
[pid=890988] ppid=890985 vsize=2167816 memory=1803576 CPUtime=2369.43 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 405768 0 0 0 234126 2817 0 0 20 0 1 0 165224349 2219843584 450894 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 66607 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 541954 450894 1155 1006 0 540715 0
Current children cumulated CPU time: 2369.43 s
Current children cumulated vsize: 2167816 KiB
Current children cumulated memory: 1803576 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 3.15 3.17 3.27 4/256 892616
/proc/meminfo: memFree=537912/131524600 swapFree=131058344/131071996
[pid=890988] ppid=890985 vsize=2172064 memory=1807852 CPUtime=2422.62 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 409186 0 0 0 239397 2865 0 0 20 0 1 0 165224349 2224193536 451963 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 67273 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 543016 451963 1155 1006 0 541777 0
Current children cumulated CPU time: 2422.62 s
Current children cumulated vsize: 2172064 KiB
Current children cumulated memory: 1807852 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 3.12 3.15 3.26 3/254 892627
/proc/meminfo: memFree=561372/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2176196 memory=1811984 CPUtime=2477.81 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 410742 0 0 0 244883 2898 0 0 20 0 1 0 165224349 2228424704 452996 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 67738 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 544049 452996 1155 1006 0 542810 0
Current children cumulated CPU time: 2477.81 s
Current children cumulated vsize: 2176196 KiB
Current children cumulated memory: 1811984 KiB
heavy processes:
[startup+3222.3 s]
/proc/loadavg: 3.14 3.15 3.25 3/254 892639
/proc/meminfo: memFree=606868/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2187888 memory=1823680 CPUtime=2531.16 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 412421 0 0 0 250162 2954 0 0 20 0 1 0 165224349 2240397312 455920 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 68388 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 546972 455920 1155 1006 0 545733 0
Current children cumulated CPU time: 2531.16 s
Current children cumulated vsize: 2187888 KiB
Current children cumulated memory: 1823680 KiB
heavy processes:
[startup+3282.3 s]
/proc/loadavg: 3.15 3.15 3.24 4/255 892820
/proc/meminfo: memFree=655460/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2187888 memory=1823696 CPUtime=2590.01 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 413466 0 0 0 256005 2996 0 0 20 0 1 0 165224349 2240397312 455924 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 68484 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 546972 455924 1155 1006 0 545733 0
Current children cumulated CPU time: 2590.01 s
Current children cumulated vsize: 2187888 KiB
Current children cumulated memory: 1823696 KiB
heavy processes:
[startup+3342.3 s]
/proc/loadavg: 3.11 3.14 3.23 4/255 892831
/proc/meminfo: memFree=676336/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2187888 memory=1823696 CPUtime=2643.01 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 413832 0 0 0 261266 3035 0 0 20 0 1 0 165224349 2240397312 455924 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 69169 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 546972 455924 1155 1006 0 545733 0
Current children cumulated CPU time: 2643.01 s
Current children cumulated vsize: 2187888 KiB
Current children cumulated memory: 1823696 KiB
heavy processes:
[startup+3402.3 s]
/proc/loadavg: 3.36 3.19 3.24 4/255 892846
/proc/meminfo: memFree=494088/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2195832 memory=1831636 CPUtime=2696.73 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 415718 0 0 0 266575 3098 0 0 20 0 1 0 165224349 2248531968 457909 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 69782 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 548958 457909 1155 1006 0 547719 0
Current children cumulated CPU time: 2696.73 s
Current children cumulated vsize: 2195832 KiB
Current children cumulated memory: 1831636 KiB
heavy processes:
[startup+3462.3 s]
/proc/loadavg: 3.22 3.18 3.24 4/255 892868
/proc/meminfo: memFree=515740/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2195832 memory=1831644 CPUtime=2750.06 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 416142 0 0 0 271862 3144 0 0 20 0 1 0 165224349 2248531968 457911 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 70436 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 548958 457911 1155 1006 0 547719 0
Current children cumulated CPU time: 2750.06 s
Current children cumulated vsize: 2195832 KiB
Current children cumulated memory: 1831644 KiB
heavy processes:
[startup+3522.3 s]
/proc/loadavg: 3.20 3.19 3.24 4/255 892878
/proc/meminfo: memFree=558320/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2195832 memory=1831652 CPUtime=2808.02 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 416573 0 0 0 277617 3185 0 0 20 0 1 0 165224349 2248531968 457913 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 70621 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 548958 457913 1155 1006 0 547719 0
Current children cumulated CPU time: 2808.02 s
Current children cumulated vsize: 2195832 KiB
Current children cumulated memory: 1831652 KiB
heavy processes:
[startup+3582.3 s]
/proc/loadavg: 3.18 3.18 3.23 4/255 892888
/proc/meminfo: memFree=537584/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2195832 memory=1831652 CPUtime=2864.38 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 416920 0 0 0 283206 3232 0 0 20 0 1 0 165224349 2248531968 457913 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 70969 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 548958 457913 1155 1006 0 547719 0
Current children cumulated CPU time: 2864.38 s
Current children cumulated vsize: 2195832 KiB
Current children cumulated memory: 1831652 KiB
heavy processes:
[startup+3642.3 s]
/proc/loadavg: 3.12 3.16 3.22 4/254 892899
/proc/meminfo: memFree=570556/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2195832 memory=1831652 CPUtime=2919.67 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) R 890985 890988 890770 0 -1 4194304 454058 0 0 0 288662 3305 0 0 20 0 1 0 165224349 2248531968 457913 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 71426 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 548958 457913 1155 1006 0 547719 0
Current children cumulated CPU time: 2919.67 s
Current children cumulated vsize: 2195832 KiB
Current children cumulated memory: 1831652 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.12 3.15 3.21 1/250 892910
/proc/meminfo: memFree=1463824/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2197844 memory=1833744 CPUtime=2968.83 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 456231 0 0 0 293522 3361 0 0 20 0 1 0 165224349 2250592256 458436 134679101440 4194304 8311665 140726943873632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 71572 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 549461 458436 1155 1006 0 548222 0
Current children cumulated CPU time: 2968.83 s
Current children cumulated vsize: 2197844 KiB
Current children cumulated memory: 1833744 KiB
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.12 3.15 3.21 1/250 892910
/proc/meminfo: memFree=1459416/131524600 swapFree=131058088/131071996
[pid=890988] ppid=890985 vsize=2197844 memory=1833744 CPUtime=2968.83 cores=1,3
/proc/890988/stat : 890988 (Exact_veripb2) D 890985 890988 890770 0 -1 4194304 456231 0 0 0 293522 3361 0 0 20 0 1 0 165224349 2250592256 458436 134679101440 4194304 8311665 140726943873632 0 0 256 0 0 8404994 0 0 0 17 1 0 0 71572 0 0 9173656 9252184 29458432 140726943880008 140726943880286 140726943880286 140726943887303 0
/proc/890988/statm: 549461 458436 1155 1006 0 548222 0
??? kill 890988 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC029 at 2024-08-18 15:03:52 IDJOB=4441339 IDBENCH=155722 IDSOLVER=3081 FILE ID=nodeC029/4441339-1723986232 RUNJOBID= nodeC029-1723986219-890782 SLURM_JOB_ID= 8268153 Free space on /tmp= 890040 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat50_6_9_5_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-4441339-1723986232/watcher-4441339-1723986232 -o /tmp/evaluation-result-4441339-1723986232/solver-4441339-1723986232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1723986219-890782 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441339-1723986232 --seed=83732635 HOME/instance-4441339-1723986232.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 26d1f8baed9b076d56083d3420fb6ea6 RANDOM SEED=83732635 nodeC029.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 : 3690.997 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.02 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 : 3664.557 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 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 : 3600.051 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.02 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 : 3682.385 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 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 : 3690.995 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.02 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 : 3695.259 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 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 : 3600.154 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.02 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 : 3687.003 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127534664 kB MemAvailable: 128925316 kB Buffers: 387212 kB Cached: 1848728 kB SwapCached: 208 kB Active: 876504 kB Inactive: 2506548 kB Active(anon): 1712 kB Inactive(anon): 1191048 kB Active(file): 874792 kB Inactive(file): 1315500 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063756 kB Dirty: 246576 kB Writeback: 8 kB AnonPages: 1146216 kB Mapped: 121816 kB Shmem: 45600 kB KReclaimable: 80368 kB Slab: 197580 kB SReclaimable: 80368 kB SUnreclaim: 117212 kB KernelStack: 4160 kB PageTables: 11512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1697104 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61696 kB HardwareCorrupted: 0 kB AnonHugePages: 593920 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: 297684 kB DirectMap2M: 27787264 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 890048 MiB End job on nodeC029 at 2024-08-18 16:06:52