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 (62691 MiB free)
memory of node 1: 64507 MiB (63630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546332-1753259869/watcher-4546332-1753259869 -o /tmp/evaluation-result-4546332-1753259869/solver-4546332-1753259869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753259701-180347 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546332-1753259869.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=180774, runsolver pid=180771
[startup+0.100058 s]*
/proc/loadavg: 4.00 1.88 0.78 5/267 180775
/proc/meminfo: memFree=129347052/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=89652 memory=16748 CPUtime=0.08 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2196 0 0 0 7 1 0 0 20 0 1 0 241666773 91803648 4187 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22413 4187 2464 595 0 7080 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16748 KiB
[startup+0.205495 s]*
/proc/loadavg: 4.00 1.88 0.78 5/267 180775
/proc/meminfo: memFree=129347052/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=89652 memory=16748 CPUtime=0.18 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2196 0 0 0 17 1 0 0 20 0 1 0 241666773 91803648 4187 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22413 4187 2464 595 0 7080 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16748 KiB
[startup+0.304795 s]*
/proc/loadavg: 4.00 1.88 0.78 5/267 180775
/proc/meminfo: memFree=129347052/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=89652 memory=16748 CPUtime=0.28 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2196 0 0 0 27 1 0 0 20 0 1 0 241666773 91803648 4187 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22413 4187 2464 595 0 7080 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16748 KiB
[startup+0.700117 s]
/proc/loadavg: 4.00 1.88 0.78 5/267 180775
/proc/meminfo: memFree=129347052/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=89652 memory=16748 CPUtime=0.67 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2196 0 0 0 66 1 0 0 20 0 1 0 241666773 91803648 4187 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22413 4187 2464 595 0 7080 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16748 KiB
[startup+1.50012 s]
/proc/loadavg: 4.00 1.92 0.80 5/267 180775
/proc/meminfo: memFree=129347052/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=89652 memory=16748 CPUtime=1.47 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2196 0 0 0 146 1 0 0 20 0 1 0 241666773 91803648 4187 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22413 4187 2464 595 0 7080 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16748 KiB
[startup+3.10537 s]
/proc/loadavg: 4.00 1.92 0.80 5/267 180775
/proc/meminfo: memFree=129347304/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=89652 memory=16748 CPUtime=3.07 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2196 0 0 0 306 1 0 0 20 0 1 0 241666773 91803648 4187 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22413 4187 2464 595 0 7080 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16748 KiB
[startup+6.30011 s]
/proc/loadavg: 4.00 1.95 0.82 5/267 180775
/proc/meminfo: memFree=129339316/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=89652 memory=16748 CPUtime=6.26 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2196 0 0 0 625 1 0 0 20 0 1 0 241666773 91803648 4187 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22413 4187 2464 595 0 7080 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89652 KiB
Current children cumulated memory: 16748 KiB
[startup+12.7001 s]
/proc/loadavg: 4.00 1.99 0.84 6/267 180775
/proc/meminfo: memFree=129331276/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=91304 memory=21052 CPUtime=12.64 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 2756 0 0 0 1262 2 0 0 20 0 1 0 241666773 93495296 5263 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 22826 5263 2496 595 0 7493 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 91304 KiB
Current children cumulated memory: 21052 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 2.07 0.88 5/267 180775
/proc/meminfo: memFree=129307120/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=94844 memory=24636 CPUtime=25.41 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 3641 0 0 0 2536 5 0 0 20 0 1 0 241666773 97120256 6159 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 23711 6159 2496 595 0 8378 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 24636 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 2.27 0.98 5/267 180776
/proc/meminfo: memFree=129263380/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=96096 memory=26044 CPUtime=50.96 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 3984 0 0 0 5081 15 0 0 20 0 1 0 241666773 98402304 6511 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 24024 6511 2496 595 0 8691 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 96096 KiB
Current children cumulated memory: 26044 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 2.56 1.15 5/267 180778
/proc/meminfo: memFree=129170708/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=98700 memory=28604 CPUtime=102.02 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 4639 0 0 0 10171 31 0 0 20 0 1 0 241666773 101068800 7151 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 24675 7151 2496 595 0 9342 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 98700 KiB
Current children cumulated memory: 28604 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 2.84 1.33 5/266 180781
/proc/meminfo: memFree=129130040/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=99960 memory=29968 CPUtime=161.88 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 5861 0 0 0 16140 48 0 0 20 0 1 0 241666773 102359040 7492 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 24990 7492 2496 595 0 9657 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 99960 KiB
Current children cumulated memory: 29968 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.08 1.51 5/263 180872
/proc/meminfo: memFree=125581020/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=102460 memory=32484 CPUtime=221.73 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 9619 0 0 0 22101 72 0 0 20 0 1 0 241666773 104919040 8121 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 25615 8121 2496 595 0 10282 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 102460 KiB
Current children cumulated memory: 32484 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.27 1.68 5/263 180874
/proc/meminfo: memFree=114408148/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=103856 memory=33816 CPUtime=281.57 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 14872 0 0 0 28061 96 0 0 20 0 1 0 241666773 106348544 8454 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 25964 8454 2496 595 0 10631 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 103856 KiB
Current children cumulated memory: 33816 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.43 1.84 5/263 180920
/proc/meminfo: memFree=121177964/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=104692 memory=34652 CPUtime=341.42 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 16753 0 0 0 34028 114 0 0 20 0 1 0 241666773 107204608 8663 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 26173 8663 2496 595 0 10840 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 104692 KiB
Current children cumulated memory: 34652 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.55 1.98 5/264 180923
/proc/meminfo: memFree=111030500/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=106420 memory=36396 CPUtime=401.27 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 23486 0 0 0 39986 141 0 0 20 0 1 0 241666773 108974080 9099 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 26605 9099 2496 595 0 11272 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 106420 KiB
Current children cumulated memory: 36396 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.65 2.11 5/264 180973
/proc/meminfo: memFree=128916364/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=106588 memory=36724 CPUtime=461.12 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 29233 0 0 0 45949 163 0 0 20 0 1 0 241666773 109146112 9181 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 26647 9181 2496 595 0 11314 0
Current children cumulated CPU time: 461.12 s
################
# More data... #
################
Current children cumulated memory: 50080 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.00 5/263 181558
/proc/meminfo: memFree=128954536/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=120104 memory=50240 CPUtime=2853.99 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 617617 0 0 0 284153 1246 0 0 20 0 1 0 241666773 122986496 12560 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30026 12560 2496 595 0 14693 0
Current children cumulated CPU time: 2853.99 s
Current children cumulated vsize: 120104 KiB
Current children cumulated memory: 50240 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.00 5/263 181562
/proc/meminfo: memFree=128956836/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=120264 memory=50400 CPUtime=2913.8 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 633871 0 0 0 290108 1272 0 0 20 0 1 0 241666773 123150336 12600 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30066 12600 2496 595 0 14733 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 120264 KiB
Current children cumulated memory: 50400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.00 5/263 181568
/proc/meminfo: memFree=128955940/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=120488 memory=50624 CPUtime=2973.6 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 653577 0 0 0 296053 1307 0 0 20 0 1 0 241666773 123379712 12656 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30122 12656 2496 595 0 14789 0
Current children cumulated CPU time: 2973.6 s
Current children cumulated vsize: 120488 KiB
Current children cumulated memory: 50624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/263 181570
/proc/meminfo: memFree=128980340/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=120648 memory=50784 CPUtime=3033.41 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 667059 0 0 0 302011 1330 0 0 20 0 1 0 241666773 123543552 12696 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30162 12696 2496 595 0 14829 0
Current children cumulated CPU time: 3033.41 s
Current children cumulated vsize: 120648 KiB
Current children cumulated memory: 50784 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/263 181572
/proc/meminfo: memFree=128963308/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=120776 memory=50912 CPUtime=3093.23 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 681564 0 0 0 307971 1352 0 0 20 0 1 0 241666773 123674624 12728 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30194 12728 2496 595 0 14861 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 120776 KiB
Current children cumulated memory: 50912 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.24 4.06 5/262 181574
/proc/meminfo: memFree=128960380/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=120968 memory=51104 CPUtime=3153.03 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 693649 0 0 0 313927 1376 0 0 20 0 1 0 241666773 123871232 12776 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30242 12776 2496 595 0 14909 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 120968 KiB
Current children cumulated memory: 51104 KiB
[startup+3222.3 s]
/proc/loadavg: 4.35 4.22 4.07 5/262 181576
/proc/meminfo: memFree=128921728/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=121224 memory=51360 CPUtime=3212.84 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 709033 0 0 0 319882 1402 0 0 20 0 1 0 241666773 124133376 12840 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30306 12840 2496 595 0 14973 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 121224 KiB
Current children cumulated memory: 51360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.27 4.10 5/263 181579
/proc/meminfo: memFree=128893968/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=121416 memory=51552 CPUtime=3272.65 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 723398 0 0 0 325838 1427 0 0 20 0 1 0 241666773 124329984 12888 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30354 12888 2496 595 0 15021 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 121416 KiB
Current children cumulated memory: 51552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.24 4.09 5/264 181582
/proc/meminfo: memFree=128871944/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=121704 memory=51840 CPUtime=3332.44 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 742818 0 0 0 331784 1460 0 0 20 0 1 0 241666773 124624896 12960 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30426 12960 2496 595 0 15093 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 121704 KiB
Current children cumulated memory: 51840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.22 4.09 5/264 181584
/proc/meminfo: memFree=128838616/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=122188 memory=52324 CPUtime=3392.25 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 763981 0 0 0 337726 1499 0 0 20 0 1 0 241666773 125120512 13081 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30547 13081 2496 595 0 15214 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 122188 KiB
Current children cumulated memory: 52324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.20 4.09 5/264 181586
/proc/meminfo: memFree=128821788/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=122668 memory=52804 CPUtime=3452.05 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 788077 0 0 0 343666 1539 0 0 20 0 1 0 241666773 125612032 13201 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30667 13201 2496 595 0 15334 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 122668 KiB
Current children cumulated memory: 52804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.17 4.09 5/264 181590
/proc/meminfo: memFree=128784408/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=122828 memory=52964 CPUtime=3511.86 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 803995 0 0 0 349606 1580 0 0 20 0 1 0 241666773 125775872 13241 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30707 13241 2496 595 0 15374 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 122828 KiB
Current children cumulated memory: 52964 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.19 4.10 5/263 181636
/proc/meminfo: memFree=128812356/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=123116 memory=53252 CPUtime=3571.67 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 824633 0 0 0 355544 1623 0 0 20 0 1 0 241666773 126070784 13313 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30779 13313 2496 595 0 15446 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 123116 KiB
Current children cumulated memory: 53252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.21 4.19 4.10 5/264 181643
/proc/meminfo: memFree=128629036/131250000 swapFree=33009904/33010684
[pid=180774] ppid=180771 vsize=123148 memory=53284 CPUtime=3600.09 cores=0,2
/proc/180774/stat : 180774 (SynLSCD-PS) R 180771 180774 180330 0 -1 4194304 831442 0 0 0 358378 1631 0 0 20 0 1 0 241666773 126103552 13321 18446744073709551615 94618903433216 94618905868633 140727508192336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94618906348792 94618906381824 94618939596800 140727508199805 140727508199943 140727508199943 140727508205547 0
/proc/180774/statm: 30787 13321 2496 595 0 15454 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 123148 KiB
Current children cumulated memory: 53284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 180774 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.79 s, system=16.315 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.8
CPU time (s): 3600.1
CPU user time (s): 3583.79
CPU system time (s): 16.315
CPU usage (%): 99.7037
Max. virtual memory (cumulated for all children) (KiB): 123692
Max. memory (cumulated for all children) (KiB): 53636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.79
system time used= 16.315
maximum resident set size= 53668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831474
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= 7894
# summary of solver processes directly reported to runsolver:
# pid: 180774
# total CPU time (s): 3600.1
# total CPU user time (s): 3583.79
# total CPU system time (s): 16.315
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41352 second user time and 14.4654 second system time
The end
Begin job on nodeC027 at 2025-07-23 10:37:49
IDJOB=4546332
IDBENCH=160366
IDSOLVER=3422
FILE ID=nodeC027/4546332-1753259869
RUNJOBID= nodeC027-1753259701-180347
SLURM_JOB_ID= 9689182
Free space on /tmp= 432984 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.cnf-plain.pb.metafix.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-4546332-1753259869/watcher-4546332-1753259869 -o /tmp/evaluation-result-4546332-1753259869/solver-4546332-1753259869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753259701-180347 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546332-1753259869.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=381433518
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.371
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.634
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3599.639
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3597.670
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.637
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.707
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3599.723
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129353756 kB
MemAvailable: 129304160 kB
Buffers: 1204 kB
Cached: 718856 kB
SwapCached: 8 kB
Active: 927584 kB
Inactive: 288040 kB
Active(anon): 474504 kB
Inactive(anon): 47292 kB
Active(file): 453080 kB
Inactive(file): 240748 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3564 kB
Writeback: 12 kB
AnonPages: 498692 kB
Mapped: 120440 kB
Shmem: 26224 kB
KReclaimable: 191232 kB
Slab: 286668 kB
SReclaimable: 191232 kB
SUnreclaim: 95436 kB
KernelStack: 4308 kB
PageTables: 4180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 871464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC027 at 2025-07-23 11:38:00