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 (61835 MiB free)
memory of node 1: 64465 MiB (63448 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507253-1751135432/watcher-4507253-1751135432 -o /tmp/evaluation-result-4507253-1751135432/solver-4507253-1751135432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751133631-11150 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4507253-1751135432.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11713, runsolver pid=11710
[startup+0.100062 s]*
/proc/loadavg: 4.17 4.12 3.60 4/266 11722
/proc/meminfo: memFree=128270620/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=30924 memory=16128 CPUtime=0.07 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 3296 0 0 0 7 0 0 0 20 0 1 0 29220742 31666176 4032 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 7731 4032 896 2593 0 4624 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37908 KiB
Current children cumulated memory: 20608 KiB
[startup+0.205671 s]*
/proc/loadavg: 4.17 4.12 3.60 6/272 11729
/proc/meminfo: memFree=128254492/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=34208 memory=19372 CPUtime=0.17 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 4309 0 0 0 17 0 0 0 20 0 1 0 29220742 35028992 4843 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 8552 4843 960 2593 0 5445 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 41192 KiB
Current children cumulated memory: 23852 KiB
[startup+0.305688 s]*
/proc/loadavg: 4.17 4.12 3.60 5/272 11729
/proc/meminfo: memFree=128249704/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=34676 memory=19936 CPUtime=0.27 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 4724 0 0 0 27 0 0 0 20 0 1 0 29220742 35508224 4984 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 8669 4984 960 2593 0 5562 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 24416 KiB
[startup+0.700217 s]
/proc/loadavg: 4.17 4.12 3.60 5/272 11729
/proc/meminfo: memFree=128247688/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=60352 memory=44528 CPUtime=0.65 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 11836 0 0 0 64 1 0 0 20 0 1 0 29220742 61800448 11132 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 15088 11132 960 2593 0 11981 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 67336 KiB
Current children cumulated memory: 49008 KiB
[startup+1.50021 s]
/proc/loadavg: 4.17 4.12 3.60 5/272 11729
/proc/meminfo: memFree=128190232/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=66756 memory=52180 CPUtime=1.45 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 14530 0 0 0 143 2 0 0 20 0 1 0 29220742 68358144 13045 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 16689 13045 960 2593 0 13582 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 73740 KiB
Current children cumulated memory: 56660 KiB
[startup+3.10567 s]
/proc/loadavg: 4.15 4.12 3.60 5/272 11729
/proc/meminfo: memFree=128203772/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=71328 memory=55648 CPUtime=3.05 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 15057 0 0 0 303 2 0 0 20 0 1 0 29220742 73039872 13912 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 17832 13912 960 2593 0 14725 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 78312 KiB
Current children cumulated memory: 60128 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.12 3.60 5/272 11729
/proc/meminfo: memFree=128208756/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=69528 memory=55088 CPUtime=6.25 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 16162 0 0 0 622 3 0 0 20 0 1 0 29220742 71196672 13772 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 17382 13772 960 2593 0 14275 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 76512 KiB
Current children cumulated memory: 59568 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 3.61 5/272 11730
/proc/meminfo: memFree=128208756/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=70688 memory=56212 CPUtime=12.63 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 17064 0 0 0 1260 3 0 0 20 0 1 0 29220742 72384512 14053 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 17672 14053 960 2593 0 14565 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 77672 KiB
Current children cumulated memory: 60692 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 3.61 5/274 11787
/proc/meminfo: memFree=128151816/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=76188 memory=61692 CPUtime=25.4 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 19154 0 0 0 2536 4 0 0 20 0 1 0 29220742 78016512 15423 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 19047 15423 960 2593 0 15940 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 83172 KiB
Current children cumulated memory: 66172 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.11 3.63 5/274 11787
/proc/meminfo: memFree=128134112/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=85488 memory=71020 CPUtime=50.92 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 24710 0 0 0 5087 5 0 0 20 0 1 0 29220742 87539712 17755 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 21372 17755 960 2593 0 18265 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 92472 KiB
Current children cumulated memory: 75500 KiB
[startup+102.3 s]
/proc/loadavg: 4.51 4.22 3.70 5/274 11789
/proc/meminfo: memFree=128012420/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
################
# More data... #
################
/proc/11717/statm: 30270 26692 960 2593 0 27163 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 128064 KiB
Current children cumulated memory: 111248 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.16 3.81 5/272 11802
/proc/meminfo: memFree=127340288/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151008 memory=136684 CPUtime=341.32 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40440 0 0 0 34120 12 0 0 20 0 1 0 29220742 154632192 34171 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37752 34171 960 2593 0 34645 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 157992 KiB
Current children cumulated memory: 141164 KiB
[startup+396.684 s]
# the end of solver process 11713 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=395.444 s, system=0.130104 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.11 4.15 3.81 5/272 11802
/proc/meminfo: memFree=127339012/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151008 memory=136684 CPUtime=357.38 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40440 0 0 0 35726 12 0 0 20 0 1 0 29220742 154632192 34171 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37752 34171 960 2593 0 34645 0
Current children cumulated CPU time: 357.38 s
Current children cumulated vsize: 157992 KiB
Current children cumulated memory: 141164 KiB
[startup+384 s]*
/proc/loadavg: 4.15 4.16 3.82 5/272 11803
/proc/meminfo: memFree=127314912/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151708 memory=137324 CPUtime=382.92 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40615 0 0 0 38280 12 0 0 20 0 1 0 29220742 155348992 34331 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37927 34331 960 2593 0 34820 0
Current children cumulated CPU time: 382.92 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 141804 KiB
[startup+390.4 s]
/proc/loadavg: 4.14 4.15 3.82 5/272 11803
/proc/meminfo: memFree=127315164/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151708 memory=137324 CPUtime=389.3 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40615 0 0 0 38918 12 0 0 20 0 1 0 29220742 155348992 34331 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37927 34331 960 2593 0 34820 0
Current children cumulated CPU time: 389.3 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 141804 KiB
[startup+393.6 s]
/proc/loadavg: 4.13 4.15 3.82 5/272 11804
/proc/meminfo: memFree=127316972/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151708 memory=137324 CPUtime=392.49 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40615 0 0 0 39237 12 0 0 20 0 1 0 29220742 155348992 34331 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37927 34331 960 2593 0 34820 0
Current children cumulated CPU time: 392.49 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 141804 KiB
[startup+395.2 s]
/proc/loadavg: 4.13 4.15 3.82 5/272 11804
/proc/meminfo: memFree=127317224/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151708 memory=137324 CPUtime=394.09 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40615 0 0 0 39397 12 0 0 20 0 1 0 29220742 155348992 34331 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37927 34331 960 2593 0 34820 0
Current children cumulated CPU time: 394.09 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 141804 KiB
[startup+396 s]*
/proc/loadavg: 4.13 4.15 3.82 5/272 11804
/proc/meminfo: memFree=127317224/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151708 memory=137324 CPUtime=394.89 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40615 0 0 0 39477 12 0 0 20 0 1 0 29220742 155348992 34331 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37927 34331 960 2593 0 34820 0
Current children cumulated CPU time: 394.89 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 141804 KiB
[startup+396.4 s]
/proc/loadavg: 4.13 4.15 3.82 5/272 11804
/proc/meminfo: memFree=127317224/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151708 memory=137324 CPUtime=395.28 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40615 0 0 0 39516 12 0 0 20 0 1 0 29220742 155348992 34331 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37927 34331 960 2593 0 34820 0
Current children cumulated CPU time: 395.28 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 141804 KiB
[startup+396.6 s]
/proc/loadavg: 4.13 4.15 3.82 5/272 11804
/proc/meminfo: memFree=127317224/131249988 swapFree=33010684/33010684
[pid=11713] ppid=11710 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/11713/stat : 11713 (Hybrid-CASHWMax) S 11710 11713 11133 0 -1 4194304 252 105 0 0 0 0 0 0 20 0 1 0 29220740 4427776 768 18446744073709551615 94728349335552 94728350230085 140731098654608 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94728350469136 94728350516880 94728358416384 140731098663255 140731098663409 140731098663409 140731098669011 0
/proc/11713/statm: 1081 768 704 219 0 143 0
[pid=11716] ppid=11713 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/11716/stat : 11716 (timeout) S 11713 11716 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29220742 2723840 352 18446744073709551615 94631782027264 94631782043777 140729856113888 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94631782058544 94631782060632 94631787536384 140729856121248 140729856121378 140729856121378 140729856126951 0
/proc/11716/statm: 665 352 352 5 0 90 0
[pid=11717] ppid=11716 vsize=151708 memory=137324 CPUtime=395.48 cores=1,3
/proc/11717/stat : 11717 (CASHWMaxSAT-Dis) R 11716 11716 11133 0 -1 4194304 40615 0 0 0 39536 12 0 0 20 0 1 0 29220742 155348992 34331 18446744073709551615 4198400 14817773 140736585867712 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47820800 140736585873830 140736585873947 140736585873947 140736585879520 0
/proc/11717/statm: 37927 34331 960 2593 0 34820 0
Current children cumulated CPU time: 395.48 s
Current children cumulated vsize: 158692 KiB
Current children cumulated memory: 141804 KiB
Child status: 0
Real time (s): 396.684
CPU time (s): 395.575
CPU user time (s): 395.444
CPU system time (s): 0.130104
CPU usage (%): 99.7202
Max. virtual memory (cumulated for all children) (KiB): 169092
Max. memory (cumulated for all children) (KiB): 152188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.444
system time used= 0.130104
maximum resident set size= 147708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 635
# summary of solver processes directly reported to runsolver:
# pid: 11713
# total CPU time (s): 395.575
# total CPU user time (s): 395.444
# total CPU system time (s): 0.130104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.717754 second user time and 2.03663 second system time
The end
Begin job on nodeC020 at 2025-06-28 20:30:32
IDJOB=4507253
IDBENCH=158339
IDSOLVER=3328
FILE ID=nodeC020/4507253-1751135432
RUNJOBID= nodeC020-1751133631-11150
SLURM_JOB_ID= 9587420
Free space on /tmp= 432964 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507253-1751135432/watcher-4507253-1751135432 -o /tmp/evaluation-result-4507253-1751135432/solver-4507253-1751135432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751133631-11150 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4507253-1751135432.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=753056809
nodeC020 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.895
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.79
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 : 3598.423
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.677
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.79
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 : 3600.276
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.79
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 : 3601.309
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.79
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.887
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.79
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 : 3605.691
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.79
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.712
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128229912 kB
MemAvailable: 127870504 kB
Buffers: 3280 kB
Cached: 447212 kB
SwapCached: 0 kB
Active: 2168240 kB
Inactive: 225236 kB
Active(anon): 1961040 kB
Inactive(anon): 0 kB
Active(file): 207200 kB
Inactive(file): 225236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17912 kB
Writeback: 0 kB
AnonPages: 1946052 kB
Mapped: 110624 kB
Shmem: 18056 kB
KReclaimable: 84104 kB
Slab: 165924 kB
SReclaimable: 84104 kB
SUnreclaim: 81820 kB
KernelStack: 4256 kB
PageTables: 6524 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2274912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1820672 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432944 MiB
End job on nodeC020 at 2025-06-28 20:37:09