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/ Multihop/normalized-minisat25_6_4_1_mh.opb |
| MD5SUM | 22685a6d8447b8be1a49f22723e48d9b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3373010 |
| Best CPU time to get the best result obtained on this benchmark | 296.16 |
| 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 | 31350 |
| Total number of constraints | 73332 |
| Number of constraints which are clauses | 57050 |
| Number of constraints which are cardinality constraints (but not clauses) | 32 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16250 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 925 |
| Number of terms in the objective function | 16825 |
| Biggest coefficient in the objective function | 97336000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 12201970261 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 97336000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 12201970261 |
| Number of bits of the biggest sum of numbers | 34 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.02/3.82 o 261204639 5.31/7.15 o 261107377 5.41/7.21 o 202118209 5.41/7.27 o 193333671 5.51/7.32 o 178424003 5.51/7.36 o 94672291 6.41/8.29 o 94538209 6.81/8.64 o 94530680 6.81/8.66 o 94439628 7.00/8.89 o 71141599 7.10/8.92 o 70921045 7.10/8.95 o 70717408 7.10/8.99 o 69540908 7.21/9.04 o 62689766 7.31/9.10 o 54631240 7.31/9.19 o 54628388 7.40/9.21 o 54341624 7.40/9.27 o 54332978 7.40/9.29 o 54327647 8.21/10.09 o 53833177 9.20/11.01 o 53648412 9.20/11.03 o 53593517 9.20/11.09 o 53587328 9.59/11.42 o 53555628 10.59/12.41 o 53544290 74.96/112.65 o 53491767 75.06/112.73 o 53416466 75.16/112.80 o 53385343 75.16/112.87 o 53354135 75.26/112.95 o 53339073 75.37/113.03 o 53245703 75.76/113.43 o 53228061 75.86/113.50 o 53212999 76.56/114.25 o 53171445 76.66/114.32 o 52968857 76.86/114.55 o 52897583 76.95/114.62 o 52844299 78.25/120.71 o 52795117 78.36/120.80 o 52773234 78.46/120.90 o 52668544 81.65/124.10 o 52639226 82.15/124.64 o 52549609 84.93/127.44 o 52532935 86.64/129.15 o 52524494 87.23/129.70 o 52512003 100.78/143.30 o 52386582 100.78/143.39 o 52360932 101.68/144.26 o 50966344 101.78/144.35 o 50964670 108.85/157.24 o 49861715 109.05/157.42 o 49742144 109.34/157.70 o 49702055 110.24/158.69 o 49658765 112.04/160.46 o 49622779 112.34/160.77 o 49606490 112.54/160.99 o 49602477 112.64/161.09 o 49592432 112.74/161.19 o 49527920 116.83/165.22 o 49401534 116.93/165.32 o 49372838 117.12/165.54 o 49366016 117.73/166.12 o 49365124 121.01/169.48 o 49351312 123.89/172.30 o 49342871 127.29/175.74 o 49328807 353.18/551.87 o 49264727 353.28/551.92 o 49116563 353.28/551.97 o 49077547 353.67/552.34 o 48991339 353.97/552.61 o 48976755 354.57/553.22 o 48970092 361.55/560.27 o 48966703 361.65/560.31 o 48950748 364.94/563.68 o 38201416 365.04/563.74 o 38055758 365.04/563.79 o 38048798 365.14/563.86 o 37909959 365.34/564.01 o 37882941 370.26/569.02 o 37882125 370.55/569.35 o 37878014 370.96/569.75 o 37871054 371.85/570.64 o 37856494 373.05/571.80 o 37855123 374.84/573.61 o 36441416 374.84/573.66 o 36418755 374.94/573.72 o 36411345 375.54/574.38 o 36407235 422.53/622.86 o 30574011 424.13/624.48 o 30149672 424.22/624.58 o 30096167 424.42/624.73 o 29920819 424.83/625.11 o 29807106 425.12/625.46 o 29772108 425.72/626.05 o 29743180 429.52/633.49 o 25205931 429.82/633.74 o 25080111 429.92/633.85 o 25079373 430.02/633.95 o 25078855 430.12/634.05 o 25075901 430.72/634.65 o 24975832 431.13/635.08 o 24956259 431.32/635.29 o 24937443 434.12/638.06 o 24936406 434.31/638.25 o 24932202 434.41/638.35 o 24865755 434.51/638.48 o 24855381 437.60/641.53 o 24405458 437.70/641.64 o 24316594 437.80/641.75 o 24311331 437.90/641.85 o 24302002 438.21/642.17 o 24293672 438.30/642.26 o 24293154 438.70/642.67 o 24289742 445.58/649.58 o 24283044 449.47/653.49 o 24233295 449.67/653.65 o 24209046 449.77/653.78 o 24139435 449.97/653.90 o 24124413 450.07/654.03 o 24059776 452.45/656.40 o 24056579 458.08/666.83 o 23971428 458.18/666.96 o 23929280 458.29/667.10 o 23851554 459.18/667.93 o 23830243 483.41/697.16 o 23826204 483.61/697.39 o 23813984 502.16/715.99 o 11748647 518.95/743.32 o 11555426 519.15/743.58 o 11551206 521.04/745.41 o 11336813 521.44/745.81 o 11218453 521.44/745.88 o 11207611 521.54/745.97 o 11180781 523.84/748.24 o 11131306 523.94/748.34 o 11092433 524.13/748.58 o 11070431 524.24/748.66 o 11059504 526.33/750.70 o 10940376 526.43/750.80 o 10911144 526.53/750.91 o 10909096 526.73/751.18 o 10906394 532.12/758.49 o 10901546 611.03/853.33 o 10863330 611.13/853.47 o 10853430 945.10/1274.85 o 10788570 945.20/1274.92 o 10717126 945.20/1274.99 o 10641526 961.53/1296.56 o 10634556 985.53/1322.93 o 10632719 1021.55/1360.16 o 10631291 1021.84/1360.42 o 10618099 1810.45/2311.73 o 10613106 1810.65/2311.96 o 10572266 1810.86/2312.13 o 10116328 1810.95/2312.22 o 10108766 1811.46/2312.71 o 10096856 1814.85/2316.14 o 10008207 1815.34/2316.66 o 10006678 1815.85/2317.14 o 9998566 1818.23/2319.58 o 9863330 1818.33/2319.66 o 9842676 1818.53/2319.85 o 9815002 1818.63/2319.95 o 9799812 1820.93/2322.29 o 9761452 1908.65/2421.77 o 9730190 1909.45/2422.57 o 9722358 1909.55/2422.61 o 9720446 1910.24/2423.33 o 7702360 1910.35/2423.45 o 6747224 1910.45/2423.56 o 6722174 1910.45/2423.58 o 6694792 1910.95/2424.02 o 6671490 1910.95/2424.08 o 6663240 1914.14/2427.26 o 6581419 1924.66/2443.38 o 6372080 1924.76/2443.42 o 6355559 1924.76/2443.47 o 6316948 1946.02/2469.38 o 6302710 1971.09/2498.63 o 6288889 1971.39/2499.00 o 6277599 1992.03/2519.65 o 6228469 1992.13/2519.76 o 5941223 1992.23/2519.86 o 5903797 1992.33/2519.95 o 5900206 1992.73/2520.30 o 5857095 2047.20/2580.54 o 5811916 2079.98/2614.36 o 5805407 2080.08/2614.44 o 5773595 2080.38/2614.77 o 5766036 2080.58/2614.92 o 5756085 2080.68/2615.04 o 5755323 2080.68/2615.10 o 5754556 2234.38/2802.43 o 5731992 2234.57/2802.61 o 5724433 2260.22/2830.08 o 5708530 2373.96/2966.09 o 5443874 2445.20/3049.94 o 5269744 2445.50/3050.29 o 4817836 2445.60/3050.32 o 4803517 2445.70/3050.48 o 4777745 2447.70/3052.44 o 4660673 2448.19/3052.99 o 4610686 2448.30/3053.01 o 4483847 2448.30/3053.03 o 4470437 2448.40/3053.11 o 4461209 2448.89/3053.61 o 4448921 2451.18/3055.93 o 4384069 2454.28/3059.03 o 4362640 2454.28/3059.06 o 4234556 2454.28/3059.10 o 4229164 2454.47/3059.20 o 4222148 2455.17/3059.99 o 4218786 2464.09/3084.03 o 4191965 2464.09/3084.08 o 4171973 2545.00/3179.40 o 4167880 2592.20/3237.61 o 4045944 2593.40/3238.85 o 3974027 2594.90/3240.37 o 3970464 2595.50/3240.91 o 3950937 2699.28/3360.76 o 3929086 2750.75/3417.87 o 3896158 2750.75/3417.88 o 3888599 2764.71/3431.84 o 3886896 2765.10/3432.23 o 3885732 2766.60/3433.77 o 3885436 2972.51/3647.85 o 3873608 2977.19/3652.53 o 3868063
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 (61519 MiB free)
memory of node 1: 64473 MiB (63332 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4441356-1723986230/watcher-4441356-1723986230 -o /tmp/evaluation-result-4441356-1723986230/solver-4441356-1723986230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1723986219-890783 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441356-1723986230 --seed=83732635 HOME/instance-4441356-1723986230.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 419430400 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=890968, runsolver pid=890961
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 1.20 0.35 0.17 3/253 890969
/proc/meminfo: memFree=127847408/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=26440 memory=2532 CPUtime=0 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 165224085 27074560 633 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 6610 633 612 1006 0 5371 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26440 KiB
Current children cumulated memory: 2532 KiB
[startup+0.205384 s]*
/proc/loadavg: 1.20 0.35 0.17 3/253 890969
/proc/meminfo: memFree=127843772/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=26440 memory=2532 CPUtime=0 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 165224085 27074560 633 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 6610 633 612 1006 0 5371 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26440 KiB
Current children cumulated memory: 2532 KiB
[startup+0.304745 s]*
/proc/loadavg: 1.20 0.35 0.17 3/253 890969
/proc/meminfo: memFree=127843336/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=26440 memory=2532 CPUtime=0 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 165224085 27074560 633 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 6610 633 612 1006 0 5371 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26440 KiB
Current children cumulated memory: 2532 KiB
[startup+0.70018 s]
/proc/loadavg: 1.20 0.35 0.17 3/253 890969
/proc/meminfo: memFree=127815024/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=26440 memory=2532 CPUtime=0 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 165224085 27074560 633 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 6610 633 612 1006 0 5371 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26440 KiB
Current children cumulated memory: 2532 KiB
[startup+1.50024 s]
/proc/loadavg: 1.20 0.35 0.17 3/253 890969
/proc/meminfo: memFree=127804308/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=26440 memory=2532 CPUtime=0 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 165224085 27074560 633 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 6610 633 612 1006 0 5371 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26440 KiB
Current children cumulated memory: 2532 KiB
[startup+3.10559 s]
/proc/loadavg: 1.20 0.35 0.17 6/258 890989
/proc/meminfo: memFree=127363356/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=134540 memory=120360 CPUtime=1.32 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 22974 0 0 0 128 4 0 0 20 0 1 0 165224085 137768960 30090 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 33635 30090 1139 1006 0 32396 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 134540 KiB
Current children cumulated memory: 120360 KiB
heavy processes:
[startup+6.30022 s]
/proc/loadavg: 1.43 0.41 0.19 6/258 890989
/proc/meminfo: memFree=126641824/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=290936 memory=240328 CPUtime=4.51 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 33249 0 0 0 436 15 0 0 20 0 1 0 165224085 297918464 60082 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 72734 60082 1139 1006 0 71495 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 290936 KiB
Current children cumulated memory: 240328 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 1.63 0.47 0.21 6/258 890990
/proc/meminfo: memFree=125547344/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=322528 memory=265228 CPUtime=10.9 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 35846 0 0 0 1065 25 0 0 20 0 1 0 165224085 330268672 66307 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 80632 66307 1139 1006 0 79393 0
Current children cumulated CPU time: 10.9 s
Current children cumulated vsize: 322528 KiB
Current children cumulated memory: 265228 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 0.66 0.28 2/259 890993
/proc/meminfo: memFree=122765996/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=422212 memory=365936 CPUtime=20.39 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 46223 0 0 0 1997 42 0 0 20 0 1 0 165224085 432345088 91484 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 105553 91484 1155 1006 0 104314 0
Current children cumulated CPU time: 20.39 s
Current children cumulated vsize: 422212 KiB
Current children cumulated memory: 365936 KiB
heavy processes:
[startup+51.1057 s]
/proc/loadavg: 2.91 0.95 0.38 6/259 890998
/proc/meminfo: memFree=121989332/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=551380 memory=437556 CPUtime=25.98 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 54004 0 0 0 2543 55 0 0 20 0 1 0 165224085 564613120 109389 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2328 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 137845 109389 1155 1006 0 136606 0
Current children cumulated CPU time: 25.98 s
Current children cumulated vsize: 551380 KiB
Current children cumulated memory: 437556 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 3.60 1.43 0.58 4/259 891006
/proc/meminfo: memFree=116473504/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=1192072 memory=917984 CPUtime=64.7 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 121630 0 0 0 6366 104 0 0 20 0 1 0 165224085 1220681728 229496 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3563 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 298018 229496 1155 1006 0 296779 0
Current children cumulated CPU time: 64.7 s
Current children cumulated vsize: 1192072 KiB
Current children cumulated memory: 917984 KiB
heavy processes:
[startup+162.3 s]
/proc/loadavg: 3.91 1.92 0.80 6/258 891018
/proc/meminfo: memFree=113499196/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=1356800 memory=1133732 CPUtime=113.94 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 153271 0 0 0 11250 144 0 0 20 0 1 0 165224085 1389363200 283433 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4624 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 339200 283433 1155 1006 0 337961 0
Current children cumulated CPU time: 113.94 s
Current children cumulated vsize: 1356800 KiB
Current children cumulated memory: 1133732 KiB
heavy processes:
[startup+222.3 s]
/proc/loadavg: 4.07 2.33 1.02 4/258 891030
/proc/meminfo: memFree=109247660/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=1361424 memory=1154532 CPUtime=156.23 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 157185 0 0 0 15450 173 0 0 20 0 1 0 165224085 1394098176 288633 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4901 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 340356 288633 1155 1006 0 339117 0
Current children cumulated CPU time: 156.23 s
Current children cumulated vsize: 1361424 KiB
Current children cumulated memory: 1154532 KiB
heavy processes:
[startup+282.3 s]
/proc/loadavg: 4.13 2.67 1.22 5/258 891040
/proc/meminfo: memFree=108428276/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=1361424 memory=1154532 CPUtime=161.19 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 157187 0 0 0 15944 175 0 0 20 0 1 0 165224085 1394098176 288633 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 11885 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 340356 288633 1155 1006 0 339117 0
Current children cumulated CPU time: 161.19 s
Current children cumulated vsize: 1361424 KiB
Current children cumulated memory: 1154532 KiB
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.09 2.93 1.40 2/259 891054
/proc/meminfo: memFree=105104052/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=2088804 memory=1663584 CPUtime=188.64 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 229060 0 0 0 18648 216 0 0 20 0 1 0 165224085 2138935296 415896 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 11885 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 522201 415896 1155 1006 0 520962 0
Current children cumulated CPU time: 188.64 s
Current children cumulated vsize: 2088804 KiB
Current children cumulated memory: 1663584 KiB
heavy processes:
[startup+402.3 s]
/proc/loadavg: 4.19 3.17 1.58 6/259 891068
/proc/meminfo: memFree=101942164/131524600 swapFree=131063756/131071996
[pid=890968] ppid=890961 vsize=2113020 memory=1688708 CPUtime=230.81 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 232393 0 0 0 22833 248 0 0 20 0 1 0 165224085 2163732480 422177 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 16903 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 528255 422177 1155 1006 0 527016 0
Current children cumulated CPU time: 230.81 s
################
# More data... #
################
Current children cumulated CPU time: 2130.1 s
Current children cumulated vsize: 2183828 KiB
Current children cumulated memory: 1754768 KiB
heavy processes:
[startup+2742.3 s]
/proc/loadavg: 3.20 3.28 3.35 4/252 892159
/proc/meminfo: memFree=4323316/131524600 swapFree=131058344/131071996
[pid=890968] ppid=890961 vsize=2187108 memory=1757204 CPUtime=2183.02 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 256488 0 0 0 216142 2160 0 0 20 0 1 0 165224085 2239598592 439301 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 55101 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 546777 439301 1155 1006 0 545538 0
Current children cumulated CPU time: 2183.02 s
Current children cumulated vsize: 2187108 KiB
Current children cumulated memory: 1757204 KiB
heavy processes:
[startup+2802.3 s]
/proc/loadavg: 3.19 3.26 3.34 5/253 892174
/proc/meminfo: memFree=1945528/131524600 swapFree=131058344/131071996
[pid=890968] ppid=890961 vsize=2187108 memory=1758080 CPUtime=2234.28 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 257587 0 0 0 221211 2217 0 0 20 0 1 0 165224085 2239598592 439520 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 55959 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 546777 439520 1155 1006 0 545538 0
Current children cumulated CPU time: 2234.28 s
Current children cumulated vsize: 2187108 KiB
Current children cumulated memory: 1758080 KiB
heavy processes:
[startup+2862.3 s]
/proc/loadavg: 3.12 3.23 3.32 5/253 892186
/proc/meminfo: memFree=560344/131524600 swapFree=131058344/131071996
[pid=890968] ppid=890961 vsize=2187108 memory=1758448 CPUtime=2286.08 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 258580 0 0 0 226338 2270 0 0 20 0 1 0 165224085 2239598592 439612 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 56765 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 546777 439612 1155 1006 0 545538 0
Current children cumulated CPU time: 2286.08 s
Current children cumulated vsize: 2187108 KiB
Current children cumulated memory: 1758448 KiB
heavy processes:
[startup+2922.3 s]
/proc/loadavg: 3.09 3.20 3.30 5/253 892196
/proc/meminfo: memFree=534272/131524600 swapFree=131058344/131071996
[pid=890968] ppid=890961 vsize=2189748 memory=1760828 CPUtime=2333.24 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 259445 0 0 0 230999 2325 0 0 20 0 1 0 165224085 2242301952 440207 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 58037 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 547437 440207 1155 1006 0 546198 0
Current children cumulated CPU time: 2333.24 s
Current children cumulated vsize: 2189748 KiB
Current children cumulated memory: 1760828 KiB
heavy processes:
[startup+2982.3 s]
/proc/loadavg: 3.14 3.19 3.29 5/253 892207
/proc/meminfo: memFree=525740/131524600 swapFree=131058344/131071996
[pid=890968] ppid=890961 vsize=2190932 memory=1761528 CPUtime=2381.79 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 260216 0 0 0 235811 2368 0 0 20 0 1 0 165224085 2243514368 440382 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 59167 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 547733 440382 1155 1006 0 546494 0
Current children cumulated CPU time: 2381.79 s
Current children cumulated vsize: 2190932 KiB
Current children cumulated memory: 1761528 KiB
heavy processes:
[startup+3042.3 s]
/proc/loadavg: 3.10 3.17 3.28 5/254 892218
/proc/meminfo: memFree=578204/131524600 swapFree=131058344/131071996
[pid=890968] ppid=890961 vsize=2192388 memory=1763664 CPUtime=2437.63 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 261470 0 0 0 241339 2424 0 0 20 0 1 0 165224085 2245005312 440916 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 59568 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 548097 440916 1155 1006 0 546858 0
Current children cumulated CPU time: 2437.63 s
Current children cumulated vsize: 2192388 KiB
Current children cumulated memory: 1763664 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.17 3.27 3/256 892616
/proc/meminfo: memFree=646320/131524600 swapFree=131058344/131071996
[pid=890968] ppid=890961 vsize=2200688 memory=1771364 CPUtime=2475.68 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 263440 0 0 0 245108 2460 0 0 20 0 1 0 165224085 2253504512 442841 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 61084 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 550172 442841 1155 1006 0 548933 0
Current children cumulated CPU time: 2475.68 s
Current children cumulated vsize: 2200688 KiB
Current children cumulated memory: 1771364 KiB
heavy processes:
[startup+3162.3 s]
/proc/loadavg: 3.12 3.15 3.26 4/254 892627
/proc/meminfo: memFree=645304/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2203204 memory=1774092 CPUtime=2532.51 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 264451 0 0 0 250741 2510 0 0 20 0 1 0 165224085 2256080896 443523 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 62038 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 550801 443523 1155 1006 0 549562 0
Current children cumulated CPU time: 2532.51 s
Current children cumulated vsize: 2203204 KiB
Current children cumulated memory: 1774092 KiB
[startup+3222.3 s]
/proc/loadavg: 3.14 3.15 3.25 5/254 892639
/proc/meminfo: memFree=572152/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2203204 memory=1774688 CPUtime=2581.37 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 264752 0 0 0 255557 2580 0 0 20 0 1 0 165224085 2256080896 443672 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 63150 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 550801 443672 1155 1006 0 549562 0
Current children cumulated CPU time: 2581.37 s
Current children cumulated vsize: 2203204 KiB
Current children cumulated memory: 1774688 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.15 3.24 4/255 892820
/proc/meminfo: memFree=519044/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2203204 memory=1780052 CPUtime=2631.96 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 264997 0 0 0 260547 2649 0 0 20 0 1 0 165224085 2256080896 445013 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 64077 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 550801 445013 1155 1006 0 549562 0
Current children cumulated CPU time: 2631.96 s
Current children cumulated vsize: 2203204 KiB
Current children cumulated memory: 1780052 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.14 3.23 4/255 892831
/proc/meminfo: memFree=596560/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2203204 memory=1780300 CPUtime=2681.93 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 265373 0 0 0 265500 2693 0 0 20 0 1 0 165224085 2256080896 445075 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 65066 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 550801 445075 1155 1006 0 549562 0
Current children cumulated CPU time: 2681.93 s
Current children cumulated vsize: 2203204 KiB
Current children cumulated memory: 1780300 KiB
[startup+3402.3 s]
/proc/loadavg: 3.36 3.19 3.24 5/255 892846
/proc/meminfo: memFree=560940/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2204716 memory=1781672 CPUtime=2737.06 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 265851 0 0 0 270948 2758 0 0 20 0 1 0 165224085 2257629184 445418 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 65538 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 551179 445418 1155 1006 0 549940 0
Current children cumulated CPU time: 2737.06 s
Current children cumulated vsize: 2204716 KiB
Current children cumulated memory: 1781672 KiB
[startup+3462.3 s]
/proc/loadavg: 3.22 3.18 3.24 5/255 892868
/proc/meminfo: memFree=641204/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2204716 memory=1782132 CPUtime=2794.19 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 266265 0 0 0 276588 2831 0 0 20 0 1 0 165224085 2257629184 445533 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 65807 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 551179 445533 1155 1006 0 549940 0
Current children cumulated CPU time: 2794.19 s
Current children cumulated vsize: 2204716 KiB
Current children cumulated memory: 1782132 KiB
[startup+3522.3 s]
/proc/loadavg: 3.20 3.19 3.24 5/255 892878
/proc/meminfo: memFree=493388/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2205304 memory=1783556 CPUtime=2853.04 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 266862 0 0 0 282427 2877 0 0 20 0 1 0 165224085 2258231296 445889 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 65906 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 551326 445889 1155 1006 0 550087 0
Current children cumulated CPU time: 2853.04 s
Current children cumulated vsize: 2205304 KiB
Current children cumulated memory: 1783556 KiB
[startup+3582.3 s]
/proc/loadavg: 3.18 3.18 3.23 5/255 892888
/proc/meminfo: memFree=686032/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2205652 memory=1783732 CPUtime=2910.6 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 267278 0 0 0 288104 2956 0 0 20 0 1 0 165224085 2258587648 445933 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 66133 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 551413 445933 1155 1006 0 550174 0
Current children cumulated CPU time: 2910.6 s
Current children cumulated vsize: 2205652 KiB
Current children cumulated memory: 1783732 KiB
[startup+3642.3 s]
/proc/loadavg: 3.12 3.16 3.22 5/254 892899
/proc/meminfo: memFree=523856/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2206712 memory=1789472 CPUtime=2967.02 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) R 890961 890968 890770 0 -1 4194304 268069 0 0 0 293685 3017 0 0 20 0 1 0 165224085 2259673088 447368 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 66476 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 551678 447368 1155 1006 0 550439 0
Current children cumulated CPU time: 2967.02 s
Current children cumulated vsize: 2206712 KiB
Current children cumulated memory: 1789472 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.05 3.13 3.20 3/252 892910
/proc/meminfo: memFree=626652/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2208428 memory=1804180 CPUtime=3014.88 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 268932 0 0 0 298412 3076 0 0 20 0 1 0 165224085 2261430272 451045 134679101440 4194304 8311665 140736177879936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 66506 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 552107 451045 1155 1006 0 550868 0
Current children cumulated CPU time: 3014.88 s
Current children cumulated vsize: 2208428 KiB
Current children cumulated memory: 1804180 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 2/252 892910
/proc/meminfo: memFree=1463824/131524600 swapFree=131058088/131071996
[pid=890968] ppid=890961 vsize=2208428 memory=1804180 CPUtime=3014.88 cores=5,7
/proc/890968/stat : 890968 (Exact_veripb2) D 890961 890968 890770 0 -1 4194304 268932 0 0 0 298412 3076 0 0 20 0 1 0 165224085 2261430272 451045 134679101440 4194304 8311665 140736177879936 0 0 256 0 0 8404994 0 0 0 17 5 0 0 66506 0 0 9173656 9252184 44871680 140736177886024 140736177886302 140736177886302 140736177893319 0
/proc/890968/statm: 552107 451045 1155 1006 0 550868 0
??? kill 890968 sig 9
??? end of watcher thread
watchdog killed runsolver after 3760 seconds.
Begin job on nodeC029 at 2024-08-18 15:03:50 IDJOB=4441356 IDBENCH=155650 IDSOLVER=3081 FILE ID=nodeC029/4441356-1723986230 RUNJOBID= nodeC029-1723986219-890783 SLURM_JOB_ID= 8268153 Free space on /tmp= 890052 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_1_mh.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-4441356-1723986230/watcher-4441356-1723986230 -o /tmp/evaluation-result-4441356-1723986230/solver-4441356-1723986230 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1723986219-890783 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441356-1723986230 --seed=83732635 HOME/instance-4441356-1723986230.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 22685a6d8447b8be1a49f22723e48d9b 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 : 3639.596 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 : 3605.830 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 : 3609.937 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 : 3670.925 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 : 3661.618 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 : 3667.423 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.883 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 : 3669.860 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: 127852868 kB MemAvailable: 129184356 kB Buffers: 387196 kB Cached: 1789572 kB SwapCached: 208 kB Active: 875160 kB Inactive: 2193248 kB Active(anon): 1680 kB Inactive(anon): 935328 kB Active(file): 873480 kB Inactive(file): 1257920 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063756 kB Dirty: 170360 kB Writeback: 0 kB AnonPages: 890520 kB Mapped: 113612 kB Shmem: 45600 kB KReclaimable: 79820 kB Slab: 195104 kB SReclaimable: 79820 kB SUnreclaim: 115284 kB KernelStack: 3980 kB PageTables: 10612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1445640 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61696 kB HardwareCorrupted: 0 kB AnonHugePages: 446464 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