471.06/472.52 c Filename:instance-4523970-1751632885.opb, Cutoff_time:3600, memory_limit_gb:500000
471.06/472.52 c Scip time: 1800
471.06/472.52 c Use Presolve
471.06/472.52 c Parse finsih
471.06/472.52 c Start Presolve
471.06/472.52 c After Reduce Vars: 35092 Clauses: 29168 Top clause weight: 2269 Hard Clauses: 28952
3600.08/3609.50 c Use LS-small
3600.08/3609.50 s UNKNOWN
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 (62255 MiB free)
memory of node 1: 64465 MiB (55935 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523970-1751632885/watcher-4523970-1751632885 -o /tmp/evaluation-result-4523970-1751632885/solver-4523970-1751632885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751632885-103036 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4523970-1751632885.opb -t 3600 -s 144373339
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=103075, runsolver pid=103070
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.39 1.15 1.18 5/259 103085
/proc/meminfo: memFree=121015272/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=25684 memory=10868 CPUtime=0.09 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 2215 0 0 0 9 0 0 0 20 0 1 0 78967301 26300416 2717 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 6421 2717 1088 2752 0 3074 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25684 KiB
Current children cumulated memory: 10868 KiB
[startup+0.205343 s]*
/proc/loadavg: 1.39 1.15 1.18 5/263 103094
/proc/meminfo: memFree=120985156/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=28788 memory=13452 CPUtime=0.19 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 2864 0 0 0 19 0 0 0 20 0 1 0 78967301 29478912 3363 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 7197 3363 1088 2752 0 3850 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28788 KiB
Current children cumulated memory: 13452 KiB
[startup+0.30528 s]*
/proc/loadavg: 1.39 1.15 1.18 5/263 103094
/proc/meminfo: memFree=120898012/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=51336 memory=36320 CPUtime=0.29 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 9134 0 0 0 28 1 0 0 20 0 1 0 78967301 52568064 9080 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 12834 9080 1088 2752 0 9487 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51336 KiB
Current children cumulated memory: 36320 KiB
[startup+0.700126 s]
/proc/loadavg: 1.39 1.15 1.18 6/263 103094
/proc/meminfo: memFree=120873316/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=51336 memory=36576 CPUtime=0.68 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 9137 0 0 0 67 1 0 0 20 0 1 0 78967301 52568064 9144 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 12834 9144 1152 2752 0 9487 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51336 KiB
Current children cumulated memory: 36576 KiB
[startup+1.50016 s]
/proc/loadavg: 1.39 1.15 1.18 5/263 103094
/proc/meminfo: memFree=120852252/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=183676 memory=169280 CPUtime=1.48 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 42369 0 0 0 142 6 0 0 20 0 1 0 78967301 188084224 42288 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 45919 42288 2624 2752 0 42572 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 183676 KiB
Current children cumulated memory: 169280 KiB
[startup+3.10517 s]
/proc/loadavg: 1.39 1.15 1.18 5/263 103094
/proc/meminfo: memFree=120404084/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=307164 memory=285556 CPUtime=3.08 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 70803 0 0 0 298 10 0 0 20 0 1 0 78967301 314535936 71389 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 76791 71389 2720 2752 0 73444 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 307164 KiB
Current children cumulated memory: 285556 KiB
[startup+6.30012 s]
/proc/loadavg: 1.60 1.19 1.19 5/263 103094
/proc/meminfo: memFree=120258716/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=331772 memory=310132 CPUtime=6.27 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 76950 0 0 0 615 12 0 0 20 0 1 0 78967301 339734528 77533 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 82943 77533 2720 2752 0 79596 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 331772 KiB
Current children cumulated memory: 310132 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 1.24 1.21 5/263 103094
/proc/meminfo: memFree=119528192/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=359116 memory=337396 CPUtime=12.65 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 83770 0 0 0 1252 13 0 0 20 0 1 0 78967301 367734784 84349 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 89779 84349 2720 2752 0 86432 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 359116 KiB
Current children cumulated memory: 337396 KiB
[startup+25.5002 s]
/proc/loadavg: 2.28 1.38 1.26 5/263 103095
/proc/meminfo: memFree=119500752/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=399404 memory=377588 CPUtime=25.41 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 93846 0 0 0 2527 14 0 0 20 0 1 0 78967301 408989696 94397 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 99851 94397 2720 2752 0 96504 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 399404 KiB
Current children cumulated memory: 377588 KiB
[startup+51.1052 s]
/proc/loadavg: 2.87 1.59 1.33 5/263 103095
/proc/meminfo: memFree=119307468/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=504624 memory=486900 CPUtime=50.94 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 120170 0 0 0 5073 21 0 0 20 0 1 0 78967301 516734976 121725 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 126156 121725 2720 2752 0 122809 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 504624 KiB
Current children cumulated memory: 486900 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 1.98 1.48 5/263 103097
/proc/meminfo: memFree=119148844/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=624044 memory=606324 CPUtime=101.97 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 150041 0 0 0 10170 27 0 0 20 0 1 0 78967301 639021056 151581 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 156011 151581 2720 2752 0 152664 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 624044 KiB
Current children cumulated memory: 606324 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.36 1.64 5/264 103100
/proc/meminfo: memFree=119033900/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=705868 memory=688968 CPUtime=161.78 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 169310 0 0 0 16147 31 0 0 20 0 1 0 78967301 722808832 172242 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 176467 172242 2816 2752 0 173120 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 705868 KiB
Current children cumulated memory: 688968 KiB
[startup+222.3 s]
/proc/loadavg: 4.39 2.79 1.84 5/264 103102
/proc/meminfo: memFree=117651492/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=857512 memory=824988 CPUtime=221.6 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 185807 0 0 0 22125 35 0 0 20 0 1 0 78967301 878092288 206247 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 214378 206247 2848 2752 0 211031 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 857512 KiB
Current children cumulated memory: 824988 KiB
[startup+282.3 s]
/proc/loadavg: 4.48 3.13 2.01 5/264 103104
/proc/meminfo: memFree=110160336/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=886688 memory=841964 CPUtime=281.42 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 189667 0 0 0 28106 36 0 0 20 0 1 0 78967301 907968512 210491 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 221672 210491 2848 2752 0 218325 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 886688 KiB
Current children cumulated memory: 841964 KiB
[startup+342.3 s]
/proc/loadavg: 4.33 3.33 2.16 5/264 103106
/proc/meminfo: memFree=110114600/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=887292 memory=842604 CPUtime=341.25 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 189822 0 0 0 34089 36 0 0 20 0 1 0 78967301 908587008 210651 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 221823 210651 2848 2752 0 218476 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 887292 KiB
Current children cumulated memory: 842604 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.47 2.28 5/264 103108
/proc/meminfo: memFree=110089324/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=887292 memory=843884 CPUtime=401.07 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 189950 0 0 0 40071 36 0 0 20 0 1 0 78967301 908587008 210971 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 221823 210971 2848 2752 0 218476 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 887292 KiB
Current children cumulated memory: 843884 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.59 2.40 5/263 103114
/proc/meminfo: memFree=110033440/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=890372 memory=860140 CPUtime=460.89 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 190757 0 0 0 46053 36 0 0 20 0 1 0 78967301 911740928 215035 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 222593 215035 2848 2752 0 219246 0
################
# More data... #
################
Current children cumulated memory: 920048 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 103246
/proc/meminfo: memFree=109754600/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=2914.54 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228192 0 0 0 291410 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 103251
/proc/meminfo: memFree=109729284/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=2974.4 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228218 0 0 0 297396 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 2974.4 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/265 103254
/proc/meminfo: memFree=109727348/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3034.25 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228218 0 0 0 303381 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/265 103256
/proc/meminfo: memFree=109730096/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3094.1 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228244 0 0 0 309366 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/264 103258
/proc/meminfo: memFree=109727488/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3153.96 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228244 0 0 0 315352 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 103260
/proc/meminfo: memFree=109726000/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3213.82 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228270 0 0 0 321338 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/263 103262
/proc/meminfo: memFree=109727644/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3273.67 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228270 0 0 0 327323 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/262 103263
/proc/meminfo: memFree=109730568/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3333.52 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228296 0 0 0 333308 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/263 103266
/proc/meminfo: memFree=109727348/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3393.38 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228296 0 0 0 339294 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/265 103274
/proc/meminfo: memFree=109728920/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3453.23 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228322 0 0 0 345279 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/265 103276
/proc/meminfo: memFree=109729088/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3513.09 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228322 0 0 0 351265 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/265 103280
/proc/meminfo: memFree=109727192/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3572.94 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228348 0 0 0 357250 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.06 4.08 4.01 4/262 103296
/proc/meminfo: memFree=110507624/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3600.08 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228348 0 0 0 359964 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 103075 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.64 s, system=0.449168 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.06 4.08 4.01 4/262 103296
/proc/meminfo: memFree=110507624/131249992 swapFree=33010160/33010684
[pid=103075] ppid=103070 vsize=930952 memory=920048 CPUtime=3600.08 cores=4,6
/proc/103075/stat : 103075 (NuPBO-DeepOptS+) R 103070 103075 103025 0 -1 4194304 228348 0 0 0 359964 44 0 0 20 0 1 0 78967301 953294848 230012 18446744073709551615 4198400 15468185 140734689728912 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29614080 140734689737110 140734689737219 140734689737219 140734689742822 0
/proc/103075/statm: 232738 230012 2848 2752 0 229391 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 930952 KiB
Current children cumulated memory: 920048 KiB
Child status: 10
Real time (s): 3609.51
CPU time (s): 3600.09
CPU user time (s): 3599.64
CPU system time (s): 0.449168
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 1029740
Max. memory (cumulated for all children) (KiB): 1015660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.449168
maximum resident set size= 1015660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228352
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= 42
involuntary context switches= 19819
# summary of solver processes directly reported to runsolver:
# pid: 103075
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.64
# total CPU system time (s): 0.449168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17004 second user time and 14.1058 second system time
The end
Begin job on nodeC025 at 2025-07-04 14:41:25
IDJOB=4523970
IDBENCH=180463
IDSOLVER=3343
FILE ID=nodeC025/4523970-1751632885
RUNJOBID= nodeC025-1751632885-103036
SLURM_JOB_ID= 9598973
Free space on /tmp= 432972 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523970-1751632885/watcher-4523970-1751632885 -o /tmp/evaluation-result-4523970-1751632885/solver-4523970-1751632885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751632885-103036 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4523970-1751632885.opb -t 3600 -s 144373339
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=144373339
nodeC025 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.812
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.67
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 : 3600.593
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.67
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.864
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.67
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.902
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.67
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.838
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.67
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.828
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.67
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.967
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.67
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.053
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 121035972 kB
MemAvailable: 129698228 kB
Buffers: 2128 kB
Cached: 9409984 kB
SwapCached: 200 kB
Active: 411200 kB
Inactive: 9075600 kB
Active(anon): 75456 kB
Inactive(anon): 17152 kB
Active(file): 335744 kB
Inactive(file): 9058448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 95116 kB
Writeback: 12 kB
AnonPages: 77656 kB
Mapped: 103184 kB
Shmem: 17856 kB
KReclaimable: 214604 kB
Slab: 305152 kB
SReclaimable: 214604 kB
SUnreclaim: 90548 kB
KernelStack: 4032 kB
PageTables: 2892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 338724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432876 MiB
End job on nodeC025 at 2025-07-04 15:41:35