Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | ? (TO) | 3602.08 | 3612.11 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb |
| MD5SUM | f09254b7fcacaa5196265d97bb7e429a |
| 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 | 5675101 |
| Best CPU time to get the best result obtained on this benchmark | 1612.08 |
| 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 | 14620 |
| Total number of constraints | 21851 |
| Number of constraints which are clauses | 170 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21675 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3570 |
| Number of terms in the objective function | 14365 |
| Biggest coefficient in the objective function | 153990656 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 153911476473 |
| Number of bits of the sum of numbers in the objective function | 38 |
| Biggest number in a constraint | 153990656 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 153911476473 |
| Number of bits of the biggest sum of numbers | 38 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.09/1.17 o 331014519 1.09/1.18 o 260986705 1.09/1.19 o 227417207 1.18/1.23 o 227102045 1.18/1.26 o 227048805 1.28/1.34 o 135067269 1.68/1.77 o 67161815 1.68/1.78 o 43044423 1.78/1.86 o 30910573 1.88/1.94 o 30568305 1.99/2.08 o 30477291 3.09/3.15 o 26826813 3.18/3.20 o 25902113 3.18/3.24 o 25889601 3.18/3.27 o 25845999 3.57/3.63 o 21737671 3.78/3.80 o 20665985 3.78/3.82 o 20634419 3.99/4.02 o 20579685 3.99/4.06 o 20568253 3.99/4.08 o 20472739 3.99/4.10 o 20444277 4.08/4.12 o 20385029 10.16/10.21 o 17932621 11.06/11.18 o 17924257 11.15/11.23 o 17921915 11.25/11.30 o 17914641 11.25/11.37 o 17886279 13.25/13.39 o 17556525 17.84/17.98 o 13174573 17.94/18.01 o 13117805 17.94/18.05 o 13052653 17.94/18.08 o 13051203 23.32/23.40 o 12909943 54.34/54.52 o 11926247 61.71/61.99 o 11924599 75.98/76.28 o 11923309 76.97/77.21 o 11921057 77.27/77.58 o 11918127 132.39/132.87 o 11619837 208.84/209.56 o 10202273 813.10/815.66 o 9400771 862.07/864.71 o 9257593 862.27/864.92 o 9254841 862.48/865.10 o 9239479 866.36/869.00 o 9237383 866.36/869.08 o 9234905 866.46/869.16 o 9233239 866.66/869.31 o 9230983 866.96/869.68 o 9229443 867.06/869.78 o 9226965 867.16/869.87 o 9225299 868.25/870.95 o 9221559 868.36/871.08 o 9219765 868.46/871.18 o 9218259 868.55/871.28 o 9207631 868.85/871.59 o 9206385 868.95/871.69 o 9204719 869.15/871.81 o 9203873 869.25/871.90 o 9200701 869.55/872.24 o 9199889 869.65/872.37 o 9197633 869.85/872.53 o 9195871 869.95/872.64 o 9193615 870.05/872.73 o 9191949 870.74/873.49 o 9190583 870.94/873.64 o 9189949 871.74/874.41 o 9185879 871.84/874.54 o 9185245 871.94/874.66 o 9184751 872.24/874.97 o 9184629 872.34/875.08 o 9182611 872.44/875.19 o 9182117 873.04/875.72 o 9177413 873.64/876.38 o 9177125 874.14/876.89 o 9175623 874.64/877.33 o 9170195 874.84/877.51 o 9169701 876.03/878.73 o 9162623 876.34/879.05 o 9161495 876.44/879.20 o 9159477 877.13/879.83 o 9154637 879.62/882.31 o 9154503 879.72/882.47 o 9151201 880.02/882.70 o 9150837 880.32/883.01 o 9146959 880.51/883.20 o 9143813 881.51/884.20 o 9141703 882.61/885.38 o 9141127 883.61/886.39 o 9139761 883.91/886.61 o 9137243 884.11/886.87 o 9136725 884.31/887.02 o 9134611 884.41/887.17 o 9132483 884.70/887.43 o 9130341 885.00/887.71 o 9126823 885.90/888.69 o 9126247 886.90/889.65 o 9123457 887.20/889.98 o 9122881 887.50/890.20 o 9120727 894.08/896.85 o 9120443 906.45/909.28 o 9116633 906.75/909.51 o 9100733 908.14/910.92 o 9100227 1169.25/1172.78 o 9095801 1175.23/1178.70 o 9042381 1175.33/1178.81 o 9039997 1175.43/1178.95 o 9039799 1175.83/1179.39 o 9012987 1176.03/1179.50 o 9011215 1176.13/1179.60 o 9005715 1176.13/1179.68 o 9004375 1176.23/1179.78 o 9000121 1176.33/1179.86 o 8994621 1176.43/1179.93 o 8992849 1176.54/1180.01 o 8983725 1176.63/1180.14 o 8983463 1176.73/1180.24 o 8979839 1177.53/1181.05 o 8971289 1180.32/1183.80 o 8965439 1180.32/1183.88 o 8956889 1180.82/1184.34 o 8932191 1182.31/1185.84 o 8928815 1185.00/1188.52 o 8927255 1185.80/1189.32 o 8926189 1185.90/1189.45 o 8925415 1186.00/1189.53 o 8921015 1186.40/1189.98 o 8915815 1186.50/1190.09 o 8898975 1186.70/1190.21 o 8889275 1187.80/1191.31 o 8888781 1187.89/1191.43 o 8885405 1190.79/1194.31 o 8882497 1190.89/1194.44 o 8877197 1190.99/1194.57 o 8877155 1191.39/1194.99 o 8873285 1193.59/1197.16 o 8871387 1193.78/1197.30 o 8869463 1193.88/1197.42 o 8864289 1193.98/1197.53 o 8860913 1194.08/1197.67 o 8860871 1194.78/1198.36 o 8857001 1196.07/1199.64 o 8842619 1196.17/1199.76 o 8839243 1196.37/1199.96 o 8839201 1198.97/1202.59 o 8837611 1199.17/1202.78 o 8837569 1201.86/1205.45 o 8833741 1202.26/1205.88 o 8831421 1202.46/1206.08 o 8827973 1202.66/1206.27 o 8814581 1204.35/1207.90 o 8811179 1206.64/1210.28 o 8803167 1207.34/1210.92 o 8801647 1207.55/1211.12 o 8799765 1209.74/1213.31 o 8798001 1209.94/1213.59 o 8795555 1210.13/1213.76 o 8793631 1210.44/1214.01 o 8790183 1214.73/1218.35 o 8776791 1813.26/1818.47 o 8520765 1887.57/1892.98 o 7981545 1887.68/1893.06 o 7890671 1887.97/1893.31 o 7870729 1888.47/1893.82 o 7845497 1888.57/1893.95 o 7798049 1888.68/1894.05 o 7769025 1888.78/1894.16 o 7760193 1888.87/1894.29 o 7731633 1889.27/1894.61 o 7730225 1889.57/1894.94 o 7718439 1889.57/1894.99 o 7695197 1889.67/1895.04 o 7687457 1889.67/1895.08 o 7681877 1889.77/1895.15 o 7680711 1889.87/1895.20 o 7669577 1890.27/1895.64 o 7652635 1890.37/1895.72 o 7646003 1890.47/1895.84 o 7644837 1890.47/1895.89 o 7633703 1890.57/1895.95 o 7595719 1890.67/1896.05 o 7565789 1890.77/1896.16 o 7564737 1890.87/1896.20 o 7559157 1890.97/1896.30 o 7557991 1890.97/1896.39 o 7557863 1891.07/1896.45 o 7548989 1891.16/1896.51 o 7546325 1891.77/1897.13 o 7545159 1891.96/1897.32 o 7500869 1892.06/1897.40 o 7499817 1892.06/1897.46 o 7494237 1892.36/1897.74 o 7450871 1892.46/1897.80 o 7420941 1892.46/1897.86 o 7414309 1892.56/1898.00 o 7373955 1892.67/1898.06 o 7367323 1892.77/1898.13 o 7321987 1892.77/1898.19 o 7315355 1893.06/1898.47 o 7274147 1893.16/1898.53 o 7267515 1893.36/1898.72 o 7252663 1893.36/1898.78 o 7251611 1893.46/1898.87 o 7212361 1896.25/1901.62 o 7198815 1896.45/1901.83 o 7191255 1897.05/1902.45 o 7191075 1897.35/1902.70 o 7190645 1898.15/1903.58 o 7190227 1898.25/1903.65 o 7180907 1898.35/1903.74 o 7147009 1899.44/1904.86 o 7146829 1900.34/1905.78 o 7139177 1900.54/1905.94 o 7115755 1902.04/1907.41 o 7115087 1902.24/1907.62 o 7112125 1902.34/1907.72 o 7102805 1902.54/1908.00 o 7092567 1903.03/1908.44 o 7081113 1904.53/1909.93 o 7079321 1907.82/1913.24 o 7075705 1908.12/1913.50 o 7061953 1908.22/1913.65 o 7060465 1914.61/1920.07 o 7059745 1914.80/1920.25 o 7058579 1915.40/1920.84 o 7051713 1917.79/1923.21 o 7049369 1918.09/1923.55 o 7047831 1920.09/1925.52 o 7046665 1920.29/1925.72 o 7042791 1920.48/1925.93 o 7041303 1921.18/1926.61 o 7037593 1921.38/1926.82 o 7032553 1923.77/1929.22 o 7031103 1923.97/1929.42 o 7029849 1924.17/1929.63 o 7023635 1924.37/1929.83 o 7021137 1925.77/1931.22 o 6984435 1926.17/1931.64 o 6979365 1926.58/1932.04 o 6975977 2461.20/2468.05 o 6973697 2462.40/2469.24 o 6971233 2462.50/2469.37 o 6971197 2462.70/2469.52 o 6969979 2462.80/2469.63 o 6969739 2462.90/2469.74 o 6967005 2462.99/2469.87 o 6966123 2463.09/2469.99 o 6962305 2463.30/2470.11 o 6962269 2464.30/2471.13 o 6959341 2464.49/2471.38 o 6957155 2464.79/2471.64 o 6954451 2464.99/2471.81 o 6954011 2465.09/2471.93 o 6950157 2465.39/2472.21 o 6927019 2940.31/2948.41 o 6804439 2940.31/2948.47 o 6780185 2940.41/2948.50 o 6768281 2940.41/2948.53 o 6753173 2940.41/2948.55 o 6741269 2944.70/2952.85 o 6624975 2944.80/2952.90 o 6624377 2944.80/2952.95 o 6624355 2944.80/2952.99 o 6615353 2945.60/2953.74 o 6612549 2945.60/2953.78 o 6591447 2945.70/2953.83 o 6588295 2945.80/2953.90 o 6585381 2945.90/2954.08 o 6584957 2946.10/2954.26 o 6577357 2946.20/2954.31 o 6576933 2946.30/2954.46 o 6576371 2946.49/2954.61 o 6568969 2946.59/2954.71 o 6568545 2947.00/2955.11 o 6566231 2947.00/2955.17 o 6565807 2947.19/2955.36 o 6560117 2947.29/2955.44 o 6558237 2948.19/2956.30 o 6556533 2949.59/2957.72 o 6547889 2949.68/2957.82 o 6546253 2949.78/2957.90 o 6543101 2949.89/2958.07 o 6543095 2950.08/2958.21 o 6537079 2950.18/2958.30 o 6528039 2950.58/2958.72 o 6526855 2951.08/2959.23 o 6526657 2951.58/2959.71 o 6526199 2951.68/2959.83 o 6524953 2952.48/2960.61 o 6524931 2952.58/2960.70 o 6521779 2952.78/2960.90 o 6519151 2953.88/2962.01 o 6517447 2954.47/2962.63 o 6515555 2954.67/2962.82 o 6511895 2954.77/2962.92 o 6511471 2954.87/2963.03 o 6508319 2960.86/2969.02 o 6506987 2961.05/2969.20 o 6506421 2961.35/2969.54 o 6503977 2961.55/2969.70 o 6503553 2964.54/2972.78 o 6501919 2973.41/2981.64 o 6498495 3428.23/3437.81 o 6496227 3428.93/3438.51 o 6495169 3429.93/3439.54 o 6494401 3430.23/3439.85 o 6493209 3430.53/3440.18 o 6474617
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: 63708 MiB (60243 MiB free)
memory of node 1: 64465 MiB (61374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503992-1751435802/watcher-4503992-1751435802 -o /tmp/evaluation-result-4503992-1751435802/solver-4503992-1751435802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62069 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=43715115 --ls=0 --inp-dombreaklim=0 HOME/instance-4503992-1751435802.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62117, runsolver pid=62109
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 0.38 0.93 1.52 6/266 62127
/proc/meminfo: memFree=124379040/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=65656 memory=41664 CPUtime=0.09 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 10874 0 0 0 8 1 0 0 20 0 1 0 59254768 67231744 10416 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 16414 10416 1056 1200 0 14894 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65656 KiB
Current children cumulated memory: 41664 KiB
[startup+0.205779 s]*
/proc/loadavg: 0.38 0.93 1.52 6/266 62127
/proc/meminfo: memFree=124355768/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=74780 memory=52424 CPUtime=0.2 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 13099 0 0 0 18 2 0 0 20 0 1 0 59254768 76574720 13106 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 18695 13106 1056 1200 0 17175 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74780 KiB
Current children cumulated memory: 52424 KiB
[startup+0.30565 s]*
/proc/loadavg: 0.38 0.93 1.52 6/266 62127
/proc/meminfo: memFree=124244632/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=104976 memory=82688 CPUtime=0.3 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 20059 0 0 0 27 3 0 0 20 0 1 0 59254768 107495424 20672 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 26244 20672 1216 1200 0 24724 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104976 KiB
Current children cumulated memory: 82688 KiB
[startup+0.700154 s]
/proc/loadavg: 0.38 0.93 1.52 6/266 62127
/proc/meminfo: memFree=124243876/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=109112 memory=85760 CPUtime=0.69 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 20820 0 0 0 65 4 0 0 20 0 1 0 59254768 111730688 21440 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 27278 21440 1216 1200 0 25758 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109112 KiB
Current children cumulated memory: 85760 KiB
[startup+1.50016 s]
/proc/loadavg: 0.75 1.00 1.54 6/266 62127
/proc/meminfo: memFree=124242868/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=112432 memory=92248 CPUtime=1.48 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 21892 0 0 0 144 4 0 0 20 0 1 0 59254768 115130368 23062 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 28108 23062 1280 1200 0 26588 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112432 KiB
Current children cumulated memory: 92248 KiB
[startup+3.10549 s]
/proc/loadavg: 0.75 1.00 1.54 6/265 62127
/proc/meminfo: memFree=124108392/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=120164 memory=111028 CPUtime=3.09 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 24042 0 0 0 304 5 0 0 20 0 1 0 59254768 123047936 27757 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 30041 27757 1280 1200 0 28521 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120164 KiB
Current children cumulated memory: 111028 KiB
[startup+6.30015 s]
/proc/loadavg: 1.01 1.05 1.55 6/265 62128
/proc/meminfo: memFree=123947096/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=178168 memory=154808 CPUtime=6.27 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 31009 0 0 0 619 8 0 0 20 0 1 0 59254768 182444032 38702 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 44542 38702 1280 1200 0 43022 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 178168 KiB
Current children cumulated memory: 154808 KiB
[startup+12.7001 s]
/proc/loadavg: 1.25 1.09 1.57 6/265 62128
/proc/meminfo: memFree=123496720/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=269896 memory=226328 CPUtime=12.65 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 42692 0 0 0 1254 11 0 0 20 0 1 0 59254768 276373504 56582 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 67474 56582 1280 1200 0 65954 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 269896 KiB
Current children cumulated memory: 226328 KiB
[startup+25.5002 s]
/proc/loadavg: 1.67 1.19 1.59 6/265 62128
/proc/meminfo: memFree=123271308/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=313672 memory=279604 CPUtime=25.42 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 52542 0 0 0 2526 16 0 0 20 0 1 0 59254768 321200128 69901 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 78418 69901 1280 1200 0 76898 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 313672 KiB
Current children cumulated memory: 279604 KiB
[startup+51.1056 s]
/proc/loadavg: 2.66 1.48 1.68 6/265 62128
/proc/meminfo: memFree=122939592/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=505584 memory=445112 CPUtime=50.94 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 77295 0 0 0 5070 24 0 0 20 0 1 0 59254768 517718016 111278 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 126396 111278 1280 1200 0 124876 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 505584 KiB
Current children cumulated memory: 445112 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.88 1.81 6/266 62131
/proc/meminfo: memFree=122096108/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=727428 memory=620152 CPUtime=101.99 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 103406 0 0 0 10160 39 0 0 20 0 1 0 59254768 744886272 155038 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 181857 155038 1280 1200 0 180337 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 727428 KiB
Current children cumulated memory: 620152 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.30 1.96 6/266 62133
/proc/meminfo: memFree=121850040/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=821636 memory=746332 CPUtime=161.79 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 120305 0 0 0 16133 46 0 0 20 0 1 0 59254768 841355264 186583 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 205409 186583 1280 1200 0 203889 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 821636 KiB
Current children cumulated memory: 746332 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.63 2.09 6/266 62136
/proc/meminfo: memFree=121798296/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=823880 memory=748124 CPUtime=221.6 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 120836 0 0 0 22111 49 0 0 20 0 1 0 59254768 843653120 187031 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 205970 187031 1280 1200 0 204450 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 823880 KiB
Current children cumulated memory: 748124 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.90 2.22 6/265 62149
/proc/meminfo: memFree=121723720/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=825668 memory=750684 CPUtime=281.4 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 121490 0 0 0 28087 53 0 0 20 0 1 0 59254768 845484032 187671 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 206417 187671 1280 1200 0 204897 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 825668 KiB
Current children cumulated memory: 750684 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.12 2.34 6/264 62153
/proc/meminfo: memFree=121615816/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=827936 memory=752604 CPUtime=341.21 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 122035 0 0 0 34062 59 0 0 20 0 1 0 59254768 847806464 188151 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 206984 188151 1280 1200 0 205464 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 827936 KiB
Current children cumulated memory: 752604 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.29 2.45 6/265 62161
/proc/meminfo: memFree=121584712/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=836228 memory=760156 CPUtime=401.01 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 123984 0 0 0 40041 60 0 0 20 0 1 0 59254768 856297472 190039 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 209057 190039 1280 1200 0 207537 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 836228 KiB
Current children cumulated memory: 760156 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.44 2.56 6/265 62163
/proc/meminfo: memFree=121535804/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=844888 memory=767068 CPUtime=460.82 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 125711 0 0 0 46020 62 0 0 20 0 1 0 59254768 865165312 191767 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 211222 191767 1280 1200 0 209702 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.03 6/264 62292
/proc/meminfo: memFree=120578092/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1098572 memory=1032796 CPUtime=3093.74 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 181924 0 0 0 309161 213 0 0 20 0 1 0 59254768 1124937728 258199 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 274643 258199 1280 1200 0 273123 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 1098572 KiB
Current children cumulated memory: 1032796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.13 4.04 6/264 62295
/proc/meminfo: memFree=120578404/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1098572 memory=1032796 CPUtime=3153.56 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 182207 0 0 0 315143 213 0 0 20 0 1 0 59254768 1124937728 258199 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 274643 258199 1280 1200 0 273123 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 1098572 KiB
Current children cumulated memory: 1032796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.04 6/264 62297
/proc/meminfo: memFree=120569388/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1107492 memory=1039068 CPUtime=3213.38 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 183803 0 0 0 321124 214 0 0 20 0 1 0 59254768 1134071808 259767 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 276873 259767 1280 1200 0 275353 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 1107492 KiB
Current children cumulated memory: 1039068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/264 62299
/proc/meminfo: memFree=120561308/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1107492 memory=1039068 CPUtime=3273.2 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 184043 0 0 0 327106 214 0 0 20 0 1 0 59254768 1134071808 259767 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 276873 259767 1280 1200 0 275353 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 1107492 KiB
Current children cumulated memory: 1039068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.04 6/265 62305
/proc/meminfo: memFree=120569712/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1111208 memory=1042652 CPUtime=3333.01 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 185006 0 0 0 333085 216 0 0 20 0 1 0 59254768 1137876992 260663 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 277802 260663 1280 1200 0 276282 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 1111208 KiB
Current children cumulated memory: 1042652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.04 6/265 62311
/proc/meminfo: memFree=120577096/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1113060 memory=1046364 CPUtime=3392.83 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 185412 0 0 0 339065 218 0 0 20 0 1 0 59254768 1139773440 261591 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278265 261591 1280 1200 0 276745 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 1046364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.04 6/265 62313
/proc/meminfo: memFree=120531400/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1113060 memory=1063516 CPUtime=3452.66 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 185537 0 0 0 345044 222 0 0 20 0 1 0 59254768 1139773440 265879 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278265 265879 1280 1200 0 276745 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 1063516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.04 6/265 62316
/proc/meminfo: memFree=120510736/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1113060 memory=1086940 CPUtime=3512.5 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 185681 0 0 0 351028 222 0 0 20 0 1 0 59254768 1139773440 271735 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278265 271735 1280 1200 0 276745 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 1086940 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.04 6/265 62318
/proc/meminfo: memFree=120451380/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1114100 memory=1101276 CPUtime=3572.36 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 186067 0 0 0 357012 224 0 0 20 0 1 0 59254768 1140838400 275319 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278525 275319 1280 1200 0 277005 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 1114100 KiB
Current children cumulated memory: 1101276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.09 4.04 5/261 62327
/proc/meminfo: memFree=121478364/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1115608 memory=1103196 CPUtime=3600.09 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 186741 0 0 0 359778 231 0 0 20 0 1 0 59254768 1142382592 275799 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278902 275799 1280 1200 0 277382 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1115608 KiB
Current children cumulated memory: 1103196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.11 s]
# the end of solver process 62117 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.72 s, system=2.35952 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.08 4.09 4.04 6/260 62355
/proc/meminfo: memFree=121466696/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1115608 memory=1103196 CPUtime=3601.18 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 186745 0 0 0 359885 233 0 0 20 0 1 0 59254768 1142382592 275799 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278902 275799 1280 1200 0 277382 0
Current children cumulated CPU time: 3601.18 s
Current children cumulated vsize: 1115608 KiB
Current children cumulated memory: 1103196 KiB
[startup+3611.6 s]
/proc/loadavg: 4.08 4.09 4.04 6/260 62355
/proc/meminfo: memFree=121466696/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1115608 memory=1103196 CPUtime=3601.57 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 186745 0 0 0 359924 233 0 0 20 0 1 0 59254768 1142382592 275799 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278902 275799 1280 1200 0 277382 0
Current children cumulated CPU time: 3601.57 s
Current children cumulated vsize: 1115608 KiB
Current children cumulated memory: 1103196 KiB
[startup+3612 s]*
/proc/loadavg: 4.00 4.07 4.04 5/265 62409
/proc/meminfo: memFree=122244852/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1115608 memory=1103196 CPUtime=3601.97 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 186745 0 0 0 359962 235 0 0 20 0 1 0 59254768 1142382592 275799 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278902 275799 1280 1200 0 277382 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 1115608 KiB
Current children cumulated memory: 1103196 KiB
[startup+3612.11 s]
/proc/loadavg: 4.00 4.07 4.04 5/265 62409
/proc/meminfo: memFree=122244852/131249992 swapFree=33010160/33010684
[pid=62117] ppid=62109 vsize=1115608 memory=1103196 CPUtime=3602.07 cores=4,6
/proc/62117/stat : 62117 (Exact) R 62109 62117 62031 0 -1 4194304 186745 0 0 0 359972 235 0 0 20 0 1 0 59254768 1142382592 275799 18446744073709551615 4198400 9112445 140725376580832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30019584 140725376583978 140725376584173 140725376584173 140725376589775 0
/proc/62117/statm: 278902 275799 1280 1200 0 277382 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 1115608 KiB
Current children cumulated memory: 1103196 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.11
CPU time (s): 3602.08
CPU user time (s): 3599.72
CPU system time (s): 2.35952
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 1115608
Max. memory (cumulated for all children) (KiB): 1103196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.72
system time used= 2.35953
maximum resident set size= 1103196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 3712
# summary of solver processes directly reported to runsolver:
# pid: 62117
# total CPU time (s): 3602.08
# total CPU user time (s): 3599.72
# total CPU system time (s): 2.35952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38465 second user time and 17.3709 second system time
The end
Begin job on nodeC035 at 2025-07-02 07:56:42 IDJOB=4503992 IDBENCH=155626 IDSOLVER=3318 FILE ID=nodeC035/4503992-1751435802 RUNJOBID= nodeC035-1751435802-62069 SLURM_JOB_ID= 9598391 Free space on /tmp= 432816 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_7.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503992-1751435802/watcher-4503992-1751435802 -o /tmp/evaluation-result-4503992-1751435802/solver-4503992-1751435802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62069 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=43715115 --ls=0 --inp-dombreaklim=0 HOME/instance-4503992-1751435802.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f09254b7fcacaa5196265d97bb7e429a RANDOM SEED=43715115 nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3600.174 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.752 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.731 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.554 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3597.394 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.686 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.741 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.747 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 124537240 kB MemAvailable: 129710876 kB Buffers: 1840 kB Cached: 5925196 kB SwapCached: 8 kB Active: 359024 kB Inactive: 5633300 kB Active(anon): 71748 kB Inactive(anon): 11588 kB Active(file): 287276 kB Inactive(file): 5621712 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33048 kB Writeback: 0 kB AnonPages: 68628 kB Mapped: 104068 kB Shmem: 18048 kB KReclaimable: 207772 kB Slab: 297368 kB SReclaimable: 207772 kB SUnreclaim: 89596 kB KernelStack: 4068 kB PageTables: 2528 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 329776 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432784 MiB End job on nodeC035 at 2025-07-02 08:56:55