3600.07/3608.90 c Filename:instance-4522406-1751603548.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.07/3608.90 c Scip time: 1800
3600.07/3608.90 c Use Presolve
3600.07/3608.90 c Parse finsih
3600.07/3608.90 c Start Presolve
3600.07/3608.90 c After Reduce Vars: 393335 Clauses: 149159 Top clause weight: 509485054 Hard Clauses: 27059
3600.07/3608.90 c Use LS-small
3600.07/3608.90 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 (60919 MiB free)
memory of node 1: 64465 MiB (62426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522406-1751603548/watcher-4522406-1751603548 -o /tmp/evaluation-result-4522406-1751603548/solver-4522406-1751603548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751603548-84194 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4522406-1751603548.opb -t 3600 -s 1683987591
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=84242, runsolver pid=84239
[startup+0.10006 s]*
/proc/loadavg: 0.64 1.59 2.00 4/263 84247
/proc/meminfo: memFree=126261296/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=43852 memory=29384 CPUtime=0.09 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 2827 0 0 0 9 0 0 0 20 0 1 0 76033511 44904448 7314 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 10963 7314 1088 2752 0 7616 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43852 KiB
Current children cumulated memory: 29384 KiB
[startup+0.204844 s]*
/proc/loadavg: 0.64 1.59 2.00 5/265 84253
/proc/meminfo: memFree=126217616/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=47020 memory=32456 CPUtime=0.2 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 3625 0 0 0 20 0 0 0 20 0 1 0 76033511 48148480 8114 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 11755 8114 1088 2752 0 8408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47020 KiB
Current children cumulated memory: 32456 KiB
[startup+0.304786 s]*
/proc/loadavg: 0.64 1.59 2.00 5/265 84253
/proc/meminfo: memFree=126185864/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=49924 memory=35400 CPUtime=0.29 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 4338 0 0 0 29 0 0 0 20 0 1 0 76033511 51122176 8850 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 12481 8850 1088 2752 0 9134 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49924 KiB
Current children cumulated memory: 35400 KiB
[startup+0.70017 s]
/proc/loadavg: 0.64 1.59 2.00 5/265 84253
/proc/meminfo: memFree=126119336/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=63088 memory=46064 CPUtime=0.69 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7706 0 0 0 68 1 0 0 20 0 1 0 76033511 64602112 11516 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 15772 11516 1088 2752 0 12425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63088 KiB
Current children cumulated memory: 46064 KiB
[startup+1.50016 s]
/proc/loadavg: 0.64 1.59 2.00 5/265 84253
/proc/meminfo: memFree=126094512/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=81444 memory=64304 CPUtime=1.49 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 10781 0 0 0 147 2 0 0 20 0 1 0 76033511 83398656 16076 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 20361 16076 1088 2752 0 17014 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81444 KiB
Current children cumulated memory: 64304 KiB
[startup+3.10528 s]
/proc/loadavg: 0.91 1.63 2.01 5/265 84253
/proc/meminfo: memFree=125993712/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=140496 memory=98912 CPUtime=3.09 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 14337 0 0 0 306 3 0 0 20 0 1 0 76033511 143867904 24728 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 35124 24728 1088 2752 0 31777 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 140496 KiB
Current children cumulated memory: 98912 KiB
[startup+6.30016 s]
/proc/loadavg: 0.91 1.63 2.01 5/266 84254
/proc/meminfo: memFree=125806860/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=206032 memory=148068 CPUtime=6.27 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 14931 0 0 0 622 5 0 0 20 0 1 0 76033511 210976768 37017 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 51508 37017 1088 2752 0 48161 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206032 KiB
Current children cumulated memory: 148068 KiB
[startup+12.7002 s]
/proc/loadavg: 1.16 1.67 2.02 5/266 84254
/proc/meminfo: memFree=124946692/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=505492 memory=462544 CPUtime=12.66 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 26141 0 0 0 1250 16 0 0 20 0 1 0 76033511 517623808 115636 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 126373 115636 1152 2752 0 123026 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 462544 KiB
[startup+25.5002 s]
/proc/loadavg: 1.86 1.80 2.06 5/266 84254
/proc/meminfo: memFree=125037584/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=505492 memory=462544 CPUtime=25.43 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 26142 0 0 0 2527 16 0 0 20 0 1 0 76033511 517623808 115636 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 126373 115636 1152 2752 0 123026 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 462544 KiB
[startup+51.1054 s]
/proc/loadavg: 2.81 2.03 2.13 5/266 84254
/proc/meminfo: memFree=125029700/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=505492 memory=462544 CPUtime=50.98 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 26229 0 0 0 5082 16 0 0 20 0 1 0 76033511 517623808 115636 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 126373 115636 1152 2752 0 123026 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 462544 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.38 2.24 5/266 84256
/proc/meminfo: memFree=125031908/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=505492 memory=462544 CPUtime=102.05 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 26405 0 0 0 10189 16 0 0 20 0 1 0 76033511 517623808 115636 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 126373 115636 1152 2752 0 123026 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 462544 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.71 2.37 5/266 84258
/proc/meminfo: memFree=125003396/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=505492 memory=462544 CPUtime=161.9 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 26544 0 0 0 16174 16 0 0 20 0 1 0 76033511 517623808 115636 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 126373 115636 1152 2752 0 123026 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 505492 KiB
Current children cumulated memory: 462544 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.96 2.48 5/266 84260
/proc/meminfo: memFree=118840176/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=4384912 memory=4288400 CPUtime=221.74 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 1015286 0 0 0 22026 148 0 0 20 0 1 0 76033511 4490149888 1072100 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 1096228 1072100 1152 2752 0 1092881 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 4384912 KiB
Current children cumulated memory: 4288400 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.18 2.58 5/266 84262
/proc/meminfo: memFree=88469960/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=25070880 memory=24974736 CPUtime=281.56 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 6186848 0 0 0 27299 857 0 0 20 0 1 0 76033511 25672581120 6243684 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 6267720 6243684 1152 2752 0 6264373 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 25070880 KiB
Current children cumulated memory: 24974736 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.35 2.68 5/264 84268
/proc/meminfo: memFree=84797492/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=341.41 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 6965653 0 0 0 33176 965 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.49 2.77 5/264 84270
/proc/meminfo: memFree=84753264/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=401.27 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 6965999 0 0 0 39152 975 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.61 2.86 5/264 84272
/proc/meminfo: memFree=84716364/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=461.13 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 6966094 0 0 0 45112 1001 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
################
# More data... #
################
/proc/meminfo: memFree=85358640/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=2915.17 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7034224 0 0 0 289434 2083 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 2915.17 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 84401
/proc/meminfo: memFree=85349952/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=2975.02 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7036275 0 0 0 295393 2109 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 2975.02 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 84406
/proc/meminfo: memFree=85354956/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3034.88 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7038873 0 0 0 301353 2135 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3034.88 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/263 84408
/proc/meminfo: memFree=85356940/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3094.72 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7040774 0 0 0 307313 2159 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3094.72 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/263 84410
/proc/meminfo: memFree=85355456/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3154.57 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7043049 0 0 0 313271 2186 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3154.57 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/263 84412
/proc/meminfo: memFree=85356688/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3214.43 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7045455 0 0 0 319231 2212 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3214.43 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/263 84414
/proc/meminfo: memFree=85355236/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3274.28 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7047830 0 0 0 325191 2237 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/263 84421
/proc/meminfo: memFree=85356396/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3334.13 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7050389 0 0 0 331151 2262 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/264 84424
/proc/meminfo: memFree=85355408/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3393.99 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7053542 0 0 0 337109 2290 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/264 84426
/proc/meminfo: memFree=85354676/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3453.84 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7056670 0 0 0 343067 2317 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3453.84 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/264 84428
/proc/meminfo: memFree=85349456/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3513.69 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7058677 0 0 0 349027 2342 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/265 84431
/proc/meminfo: memFree=85354528/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3573.54 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7061196 0 0 0 354986 2368 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.12 4.10 4.04 4/261 84442
/proc/meminfo: memFree=85594076/131250000 swapFree=33010672/33010684
[pid=84242] ppid=84239 vsize=28160184 memory=28097120 CPUtime=3600.07 cores=0,2
/proc/84242/stat : 84242 (NuPBO-DeepOptS+) R 84239 84242 84181 0 -1 4194304 7062359 0 0 0 357627 2380 0 0 20 0 1 0 76033511 28836028416 7024280 18446744073709551615 4198400 15468185 140728016366784 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 27791360 140728016370070 140728016370180 140728016370180 140728016375782 0
/proc/84242/statm: 7040046 7024280 1152 2752 0 7036699 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 28160184 KiB
Current children cumulated memory: 28097120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.84 s]
# the end of solver process 84242 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3576.28 s, system=24.74 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.10 4.04 4/261 84442
/proc/meminfo: memFree=88011948/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3609.8 s]
/proc/loadavg: 4.12 4.10 4.04 4/261 84442
/proc/meminfo: memFree=88011948/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3609.84
CPU time (s): 3601.02
CPU user time (s): 3576.28
CPU system time (s): 24.74
CPU usage (%): 99.7558
Max. virtual memory (cumulated for all children) (KiB): 28160184
Max. memory (cumulated for all children) (KiB): 28097120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.28
system time used= 24.74
maximum resident set size= 28097120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7062375
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= 7
involuntary context switches= 7838
# summary of solver processes directly reported to runsolver:
# pid: 84242
# total CPU time (s): 3601.02
# total CPU user time (s): 3576.28
# total CPU system time (s): 24.74
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6463 second user time and 15.2543 second system time
The end
Begin job on nodeC026 at 2025-07-04 06:32:29
IDJOB=4522406
IDBENCH=178803
IDSOLVER=3343
FILE ID=nodeC026/4522406-1751603548
RUNJOBID= nodeC026-1751603548-84194
SLURM_JOB_ID= 9598887
Free space on /tmp= 429712 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-bab3.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522406-1751603548/watcher-4522406-1751603548 -o /tmp/evaluation-result-4522406-1751603548/solver-4522406-1751603548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751603548-84194 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4522406-1751603548.opb -t 3600 -s 1683987591
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5650d49d55a36e62ab842bae231a0f3b
RANDOM SEED=1683987591
nodeC026 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.813
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.59
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.789
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.59
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.786
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.59
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.328
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.59
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.792
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.59
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.777
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.59
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.191
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.59
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 : 3700.000
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126313896 kB
MemAvailable: 129507540 kB
Buffers: 2128 kB
Cached: 3821372 kB
SwapCached: 4 kB
Active: 789552 kB
Inactive: 3151216 kB
Active(anon): 125704 kB
Inactive(anon): 9688 kB
Active(file): 663848 kB
Inactive(file): 3141528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 131156 kB
Writeback: 0 kB
AnonPages: 120500 kB
Mapped: 120812 kB
Shmem: 18076 kB
KReclaimable: 449068 kB
Slab: 549580 kB
SReclaimable: 449068 kB
SUnreclaim: 100512 kB
KernelStack: 4272 kB
PageTables: 3220 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 443044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 429680 MiB
End job on nodeC026 at 2025-07-04 07:32:39