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 (62817 MiB free)
memory of node 1: 64465 MiB (63755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513885-1751216952/watcher-4513885-1751216952 -o /tmp/evaluation-result-4513885-1751216952/solver-4513885-1751216952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751209547-24651 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513885-1751216952.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=25885, runsolver pid=25882
[startup+0.100068 s]*
/proc/loadavg: 4.19 4.11 4.10 5/251 25886
/proc/meminfo: memFree=129598288/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=90364 memory=17792 CPUtime=0.08 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 2403 0 0 0 7 1 0 0 20 0 1 0 37373882 92532736 4448 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 22591 4448 2304 595 0 7258 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90364 KiB
Current children cumulated memory: 17792 KiB
[startup+0.216694 s]*
/proc/loadavg: 4.19 4.11 4.10 5/251 25886
/proc/meminfo: memFree=129590224/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=99588 memory=26536 CPUtime=0.19 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 5256 0 0 0 16 3 0 0 20 0 1 0 37373882 101978112 6634 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 24897 6634 2464 595 0 9564 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99588 KiB
Current children cumulated memory: 26536 KiB
[startup+0.313431 s]*
/proc/loadavg: 4.19 4.11 4.10 5/251 25886
/proc/meminfo: memFree=129589996/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=105424 memory=31528 CPUtime=0.29 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 6517 0 0 0 25 4 0 0 20 0 1 0 37373882 107954176 7882 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB
[startup+0.700264 s]
/proc/loadavg: 4.19 4.11 4.10 5/251 25886
/proc/meminfo: memFree=129589996/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=105424 memory=31528 CPUtime=0.65 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 6517 0 0 0 58 7 0 0 20 0 1 0 37373882 107954176 7882 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB
[startup+1.50027 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 25886
/proc/meminfo: memFree=129589996/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=105424 memory=31528 CPUtime=1.46 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 6517 0 0 0 130 16 0 0 20 0 1 0 37373882 107954176 7882 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB
[startup+3.11308 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 25886
/proc/meminfo: memFree=129589480/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=105424 memory=31528 CPUtime=3.06 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 6517 0 0 0 274 32 0 0 20 0 1 0 37373882 107954176 7882 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB
[startup+6.30024 s]
/proc/loadavg: 4.16 4.11 4.09 5/251 25886
/proc/meminfo: memFree=129589740/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=105424 memory=31528 CPUtime=6.25 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 6517 0 0 0 560 65 0 0 20 0 1 0 37373882 107954176 7882 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 25886
/proc/meminfo: memFree=129589740/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=105424 memory=31784 CPUtime=12.62 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 6522 0 0 0 1132 130 0 0 20 0 1 0 37373882 107954176 7946 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 26356 7946 2464 595 0 11023 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31784 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 25887
/proc/meminfo: memFree=129565464/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=108492 memory=42180 CPUtime=25.39 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 7325 0 0 0 2391 148 0 0 20 0 1 0 37373882 111095808 10545 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 27123 10545 2528 595 0 11790 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 108492 KiB
Current children cumulated memory: 42180 KiB
[startup+51.1132 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 25888
/proc/meminfo: memFree=129569080/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=109932 memory=43588 CPUtime=50.93 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 7690 0 0 0 4940 153 0 0 20 0 1 0 37373882 112570368 10897 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 27483 10897 2528 595 0 12150 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 109932 KiB
Current children cumulated memory: 43588 KiB
[startup+102.3 s]
/proc/loadavg: 4.53 4.20 4.13 5/251 25890
/proc/meminfo: memFree=129571932/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=111032 memory=44612 CPUtime=101.99 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 7953 0 0 0 9902 297 0 0 20 0 1 0 37373882 113696768 11153 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 27758 11153 2528 595 0 12425 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 111032 KiB
Current children cumulated memory: 44612 KiB
[startup+162.3 s]
/proc/loadavg: 4.47 4.27 4.16 5/251 25892
/proc/meminfo: memFree=129537440/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=112112 memory=47872 CPUtime=161.84 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 8269 0 0 0 15740 444 0 0 20 0 1 0 37373882 114802688 11968 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 28028 11968 2528 595 0 12695 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 112112 KiB
Current children cumulated memory: 47872 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.25 4.16 5/251 25894
/proc/meminfo: memFree=129538360/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=112472 memory=48128 CPUtime=221.68 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 8342 0 0 0 21572 596 0 0 20 0 1 0 37373882 115171328 12032 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 28118 12032 2528 595 0 12785 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 112472 KiB
Current children cumulated memory: 48128 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.20 4.14 5/251 25898
/proc/meminfo: memFree=129542596/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=113500 memory=49152 CPUtime=281.54 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 8597 0 0 0 27411 743 0 0 20 0 1 0 37373882 116224000 12288 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 28375 12288 2528 595 0 13042 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 113500 KiB
Current children cumulated memory: 49152 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/250 25900
/proc/meminfo: memFree=129531636/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=113908 memory=49536 CPUtime=341.39 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 8713 0 0 0 33247 892 0 0 20 0 1 0 37373882 116641792 12384 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 28477 12384 2528 595 0 13144 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 113908 KiB
Current children cumulated memory: 49536 KiB
[startup+402.3 s]
/proc/loadavg: 4.50 4.27 4.17 5/251 25905
/proc/meminfo: memFree=129540332/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=114256 memory=49920 CPUtime=401.24 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 8800 0 0 0 39083 1041 0 0 20 0 1 0 37373882 116998144 12480 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 28564 12480 2528 595 0 13231 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 114256 KiB
Current children cumulated memory: 49920 KiB
[startup+462.3 s]
/proc/loadavg: 4.47 4.32 4.20 5/251 26132
/proc/meminfo: memFree=129505868/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=114256 memory=50048 CPUtime=461.08 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 8833 0 0 0 44916 1192 0 0 20 0 1 0 37373882 116998144 12512 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 28564 12512 2528 595 0 13231 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
Current children cumulated memory: 59256 KiB
[startup+2862.3 s]
/proc/loadavg: 4.50 4.27 4.16 5/250 26509
/proc/meminfo: memFree=129544580/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=121584 memory=59384 CPUtime=2854.47 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10696 0 0 0 279649 5798 0 0 20 0 1 0 37373882 124502016 14846 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30396 14846 2528 595 0 15063 0
Current children cumulated CPU time: 2854.47 s
Current children cumulated vsize: 121584 KiB
Current children cumulated memory: 59384 KiB
[startup+2922.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/249 26512
/proc/meminfo: memFree=129545604/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=121744 memory=59512 CPUtime=2914.31 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10726 0 0 0 285621 5810 0 0 20 0 1 0 37373882 124665856 14878 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30436 14878 2528 595 0 15103 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 121744 KiB
Current children cumulated memory: 59512 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/249 26514
/proc/meminfo: memFree=129547760/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=121744 memory=59640 CPUtime=2974.17 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10758 0 0 0 291458 5959 0 0 20 0 1 0 37373882 124665856 14910 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30436 14910 2528 595 0 15103 0
Current children cumulated CPU time: 2974.17 s
Current children cumulated vsize: 121744 KiB
Current children cumulated memory: 59640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/249 26516
/proc/meminfo: memFree=129548380/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=121744 memory=59640 CPUtime=3034.02 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10774 0 0 0 297300 6102 0 0 20 0 1 0 37373882 124665856 14910 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30436 14910 2528 595 0 15103 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 121744 KiB
Current children cumulated memory: 59640 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.17 4.14 5/250 26523
/proc/meminfo: memFree=129549148/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=121744 memory=59640 CPUtime=3093.87 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10774 0 0 0 303137 6250 0 0 20 0 1 0 37373882 124665856 14910 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30436 14910 2528 595 0 15103 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 121744 KiB
Current children cumulated memory: 59640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.15 4.14 5/250 26536
/proc/meminfo: memFree=129548972/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=121744 memory=59640 CPUtime=3153.72 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10777 0 0 0 308983 6389 0 0 20 0 1 0 37373882 124665856 14910 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30436 14910 2528 595 0 15103 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 121744 KiB
Current children cumulated memory: 59640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/250 26538
/proc/meminfo: memFree=129548784/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122152 memory=59896 CPUtime=3213.57 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10847 0 0 0 314824 6533 0 0 20 0 1 0 37373882 125083648 14974 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30538 14974 2528 595 0 15205 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 122152 KiB
Current children cumulated memory: 59896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/250 26540
/proc/meminfo: memFree=129548792/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122152 memory=59896 CPUtime=3273.41 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10849 0 0 0 320705 6636 0 0 20 0 1 0 37373882 125083648 14974 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30538 14974 2528 595 0 15205 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 122152 KiB
Current children cumulated memory: 59896 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/250 26544
/proc/meminfo: memFree=129550420/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122152 memory=59896 CPUtime=3333.26 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10861 0 0 0 326578 6748 0 0 20 0 1 0 37373882 125083648 14974 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30538 14974 2528 595 0 15205 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 122152 KiB
Current children cumulated memory: 59896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/250 26546
/proc/meminfo: memFree=129550644/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122152 memory=59896 CPUtime=3393.11 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10863 0 0 0 332466 6845 0 0 20 0 1 0 37373882 125083648 14974 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30538 14974 2528 595 0 15205 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 122152 KiB
Current children cumulated memory: 59896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/250 26547
/proc/meminfo: memFree=129550656/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122428 memory=60152 CPUtime=3452.95 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10925 0 0 0 338438 6857 0 0 20 0 1 0 37373882 125366272 15038 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30607 15038 2528 595 0 15274 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 122428 KiB
Current children cumulated memory: 60152 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/250 26549
/proc/meminfo: memFree=129548924/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122584 memory=60408 CPUtime=3512.8 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10971 0 0 0 344412 6868 0 0 20 0 1 0 37373882 125526016 15102 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30646 15102 2528 595 0 15313 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 122584 KiB
Current children cumulated memory: 60408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/250 26551
/proc/meminfo: memFree=129548716/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122584 memory=60408 CPUtime=3572.66 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10971 0 0 0 350173 7093 0 0 20 0 1 0 37373882 125526016 15102 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30646 15102 2528 595 0 15313 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 122584 KiB
Current children cumulated memory: 60408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.13 4.12 5/250 26552
/proc/meminfo: memFree=129548732/131382120 swapFree=33010684/33010684
[pid=25885] ppid=25882 vsize=122584 memory=60408 CPUtime=3600.09 cores=5,7
/proc/25885/stat : 25885 (SynLSCD-PS) R 25882 25885 24638 0 -1 4194304 10971 0 0 0 352850 7159 0 0 20 0 1 0 37373882 125526016 15102 18446744073709551615 94289165795328 94289168230329 140731848267600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94289168710904 94289168743936 94289178214400 140731848276320 140731848276456 140731848276456 140731848282058 0
/proc/25885/statm: 30646 15102 2528 595 0 15313 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 122584 KiB
Current children cumulated memory: 60408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 25885 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3528.51 s, system=71.6008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.81
CPU time (s): 3600.11
CPU user time (s): 3528.51
CPU system time (s): 71.6008
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 122584
Max. memory (cumulated for all children) (KiB): 60408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.51
system time used= 71.6008
maximum resident set size= 60792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11003
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= 146
involuntary context switches= 1831
# summary of solver processes directly reported to runsolver:
# pid: 25885
# total CPU time (s): 3600.11
# total CPU user time (s): 3528.51
# total CPU system time (s): 71.6008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1215 second user time and 34.0796 second system time
The end
Begin job on nodeC003 at 2025-06-29 19:09:12
IDJOB=4513885
IDBENCH=162572
IDSOLVER=3370
FILE ID=nodeC003/4513885-1751216952
RUNJOBID= nodeC003-1751209547-24651
SLURM_JOB_ID= 9587643
Free space on /tmp= 432744 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l080-r079-n1.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513885-1751216952/watcher-4513885-1751216952 -o /tmp/evaluation-result-4513885-1751216952/solver-4513885-1751216952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751209547-24651 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513885-1751216952.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1372c66e4673859c6e3da379b7182901
RANDOM SEED=871969759
nodeC003 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 : 3662.318
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.44
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 : 3664.769
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.44
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.851
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.44
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 : 3700.000
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.44
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 : 3662.154
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.44
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 : 3492.897
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.44
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.531
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.44
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.167
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129610948 kB
MemAvailable: 129744416 kB
Buffers: 3280 kB
Cached: 943128 kB
SwapCached: 0 kB
Active: 475596 kB
Inactive: 729312 kB
Active(anon): 276460 kB
Inactive(anon): 0 kB
Active(file): 199136 kB
Inactive(file): 729312 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3580 kB
Writeback: 0 kB
AnonPages: 261700 kB
Mapped: 114880 kB
Shmem: 17960 kB
KReclaimable: 89296 kB
Slab: 170960 kB
SReclaimable: 89296 kB
SUnreclaim: 81664 kB
KernelStack: 4044 kB
PageTables: 3828 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 651332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432736 MiB
End job on nodeC003 at 2025-06-29 20:09:22