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.03 | 3611.41 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb |
| MD5SUM | a11a369abd963989a0475f7e0477b1a8 |
| 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 | 4167529 |
| Best CPU time to get the best result obtained on this benchmark | 1556.38 |
| 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 | 139798359 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 110323070365 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 139798359 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 110323070365 |
| Number of bits of the biggest sum of numbers | 37 |
| 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.13 o 40794681 4.78/4.87 o 37423841 4.88/4.95 o 37356489 4.88/4.98 o 37281199 4.97/5.04 o 20286259 6.27/6.32 o 20252751 6.27/6.35 o 20226085 6.27/6.38 o 20224453 6.46/6.50 o 20220917 6.66/6.71 o 19586271 6.66/6.74 o 19560071 6.66/6.76 o 19487089 6.66/6.79 o 19476743 6.76/6.82 o 19444839 7.27/7.35 o 18375797 7.37/7.40 o 18309267 7.47/7.55 o 18238689 7.66/7.72 o 18232001 7.66/7.76 o 18195455 7.66/7.78 o 18100967 7.86/7.96 o 15523045 7.86/7.98 o 15513271 7.97/8.09 o 15494567 13.24/13.39 o 12110899 13.34/13.42 o 12084867 13.34/13.49 o 12081733 13.44/13.54 o 12077731 18.43/18.53 o 12069051 19.83/19.92 o 9021181 20.23/20.30 o 7710833 39.77/39.98 o 7701263 39.97/40.15 o 7697515 40.17/40.31 o 7684955 40.47/40.61 o 7676523 40.97/41.17 o 7667959 81.54/81.83 o 7663797 114.84/115.20 o 7648911 115.55/115.98 o 7575149 115.75/116.15 o 7571763 117.04/117.47 o 7500231 117.24/117.62 o 7499433 117.44/117.85 o 7449707 187.14/187.70 o 7445497 187.34/187.96 o 7437433 321.37/322.39 o 5959099 321.87/322.82 o 5930319 322.47/323.43 o 5929699 322.47/323.45 o 5911279 322.87/323.83 o 5902477 323.07/324.09 o 5891091 323.37/324.36 o 5878947 323.57/324.50 o 5860397 323.87/324.89 o 5857511 323.97/324.91 o 5848761 323.97/324.96 o 5837183 324.07/325.08 o 5837117 324.17/325.11 o 5836617 324.17/325.15 o 5832257 324.37/325.37 o 5831111 324.86/325.82 o 5830031 325.86/326.87 o 5819985 325.96/326.91 o 5812323 326.56/327.52 o 5811981 326.56/327.59 o 5811415 326.66/327.63 o 5807055 326.76/327.75 o 5792771 326.86/327.87 o 5785071 327.26/328.25 o 5783421 327.26/328.29 o 5778495 327.56/328.50 o 5777675 327.96/328.93 o 5776399 328.06/329.04 o 5775013 329.06/330.03 o 5773905 329.16/330.18 o 5767025 329.35/330.33 o 5766205 329.45/330.40 o 5762903 331.15/332.18 o 5761437 331.25/332.28 o 5761077 331.35/332.35 o 5760223 331.55/332.54 o 5754989 331.65/332.66 o 5754347 332.15/333.12 o 5753861 332.24/333.20 o 5753007 332.44/333.44 o 5747771 333.54/334.53 o 5743135 333.64/334.62 o 5742281 333.74/334.73 o 5738355 333.84/334.85 o 5731907 333.94/334.93 o 5731053 336.04/337.09 o 5724629 336.23/337.22 o 5724151 336.33/337.36 o 5721831 336.43/337.47 o 5716595 336.53/337.58 o 5715741 336.73/337.74 o 5714613 342.22/343.24 o 5714399 342.41/343.42 o 5713921 344.02/345.01 o 5711531 344.12/345.15 o 5710859 344.31/345.33 o 5710381 344.61/345.64 o 5708749 344.81/345.81 o 5700161 345.01/346.10 o 5699683 345.61/346.66 o 5697363 348.01/349.10 o 5691747 348.41/349.44 o 5690099 348.61/349.63 o 5689427 348.71/349.79 o 5688949 352.30/353.31 o 5687173 352.50/353.50 o 5683725 352.70/353.70 o 5682871 353.59/354.61 o 5681743 355.39/356.48 o 5669805 356.28/357.39 o 5667007 363.07/364.17 o 5662235 363.36/364.40 o 5661381 365.06/366.12 o 5657949 365.26/366.39 o 5650647 365.66/366.76 o 5649519 375.83/376.96 o 5646751 376.13/377.21 o 5644769 376.43/377.51 o 5638501 376.63/377.73 o 5636519 380.22/381.31 o 5634149 692.20/694.19 o 5631461 692.39/694.37 o 5631333 693.59/695.56 o 5605217 693.79/695.77 o 5603587 693.99/695.99 o 5603459 697.38/699.37 o 5603163 697.58/699.56 o 5599129 697.78/699.74 o 5596923 697.98/699.93 o 5596795 698.48/700.48 o 5596259 698.68/700.68 o 5596131 698.88/700.89 o 5589891 1051.84/1054.76 o 5260315 1052.14/1055.02 o 5249283 1052.44/1055.33 o 5245081 1052.54/1055.43 o 5241241 1052.74/1055.66 o 5230465 1052.84/1055.73 o 5216463 1053.04/1055.90 o 5212393 1053.04/1055.99 o 5209747 1053.14/1056.07 o 5206777 1053.24/1056.13 o 5195745 1054.63/1057.54 o 5192059 1054.83/1057.70 o 5191955 1054.93/1057.80 o 5188985 1055.03/1058.00 o 5177953 1055.33/1058.25 o 5176521 1055.53/1058.47 o 5154825 1055.63/1058.53 o 5152529 1055.63/1058.59 o 5141753 1055.83/1058.74 o 5141685 1055.93/1058.83 o 5138611 1056.03/1058.97 o 5130809 1056.13/1059.05 o 5119777 1057.42/1060.34 o 5116133 1057.52/1060.44 o 5113487 1057.62/1060.56 o 5099485 1057.72/1060.63 o 5096411 1065.40/1068.37 o 5092731 1065.50/1068.48 o 5082297 1065.60/1068.59 o 5081205 1066.20/1069.19 o 5078999 1066.60/1069.59 o 5077371 1066.80/1069.72 o 5071851 1066.90/1069.87 o 5070759 1067.60/1070.53 o 5070519 1067.70/1070.65 o 5059487 1067.99/1070.96 o 5054093 1070.49/1073.45 o 5053799 1072.48/1075.45 o 5043665 1072.78/1075.77 o 5042461 1072.98/1075.92 o 5041369 1073.09/1076.09 o 5034759 1075.47/1078.44 o 5033961 1076.57/1079.58 o 5033061 1076.97/1079.99 o 5030637 1077.18/1080.17 o 5027705 1077.37/1080.37 o 5026477 1077.97/1080.98 o 5025977 1078.17/1081.19 o 5022903 1078.47/1081.41 o 5011039 1078.87/1081.86 o 5009811 1079.07/1082.07 o 5008719 1092.13/1095.16 o 5003133 1092.43/1095.40 o 4999765 1092.73/1095.70 o 4998679 1092.92/1095.93 o 4995605 1093.13/1096.17 o 4994513 1094.72/1097.72 o 4993285 1464.55/1468.57 o 4983615 1464.75/1468.77 o 4978013 1464.95/1468.94 o 4974783 1465.25/1469.26 o 4969535 1465.45/1469.46 o 4956519 1465.55/1469.58 o 4950573 1465.75/1469.72 o 4944405 1465.95/1469.97 o 4939445 1466.15/1470.12 o 4933499 1466.35/1470.31 o 4924469 1467.54/1471.52 o 4920575 1467.64/1471.64 o 4914629 1468.24/1472.20 o 4914063 1469.14/1473.19 o 4913937 1469.34/1473.37 o 4910043 1469.54/1473.54 o 4894227 1475.03/1479.09 o 4894085 1500.16/1504.29 o 4880187 1500.46/1504.54 o 4876307 1501.16/1505.24 o 4875277 1501.46/1505.54 o 4874581 1505.25/1509.31 o 4869445 1505.54/1509.61 o 4869301 1505.84/1509.94 o 4868605 1506.14/1510.25 o 4866261 1506.84/1510.98 o 4863365 1507.14/1511.28 o 4863221 1507.54/1511.62 o 4860181 1508.13/1512.20 o 4851835 1510.73/1514.84 o 4847281 1511.03/1515.16 o 4845317 1511.43/1515.56 o 4836243 1511.82/1516.00 o 4833613 1512.12/1516.28 o 4831827 1512.82/1516.92 o 4828819 1513.12/1517.25 o 4827207 1513.83/1517.96 o 4823721 1589.43/1593.71 o 4821697 1622.24/1626.61 o 4820763 1623.04/1627.44 o 4820381 1623.24/1627.62 o 4820013 1623.34/1627.79 o 4819125 1624.04/1628.46 o 4817717 1624.24/1628.64 o 4815611 1624.94/1629.30 o 4811943 1625.43/1629.89 o 4809815 1625.64/1630.09 o 4807413 1625.93/1630.33 o 4805871 1627.03/1631.47 o 4804623 1627.23/1631.68 o 4801629 1629.73/1634.14 o 4801595 1632.32/1636.71 o 4801581 1638.00/1642.49 o 4794305 1638.40/1642.89 o 4792567 1639.00/1643.47 o 4787017 1645.59/1650.01 o 4782953 1647.97/1652.44 o 4776991 1654.66/1659.17 o 4772153
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 (58274 MiB free)
memory of node 1: 64465 MiB (60345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504084-1751439413/watcher-4504084-1751439413 -o /tmp/evaluation-result-4504084-1751439413/solver-4504084-1751439413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62070 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=766984820 --ls=0 --inp-dombreaklim=0 HOME/instance-4504084-1751439413.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=62363, runsolver pid=62360
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.09 4.04 5/265 62364
/proc/meminfo: memFree=121424836/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=65656 memory=44988 CPUtime=0.09 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 10660 0 0 0 8 1 0 0 20 0 1 0 59615872 67231744 11247 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 16414 11247 1056 1200 0 14894 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65656 KiB
Current children cumulated memory: 44988 KiB
[startup+0.205534 s]*
/proc/loadavg: 4.08 4.09 4.04 4/263 62364
/proc/meminfo: memFree=122305200/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=75440 memory=52384 CPUtime=0.2 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 12560 0 0 0 19 1 0 0 20 0 1 0 59615872 77250560 13096 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 18860 13096 1056 1200 0 17340 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75440 KiB
Current children cumulated memory: 52384 KiB
[startup+0.305406 s]*
/proc/loadavg: 4.08 4.09 4.04 4/261 62369
/proc/meminfo: memFree=122279464/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=105080 memory=82120 CPUtime=0.3 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 19373 0 0 0 27 3 0 0 20 0 1 0 59615872 107601920 20530 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 26270 20530 1216 1200 0 24750 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 105080 KiB
Current children cumulated memory: 82120 KiB
[startup+0.700149 s]
/proc/loadavg: 4.08 4.09 4.04 4/263 62378
/proc/meminfo: memFree=122284596/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=108140 memory=84552 CPUtime=0.69 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 20026 0 0 0 66 3 0 0 20 0 1 0 59615872 110735360 21138 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 27035 21138 1216 1200 0 25515 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108140 KiB
Current children cumulated memory: 84552 KiB
[startup+1.50014 s]
/proc/loadavg: 4.00 4.07 4.04 5/265 62409
/proc/meminfo: memFree=122232692/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=109488 memory=95128 CPUtime=1.48 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 20545 0 0 0 145 3 0 0 20 0 1 0 59615872 112115712 23782 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 27372 23782 1280 1200 0 25852 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109488 KiB
Current children cumulated memory: 95128 KiB
[startup+3.10533 s]
/proc/loadavg: 4.00 4.07 4.04 5/265 62499
/proc/meminfo: memFree=124076520/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=123644 memory=107000 CPUtime=3.08 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 21719 0 0 0 304 4 0 0 20 0 1 0 59615872 126611456 26750 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 30911 26750 1280 1200 0 29391 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123644 KiB
Current children cumulated memory: 107000 KiB
[startup+6.30015 s]
/proc/loadavg: 4.00 4.07 4.04 5/265 62499
/proc/meminfo: memFree=123856708/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=165892 memory=144692 CPUtime=6.27 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 27458 0 0 0 621 6 0 0 20 0 1 0 59615872 169873408 36173 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 41473 36173 1280 1200 0 39953 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 165892 KiB
Current children cumulated memory: 144692 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.08 4.04 5/265 62499
/proc/meminfo: memFree=123455844/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=253468 memory=235440 CPUtime=12.65 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 39376 0 0 0 1253 12 0 0 20 0 1 0 59615872 259551232 58860 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 63367 58860 1280 1200 0 61847 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 253468 KiB
Current children cumulated memory: 235440 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.04 5/265 62500
/proc/meminfo: memFree=123101192/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=306712 memory=281648 CPUtime=25.4 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 50920 0 0 0 2526 14 0 0 20 0 1 0 59615872 314073088 70412 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 76678 70412 1280 1200 0 75158 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 306712 KiB
Current children cumulated memory: 281648 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.07 4.04 5/264 62501
/proc/meminfo: memFree=122527848/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=423268 memory=370204 CPUtime=50.94 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 62462 0 0 0 5074 20 0 0 20 0 1 0 59615872 433426432 92551 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 105817 92551 1280 1200 0 104297 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 423268 KiB
Current children cumulated memory: 370204 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.17 4.07 5/264 62503
/proc/meminfo: memFree=121543704/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=709068 memory=586476 CPUtime=101.98 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 96515 0 0 0 10164 34 0 0 20 0 1 0 59615872 726085632 146619 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 177267 146619 1280 1200 0 175747 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 709068 KiB
Current children cumulated memory: 586476 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.15 4.07 5/264 62505
/proc/meminfo: memFree=120878048/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=815968 memory=744556 CPUtime=161.81 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 118700 0 0 0 16137 44 0 0 20 0 1 0 59615872 835551232 186139 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 203992 186139 1280 1200 0 202472 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 815968 KiB
Current children cumulated memory: 744556 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.07 5/264 62508
/proc/meminfo: memFree=120784476/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=818360 memory=757740 CPUtime=221.66 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 119897 0 0 0 22113 53 0 0 20 0 1 0 59615872 838000640 189435 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 204590 189435 1280 1200 0 203070 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 818360 KiB
Current children cumulated memory: 757740 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.08 5/265 62522
/proc/meminfo: memFree=120412700/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=845120 memory=804332 CPUtime=281.48 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 125749 0 0 0 28094 54 0 0 20 0 1 0 59615872 865402880 201083 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 211280 201083 1280 1200 0 209760 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 845120 KiB
Current children cumulated memory: 804332 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.08 5/264 62526
/proc/meminfo: memFree=120368900/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=872016 memory=852204 CPUtime=341.32 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 130829 0 0 0 34077 55 0 0 20 0 1 0 59615872 892944384 213051 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 218004 213051 1280 1200 0 216484 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 872016 KiB
Current children cumulated memory: 852204 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 62533
/proc/meminfo: memFree=120338756/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=877948 memory=866284 CPUtime=401.16 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 132619 0 0 0 40057 59 0 0 20 0 1 0 59615872 899018752 216571 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 219487 216571 1280 1200 0 217967 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 877948 KiB
Current children cumulated memory: 866284 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 62535
/proc/meminfo: memFree=120354740/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=883168 memory=870124 CPUtime=461 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 133777 0 0 0 46040 60 0 0 20 0 1 0 59615872 904364032 217531 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 220792 217531 1280 1200 0 219272 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 62663
/proc/meminfo: memFree=119255160/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1060556 memory=1009388 CPUtime=3094.2 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 176316 0 0 0 309227 193 0 0 20 0 1 0 59615872 1086009344 252347 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 265139 252347 1280 1200 0 263619 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 1060556 KiB
Current children cumulated memory: 1009388 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 62665
/proc/meminfo: memFree=119237728/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1061708 memory=1010540 CPUtime=3154.05 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 176751 0 0 0 315202 203 0 0 20 0 1 0 59615872 1087188992 252635 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 265427 252635 1280 1200 0 263907 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 1061708 KiB
Current children cumulated memory: 1010540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 62667
/proc/meminfo: memFree=119237632/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1061708 memory=1010540 CPUtime=3213.9 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 176898 0 0 0 321184 206 0 0 20 0 1 0 59615872 1087188992 252635 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 265427 252635 1280 1200 0 263907 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 1061708 KiB
Current children cumulated memory: 1010540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 62670
/proc/meminfo: memFree=119233660/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1061708 memory=1010540 CPUtime=3273.74 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 177199 0 0 0 327168 206 0 0 20 0 1 0 59615872 1087188992 252635 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 265427 252635 1280 1200 0 263907 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 1061708 KiB
Current children cumulated memory: 1010540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 62676
/proc/meminfo: memFree=119229780/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1061708 memory=1010796 CPUtime=3333.59 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 177260 0 0 0 333153 206 0 0 20 0 1 0 59615872 1087188992 252699 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 265427 252699 1280 1200 0 263907 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 1061708 KiB
Current children cumulated memory: 1010796 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 62682
/proc/meminfo: memFree=119223036/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1063032 memory=1011692 CPUtime=3393.43 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 177785 0 0 0 339137 206 0 0 20 0 1 0 59615872 1088544768 252923 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 265758 252923 1280 1200 0 264238 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 1063032 KiB
Current children cumulated memory: 1011692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 62684
/proc/meminfo: memFree=119219176/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3453.28 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 178875 0 0 0 345111 217 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 62687
/proc/meminfo: memFree=119210376/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3513.14 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 179028 0 0 0 351096 218 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 62688
/proc/meminfo: memFree=119210480/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3572.99 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 179047 0 0 0 357081 218 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 62690
/proc/meminfo: memFree=119209908/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3600.02 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 179291 0 0 0 359783 219 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.41 s]
# the end of solver process 62363 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.82 s, system=2.21433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 62690
/proc/meminfo: memFree=119209908/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3600.22 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 179291 0 0 0 359803 219 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
[startup+3610.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 62690
/proc/meminfo: memFree=119209908/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3601.02 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 179291 0 0 0 359882 220 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3601.02 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
[startup+3611.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 62690
/proc/meminfo: memFree=119209908/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3601.81 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 179291 0 0 0 359961 220 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
[startup+3611.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 62690
/proc/meminfo: memFree=119209908/131249992 swapFree=33010160/33010684
[pid=62363] ppid=62360 vsize=1067896 memory=1015404 CPUtime=3602.01 cores=1,3
/proc/62363/stat : 62363 (Exact) R 62360 62363 62031 0 -1 4194304 179291 0 0 0 359981 220 0 0 20 0 1 0 59615872 1093525504 253851 18446744073709551615 4198400 9112445 140727265700976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38334464 140727265708329 140727265708525 140727265708525 140727265714127 0
/proc/62363/statm: 266974 253851 1280 1200 0 265454 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 1067896 KiB
Current children cumulated memory: 1015404 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.41
CPU time (s): 3602.03
CPU user time (s): 3599.82
CPU system time (s): 2.21433
CPU usage (%): 99.7403
Max. virtual memory (cumulated for all children) (KiB): 1067896
Max. memory (cumulated for all children) (KiB): 1015404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 2.21433
maximum resident set size= 1015404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179291
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= 64
involuntary context switches= 2389
# summary of solver processes directly reported to runsolver:
# pid: 62363
# total CPU time (s): 3602.03
# total CPU user time (s): 3599.82
# total CPU system time (s): 2.21433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56235 second user time and 15.6505 second system time
The end
Begin job on nodeC035 at 2025-07-02 08:56:53 IDJOB=4504084 IDBENCH=155633 IDSOLVER=3318 FILE ID=nodeC035/4504084-1751439413 RUNJOBID= nodeC035-1751435802-62070 SLURM_JOB_ID= 9598391 Free space on /tmp= 432792 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_9.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-4504084-1751439413/watcher-4504084-1751439413 -o /tmp/evaluation-result-4504084-1751439413/solver-4504084-1751439413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62070 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=766984820 --ls=0 --inp-dombreaklim=0 HOME/instance-4504084-1751439413.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a11a369abd963989a0475f7e0477b1a8 RANDOM SEED=766984820 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 : 3599.742 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 : 3601.794 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.748 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.746 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 : 3599.738 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.746 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 : 3600.399 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 : 3600.551 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: 121466696 kB MemAvailable: 126642660 kB Buffers: 1840 kB Cached: 5927484 kB SwapCached: 8 kB Active: 3420244 kB Inactive: 5635572 kB Active(anon): 3132952 kB Inactive(anon): 11588 kB Active(file): 287292 kB Inactive(file): 5623984 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 8312 kB Writeback: 48 kB AnonPages: 3129688 kB Mapped: 119300 kB Shmem: 18048 kB KReclaimable: 207852 kB Slab: 297904 kB SReclaimable: 207852 kB SUnreclaim: 90052 kB KernelStack: 4304 kB PageTables: 9180 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 3563716 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2969600 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 09:57:05