2.09/2.16 c Filename:instance-4490880-1751387008.opb, Cutoff_time:3600, memory_limit_gb:500000
2.09/2.16 c Scip time: 1800
2.09/2.16 c Use Presolve
2.09/2.16 c Parse finsih
2.09/2.16 c Start Presolve
2.09/2.16 c After Reduce Vars: 2470 Clauses: 4752 Top clause weight: 256 Hard Clauses: 4744
3600.05/3609.01 c Use LS-small
3600.05/3609.01 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: 63837 MiB (63191 MiB free)
memory of node 1: 64465 MiB (62529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490880-1751387008/watcher-4490880-1751387008 -o /tmp/evaluation-result-4490880-1751387008/solver-4490880-1751387008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751383397-51883 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4490880-1751387008.opb -t 3600 -s 1338586875
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=52258, runsolver pid=52254
[startup+0.100067 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 52263
/proc/meminfo: memFree=128738600/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=20624 memory=6056 CPUtime=0.1 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 806 0 0 0 10 0 0 0 20 0 1 0 54380260 21118976 1514 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 5156 1514 1088 2752 0 1809 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20624 KiB
Current children cumulated memory: 6056 KiB
[startup+0.21323 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 52263
/proc/meminfo: memFree=128738460/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=21648 memory=6904 CPUtime=0.21 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 1280 0 0 0 21 0 0 0 20 0 1 0 54380260 22167552 1726 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 5412 1726 1088 2752 0 2065 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21648 KiB
Current children cumulated memory: 6904 KiB
[startup+0.312629 s]*
/proc/loadavg: 4.08 4.10 4.09 5/251 52263
/proc/meminfo: memFree=128720568/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=23696 memory=8852 CPUtime=0.31 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 1746 0 0 0 31 0 0 0 20 0 1 0 54380260 24264704 2213 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 5924 2213 1088 2752 0 2577 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23696 KiB
Current children cumulated memory: 8852 KiB
[startup+0.700322 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 52263
/proc/meminfo: memFree=128720568/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=43364 memory=26496 CPUtime=0.68 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 5616 0 0 0 67 1 0 0 20 0 1 0 54380260 44404736 6624 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 10841 6624 1152 2752 0 7494 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43364 KiB
Current children cumulated memory: 26496 KiB
[startup+1.50034 s]
/proc/loadavg: 4.08 4.10 4.09 4/247 52271
/proc/meminfo: memFree=129319428/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=114808 memory=95624 CPUtime=1.48 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 19558 0 0 0 143 5 0 0 20 0 1 0 54380260 117563392 23906 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 28702 23906 2720 2752 0 25355 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114808 KiB
Current children cumulated memory: 95624 KiB
[startup+3.11293 s]
/proc/loadavg: 4.00 4.09 4.08 5/251 52308
/proc/meminfo: memFree=129029104/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=173888 memory=151944 CPUtime=3.09 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 33655 0 0 0 301 8 0 0 20 0 1 0 54380260 178061312 37986 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 43472 37986 2816 2752 0 40125 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 173888 KiB
Current children cumulated memory: 151944 KiB
[startup+6.30032 s]
/proc/loadavg: 4.00 4.09 4.08 5/251 52308
/proc/meminfo: memFree=128957464/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=191756 memory=170760 CPUtime=6.26 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 38358 0 0 0 617 9 0 0 20 0 1 0 54380260 196358144 42690 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 47939 42690 2816 2752 0 44592 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 191756 KiB
Current children cumulated memory: 170760 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 52308
/proc/meminfo: memFree=128913432/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=214608 memory=194184 CPUtime=12.64 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 44257 0 0 0 1254 10 0 0 20 0 1 0 54380260 219758592 48546 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 53652 48546 2816 2752 0 50305 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 214608 KiB
Current children cumulated memory: 194184 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.10 4.09 5/252 52310
/proc/meminfo: memFree=128920552/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=227512 memory=206984 CPUtime=25.4 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 47481 0 0 0 2529 11 0 0 20 0 1 0 54380260 232972288 51746 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 56878 51746 2816 2752 0 53531 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 227512 KiB
Current children cumulated memory: 206984 KiB
[startup+51.1128 s]
/proc/loadavg: 4.04 4.09 4.08 5/252 52310
/proc/meminfo: memFree=128857800/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=243396 memory=223240 CPUtime=50.92 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 51586 0 0 0 5080 12 0 0 20 0 1 0 54380260 249237504 55810 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 60849 55810 2816 2752 0 57502 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 243396 KiB
Current children cumulated memory: 223240 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 52312
/proc/meminfo: memFree=128792472/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=247852 memory=228104 CPUtime=101.92 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 52755 0 0 0 10180 12 0 0 20 0 1 0 54380260 253800448 57026 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 61963 57026 2848 2752 0 58616 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 247852 KiB
Current children cumulated memory: 228104 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/252 52314
/proc/meminfo: memFree=128716752/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=257360 memory=237324 CPUtime=161.71 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 54063 0 0 0 16158 13 0 0 20 0 1 0 54380260 263536640 59331 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 64340 59331 2848 2752 0 60993 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 257360 KiB
Current children cumulated memory: 237324 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 52316
/proc/meminfo: memFree=128574556/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=293132 memory=272384 CPUtime=221.49 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 68038 0 0 0 22133 16 0 0 20 0 1 0 54380260 300167168 68096 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 73283 68096 2848 2752 0 69936 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 293132 KiB
Current children cumulated memory: 272384 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/252 52325
/proc/meminfo: memFree=128527060/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=326180 memory=305024 CPUtime=281.28 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 75713 0 0 0 28109 19 0 0 20 0 1 0 54380260 334008320 76256 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 81545 76256 2848 2752 0 78198 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 326180 KiB
Current children cumulated memory: 305024 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/252 52327
/proc/meminfo: memFree=128440880/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=368572 memory=352184 CPUtime=341.09 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 89067 0 0 0 34087 22 0 0 20 0 1 0 54380260 377417728 88046 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 92143 88046 2848 2752 0 88796 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 368572 KiB
Current children cumulated memory: 352184 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 52330
/proc/meminfo: memFree=128373788/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=407628 memory=392092 CPUtime=400.9 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 103703 0 0 0 40066 24 0 0 20 0 1 0 54380260 417411072 98023 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 101907 98023 2848 2752 0 98560 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 407628 KiB
Current children cumulated memory: 392092 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/252 52333
/proc/meminfo: memFree=128332824/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=435972 memory=420892 CPUtime=460.72 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 111292 0 0 0 46046 26 0 0 20 0 1 0 54380260 446435328 105223 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 108993 105223 2848 2752 0 105646 0
Current children cumulated CPU time: 460.72 s
################
# More data... #
################
Current children cumulated memory: 1036372 KiB
[startup+2862.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 52460
/proc/meminfo: memFree=127095148/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1036372 CPUtime=2854.9 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317635 0 0 0 285416 74 0 0 20 0 1 0 54380260 1072685056 259093 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259093 2848 2752 0 258539 0
Current children cumulated CPU time: 2854.9 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1036372 KiB
[startup+2922.3 s]
/proc/loadavg: 4.67 4.27 4.15 5/250 52462
/proc/meminfo: memFree=127097884/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1036372 CPUtime=2914.77 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317635 0 0 0 291403 74 0 0 20 0 1 0 54380260 1072685056 259093 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259093 2848 2752 0 258539 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1036372 KiB
[startup+2982.3 s]
/proc/loadavg: 4.28 4.24 4.15 5/250 52465
/proc/meminfo: memFree=127098628/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1036372 CPUtime=2974.65 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317643 0 0 0 297391 74 0 0 20 0 1 0 54380260 1072685056 259093 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259093 2848 2752 0 258539 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1036372 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.21 4.14 5/250 52467
/proc/meminfo: memFree=127101636/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1036372 CPUtime=3034.52 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317643 0 0 0 303378 74 0 0 20 0 1 0 54380260 1072685056 259093 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259093 2848 2752 0 258539 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1036372 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/250 52469
/proc/meminfo: memFree=127101888/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1036372 CPUtime=3094.4 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317651 0 0 0 309366 74 0 0 20 0 1 0 54380260 1072685056 259093 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259093 2848 2752 0 258539 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1036372 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/250 52471
/proc/meminfo: memFree=127103732/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1036372 CPUtime=3154.27 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317651 0 0 0 315353 74 0 0 20 0 1 0 54380260 1072685056 259093 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259093 2848 2752 0 258539 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1036372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/250 52473
/proc/meminfo: memFree=127103732/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1036372 CPUtime=3214.15 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317659 0 0 0 321341 74 0 0 20 0 1 0 54380260 1072685056 259093 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259093 2848 2752 0 258539 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1036372 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/250 52482
/proc/meminfo: memFree=127101680/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1037396 CPUtime=3274.02 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317667 0 0 0 327328 74 0 0 20 0 1 0 54380260 1072685056 259349 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259349 2848 2752 0 258539 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1037396 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/250 52483
/proc/meminfo: memFree=127101680/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1037396 CPUtime=3333.9 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317667 0 0 0 333316 74 0 0 20 0 1 0 54380260 1072685056 259349 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259349 2848 2752 0 258539 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1037396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/250 52485
/proc/meminfo: memFree=127101932/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1037396 CPUtime=3393.77 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317675 0 0 0 339303 74 0 0 20 0 1 0 54380260 1072685056 259349 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259349 2848 2752 0 258539 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1037396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/250 52487
/proc/meminfo: memFree=127102436/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1037396 CPUtime=3453.65 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317675 0 0 0 345291 74 0 0 20 0 1 0 54380260 1072685056 259349 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259349 2848 2752 0 258539 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1037396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 52489
/proc/meminfo: memFree=127102448/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1037396 CPUtime=3513.52 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317683 0 0 0 351278 74 0 0 20 0 1 0 54380260 1072685056 259349 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259349 2848 2752 0 258539 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1037396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/250 52492
/proc/meminfo: memFree=127102952/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1037396 CPUtime=3573.4 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317683 0 0 0 357266 74 0 0 20 0 1 0 54380260 1072685056 259349 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259349 2848 2752 0 258539 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1037396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.10 4.11 4.10 4/246 52502
/proc/meminfo: memFree=127283996/131382116 swapFree=33010684/33010684
[pid=52258] ppid=52254 vsize=1047544 memory=1037396 CPUtime=3600.05 cores=4,6
/proc/52258/stat : 52258 (NuPBO-DeepOptS+) R 52254 52258 51872 0 -1 4194304 317691 0 0 0 359931 74 0 0 20 0 1 0 54380260 1072685056 259349 18446744073709551615 4198400 15468185 140733403786064 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54173696 140733403793814 140733403793924 140733403793924 140733403799526 0
/proc/52258/statm: 261886 259349 2848 2752 0 258539 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1047544 KiB
Current children cumulated memory: 1037396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 52258 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.32 s, system=0.747687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.02
CPU time (s): 3600.07
CPU user time (s): 3599.32
CPU system time (s): 0.747687
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 1289132
Max. memory (cumulated for all children) (KiB): 1231848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.32
system time used= 0.747687
maximum resident set size= 1231848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317695
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= 127
involuntary context switches= 3787
# summary of solver processes directly reported to runsolver:
# pid: 52258
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.32
# total CPU system time (s): 0.747687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.828 second user time and 31.849 second system time
The end
Begin job on nodeC010 at 2025-07-01 18:23:28
IDJOB=4490880
IDBENCH=147630
IDSOLVER=3343
FILE ID=nodeC010/4490880-1751387008
RUNJOBID= nodeC010-1751383397-51883
SLURM_JOB_ID= 9598232
Free space on /tmp= 432672 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490880-1751387008/watcher-4490880-1751387008 -o /tmp/evaluation-result-4490880-1751387008/solver-4490880-1751387008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751383397-51883 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4490880-1751387008.opb -t 3600 -s 1338586875
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b13a1c6e78c10f4c6bdd1964b8d7c16
RANDOM SEED=1338586875
nodeC010 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 : 0xb00001f
cpu MHz : 1197.297
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 3591.441
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.152
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.758
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.148
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.054
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.129
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 128744844 kB
MemAvailable: 129286436 kB
Buffers: 3280 kB
Cached: 1348372 kB
SwapCached: 0 kB
Active: 1033620 kB
Inactive: 1042064 kB
Active(anon): 741992 kB
Inactive(anon): 0 kB
Active(file): 291628 kB
Inactive(file): 1042064 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50080 kB
Writeback: 4 kB
AnonPages: 727104 kB
Mapped: 115352 kB
Shmem: 17960 kB
KReclaimable: 95052 kB
Slab: 178760 kB
SReclaimable: 95052 kB
SUnreclaim: 83708 kB
KernelStack: 3888 kB
PageTables: 4160 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1023488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 667648 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432628 MiB
End job on nodeC010 at 2025-07-01 19:23:38