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: 63665 MiB (62560 MiB free)
memory of node 1: 64507 MiB (62538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546447-1753260380/watcher-4546447-1753260380 -o /tmp/evaluation-result-4546447-1753260380/solver-4546447-1753260380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753259701-168535 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546447-1753260380.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=169338, runsolver pid=169335
[startup+0.100064 s]*
/proc/loadavg: 4.16 3.78 2.26 5/265 169339
/proc/meminfo: memFree=128077624/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=109564 memory=35520 CPUtime=0.08 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 7172 0 0 0 7 1 0 0 20 0 1 0 241715808 112193536 8880 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 27391 8880 2432 595 0 12058 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 109564 KiB
Current children cumulated memory: 35520 KiB
[startup+0.20559 s]*
/proc/loadavg: 4.16 3.78 2.26 5/265 169339
/proc/meminfo: memFree=128077624/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70080 CPUtime=0.19 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15828 0 0 0 16 3 0 0 20 0 1 0 241715808 146661376 17520 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17520 2432 595 0 20473 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70080 KiB
[startup+0.305538 s]*
/proc/loadavg: 4.16 3.78 2.26 5/265 169339
/proc/meminfo: memFree=128077624/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=0.29 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15859 0 0 0 26 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+0.70017 s]
/proc/loadavg: 4.15 3.78 2.27 5/265 169339
/proc/meminfo: memFree=128077624/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=0.68 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15859 0 0 0 65 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 3.78 2.27 5/265 169339
/proc/meminfo: memFree=128094520/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=1.48 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15859 0 0 0 145 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+3.10531 s]
/proc/loadavg: 4.15 3.78 2.27 5/265 169339
/proc/meminfo: memFree=128110904/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=3.08 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15859 0 0 0 305 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 3.79 2.28 5/265 169339
/proc/meminfo: memFree=128135688/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=6.26 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15860 0 0 0 623 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 3.79 2.28 5/265 169339
/proc/meminfo: memFree=128184840/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=12.65 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15860 0 0 0 1262 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 3.81 2.31 5/265 169340
/proc/meminfo: memFree=128291504/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=25.42 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15860 0 0 0 2539 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 3.83 2.36 5/265 169340
/proc/meminfo: memFree=128500408/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=143224 memory=70208 CPUtime=50.97 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 15860 0 0 0 5094 3 0 0 20 0 1 0 241715808 146661376 17552 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 35806 17552 2432 595 0 20473 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 143224 KiB
Current children cumulated memory: 70208 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 3.89 2.46 5/265 169342
/proc/meminfo: memFree=128868192/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=153232 memory=96808 CPUtime=102.04 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 18390 0 0 0 10193 11 0 0 20 0 1 0 241715808 156909568 24202 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 38308 24202 2464 595 0 22975 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 153232 KiB
Current children cumulated memory: 96808 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.93 2.57 5/265 169344
/proc/meminfo: memFree=129051212/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=153628 memory=97832 CPUtime=161.88 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 18518 0 0 0 16177 11 0 0 20 0 1 0 241715808 157315072 24458 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 38407 24458 2464 595 0 23074 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 153628 KiB
Current children cumulated memory: 97832 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.96 2.66 5/266 169347
/proc/meminfo: memFree=129067628/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=173164 memory=116128 CPUtime=221.74 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 20246 0 0 0 22150 24 0 0 20 0 1 0 241715808 177319936 29032 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 43291 29032 2464 595 0 27958 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 173164 KiB
Current children cumulated memory: 116128 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.00 2.76 5/264 169349
/proc/meminfo: memFree=129062684/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=173164 memory=116128 CPUtime=281.6 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 20246 0 0 0 28136 24 0 0 20 0 1 0 241715808 177319936 29032 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 43291 29032 2464 595 0 27958 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 173164 KiB
Current children cumulated memory: 116128 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.01 2.85 5/264 169351
/proc/meminfo: memFree=129053972/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=177356 memory=120224 CPUtime=341.46 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 21268 0 0 0 34114 32 0 0 20 0 1 0 241715808 181612544 30056 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 44339 30056 2464 595 0 29006 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 177356 KiB
Current children cumulated memory: 120224 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.05 2.94 5/264 169353
/proc/meminfo: memFree=129061416/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=177540 memory=120352 CPUtime=401.33 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 21339 0 0 0 40099 34 0 0 20 0 1 0 241715808 181800960 30088 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 44385 30088 2464 595 0 29052 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 177540 KiB
Current children cumulated memory: 120352 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.06 3.01 5/265 169356
/proc/meminfo: memFree=129035444/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=204216 memory=132608 CPUtime=461.18 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 22656 0 0 0 46074 44 0 0 20 0 1 0 241715808 209117184 33152 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 51054 33152 2464 595 0 35721 0
Current children cumulated CPU time: 461.18 s
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/265 169552
/proc/meminfo: memFree=128963300/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=237608 memory=166144 CPUtime=3035.15 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 31266 0 0 0 303164 351 0 0 20 0 1 0 241715808 243310592 41536 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 59402 41536 2464 595 0 44069 0
Current children cumulated CPU time: 3035.15 s
Current children cumulated vsize: 237608 KiB
Current children cumulated memory: 166144 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.06 4/261 169562
/proc/meminfo: memFree=128964412/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=237608 memory=166144 CPUtime=3095.01 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 31266 0 0 0 309149 352 0 0 20 0 1 0 241715808 243310592 41536 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 59402 41536 2464 595 0 44069 0
Current children cumulated CPU time: 3095.01 s
Current children cumulated vsize: 237608 KiB
Current children cumulated memory: 166144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/266 169871
/proc/meminfo: memFree=128959872/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=237608 memory=166144 CPUtime=3154.85 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 31266 0 0 0 315124 361 0 0 20 0 1 0 241715808 243310592 41536 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 59402 41536 2464 595 0 44069 0
Current children cumulated CPU time: 3154.85 s
Current children cumulated vsize: 237608 KiB
Current children cumulated memory: 166144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/266 170052
/proc/meminfo: memFree=128114016/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=237752 memory=166272 CPUtime=3214.69 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 31302 0 0 0 321101 368 0 0 20 0 1 0 241715808 243458048 41568 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 59438 41568 2464 595 0 44105 0
Current children cumulated CPU time: 3214.69 s
Current children cumulated vsize: 237752 KiB
Current children cumulated memory: 166272 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/266 170098
/proc/meminfo: memFree=128460472/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=237752 memory=166272 CPUtime=3274.5 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 31325 0 0 0 327078 372 0 0 20 0 1 0 241715808 243458048 41568 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 59438 41568 2464 595 0 44105 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 237752 KiB
Current children cumulated memory: 166272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.08 5/265 170100
/proc/meminfo: memFree=128410284/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=239128 memory=167680 CPUtime=3334.32 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 31661 0 0 0 333049 383 0 0 20 0 1 0 241715808 244867072 41920 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 59782 41920 2464 595 0 44449 0
Current children cumulated CPU time: 3334.32 s
Current children cumulated vsize: 239128 KiB
Current children cumulated memory: 167680 KiB
[startup+3402.3 s]
/proc/loadavg: 3.91 4.05 4.05 4/258 170132
/proc/meminfo: memFree=128463892/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=240340 memory=168832 CPUtime=3394.13 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 31951 0 0 0 339020 393 0 0 20 0 1 0 241715808 246108160 42208 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60085 42208 2464 595 0 44752 0
Current children cumulated CPU time: 3394.13 s
Current children cumulated vsize: 240340 KiB
Current children cumulated memory: 168832 KiB
[startup+3462.3 s]
/proc/loadavg: 3.44 3.89 3.99 4/259 170135
/proc/meminfo: memFree=128437632/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=241052 memory=169472 CPUtime=3453.94 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 32145 0 0 0 344989 405 0 0 20 0 1 0 241715808 246837248 42368 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60263 42368 2464 595 0 44930 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 169472 KiB
[startup+3522.3 s]
/proc/loadavg: 3.22 3.74 3.94 4/258 170138
/proc/meminfo: memFree=128430640/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=241052 memory=169600 CPUtime=3513.77 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 32150 0 0 0 350971 406 0 0 20 0 1 0 241715808 246837248 42400 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60263 42400 2464 595 0 44930 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 169600 KiB
[startup+3582.3 s]
/proc/loadavg: 3.20 3.64 3.89 4/258 170140
/proc/meminfo: memFree=128420320/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=241052 memory=169600 CPUtime=3573.59 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 32162 0 0 0 356948 411 0 0 20 0 1 0 241715808 246837248 42400 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60263 42400 2464 595 0 44930 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 169600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 3.13 3.58 3.86 4/259 170143
/proc/meminfo: memFree=128422420/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=241052 memory=169600 CPUtime=3600.02 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 32162 0 0 0 359587 415 0 0 20 0 1 0 241715808 246837248 42400 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60263 42400 2464 595 0 44930 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 169600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.8 s]
# the end of solver process 169338 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3597.87 s, system=4.15321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 3.13 3.58 3.86 4/259 170143
/proc/meminfo: memFree=128422420/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=241052 memory=169600 CPUtime=3600.82 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 32162 0 0 0 359667 415 0 0 20 0 1 0 241715808 246837248 42400 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60263 42400 2464 595 0 44930 0
Current children cumulated CPU time: 3600.82 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 169600 KiB
[startup+3610.4 s]
/proc/loadavg: 3.13 3.58 3.86 4/259 170143
/proc/meminfo: memFree=128422420/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=241052 memory=169600 CPUtime=3601.61 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 32162 0 0 0 359746 415 0 0 20 0 1 0 241715808 246837248 42400 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60263 42400 2464 595 0 44930 0
Current children cumulated CPU time: 3601.61 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 169600 KiB
[startup+3610.8 s]
/proc/loadavg: 3.13 3.58 3.86 4/259 170143
/proc/meminfo: memFree=128422420/131249996 swapFree=33010416/33010684
[pid=169338] ppid=169335 vsize=241052 memory=169600 CPUtime=3602.01 cores=1,3
/proc/169338/stat : 169338 (SynLSCD-PS) R 169335 169338 168516 0 -1 4194304 32162 0 0 0 359786 415 0 0 20 0 1 0 241715808 246837248 42400 18446744073709551615 94687846428672 94687848864089 140734267096000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94687849344248 94687849377280 94687865896960 140734267099517 140734267099655 140734267099655 140734267105259 0
/proc/169338/statm: 60263 42400 2464 595 0 44930 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 241052 KiB
Current children cumulated memory: 169600 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.8
CPU time (s): 3602.02
CPU user time (s): 3597.87
CPU system time (s): 4.15321
CPU usage (%): 99.7568
Max. virtual memory (cumulated for all children) (KiB): 241052
Max. memory (cumulated for all children) (KiB): 169600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.87
system time used= 4.15321
maximum resident set size= 169600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32162
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= 181
involuntary context switches= 5518
# summary of solver processes directly reported to runsolver:
# pid: 169338
# total CPU time (s): 3602.02
# total CPU user time (s): 3597.87
# total CPU system time (s): 4.15321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58871 second user time and 14.8027 second system time
The end
Begin job on nodeC017 at 2025-07-23 10:46:21
IDJOB=4546447
IDBENCH=162289
IDSOLVER=3422
FILE ID=nodeC017/4546447-1753260380
RUNJOBID= nodeC017-1753259701-168535
SLURM_JOB_ID= 9689172
Free space on /tmp= 433036 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-0.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-4546447-1753260380/watcher-4546447-1753260380 -o /tmp/evaluation-result-4546447-1753260380/solver-4546447-1753260380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753259701-168535 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546447-1753260380.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3e8b284557ab3bc728bad30e424c83e1
RANDOM SEED=423121516
nodeC017 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 : 3600.054
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 : 7000.12
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 : 3600.014
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 : 7000.12
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 : 3600.753
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 : 7000.12
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 : 3654.747
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 : 7000.12
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 : 3600.063
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 : 7000.12
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 : 3600.046
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 : 7000.12
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 : 3725.685
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 : 7000.12
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 : 3599.914
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128101124 kB
MemAvailable: 128554552 kB
Buffers: 1688 kB
Cached: 1220140 kB
SwapCached: 32 kB
Active: 1128932 kB
Inactive: 246412 kB
Active(anon): 155648 kB
Inactive(anon): 24108 kB
Active(file): 973284 kB
Inactive(file): 222304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3944 kB
Writeback: 0 kB
AnonPages: 156524 kB
Mapped: 120520 kB
Shmem: 26240 kB
KReclaimable: 193760 kB
Slab: 289548 kB
SReclaimable: 193760 kB
SUnreclaim: 95788 kB
KernelStack: 4336 kB
PageTables: 3652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 535612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 77824 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC017 at 2025-07-23 11:46:31