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: 63837 MiB (59147 MiB free)
memory of node 1: 64465 MiB (49168 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498865-1751409277/watcher-4498865-1751409277 -o /tmp/evaluation-result-4498865-1751409277/solver-4498865-1751409277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751405727-57150 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4498865-1751409277.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=57719, runsolver pid=57716
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.13 4.17 4.19 5/250 57720
/proc/meminfo: memFree=110901212/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=38712 memory=23372 CPUtime=0.09 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 5554 0 0 0 8 1 0 0 20 0 1 0 56607236 39641088 5843 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 9678 5843 864 2593 0 6571 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38712 KiB
Current children cumulated memory: 23372 KiB
[startup+0.206703 s]*
/proc/loadavg: 4.13 4.17 4.19 5/250 57720
/proc/meminfo: memFree=110881240/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=57608 memory=41944 CPUtime=0.2 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 9688 0 0 0 17 3 0 0 20 0 1 0 56607236 58990592 10486 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 14402 10486 864 2593 0 11295 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57608 KiB
Current children cumulated memory: 41944 KiB
[startup+0.306466 s]*
/proc/loadavg: 4.13 4.17 4.19 6/250 57720
/proc/meminfo: memFree=110860888/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=77440 memory=61216 CPUtime=0.3 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 12465 0 0 0 26 4 0 0 20 0 1 0 56607236 79298560 15304 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 19360 15304 864 2593 0 16253 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77440 KiB
Current children cumulated memory: 61216 KiB
[startup+0.700326 s]
/proc/loadavg: 4.13 4.17 4.19 5/250 57720
/proc/meminfo: memFree=110829040/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=177772 memory=158720 CPUtime=0.69 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 23566 0 0 0 60 9 0 0 20 0 1 0 56607236 182038528 39680 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 44443 39680 864 2593 0 41336 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 177772 KiB
Current children cumulated memory: 158720 KiB
[startup+1.50033 s]
/proc/loadavg: 4.12 4.17 4.19 5/250 57720
/proc/meminfo: memFree=110631560/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=372356 memory=356632 CPUtime=1.48 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 35742 0 0 0 133 15 0 0 20 0 1 0 56607236 381292544 89158 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 93089 89158 864 2593 0 89982 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 372356 KiB
Current children cumulated memory: 356632 KiB
[startup+3.11319 s]
/proc/loadavg: 4.12 4.17 4.19 5/250 57720
/proc/meminfo: memFree=110405336/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=719128 memory=669464 CPUtime=3.1 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 62437 0 0 0 284 26 0 0 20 0 1 0 56607236 736387072 167366 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 179782 167366 864 2593 0 176675 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 719128 KiB
Current children cumulated memory: 669464 KiB
[startup+6.30033 s]
/proc/loadavg: 4.19 4.18 4.19 5/250 57720
/proc/meminfo: memFree=110329476/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=865884 memory=764824 CPUtime=6.27 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 86375 0 0 0 597 30 0 0 20 0 1 0 56607236 886665216 191206 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 216471 191206 864 2593 0 213364 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 865884 KiB
Current children cumulated memory: 764824 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 4.20 4.20 5/250 57720
/proc/meminfo: memFree=109900728/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=1339308 memory=1219608 CPUtime=12.66 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 200115 0 0 0 1215 51 0 0 20 0 1 0 56607236 1371451392 304902 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 334827 304902 864 2593 0 331720 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1339308 KiB
Current children cumulated memory: 1219608 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.23 4.21 5/250 57720
/proc/meminfo: memFree=107693132/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=2818296 memory=2530376 CPUtime=25.42 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 329533 0 0 0 2448 94 0 0 20 0 1 0 56607236 2885935104 632594 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 704574 632594 896 2593 0 701467 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2818296 KiB
Current children cumulated memory: 2530376 KiB
[startup+51.113 s]
/proc/loadavg: 4.68 4.32 4.24 5/250 57720
/proc/meminfo: memFree=107679820/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=3770536 memory=3540480 CPUtime=50.96 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 426737 0 0 0 4959 137 0 0 20 0 1 0 56607236 3861028864 885120 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 942634 885120 896 2593 0 939527 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3770536 KiB
Current children cumulated memory: 3540480 KiB
[startup+102.3 s]
/proc/loadavg: 4.47 4.33 4.25 5/250 57722
/proc/meminfo: memFree=105941268/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=5734352 memory=5125452 CPUtime=102.01 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 528636 0 0 0 10001 200 0 0 20 0 1 0 56607236 5871976448 1281363 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 1433588 1281363 896 2593 0 1430481 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 5734352 KiB
Current children cumulated memory: 5125452 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.31 4.25 5/251 57727
/proc/meminfo: memFree=105411008/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=6858320 memory=5905552 CPUtime=161.85 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 608878 0 0 0 15951 234 0 0 20 0 1 0 56607236 7022919680 1476388 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 1714580 1476388 896 2593 0 1711473 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 6858320 KiB
Current children cumulated memory: 5905552 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.28 4.24 5/251 57733
/proc/meminfo: memFree=104800772/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=7103100 memory=6498464 CPUtime=221.68 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 671560 0 0 0 21909 259 0 0 20 0 1 0 56607236 7273574400 1624616 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 1775775 1624616 896 2593 0 1772668 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 7103100 KiB
Current children cumulated memory: 6498464 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.26 4.24 5/252 57736
/proc/meminfo: memFree=104298412/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=7312200 memory=7004104 CPUtime=281.51 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 726088 0 0 0 27869 282 0 0 20 0 1 0 56607236 7487692800 1751026 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 1828050 1751026 896 2593 0 1824943 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 7312200 KiB
Current children cumulated memory: 7004104 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.22 4.22 5/251 57738
/proc/meminfo: memFree=101196324/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=11381308 memory=10101572 CPUtime=341.35 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 767670 0 0 0 33783 352 0 0 20 0 1 0 56607236 11654459392 2525393 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 2845327 2525393 896 2593 0 2842220 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 11381308 KiB
Current children cumulated memory: 10101572 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.20 4.21 5/252 57741
/proc/meminfo: memFree=102169864/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=10234000 memory=9185724 CPUtime=401.19 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 821577 0 0 0 39745 374 0 0 20 0 1 0 56607236 10479616000 2296431 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 2558500 2296431 896 2593 0 2555393 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 10234000 KiB
Current children cumulated memory: 9185724 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.21 4.21 5/251 57743
/proc/meminfo: memFree=101573200/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=10447868 memory=9645400 CPUtime=461.02 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 878729 0 0 0 45707 395 0 0 20 0 1 0 56607236 10698616832 2411350 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 2611967 2411350 896 2593 0 2608860 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 10447868 KiB
Current children cumulated memory: 9645400 KiB
[startup+522.3 s]
/proc/loadavg: 4.70 4.34 4.26 5/251 57745
/proc/meminfo: memFree=101339920/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=10563120 memory=9892708 CPUtime=520.85 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 910313 0 0 0 51678 407 0 0 20 0 1 0 56607236 10816634880 2473177 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 2640780 2473177 1152 2593 0 2637673 0
Current children cumulated CPU time: 520.85 s
Current children cumulated vsize: 10563120 KiB
Current children cumulated memory: 9892708 KiB
[startup+582.3 s]
/proc/loadavg: 4.43 4.34 4.26 5/251 57747
/proc/meminfo: memFree=88629120/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=23829868 memory=22458660 CPUtime=580.69 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 2186585 0 0 0 57206 863 0 0 20 0 1 0 56607236 24401784832 5614665 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 5957467 5614665 1152 2593 0 5954360 0
Current children cumulated CPU time: 580.69 s
Current children cumulated vsize: 23829868 KiB
Current children cumulated memory: 22458660 KiB
[startup+599.164 s]
# the end of solver process 57719 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=586.488 s, system=11.0363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.47 4.35 4.27 5/251 57747
/proc/meminfo: memFree=86838644/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=26169152 memory=24289380 CPUtime=587.18 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 2515876 0 0 0 57782 936 0 0 20 0 1 0 56607236 26797211648 6072345 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 6542288 6072345 1152 2593 0 6539181 0
Current children cumulated CPU time: 587.18 s
Current children cumulated vsize: 26169152 KiB
Current children cumulated memory: 24289380 KiB
[startup+595.2 s]
/proc/loadavg: 4.44 4.34 4.27 5/250 57747
/proc/meminfo: memFree=85214376/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=27499816 memory=26142376 CPUtime=593.56 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 2843294 0 0 0 58355 1001 0 0 20 0 1 0 56607236 28159811584 6535594 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 6874954 6535594 1152 2593 0 6871847 0
Current children cumulated CPU time: 593.56 s
Current children cumulated vsize: 27499816 KiB
Current children cumulated memory: 26142376 KiB
[startup+596.8 s]
/proc/loadavg: 4.44 4.34 4.27 5/250 57747
/proc/meminfo: memFree=84926760/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=27843764 memory=26617616 CPUtime=595.16 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 2924813 0 0 0 58499 1017 0 0 20 0 1 0 56607236 28512014336 6654404 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 6960941 6654404 1152 2593 0 6957834 0
Current children cumulated CPU time: 595.16 s
Current children cumulated vsize: 27843764 KiB
Current children cumulated memory: 26617616 KiB
[startup+598.4 s]
/proc/loadavg: 4.40 4.34 4.27 5/250 57747
/proc/meminfo: memFree=84352032/131382116 swapFree=33010684/33010684
[pid=57719] ppid=57716 vsize=29960344 memory=27211868 CPUtime=596.75 cores=0,2
/proc/57719/stat : 57719 (CASHWMaxSAT-Dis) R 57716 57719 57137 0 -1 4194304 3005942 0 0 0 58639 1036 0 0 20 0 1 0 56607236 30679392256 6802967 18446744073709551615 4198400 14817773 140725236908288 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 30187520 140725236910442 140725236910557 140725236910557 140725236916159 0
/proc/57719/statm: 7490086 6802967 1152 2593 0 7486979 0
Current children cumulated CPU time: 596.75 s
Current children cumulated vsize: 29960344 KiB
Current children cumulated memory: 27211868 KiB
[startup+598.813 s]
/proc/loadavg: 4.40 4.34 4.27 5/250 57747
/proc/meminfo: memFree=83653704/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+599 s]*
/proc/loadavg: 4.40 4.34 4.27 5/250 57747
/proc/meminfo: memFree=92333932/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+599.113 s]
/proc/loadavg: 4.40 4.34 4.27 5/250 57747
/proc/meminfo: memFree=92333932/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 599.164
CPU time (s): 597.524
CPU user time (s): 586.488
CPU system time (s): 11.0363
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 29960344
Max. memory (cumulated for all children) (KiB): 27924572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.488
system time used= 11.0363
maximum resident set size= 28106844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3007146
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= 3
involuntary context switches= 1406
# summary of solver processes directly reported to runsolver:
# pid: 57719
# total CPU time (s): 597.524
# total CPU user time (s): 586.488
# total CPU system time (s): 11.0363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.85457 second user time and 6.10838 second system time
The end
Begin job on nodeC010 at 2025-07-02 00:34:38
IDJOB=4498865
IDBENCH=148753
IDSOLVER=3322
FILE ID=nodeC010/4498865-1751409277
RUNJOBID= nodeC010-1751405727-57150
SLURM_JOB_ID= 9598294
Free space on /tmp= 432456 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__256.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498865-1751409277/watcher-4498865-1751409277 -o /tmp/evaluation-result-4498865-1751409277/solver-4498865-1751409277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751405727-57150 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4498865-1751409277.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc12bbc0c0c11924170106d57f91cade
RANDOM SEED=601674855
nodeC010 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 : 0xb00001f
cpu MHz : 1197.191
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 pti 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 : 6983.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 : 0xb00001f
cpu MHz : 3491.522
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 pti 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 : 6983.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 : 0xb00001f
cpu MHz : 2793.343
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 pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.240
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 pti 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 : 6983.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 : 0xb00001f
cpu MHz : 3491.680
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 pti 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 : 6983.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 : 0xb00001f
cpu MHz : 3491.708
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 pti 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 : 6983.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 : 0xb00001f
cpu MHz : 3700.000
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 pti 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 : 6983.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 : 0xb00001f
cpu MHz : 1197.142
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 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 110916032 kB
MemAvailable: 111710980 kB
Buffers: 3280 kB
Cached: 1600968 kB
SwapCached: 0 kB
Active: 18509644 kB
Inactive: 1294660 kB
Active(anon): 18218016 kB
Inactive(anon): 0 kB
Active(file): 291628 kB
Inactive(file): 1294660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 74464 kB
Writeback: 4 kB
AnonPages: 18202880 kB
Mapped: 117172 kB
Shmem: 17960 kB
KReclaimable: 96572 kB
Slab: 180680 kB
SReclaimable: 96572 kB
SUnreclaim: 84108 kB
KernelStack: 4032 kB
PageTables: 38728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 20289572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 11298816 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432440 MiB
End job on nodeC010 at 2025-07-02 00:44:38