runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62330 MiB free)
memory of node 1: 64507 MiB (62417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544323-1753228359/watcher-4544323-1753228359 -o /tmp/evaluation-result-4544323-1753228359/solver-4544323-1753228359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753227208-168127 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4544323-1753228359 --seed=173102857 HOME/instance-4544323-1753228359.opb
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=168766, runsolver pid=168763
[startup+0.100058 s]*
/proc/loadavg: 4.16 4.07 3.66 5/264 168767
/proc/meminfo: memFree=127727996/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=0.09 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 9 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+0.205406 s]*
/proc/loadavg: 4.16 4.07 3.66 5/264 168767
/proc/meminfo: memFree=127719932/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=0.19 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 19 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+0.304375 s]*
/proc/loadavg: 4.16 4.07 3.66 5/264 168767
/proc/meminfo: memFree=127719932/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=0.28 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 28 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+0.700094 s]
/proc/loadavg: 4.16 4.07 3.66 6/264 168767
/proc/meminfo: memFree=127719932/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=0.67 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 67 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+1.50009 s]
/proc/loadavg: 4.16 4.07 3.66 5/264 168767
/proc/meminfo: memFree=127720068/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=1.47 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 147 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+3.10421 s]
/proc/loadavg: 4.16 4.07 3.66 5/264 168767
/proc/meminfo: memFree=127703940/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=3.07 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 307 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+6.30009 s]
/proc/loadavg: 4.23 4.08 3.67 5/264 168767
/proc/meminfo: memFree=127688072/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=6.26 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 626 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+12.7001 s]
/proc/loadavg: 4.21 4.08 3.67 5/264 168767
/proc/meminfo: memFree=127655564/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=12.65 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 1265 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+25.5001 s]
/proc/loadavg: 4.16 4.08 3.68 5/264 168767
/proc/meminfo: memFree=127507180/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=25.43 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 2543 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+51.1043 s]
/proc/loadavg: 4.17 4.08 3.69 5/264 168768
/proc/meminfo: memFree=127218652/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=51 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 5100 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.09 3.72 5/264 168770
/proc/meminfo: memFree=126592948/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=102.11 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 10211 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.11 3.75 5/264 168772
/proc/meminfo: memFree=125809488/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=162.02 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 16202 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 162.02 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.14 3.79 5/263 168774
/proc/meminfo: memFree=125074320/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=221.92 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 22192 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.13 3.81 5/263 168775
/proc/meminfo: memFree=124355184/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=281.83 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 28183 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 281.83 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 3.83 5/266 168877
/proc/meminfo: memFree=123494728/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=40576 memory=17676 CPUtime=341.71 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 4148 0 0 0 34171 0 0 0 20 0 1 0 238514712 41549824 4419 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 10144 4419 1024 1201 0 8622 0
Current children cumulated CPU time: 341.71 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 17676 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.15 3.86 5/266 168879
/proc/meminfo: memFree=121976776/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=554516 memory=425904 CPUtime=401.54 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 61927 0 0 0 40101 53 0 0 20 0 1 0 238514712 567824384 106476 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 138629 106476 1280 1201 0 137107 0
Current children cumulated CPU time: 401.54 s
Current children cumulated vsize: 554516 KiB
Current children cumulated memory: 425904 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.15 3.88 5/268 168885
/proc/meminfo: memFree=120706684/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=578996 memory=450224 CPUtime=461.33 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 68129 0 0 0 46033 100 0 0 20 0 1 0 238514712 592891904 112556 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 144749 112556 1280 1201 0 143227 0
Current children cumulated CPU time: 461.33 s
Current children cumulated vsize: 578996 KiB
Current children cumulated memory: 450224 KiB
[startup+522.3 s]
/proc/loadavg: 4.38 4.22 3.93 5/268 168906
/proc/meminfo: memFree=119362456/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=608196 memory=476720 CPUtime=521.13 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 74848 0 0 0 51960 153 0 0 20 0 1 0 238514712 622792704 119180 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 152049 119180 1280 1201 0 150527 0
Current children cumulated CPU time: 521.13 s
Current children cumulated vsize: 608196 KiB
Current children cumulated memory: 476720 KiB
[startup+582.3 s]
/proc/loadavg: 4.18 4.19 3.94 5/268 168908
/proc/meminfo: memFree=117867660/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=675332 memory=538544 CPUtime=580.93 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 90434 0 0 0 57881 212 0 0 20 0 1 0 238514712 691539968 134636 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 168833 134636 1280 1201 0 167311 0
Current children cumulated CPU time: 580.93 s
Current children cumulated vsize: 675332 KiB
Current children cumulated memory: 538544 KiB
[startup+642.3 s]
/proc/loadavg: 4.56 4.28 3.99 5/266 168910
/proc/meminfo: memFree=116502076/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=722604 memory=579888 CPUtime=640.72 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 100814 0 0 0 63806 266 0 0 20 0 1 0 238514712 739946496 144972 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 180651 144972 1280 1201 0 179129 0
Current children cumulated CPU time: 640.72 s
Current children cumulated vsize: 722604 KiB
Current children cumulated memory: 579888 KiB
[startup+702.3 s]
/proc/loadavg: 4.54 4.33 4.02 5/266 168912
/proc/meminfo: memFree=113593124/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=762560 memory=616368 CPUtime=700.53 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 109739 0 0 0 69726 327 0 0 20 0 1 0 238514712 780861440 154092 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 190640 154092 1280 1201 0 189118 0
Current children cumulated CPU time: 700.53 s
Current children cumulated vsize: 762560 KiB
Current children cumulated memory: 616368 KiB
[startup+762.3 s]
/proc/loadavg: 4.50 4.36 4.05 5/264 168915
/proc/meminfo: memFree=110728112/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=796740 memory=650032 CPUtime=760.36 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 117805 0 0 0 75652 384 0 0 20 0 1 0 238514712 815861760 162508 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 199185 162508 1280 1201 0 197663 0
Current children cumulated CPU time: 760.36 s
Current children cumulated vsize: 796740 KiB
Current children cumulated memory: 650032 KiB
[startup+812.493 s]
# the end of solver process 168766 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=806.037 s, system=4.37896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.54 4.37 4.06 5/261 168943
/proc/meminfo: memFree=110864964/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=798568 memory=653488 CPUtime=766.04 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 118298 0 0 0 76212 392 0 0 20 0 1 0 238514712 817733632 163372 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 199642 163372 1280 1201 0 198120 0
Current children cumulated CPU time: 766.04 s
Current children cumulated vsize: 798568 KiB
Current children cumulated memory: 653488 KiB
[startup+793.6 s]
/proc/loadavg: 4.42 4.36 4.06 5/263 168994
/proc/meminfo: memFree=111516760/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=809292 memory=665904 CPUtime=791.57 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 120621 0 0 0 78741 416 0 0 20 0 1 0 238514712 828715008 166476 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 202323 166476 1280 1201 0 200801 0
Current children cumulated CPU time: 791.57 s
Current children cumulated vsize: 809292 KiB
Current children cumulated memory: 665904 KiB
[startup+800 s]*
/proc/loadavg: 4.46 4.37 4.07 4/263 168994
/proc/meminfo: memFree=111345268/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=815228 memory=672944 CPUtime=797.96 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 122021 0 0 0 79373 423 0 0 20 0 1 0 238514712 834793472 168236 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 203807 168236 1280 1201 0 202285 0
Current children cumulated CPU time: 797.96 s
Current children cumulated vsize: 815228 KiB
Current children cumulated memory: 672944 KiB
[startup+806.4 s]
/proc/loadavg: 4.55 4.39 4.08 5/266 169014
/proc/meminfo: memFree=112219376/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=822024 memory=678832 CPUtime=804.33 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 123495 0 0 0 80005 428 0 0 20 0 1 0 238514712 841752576 169708 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 205506 169708 1280 1201 0 203984 0
Current children cumulated CPU time: 804.33 s
Current children cumulated vsize: 822024 KiB
Current children cumulated memory: 678832 KiB
[startup+809.6 s]
/proc/loadavg: 4.55 4.39 4.08 5/266 169014
/proc/meminfo: memFree=112162440/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=825000 memory=684336 CPUtime=807.51 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 124331 0 0 0 80321 430 0 0 20 0 1 0 238514712 844800000 171084 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 206250 171084 1280 1201 0 204728 0
Current children cumulated CPU time: 807.51 s
Current children cumulated vsize: 825000 KiB
Current children cumulated memory: 684336 KiB
[startup+811.2 s]
/proc/loadavg: 4.50 4.38 4.08 5/266 169014
/proc/meminfo: memFree=112065432/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=830708 memory=688304 CPUtime=809.11 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 125296 0 0 0 80478 433 0 0 20 0 1 0 238514712 850644992 172076 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 207677 172076 1280 1201 0 206155 0
Current children cumulated CPU time: 809.11 s
Current children cumulated vsize: 830708 KiB
Current children cumulated memory: 688304 KiB
[startup+812 s]*
/proc/loadavg: 4.50 4.38 4.08 5/266 169014
/proc/meminfo: memFree=112008744/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=830708 memory=688432 CPUtime=809.92 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 125328 0 0 0 80557 435 0 0 20 0 1 0 238514712 850644992 172108 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 207677 172108 1280 1201 0 206155 0
Current children cumulated CPU time: 809.92 s
Current children cumulated vsize: 830708 KiB
Current children cumulated memory: 688432 KiB
[startup+812.4 s]
/proc/loadavg: 4.50 4.38 4.08 5/266 169014
/proc/meminfo: memFree=112008744/131249988 swapFree=33010160/33010684
[pid=168766] ppid=168763 vsize=831188 memory=688688 CPUtime=810.31 cores=4,6
/proc/168766/stat : 168766 (Exact_proof) R 168763 168766 166575 0 -1 4194304 125392 0 0 0 80595 436 0 0 20 0 1 0 238514712 851136512 172172 18446744073709551615 4198400 9115581 140724006489104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 23519232 140724006496493 140724006496741 140724006496741 140724006502345 0
/proc/168766/statm: 207797 172172 1280 1201 0 206275 0
Current children cumulated CPU time: 810.31 s
Current children cumulated vsize: 831188 KiB
Current children cumulated memory: 688688 KiB
Child status: 20
Real time (s): 812.493
CPU time (s): 810.416
CPU user time (s): 806.037
CPU system time (s): 4.37896
CPU usage (%): 99.7444
Max. virtual memory (cumulated for all children) (KiB): 831188
Max. memory (cumulated for all children) (KiB): 688688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 806.037
system time used= 4.37896
maximum resident set size= 688688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10150520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 727
# summary of solver processes directly reported to runsolver:
# pid: 168766
# total CPU time (s): 810.416
# total CPU user time (s): 806.037
# total CPU system time (s): 4.37896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48219 second user time and 2.87799 second system time
The end
Begin job on nodeC034 at 2025-07-23 01:52:39
IDJOB=4544323
IDBENCH=175302
IDSOLVER=3325
FILE ID=nodeC034/4544323-1753228359
RUNJOBID= nodeC034-1753227208-168127
SLURM_JOB_ID= 9687808
Free space on /tmp= 432632 MiB
SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb
COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544323-1753228359/watcher-4544323-1753228359 -o /tmp/evaluation-result-4544323-1753228359/solver-4544323-1753228359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753227208-168127 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=/tmp/proof-4544323-1753228359 --seed=173102857 HOME/instance-4544323-1753228359.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5f9c71ef62aa1641b9bec64204b49f28
RANDOM SEED=173102857
nodeC034 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.751
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.53
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.483
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.53
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 : 3597.992
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.53
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 : 3534.422
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.53
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.601
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.53
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.753
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.53
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.578
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.53
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 : 3602.020
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127742108 kB
MemAvailable: 128888788 kB
Buffers: 2128 kB
Cached: 1885180 kB
SwapCached: 32 kB
Active: 1954336 kB
Inactive: 764824 kB
Active(anon): 855680 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 762672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 236256 kB
Writeback: 0 kB
AnonPages: 832992 kB
Mapped: 122612 kB
Shmem: 26264 kB
KReclaimable: 248784 kB
Slab: 347248 kB
SReclaimable: 248784 kB
SUnreclaim: 98464 kB
KernelStack: 4256 kB
PageTables: 4748 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1424688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 475136 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 415884 MiB
End job on nodeC034 at 2025-07-23 02:06:11