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_9_ic.opb |
| MD5SUM | 4134a3bbfafa37bf409eb88a166c5118 |
| 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 | 18382767 |
| Best CPU time to get the best result obtained on this benchmark | 3586.82 |
| 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 | 153130375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 48555114814 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 153130375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 48555114814 |
| 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 |
6.84/7.06 o 708212883 11.50/11.73 o 705178931 11.70/11.90 o 705072169 11.81/12.01 o 690602005 11.90/12.12 o 671800821 11.90/12.18 o 669170483 12.00/12.24 o 655980339 12.00/12.29 o 639359443 12.10/12.36 o 638801723 12.20/12.49 o 366469581 12.30/12.55 o 366380651 12.60/12.83 o 364951529 12.69/12.99 o 309751703 12.90/13.12 o 309489647 68.47/108.84 o 309444509 68.68/109.01 o 308672389 69.07/109.46 o 308041423 69.27/109.64 o 292709645 69.36/109.72 o 230699659 72.54/112.95 o 228280455 72.65/113.02 o 227464681 72.65/113.10 o 226949411 72.74/113.17 o 210175283 72.84/113.28 o 209273761 87.19/127.63 o 198638257 87.33/129.21 o 198229575 87.62/129.51 o 197662837 91.12/133.01 o 195526555 91.21/133.12 o 194807363 91.21/133.19 o 194526985 91.30/133.29 o 194304819 91.40/133.37 o 194147293 91.51/133.48 o 193379181 101.38/143.30 o 192075135 101.57/143.50 o 191873201 101.67/143.62 o 191275877 111.05/153.02 o 191260605 226.64/424.02 o 190507209 226.84/424.22 o 189716429 228.74/426.15 o 189634571 229.73/427.17 o 189517523 235.21/432.63 o 170123247 235.31/432.70 o 165522583 236.00/433.49 o 165386355 245.13/447.92 o 164912879 245.23/448.02 o 164894657 245.34/448.14 o 164731723 245.83/448.67 o 164175851 246.13/448.93 o 163985257 247.12/449.90 o 160706755 247.23/450.02 o 160323321 247.23/450.10 o 159734219 247.33/450.17 o 159663413 247.43/450.27 o 159467407 257.58/460.43 o 159149697 399.14/640.99 o 158818209 399.25/641.07 o 157599565 405.83/647.66 o 157473633 412.31/662.12 o 157465085 464.27/721.10 o 156545259 469.55/726.48 o 156092081 469.65/726.57 o 156051209 470.25/727.12 o 153200907 470.25/727.19 o 120809097 482.91/739.82 o 111834761 503.20/763.69 o 110621639 533.20/796.61 o 109177169 533.30/796.75 o 108126893 533.49/796.90 o 107557565 538.27/801.77 o 106965899 538.47/801.92 o 106454051 671.10/973.28 o 105546695 674.39/976.50 o 105176117 682.46/984.62 o 102219259 728.69/1034.23 o 86735297 728.79/1034.33 o 84561601 728.88/1034.40 o 83914049 728.88/1034.47 o 79274799 728.98/1034.54 o 77303163 729.08/1034.63 o 75345063 729.18/1034.75 o 73087131 729.89/1035.47 o 71881261 729.99/1035.59 o 70974429 738.06/1043.66 o 68596135 743.45/1049.03 o 66309533 743.54/1049.17 o 65197261 743.65/1049.24 o 62872509 743.94/1049.51 o 62224957 760.15/1070.38 o 62121999 769.21/1079.47 o 61809937 769.41/1079.60 o 59204955 769.81/1080.00 o 58262241 806.76/1125.39 o 57628197 812.05/1130.69 o 54383079 812.15/1130.79 o 54180537 812.35/1130.94 o 53308075 813.34/1131.91 o 53035087 825.40/1144.02 o 52890911 826.79/1145.44 o 52534905 872.59/1206.82 o 52532605 1008.08/1373.14 o 52381577 1010.77/1375.81 o 51087223 1011.16/1376.24 o 50713645 1011.46/1376.57 o 50292397 1290.12/1707.79 o 49727137 1292.42/1710.04 o 49580849 1303.38/1721.04 o 48285281 1320.10/1740.85 o 47584773 1320.20/1740.93 o 47180005 1371.72/1796.60 o 46790827 1371.72/1796.67 o 46496531 1371.83/1796.75 o 45992867 1373.52/1798.43 o 45008499 1374.02/1798.98 o 44697293 1394.15/1823.95 o 43561253 1395.15/1824.96 o 43347059 1396.05/1825.82 o 42760615 1425.92/1859.33 o 42583443 1425.92/1859.39 o 41096051 1426.12/1859.52 o 40448499 1433.60/1867.05 o 39704271 1438.19/1871.63 o 38919647 1453.43/1889.03 o 37815725 1501.44/1955.79 o 37325043 1502.75/1957.03 o 36414191 1502.94/1957.25 o 36084575 1507.93/1962.24 o 35322375 1671.67/2161.77 o 33852127 1695.20/2185.39 o 33777057 1743.05/2266.95 o 33221007 1743.16/2267.05 o 33129395 1911.54/2452.03 o 32550241 1945.16/2487.99 o 32420905 2480.15/3108.50 o 32328459 2692.03/3357.84 o 31690029 2755.00/3429.38 o 31321997 2755.10/3429.46 o 31178639 2965.43/3653.20 o 29576363 2965.43/3653.26 o 29379601 2965.52/3653.35 o 28760161
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 (61671 MiB free)
memory of node 1: 64510 MiB (59262 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441340-1723986233/watcher-4441340-1723986233 -o /tmp/evaluation-result-4441340-1723986233/solver-4441340-1723986233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1723986219-892682 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441340-1723986233 --seed=83732635 HOME/instance-4441340-1723986233.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=892798, runsolver pid=892795
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 0.99 0.28 0.15 4/259 892799
/proc/meminfo: memFree=123761284/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=105152 memory=81212 CPUtime=0.04 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 9806 0 0 0 2 2 0 0 20 0 1 0 165222586 107675648 20237 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 26288 20303 899 1006 0 25049 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 105152 KiB
Current children cumulated memory: 81212 KiB
[startup+0.20584 s]*
/proc/loadavg: 0.99 0.28 0.15 4/259 892799
/proc/meminfo: memFree=123730188/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=130048 memory=106624 CPUtime=0.14 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 15211 0 0 0 11 3 0 0 20 0 1 0 165222586 133169152 26656 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 32512 26656 899 1006 0 31273 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 130048 KiB
Current children cumulated memory: 106624 KiB
[startup+0.305675 s]*
/proc/loadavg: 0.99 0.28 0.15 4/259 892799
/proc/meminfo: memFree=123698288/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=164864 memory=135300 CPUtime=0.24 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 20855 0 0 0 20 4 0 0 20 0 1 0 165222586 168820736 33825 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 41216 33825 899 1006 0 39977 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 164864 KiB
Current children cumulated memory: 135300 KiB
[startup+0.700204 s]
/proc/loadavg: 0.99 0.28 0.15 4/259 892799
/proc/meminfo: memFree=123665204/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=200000 memory=189968 CPUtime=0.63 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 29926 0 0 0 56 7 0 0 20 0 1 0 165222586 204800000 47492 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 50000 47492 931 1006 0 48761 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 200000 KiB
Current children cumulated memory: 189968 KiB
[startup+1.50021 s]
/proc/loadavg: 0.99 0.28 0.15 4/259 892799
/proc/meminfo: memFree=123652460/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=405812 memory=389784 CPUtime=1.41 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 51248 0 0 0 127 14 0 0 20 0 1 0 165222586 415551488 97446 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 101453 97446 1075 1006 0 100214 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 405812 KiB
Current children cumulated memory: 389784 KiB
[startup+3.10565 s]
/proc/loadavg: 0.99 0.28 0.15 3/249 892815
/proc/meminfo: memFree=122557152/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=437592 memory=416092 CPUtime=3 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 54881 0 0 0 283 17 0 0 20 0 1 0 165222586 448094208 104023 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 109398 104023 1139 1006 0 108159 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 437592 KiB
Current children cumulated memory: 416092 KiB
[startup+6.30021 s]
/proc/loadavg: 1.23 0.35 0.18 4/249 892854
/proc/meminfo: memFree=123006352/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=437592 memory=424400 CPUtime=6.15 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 54945 0 0 0 595 20 0 0 20 0 1 0 165222586 448094208 106100 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 109398 106100 1139 1006 0 108159 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 437592 KiB
Current children cumulated memory: 424400 KiB
[startup+12.7002 s]
/proc/loadavg: 1.45 0.41 0.20 5/249 892854
/proc/meminfo: memFree=122602544/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=573416 memory=502384 CPUtime=12.5 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 66171 0 0 0 1221 29 0 0 20 0 1 0 165222586 587177984 125596 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 143354 125596 1139 1006 0 142115 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 502384 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 0.60 0.26 5/254 892876
/proc/meminfo: memFree=120811960/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=638548 memory=554288 CPUtime=25.25 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 69031 0 0 0 2483 42 0 0 20 0 1 0 165222586 653873152 138572 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 159637 138572 1139 1006 0 158398 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 638548 KiB
Current children cumulated memory: 554288 KiB
[startup+51.1049 s]
/proc/loadavg: 2.75 0.88 0.36 1/254 892880
/proc/meminfo: memFree=118924360/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=722200 memory=632040 CPUtime=34.77 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 70652 0 0 0 3425 52 0 0 20 0 1 0 165222586 739532800 158010 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 180550 158010 1139 1006 0 179311 0
Current children cumulated CPU time: 34.77 s
Current children cumulated vsize: 722200 KiB
Current children cumulated memory: 632040 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.35 1.34 0.55 2/253 892895
/proc/meminfo: memFree=117948636/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=930872 memory=854700 CPUtime=63.62 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 76309 0 0 0 6260 102 0 0 20 0 1 0 165222586 953212928 213675 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3287 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 232718 213675 1139 1006 0 231479 0
Current children cumulated CPU time: 63.62 s
Current children cumulated vsize: 930872 KiB
Current children cumulated memory: 854700 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.28 1.69 0.72 2/244 892938
/proc/meminfo: memFree=116724884/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=971760 memory=897860 CPUtime=116.42 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 79139 0 0 0 11517 125 0 0 20 0 1 0 165222586 995082240 224465 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4132 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 242940 224465 1155 1006 0 241701 0
Current children cumulated CPU time: 116.42 s
Current children cumulated vsize: 971760 KiB
Current children cumulated memory: 897860 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 2.52 1.77 0.81 2/245 892949
/proc/meminfo: memFree=114318976/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1427848 memory=1168416 CPUtime=140.53 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 91708 0 0 0 13864 189 0 0 20 0 1 0 165222586 1462116352 292104 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4790 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 356962 292104 1155 1006 0 355723 0
Current children cumulated CPU time: 140.53 s
Current children cumulated vsize: 1427848 KiB
Current children cumulated memory: 1168416 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 2.23 1.83 0.89 1/244 892959
/proc/meminfo: memFree=111690840/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1427848 memory=1168648 CPUtime=155.17 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 91848 0 0 0 15309 208 0 0 20 0 1 0 165222586 1462116352 292162 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9466 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 356962 292162 1155 1006 0 355723 0
Current children cumulated CPU time: 155.17 s
Current children cumulated vsize: 1427848 KiB
Current children cumulated memory: 1168648 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 2.17 1.89 0.98 1/244 892969
/proc/meminfo: memFree=111160624/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1427848 memory=1168648 CPUtime=177.92 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 92835 0 0 0 17556 236 0 0 20 0 1 0 165222586 1462116352 292162 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 13378 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 356962 292162 1155 1006 0 355723 0
Current children cumulated CPU time: 177.92 s
Current children cumulated vsize: 1427848 KiB
Current children cumulated memory: 1168648 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 2.11 1.93 1.05 3/246 892985
/proc/meminfo: memFree=107345940/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1493388 memory=1216128 CPUtime=216.76 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 94528 0 0 0 21370 306 0 0 20 0 1 0 165222586 1529229312 304032 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18454 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 373347 304032 1155 1006 0 372108 0
Current children cumulated CPU time: 216.76 s
Current children cumulated vsize: 1493388 KiB
Current children cumulated memory: 1216128 KiB
heavy processes:
################
# More data... #
################
Current children cumulated vsize: 1903720 KiB
Current children cumulated memory: 1545568 KiB
heavy processes:
[startup+2742.3 s]
/proc/loadavg: 2.11 2.14 2.06 3/245 894031
/proc/meminfo: memFree=8075336/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1903720 memory=1547340 CPUtime=2157.17 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 159488 0 0 0 212862 2855 0 0 20 0 1 0 165222586 1949409280 386835 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 57758 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 475930 386835 1155 1006 0 474691 0
Current children cumulated CPU time: 2157.17 s
Current children cumulated vsize: 1903720 KiB
Current children cumulated memory: 1547340 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 2.21 2.16 2.07 3/246 894045
/proc/meminfo: memFree=5826940/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1903720 memory=1547340 CPUtime=2208.53 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 159690 0 0 0 217954 2899 0 0 20 0 1 0 165222586 1949409280 386835 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 58604 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 475930 386835 1155 1006 0 474691 0
Current children cumulated CPU time: 2208.53 s
Current children cumulated vsize: 1903720 KiB
Current children cumulated memory: 1547340 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 2.12 2.14 2.07 2/246 894056
/proc/meminfo: memFree=4269500/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1903720 memory=1549116 CPUtime=2257.53 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 159909 0 0 0 222801 2952 0 0 20 0 1 0 165222586 1949409280 387279 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 59688 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 475930 387279 1155 1006 0 474691 0
Current children cumulated CPU time: 2257.53 s
Current children cumulated vsize: 1903720 KiB
Current children cumulated memory: 1549116 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 2.11 2.14 2.08 3/247 894067
/proc/meminfo: memFree=2866452/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1911064 memory=1556460 CPUtime=2311.65 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 161557 0 0 0 228160 3005 0 0 20 0 1 0 165222586 1956929536 389115 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 60258 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 477766 389115 1155 1006 0 476527 0
Current children cumulated CPU time: 2311.65 s
Current children cumulated vsize: 1911064 KiB
Current children cumulated memory: 1556460 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 2.19 2.16 2.09 3/247 894078
/proc/meminfo: memFree=704708/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=1931544 memory=1574364 CPUtime=2365.57 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 166359 0 0 0 233498 3059 0 0 20 0 1 0 165222586 1977901056 393591 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 60846 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 482886 393591 1155 1006 0 481647 0
Current children cumulated CPU time: 2365.57 s
Current children cumulated vsize: 1931544 KiB
Current children cumulated memory: 1574364 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 2.21 2.18 2.10 3/248 894089
/proc/meminfo: memFree=585856/131524600 swapFree=131071996/131071996
[pid=892798] ppid=892795 vsize=2029344 memory=1657640 CPUtime=2424.07 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 186415 0 0 0 239313 3094 0 0 20 0 1 0 165222586 2078048256 414410 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 60975 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 507336 414410 1155 1006 0 506097 0
Current children cumulated CPU time: 2424.07 s
Current children cumulated vsize: 2029344 KiB
Current children cumulated memory: 1657640 KiB
heavy processes:
[startup+3102.3 s]
/proc/loadavg: 2.13 2.16 2.09 3/249 894487
/proc/meminfo: memFree=648404/131524600 swapFree=131071472/131071996
[pid=892798] ppid=892795 vsize=2040920 memory=1669552 CPUtime=2473.97 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 188017 0 0 0 244261 3136 0 0 20 0 1 0 165222586 2089902080 417388 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 61967 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 510230 417388 1155 1006 0 508991 0
Current children cumulated CPU time: 2473.97 s
Current children cumulated vsize: 2040920 KiB
Current children cumulated memory: 1669552 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 2.21 2.16 2.10 2/250 894498
/proc/meminfo: memFree=592940/131524600 swapFree=131071472/131071996
[pid=892798] ppid=892795 vsize=2044748 memory=1669552 CPUtime=2529.99 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 188373 0 0 0 249819 3180 0 0 20 0 1 0 165222586 2093821952 417388 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 62343 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 511187 417388 1155 1006 0 509948 0
Current children cumulated CPU time: 2529.99 s
Current children cumulated vsize: 2044748 KiB
Current children cumulated memory: 1669552 KiB
[startup+3222.3 s]
/proc/loadavg: 2.14 2.14 2.09 2/249 894508
/proc/meminfo: memFree=617676/131524600 swapFree=131071472/131071996
[pid=892798] ppid=892795 vsize=2054464 memory=1678372 CPUtime=2589.69 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 189598 0 0 0 255758 3211 0 0 20 0 1 0 165222586 2103771136 419593 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 62343 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 513616 419593 1155 1006 0 512377 0
Current children cumulated CPU time: 2589.69 s
Current children cumulated vsize: 2054464 KiB
Current children cumulated memory: 1678372 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.13 2.09 2/252 894692
/proc/meminfo: memFree=649972/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2069248 memory=1698556 CPUtime=2636.53 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 192521 0 0 0 260379 3274 0 0 20 0 1 0 165222586 2118909952 424639 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 63541 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517312 424639 1155 1006 0 516073 0
Current children cumulated CPU time: 2636.53 s
Current children cumulated vsize: 2069248 KiB
Current children cumulated memory: 1698556 KiB
[startup+3342.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/252 894703
/proc/meminfo: memFree=501480/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2069248 memory=1698556 CPUtime=2685.91 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 192837 0 0 0 265271 3320 0 0 20 0 1 0 165222586 2118909952 424639 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 64678 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517312 424639 1155 1006 0 516073 0
Current children cumulated CPU time: 2685.91 s
Current children cumulated vsize: 2069248 KiB
Current children cumulated memory: 1698556 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/250 894715
/proc/meminfo: memFree=556196/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2069248 memory=1698556 CPUtime=2733.22 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 193161 0 0 0 269960 3362 0 0 20 0 1 0 165222586 2118909952 424639 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 65924 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517312 424639 1155 1006 0 516073 0
Current children cumulated CPU time: 2733.22 s
Current children cumulated vsize: 2069248 KiB
Current children cumulated memory: 1698556 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/251 894738
/proc/meminfo: memFree=603024/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2069248 memory=1698556 CPUtime=2786.76 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 193466 0 0 0 275267 3409 0 0 20 0 1 0 165222586 2118909952 424639 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 66548 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517312 424639 1155 1006 0 516073 0
Current children cumulated CPU time: 2786.76 s
Current children cumulated vsize: 2069248 KiB
Current children cumulated memory: 1698556 KiB
[startup+3522.3 s]
/proc/loadavg: 2.25 2.15 2.10 3/251 894748
/proc/meminfo: memFree=542000/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2069248 memory=1698556 CPUtime=2844.02 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 193798 0 0 0 280950 3452 0 0 20 0 1 0 165222586 2118909952 424639 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 66801 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517312 424639 1155 1006 0 516073 0
Current children cumulated CPU time: 2844.02 s
Current children cumulated vsize: 2069248 KiB
Current children cumulated memory: 1698556 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.14 2.10 3/250 894758
/proc/meminfo: memFree=671432/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2071848 memory=1701144 CPUtime=2899.39 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 194781 0 0 0 286426 3513 0 0 20 0 1 0 165222586 2121572352 425286 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 67246 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517962 425286 1155 1006 0 516723 0
Current children cumulated CPU time: 2899.39 s
Current children cumulated vsize: 2071848 KiB
Current children cumulated memory: 1701144 KiB
[startup+3642.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/248 894768
/proc/meminfo: memFree=578948/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2071848 memory=1701144 CPUtime=2954.56 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) R 892795 892798 892672 0 -1 4194304 195009 0 0 0 291869 3587 0 0 20 0 1 0 165222586 2121572352 425286 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 67710 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517962 425286 1155 1006 0 516723 0
Current children cumulated CPU time: 2954.56 s
Current children cumulated vsize: 2071848 KiB
Current children cumulated memory: 1701144 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 2.14 2.14 2.10 1/241 894805
/proc/meminfo: memFree=4266748/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2071848 memory=1701144 CPUtime=3005.95 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 195253 0 0 0 296963 3632 0 0 20 0 1 0 165222586 2121572352 425286 134679101440 4194304 8311665 140736490190560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 67805 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517962 425286 1155 1006 0 516723 0
Current children cumulated CPU time: 3005.95 s
Current children cumulated vsize: 2071848 KiB
Current children cumulated memory: 1701144 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: 2.13 2.14 2.10 2/241 894805
/proc/meminfo: memFree=26948288/131524600 swapFree=131071216/131071996
[pid=892798] ppid=892795 vsize=2071848 memory=1701144 CPUtime=3005.95 cores=0,2
/proc/892798/stat : 892798 (Exact_veripb2) D 892795 892798 892672 0 -1 4194304 195253 0 0 0 296963 3632 0 0 20 0 1 0 165222586 2121572352 425286 134679101440 4194304 8311665 140736490190560 0 0 256 0 0 8404994 0 0 0 17 0 0 0 67805 0 0 9173656 9252184 44568576 140736490197832 140736490198110 140736490198110 140736490205127 0
/proc/892798/statm: 517962 425286 1155 1006 0 516723 0
??? kill 892798 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC023 at 2024-08-18 15:03:53 IDJOB=4441340 IDBENCH=155727 IDSOLVER=3081 FILE ID=nodeC023/4441340-1723986233 RUNJOBID= nodeC023-1723986219-892682 SLURM_JOB_ID= 8268147 Free space on /tmp= 890052 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat50_6_9_9_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-4441340-1723986233/watcher-4441340-1723986233 -o /tmp/evaluation-result-4441340-1723986233/solver-4441340-1723986233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1723986219-892682 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441340-1723986233 --seed=83732635 HOME/instance-4441340-1723986233.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4134a3bbfafa37bf409eb88a166c5118 RANDOM SEED=83732635 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 : 3615.145 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.61 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 : 3696.235 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 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 : 3611.210 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.61 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 : 3673.676 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 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 : 3619.115 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.61 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 : 3697.523 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 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 : 3602.263 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.61 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 : 3653.479 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123836908 kB MemAvailable: 127322144 kB Buffers: 401076 kB Cached: 3926144 kB SwapCached: 0 kB Active: 830344 kB Inactive: 6181260 kB Active(anon): 1572 kB Inactive(anon): 2728776 kB Active(file): 828772 kB Inactive(file): 3452484 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1262156 kB Writeback: 757804 kB AnonPages: 2683540 kB Mapped: 123404 kB Shmem: 45912 kB KReclaimable: 87256 kB Slab: 261888 kB SReclaimable: 87256 kB SUnreclaim: 174632 kB KernelStack: 4192 kB PageTables: 14620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3227192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61536 kB HardwareCorrupted: 0 kB AnonHugePages: 2347008 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: 273108 kB DirectMap2M: 20471808 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890064 MiB End job on nodeC023 at 2024-08-18 16:06:53