1522.93/1526.90 c Filename:instance-4522866-1751608063.opb, Cutoff_time:3600, memory_limit_gb:500000
1522.93/1526.90 c Scip time: 1800
1522.93/1526.90 c Use Presolve
1522.93/1526.90 c Parse finsih
1522.93/1526.90 c Start Presolve
1522.93/1526.90 c After Reduce Vars: 298176 Clauses: 389460 Top clause weight: 48270 Hard Clauses: 341191
1522.93/1526.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 (50504 MiB free)
memory of node 1: 64465 MiB (55471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522866-1751608063/watcher-4522866-1751608063 -o /tmp/evaluation-result-4522866-1751608063/solver-4522866-1751608063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751608062-85493 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4522866-1751608063.opb -t 3600 -s 1867174437
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
solver pid=85550, runsolver pid=85547
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.33 2.14 2.30 6/263 85551
/proc/meminfo: memFree=108490548/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=52000 memory=37628 CPUtime=0.09 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 3855 0 0 0 9 0 0 0 20 0 1 0 76484861 53248000 9407 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 13000 9407 1088 2752 0 9653 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52000 KiB
Current children cumulated memory: 37628 KiB
[startup+0.204809 s]*
/proc/loadavg: 2.33 2.14 2.30 5/263 85551
/proc/meminfo: memFree=108474480/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=56524 memory=41532 CPUtime=0.19 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 5043 0 0 0 19 0 0 0 20 0 1 0 76484861 57880576 10383 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 14131 10383 1088 2752 0 10784 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56524 KiB
Current children cumulated memory: 41532 KiB
[startup+0.305028 s]*
/proc/loadavg: 2.33 2.14 2.30 5/263 85551
/proc/meminfo: memFree=108450096/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=60304 memory=44796 CPUtime=0.3 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6254 0 0 0 29 1 0 0 20 0 1 0 76484861 61751296 11199 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 15076 11199 1088 2752 0 11729 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60304 KiB
Current children cumulated memory: 44796 KiB
[startup+0.700136 s]
/proc/loadavg: 2.33 2.14 2.30 5/263 85551
/proc/meminfo: memFree=108445560/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=74764 memory=58604 CPUtime=0.69 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 9195 0 0 0 68 1 0 0 20 0 1 0 76484861 76558336 14651 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 18691 14651 1088 2752 0 15344 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74764 KiB
Current children cumulated memory: 58604 KiB
[startup+1.50015 s]
/proc/loadavg: 2.33 2.14 2.30 5/263 85551
/proc/meminfo: memFree=108317984/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=91008 memory=74956 CPUtime=1.49 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 11745 0 0 0 147 2 0 0 20 0 1 0 76484861 93192192 18739 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 22752 18739 1088 2752 0 19405 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 91008 KiB
Current children cumulated memory: 74956 KiB
[startup+3.1053 s]
/proc/loadavg: 2.33 2.14 2.30 5/263 85551
/proc/meminfo: memFree=107872584/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=140160 memory=93396 CPUtime=3.09 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 12813 0 0 0 305 4 0 0 20 0 1 0 76484861 143523840 23349 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 35040 23349 1088 2752 0 31693 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 140160 KiB
Current children cumulated memory: 93396 KiB
[startup+6.30014 s]
/proc/loadavg: 2.46 2.17 2.31 5/263 85551
/proc/meminfo: memFree=107690928/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=205696 memory=134360 CPUtime=6.27 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 13400 0 0 0 621 6 0 0 20 0 1 0 76484861 210632704 33590 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 51424 33590 1088 2752 0 48077 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 205696 KiB
Current children cumulated memory: 134360 KiB
[startup+12.7001 s]
/proc/loadavg: 2.59 2.20 2.32 5/263 85551
/proc/meminfo: memFree=107508728/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=336768 memory=216284 CPUtime=12.65 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 14056 0 0 0 1254 11 0 0 20 0 1 0 76484861 344850432 54071 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 84192 54071 1088 2752 0 80845 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 336768 KiB
Current children cumulated memory: 216284 KiB
[startup+25.5002 s]
/proc/loadavg: 2.97 2.31 2.35 5/263 85551
/proc/meminfo: memFree=106972632/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=804140 memory=684336 CPUtime=25.42 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 33576 0 0 0 2510 32 0 0 20 0 1 0 76484861 823439360 171084 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 201035 171084 1152 2752 0 197688 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 804140 KiB
Current children cumulated memory: 684336 KiB
[startup+51.1052 s]
/proc/loadavg: 3.39 2.46 2.40 5/263 85552
/proc/meminfo: memFree=106898228/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=804140 memory=687752 CPUtime=50.97 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 33917 0 0 0 5064 33 0 0 20 0 1 0 76484861 823439360 171938 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 201035 171938 1152 2752 0 197688 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 804140 KiB
Current children cumulated memory: 687752 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 2.73 2.50 5/263 85554
/proc/meminfo: memFree=106847692/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=804140 memory=688648 CPUtime=102.04 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 34278 0 0 0 10171 33 0 0 20 0 1 0 76484861 823439360 172162 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 201035 172162 1152 2752 0 197688 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 804140 KiB
Current children cumulated memory: 688648 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.98 2.60 5/263 85555
/proc/meminfo: memFree=106833100/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=804140 memory=688648 CPUtime=161.89 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 34426 0 0 0 16156 33 0 0 20 0 1 0 76484861 823439360 172162 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 201035 172162 1152 2752 0 197688 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 804140 KiB
Current children cumulated memory: 688648 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.18 2.69 5/263 85558
/proc/meminfo: memFree=106820240/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=804140 memory=688648 CPUtime=221.74 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 34513 0 0 0 22141 33 0 0 20 0 1 0 76484861 823439360 172162 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 201035 172162 1152 2752 0 197688 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 804140 KiB
Current children cumulated memory: 688648 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.36 2.79 5/263 85564
/proc/meminfo: memFree=104612748/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=3192328 memory=3005060 CPUtime=281.58 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 662770 0 0 0 28038 120 0 0 20 0 1 0 76484861 3268943872 751265 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 798082 751265 1152 2752 0 794735 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 3192328 KiB
Current children cumulated memory: 3005060 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.48 2.87 5/263 85566
/proc/meminfo: memFree=95723184/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=11985748 memory=11742596 CPUtime=341.42 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 2786824 0 0 0 33720 422 0 0 20 0 1 0 76484861 12273405952 2935649 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 2996437 2935649 2720 2752 0 2993090 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 11985748 KiB
Current children cumulated memory: 11742596 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.59 2.95 5/263 85568
/proc/meminfo: memFree=95516580/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=12206224 memory=11961832 CPUtime=401.24 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 2839479 0 0 0 39691 433 0 0 20 0 1 0 76484861 12499173376 2990458 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 3051556 2990458 2720 2752 0 3048209 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 12206224 KiB
Current children cumulated memory: 11961832 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.70 3.03 5/263 85570
/proc/meminfo: memFree=93965732/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=14124948 memory=13437936 CPUtime=461.07 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 3169277 0 0 0 45614 493 0 0 20 0 1 0 76484861 14463946752 3359484 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 3531237 3359484 2752 2752 0 3527890 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 4.14 4.01 3.43 5/263 85602
/proc/meminfo: memFree=85462248/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=26111296 memory=21831792 CPUtime=879.94 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 5268981 0 0 0 87071 923 0 0 20 0 1 0 76484861 26737967104 5457948 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 6527824 5457948 2752 2752 0 6524477 0
Current children cumulated CPU time: 879.94 s
Current children cumulated vsize: 26111296 KiB
Current children cumulated memory: 21831792 KiB
[startup+942.3 s]
/proc/loadavg: 4.34 4.08 3.49 5/263 85604
/proc/meminfo: memFree=84597784/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=27415024 memory=22733808 CPUtime=939.8 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 5494559 0 0 0 93002 978 0 0 20 0 1 0 76484861 28072984576 5683452 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 6853756 5683452 2752 2752 0 6850409 0
Current children cumulated CPU time: 939.8 s
Current children cumulated vsize: 27415024 KiB
Current children cumulated memory: 22733808 KiB
[startup+1002.3 s]
/proc/loadavg: 4.53 4.17 3.56 5/263 85606
/proc/meminfo: memFree=82938424/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=29833560 memory=24397424 CPUtime=999.66 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 5911013 0 0 0 98905 1061 0 0 20 0 1 0 76484861 30549565440 6099356 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7458390 6099356 2752 2752 0 7455043 0
Current children cumulated CPU time: 999.66 s
Current children cumulated vsize: 29833560 KiB
Current children cumulated memory: 24397424 KiB
[startup+1062.3 s]
/proc/loadavg: 4.56 4.25 3.63 5/263 85608
/proc/meminfo: memFree=82669552/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=30312152 memory=24698352 CPUtime=1059.51 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 5986363 0 0 0 104856 1095 0 0 20 0 1 0 76484861 31039643648 6174588 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7578038 6174588 2752 2752 0 7574691 0
Current children cumulated CPU time: 1059.51 s
Current children cumulated vsize: 30312152 KiB
Current children cumulated memory: 24698352 KiB
[startup+1122.3 s]
/proc/loadavg: 4.26 4.21 3.66 5/263 85610
/proc/meminfo: memFree=82495504/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=30610976 memory=24889456 CPUtime=1119.36 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6034245 0 0 0 110809 1127 0 0 20 0 1 0 76484861 31345639424 6222364 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7652744 6222364 2752 2752 0 7649397 0
Current children cumulated CPU time: 1119.36 s
Current children cumulated vsize: 30610976 KiB
Current children cumulated memory: 24889456 KiB
[startup+1182.3 s]
/proc/loadavg: 4.13 4.19 3.69 5/262 85614
/proc/meminfo: memFree=82349280/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=30839216 memory=25037680 CPUtime=1179.2 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6071343 0 0 0 116764 1156 0 0 20 0 1 0 76484861 31579357184 6259420 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7709804 6259420 2752 2752 0 7706457 0
Current children cumulated CPU time: 1179.2 s
Current children cumulated vsize: 30839216 KiB
Current children cumulated memory: 25037680 KiB
[startup+1242.3 s]
/proc/loadavg: 4.10 4.17 3.72 5/262 85616
/proc/meminfo: memFree=82213572/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=31040448 memory=25168752 CPUtime=1239.05 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6104301 0 0 0 122723 1182 0 0 20 0 1 0 76484861 31785418752 6292188 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7760112 6292188 2752 2752 0 7756765 0
Current children cumulated CPU time: 1239.05 s
Current children cumulated vsize: 31040448 KiB
Current children cumulated memory: 25168752 KiB
[startup+1302.3 s]
/proc/loadavg: 4.08 4.15 3.74 5/262 85618
/proc/meminfo: memFree=82101444/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=31218744 memory=25286512 CPUtime=1298.9 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6133906 0 0 0 128676 1214 0 0 20 0 1 0 76484861 31967993856 6321628 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7804686 6321628 2752 2752 0 7801339 0
Current children cumulated CPU time: 1298.9 s
Current children cumulated vsize: 31218744 KiB
Current children cumulated memory: 25286512 KiB
[startup+1362.3 s]
/proc/loadavg: 4.14 4.15 3.77 5/262 85620
/proc/meminfo: memFree=82004100/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=31376388 memory=25391600 CPUtime=1358.76 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6160450 0 0 0 134633 1243 0 0 20 0 1 0 76484861 32129421312 6347900 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7844097 6347900 2752 2752 0 7840750 0
Current children cumulated CPU time: 1358.76 s
Current children cumulated vsize: 31376388 KiB
Current children cumulated memory: 25391600 KiB
[startup+1422.3 s]
/proc/loadavg: 4.05 4.12 3.79 5/263 85623
/proc/meminfo: memFree=81901724/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=31520796 memory=25489392 CPUtime=1418.6 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6185040 0 0 0 140587 1273 0 0 20 0 1 0 76484861 32277295104 6372348 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7880199 6372348 2752 2752 0 7876852 0
Current children cumulated CPU time: 1418.6 s
Current children cumulated vsize: 31520796 KiB
Current children cumulated memory: 25489392 KiB
[startup+1482.3 s]
/proc/loadavg: 4.13 4.13 3.82 5/264 85630
/proc/meminfo: memFree=81796156/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=31672356 memory=25598960 CPUtime=1478.45 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6212602 0 0 0 146542 1303 0 0 20 0 1 0 76484861 32432492544 6399740 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7918089 6399740 2752 2752 0 7914742 0
Current children cumulated CPU time: 1478.45 s
Current children cumulated vsize: 31672356 KiB
Current children cumulated memory: 25598960 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1526.9 s]
/proc/loadavg: 4.14 4.12 3.83 5/264 85632
/proc/meminfo: memFree=81749360/131249988 swapFree=33010416/33010684
[pid=85550] ppid=85547 vsize=31744280 memory=25651184 CPUtime=1522.93 cores=4,6
/proc/85550/stat : 85550 (NuPBO-DeepOptS+) R 85547 85550 85067 0 -1 4194304 6225776 0 0 0 150971 1322 0 0 20 0 1 0 76484861 32506142720 6412796 18446744073709551615 4198400 15468185 140732414716416 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29204480 140732414724502 140732414724612 140732414724612 140732414730214 0
/proc/85550/statm: 7936070 6412796 2752 2752 0 7932723 0
Current children cumulated CPU time: 1522.93 s
Current children cumulated vsize: 31744280 KiB
Current children cumulated memory: 25651184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1527.79 s]
# the end of solver process 85550 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=1509.72 s, system=14.1082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1527.2 s]
/proc/loadavg: 4.14 4.12 3.83 5/264 85632
/proc/meminfo: memFree=84177980/131249988 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1527.6 s]
/proc/loadavg: 4.14 4.12 3.83 5/264 85632
/proc/meminfo: memFree=84177980/131249988 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1527.7 s]
/proc/loadavg: 4.14 4.12 3.83 5/264 85632
/proc/meminfo: memFree=84177980/131249988 swapFree=33010416/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): 1527.79
CPU time (s): 1523.83
CPU user time (s): 1509.72
CPU system time (s): 14.1082
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 31744280
Max. memory (cumulated for all children) (KiB): 25651184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1509.72
system time used= 14.1082
maximum resident set size= 25651184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6225819
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= 4
involuntary context switches= 1757
# summary of solver processes directly reported to runsolver:
# pid: 85550
# total CPU time (s): 1523.83
# total CPU user time (s): 1509.72
# total CPU system time (s): 14.1082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.82075 second user time and 6.45678 second system time
The end
Begin job on nodeC031 at 2025-07-04 07:47:43
IDJOB=4522866
IDBENCH=179354
IDSOLVER=3343
FILE ID=nodeC031/4522866-1751608063
RUNJOBID= nodeC031-1751608062-85493
SLURM_JOB_ID= 9598890
Free space on /tmp= 431992 MiB
SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522866-1751608063/watcher-4522866-1751608063 -o /tmp/evaluation-result-4522866-1751608063/solver-4522866-1751608063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751608062-85493 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4522866-1751608063.opb -t 3600 -s 1867174437
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cd27816f7e4cb1046eb5da038ad24d41
RANDOM SEED=1867174437
nodeC031 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.956
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.78
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.896
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.78
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 : 3574.002
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.78
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 : 3728.490
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.78
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.906
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.78
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.889
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.78
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 : 3469.632
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.78
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 : 3634.756
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108518964 kB
MemAvailable: 129561536 kB
Buffers: 2128 kB
Cached: 21725908 kB
SwapCached: 12 kB
Active: 558476 kB
Inactive: 21319196 kB
Active(anon): 157220 kB
Inactive(anon): 10468 kB
Active(file): 401256 kB
Inactive(file): 21308728 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 124520 kB
Writeback: 0 kB
AnonPages: 152784 kB
Mapped: 124104 kB
Shmem: 18052 kB
KReclaimable: 343652 kB
Slab: 436952 kB
SReclaimable: 343652 kB
SUnreclaim: 93300 kB
KernelStack: 4192 kB
PageTables: 3116 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 507656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431976 MiB
End job on nodeC031 at 2025-07-04 08:13:11