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: 64096 MiB (62866 MiB free)
memory of node 1: 64473 MiB (61525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454149-1721492581/watcher-4454149-1721492581 -o /tmp/evaluation-result-4454149-1721492581/solver-4454149-1721492581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721492592-1075903 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4454149-1721492581.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1075936, runsolver pid=1075933
[startup+0.100603 s]*
/proc/loadavg: 3.85 4.26 4.19 5/245 1075967
/proc/meminfo: memFree=127361992/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=20616 memory=6636 CPUtime=0.1 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 846 0 0 0 10 0 0 0 20 0 1 0 201416836 21110784 1659 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 5154 1659 990 2594 0 2047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20616 KiB
Current children cumulated memory: 6636 KiB
[startup+0.213548 s]*
/proc/loadavg: 3.85 4.26 4.19 5/245 1075967
/proc/meminfo: memFree=127351012/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=20924 memory=6900 CPUtime=0.21 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 954 0 0 0 21 0 0 0 20 0 1 0 201416836 21426176 1725 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 5231 1725 990 2594 0 2124 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20924 KiB
Current children cumulated memory: 6900 KiB
[startup+0.312671 s]*
/proc/loadavg: 3.85 4.26 4.19 5/245 1075967
/proc/meminfo: memFree=127347364/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=21044 memory=7248 CPUtime=0.31 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 1062 0 0 0 31 0 0 0 20 0 1 0 201416836 21549056 1812 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 5261 1812 990 2594 0 2154 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21044 KiB
Current children cumulated memory: 7248 KiB
[startup+0.700272 s]
/proc/loadavg: 3.85 4.26 4.19 5/245 1075967
/proc/meminfo: memFree=127345624/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=21548 memory=7660 CPUtime=0.68 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 1399 0 0 0 68 0 0 0 20 0 1 0 201416836 22065152 1915 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 5387 1915 1006 2594 0 2280 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21548 KiB
Current children cumulated memory: 7660 KiB
[startup+1.50027 s]
/proc/loadavg: 3.85 4.26 4.19 5/245 1075967
/proc/meminfo: memFree=127343460/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=23052 memory=9008 CPUtime=1.48 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 1927 0 0 0 148 0 0 0 20 0 1 0 201416836 23605248 2252 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 5763 2252 1006 2594 0 2656 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23052 KiB
Current children cumulated memory: 9008 KiB
[startup+3.11323 s]
/proc/loadavg: 3.85 4.26 4.19 5/245 1075967
/proc/meminfo: memFree=127330052/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=23740 memory=9904 CPUtime=3.08 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 3526 0 0 0 308 0 0 0 20 0 1 0 201416836 24309760 2476 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 5935 2476 1006 2594 0 2828 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23740 KiB
Current children cumulated memory: 9904 KiB
[startup+6.30029 s]
/proc/loadavg: 3.86 4.25 4.19 5/245 1075967
/proc/meminfo: memFree=127316028/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=27528 memory=13540 CPUtime=6.26 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 6993 0 0 0 625 1 0 0 20 0 1 0 201416836 28188672 3385 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 6882 3385 1006 2594 0 3775 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 27528 KiB
Current children cumulated memory: 13540 KiB
[startup+12.7003 s]
/proc/loadavg: 3.87 4.25 4.19 5/245 1075969
/proc/meminfo: memFree=127299040/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=31492 memory=17516 CPUtime=12.65 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 11150 0 0 0 1263 2 0 0 20 0 1 0 201416836 32247808 4379 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 7873 4379 1006 2594 0 4766 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 31492 KiB
Current children cumulated memory: 17516 KiB
[startup+25.5003 s]
/proc/loadavg: 3.97 4.25 4.19 5/245 1075970
/proc/meminfo: memFree=127255404/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=34344 memory=20384 CPUtime=25.4 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 17203 0 0 0 2537 3 0 0 20 0 1 0 201416836 35168256 5096 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 8586 5096 1006 2594 0 5479 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 34344 KiB
Current children cumulated memory: 20384 KiB
[startup+51.1127 s]
/proc/loadavg: 3.98 4.23 4.18 5/245 1075975
/proc/meminfo: memFree=127218084/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=37496 memory=23676 CPUtime=50.93 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 22598 0 0 0 5089 4 0 0 20 0 1 0 201416836 38395904 5919 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 9374 5919 1006 2594 0 6267 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 37496 KiB
Current children cumulated memory: 23676 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.21 4.18 5/245 1075984
/proc/meminfo: memFree=127128956/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=53144 memory=39324 CPUtime=101.95 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 29340 0 0 0 10189 6 0 0 20 0 1 0 201416836 54419456 9831 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 13286 9831 1006 2594 0 10179 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 53144 KiB
Current children cumulated memory: 39324 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/244 1076378
/proc/meminfo: memFree=127066148/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=60444 memory=46520 CPUtime=161.73 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 30157 0 0 0 16167 6 0 0 20 0 1 0 201416836 61894656 11630 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 15111 11630 1006 2594 0 12004 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 60444 KiB
Current children cumulated memory: 46520 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/244 1076388
/proc/meminfo: memFree=127068772/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=61144 memory=47316 CPUtime=221.52 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 31553 0 0 0 22145 7 0 0 20 0 1 0 201416836 62611456 11829 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 15286 11829 1006 2594 0 12179 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 61144 KiB
Current children cumulated memory: 47316 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/244 1076398
/proc/meminfo: memFree=127023000/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=70416 memory=56580 CPUtime=281.31 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 32369 0 0 0 28124 7 0 0 20 0 1 0 201416836 72105984 14145 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 17604 14145 1006 2594 0 14497 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 70416 KiB
Current children cumulated memory: 56580 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/245 1076578
/proc/meminfo: memFree=126986776/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=63340 memory=49520 CPUtime=341.11 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 35297 0 0 0 34103 8 0 0 20 0 1 0 201416836 64860160 12380 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 15835 12380 1006 2594 0 12728 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 63340 KiB
Current children cumulated memory: 49520 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/245 1076589
/proc/meminfo: memFree=127023064/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=64520 memory=50704 CPUtime=400.91 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 37623 0 0 0 40082 9 0 0 20 0 1 0 201416836 66068480 12676 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16130 12676 1006 2594 0 13023 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 64520 KiB
Current children cumulated memory: 50704 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/246 1076656
/proc/meminfo: memFree=127007164/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=74952 memory=61136 CPUtime=460.72 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 38210 0 0 0 46062 10 0 0 20 0 1 0 201416836 76750848 15284 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 18738 15284 1006 2594 0 15631 0
Current children cumulated CPU time: 460.72 s
Current children cumulated vsize: 74952 KiB
Current children cumulated memory: 61136 KiB
[startup+522.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 1076666
/proc/meminfo: memFree=126987776/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=62844 memory=48804 CPUtime=520.51 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 38600 0 0 0 52041 10 0 0 20 0 1 0 201416836 64352256 12201 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 15711 12201 1006 2594 0 12604 0
Current children cumulated CPU time: 520.51 s
Current children cumulated vsize: 62844 KiB
Current children cumulated memory: 48804 KiB
[startup+573.597 s]
# the end of solver process 1075936 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=571.529 s, system=0.105608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.16 4.16 4.17 5/244 1076668
/proc/meminfo: memFree=127013584/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=62844 memory=48804 CPUtime=535.76 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 38600 0 0 0 53566 10 0 0 20 0 1 0 201416836 64352256 12201 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 15711 12201 1006 2594 0 12604 0
Current children cumulated CPU time: 535.76 s
Current children cumulated vsize: 62844 KiB
Current children cumulated memory: 48804 KiB
[startup+550.4 s]
/proc/loadavg: 4.13 4.15 4.17 5/244 1076672
/proc/meminfo: memFree=126995988/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=62844 memory=48804 CPUtime=548.51 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 38600 0 0 0 54841 10 0 0 20 0 1 0 201416836 64352256 12201 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 15711 12201 1006 2594 0 12604 0
Current children cumulated CPU time: 548.51 s
Current children cumulated vsize: 62844 KiB
Current children cumulated memory: 48804 KiB
[startup+563.2 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 1076674
/proc/meminfo: memFree=126958888/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=67936 memory=54004 CPUtime=561.26 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 39362 0 0 0 56116 10 0 0 20 0 1 0 201416836 69566464 13501 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16984 13501 1006 2594 0 13877 0
Current children cumulated CPU time: 561.26 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 54004 KiB
[startup+569.6 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 1076676
/proc/meminfo: memFree=126988336/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=67936 memory=54004 CPUtime=567.64 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 39362 0 0 0 56754 10 0 0 20 0 1 0 201416836 69566464 13501 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16984 13501 1006 2594 0 13877 0
Current children cumulated CPU time: 567.64 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 54004 KiB
[startup+571.2 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1076676
/proc/meminfo: memFree=126988296/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=67936 memory=54004 CPUtime=569.24 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 39362 0 0 0 56914 10 0 0 20 0 1 0 201416836 69566464 13501 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16984 13501 1006 2594 0 13877 0
Current children cumulated CPU time: 569.24 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 54004 KiB
[startup+572.8 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1076676
/proc/meminfo: memFree=126988352/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=67936 memory=54004 CPUtime=570.83 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 39362 0 0 0 57073 10 0 0 20 0 1 0 201416836 69566464 13501 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16984 13501 1006 2594 0 13877 0
Current children cumulated CPU time: 570.83 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 54004 KiB
[startup+573.2 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1076676
/proc/meminfo: memFree=126985608/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=67936 memory=54004 CPUtime=571.23 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 39362 0 0 0 57113 10 0 0 20 0 1 0 201416836 69566464 13501 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16984 13501 1006 2594 0 13877 0
Current children cumulated CPU time: 571.23 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 54004 KiB
[startup+573.4 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1076676
/proc/meminfo: memFree=126985608/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=67936 memory=54004 CPUtime=571.43 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 39362 0 0 0 57133 10 0 0 20 0 1 0 201416836 69566464 13501 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16984 13501 1006 2594 0 13877 0
Current children cumulated CPU time: 571.43 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 54004 KiB
[startup+573.5 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1076676
/proc/meminfo: memFree=126985608/131655788 swapFree=131071996/131071996
[pid=1075936] ppid=1075933 vsize=67936 memory=54004 CPUtime=571.53 cores=0,2
/proc/1075936/stat : 1075936 (CASHWMaxSAT-Dis) R 1075933 1075936 1075893 0 -1 4194304 39362 0 0 0 57143 10 0 0 20 0 1 0 201416836 69566464 13501 134679101440 4194304 14817773 140736842418176 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38350848 140736842425315 140736842425430 140736842425430 140736842432447 0
/proc/1075936/statm: 16984 13501 1006 2594 0 13877 0
Current children cumulated CPU time: 571.53 s
Current children cumulated vsize: 67936 KiB
Current children cumulated memory: 54004 KiB
Child status: 20
Real time (s): 573.597
CPU time (s): 571.634
CPU user time (s): 571.529
CPU system time (s): 0.105608
CPU usage (%): 99.6579
Max. virtual memory (cumulated for all children) (KiB): 74952
Max. memory (cumulated for all children) (KiB): 61136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 571.529
system time used= 0.105608
maximum resident set size= 67192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 4003
# summary of solver processes directly reported to runsolver:
# pid: 1075936
# total CPU time (s): 571.634
# total CPU user time (s): 571.529
# total CPU system time (s): 0.105608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5121 second user time and 5.81843 second system time
The end
Begin job on nodeC005 at 2024-07-20 18:23:12
IDJOB=4454149
IDBENCH=176067
IDSOLVER=3075
FILE ID=nodeC005/4454149-1721492581
RUNJOBID= nodeC005-1721492592-1075903
SLURM_JOB_ID= 7545793
Free space on /tmp= 723784 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-11diag_spec_less.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454149-1721492581/watcher-4454149-1721492581 -o /tmp/evaluation-result-4454149-1721492581/solver-4454149-1721492581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721492592-1075903 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4454149-1721492581.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 835882185b05cb50ca6c38d629f5e937
RANDOM SEED=245066547
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 0xb00001f
cpu MHz : 3424.511
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.181
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 0xb00001f
cpu MHz : 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 0xb00001f
cpu MHz : 1197.185
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 0xb00001f
cpu MHz : 1197.181
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.184
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127377508 kB
MemAvailable: 129899680 kB
Buffers: 576936 kB
Cached: 2767144 kB
SwapCached: 0 kB
Active: 1207456 kB
Inactive: 2461384 kB
Active(anon): 3344 kB
Inactive(anon): 366900 kB
Active(file): 1204112 kB
Inactive(file): 2094484 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 55200 kB
Writeback: 8 kB
AnonPages: 323580 kB
Mapped: 108620 kB
Shmem: 45896 kB
KReclaimable: 126508 kB
Slab: 237556 kB
SReclaimable: 126508 kB
SUnreclaim: 111048 kB
KernelStack: 3632 kB
PageTables: 10176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 695804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 204800 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 310088 kB
DirectMap2M: 40488960 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC005 at 2024-07-20 18:32:46