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: 63708 MiB (62255 MiB free)
memory of node 1: 64465 MiB (60700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526671-1751633280/watcher-4526671-1751633280 -o /tmp/evaluation-result-4526671-1751633280/solver-4526671-1751633280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751631620-91542 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=538066465 --ls=360 --inp-dombreaklim=0 HOME/instance-4526671-1751633280.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=92392, runsolver pid=92389
[startup+0.100064 s]*
/proc/loadavg: 4.46 4.19 3.90 5/263 92393
/proc/meminfo: memFree=125862168/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=77672 memory=51100 CPUtime=0.09 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 14194 0 0 0 7 2 0 0 20 0 1 0 79005473 79536128 12775 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 19418 12775 1024 1200 0 17898 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77672 KiB
Current children cumulated memory: 51100 KiB
[startup+0.205728 s]*
/proc/loadavg: 4.46 4.19 3.90 5/263 92393
/proc/meminfo: memFree=125838164/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=119640 memory=93120 CPUtime=0.2 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 23111 0 0 0 16 4 0 0 20 0 1 0 79005473 122511360 23280 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 29910 23280 1024 1200 0 28390 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119640 KiB
Current children cumulated memory: 93120 KiB
[startup+0.305666 s]*
/proc/loadavg: 4.46 4.19 3.90 5/263 92393
/proc/meminfo: memFree=125778496/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=180980 memory=149852 CPUtime=0.3 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 32796 0 0 0 24 6 0 0 20 0 1 0 79005473 185323520 37463 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 45245 37463 1024 1200 0 43725 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 180980 KiB
Current children cumulated memory: 149852 KiB
[startup+0.700177 s]
/proc/loadavg: 4.46 4.19 3.90 5/263 92393
/proc/meminfo: memFree=125734076/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=325928 memory=292376 CPUtime=0.69 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 52061 0 0 0 57 12 0 0 20 0 1 0 79005473 333750272 73094 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 81482 73094 1024 1200 0 79962 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 325928 KiB
Current children cumulated memory: 292376 KiB
[startup+1.50018 s]
/proc/loadavg: 4.46 4.19 3.90 5/263 92393
/proc/meminfo: memFree=125555760/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=681728 memory=585380 CPUtime=1.48 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 80824 0 0 0 125 23 0 0 20 0 1 0 79005473 698089472 146345 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 170432 146345 1024 1200 0 168912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 681728 KiB
Current children cumulated memory: 585380 KiB
[startup+3.1058 s]
/proc/loadavg: 4.46 4.19 3.90 5/263 92393
/proc/meminfo: memFree=125165652/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=3.09 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 101492 0 0 0 280 29 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+6.30018 s]
/proc/loadavg: 4.50 4.20 3.90 5/263 92393
/proc/meminfo: memFree=125165652/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=6.27 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 101559 0 0 0 598 29 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+12.7002 s]
/proc/loadavg: 4.46 4.20 3.91 5/263 92394
/proc/meminfo: memFree=125165656/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=12.65 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 101660 0 0 0 1236 29 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.36 4.19 3.91 5/264 92395
/proc/meminfo: memFree=125165688/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=25.4 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 101761 0 0 0 2511 29 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+51.1057 s]
/proc/loadavg: 4.30 4.19 3.92 5/264 92395
/proc/meminfo: memFree=125146476/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=50.91 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 101896 0 0 0 5062 29 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+102.3 s]
/proc/loadavg: 4.54 4.25 3.95 5/264 92400
/proc/meminfo: memFree=125147868/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=101.92 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 102576 0 0 0 10163 29 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 4.23 3.97 5/264 92451
/proc/meminfo: memFree=124589188/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=161.68 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 102670 0 0 0 16135 33 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.22 3.99 5/264 92454
/proc/meminfo: memFree=124383856/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=221.47 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 102737 0 0 0 22114 33 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.19 4.00 5/264 92456
/proc/meminfo: memFree=124397948/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=281.27 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 102804 0 0 0 28093 34 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.17 4.00 5/263 92458
/proc/meminfo: memFree=123156156/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=840712 memory=761684 CPUtime=341.07 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 102872 0 0 0 34073 34 0 0 20 0 1 0 79005473 860889088 190421 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 210178 190421 1024 1200 0 208658 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 840712 KiB
Current children cumulated memory: 761684 KiB
[startup+402.3 s]
/proc/loadavg: 4.47 4.25 4.04 5/264 92461
/proc/meminfo: memFree=120456096/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=1935984 memory=1801076 CPUtime=400.9 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 249618 0 0 0 40016 74 0 0 20 0 1 0 79005473 1982447616 450269 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 483996 450269 1248 1200 0 482476 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1935984 KiB
Current children cumulated memory: 1801076 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.22 4.04 5/264 92463
/proc/meminfo: memFree=117585228/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=2895276 memory=2761460 CPUtime=460.77 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 426381 0 0 0 45967 110 0 0 20 0 1 0 79005473 2964762624 690365 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 723819 690365 1248 1200 0 722299 0
Current children cumulated CPU time: 460.77 s
################
# More data... #
################
Current children cumulated memory: 12610664 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.15 3.43 4/258 92672
/proc/meminfo: memFree=105418204/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13600756 memory=12672220 CPUtime=3095.21 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 1966691 0 0 0 308825 696 0 0 20 0 1 0 79005473 13927174144 3168055 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3400189 3168055 1248 1200 0 3398669 0
Current children cumulated CPU time: 3095.21 s
Current children cumulated vsize: 13600756 KiB
Current children cumulated memory: 12672220 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.14 3.41 4/258 92676
/proc/meminfo: memFree=105324924/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13600756 memory=12743304 CPUtime=3155.08 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 1976074 0 0 0 314804 704 0 0 20 0 1 0 79005473 13927174144 3185826 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3400189 3185826 1248 1200 0 3398669 0
Current children cumulated CPU time: 3155.08 s
Current children cumulated vsize: 13600756 KiB
Current children cumulated memory: 12743304 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.12 3.38 4/257 92683
/proc/meminfo: memFree=105186632/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13600756 memory=12775420 CPUtime=3214.96 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 1980665 0 0 0 320787 709 0 0 20 0 1 0 79005473 13927174144 3193855 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3400189 3193855 1248 1200 0 3398669 0
Current children cumulated CPU time: 3214.96 s
Current children cumulated vsize: 13600756 KiB
Current children cumulated memory: 12775420 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.13 3.37 4/258 92686
/proc/meminfo: memFree=105019900/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13600756 memory=12839916 CPUtime=3274.83 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 1988383 0 0 0 326767 716 0 0 20 0 1 0 79005473 13927174144 3209979 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3400189 3209979 1248 1200 0 3398669 0
Current children cumulated CPU time: 3274.83 s
Current children cumulated vsize: 13600756 KiB
Current children cumulated memory: 12839916 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.12 3.35 4/258 92688
/proc/meminfo: memFree=104864720/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13600756 memory=12901660 CPUtime=3334.7 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 1995797 0 0 0 332747 723 0 0 20 0 1 0 79005473 13927174144 3225415 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3400189 3225415 1248 1200 0 3398669 0
Current children cumulated CPU time: 3334.7 s
Current children cumulated vsize: 13600756 KiB
Current children cumulated memory: 12901660 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.12 3.34 4/258 92690
/proc/meminfo: memFree=104652928/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13603944 memory=13033044 CPUtime=3394.58 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2008942 0 0 0 338726 732 0 0 20 0 1 0 79005473 13930438656 3258261 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3400986 3258261 1248 1200 0 3399466 0
Current children cumulated CPU time: 3394.58 s
Current children cumulated vsize: 13603944 KiB
Current children cumulated memory: 13033044 KiB
[startup+3462.3 s]
/proc/loadavg: 2.84 3.04 3.29 3/252 92722
/proc/meminfo: memFree=104498112/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13642668 memory=13112316 CPUtime=3454.38 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2017178 0 0 0 344699 739 0 0 20 0 1 0 79005473 13970092032 3278079 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3410667 3278079 1248 1200 0 3409147 0
Current children cumulated CPU time: 3454.38 s
Current children cumulated vsize: 13642668 KiB
Current children cumulated memory: 13112316 KiB
[startup+3522.3 s]
/proc/loadavg: 2.35 2.86 3.21 3/251 92724
/proc/meminfo: memFree=104349940/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13642668 memory=13203504 CPUtime=3514.17 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2027156 0 0 0 350671 746 0 0 20 0 1 0 79005473 13970092032 3300876 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3410667 3300876 1248 1200 0 3409147 0
Current children cumulated CPU time: 3514.17 s
Current children cumulated vsize: 13642668 KiB
Current children cumulated memory: 13203504 KiB
[startup+3582.3 s]
/proc/loadavg: 2.23 2.73 3.15 3/250 92726
/proc/meminfo: memFree=104068520/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=13707212 memory=13331928 CPUtime=3573.96 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2045105 0 0 0 356641 755 0 0 20 0 1 0 79005473 14036185088 3332982 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3426803 3332982 1248 1200 0 3425283 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 13707212 KiB
Current children cumulated memory: 13331928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 2.15 2.67 3.11 3/250 92727
/proc/meminfo: memFree=102699372/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=16101456 memory=14660416 CPUtime=3600.06 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2375456 0 0 0 359203 803 0 0 20 0 1 0 79005473 16487890944 3665104 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 4025364 3665104 1248 1200 0 4023844 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 16101456 KiB
Current children cumulated memory: 14660416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 92392 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.84 s, system=8.32727 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.8 s]
/proc/loadavg: 2.15 2.67 3.11 3/250 92727
/proc/meminfo: memFree=102699372/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=16101456 memory=14660416 CPUtime=3600.36 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2375456 0 0 0 359233 803 0 0 20 0 1 0 79005473 16487890944 3665104 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 4025364 3665104 1248 1200 0 4023844 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 16101456 KiB
Current children cumulated memory: 14660416 KiB
[startup+3609.2 s]
/proc/loadavg: 2.15 2.67 3.11 3/250 92727
/proc/meminfo: memFree=102691180/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=15975416 memory=10025204 CPUtime=3600.76 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2375569 0 0 0 359272 804 0 0 20 0 1 0 79005473 16358825984 2506301 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 3993854 2506301 1280 1200 0 3992334 0
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 15975416 KiB
Current children cumulated memory: 10025204 KiB
[startup+3609.4 s]
/proc/loadavg: 2.15 2.67 3.11 3/250 92727
/proc/meminfo: memFree=102691180/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=8631360 memory=6593888 CPUtime=3600.96 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2377250 0 0 0 359279 817 0 0 20 0 1 0 79005473 8838512640 1648472 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 2157840 1648472 1280 1200 0 2156320 0
Current children cumulated CPU time: 3600.96 s
Current children cumulated vsize: 8631360 KiB
Current children cumulated memory: 6593888 KiB
[startup+3609.5 s]
/proc/loadavg: 2.15 2.67 3.11 3/250 92727
/proc/meminfo: memFree=102691180/131249996 swapFree=33006296/33010684
[pid=92392] ppid=92389 vsize=4841780 memory=4811972 CPUtime=3601.05 cores=4,6
/proc/92392/stat : 92392 (Exact) R 92389 92392 91531 0 -1 4194304 2377915 0 0 0 359281 824 0 0 20 0 1 0 79005473 4957982720 1202993 18446744073709551615 4198400 9112445 140721383262976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47198208 140721383266597 140721383266795 140721383266795 140721383272399 0
/proc/92392/statm: 1210445 1202993 1280 1200 0 1208925 0
Current children cumulated CPU time: 3601.05 s
Current children cumulated vsize: 4841780 KiB
Current children cumulated memory: 4811972 KiB
Child status: 0
Real time (s): 3609.6
CPU time (s): 3601.17
CPU user time (s): 3592.84
CPU system time (s): 8.32727
CPU usage (%): 99.7664
Max. virtual memory (cumulated for all children) (KiB): 16101636
Max. memory (cumulated for all children) (KiB): 14660672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.84
system time used= 8.32727
maximum resident set size= 14660672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2377942
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= 15
involuntary context switches= 5370
# summary of solver processes directly reported to runsolver:
# pid: 92392
# total CPU time (s): 3601.17
# total CPU user time (s): 3592.84
# total CPU system time (s): 8.32727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94646 second user time and 16.5307 second system time
The end
Begin job on nodeC015 at 2025-07-04 14:48:00
IDJOB=4526671
IDBENCH=144138
IDSOLVER=3376
FILE ID=nodeC015/4526671-1751633280
RUNJOBID= nodeC015-1751631620-91542
SLURM_JOB_ID= 9598970
Free space on /tmp= 432308 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reducmore_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526671-1751633280/watcher-4526671-1751633280 -o /tmp/evaluation-result-4526671-1751633280/solver-4526671-1751633280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751631620-91542 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=538066465 --ls=360 --inp-dombreaklim=0 HOME/instance-4526671-1751633280.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4f5be5c84a0d76ec975a3a6b3be3f2ae
RANDOM SEED=538066465
nodeC015 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.046
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.14
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.163
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.14
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.357
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.14
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 : 3567.499
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.14
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.092
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.14
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.098
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.14
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.068
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.14
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 : 3511.372
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125906836 kB
MemAvailable: 126709088 kB
Buffers: 1508 kB
Cached: 1584092 kB
SwapCached: 3880 kB
Active: 3321800 kB
Inactive: 1346220 kB
Active(anon): 3047768 kB
Inactive(anon): 48804 kB
Active(file): 274032 kB
Inactive(file): 1297416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15940 kB
Writeback: 0 kB
AnonPages: 3081640 kB
Mapped: 113028 kB
Shmem: 14152 kB
KReclaimable: 140084 kB
Slab: 230852 kB
SReclaimable: 140084 kB
SUnreclaim: 90768 kB
KernelStack: 4304 kB
PageTables: 9080 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3770732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1882112 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432340 MiB
End job on nodeC015 at 2025-07-04 15:48:10