0.00/0.01 c #vars 577 #constraints 290 0.5026 1
0.00/0.01 c intsize: 4
0.00/0.02 c 290 constraints
0.00/0.02 c Finish cloning data from SAT to LS
0.00/0.02 c restart_num_ls -100000 0
33.01/33.14 c Use LS-small
33.01/33.14 c restart_num_ls 0 652
33.01/33.14 c LS 90 10
71.13/71.33 c Use LS-small
71.13/71.33 c restart_num_ls 652 1262
71.13/71.33 c LS 80 79
150.92/151.37 c Use LS-small
150.92/151.37 c restart_num_ls 1262 2186
150.92/151.37 c LS 70 61
230.45/231.09 c Use LS-small
230.45/231.09 c restart_num_ls 2186 3323
230.45/231.09 c LS 60 81
421.68/422.72 c Use LS-small
421.68/422.72 c restart_num_ls 3323 4661
421.68/422.72 c LS 50 24
513.26/514.58 c Use LS-small
513.26/514.58 c restart_num_ls 4661 5372
513.26/514.58 c LS 40 59
540.71/542.02 c Use LS-small
540.71/542.02 c restart_num_ls 5372 5874
540.71/542.02 c LS 30 0
580.62/582.07 c Use LS-small
580.62/582.07 c restart_num_ls 5874 6395
580.62/582.07 c LS 20 63
617.43/618.99 c Use LS-small
617.43/618.99 c restart_num_ls 6395 7162
617.43/618.99 c LS 10 87
660.54/662.11 c Use LS-small
660.54/662.11 c restart_num_ls 7162 7674
698.85/700.59 c Use LS-small
698.85/700.59 c restart_num_ls 7674 8187
733.48/735.22 c Use LS-small
733.48/735.22 s UNSATISFIABLE
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 (62286 MiB free)
memory of node 1: 64507 MiB (63397 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546017-1753263592/watcher-4546017-1753263592 -o /tmp/evaluation-result-4546017-1753263592/solver-4546017-1753263592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753259701-174084 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546017-1753263592.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
Starting watchdog thread
solver pid=175065, runsolver pid=175062
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.10 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128700088/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=0.09 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 8 1 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+0.205512 s]*
/proc/loadavg: 4.10 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128700088/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=0.19 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 17 2 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+0.305312 s]*
/proc/loadavg: 4.10 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128700088/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=0.29 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 26 3 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+0.700139 s]
/proc/loadavg: 4.10 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128700560/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=0.68 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 62 6 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128700560/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=1.48 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 135 13 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+3.10531 s]
/proc/loadavg: 4.09 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128700908/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=3.08 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 281 27 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+6.30012 s]
/proc/loadavg: 4.09 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128701204/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=6.27 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 571 56 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.14 4.08 5/263 175066
/proc/meminfo: memFree=128702940/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=86120 memory=13696 CPUtime=12.65 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 1160 0 0 0 1158 107 0 0 20 0 1 0 242037135 88186880 3424 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 21530 3424 2528 595 0 6197 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 13696 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.15 4.08 5/263 175067
/proc/meminfo: memFree=128697776/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=90796 memory=23360 CPUtime=25.43 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 3330 0 0 0 2402 141 0 0 20 0 1 0 242037135 92975104 5840 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 22699 5840 2560 595 0 7366 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 90796 KiB
Current children cumulated memory: 23360 KiB
[startup+51.1053 s]
/proc/loadavg: 4.09 4.14 4.08 5/263 175067
/proc/meminfo: memFree=128672820/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=93004 memory=25424 CPUtime=50.98 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 4653 0 0 0 4812 286 0 0 20 0 1 0 242037135 95236096 6356 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 23251 6356 2560 595 0 7918 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 93004 KiB
Current children cumulated memory: 25424 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/263 175069
/proc/meminfo: memFree=128674192/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=94032 memory=28236 CPUtime=102.06 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 7281 0 0 0 9765 441 0 0 20 0 1 0 242037135 96288768 7059 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 23508 7059 2560 595 0 8175 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 94032 KiB
Current children cumulated memory: 28236 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/262 175071
/proc/meminfo: memFree=128659792/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=95432 memory=32012 CPUtime=161.91 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 10105 0 0 0 15626 565 0 0 20 0 1 0 242037135 97722368 8003 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 23858 8003 2560 595 0 8525 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 95432 KiB
Current children cumulated memory: 32012 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/262 175073
/proc/meminfo: memFree=128650344/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=95676 memory=34404 CPUtime=221.76 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 13133 0 0 0 21526 650 0 0 20 0 1 0 242037135 97972224 8601 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 23919 8601 2560 595 0 8586 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 95676 KiB
Current children cumulated memory: 34404 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/262 175075
/proc/meminfo: memFree=128643092/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=96960 memory=35464 CPUtime=281.62 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 17145 0 0 0 27347 815 0 0 20 0 1 0 242037135 99287040 8866 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 24240 8866 2560 595 0 8907 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 96960 KiB
Current children cumulated memory: 35464 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/262 175078
/proc/meminfo: memFree=128632808/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=98688 memory=39160 CPUtime=341.47 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 22217 0 0 0 33288 859 0 0 20 0 1 0 242037135 101056512 9790 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 24672 9790 2560 595 0 9339 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 98688 KiB
Current children cumulated memory: 39160 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/263 175081
/proc/meminfo: memFree=128631148/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=101268 memory=41436 CPUtime=401.32 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 26815 0 0 0 39227 905 0 0 20 0 1 0 242037135 103698432 10359 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 25317 10359 2560 595 0 9984 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 101268 KiB
Current children cumulated memory: 41436 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/264 175090
/proc/meminfo: memFree=128627732/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=101460 memory=41660 CPUtime=461.19 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 29275 0 0 0 45043 1076 0 0 20 0 1 0 242037135 103895040 10415 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 25365 10415 2560 595 0 10032 0
Current children cumulated CPU time: 461.19 s
Current children cumulated vsize: 101460 KiB
Current children cumulated memory: 41660 KiB
[startup+522.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 175092
/proc/meminfo: memFree=128643220/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=103124 memory=43172 CPUtime=521.05 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 32854 0 0 0 50922 1183 0 0 20 0 1 0 242037135 105598976 10793 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 25781 10793 2560 595 0 10448 0
Current children cumulated CPU time: 521.05 s
Current children cumulated vsize: 103124 KiB
Current children cumulated memory: 43172 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 4.09 4.08 5/263 175094
/proc/meminfo: memFree=128628796/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=105988 memory=46660 CPUtime=580.91 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 36178 0 0 0 56674 1417 0 0 20 0 1 0 242037135 108531712 11665 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 26497 11665 2560 595 0 11164 0
Current children cumulated CPU time: 580.91 s
Current children cumulated vsize: 105988 KiB
Current children cumulated memory: 46660 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/263 175096
/proc/meminfo: memFree=128628936/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=107428 memory=47832 CPUtime=640.79 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 37184 0 0 0 62371 1708 0 0 20 0 1 0 242037135 110006272 11958 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 26857 11958 2560 595 0 11524 0
Current children cumulated CPU time: 640.79 s
Current children cumulated vsize: 107428 KiB
Current children cumulated memory: 47832 KiB
[startup+702.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/263 175098
/proc/meminfo: memFree=128642400/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109156 memory=49464 CPUtime=700.65 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 38793 0 0 0 68176 1889 0 0 20 0 1 0 242037135 111775744 12366 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27289 12366 2560 595 0 11956 0
Current children cumulated CPU time: 700.65 s
Current children cumulated vsize: 109156 KiB
Current children cumulated memory: 49464 KiB
[startup+735.225 s]
# the end of solver process 175065 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=713.256 s, system=20.2529 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.06 4.08 4.08 5/263 175098
/proc/meminfo: memFree=128642152/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109156 memory=49464 CPUtime=715.12 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 38793 0 0 0 69498 2014 0 0 20 0 1 0 242037135 111775744 12366 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27289 12366 2560 595 0 11956 0
Current children cumulated CPU time: 715.12 s
Current children cumulated vsize: 109156 KiB
Current children cumulated memory: 49464 KiB
[startup+723.2 s]
/proc/loadavg: 4.05 4.08 4.08 5/263 175099
/proc/meminfo: memFree=128640944/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109284 memory=49704 CPUtime=721.5 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 39307 0 0 0 70132 2018 0 0 20 0 1 0 242037135 111906816 12426 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27321 12426 2560 595 0 11988 0
Current children cumulated CPU time: 721.5 s
Current children cumulated vsize: 109284 KiB
Current children cumulated memory: 49704 KiB
[startup+729.6 s]
/proc/loadavg: 4.05 4.08 4.08 5/263 175099
/proc/meminfo: memFree=128640952/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109540 memory=49712 CPUtime=727.89 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 39879 0 0 0 70767 2022 0 0 20 0 1 0 242037135 112168960 12428 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27385 12428 2560 595 0 12052 0
Current children cumulated CPU time: 727.89 s
Current children cumulated vsize: 109540 KiB
Current children cumulated memory: 49712 KiB
[startup+732.8 s]
/proc/loadavg: 4.05 4.08 4.08 5/262 175099
/proc/meminfo: memFree=128641016/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109540 memory=49716 CPUtime=731.08 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 39975 0 0 0 71085 2023 0 0 20 0 1 0 242037135 112168960 12429 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27385 12429 2560 595 0 12052 0
Current children cumulated CPU time: 731.08 s
Current children cumulated vsize: 109540 KiB
Current children cumulated memory: 49716 KiB
[startup+734.4 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 175099
/proc/meminfo: memFree=128641016/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109540 memory=49716 CPUtime=732.67 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 39975 0 0 0 71243 2024 0 0 20 0 1 0 242037135 112168960 12429 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27385 12429 2560 595 0 12052 0
Current children cumulated CPU time: 732.67 s
Current children cumulated vsize: 109540 KiB
Current children cumulated memory: 49716 KiB
[startup+734.8 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 175099
/proc/meminfo: memFree=128641016/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109540 memory=49716 CPUtime=733.07 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 39975 0 0 0 71283 2024 0 0 20 0 1 0 242037135 112168960 12429 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27385 12429 2560 595 0 12052 0
Current children cumulated CPU time: 733.07 s
Current children cumulated vsize: 109540 KiB
Current children cumulated memory: 49716 KiB
[startup+735.2 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 175099
/proc/meminfo: memFree=128641016/131249996 swapFree=33010672/33010684
[pid=175065] ppid=175062 vsize=109540 memory=49716 CPUtime=733.48 cores=4,6
/proc/175065/stat : 175065 (SynLSCD) R 175062 175065 174066 0 -1 4194304 39975 0 0 0 71323 2025 0 0 20 0 1 0 242037135 112168960 12429 18446744073709551615 94102039678976 94102042113577 140730721159360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94102042594552 94102042627584 94102055510016 140730721167747 140730721167882 140730721167882 140730721173486 0
/proc/175065/statm: 27385 12429 2560 595 0 12052 0
Current children cumulated CPU time: 733.48 s
Current children cumulated vsize: 109540 KiB
Current children cumulated memory: 49716 KiB
Child status: 20
Real time (s): 735.225
CPU time (s): 733.509
CPU user time (s): 713.256
CPU system time (s): 20.2529
CPU usage (%): 99.7665
Max. virtual memory (cumulated for all children) (KiB): 109540
Max. memory (cumulated for all children) (KiB): 49716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 713.256
system time used= 20.2529
maximum resident set size= 50228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40009
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= 146
involuntary context switches= 588
# summary of solver processes directly reported to runsolver:
# pid: 175065
# total CPU time (s): 733.509
# total CPU user time (s): 713.256
# total CPU system time (s): 20.2529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3441 second user time and 2.95935 second system time
The end
Begin job on nodeC024 at 2025-07-23 11:39:52
IDJOB=4546017
IDBENCH=164553
IDSOLVER=3421
FILE ID=nodeC024/4546017-1753263592
RUNJOBID= nodeC024-1753259701-174084
SLURM_JOB_ID= 9689179
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546017-1753263592/watcher-4546017-1753263592 -o /tmp/evaluation-result-4546017-1753263592/solver-4546017-1753263592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753259701-174084 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546017-1753263592.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 51f0204441dcd002ae254f35580dbb8b
RANDOM SEED=1238849199
nodeC024 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.666
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.36
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.678
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.36
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 : 3515.695
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.36
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 : 3592.892
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.36
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.672
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.36
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.676
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.36
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 : 3818.754
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.36
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 : 3625.831
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128700088 kB
MemAvailable: 129285684 kB
Buffers: 2128 kB
Cached: 1347212 kB
SwapCached: 8 kB
Active: 1568012 kB
Inactive: 219976 kB
Active(anon): 463316 kB
Inactive(anon): 1588 kB
Active(file): 1104696 kB
Inactive(file): 218388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3556 kB
Writeback: 36 kB
AnonPages: 439576 kB
Mapped: 120824 kB
Shmem: 26248 kB
KReclaimable: 203104 kB
Slab: 299480 kB
SReclaimable: 203104 kB
SUnreclaim: 96376 kB
KernelStack: 4224 kB
PageTables: 4148 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 876828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 294912 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC024 at 2025-07-23 11:52:08