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 (61442 MiB free)
memory of node 1: 64465 MiB (62913 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525654-1751622274/watcher-4525654-1751622274 -o /tmp/evaluation-result-4525654-1751622274/solver-4525654-1751622274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751612493-84306 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1550956584 --ls=360 --inp-dombreaklim=0 HOME/instance-4525654-1751622274.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=88644, runsolver pid=88641
[startup+0.100067 s]*
/proc/loadavg: 4.07 4.10 4.09 5/264 88645
/proc/meminfo: memFree=127306608/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=69504 memory=42948 CPUtime=0.09 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 11752 0 0 0 8 1 0 0 20 0 1 0 77904881 71172096 10737 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 17376 10737 1024 1200 0 15856 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69504 KiB
Current children cumulated memory: 42948 KiB
[startup+0.205786 s]*
/proc/loadavg: 4.07 4.10 4.09 5/264 88645
/proc/meminfo: memFree=127279896/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=110872 memory=79928 CPUtime=0.19 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 20986 0 0 0 16 3 0 0 20 0 1 0 77904881 113532928 19982 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 27718 19982 1024 1200 0 26198 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 110872 KiB
Current children cumulated memory: 79928 KiB
[startup+0.305715 s]*
/proc/loadavg: 4.07 4.10 4.09 5/264 88645
/proc/meminfo: memFree=127263264/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=121664 memory=99808 CPUtime=0.29 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 24804 0 0 0 25 4 0 0 20 0 1 0 77904881 124583936 24920 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 30416 24952 1024 1200 0 28896 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121664 KiB
Current children cumulated memory: 99808 KiB
[startup+0.700183 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 88645
/proc/meminfo: memFree=127209516/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=238776 memory=216040 CPUtime=0.68 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 43000 0 0 0 59 9 0 0 20 0 1 0 77904881 244506624 54010 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 59694 54010 1024 1200 0 58174 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 238776 KiB
Current children cumulated memory: 216040 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 88645
/proc/meminfo: memFree=127109408/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=1.47 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53188 0 0 0 136 11 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+3.10569 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 88645
/proc/meminfo: memFree=127109620/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=3.08 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53204 0 0 0 296 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 88645
/proc/meminfo: memFree=127097332/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=6.25 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53236 0 0 0 613 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 88645
/proc/meminfo: memFree=127097584/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=12.61 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53236 0 0 0 1249 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 88645
/proc/meminfo: memFree=127084920/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=25.33 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53252 0 0 0 2521 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+51.1058 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 88646
/proc/meminfo: memFree=127085464/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=50.75 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53284 0 0 0 5063 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 88654
/proc/meminfo: memFree=127102144/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=101.57 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53819 0 0 0 10145 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 88656
/proc/meminfo: memFree=126719404/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=161.14 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53835 0 0 0 16102 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 161.14 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 88659
/proc/meminfo: memFree=124803556/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=220.84 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53846 0 0 0 22072 12 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 220.84 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 88661
/proc/meminfo: memFree=123100972/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=280.55 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53862 0 0 0 28042 13 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 280.55 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 88662
/proc/meminfo: memFree=121080112/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=280408 memory=256744 CPUtime=340.26 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 53878 0 0 0 34013 13 0 0 20 0 1 0 77904881 287137792 64186 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 70102 64186 1024 1200 0 68582 0
Current children cumulated CPU time: 340.26 s
Current children cumulated vsize: 280408 KiB
Current children cumulated memory: 256744 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 88665
/proc/meminfo: memFree=119451068/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=1062932 memory=929048 CPUtime=400.03 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 162458 0 0 0 39960 43 0 0 20 0 1 0 77904881 1088442368 232262 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 265733 232262 1248 1200 0 264213 0
Current children cumulated CPU time: 400.03 s
Current children cumulated vsize: 1062932 KiB
Current children cumulated memory: 929048 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 88667
/proc/meminfo: memFree=118432380/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=1581668 memory=1497544 CPUtime=459.8 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 217493 0 0 0 45914 66 0 0 20 0 1 0 77904881 1619628032 374386 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 395417 374386 1248 1200 0 393897 0
Current children cumulated CPU time: 459.8 s
################
# More data... #
################
/proc/88644/statm: 1493828 1358131 1248 1200 0 1492308 0
Current children cumulated CPU time: 2912.48 s
Current children cumulated vsize: 5975312 KiB
Current children cumulated memory: 5432524 KiB
[startup+2982.3 s]
/proc/loadavg: 3.09 3.14 3.29 4/257 88835
/proc/meminfo: memFree=112277348/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=5996244 memory=5464780 CPUtime=2972.28 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 942509 0 0 0 296913 315 0 0 20 0 1 0 77904881 6140153856 1366195 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1499061 1366195 1248 1200 0 1497541 0
Current children cumulated CPU time: 2972.28 s
Current children cumulated vsize: 5996244 KiB
Current children cumulated memory: 5464780 KiB
[startup+3042.3 s]
/proc/loadavg: 3.09 3.13 3.27 4/257 88837
/proc/meminfo: memFree=112252704/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6014868 memory=5492812 CPUtime=3032.09 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 950128 0 0 0 302891 318 0 0 20 0 1 0 77904881 6159224832 1373203 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1503717 1373203 1248 1200 0 1502197 0
Current children cumulated CPU time: 3032.09 s
Current children cumulated vsize: 6014868 KiB
Current children cumulated memory: 5492812 KiB
[startup+3102.3 s]
/proc/loadavg: 3.08 3.12 3.26 4/258 88844
/proc/meminfo: memFree=112220096/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6033112 memory=5521612 CPUtime=3091.89 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 957916 0 0 0 308868 321 0 0 20 0 1 0 77904881 6177906688 1380403 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1508278 1380403 1248 1200 0 1506758 0
Current children cumulated CPU time: 3091.89 s
Current children cumulated vsize: 6033112 KiB
Current children cumulated memory: 5521612 KiB
[startup+3162.3 s]
/proc/loadavg: 3.18 3.14 3.26 4/258 88847
/proc/meminfo: memFree=112197328/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6051736 memory=5548492 CPUtime=3151.7 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 966039 0 0 0 314845 325 0 0 20 0 1 0 77904881 6196977664 1387123 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1512934 1387123 1248 1200 0 1511414 0
Current children cumulated CPU time: 3151.7 s
Current children cumulated vsize: 6051736 KiB
Current children cumulated memory: 5548492 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.11 3.24 4/260 88852
/proc/meminfo: memFree=112174688/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6063616 memory=5557488 CPUtime=3211.5 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 967893 0 0 0 320823 327 0 0 20 0 1 0 77904881 6209142784 1389372 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1515904 1389372 1248 1200 0 1514384 0
Current children cumulated CPU time: 3211.5 s
Current children cumulated vsize: 6063616 KiB
Current children cumulated memory: 5557488 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.12 3.24 4/260 88854
/proc/meminfo: memFree=112184192/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6063616 memory=5558256 CPUtime=3271.31 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 968780 0 0 0 326801 330 0 0 20 0 1 0 77904881 6209142784 1389564 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1515904 1389564 1248 1200 0 1514384 0
Current children cumulated CPU time: 3271.31 s
Current children cumulated vsize: 6063616 KiB
Current children cumulated memory: 5558256 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.11 3.22 4/260 88856
/proc/meminfo: memFree=112181552/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6063616 memory=5558512 CPUtime=3331.11 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 969304 0 0 0 332778 333 0 0 20 0 1 0 77904881 6209142784 1389628 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1515904 1389628 1248 1200 0 1514384 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 6063616 KiB
Current children cumulated memory: 5558512 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.11 3.21 4/260 88858
/proc/meminfo: memFree=112185924/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6063616 memory=5558512 CPUtime=3390.91 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 969908 0 0 0 338754 337 0 0 20 0 1 0 77904881 6209142784 1389628 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1515904 1389628 1248 1200 0 1514384 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 6063616 KiB
Current children cumulated memory: 5558512 KiB
[startup+3462.3 s]
/proc/loadavg: 2.00 2.81 3.10 2/247 88921
/proc/meminfo: memFree=122408576/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6066104 memory=5559152 CPUtime=3450.76 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 970756 0 0 0 344736 340 0 0 20 0 1 0 77904881 6211690496 1389788 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1516526 1389788 1248 1200 0 1515006 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 6066104 KiB
Current children cumulated memory: 5559152 KiB
[startup+3522.3 s]
/proc/loadavg: 1.42 2.49 2.97 2/246 88924
/proc/meminfo: memFree=122408356/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6066104 memory=5559920 CPUtime=3510.63 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 971915 0 0 0 350720 343 0 0 20 0 1 0 77904881 6211690496 1389980 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1516526 1389980 1248 1200 0 1515006 0
Current children cumulated CPU time: 3510.63 s
Current children cumulated vsize: 6066104 KiB
Current children cumulated memory: 5559920 KiB
[startup+3582.3 s]
/proc/loadavg: 1.19 2.23 2.85 2/246 88928
/proc/meminfo: memFree=122409284/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6066104 memory=5560304 CPUtime=3570.48 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 973247 0 0 0 356702 346 0 0 20 0 1 0 77904881 6211690496 1390076 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1516526 1390076 1248 1200 0 1515006 0
Current children cumulated CPU time: 3570.48 s
Current children cumulated vsize: 6066104 KiB
Current children cumulated memory: 5560304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 1.17 2.13 2.80 2/246 88930
/proc/meminfo: memFree=122408816/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=6066104 memory=5560432 CPUtime=3600 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 974021 0 0 0 359654 346 0 0 20 0 1 0 77904881 6211690496 1390108 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1516526 1390108 1248 1200 0 1515006 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6066104 KiB
Current children cumulated memory: 5560432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.16 s]
# the end of solver process 88644 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.66 s, system=3.62238 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 1.17 2.13 2.80 2/246 88930
/proc/meminfo: memFree=123926612/131250000 swapFree=33007332/33010684
[pid=88644] ppid=88641 vsize=4472640 memory=4019168 CPUtime=3600.11 cores=5,7
/proc/88644/stat : 88644 (Exact) R 88641 88644 84293 0 -1 4194304 974109 0 0 0 359664 347 0 0 20 0 1 0 77904881 4579983360 1004792 18446744073709551615 4198400 9112445 140721751999712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 24231936 140721752004900 140721752005099 140721752005099 140721752010703 0
/proc/88644/statm: 1118160 1004792 1280 1200 0 1116640 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 4472640 KiB
Current children cumulated memory: 4019168 KiB
[startup+3612.1 s]*
/proc/loadavg: 1.17 2.13 2.80 2/246 88930
/proc/meminfo: memFree=126542112/131250000 swapFree=33007332/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3612.16
CPU time (s): 3600.28
CPU user time (s): 3596.66
CPU system time (s): 3.62238
CPU usage (%): 99.671
Max. virtual memory (cumulated for all children) (KiB): 6066104
Max. memory (cumulated for all children) (KiB): 5560432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.66
system time used= 3.62238
maximum resident set size= 5560560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 974115
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= 12
involuntary context switches= 5078
# summary of solver processes directly reported to runsolver:
# pid: 88644
# total CPU time (s): 3600.28
# total CPU user time (s): 3596.66
# total CPU system time (s): 3.62238
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65864 second user time and 15.3253 second system time
The end
Begin job on nodeC019 at 2025-07-04 11:44:34
IDJOB=4525654
IDBENCH=143871
IDSOLVER=3376
FILE ID=nodeC019/4525654-1751622274
RUNJOBID= nodeC019-1751612493-84306
SLURM_JOB_ID= 9598914
Free space on /tmp= 431560 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18reduc_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-4525654-1751622274/watcher-4525654-1751622274 -o /tmp/evaluation-result-4525654-1751622274/solver-4525654-1751622274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751612493-84306 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1550956584 --ls=360 --inp-dombreaklim=0 HOME/instance-4525654-1751622274.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85c9e899b779dcafda2f7e25c2fdc65d
RANDOM SEED=1550956584
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.371
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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.536
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.37
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 : 3550.292
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.37
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 : 3578.663
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.37
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.688
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.37
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 : 3563.678
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.37
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 : 3588.641
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.860
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127340628 kB
MemAvailable: 129143988 kB
Buffers: 904 kB
Cached: 2604124 kB
SwapCached: 440 kB
Active: 834756 kB
Inactive: 2454748 kB
Active(anon): 671932 kB
Inactive(anon): 27736 kB
Active(file): 162824 kB
Inactive(file): 2427012 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10096 kB
Writeback: 0 kB
AnonPages: 686228 kB
Mapped: 116576 kB
Shmem: 15192 kB
KReclaimable: 105528 kB
Slab: 194916 kB
SReclaimable: 105528 kB
SUnreclaim: 89388 kB
KernelStack: 4304 kB
PageTables: 4464 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1089548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 376832 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431580 MiB
End job on nodeC019 at 2025-07-04 12:44:46