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 (61567 MiB free)
memory of node 1: 64507 MiB (62925 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546317-1753261136/watcher-4546317-1753261136 -o /tmp/evaluation-result-4546317-1753261136/solver-4546317-1753261136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753259701-203628 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546317-1753261136.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=204243, runsolver pid=204240
[startup+0.100065 s]*
/proc/loadavg: 4.07 4.05 3.28 5/263 204244
/proc/meminfo: memFree=127465568/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=99060 memory=25792 CPUtime=0.09 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 4817 0 0 0 8 1 0 0 20 0 1 0 241793838 101437440 6448 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 24765 6448 2432 595 0 9432 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99060 KiB
Current children cumulated memory: 25792 KiB
[startup+0.205571 s]*
/proc/loadavg: 4.14 4.07 3.28 5/263 204244
/proc/meminfo: memFree=127465568/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=99060 memory=25792 CPUtime=0.19 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 4817 0 0 0 18 1 0 0 20 0 1 0 241793838 101437440 6448 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 24765 6448 2432 595 0 9432 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99060 KiB
Current children cumulated memory: 25792 KiB
[startup+0.305446 s]*
/proc/loadavg: 4.14 4.07 3.28 5/263 204244
/proc/meminfo: memFree=127465568/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=99060 memory=25792 CPUtime=0.29 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 4817 0 0 0 28 1 0 0 20 0 1 0 241793838 101437440 6448 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 24765 6448 2432 595 0 9432 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99060 KiB
Current children cumulated memory: 25792 KiB
[startup+0.700166 s]
/proc/loadavg: 4.14 4.07 3.28 5/263 204244
/proc/meminfo: memFree=127465568/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=99060 memory=25792 CPUtime=0.68 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 4817 0 0 0 67 1 0 0 20 0 1 0 241793838 101437440 6448 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 24765 6448 2432 595 0 9432 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99060 KiB
Current children cumulated memory: 25792 KiB
[startup+1.50013 s]
/proc/loadavg: 4.14 4.07 3.28 5/263 204244
/proc/meminfo: memFree=127465320/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=99060 memory=25792 CPUtime=1.48 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 4817 0 0 0 147 1 0 0 20 0 1 0 241793838 101437440 6448 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 24765 6448 2432 595 0 9432 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99060 KiB
Current children cumulated memory: 25792 KiB
[startup+3.1053 s]
/proc/loadavg: 4.14 4.07 3.28 5/263 204244
/proc/meminfo: memFree=127465492/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=99060 memory=25792 CPUtime=3.08 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 4817 0 0 0 307 1 0 0 20 0 1 0 241793838 101437440 6448 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 24765 6448 2432 595 0 9432 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99060 KiB
Current children cumulated memory: 25792 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.07 3.29 5/263 204244
/proc/meminfo: memFree=127465752/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=99060 memory=25792 CPUtime=6.27 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 4817 0 0 0 626 1 0 0 20 0 1 0 241793838 101437440 6448 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 24765 6448 2432 595 0 9432 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 99060 KiB
Current children cumulated memory: 25792 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.06 3.29 5/263 204244
/proc/meminfo: memFree=127466032/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=101720 memory=34832 CPUtime=12.65 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 5506 0 0 0 1264 1 0 0 20 0 1 0 241793838 104161280 8708 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 25430 8708 2496 595 0 10097 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 101720 KiB
Current children cumulated memory: 34832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.06 3.30 5/263 204244
/proc/meminfo: memFree=127465132/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=102668 memory=35856 CPUtime=25.42 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 5757 0 0 0 2539 3 0 0 20 0 1 0 241793838 105132032 8964 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 25667 8964 2496 595 0 10334 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 102668 KiB
Current children cumulated memory: 35856 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.07 3.33 5/263 204244
/proc/meminfo: memFree=127465416/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=102892 memory=36240 CPUtime=50.97 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 5841 0 0 0 5090 7 0 0 20 0 1 0 241793838 105361408 9060 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 25723 9060 2496 595 0 10390 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 102892 KiB
Current children cumulated memory: 36240 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.06 3.37 5/262 204246
/proc/meminfo: memFree=127429372/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=105328 memory=38672 CPUtime=102.04 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 6448 0 0 0 10185 19 0 0 20 0 1 0 241793838 107855872 9668 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 26332 9668 2496 595 0 10999 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 105328 KiB
Current children cumulated memory: 38672 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.06 3.41 5/262 204259
/proc/meminfo: memFree=127420004/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=106188 memory=39696 CPUtime=161.89 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 6654 0 0 0 16159 30 0 0 20 0 1 0 241793838 108736512 9924 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 26547 9924 2496 595 0 11214 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 106188 KiB
Current children cumulated memory: 39696 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.08 3.47 5/262 204261
/proc/meminfo: memFree=127415316/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=107344 memory=41360 CPUtime=221.75 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 6951 0 0 0 22131 44 0 0 20 0 1 0 241793838 109920256 10340 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 26836 10340 2496 595 0 11503 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 107344 KiB
Current children cumulated memory: 41360 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.08 3.51 5/262 204263
/proc/meminfo: memFree=127415620/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=107888 memory=41872 CPUtime=281.6 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 7091 0 0 0 28103 57 0 0 20 0 1 0 241793838 110477312 10468 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 26972 10468 2496 595 0 11639 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 107888 KiB
Current children cumulated memory: 41872 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.08 3.55 5/262 204265
/proc/meminfo: memFree=127409528/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=108044 memory=42000 CPUtime=341.46 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 7140 0 0 0 34077 69 0 0 20 0 1 0 241793838 110637056 10500 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 27011 10500 2496 595 0 11678 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 108044 KiB
Current children cumulated memory: 42000 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.07 3.58 5/262 204268
/proc/meminfo: memFree=127409808/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=108228 memory=42256 CPUtime=401.32 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 7202 0 0 0 40053 79 0 0 20 0 1 0 241793838 110825472 10564 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 27057 10564 2496 595 0 11724 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 108228 KiB
Current children cumulated memory: 42256 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.07 3.62 5/263 204277
/proc/meminfo: memFree=127407308/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=109564 memory=43536 CPUtime=461.17 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 7520 0 0 0 46026 91 0 0 20 0 1 0 241793838 112193536 10884 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 27391 10884 2496 595 0 12058 0
Current children cumulated CPU time: 461.17 s
################
# More data... #
################
Current children cumulated memory: 52296 KiB
[startup+2922.3 s]
/proc/loadavg: 3.08 3.36 3.70 4/257 204704
/proc/meminfo: memFree=124285828/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=116168 memory=52296 CPUtime=2914.9 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9272 0 0 0 290894 596 0 0 20 0 1 0 241793838 118956032 13074 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29042 13074 2496 595 0 13709 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 116168 KiB
Current children cumulated memory: 52296 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.31 3.66 4/257 204706
/proc/meminfo: memFree=124284400/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117000 memory=53064 CPUtime=2974.75 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9456 0 0 0 296863 612 0 0 20 0 1 0 241793838 119808000 13266 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29250 13266 2496 595 0 13917 0
Current children cumulated CPU time: 2974.75 s
Current children cumulated vsize: 117000 KiB
Current children cumulated memory: 53064 KiB
[startup+3042.3 s]
/proc/loadavg: 3.08 3.27 3.62 4/257 204708
/proc/meminfo: memFree=124239312/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117000 memory=53064 CPUtime=3034.61 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9456 0 0 0 302837 624 0 0 20 0 1 0 241793838 119808000 13266 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29250 13266 2496 595 0 13917 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 117000 KiB
Current children cumulated memory: 53064 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.25 3.60 4/257 204710
/proc/meminfo: memFree=124208960/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117000 memory=53064 CPUtime=3094.46 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9457 0 0 0 308811 635 0 0 20 0 1 0 241793838 119808000 13266 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29250 13266 2496 595 0 13917 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 117000 KiB
Current children cumulated memory: 53064 KiB
[startup+3162.3 s]
/proc/loadavg: 3.05 3.20 3.55 4/256 204712
/proc/meminfo: memFree=124194744/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117000 memory=53064 CPUtime=3154.32 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9459 0 0 0 314784 648 0 0 20 0 1 0 241793838 119808000 13266 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29250 13266 2496 595 0 13917 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 117000 KiB
Current children cumulated memory: 53064 KiB
[startup+3222.3 s]
/proc/loadavg: 3.06 3.18 3.52 4/256 204714
/proc/meminfo: memFree=124189944/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117256 memory=53320 CPUtime=3214.17 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9522 0 0 0 320755 662 0 0 20 0 1 0 241793838 120070144 13330 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29314 13330 2496 595 0 13981 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 117256 KiB
Current children cumulated memory: 53320 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.17 3.50 4/256 204716
/proc/meminfo: memFree=124191504/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117256 memory=53320 CPUtime=3274.04 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9523 0 0 0 326730 674 0 0 20 0 1 0 241793838 120070144 13330 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29314 13330 2496 595 0 13981 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 117256 KiB
Current children cumulated memory: 53320 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.15 3.47 4/256 204720
/proc/meminfo: memFree=124177100/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117256 memory=53448 CPUtime=3333.89 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9553 0 0 0 332705 684 0 0 20 0 1 0 241793838 120070144 13362 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29314 13362 2496 595 0 13981 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 117256 KiB
Current children cumulated memory: 53448 KiB
[startup+3402.3 s]
/proc/loadavg: 3.17 3.16 3.45 4/256 204722
/proc/meminfo: memFree=124138268/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117388 memory=53576 CPUtime=3393.75 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9572 0 0 0 338681 694 0 0 20 0 1 0 241793838 120205312 13394 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29347 13394 2496 595 0 14014 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 117388 KiB
Current children cumulated memory: 53576 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.14 3.43 4/257 204731
/proc/meminfo: memFree=124014648/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117388 memory=53576 CPUtime=3453.61 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9576 0 0 0 344653 708 0 0 20 0 1 0 241793838 120205312 13394 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29347 13394 2496 595 0 14014 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 117388 KiB
Current children cumulated memory: 53576 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.13 3.40 4/257 204733
/proc/meminfo: memFree=123992212/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117388 memory=53576 CPUtime=3513.46 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9579 0 0 0 350625 721 0 0 20 0 1 0 241793838 120205312 13394 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29347 13394 2496 595 0 14014 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 117388 KiB
Current children cumulated memory: 53576 KiB
[startup+3582.3 s]
/proc/loadavg: 3.06 3.12 3.38 4/257 204735
/proc/meminfo: memFree=123984252/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117388 memory=53576 CPUtime=3573.33 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9597 0 0 0 356601 732 0 0 20 0 1 0 241793838 120205312 13394 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29347 13394 2496 595 0 14014 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 117388 KiB
Current children cumulated memory: 53576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 3.04 3.11 3.37 4/257 204736
/proc/meminfo: memFree=123983540/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117388 memory=53576 CPUtime=3600.06 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9597 0 0 0 359268 738 0 0 20 0 1 0 241793838 120205312 13394 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29347 13394 2496 595 0 14014 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 117388 KiB
Current children cumulated memory: 53576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 204243 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.69 s, system=7.38868 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 3.04 3.11 3.37 4/257 204736
/proc/meminfo: memFree=123983540/131250000 swapFree=33008868/33010684
[pid=204243] ppid=204240 vsize=117388 memory=53576 CPUtime=3600.06 cores=1,3
/proc/204243/stat : 204243 (SynLSCD-PS) R 204240 204243 203609 0 -1 4194304 9597 0 0 0 359268 738 0 0 20 0 1 0 241793838 120205312 13394 18446744073709551615 94298003841024 94298006276441 140737367423824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94298006756600 94298006789632 94298022866944 140737367427453 140737367427591 140737367427591 140737367433195 0
/proc/204243/statm: 29347 13394 2496 595 0 14014 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 117388 KiB
Current children cumulated memory: 53576 KiB
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.08
CPU user time (s): 3592.69
CPU system time (s): 7.38868
CPU usage (%): 99.7498
Max. virtual memory (cumulated for all children) (KiB): 117388
Max. memory (cumulated for all children) (KiB): 53576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.69
system time used= 7.38868
maximum resident set size= 53832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9628
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= 151
involuntary context switches= 6049
# summary of solver processes directly reported to runsolver:
# pid: 204243
# total CPU time (s): 3600.08
# total CPU user time (s): 3592.69
# total CPU system time (s): 7.38868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4984 second user time and 15.1496 second system time
The end
Begin job on nodeC013 at 2025-07-23 10:58:56
IDJOB=4546317
IDBENCH=162581
IDSOLVER=3422
FILE ID=nodeC013/4546317-1753261136
RUNJOBID= nodeC013-1753259701-203628
SLURM_JOB_ID= 9689168
Free space on /tmp= 433024 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb
COMMAND LINE= ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546317-1753261136/watcher-4546317-1753261136 -o /tmp/evaluation-result-4546317-1753261136/solver-4546317-1753261136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753259701-203628 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546317-1753261136.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f51b92e6ea4641775f90070f7fcfd036
RANDOM SEED=1834945035
nodeC013 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.839
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.67
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.833
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.67
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.416
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.67
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 : 3598.672
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.67
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.843
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.67
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.849
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.67
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 : 3600.569
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.67
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 : 3605.466
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127480844 kB
MemAvailable: 128580244 kB
Buffers: 1668 kB
Cached: 1839440 kB
SwapCached: 52 kB
Active: 1986684 kB
Inactive: 981472 kB
Active(anon): 1143600 kB
Inactive(anon): 4872 kB
Active(file): 843084 kB
Inactive(file): 976600 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3620 kB
Writeback: 0 kB
AnonPages: 1130272 kB
Mapped: 115848 kB
Shmem: 21424 kB
KReclaimable: 237512 kB
Slab: 334264 kB
SReclaimable: 237512 kB
SUnreclaim: 96752 kB
KernelStack: 4236 kB
PageTables: 5572 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1582024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 995328 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC013 at 2025-07-23 11:59:05