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 (50439 MiB free)
memory of node 1: 64465 MiB (52743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546224-1753259701/watcher-4546224-1753259701 -o /tmp/evaluation-result-4546224-1753259701/solver-4546224-1753259701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753259701-164091 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546224-1753259701.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=164114, runsolver pid=164107
[startup+0.100089 s]*
/proc/loadavg: 0.07 0.08 0.09 2/239 164116
/proc/meminfo: memFree=105654748/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=17104 memory=640 CPUtime=0 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 82 0 0 0 0 0 0 0 20 0 1 0 241649579 17514496 160 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.213712 s]*
/proc/loadavg: 0.07 0.08 0.09 2/240 164121
/proc/meminfo: memFree=105662320/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=99580 memory=25904 CPUtime=0.03 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 3491 0 4 0 1 2 0 0 20 0 1 0 241649579 101969920 6476 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 24895 6476 2240 595 0 9562 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 99580 KiB
Current children cumulated memory: 25904 KiB
[startup+0.313556 s]*
/proc/loadavg: 0.07 0.08 0.09 4/240 164124
/proc/meminfo: memFree=105649148/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=102820 memory=31908 CPUtime=0.13 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 4480 0 4 0 10 3 0 0 20 0 1 0 241649579 105287680 7977 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 25705 7977 2240 595 0 10372 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 102820 KiB
Current children cumulated memory: 31908 KiB
[startup+0.700278 s]
/proc/loadavg: 0.07 0.08 0.09 3/245 164139
/proc/meminfo: memFree=105647280/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=113872 memory=44900 CPUtime=0.51 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 7294 0 4 0 47 4 0 0 20 0 1 0 241649579 116604928 11225 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 28468 11225 2272 595 0 13135 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 113872 KiB
Current children cumulated memory: 44900 KiB
[startup+1.50035 s]
/proc/loadavg: 0.07 0.08 0.09 4/247 164153
/proc/meminfo: memFree=105525376/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=187720 memory=113136 CPUtime=1.3 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 23783 0 4 0 119 11 0 0 20 0 1 0 241649579 192225280 28284 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 46930 28284 2432 595 0 31597 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 113136 KiB
[startup+3.11293 s]
/proc/loadavg: 0.38 0.14 0.11 4/247 164156
/proc/meminfo: memFree=105333008/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=187720 memory=113136 CPUtime=2.91 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 23783 0 4 0 280 11 0 0 20 0 1 0 241649579 192225280 28284 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 46930 28284 2432 595 0 31597 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 113136 KiB
[startup+6.30031 s]
/proc/loadavg: 0.38 0.14 0.11 4/247 164156
/proc/meminfo: memFree=105333560/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=187720 memory=113136 CPUtime=6.08 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 23783 0 4 0 597 11 0 0 20 0 1 0 241649579 192225280 28284 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 46930 28284 2432 595 0 31597 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 113136 KiB
[startup+12.7003 s]
/proc/loadavg: 0.67 0.21 0.13 4/247 164156
/proc/meminfo: memFree=105334264/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=187720 memory=113136 CPUtime=12.46 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 23783 0 4 0 1235 11 0 0 20 0 1 0 241649579 192225280 28284 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 46930 28284 2432 595 0 31597 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 113136 KiB
[startup+25.5003 s]
/proc/loadavg: 1.48 0.41 0.20 4/247 164179
/proc/meminfo: memFree=105307296/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=189812 memory=115184 CPUtime=25.21 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 24288 0 4 0 2510 11 0 0 20 0 1 0 241649579 194367488 28796 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 47453 28796 2464 595 0 32120 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 189812 KiB
Current children cumulated memory: 115184 KiB
[startup+51.1128 s]
/proc/loadavg: 2.49 0.73 0.31 3/243 164255
/proc/meminfo: memFree=103505688/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=212856 memory=146820 CPUtime=50.71 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 29758 0 4 0 5053 18 0 0 20 0 1 0 241649579 217964544 36705 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 53214 36705 2464 595 0 37881 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 212856 KiB
Current children cumulated memory: 146820 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.27 0.52 4/247 164383
/proc/meminfo: memFree=105015448/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=217844 memory=155396 CPUtime=101.68 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 31152 0 4 0 10143 25 0 0 20 0 1 0 241649579 223072256 38849 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 54461 38849 2464 595 0 39128 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 217844 KiB
Current children cumulated memory: 155396 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 5/251 164466
/proc/meminfo: memFree=105120588/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=224820 memory=161796 CPUtime=161.49 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 32774 0 4 0 16118 31 0 0 20 0 1 0 241649579 230215680 40449 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 56205 40449 2464 595 0 40872 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 224820 KiB
Current children cumulated memory: 161796 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.22 0.96 5/251 164468
/proc/meminfo: memFree=105092280/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=231828 memory=168836 CPUtime=221.32 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 34552 0 4 0 22099 33 0 0 20 0 1 0 241649579 237391872 42209 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 57957 42209 2464 595 0 42624 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 231828 KiB
Current children cumulated memory: 168836 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 2.59 1.17 5/251 164470
/proc/meminfo: memFree=105040156/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=238044 memory=174724 CPUtime=281.15 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 36088 0 4 0 28081 34 0 0 20 0 1 0 241649579 243757056 43681 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 59511 43681 2464 595 0 44178 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 238044 KiB
Current children cumulated memory: 174724 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.86 1.35 5/249 164472
/proc/meminfo: memFree=104982184/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=245508 memory=182276 CPUtime=340.99 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 38002 0 4 0 34062 37 0 0 20 0 1 0 241649579 251400192 45569 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 61377 45569 2464 595 0 46044 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 245508 KiB
Current children cumulated memory: 182276 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.11 1.53 5/249 164473
/proc/meminfo: memFree=104907024/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=247544 memory=185092 CPUtime=400.84 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 38694 0 4 0 40046 38 0 0 20 0 1 0 241649579 253485056 46273 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 61886 46273 2464 595 0 46553 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 247544 KiB
Current children cumulated memory: 185092 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.29 1.69 5/250 164476
/proc/meminfo: memFree=104899300/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=252144 memory=189700 CPUtime=460.67 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 39897 0 4 0 46029 38 0 0 20 0 1 0 241649579 258195456 47425 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 63036 47425 2464 595 0 47703 0
################
# More data... #
################
Current children cumulated memory: 245380 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.02 5/250 164614
/proc/meminfo: memFree=104674484/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=308984 memory=245764 CPUtime=2913.53 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 54181 0 4 0 291261 92 0 0 20 0 1 0 241649579 316399616 61441 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 77246 61441 2528 595 0 61913 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 308984 KiB
Current children cumulated memory: 245764 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.15 4.02 5/250 164616
/proc/meminfo: memFree=104692184/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=308984 memory=245892 CPUtime=2973.38 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 54275 0 4 0 297246 92 0 0 20 0 1 0 241649579 316399616 61473 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 77246 61473 2528 595 0 61913 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 308984 KiB
Current children cumulated memory: 245892 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.02 5/250 164618
/proc/meminfo: memFree=104694848/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=309288 memory=246276 CPUtime=3033.22 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 54400 0 4 0 303229 93 0 0 20 0 1 0 241649579 316710912 61569 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 77322 61569 2528 595 0 61989 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 309288 KiB
Current children cumulated memory: 246276 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.02 5/250 164627
/proc/meminfo: memFree=104688924/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=309988 memory=246916 CPUtime=3093.07 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 54552 0 4 0 309214 93 0 0 20 0 1 0 241649579 317427712 61729 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 77497 61729 2528 595 0 62164 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 309988 KiB
Current children cumulated memory: 246916 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.03 5/250 164629
/proc/meminfo: memFree=104689756/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=310548 memory=247556 CPUtime=3152.91 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 54719 0 4 0 315197 94 0 0 20 0 1 0 241649579 318001152 61889 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 77637 61889 2528 595 0 62304 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 310548 KiB
Current children cumulated memory: 247556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.10 4.02 5/250 164631
/proc/meminfo: memFree=104688980/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=312000 memory=248836 CPUtime=3212.75 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 55050 0 4 0 321179 96 0 0 20 0 1 0 241649579 319488000 62209 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 78000 62209 2528 595 0 62667 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 312000 KiB
Current children cumulated memory: 248836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/250 164633
/proc/meminfo: memFree=104680440/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=312000 memory=249092 CPUtime=3272.6 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 55102 0 4 0 327164 96 0 0 20 0 1 0 241649579 319488000 62273 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 78000 62273 2528 595 0 62667 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 312000 KiB
Current children cumulated memory: 249092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/250 164635
/proc/meminfo: memFree=104672828/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=313600 memory=250244 CPUtime=3332.45 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 55394 0 4 0 333147 98 0 0 20 0 1 0 241649579 321126400 62561 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 78400 62561 2528 595 0 63067 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 313600 KiB
Current children cumulated memory: 250244 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/249 164637
/proc/meminfo: memFree=104668036/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=313600 memory=250756 CPUtime=3392.29 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 55511 0 4 0 339130 99 0 0 20 0 1 0 241649579 321126400 62689 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 78400 62689 2528 595 0 63067 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 313600 KiB
Current children cumulated memory: 250756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/249 164639
/proc/meminfo: memFree=104668452/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=314804 memory=251780 CPUtime=3452.13 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 55784 0 4 0 345111 102 0 0 20 0 1 0 241649579 322359296 62945 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 78701 62945 2528 595 0 63368 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 314804 KiB
Current children cumulated memory: 251780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/249 164641
/proc/meminfo: memFree=104668184/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=314804 memory=251780 CPUtime=3511.98 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 55786 0 4 0 351096 102 0 0 20 0 1 0 241649579 322359296 62945 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 78701 62945 2528 595 0 63368 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 314804 KiB
Current children cumulated memory: 251780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/250 164644
/proc/meminfo: memFree=104651936/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=316736 memory=253572 CPUtime=3571.82 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 56219 0 4 0 357079 103 0 0 20 0 1 0 241649579 324337664 63393 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 79184 63393 2528 595 0 63851 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 316736 KiB
Current children cumulated memory: 253572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.10 4.10 4.04 5/250 164646
/proc/meminfo: memFree=104652456/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=316736 memory=253572 CPUtime=3600.05 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 56219 0 4 0 359902 103 0 0 20 0 1 0 241649579 324337664 63393 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 79184 63393 2528 595 0 63851 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 316736 KiB
Current children cumulated memory: 253572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.87 s]
# the end of solver process 164114 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.29 s, system=1.03342 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.8 s]
/proc/loadavg: 4.10 4.10 4.04 5/250 164646
/proc/meminfo: memFree=104652456/131382112 swapFree=33001664/33010684
[pid=164114] ppid=164107 vsize=299480 memory=242820 CPUtime=3600.25 cores=1,3
/proc/164114/stat : 164114 (SynLSCD-PS) R 164107 164114 164071 0 -1 4194304 56224 0 4 0 359922 103 0 0 20 0 1 0 241649579 306667520 60705 18446744073709551615 94192113176576 94192115611993 140726974572624 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94192116092152 94192116125184 94192120803328 140726974577021 140726974577159 140726974577159 140726974582763 0
/proc/164114/statm: 74870 60705 2592 595 0 59537 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 299480 KiB
Current children cumulated memory: 242820 KiB
Child status: 0
Real time (s): 3610.87
CPU time (s): 3600.32
CPU user time (s): 3599.29
CPU system time (s): 1.03342
CPU usage (%): 99.7079
Max. virtual memory (cumulated for all children) (KiB): 316736
Max. memory (cumulated for all children) (KiB): 253572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.29
system time used= 1.03342
maximum resident set size= 253828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56249
page faults= 4
swaps= 0
block input operations= 88
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254
involuntary context switches= 2179
# summary of solver processes directly reported to runsolver:
# pid: 164114
# total CPU time (s): 3600.32
# total CPU user time (s): 3599.29
# total CPU system time (s): 1.03342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.17 second user time and 34.2797 second system time
The end
Begin job on nodeC005 at 2025-07-23 10:35:01
IDJOB=4546224
IDBENCH=147736
IDSOLVER=3422
FILE ID=nodeC005/4546224-1753259701
RUNJOBID= nodeC005-1753259701-164091
SLURM_JOB_ID= 9689160
Free space on /tmp= 433032 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.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-4546224-1753259701/watcher-4546224-1753259701 -o /tmp/evaluation-result-4546224-1753259701/solver-4546224-1753259701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753259701-164091 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546224-1753259701.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d06d89796adb8259df968e568daeeb68
RANDOM SEED=1977601264
nodeC005 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.255
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.90
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 : 1197.476
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.90
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 : 3700.000
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.90
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.150
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.90
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.574
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.90
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.407
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.90
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 : 3700.000
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.90
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.275
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 105659000 kB
MemAvailable: 129847308 kB
Buffers: 12 kB
Cached: 24959516 kB
SwapCached: 776 kB
Active: 478976 kB
Inactive: 24544712 kB
Active(anon): 46352 kB
Inactive(anon): 38384 kB
Active(file): 432624 kB
Inactive(file): 24506328 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33001664 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5608 kB
Writeback: 0 kB
AnonPages: 66624 kB
Mapped: 103140 kB
Shmem: 20564 kB
KReclaimable: 177964 kB
Slab: 269344 kB
SReclaimable: 177964 kB
SUnreclaim: 91380 kB
KernelStack: 3824 kB
PageTables: 2856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 349296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC005 at 2025-07-23 11:35:13