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.13 | 3613.12 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb |
| MD5SUM | 9ac2461cadb9f34c01e229706adee951 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3309833 |
| Best CPU time to get the best result obtained on this benchmark | 71967.3 |
| 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 | 250200 |
| Total number of constraints | 605407 |
| Number of constraints which are clauses | 477850 |
| Number of constraints which are cardinality constraints (but not clauses) | 57 |
| Number of constraints which are nor clauses,nor cardinality constraints | 127500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3725 |
| Number of terms in the objective function | 129900 |
| Biggest coefficient in the objective function | 118370771 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 52632514160 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 118370771 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 52632514160 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
8.16/8.20 o 97454933 8.36/8.40 o 66615691 8.46/8.57 o 47888525 389.17/390.46 o 37142279 389.56/390.89 o 36870798 390.16/391.49 o 36742275 390.56/391.88 o 36724514 390.96/392.22 o 36719124 391.16/392.48 o 36645803 2042.22/2048.55 o 36619279 2042.62/2048.98 o 36616547 2045.91/2052.23 o 33052729 2046.40/2052.71 o 32844692 2049.30/2055.69 o 32813365 2050.09/2056.41 o 32809990 2058.27/2064.67 o 30813420 2058.67/2065.06 o 30494277 2059.06/2065.44 o 30483953 2059.56/2065.93 o 30300759 2060.37/2066.72 o 30211906 2060.96/2067.34 o 30204082 2061.96/2068.33 o 30168268 2066.25/2072.64 o 30078129 2066.84/2073.22 o 29825446 2067.34/2073.76 o 29786391 2395.24/2402.62 o 27392981 2395.75/2403.18 o 27178106 2396.24/2403.61 o 27081141 2396.84/2404.28 o 24135846 2397.24/2404.66 o 24126450 2398.04/2405.40 o 24124669 2398.34/2405.79 o 22522145 2399.14/2406.57 o 22436053 2399.93/2407.34 o 22424878 2400.43/2407.84 o 22423095 2401.03/2408.47 o 19520968 2401.43/2408.85 o 19519187 2402.92/2410.32 o 19508822 2403.32/2410.78 o 19506303 2404.02/2411.44 o 19497645 2405.62/2413.08 o 19480274 2407.51/2414.94 o 19477823 2408.51/2415.94 o 19353646 2408.81/2416.28 o 19340281 2409.50/2416.94 o 19297236 2409.80/2417.23 o 19159225 2410.20/2417.67 o 17387992 2410.50/2417.94 o 17176858 2410.70/2418.17 o 17039369 2411.30/2418.74 o 17003583 2413.29/2420.71 o 16833430 2423.96/2431.40 o 16764862 2424.56/2432.05 o 16741387 2424.86/2432.33 o 16709021 2425.26/2432.77 o 16708033 2426.75/2434.26 o 16707277 2427.15/2434.60 o 16674911 2427.75/2435.22 o 16664417 2428.15/2435.66 o 16605952 2428.55/2436.02 o 16605253 2429.04/2436.55 o 16584237 3580.17/3591.19 o 16572033 3580.76/3591.76 o 16542420 3581.26/3592.24 o 16537155 3581.66/3592.60 o 16484324 3581.86/3592.89 o 16449141 3582.26/3593.28 o 13467809 3582.76/3593.79 o 13450145 3583.65/3594.64 o 13443364
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 (59305 MiB free)
memory of node 1: 64465 MiB (59301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504314-1751443026/watcher-4504314-1751443026 -o /tmp/evaluation-result-4504314-1751443026/solver-4504314-1751443026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62068 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1977847363 --ls=0 --inp-dombreaklim=0 HOME/instance-4504314-1751443026.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62779, runsolver pid=62776
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.11 4.09 4.09 5/265 62780
/proc/meminfo: memFree=121314484/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=189092 memory=164472 CPUtime=0.09 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 16670 0 0 0 5 4 0 0 20 0 1 0 59977209 193630208 41118 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 47273 41118 992 1200 0 45753 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 189092 KiB
Current children cumulated memory: 164472 KiB
[startup+0.205452 s]*
/proc/loadavg: 4.11 4.09 4.09 5/265 62780
/proc/meminfo: memFree=121240136/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=260548 memory=235864 CPUtime=0.2 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 29992 0 0 0 13 7 0 0 20 0 1 0 59977209 266801152 58934 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 65137 58934 1056 1200 0 63617 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 260548 KiB
Current children cumulated memory: 235864 KiB
[startup+0.305276 s]*
/proc/loadavg: 4.11 4.09 4.09 4/263 62780
/proc/meminfo: memFree=122048612/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=316744 memory=280880 CPUtime=0.3 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 41261 0 0 0 20 10 0 0 20 0 1 0 59977209 324345856 70220 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 79186 70220 1056 1200 0 77666 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 316744 KiB
Current children cumulated memory: 280880 KiB
[startup+0.70016 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 62794
/proc/meminfo: memFree=122007428/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=420956 memory=402372 CPUtime=0.68 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 57236 0 0 0 55 13 0 0 20 0 1 0 59977209 431058944 100593 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 105239 100593 1056 1200 0 103719 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 420956 KiB
Current children cumulated memory: 402372 KiB
[startup+1.50019 s]
/proc/loadavg: 4.11 4.09 4.09 5/259 62829
/proc/meminfo: memFree=123980640/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=536660 memory=501972 CPUtime=1.48 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 73694 0 0 0 131 17 0 0 20 0 1 0 59977209 549539840 125493 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 134165 125493 1056 1200 0 132645 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 536660 KiB
Current children cumulated memory: 501972 KiB
[startup+3.1052 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 62870
/proc/meminfo: memFree=122909420/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=990396 memory=921484 CPUtime=3.08 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 123977 0 0 0 274 34 0 0 20 0 1 0 59977209 1014165504 230371 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 247599 230371 1216 1200 0 246079 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 990396 KiB
Current children cumulated memory: 921484 KiB
[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 62870
/proc/meminfo: memFree=121850664/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=1251588 memory=1145484 CPUtime=6.27 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 142453 0 0 0 585 42 0 0 20 0 1 0 59977209 1281626112 286371 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 312897 286371 1216 1200 0 311377 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1251588 KiB
Current children cumulated memory: 1145484 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 62915
/proc/meminfo: memFree=121394856/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=1345016 memory=1242880 CPUtime=12.64 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 158083 0 0 0 1219 45 0 0 20 0 1 0 59977209 1377296384 310720 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 336254 310720 1280 1200 0 334734 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1345016 KiB
Current children cumulated memory: 1242880 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 62915
/proc/meminfo: memFree=119840008/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=1558624 memory=1458596 CPUtime=25.41 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 194935 0 0 0 2485 56 0 0 20 0 1 0 59977209 1596030976 364649 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 389656 364649 1280 1200 0 388136 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1558624 KiB
Current children cumulated memory: 1458596 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 62916
/proc/meminfo: memFree=118443944/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=1980948 memory=1874328 CPUtime=50.93 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 266454 0 0 0 5019 74 0 0 20 0 1 0 59977209 2028490752 468582 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 495237 468582 1280 1200 0 493717 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1980948 KiB
Current children cumulated memory: 1874328 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 62962
/proc/meminfo: memFree=115252824/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=2509152 memory=2291884 CPUtime=101.95 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 324258 0 0 0 10098 97 0 0 20 0 1 0 59977209 2569371648 572971 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 627288 572971 1280 1200 0 625768 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2509152 KiB
Current children cumulated memory: 2291884 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 62964
/proc/meminfo: memFree=113361280/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=3431112 memory=3049800 CPUtime=161.77 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 449433 0 0 0 16044 133 0 0 20 0 1 0 59977209 3513458688 762450 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 857778 762450 1280 1200 0 856258 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 3431112 KiB
Current children cumulated memory: 3049800 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 62966
/proc/meminfo: memFree=110775324/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=5577620 memory=5010444 CPUtime=221.58 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 768520 0 0 0 21937 221 0 0 20 0 1 0 59977209 5711482880 1252611 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 1394405 1252611 1280 1200 0 1392885 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 5577620 KiB
Current children cumulated memory: 5010444 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 62979
/proc/meminfo: memFree=108030368/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=5577620 memory=5010444 CPUtime=281.4 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 769164 0 0 0 27917 223 0 0 20 0 1 0 59977209 5711482880 1252611 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 1394405 1252611 1280 1200 0 1392885 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 5577620 KiB
Current children cumulated memory: 5010444 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 62983
/proc/meminfo: memFree=106991980/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=5577620 memory=5010828 CPUtime=341.21 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 770282 0 0 0 33896 225 0 0 20 0 1 0 59977209 5711482880 1252707 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 1394405 1252707 1280 1200 0 1392885 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 5577620 KiB
Current children cumulated memory: 5010828 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 62990
/proc/meminfo: memFree=106849660/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=5627748 memory=5049080 CPUtime=401.03 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 773470 0 0 0 39870 233 0 0 20 0 1 0 59977209 5762813952 1262270 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 1406937 1262270 1280 1200 0 1405417 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 5627748 KiB
Current children cumulated memory: 5049080 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 62993
/proc/meminfo: memFree=106080224/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=5627748 memory=5049080 CPUtime=460.85 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 774503 0 0 0 45850 235 0 0 20 0 1 0 59977209 5762813952 1262270 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.32 4.17 4.12 5/264 63114
/proc/meminfo: memFree=87295220/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13988116 memory=12559684 CPUtime=3092.86 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2010731 0 0 0 308579 707 0 0 20 0 1 0 59977209 14323830784 3139921 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3497029 3139921 1280 1200 0 3495509 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 13988116 KiB
Current children cumulated memory: 12559684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 63116
/proc/meminfo: memFree=87088852/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13988116 memory=12559684 CPUtime=3152.69 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2014971 0 0 0 314560 709 0 0 20 0 1 0 59977209 14323830784 3139921 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3497029 3139921 1280 1200 0 3495509 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 13988116 KiB
Current children cumulated memory: 12559684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.22 4.13 5/264 63118
/proc/meminfo: memFree=87090568/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13988116 memory=12559684 CPUtime=3212.5 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2017893 0 0 0 320540 710 0 0 20 0 1 0 59977209 14323830784 3139921 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3497029 3139921 1280 1200 0 3495509 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 13988116 KiB
Current children cumulated memory: 12559684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.19 4.13 5/265 63121
/proc/meminfo: memFree=87074652/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13988116 memory=12560580 CPUtime=3272.31 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2022893 0 0 0 326519 712 0 0 20 0 1 0 59977209 14323830784 3140145 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3497029 3140145 1280 1200 0 3495509 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 13988116 KiB
Current children cumulated memory: 12560580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/266 63126
/proc/meminfo: memFree=87061388/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13988116 memory=12560964 CPUtime=3332.12 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2026874 0 0 0 332499 713 0 0 20 0 1 0 59977209 14323830784 3140241 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3497029 3140241 1280 1200 0 3495509 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 13988116 KiB
Current children cumulated memory: 12560964 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/264 63132
/proc/meminfo: memFree=87068176/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13996748 memory=12563980 CPUtime=3391.93 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2031416 0 0 0 338479 714 0 0 20 0 1 0 59977209 14332669952 3140995 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3499187 3140995 1280 1200 0 3497667 0
Current children cumulated CPU time: 3391.93 s
Current children cumulated vsize: 13996748 KiB
Current children cumulated memory: 12563980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/264 63134
/proc/meminfo: memFree=87049568/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13999900 memory=12573140 CPUtime=3451.76 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2037452 0 0 0 344459 717 0 0 20 0 1 0 59977209 14335897600 3143285 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3499975 3143285 1280 1200 0 3498455 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 13999900 KiB
Current children cumulated memory: 12573140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/264 63136
/proc/meminfo: memFree=87046216/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13999900 memory=12575316 CPUtime=3511.57 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2041188 0 0 0 350439 718 0 0 20 0 1 0 59977209 14335897600 3143829 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3499975 3143829 1280 1200 0 3498455 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 13999900 KiB
Current children cumulated memory: 12575316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/263 63138
/proc/meminfo: memFree=87048280/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=13999900 memory=12579028 CPUtime=3571.39 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2044818 0 0 0 356419 720 0 0 20 0 1 0 59977209 14335897600 3144757 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3499975 3144757 1280 1200 0 3498455 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 13999900 KiB
Current children cumulated memory: 12579028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.09 4.12 4.10 5/263 63140
/proc/meminfo: memFree=87041976/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=14004176 memory=12584632 CPUtime=3600.01 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2046729 0 0 0 359280 721 0 0 20 0 1 0 59977209 14340276224 3146158 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3501044 3146158 1280 1200 0 3499524 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 14004176 KiB
Current children cumulated memory: 12584632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.12 s]
# the end of solver process 62779 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3594.8 s, system=7.32814 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 63140
/proc/meminfo: memFree=87041976/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=14004176 memory=12584632 CPUtime=3600.21 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2046729 0 0 0 359300 721 0 0 20 0 1 0 59977209 14340276224 3146158 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3501044 3146158 1280 1200 0 3499524 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 14004176 KiB
Current children cumulated memory: 12584632 KiB
[startup+3612 s]*
/proc/loadavg: 4.09 4.12 4.10 5/263 63140
/proc/meminfo: memFree=87041976/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=14004176 memory=12584632 CPUtime=3601.01 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2046729 0 0 0 359380 721 0 0 20 0 1 0 59977209 14340276224 3146158 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3501044 3146158 1280 1200 0 3499524 0
Current children cumulated CPU time: 3601.01 s
Current children cumulated vsize: 14004176 KiB
Current children cumulated memory: 12584632 KiB
[startup+3612.8 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 63140
/proc/meminfo: memFree=87041976/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=14004176 memory=12584632 CPUtime=3601.8 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2046729 0 0 0 359459 721 0 0 20 0 1 0 59977209 14340276224 3146158 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3501044 3146158 1280 1200 0 3499524 0
Current children cumulated CPU time: 3601.8 s
Current children cumulated vsize: 14004176 KiB
Current children cumulated memory: 12584632 KiB
[startup+3613 s]*
/proc/loadavg: 4.09 4.12 4.10 4/261 63140
/proc/meminfo: memFree=97477444/131249992 swapFree=33010160/33010684
[pid=62779] ppid=62776 vsize=14004176 memory=12584632 CPUtime=3602.01 cores=0,2
/proc/62779/stat : 62779 (Exact) R 62776 62779 62031 0 -1 4194304 2046729 0 0 0 359480 721 0 0 20 0 1 0 59977209 14340276224 3146158 18446744073709551615 4198400 9112445 140726033304272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30765056 140726033312040 140726033312237 140726033312237 140726033317839 0
/proc/62779/statm: 3501044 3146158 1280 1200 0 3499524 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 14004176 KiB
Current children cumulated memory: 12584632 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.12
CPU time (s): 3602.13
CPU user time (s): 3594.8
CPU system time (s): 7.32814
CPU usage (%): 99.6957
Max. virtual memory (cumulated for all children) (KiB): 14685052
Max. memory (cumulated for all children) (KiB): 12584632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.8
system time used= 7.32814
maximum resident set size= 12584632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2046729
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= 134
involuntary context switches= 8004
# summary of solver processes directly reported to runsolver:
# pid: 62779
# total CPU time (s): 3602.13
# total CPU user time (s): 3594.8
# total CPU system time (s): 7.32814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79687 second user time and 16.5792 second system time
The end
Begin job on nodeC035 at 2025-07-02 09:57:07 IDJOB=4504314 IDBENCH=155653 IDSOLVER=3318 FILE ID=nodeC035/4504314-1751443026 RUNJOBID= nodeC035-1751435802-62068 SLURM_JOB_ID= 9598391 Free space on /tmp= 432768 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_3_mh.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-4504314-1751443026/watcher-4504314-1751443026 -o /tmp/evaluation-result-4504314-1751443026/solver-4504314-1751443026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751435802-62068 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1977847363 --ls=0 --inp-dombreaklim=0 HOME/instance-4504314-1751443026.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9ac2461cadb9f34c01e229706adee951 RANDOM SEED=1977847363 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.732 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.739 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 : 3600.309 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 : 3600.458 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.756 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.749 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 : 3675.541 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.139 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: 121456068 kB MemAvailable: 126659664 kB Buffers: 1840 kB Cached: 5955092 kB SwapCached: 8 kB Active: 3403764 kB Inactive: 5663176 kB Active(anon): 3116472 kB Inactive(anon): 11588 kB Active(file): 287292 kB Inactive(file): 5651588 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 40716 kB Writeback: 0 kB AnonPages: 3113100 kB Mapped: 119604 kB Shmem: 18048 kB KReclaimable: 207908 kB Slab: 297716 kB SReclaimable: 207908 kB SUnreclaim: 89808 kB KernelStack: 4208 kB PageTables: 9048 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 3907312 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2893824 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= 432712 MiB End job on nodeC035 at 2025-07-02 10:57:20