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 (53765 MiB free)
memory of node 1: 64465 MiB (49953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526527-1751632624/watcher-4526527-1751632624 -o /tmp/evaluation-result-4526527-1751632624/solver-4526527-1751632624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751629005-106631 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=313207662 --ls=360 --inp-dombreaklim=0 HOME/instance-4526527-1751632624.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=107691, runsolver pid=107688
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.10 4.08 5/265 107692
/proc/meminfo: memFree=106141228/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=130680 memory=104392 CPUtime=0.09 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 17576 0 0 0 7 2 0 0 20 0 1 0 78940110 133816320 26098 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 32670 26098 1024 1200 0 31150 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130680 KiB
Current children cumulated memory: 104392 KiB
[startup+0.205662 s]*
/proc/loadavg: 4.11 4.10 4.08 5/265 107692
/proc/meminfo: memFree=106089124/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=181564 memory=155068 CPUtime=0.2 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 29340 0 0 0 16 4 0 0 20 0 1 0 78940110 185921536 38767 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 45391 38767 1024 1200 0 43871 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 181564 KiB
Current children cumulated memory: 155068 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.11 4.10 4.08 5/265 107692
/proc/meminfo: memFree=106061276/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=219528 memory=190824 CPUtime=0.3 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 37334 0 0 0 24 6 0 0 20 0 1 0 78940110 224796672 47706 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 54882 47706 1024 1200 0 53362 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 219528 KiB
Current children cumulated memory: 190824 KiB
[startup+0.700176 s]
/proc/loadavg: 4.11 4.10 4.08 5/265 107692
/proc/meminfo: memFree=105955104/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=349712 memory=311300 CPUtime=0.69 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 54426 0 0 0 58 11 0 0 20 0 1 0 78940110 358105088 77825 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 87428 77825 1024 1200 0 85908 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 349712 KiB
Current children cumulated memory: 311300 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.10 4.08 5/265 107692
/proc/meminfo: memFree=105837796/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=642648 memory=589240 CPUtime=1.49 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 81969 0 0 0 127 22 0 0 20 0 1 0 78940110 658071552 147310 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 160662 147310 1024 1200 0 159142 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 642648 KiB
Current children cumulated memory: 589240 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 4.10 4.08 5/265 107692
/proc/meminfo: memFree=105073000/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=1268792 memory=1179036 CPUtime=3.09 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 136633 0 0 0 265 44 0 0 20 0 1 0 78940110 1299243008 294759 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 317198 294759 1024 1200 0 315678 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1268792 KiB
Current children cumulated memory: 1179036 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.10 4.08 5/265 107692
/proc/meminfo: memFree=104159476/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=2572208 memory=2325136 CPUtime=6.27 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 215752 0 0 0 544 83 0 0 20 0 1 0 78940110 2633940992 581252 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 643052 581284 1024 1200 0 641532 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2572208 KiB
Current children cumulated memory: 2325136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.08 5/265 107692
/proc/meminfo: memFree=102475768/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=4800064 memory=4527968 CPUtime=12.65 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 420665 0 0 0 1100 165 0 0 20 0 1 0 78940110 4915265536 1131992 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 1200016 1131992 1024 1200 0 1198496 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4800064 KiB
Current children cumulated memory: 4527968 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.08 5/264 107692
/proc/meminfo: memFree=97820652/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=9485328 memory=8574728 CPUtime=25.42 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 831822 0 0 0 2215 327 0 0 20 0 1 0 78940110 9712975872 2143682 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 2371332 2143682 1024 1200 0 2369812 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 9485328 KiB
Current children cumulated memory: 8574728 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.10 4.08 5/264 107693
/proc/meminfo: memFree=93519524/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=13771840 memory=12174124 CPUtime=50.95 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1184765 0 0 0 4620 475 0 0 20 0 1 0 78940110 14102364160 3043531 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 3442960 3043531 1056 1200 0 3441440 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 13771840 KiB
Current children cumulated memory: 12174124 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 107694
/proc/meminfo: memFree=90761164/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=16523048 memory=14613976 CPUtime=101.98 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1701321 0 0 0 9624 574 0 0 20 0 1 0 78940110 16919601152 3653494 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4130762 3653494 1056 1200 0 4129242 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 16523048 KiB
Current children cumulated memory: 14613976 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/264 107697
/proc/meminfo: memFree=90687688/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=16523048 memory=14674912 CPUtime=161.79 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1704088 0 0 0 15601 578 0 0 20 0 1 0 78940110 16919601152 3668728 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4130762 3668728 1056 1200 0 4129242 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 16523048 KiB
Current children cumulated memory: 14674912 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/263 107699
/proc/meminfo: memFree=90710076/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=16523048 memory=14674912 CPUtime=221.61 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1706001 0 0 0 21579 582 0 0 20 0 1 0 78940110 16919601152 3668728 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4130762 3668728 1056 1200 0 4129242 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 16523048 KiB
Current children cumulated memory: 14674912 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/263 107701
/proc/meminfo: memFree=90690012/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=16523048 memory=14674912 CPUtime=281.4 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1707637 0 0 0 27554 586 0 0 20 0 1 0 78940110 16919601152 3668728 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4130762 3668728 1056 1200 0 4129242 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 16523048 KiB
Current children cumulated memory: 14674912 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 107703
/proc/meminfo: memFree=90705740/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=16523048 memory=14674912 CPUtime=341.19 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1709027 0 0 0 33529 590 0 0 20 0 1 0 78940110 16919601152 3668728 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4130762 3668728 1056 1200 0 4129242 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 16523048 KiB
Current children cumulated memory: 14674912 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 107750
/proc/meminfo: memFree=102204960/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=16523048 memory=14674912 CPUtime=401 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1710290 0 0 0 39506 594 0 0 20 0 1 0 78940110 16919601152 3668728 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4130762 3668728 1056 1200 0 4129242 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 16523048 KiB
Current children cumulated memory: 14674912 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 107752
/proc/meminfo: memFree=102199416/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=16523048 memory=14674912 CPUtime=460.84 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 1711984 0 0 0 45487 597 0 0 20 0 1 0 78940110 16919601152 3668728 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4130762 3668728 1056 1200 0 4129242 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 2.80 3.50 3.85 3/253 108325
/proc/meminfo: memFree=70358940/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21589496 CPUtime=3091.44 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2071569 0 0 0 308062 1082 0 0 20 0 1 0 78940110 24571256832 5397374 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397374 1280 1200 0 5997322 0
Current children cumulated CPU time: 3091.44 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21589496 KiB
[startup+3162.3 s]
/proc/loadavg: 2.29 3.22 3.73 3/254 108328
/proc/meminfo: memFree=70211744/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21589496 CPUtime=3151.17 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2075559 0 0 0 314033 1084 0 0 20 0 1 0 78940110 24571256832 5397374 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397374 1280 1200 0 5997322 0
Current children cumulated CPU time: 3151.17 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21589496 KiB
[startup+3222.3 s]
/proc/loadavg: 2.21 3.03 3.63 3/254 108331
/proc/meminfo: memFree=69949644/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21589496 CPUtime=3210.91 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2079328 0 0 0 320005 1086 0 0 20 0 1 0 78940110 24571256832 5397374 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397374 1280 1200 0 5997322 0
Current children cumulated CPU time: 3210.91 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21589496 KiB
[startup+3282.3 s]
/proc/loadavg: 1.90 2.80 3.51 2/249 108366
/proc/meminfo: memFree=94112588/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21589496 CPUtime=3270.65 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2083197 0 0 0 325976 1089 0 0 20 0 1 0 78940110 24571256832 5397374 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397374 1280 1200 0 5997322 0
Current children cumulated CPU time: 3270.65 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21589496 KiB
[startup+3342.3 s]
/proc/loadavg: 1.37 2.49 3.36 2/248 108368
/proc/meminfo: memFree=94300288/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21589496 CPUtime=3330.35 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2086916 0 0 0 331944 1091 0 0 20 0 1 0 78940110 24571256832 5397374 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397374 1280 1200 0 5997322 0
Current children cumulated CPU time: 3330.35 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21589496 KiB
[startup+3402.3 s]
/proc/loadavg: 1.19 2.23 3.21 2/247 108370
/proc/meminfo: memFree=94308156/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21589496 CPUtime=3390.06 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2090485 0 0 0 337913 1093 0 0 20 0 1 0 78940110 24571256832 5397374 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397374 1280 1200 0 5997322 0
Current children cumulated CPU time: 3390.06 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21589496 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 2.02 3.08 2/246 108372
/proc/meminfo: memFree=94338188/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21590392 CPUtime=3449.76 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2094346 0 0 0 343880 1096 0 0 20 0 1 0 78940110 24571256832 5397598 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397598 1280 1200 0 5997322 0
Current children cumulated CPU time: 3449.76 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21590392 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.86 2.96 2/247 108375
/proc/meminfo: memFree=94379356/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21590904 CPUtime=3509.47 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2098312 0 0 0 349849 1098 0 0 20 0 1 0 78940110 24571256832 5397726 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5397726 1280 1200 0 5997322 0
Current children cumulated CPU time: 3509.47 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21590904 KiB
[startup+3582.3 s]
/proc/loadavg: 1.05 1.70 2.83 2/247 108382
/proc/meminfo: memFree=94425460/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21592696 CPUtime=3569.17 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2102594 0 0 0 355817 1100 0 0 20 0 1 0 78940110 24571256832 5398174 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5398174 1280 1200 0 5997322 0
Current children cumulated CPU time: 3569.17 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21592696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.3 s]
/proc/loadavg: 1.09 1.64 2.77 2/247 108384
/proc/meminfo: memFree=94443076/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=23995368 memory=21593464 CPUtime=3600.02 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2104727 0 0 0 358900 1102 0 0 20 0 1 0 78940110 24571256832 5398366 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5998842 5398366 1280 1200 0 5997322 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 23995368 KiB
Current children cumulated memory: 21593464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3615.45 s]
# the end of solver process 107691 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3590.98 s, system=11.1834 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 1.09 1.64 2.77 2/247 108384
/proc/meminfo: memFree=94442572/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=22680908 memory=20470108 CPUtime=3601.11 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2105565 0 0 0 359009 1102 0 0 20 0 1 0 78940110 23225249792 5117527 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5670227 5117527 1280 1200 0 5668707 0
Current children cumulated CPU time: 3601.11 s
Current children cumulated vsize: 22680908 KiB
Current children cumulated memory: 20470108 KiB
[startup+3614.8 s]
/proc/loadavg: 1.09 1.64 2.77 2/247 108384
/proc/meminfo: memFree=94442572/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=21052120 memory=19212976 CPUtime=3601.51 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2107452 0 0 0 359048 1103 0 0 20 0 1 0 78940110 21557370880 4803244 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 5263030 4803244 1280 1200 0 5261510 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 21052120 KiB
Current children cumulated memory: 19212976 KiB
[startup+3615.2 s]
/proc/loadavg: 1.09 1.64 2.77 2/247 108384
/proc/meminfo: memFree=96833904/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=19070712 memory=17819828 CPUtime=3601.91 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2107749 0 0 0 359088 1103 0 0 20 0 1 0 78940110 19528409088 4454957 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4767678 4454957 1280 1200 0 4766158 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 19070712 KiB
Current children cumulated memory: 17819828 KiB
[startup+3615.3 s]
/proc/loadavg: 1.09 1.64 2.77 2/247 108384
/proc/meminfo: memFree=96833904/131250000 swapFree=33010160/33010684
[pid=107691] ppid=107688 vsize=19070712 memory=17819828 CPUtime=3602.01 cores=1,3
/proc/107691/stat : 107691 (Exact) R 107688 107691 106619 0 -1 4194304 2107749 0 0 0 359098 1103 0 0 20 0 1 0 78940110 19528409088 4454957 18446744073709551615 4198400 9112445 140734953061536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 18841600 140734953068836 140734953069034 140734953069034 140734953074639 0
/proc/107691/statm: 4767678 4454957 1280 1200 0 4766158 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 19070712 KiB
Current children cumulated memory: 17819828 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.45
CPU time (s): 3602.17
CPU user time (s): 3590.98
CPU system time (s): 11.1834
CPU usage (%): 99.6326
Max. virtual memory (cumulated for all children) (KiB): 24322740
Max. memory (cumulated for all children) (KiB): 21744308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.98
system time used= 11.1834
maximum resident set size= 21820084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2107749
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= 38
involuntary context switches= 20551
# summary of solver processes directly reported to runsolver:
# pid: 107691
# total CPU time (s): 3602.17
# total CPU user time (s): 3590.98
# total CPU system time (s): 11.1834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90395 second user time and 15.9226 second system time
The end
Begin job on nodeC016 at 2025-07-04 14:37:06
IDJOB=4526527
IDBENCH=144107
IDSOLVER=3376
FILE ID=nodeC016/4526527-1751632624
RUNJOBID= nodeC016-1751629005-106631
SLURM_JOB_ID= 9598963
Free space on /tmp= 430352 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-sheep4nr_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-4526527-1751632624/watcher-4526527-1751632624 -o /tmp/evaluation-result-4526527-1751632624/solver-4526527-1751632624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751629005-106631 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=313207662 --ls=360 --inp-dombreaklim=0 HOME/instance-4526527-1751632624.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e6635c5c95c47c2cfb6034439056f8c
RANDOM SEED=313207662
nodeC016 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.711
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.48
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.712
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.48
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 : 3667.620
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.48
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 : 3590.961
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.48
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.721
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.48
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.746
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.48
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.48
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 : 3674.966
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 106208320 kB
MemAvailable: 118452788 kB
Buffers: 2144 kB
Cached: 12958308 kB
SwapCached: 28 kB
Active: 11919584 kB
Inactive: 12277372 kB
Active(anon): 11252436 kB
Inactive(anon): 2112 kB
Active(file): 667148 kB
Inactive(file): 12275260 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 265572 kB
Writeback: 0 kB
AnonPages: 11239888 kB
Mapped: 120020 kB
Shmem: 18044 kB
KReclaimable: 282596 kB
Slab: 377896 kB
SReclaimable: 282596 kB
SUnreclaim: 95300 kB
KernelStack: 4288 kB
PageTables: 25788 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 14928124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9787392 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430372 MiB
End job on nodeC016 at 2025-07-04 15:37:21